The RO(C₂^n)-graded homotopy of HZ through generalized Tate squares

DOI10.1007/S44007-025-00153-1MaRDI QIDQ6965838zbMATH OpenFDO

Authors Guoqi Yan

Publication date 30 June 2025

Published in La Matematica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S44007-025-00153-1

zbMATH Keywords

Eilenberg-Mac Lane spectrumequivariant homotopy groupsequivariant stable homotopy theorygeneralized Tate cohomology

Mathematics Subject Classification ID

Equivariant homology and cohomology in algebraic topology (55N91) Equivariant homotopy theory in algebraic topology (55P91)

Review text

This paper addresses the (as the author puts it) ``meaningful but difficult task of computing the \(RO(G)\)-graded homotopy coefficients of the Eilenberg-Mac Lane spectrum \(H\underline{\mathbb{Z}}\) for a finite group \(G\). The case where \(G\) is a cyclic \(2\)-group has important applications to chromatic homotopy theory, motivating the author's specific study of the case \(G = C_4\) to demonstrate the efficacy of the new approach. A cellular, degree-wise computation for the case \(G = C_{p^n}\) quickly becomes impractical -- instead, the author proposes leveraging the global multiplicative structure by using a filtration of families of subgroups produced via increasing values of \(n\). As the author describes, this leads to a tower of localizations ``and we can `delocalize' the tower to recover \(\pi_*H\underline{\mathbb{Z}}\).\N\NThe primary result is the complete computation of the \(C_4\)-equivariant homotopy group of \(H\underline{\mathbb{Z}}\). The author explicitly determines the top level (\(\pi_*^{C_4/C_4} H\underline{\mathbb{Z}}\)) in Theorem 4.10, along with the entire Mackey functor structure in Section 6. In Appendix A, the author's results are shown to strongly agree with independent, computer-based calculations from [\textit{N. Georgakopoulos}, ``The \(RO(C_4)\) integral homology of a point, Preprint, \url{arXiv:1912.06758}]. Finally, in Appendix B the author confirms that each level of the \(C_4\)-Mackey functors constitutes an actual commutative ring, not merely a graded-commutative ring.

Cites work

• An Atiyah-Hirzebruch spectral sequence for KR-theory
• Coherence for invertible objects and multigraded homotopy rings
• Derived induction and restriction theory
• Equivariant stable homotopy theory. With contributions by J. E. McClure
• EQUIVARIANT UNIVERSAL COEFFICIENT AND KÜNNETH SPECTRAL SEQUENCES
• Four approaches to cohomology theories with reality
• Generalized Tate cohomology
• scientific article; zbMATH DE number 3935317 (Why is no real title available?)
• scientific article; zbMATH DE number 1522523 (Why is no real title available?)
• scientific article; zbMATH DE number 1390036 (Why is no real title available?)
• scientific article; zbMATH DE number 957983 (Why is no real title available?)
• On the nonexistence of elements of Kervaire invariant one
• Real orientations of Lubin-Tate spectra
• The localized slice spectral sequence, norms of real bordism, and the Segal conjecture
• The slice spectral sequence for the \(C_{4}\) analog of real \(K\)-theory
• The Slice Spectral Sequence of a 𝐶₄-Equivariant Height-4 Lubin–Tate Theory
• The Structure of Mackey Functors

Cited in

(1)

• On the structure of the \(RO(G)\)-graded homotopy of \(H \underline{M}\) for cyclic \(p\)-groups

This page was built for publication: The \(RO(C_{2^n})\)-graded homotopy of \(H\underline{\mathbb{Z}}\) through generalized Tate squares

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