The singularity category and duality for complete intersection groups

DOI10.1112/BLMS.70405MaRDI QIDQ7287238zbMATH OpenFDO

Authors John Greenlees

Publication date 24 June 2026

Published in Bulletin of the London Mathematical Society (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1112/BLMS.70405

Mathematics Subject Classification ID

Cohomology of groups (20J06) Spectra with additional structure ((E_infty), (A_infty), ring spectra, etc.) (55P43)

Review text

This paper under review is about finite groups from the point of view of commutative algebra. One can read many structural properties of modular representations of a finite group \(G\) from its cohomology ring \(H^*(G,k)=H^*(BG,k)\) where \(k\) is a field of characteristic \(p\) and \(BG\) is the classifying space of \(G\). Considering the cochains \(C^*(BG,k)\) rather than \(H^*(G,k)\) will be much more helpful for understanding the structural properties. The cochains \(C^*(BG,k)\) are viewed as a commutative ring spectrum. One of the advantages of working with cochains is that \(C^*(BG,k)\) is Gorenstein for all finite groups. Another one is that \(C^*(BG,k)\) is regular if and only if \(G\) is \(p\)-nilpotent. In this paper, the author considers its singularity category in the sense of [\textit{J. P. C. Greenlees} and \textit{G. Stevenson}, Adv. Math. 365, Article ID 107055, 51 p. (2020; Zbl 1451.18030)]. There are some specific calculations in [\textit{D. J. Benson}, ``Classifying spaces of finite groups of tame representation type, Preprint, \url{arXiv:2208.07913}; \textit{D. Benson} and \textit{J. Greenlees}, Algebr. Represent. Theory 26, No. 4, 1181--1216 (2023; Zbl 1523.20093)] but the medhods in those papers are not working in general.\N\NIn this paper under review, the author develops some structural and homotopy invariant methods which can be applied in more general settings. The author studies modules over the \(\Omega\)-Tate spectrum and proves that the singularity category of \(C^*(BG,k)\) is the bounded derived category of the \(\Omega\)-Tate spectrum. The author also shows that when \(C^*(BG,k)\) is a complete intersection, \(\Omega\)-Tate homology by a Čech complex can be calculated.

Cites work

• An algebraic model for chains on $\Omega BG{}^{^\wedge }_p$
• Complete intersections and mod \(p\) cochains
• Complete modules and torsion modules
• Derived functors of \(I\)-adic completion and local homology
• Duality in algebra and topology
• Elliptic Hopf Algebras
• Formality of cochains on BG$BG$
• Functional Equations for Poincaré Series in Group Cohomology
• Generalized Tate cohomology
• Homotopy Invariant Commutative Algebra over Fields
• Localization and duality in topology and modular representation theory.
• Loop space homology of a small category
• Modules with finitely generated cohomology, and singularities of C^*BG
• Morita theory and singularity categories
• On homological rate of growth and the homotopy type of \(\Omega BG_p^\wedge\)
• Representing Tate cohomology of G-spaces
• Rings with a local cohomology theorem and applications to cohomology rings of groups
• Strong convergence of the Eilenberg-Moore spectral sequence
• The multiplicative structure on Hochschild cohomology of a complete intersection

This page was built for publication: The singularity category and duality for complete intersection groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7287238)