pith. sign in

arxiv: 2504.03050 · v3 · submitted 2025-04-03 · 🧮 math.AT · math.GR

The singularity category and duality for complete intersection groups

J.P.C.Greenlees This is my paper

Pith reviewed 2026-05-22 21:20 UTC · model grok-4.3

classification 🧮 math.AT math.GR
keywords singularity categorycomplete intersection groupsΩ-Tate spectrumKoszul dualGorenstein dualityTate dualitygroup cohomologyring spectrum
0
0 comments X

The pith

The singularity category of C^*(BG; k) is the bounded derived category of the Ω-Tate ring spectrum.

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

For a finite group G the paper identifies the singularity category of the cochain spectrum C^*(BG; k) with the bounded derived category of the Ω-Tate ring spectrum. The Ω-Tate spectrum is constructed as the k-nullification of the Koszul dual C_*(Ω BG_p). This equivalence transfers duality statements from the derived category to the singularity category. The paper also establishes Gorenstein duality for the Koszul dual and Tate duality for the Ω-Tate homology, together with an explicit stable Koszul complex construction when the spectrum is a homotopical complete intersection.

Core claim

The singularity category of the commutative ring spectrum C^*(BG; k) for finite group G is equivalent to the bounded derived category of the Ω-Tate ring spectrum, defined as the k-nullification of the Koszul dual C_*(Ω BG_p). Forms of Gorenstein duality for C_*(Ω BG_p) and Tate duality for the Ω-Tate homology are established. When C^*(BG; k) is a homotopical complete intersection, the Ω-Tate spectrum admits a construction via a stable Koszul complex.

What carries the argument

The Ω-Tate ring spectrum, obtained as the k-nullification of the Koszul dual C_*(Ω BG_p), which carries the equivalence to the singularity category.

If this is right

  • Duality properties of the bounded derived category transfer to the singularity category via the equivalence.
  • Gorenstein duality holds for the Koszul dual C_*(Ω BG_p).
  • Tate duality holds for the Ω-Tate homology.
  • A stable Koszul complex explicitly constructs the Ω-Tate spectrum whenever C^*(BG; k) is a homotopical complete intersection.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The equivalence may enable explicit calculations of singularity categories for concrete groups by using homotopy-theoretic models of the Ω-Tate spectrum.
  • Similar identifications could apply to other commutative ring spectra that arise in modular representation theory.
  • The complete intersection hypothesis might be weakened while preserving the equivalence for a larger class of groups.

Load-bearing premise

The singularity category is defined exactly as in the cited prior work and the Koszul dual together with its nullification produce a ring spectrum whose derived category matches it.

What would settle it

A direct computation for the cyclic group of prime order p showing that the singularity category of C^*(BG; k) differs from the bounded derived category of the corresponding Ω-Tate spectrum would falsify the identification.

read the original abstract

If G is a finite group, some aspects of the modular representation theory depend on the cochains C^*(BG; k), viewed as a commutative ring spectrum. We consider its singularity category (in the sense of the author and Stevenson arxiv 1702.07957) and show that it is the bounded derived category of the \Omega-Tate ring spectrum (k-nullification of the Koszul dual, C_*(\Omega BG_p)). We establish a form of Gorenstein duality for C_*(\Omega BG_p) and a form of Tate duality for the \Omega-Tate homology. If C^*(BG; k) is a homotopical complete intersection in a strong sense there is a stable Koszul complex construction of the \Omega-Tate spectrum. [v3: (1) role of ci condition clarified.(2) Novel statements flagged, \Omega-Tate named and highlighted.(3) Study of the norm map expanded.]

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript shows that for a finite group G the singularity category of the commutative ring spectrum C^*(BG; k) (in the sense of the author's earlier work arXiv:1702.07957) is equivalent to the bounded derived category of the Ω-Tate ring spectrum, defined as the k-nullification of the Koszul dual C_*(Ω BG_p). It proves a form of Gorenstein duality for C_*(Ω BG_p) and a form of Tate duality for the Ω-Tate homology. Under a strong homotopical complete intersection hypothesis on C^*(BG; k) there is an explicit stable Koszul complex construction of the Ω-Tate spectrum.

Significance. If the stated equivalences and dualities hold, the work supplies a concrete homotopy-theoretic model for the singularity category that links modular representation theory with derived categories of spectra arising from loop spaces. The Gorenstein and Tate duality statements extend existing phenomena in this setting, while the Koszul construction under the CI condition furnishes an explicit computational tool. The manuscript builds directly on the cited prior definition rather than introducing circular reductions.

major comments (2)
  1. [Abstract] Abstract and introduction: the homotopical complete intersection condition is load-bearing for the stable Koszul construction of the Ω-Tate spectrum; the manuscript should state explicitly (perhaps with a reference or example) for which groups this hypothesis holds or whether it is expected to be generic.
  2. [Main equivalence statement] The equivalence identifying the singularity category with D^b(Ω-Tate) is presented as a new derivation; if the argument invokes any non-obvious properties of the Koszul dual or the nullification functor beyond those in arXiv:1702.07957, those steps should be isolated so the reader can verify independence from the prior definition.
minor comments (2)
  1. The v3 updates flag novel statements and expand the norm map discussion; ensure these are cross-referenced consistently in the body text.
  2. Notation for the Ω-Tate spectrum and its homology should be introduced with a single highlighted definition to avoid scattered references.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive evaluation and the detailed comments, which have helped us improve the clarity of the manuscript. We address the major comments point by point below.

read point-by-point responses

  1. Referee: [Abstract] Abstract and introduction: the homotopical complete intersection condition is load-bearing for the stable Koszul construction of the Ω-Tate spectrum; the manuscript should state explicitly (perhaps with a reference or example) for which groups this hypothesis holds or whether it is expected to be generic.

    Authors: We agree that the homotopical complete intersection hypothesis is central to the Koszul construction and that its scope should be made explicit. In the revised manuscript we have expanded the introduction to state that the condition holds precisely when C^*(BG; k) is a homotopical complete intersection in the strong sense of the paper, with references to the literature on when H^*(BG; k) is a complete intersection ring (e.g., elementary abelian p-groups and certain p-groups of small rank) and a brief remark that the condition is not expected to hold for arbitrary finite groups. revision: yes

  2. Referee: [Main equivalence statement] The equivalence identifying the singularity category with D^b(Ω-Tate) is presented as a new derivation; if the argument invokes any non-obvious properties of the Koszul dual or the nullification functor beyond those in arXiv:1702.07957, those steps should be isolated so the reader can verify independence from the prior definition.

    Authors: The equivalence is obtained by applying the definition of the singularity category from arXiv:1702.07957 to the specific ring spectrum C^*(BG; k). In the revised version we have explicitly named the Ω-Tate spectrum, highlighted the novel statements, and isolated the steps that rely on the Koszul dual and the nullification functor, making clear that they invoke only the properties already established in the cited prior work. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper adopts the definition of the singularity category by explicit citation to the prior work arXiv:1702.07957 (author and Stevenson) but then derives the central equivalence to the bounded derived category of the Ω-Tate spectrum, together with the Gorenstein and Tate duality statements, by direct construction under the homotopical complete intersection hypothesis and the stable Koszul complex. No equation or claim reduces the new results to the cited definition by construction, renames a fitted input as a prediction, or imports a uniqueness theorem from the same authors' prior work as an external fact. The self-citation is confined to the choice of definition and does not bear the load of the equivalences or dualities; the derivation chain remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 1 invented entities

The central claims rest on the prior definition of singularity categories, standard properties of commutative ring spectra in homotopy theory, and the homotopical complete intersection condition for the Koszul construction. The Ω-Tate spectrum is introduced as a new named object defined via nullification and Koszul dual.

axioms (3)
  • domain assumption Singularity category of a commutative ring spectrum is defined as in Greenlees-Stevenson arxiv 1702.07957
    Invoked at the start of the main claim to identify the object whose properties are studied.
  • domain assumption C^*(BG; k) for finite G is a commutative ring spectrum whose Koszul dual and k-nullification are well-defined
    Foundational assumption allowing the construction of the Ω-Tate spectrum.
  • ad hoc to paper Homotopical complete intersection condition on C^*(BG; k) permits the stable Koszul complex construction
    Explicitly required for the final construction statement in the abstract.
invented entities (1)
  • Ω-Tate ring spectrum no independent evidence
    purpose: Object whose bounded derived category is shown to equal the singularity category of C^*(BG; k)
    Defined as the k-nullification of the Koszul dual C_*(Ω BG_p); highlighted as novel in the v3 update.

pith-pipeline@v0.9.0 · 5686 in / 1662 out tokens · 49802 ms · 2026-05-22T21:20:02.160335+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages · 3 internal anchors

  1. [1]

    Classifying spaces of finite groups of tame representation type

    D.J.Benson “Classifying spaces of finite groups of tame representation type.” arXiv:2208.07913

    work page arXiv

  2. [2]

    An algebraic model for chains on Ω BG∧ p

    D.J.Benson “An algebraic model for chains on Ω BG∧ p ” TAMS 361 (2008) 2225-2242

    work page 2008

  3. [3]

    Functional equations for Poincar´ e series in group cohomology

    D.J.Benson and J.F.Carlson “Functional equations for Poincar´ e series in group cohomology” Bull. London Math. Soc. 26 (1994) 438-448

    work page 1994

  4. [4]

    Duality in topology and modular representation theory

    D.J.Benson and J.P.C.Greenlees “Duality in topology and modular representation theory.” JPAA 212 (2008) 1716-1743

    work page 2008

  5. [5]

    The singularity and cosingularity categories for groups with cyclic Sylow subgroup

    D.J.Benson and J.P.C.Greenlees “The singularity and cosingularity categories for groups with cyclic Sylow subgroup” Preprint (2021), 33pp, arXiv:2107.09389

    work page arXiv 2021

  6. [6]

    Formality of cochains on BG

    D.J.Benson and J.P.C.Greenlees “Formality of cochains on BG” Bulletin LMS 55 (2023) 1120-1128

    work page 2023

  7. [7]

    Complete intersections and mod p cochains

    D.J.Benson, J.P.C.Greenlees and S.Shamir “Complete intersections and mod p cochains.” AGT 13 (2013) 61-114, arXiv: 1104.4244

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  8. [8]

    Loop space homology of a small category

    C. Broto, R.Levi and R.Oliver “Loop space homology of a small category.” Ann. K-Theory 6 (2021), 425–480

    work page 2021

  9. [9]

    The multiplicative structure on Hochschild cohomology of a complete intersec- tion

    R.-O. Buchweitz and C.Roberts “The multiplicative structure on Hochschild cohomology of a complete intersec- tion” JPAA 219 (2015) 402-428

    work page 2015

  10. [10]

    Strong convergence of the Eilenberg-Moore spectral sequence

    W. G. Dwyer “Strong convergence of the Eilenberg-Moore spectral sequence”, Topology 13 (1974), 255–265

    work page 1974

  11. [11]

    The equivalence of categories of complete and torsion modules

    W.G.Dwyer and J.P.C.Greenlees “The equivalence of categories of complete and torsion modules.” American J. Math. 124 (2002) 199-220

    work page 2002

  12. [12]

    200 (2006), 357-402

    W.G.Dwyer, J.P.C.Greenlees and S.B.Iyengar, Duality in algebra and topology, Advances in Maths. 200 (2006), 357-402

    work page 2006

  13. [13]

    Y.F´ elix, S.Halperin, J.-C.Thomas ‘Elliptic Hopf algebras’ JLMS 43 (1991) 544-555

    work page 1991

  14. [14]

    Representing Tate cohomology of G-spaces

    J.P.C.Greenlees “Representing Tate cohomology of G-spaces”, Proceedings of the Edinburgh Mathematical So- ciety 30 (1987), 435-443

    work page 1987

  15. [15]

    Homotopy Invariant Commutative Algebra over fields

    J.P.C.Greenlees “Homotopy invariant commutative algebra over fields” Building Bridges Between Algebra and Topology, Birkh¨ auser (2018), 103-169, arXiv:1601.02473

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  16. [16]

    Rings with a local cohomology theorem and applications to cohomology rings of groups

    J.P.C.Greenlees and G.Lyubeznik “Rings with a local cohomology theorem and applications to cohomology rings of groups.” J. Pure and Applied Algebra 149 (2000) 267-285

    work page 2000

  17. [17]

    Derived functors of I-adic completion and local homology

    J.P.C.Greenlees and J.P. May “Derived functors of I-adic completion and local homology” Journal of Algebra 149 (1992) 438-453

    work page 1992

  18. [18]

    Generalized Tate cohomology

    J.P.C.Greenlees and J.P. May “Generalized Tate cohomology” Memoirs of the American Maths. Soc., 543 (1995) 178pp

    work page 1995

  19. [19]

    Morita equivalences and singularity categories

    J.P.C.Greenlees and G. Stevenson “Morita equivalences and singularity categories.” Advances in Mathematics 365 (2020), 44pp, arXiv: 1702.07957

    work page arXiv 2020

  20. [20]

    Anderson and Gorenstein duality

    J.P.C.Greenlees and V.Stojanoska “Anderson and Gorenstein duality” (Geometric and topological aspects of group representations, Edited by J.Carlson, S.B.Iyengar and J.Pevtsova), Proceedings in Mathematics, (Springer- Verlag), 23pp, arXiv: 1705.02664

    work page internal anchor Pith review Pith/arXiv arXiv

  21. [21]

    On homological rate of growth and the homotopy type of Ω BG∧ p

    R.Levi “On homological rate of growth and the homotopy type of Ω BG∧ p ” Math. Z. 226 (1997) 429-444 Mathematics Institute, Zeeman Building, Coventry CV4, 7AL, UK Email address : john.greenlees@warwick.ac.uk 19

    work page 1997