Pith. sign in

REVIEW 3 major objections 6 minor 27 references

Permutation twisted cohomology, remixed

T0 review · 3 major / 6 minor · reviewed 2026-08-05 · deepseek-v4-flash

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

Pith's one-line read For every finite p-group, the comparison map from the Balmer spectrum of permutation modules to the homogeneous spectrum of a remixed twisted cohomology ring is injective, and an open immersion when the ring is noetherian.

desk verdict A serious attempt to extend Balmer–Gallauer to all p-groups, but the central injectivity theorem currently depends on an unproved tensor-induction step in Lemma 6.2, and the abstract overclaims Noetherianity results. read the letter →

arxiv 2509.00954 v4 pith:BMSOAIDM submitted 2025-08-31 math.RT math.AGmath.CTmath.GR

Sam K. Miller This is my paper · ORCID
classification math.RTmath.AGmath.CTmath.GR MSC 18G8018G9018M0520C2020J05
keywords permutationmodulestwistedcohomologyBalmerspectrumtensor-triangulargeometryendotrivialcomplexesfinitep-groupsBredonhomologyDiracscheme
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 extends a prior tensor-triangular classification trick from elementary abelian p-groups to all finite p-groups. It builds a remixed twisted cohomology ring for the homotopy category of permutation modules, graded not just by shifts but by every effective endotrivial complex—invertible objects that, up to shift, arise from Bredon homology of representation spheres. The main theorem says the canonical comparison map from the Balmer spectrum to the homogeneous spectrum of this ring is injective; if the ring is noetherian, the map is an open immersion and the Balmer spectrum becomes a Dirac scheme. A key intermediate construction is an open cover of the Balmer spectrum under which every endotrivial is a line bundle. This gives a route to describing the tensor-triangular geometry of permutation modules for arbitrary p-groups without first solving the elementary-abelian case separately.

What carries the argument

The load-bearing objects are effective endotrivials: invertible complexes in K(G) whose h-mark functions are dimension functions of real representations, hence come from representation spheres and their reduced Bredon chain complexes over the orbit category Γ_G. Because these chain complexes satisfy a 'stabilizers grow' condition—maps only raise fixed points—the author can construct p-local quasi-isomorphisms ι_C^H : k[h_C(H)] → C for every subgroup H. These maps generate the open cover U(H) and serve as denominators for the remixed twisted cohomology ring; the induction proving injectivity of the comparison map then uses a norm element formed from H_i-conjugates of such morphisms to separat

What would settle it

Run the Lemma 6.2 induction on a concrete p-group with a nontrivial C_p-extension step, such as C_p ⋉ C_{p^2}: write out the tensor product of H_i-conjugates of a homogeneous element f and check whether it carries a well-defined H_{i+1}-stable action up to homotopy—a single failure there would invalidate the proof of Theorem 6.1, while a successful nontrivial example would support the claim.

Watch

Extended reading notes

Core claim

Let K(G) be the bounded homotopy category of p-permutation modules of a finite p-group. The central claim: the right twists for a cohomology ring that recovers the Balmer spectrum are the effective endotrivials—invertible complexes whose h-mark functions come from real representation spheres, i.e. (up to shift) from Bredon homology. For each such C and each subgroup H, Theorem 4.2 builds a map ι_C^H : k[h_C(H)] → C, unique up to scaling, that becomes an isomorphism after the modular fixed-point functor Ψ_H. These maps define an open cover {U(H)} of Spc(K(G)) with three properties: each U(H) contains exactly one closed point m_H; U(1) is the cohomological open Spc(D^b(kG)); and every endotriv

Load-bearing premise

The proof relies on an unproved technical assumption that when a subgroup of index p acts by conjugation, the tensor product of all conjugates of a morphism can still be given a well-defined action up to homotopy—if that averaging construction fails, the key step showing distinct primes stay distinct collapses.

Editorial extensions

If this is right

  • The comparison map is injective for every finite p-group, so distinct primes of Spc(K(G)) are always separated by some homogeneous element of H••(G).
  • If H••(G) is noetherian—proved here for Dedekind p-groups and the dihedral group of order 8, conjectured for all p-groups—then Spc(K(G)) with its structure sheaf is a Dirac scheme and each open U(H) is homeomorphic to a homogeneous spectrum of a local cohomology ring.
  • Every endotrivial complex is a line bundle under the open cover; in particular, on the cohomological open U(1) ≅ D^b(kG) this recovers the usual cohomological description of V_G.
  • The construction reproduces the prior elementary-abelian twisted cohomology ring as a special case, subsuming the earlier results for elementary abelian p-groups.
  • The paper's norm-element argument gives a concrete mechanism: injectivity of the comparison map is reduced to showing that non-conjugate subgroups are separated by effective endotrivials and their ι_H maps.

Reading between the lines

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

  • One can push the same mechanism beyond p-groups: replacing the full effective Picard group by the subgroup generated by representation spheres yields a plausible twisted cohomology ring for arbitrary finite groups, provided that subgroup is finite-index in the Picard group—an open question the author raises.
  • The proof strategy suggests a finiteness criterion: noetherianity of H••(G) may be reduced, modulo nilpotents, to finiteness of the image of the twisted-to-ordinary cohomology map in each p-local group cohomology ring; computing these images for small p-groups would be a concrete test of the conjecture.
  • If every endotrivial is a line bundle over each U(H), the local Picard group Pic(K(G)|_{U(H)}) should be Z for all p-groups, generated by the shift; checking this for nonabelian examples would show how much of the elementary-abelian picture survives.
  • The 'remixed' ring deliberately twists only by effective endotrivials, and the analogy with Tate cohomology suggests that twisting by the full Picard group would produce an unmanageably large, non-noetherian ring; computing the full twist-graded ring for a small p-group would test that boundary.
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.

Referee Report

3 major / 6 minor

Summary. The paper defines a 'remixed' twisted cohomology ring H^{••}(G) for a finite p-group G, graded by homological shifts and by effective endotrivial complexes arising from real representation spheres. It constructs canonical local quasi-isomorphisms ι_H^C, uses them to build an open cover {U(H)} of the Balmer spectrum Spc(K(G)), and proves that every endotrivial is locally a shift of the tensor unit, that U(1) is the cohomological open, and that each U(H) contains a unique closed point of Spc(K(G)). It then introduces a comparison map comp_G : Spc(K(G)) → Spec^h(H^{••}(G)) and claims injectivity for all finite p-groups (Theorem 6.1), with an open-immersion/Dirac-scheme conclusion under a Noetherianity assumption on H^{••}(G) (Corollaries 6.4 and 6.5). The abstract also states that Noetherianity is proved for Dedekind groups and the dihedral group of order 8, but the body only formulates this as a conjecture and gives informal remarks.

Significance. If the main results are fully established, this is a substantial step beyond Balmer–Gallauer's elementary-abelian classification: it gives an explicit open cover for arbitrary p-groups, a line-bundle statement for all endotrivials, and a conditional Dirac-scheme structure. The construction is concrete and uses the author's previously published classification of endotrivial complexes, which is independent background rather than a restatement of the target result. The paper is also genuinely useful in clarifying that effective endotrivials carry the necessary orbit-category structure. However, the central injectivity theorem currently rests on an unproved tensor-induction/coherence assertion in Lemma 6.2, and the abstract advertises Noetherianity results that are not proved in the body. These issues are load-bearing for the advertised claims, so the paper needs a substantive revision before the results can be accepted as stated.

major comments (3)
  1. [§6, Lemma 6.2] The proof of Lemma 6.2 is the only bridge from the normalizer case to all p-groups, and it contains an unproved assertion. In the paragraph introducing f', the paper states that the tensor product C' = ⊗_{g∈H_{i+1}/H_i} g(C[s]) 'has kH_{i+1}-module structure' because it is the restriction of a tensor-induced complex, adding that 'tensor induction is not defined in general up to homotopy, in this case the restriction is well-behaved up to homotopy'. This is exactly the point that needs proof: the product of H_i-conjugates has an evident H_i-action, but the H_{i+1}-action requires an equivariance/coherence argument, especially when H_{i+1}/H_i acts nontrivially on H_i. Without a well-defined f' ∈ H^{••}(H_{i+1}), the property (*) cannot be run and the induction in Lemma 6.2 collapses. This is not a cosmetic gap; it is a nontrivial assertion about homotopy categories of p-permutation module
  2. [Abstract vs. body] The abstract claims 'We prove Noetherianity holds for Dedekind groups and the dihedral group of order 8', but the body contains no such theorem. The only related material is the final 'Open questions' section and Remark 6.6, which states a conjecture that H^{••}(G) is Noetherian, gives a sketchy remark about finite abelian p-groups without proof, and mentions an informal observation for Q_8. No proof is supplied for dihedral groups of order 8 or for Dedekind groups. This mismatch matters because Corollaries 6.4 and 6.5 are conditional on Noetherianity; if the Noetherianity results are not proved, the abstract overstates the theorems. Please either add the missing proofs or revise the abstract to state the Noetherianity claims as conjectures/conditional results.
  3. [§2–§3, effective endotrivials] The paper relies heavily on the assertion that every effective endotrivial complex, after shifting, arises from a chain complex of free modules over the orbit category Γ_G. Corollary 3.12 is stated for indecomposable effective endotrivials, and its proof invokes Proposition 3.11 to remove contractible summands. This is a key structural step, and while the argument is plausible, the proof of Proposition 3.11 is intricate and would benefit from a careful re-examination: the basis modifications are described in words and some choices (e.g. the index h and the 'unique minimal submodule') are not fully pinned down. This is not necessarily a fatal issue, but because later results (Theorem 4.2, Construction 4.5) depend on the orbit-category lift, the exposition should make the choices and the stabilizers-grow verification fully explicit.
minor comments (6)
  1. [§6, Lemma 6.2] In the displayed product defining f', the indexing set is written 'g∈H_{i+1}/H_{i+1}'; this should almost certainly be H_{i+1}/H_i. Please correct the typo and ensure all quotient indices are unambiguous.
  2. [§4, Theorem B / Construction 4.5] The introduction's Theorem B(a) says 'Each open U(H) contains a unique closed point of Spc(K), m_H', which is correct as a statement about closed points of Spc(K) lying in U(H). The Warning after Corollary 4.11 rightly clarifies that U(H) as a subspace may not have a unique closed point. Consider rephrasing Theorem B(a) to avoid a misleading first reading.
  3. [§4, Remark 4.16] The equality 'cone(ι_C^1) = cone(ι_C^N)' is asserted literally; since these morphisms live in possibly different complexes and the construction is only up to homotopy, it would be clearer to say they have equivalent cones or are isomorphic in the appropriate category.
  4. [Global] The notation B(G) is used both for the chosen basis of effective irreducible endotrivials and, in standard references, for the Burnside ring or other bases. The paper does define its own usage, but a small note distinguishing it from the Burnside-ring notation would help avoid confusion.
  5. [§5, Definition 5.5] The roof diagram justifying multiplicativity of QΨ is hard to read because the arrows are not labeled with degrees. Adding homological degrees or a short explanatory sentence would materially improve verifiability.
  6. [Abstract / Introduction] The abstract uses 'Noetherianity' while the body often writes 'noetherian'. This is harmless, but the terminology should be made consistent throughout.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: line-bundle cover is by construction, self-citations are independent, and the Lemma 6.2 gap is a proof gap, not circularity.

full rationale

No circular step is present. The central injectivity claim (Theorem 6.1) is proved by separating primes P(H1,p) and P(H2,q) using the open sets open(ι_H^C) that the comparison map encodes; the proof does not assume the conclusion. The line-bundle statement (Corollary 4.13) is explicitly 'by construction of U(H)': U(H) is defined as ∩_C open(ι_H^C), and open(f) is by definition the locus where f becomes invertible, so C ≅ k[h_C(H)] on U(H) is a transparent design property of the open cover, not a hidden prediction derived from an independent input. Self-citations to [Mil24] and [Mil25a] are published classifications with stated proofs; they supply the h-mark/Borel-Smith input and are not restatements of this paper's target result, so they do not create a circularity under the rules above. The one genuine weakness is a proof gap, not circularity: Lemma 6.2 asserts that the H_{i+1}-conjugate tensor product 'has kH_{i+1}-module structure (one may see for instance that C' is the restriction of the tensor induced complex Ten_{H_i}^{H_{i+1}} C via the Mackey formula - while tensor induction is not defined in general up to homotopy, in this case the restriction is well-behaved up to homotopy)' without giving the coherence argument. That assertion is load-bearing for the induction in Theorem 6.1, and the abstract's Noetherianity claims for Dedekind groups and D8 are not proved in the body; both are correctness/completeness concerns, not equivalences to inputs. The derivation, modulo published background and this unproved technical premise, is not circular.

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

Pure algebraic construction: no fitted constants, no invented physical or mathematical entities. The central claims rest on two prior classifications (endotrivials, Borel-Smith functions) and on Balmer-Gallauer's framework, all external results with published proofs. One load-bearing technical assertion (tensor-induction restriction in Lemma 6.2) is introduced ad hoc without proof.

assumptions (4)
  • standard math Classification of endotrivial complexes for finite p-groups: h: Pic(K(G)) is isomorphic to CF^b(G) [Mil25a, Theorem 4.6].
    Invoked to identify effective endotrivials with Borel-Smith functions and to obtain the canonical Z-basis B(G) used to define the twisted cohomology ring and the opens U(H).
  • standard math tom Dieck's theorem: for nilpotent G, the dimension function dim: RO(G) -> CF(G) has image CF^b(G), and effective Borel-Smith functions come from representation spheres [tD87, Theorems 5.4, 5.13, 5.16].
    Used in Theorem 2.2, Corollary 2.3, and Corollary 3.12 to connect endotrivials to representation spheres and orbit-category chain complexes.
  • standard math Balmer-Gallauer's framework for permutation modules: conservative family {Psi_H}, description of Spc(K(G)) as a union of V_{G//H}, comparison maps and twisted cohomology for elementary abelian groups [BG25].
    The entire setup (Theorems 1.4, 1.6, 1.8, Proposition 5.4, Remark 5.14) builds directly on Balmer-Gallauer's prior published work.
  • ad hoc to paper In Lemma 6.2, restriction of the tensor product of H_i-conjugates is 'well-behaved up to homotopy' and yields an H_{i+1}-stable element f'.
    Asserted without proof; needed to construct the norm element f'' that is essential to the injectivity induction.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Permutation twisted cohomology, remixed." pith.science (2026). https://pith.science/paper/BMSOAIDM

@misc{pith2026250900954,
  author       = {Pith},
  title        = {Pith review of: Permutation twisted cohomology, remixed},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BMSOAIDM}},
  note         = {Machine review of arXiv:2509.00954}
}
abstract

For each endotrivial complex for a $p$-group arising from Bredon homology of a representation sphere, we construct $p$-local quasi-isomorphisms, called forerunners. These enable us to extend Balmer--Gallauer's results in arXiv:2307.04398 concerning the tensor-triangular geometry of permutation modules for elementary abelian $p$-groups to all $p$-groups. We construct an open cover of the Balmer spectrum under which all endotrivials are tt-line bundles, that is, every endotrivial is locally isomorphic to a shift of the tensor unit. We define a remixed permutation twisted cohomology ring for which the canonical comparison map from the Balmer spectrum to the homogeneous spectrum of the twisted cohomology ring is injective. If the twisted cohomology ring is Noetherian, the comparison map is an open immersion, and the open cover endows the Balmer spectrum with Dirac scheme structure. We prove Noetherianity holds for Dedekind groups and the dihedral group of order 8, and conjecture it holds for all $p$-groups.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

27 extracted references · 26 canonical work pages

  1. [1]

    Bachmann

    T. Bachmann. Invertible Objects in Motivic Homotopy Theory . PhD thesis, Universit\" a t M\" u nchen, 2016

    work page 2016

  2. [2]

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

    work page 2005

  3. [3]

    P. Balmer. Spectra, spectra, spectra - T ensor triangular spectra versus Z ariski spectra of endomorphism rings. Alg. Geom. Top. , 10(3):1521–1563, 2010

    work page 2010

  4. [4]

    P. Balmer. Tensor triangular geometry. In Proceedings ICM, Hyderabad, Volume II , pages 85--112, 2010

    work page 2010

  5. [5]

    D. J. Benson. Representations and Cohomology, Volume 1 . Cambridge University Press, 1998

    work page 1998

  6. [6]

    D. J. Benson. Representations and Cohomology, Volume 2 . Cambridge University Press, 1998

    work page 1998

  7. [7]

    Balmer and M

    P. Balmer and M. Gallauer. Finite permutation resolutions. Duke Math. J. , 172(2):201--229, 2023

    work page 2023

  8. [8]

    Balmer and M

    P. Balmer and M. Gallauer. Permutation modules, Mackey functors, and Artin motives , chapter 3. EMS Press, 2023

    work page 2023

Show all 27 references
  1. [9]

    Balmer and M

    P. Balmer and M. Gallauer. The geometry of permutation modules. Inv. Math. , 2025

    2025

  2. [10]

    J. V. Breland and S. K. Miller. Brauer pairs for splendid Rickard equivalences. arXiv:2312.10258 [math.RT] , 2023

    2023 arXiv

  3. [11]

    Bouc and E

    S. Bouc and E. Yal c in. Borel-Smith functions and the Dade group. J. Algebra , 311:821--839, 2007

    2007

  4. [12]

    L. Evens. The cohomology ring of a finite group. Trans. Amer. Math. Soc. , 101(2):224--239, 1961

    1961

  5. [13]

    Fuhrmann

    Y. Fuhrmann. Modular fixed points in equivariant homotopy theory. arXiv:2506.21413 [math.AT] , 2025

    2025 arXiv

  6. [14]

    Hesselholt and P

    L. Hesselholt and P. Pst a gowski. Dirac geometry I : C ommutative algebra. Peking Math. J. , pages 1--76, 2023

    2023

  7. [15]

    Hausmann and S

    M. Hausmann and S. Schwede. Representation-graded B redon homology of elementary abelian 2-groups. Alg. Geo. Top. , 2025

    2025

  8. [16]

    S. Illman. Equivariant singular homology and cohomology. Bull. Amer. Math. Soc , 79:188--192, 1973

    1973

  9. [17]

    Lassueur

    C. Lassueur. A tour of p -permutation modules and related classes of modules. Jahresbericht der Deutschen Mathematiker-Vereinigung , 125:137--189, 2023

    2023

  10. [18]

    E. Lau. The B almer spectrum of certain D eligne- M umford stacks. Compos. Math. , 159(6):1314--1346, 2023

    2023

  11. [19]

    Linckelmann

    M. Linckelmann. The Block Theory of Finite Group Algebras, Volume 1 . Cambridge University Press, 2018

    2018

  12. [20]

    S. K. Miller. Endotrivial complexes. J. Algebra , 650:173--218, 2024

    2024

  13. [21]

    S. K. Miller. The classification of endotrivial complexes. Adv. Math. , 478:110414, 2025

    2025

  14. [22]

    S. K. Miller. Relatively endotrivial complexes. J. Pure. Appl. Algebra , 229(2):107867, 2025

    2025

  15. [23]

    Rouquier

    R. Rouquier. The derived category as a quotient of the homotopy category of permutation modules. Letter to A. Beilinson, https://www.math.ucla.edu/ rouquier/papers/perm.pdf , 2006

    2006

  16. [24]

    B. Sanders. The tensor triangular geometry of fully faithful functors. arXiv:2508.02105 [math.AT] , 2025

    2025 arXiv

  17. [25]

    tom Dieck

    T. tom Dieck. Transformation groups . Walter de Gruyter, 1987

    1987

  18. [26]

    B. B. Venkov. Cohomology algebras for some classifying spaces. Dokl. Akad. Nauk. SSSR , 127:943--944, 1959

    1959

  19. [27]

    Yal c in

    E. Yal c in. Equivariant M oore spaces and the D ade group. Adv. Math. , 309:209--237, 2017

    2017

Pith tools

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