English

Derived Mackey functors and $C_{p^n}$-equivariant cohomology

Algebraic Topology 2023-04-03 v3 Group Theory

Abstract

We establish a novel approach to computing GG-equivariant cohomology for a finite group GG, and demonstrate it in the case that G=CpnG = C_{p^n}. For any commutative ring spectrum RR, we prove a symmetric monoidal reconstruction theorem for genuine GG-RR-modules, which records them in terms of their geometric fixedpoints as well as gluing maps involving their Tate cohomologies. This reconstruction theorem follows from a symmetric monoidal stratification (in the sense of \cite{AMR-strat}); here we identify the gluing functors of this stratification in terms of Tate cohomology. Passing from genuine GG-spectra to genuine GG-Z\mathbb{Z}-modules (a.k.a. derived Mackey functors) provides a convenient intermediate category for calculating equivariant cohomology. Indeed, as Z\mathbb{Z}-linear Tate cohomology is far simpler than S\mathbb{S}-linear Tate cohomology, the above reconstruction theorem gives a particularly simple algebraic description of genuine GG-Z\mathbb{Z}-modules. We apply this in the case that G=CpnG = C_{p^n} for an odd prime pp, computing the Picard group of genuine GG-Z\mathbb{Z}-modules (and therefore that of genuine GG-spectra) as well as the RO(G)RO(G)-graded and Picard-graded GG-equivariant cohomology of a point.

Keywords

Cite

@article{arxiv.2105.02456,
  title  = {Derived Mackey functors and $C_{p^n}$-equivariant cohomology},
  author = {David Ayala and Aaron Mazel-Gee and Nick Rozenblyum},
  journal= {arXiv preprint arXiv:2105.02456},
  year   = {2023}
}

Comments

improved introduction; minor notational changes and reorganization