The Balmer spectrum of integral permutation modules

Juan Omar G\'omez; Umesh V Dubey

REVIEW 3 major objections 4 minor 16 references

The Balmer spectrum of integral permutation modules

T0 review · 3 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read For elementary abelian $p$-groups over rings like $\mathbb{Z}$, the Balmer spectrum of integral permutation modules is an open subscheme of the homogeneous spectrum of a twisted cohomology ring and carries an explicit Dirac scheme…

desk verdict Extends Balmer-Gallauer to integral base rings with real new results, but Convention 8.1 may be a bigger constraint than the authors admit. read the letter →

arxiv 2507.05892 v1 pith:MAZPUDML submitted 2025-07-08 math.RT math.AGmath.CT

Umesh V Dubey , Juan Omar Gómez This is my paper · ORCID

classification math.RTmath.AGmath.CT MSC 20C1018F9920J0618G9018G35

keywords tensor-triangulargeometryBalmerspectrumpermutationmodulesintegralrepresentationstwistedcohomologyDiracschemeelementaryabelianp-groupsKoszulobjects

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper is trying to establish a complete description of the Balmer spectrum of the small derived category of permutation modules for a finite group over a commutative Noetherian ring, going beyond the previously understood field case. It shows the spectrum is, as a set, a disjoint union of spectra over the residue fields of the base ring, and that its topology is governed by the elementary abelian $p$-sections of the group. For elementary abelian $p$-groups, and for base rings in which the prime $p$ is either zero or a non-zero-divisor (such as the integers), it proves the comparison map into the homogeneous spectrum of the twisted cohomology ring is an open immersion and that the spectrum is a Dirac scheme. If correct, this yields explicit, computable spectra over the integers, including complete pictures for cyclic $p$-groups.

What carries the argument

The load-bearing objects are the twisted cohomology ring $H^{\bullet,\bullet}(G,R)$, the multigraded ring of endomorphisms of tensor powers of the tensor-invertible complexes $u_{N,R}$ attached to index-$p$ normal subgroups, and the comparison map $\mathrm{Comp}$ sending a prime to the ideal of maps whose cones lie outside it. Around these, the paper builds Koszul objects $\mathrm{fkos}_G(H,R)$ that generate the kernels of restriction functors, and the triangular $H$-fixed points maps that transfer information between spectra of subquotients and of $G$. The final Dirac scheme structure is carried by the open cover $\{U_E(H)\}$ of $\mathrm{Spc}(K(E,R))$, on which the local graded ring $\mathcal{O}^\bullet_E(H)$ is identified with a twist-zero localization of the twisted cohomology ring; the fact that these local rings are Noetherian and End-finite is what upgrades the injective comparison map to a homeomorphism on each open.

What would settle it

Compute the twisted cohomology ring $H^{\bullet,\bullet}(E,R)$ and the comparison map for $E = C_2 \times C_2$ and $R = \mathbb{Z}$, and list the points of $\operatorname{Spech}(H^{\bullet,\bullet}(E,\mathbb{Z}))$; if any homogeneous prime is not hit by $\mathrm{Comp}_{E,\mathbb{Z}}$, the open-immersion claim is false. A sharper check: verify that the maps $\operatorname{Spech}(H^{\bullet,\bullet}(E,k(\mathfrak{p}))) \to \operatorname{Spech}(H^{\bullet,\bullet}(E,R) \otimes_R k(\mathfrak{p}))$ are injective for every $\mathfrak{p} \in \operatorname{Spec}(R)$, since this injectivity is what the proof of Lemma 9.3 depends on.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is that integral permutation-module spectra are assembled from two layers: a modular fiber over the prime $p$ of $\mathbb{Z}$ and an ordinary fiber homeomorphic to $\operatorname{Spec}(R[1/p])$. Every prime of $K(G,R)$ is shown to be of the form $P(H,\mathfrak{a},\mathfrak{p})$, where $H$ is a subgroup, $\mathfrak{p}$ is a prime of $R$, and $\mathfrak{a}$ is a cohomological prime over the residue field $k(\mathfrak{p})$, with explicit rules for when two such primes coincide. The topology reduces, by a homeomorphism, to a colimit over the category of elementary abelian $p$-sections of $G$. When $E$ is elementary abelian and $R$ satisfies $\operatorname{ann}_R(p)=R$ or $\operatorname{ann}_R(p)=0$, the comparison map $\mathrm{Spc}(K(E,R)) \to \mathrm{Spech}(H^{\bullet,\bullet}(E,R))$ is an open immersion, and the pair $(\mathrm{Spc}(K(E,R)), \mathcal{O}^\bullet_E)$ is a Dirac scheme, so the homogeneous spectrum of twisted cohomology together with an explicit open cover gives a full description of the topology.

Load-bearing premise

The whole Dirac-scheme and open-immersion result rests on the convention that, whenever the prime $p$ is not zero in the base ring $R$, it is also not a zero divisor; for rings like $\mathbb{Z}/p^2$ this assumption fails and the main theorem is not proved.

Editorial extensions

If this is right

For any finite $p$-group $G$ over a Noetherian ring $R$, the Balmer spectrum of $K(G,R)$ is completely understood as a set: its points are exactly the $P(H,\mathfrak{a},\mathfrak{p})$, with equality governed by $G$-conjugation, residue-field behaviour, and the cohomological prime $\mathfrak{a}$.
The topology of $\mathrm{Spc}(K(G,R))$ is reduced to the elementary abelian case by the homeomorphism $\varphi\colon \mathrm{colim}_{(H,K)\in E(G)^{\mathrm{op}}} \mathrm{Spc}(K(H/K,R)) \to \mathrm{Spc}(K(G,R))$; for arbitrary finite groups the same argument gives a reduction through orbit categories of $p$-subgroups.
For elementary abelian $E$ and rings satisfying the convention, the comparison map is an open immersion, so the homogeneous spectrum of $H^{\bullet,\bullet}(E,R)$ is an affine cover of the Balmer spectrum; in particular the spectrum is a Dirac scheme.
Over $R=\mathbb{Z}$, cyclic $p$-groups have spectra of the form described in Proposition 11.9: the ordinary fiber $\operatorname{Spec}(\mathbb{Z}[1/p])$ specializes into the modular fiber, which is the known field-case picture; products like $C_{p_1}\times C_{p_2}$ glue two such pictures over a shared ordinary fiber.
The finiteness results ($H^{\bullet,\bullet}(E,R)$ is Noetherian, the local categories $L(H,R)$ are End-finite) make the Dirac scheme structure computable in practice, at least for small groups.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Because the paper labels Convention 8.1 as technical, a natural test is whether the open-immersion and Dirac-scheme conclusions survive for rings where $p$ is a zero divisor, such as $\mathbb{Z}/p^2$; the natural place to look is the twisted cohomology ring over $\mathbb{Z}/p^2$, whose relations should differ from the $\mathbb{Z}$ case.
The set-theoretic decomposition over residue fields suggests viewing $\mathrm{Spc}(K(G,R))$ as a fibered space over $\operatorname{Spec}(R)$; the paper computes the fibers, so the remaining global question is precisely which specializations cross from the ordinary fiber to the modular fiber, and the cyclic-group examples show these are controlled by the cohomological open part.
The Dirac scheme structure may allow invariants usually defined for schemes, such as the Picard group of the structure sheaf or the endomorphism ring of the unit, to be computed from the twisted cohomology ring, which would give new invariants of permutation-module categories over $\mathbb{Z}$.
The $p=2$ Koszul construction via sign-modifications is the first place where the integral case diverges from the field case; one could check whether the same sign-modifications are needed for rings like $\mathbb{Z}/4$, where the failure of the convention might produce genuinely new primes.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The paper does what it says: it pushes the Balmer-Gallauer program for permutation modules from fields to commutative Noetherian bases. The set-theoretic description of Spc(K(G,R)) via residue fields (Theorem 5.17) and the colimit reduction to elementary abelian sections (Theorem 6.9) are genuinely new and carefully argued. The Dirac scheme result for elementary abelian p-groups over integral bases is also new, and the twisted cohomology machinery is a reasonable adaptation of the field-case framework.

The main soft spot is Convention 8.1. The authors exclude rings where p is a zero divisor (e.g., Z/p^2) and call the restriction technical. The stress-test note is right: for Z/p^2, the element p·(1+σ+...+σ^{p-1}) is an invariant in the augmentation kernel, giving a new map c_N that Remark 8.5 incorrectly rules out. So the twisted cohomology ring in excluded cases has extra generators, and the Dirac scheme statement is not merely unproven—it likely needs modification. This is a real scope limitation, though the paper is honest about it, and the motivating case R=Z is covered.

A second soft spot is Lemma 4.7 (the p=2 Koszul construction), which is deferred to [BG23a] with only a sketch. The sketch is plausible, but the referee should verify that the sign modification really lands in permutation complexes, especially the interaction with Lemma 4.5.

Overall, the central claims look correct for the stated cases. The p-torsion restriction is the main thing to flag; if the authors can prove something for Z/p^2 or explain why the extra torsion classes do not affect the spectrum, the paper would be stronger. As it stands, I would send this to a serious referee and accept it conditionally on those points being clarified.

Referee Report

3 major / 4 minor

Summary. The paper extends Balmer–Gallauer's tensor-triangular geometry of permutation modules from a field to an arbitrary commutative Noetherian base ring R. For a finite p-group G, the authors give a set-theoretic description of Spc(K(G,R)) in terms of residue-field fibers (Theorem 5.17, Proposition 5.18), and a reduction of the topology to elementary abelian p-sections (Theorem 6.9). Under Convention 8.1, which forces p to be either 0 or a non-zero-divisor in R, they construct a twisted integral cohomology ring H^{•,•}(G,R) and prove for elementary abelian E that the comparison map Spc(K(E,R)) -> Spech(H^{•,•}(E,R)) is an open immersion and that Spc(K(E,R)) carries a Dirac scheme structure (Theorem 1.5, Corollaries 10.12 and 10.13). The paper also computes explicit spectra for cyclic groups over Z.

Significance. If correct, the main results form a significant extension of the known field-case tt-geometry of permutation modules to integral bases, with a concrete description of the spectrum as a set and a Dirac scheme structure for elementary abelian groups. The reduction theorem and the worked examples over Z are valuable and demonstrate the scope of the methods. The paper is well structured and builds on a clear network of prior work, including the companion paper [Gom25]. However, the central topological theorems are established only under Convention 8.1, and the paper's assertion that this restriction is purely technical is not substantiated; in fact, the restriction is load-bearing for the construction of twisted cohomology.

major comments (3)

[§8, Remark 8.5 and Lemma 8.8] The exclusion of p-zero-divisor rings is not merely technical. For R = Z/p^2 with p odd, the element p·(1+σ+...+σ^{p-1}) is invariant and lies in the augmentation kernel, so a non-zero map c_{N,R}: 1 -> u_N[-1] exists even though p is nonzero in R. This contradicts the assertion in Remark 8.5 that no such map exists when p is nonzero, and it shows that the polynomial-generation statement of Lemma 8.8 fails in the presence of p-torsion. Consequently, the finite generation of H^{•,•}(G,R) (Corollary 8.13), the power-surjectivity in Corollary 8.20, and ultimately the open-immersion and Dirac-scheme conclusions (Theorem 1.5, Corollaries 10.12 and 10.13) are not proven for rings with ann_R(p) ≠ 0 whenever p is nonzero. The authors must either extend the construction to include the torsion maps or substantially revise the statement of the main theorem and remove the claim in Remark 8.2 that the restriction is technical rather than conceptual.
[§10, Proposition 10.7, case (C4)] The proof of End-finiteness in case (C4) invokes maps c_N and a decomposition involving c_{N_k}, but in case (C4) the maps c_N are not defined (Lemma 8.8 includes c_i only in case (C3)). This is an internal inconsistency in a load-bearing step: the finite-generation of Hom*_{L(H,E)}(R(E/K),1) is essential for Theorem 10.9 and hence for the Dirac scheme structure. The proof must be corrected to use only the available maps a_N and b_N, or must explain why the apparent c_N terms are harmless. As written, the argument cannot be verified by the reader.
[§4, Lemma 4.7] The construction of the p=2 Koszul objects is only sketched, with the main work delegated to the proof of [BG23a, Theorem 3.1]. Since this lemma is used in Corollary 4.13 and Corollary 4.16, which in turn feed into the set-theoretic description of Theorem 5.17, a fully detailed proof should be provided locally, or at least a precise statement of which steps in [BG23a] correspond to the claims made here. The current 'essentially contained' formulation leaves too much room for ambiguity, especially in the inductive sign-modification step that must preserve the property of being a complex of permutation modules.

minor comments (4)

[§5, Theorem 5.17] In the proof, the reference to 'Part (4)' is incorrect; the theorem has only three numbered parts (1)–(3), and the intended reference is to part (3).
[§4, Corollary 4.13] The notation 'Kac(G,R)' is not defined and presumably is a typo for the ideal ker(Res^G_1). Please clarify.
[§8, Example 8.17] The statement that H^{•,•}(Cp,Z) = Z[a_N,b_N]/(p·a_N, p·b_N) is plausible, but the degrees of the generators should be stated consistently with Definition 8.12; the current sentence mixes the cases (C3) and (C4) without explaining which convention applies for Z.
[§10, Definition 10.4] The notation SH ⊂ H^{•,•}(G,R) is used, but the definition of the multiplicative subset omits the condition that the generators are homogeneous; please specify that SH is generated by the indicated homogeneous elements to avoid ambiguity in the localization.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the open-immersion and Dirac-scheme claims are derived from new constructions over R together with external field-case results; the Convention 8.1 restriction is an explicit scope limitation, not a circular input.

full rationale

The central claim (Theorem 1.5, Corollaries 10.12 and 10.13) is that for an elementary abelian p-group E and a commutative Noetherian ring R with ann_R(p)=R or ann_R(p)=0, the comparison map to the twisted cohomology spectrum is an open immersion and the spectrum carries a Dirac scheme structure. The derivation is not circular: the twisted cohomology ring H^{•,•}(E,R) is defined from morphism groups in K(E,R) (Definition 8.10), and the comparison map is the usual Balmer map (Lemma 9.1). Its injectivity (Lemma 9.3) is proved by base change to residue fields using the field-case results of Balmer–Gallauer, and the local homeomorphism statement (Theorem 10.9) follows from injectivity plus End-finiteness, not by assuming the conclusion. The set-theoretic description of Spc(K(G,R)) does import Theorem 6.11 of [Gom25], a companion paper by the second author, as a black box; this is a self-citation, and it is load-bearing for the set-theoretic part, but [Gom25] is a prior theorem with its own stated assumptions and does not include the Dirac/open-immersion result, so it counts as independent evidence rather than circularity. The paper also flags a genuine scope limitation: Convention 8.1 and Remark 8.2 exclude rings where p is a zero divisor, such as Z/p^2, and Remark 8.5 uses the non-zero-divisor condition to rule out certain maps c_N. For Z/p^2 the element p(1+σ+...+σ^{p-1}) is invariant and lies in the augmentation kernel, so the twisted cohomology framework would need extra generators; the paper does not claim to cover this case. This is a stated restriction on the main theorem and a correctness risk, but it is not a circular step: the theorem is explicitly conditional on Convention 8.1. Overall, no step in the derivation reduces by construction to its own inputs; the score of 2 reflects only the presence of substantial companion-paper self-citation, not a circular reduction.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The central claims rest on standard tt-geometry, on companion-paper theorems [Gom25], on field-case results [BG23b], and on the technical Convention 8.1 for twisted cohomology. No fitted parameters or invented physical entities appear. The main open risks are the deferred proof of Lemma 4.7 and the restriction to rings where p is not a zero divisor.

assumptions (5)

domain assumption Rigidly-compactly generated tt-category structure on T(G,R), with K(G,R) equal to the idempotent completion of K^b(perm(G,R))
Imported from [BG23c, Section 3], used throughout the paper as the setting for the Balmer spectrum.
domain assumption The set-theoretic surjection Theta in Theorem 1.1, taken from [Gom25, Theorem 6.11 and Corollary 6.12]
Used as a black box in Section 5 to describe primes of the spectrum; not reproved in this paper.
domain assumption Field-case results of [BG23b], including the bijection from the fixed-point maps (Prop 7.32) and injectivity of the comparison map over fields (Prop 15.1)
Used in Propositions 5.18 and 9.2 to propagate the field-case computations to the integral setting.
ad hoc to paper Convention 8.1: if p is nonzero in R, then ann_R(p)=0
Assumed from Section 8 onward for twisted cohomology; the authors describe it as technical rather than conceptual (Remark 8.2).
domain assumption The sign modification Lemma 4.7, said to be contained in the proof of [BG23a, Theorem 3.1]
The p=2 Koszul object construction depends on this cited result, but the paper only sketches the verification for arbitrary Noetherian base rings.

how reviews work

0 comments

Cite this review

Pith. "Pith review of The Balmer spectrum of integral permutation modules." pith.science (2026). https://pith.science/paper/MAZPUDML

@misc{pith2026250705892,
  author       = {Pith},
  title        = {Pith review of: The Balmer spectrum of integral permutation modules},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/MAZPUDML}},
  note         = {Machine review of arXiv:2507.05892}
}

abstract

We extend the analysis of Balmer and Gallauer on the tt-geometry of the small derived category of permutation modules for a finite group over a field to the setting of a commutative Noetherian base. In this general context, we provide a description of the tt-spectrum as a set and reduce the study of its topology to the elementary abelian case. Under certain mild additional assumptions on the ground ring, we further develop their theory of twisted cohomology, which enables us to realize the tt-spectrum as a Dirac scheme when restricted to elementary abelian $p$-groups.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

16 extracted references · 14 canonical work pages

[1]

The spectrum of prime ideals in tensor triangulated categories

Paul Balmer. The spectrum of prime ideals in tensor triangulated categories. J. Reine Angew. Math. , 588:149--168, 2005

work page 2005
[2]

Spectra, spectra, spectra---tensor triangular spectra versus Z ariski spectra of endomorphism rings

Paul Balmer. Spectra, spectra, spectra---tensor triangular spectra versus Z ariski spectra of endomorphism rings. Algebr. Geom. Topol. , 10(3):1521--1563, 2010

work page 2010
[3]

Stacks of group representations

Paul Balmer. Stacks of group representations. Journal of the European Mathematical Society , 17(1):189--228, 2015

work page 2015
[4]

Separable extensions in tensor-triangular geometry and generalized Q uillen stratification

Paul Balmer. Separable extensions in tensor-triangular geometry and generalized Q uillen stratification. Ann. Sci. \' E c. Norm. Sup\' e r. (4) , 49(4):907--925, 2016

work page 2016
[5]

Lattices over finite group schemes and stratification

Tobias Barthel, Dave Benson, Srikanth B Iyengar, Henning Krause, and Julia Pevtsova. Lattices over finite group schemes and stratification. arXiv preprint arXiv:2307.16271 , 2023

work page Pith review arXiv 2023
[6]

Generalized tensor idempotents and the telescope conjecture

Paul Balmer and Giordano Favi. Generalized tensor idempotents and the telescope conjecture. Proc. Lond. Math. Soc. (3) , 102(6):1161--1185, 2011

2011
[7]

Permutation modules and cohomological singularity

Paul Balmer and Martin Gallauer. Permutation modules and cohomological singularity. Commentarii Mathematici Helvetici , 97(3):413--430, 2022

work page 2022
[8]

Finite permutation resolutions

Paul Balmer and Martin Gallauer. Finite permutation resolutions. Duke Mathematical Journal , 172(2):201--229, 2023

work page 2023

Show all 16 references

[9]

The geometry of permutation modules

Paul Balmer and Martin Gallauer. The geometry of permutation modules. preprint, available on the author's webpage, https://www.math.ucla.edu/ balmer/Pubfile/TT-Perm.pdf https://www.math.ucla.edu/ balmer/Pubfile/TT-Perm.pdf , 2023

2023
[10]

Permutation modules, M ackey functors, and A rtin motives

Paul Balmer and Martin Gallauer. Permutation modules, M ackey functors, and A rtin motives. In Representations of algebras and related structures , EMS Ser. Congr. Rep., pages 37--75. EMS Press, Berlin, [2023] 2023

2023
[11]

The spectrum of A rtin motives

Paul Balmer and Martin Gallauer. The spectrum of A rtin motives. Trans. Amer. Math. Soc. , 378(3):1733--1754, 2025

2025
[12]

Fiberwise building and stratification in tensor triangular geometry

Juan Omar G \'o mez. Fiberwise building and stratification in tensor triangular geometry. arXiv preprint arXiv:2501.12711 , 2025

2025 arXiv
[13]

Dirac geometry I : C ommutative algebra

Lars Hesselholt and Piotr Pstragowski. Dirac geometry I : C ommutative algebra. Peking Mathematical Journal , pages 1--76, 2023

2023
[14]

The B almer spectrum of certain D eligne-- M umford stacks

Eike Lau. The B almer spectrum of certain D eligne-- M umford stacks. Compositio Mathematica , 159(6):1314--1346, 2023

2023
[15]

The classification of endotrivial complexes

Sam K Miller. The classification of endotrivial complexes. Advances in Mathematics , 478:110404, 2025

2025
[16]

Spectral reflections of topological spaces

Niels Schwartz. Spectral reflections of topological spaces. Appl. Categ. Structures , 25(6):1159--1185, 2017

2017

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.

[1] [1]

The spectrum of prime ideals in tensor triangulated categories

Paul Balmer. The spectrum of prime ideals in tensor triangulated categories. J. Reine Angew. Math. , 588:149--168, 2005

work page 2005

[2] [2]

Spectra, spectra, spectra---tensor triangular spectra versus Z ariski spectra of endomorphism rings

Paul Balmer. Spectra, spectra, spectra---tensor triangular spectra versus Z ariski spectra of endomorphism rings. Algebr. Geom. Topol. , 10(3):1521--1563, 2010

work page 2010

[3] [3]

Stacks of group representations

Paul Balmer. Stacks of group representations. Journal of the European Mathematical Society , 17(1):189--228, 2015

work page 2015

[4] [4]

Separable extensions in tensor-triangular geometry and generalized Q uillen stratification

Paul Balmer. Separable extensions in tensor-triangular geometry and generalized Q uillen stratification. Ann. Sci. \' E c. Norm. Sup\' e r. (4) , 49(4):907--925, 2016

work page 2016

[5] [5]

Lattices over finite group schemes and stratification

Tobias Barthel, Dave Benson, Srikanth B Iyengar, Henning Krause, and Julia Pevtsova. Lattices over finite group schemes and stratification. arXiv preprint arXiv:2307.16271 , 2023

work page Pith review arXiv 2023

[6] [6]

Generalized tensor idempotents and the telescope conjecture

Paul Balmer and Giordano Favi. Generalized tensor idempotents and the telescope conjecture. Proc. Lond. Math. Soc. (3) , 102(6):1161--1185, 2011

2011

[7] [7]

Permutation modules and cohomological singularity

Paul Balmer and Martin Gallauer. Permutation modules and cohomological singularity. Commentarii Mathematici Helvetici , 97(3):413--430, 2022

work page 2022

[8] [8]

Finite permutation resolutions

Paul Balmer and Martin Gallauer. Finite permutation resolutions. Duke Mathematical Journal , 172(2):201--229, 2023

work page 2023