Derived Mackey functors and $C_{p^n}$-equivariant cohomology
Abstract
We establish a novel approach to computing -equivariant cohomology for a finite group , and demonstrate it in the case that . For any commutative ring spectrum , we prove a symmetric monoidal reconstruction theorem for genuine --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 -spectra to genuine --modules (a.k.a. derived Mackey functors) provides a convenient intermediate category for calculating equivariant cohomology. Indeed, as -linear Tate cohomology is far simpler than -linear Tate cohomology, the above reconstruction theorem gives a particularly simple algebraic description of genuine --modules. We apply this in the case that for an odd prime , computing the Picard group of genuine --modules (and therefore that of genuine -spectra) as well as the -graded and Picard-graded -equivariant cohomology of a point.
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