The \(RO(C_{2^n})\)-graded homotopy of \(H\underline{\mathbb{Z}}\) through generalized Tate squares (Q6965838)

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.