geometric representation theory
representation, 2-representation, ∞-representation
Grothendieck group, lambda-ring, symmetric function, formal group
principal bundle, torsor, vector bundle, Atiyah Lie algebroid
Eilenberg-Moore category, algebra over an operad, actegory, crossed module
Be?linson-Bernstein localization?
For a topological group, a naive -spectrum is a spectrum object in the category of G-spaces (e.g. Carlsson 92, def. 3.1). The stable homotopy theory of spectra with -action is part of the subject of equivariant stable homotopy theory.
There one typically considers a richer concept of G-spectra. In that context a spectrum with -action is a G-spectrum for the “trivial universe” and is called a naive G-spectrum. Naive G-spectra are obtained by stabilizing G-spaces with respect to the sphere , while (genuine) G-spectra are obtained by inverting all representation spheres.
For a universe of -representations in the sense of genuine G-spectra, there is the inclusion
of the fixed points. A genuine G-spectrum modeled on is a spectrum with G-action (“naive G-spectrum”). The induced adjunction
has unit and counit which are equivalences on the underlying bare spectra.
(e.g. Carlsson 92, p. 14, Greenlees May, p. 16)
Write
for the fixed point (invariants) functor and
for the quotient (coinvariants) functor.
Write , as usual, for a contractible topological G-space whose -action is free. Write for this regarded as a pointed -space with a point freely adjoined.
Then there are two functor
given by forming smash product with and forming the internal hom out of .
Then the homotopy fixed point functor is
and the homotopy quotient functor is
Spectra with -action represent -graded equivariant cohomology on G-spaces.
For a G-space and a spectrum with -action, then the corresponding cohomology is
where on the right we have the homotopy fixed points of the mapping spectrum, which inherits a conjugation action by from the -action on and .
More abstractly, in terms of the tangent cohesive (∞,1)-topos of the slice (∞,1)-topos of orbispaces over , this means that
is the dependent product over of the intrinsic cohomology of the tangent slice topos. See at ∞-action for more on this.
Notice here Elmendorf's theorem which identifies G-spaces with (∞,1)-presheaves over the orbit category . It is via this equivalence that spectra with -action represent equivariant cohomology in the form of Bredon cohomology.
Hence exhibiting a spectrum with -action as a spectrum-valued presheaf on the orbit category means to assign to any coset space of the -homotopy fixed points of :
Gunnar Carlsson, A survey of equivariant stable homotopy theory, Topology, Vol 31, No. 1, pp. 1-27, 1992 (pdf)
John Greenlees, Peter May, Equivariant stable homotopy theory (pdf)
On model category structure on naive -spectra:
Last revised on February 1, 2024 at 13:20:57. See the history of this page for a list of all contributions to it.