homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
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?
group cohomology, nonabelian group cohomology, Lie group cohomology
cohomology with constant coefficients / with a local system of coefficients
differential cohomology
Elmendorf’s theorem states that for $G$ a topological group, then the (∞,1)-category of (∞,1)-presheaves on the orbit category $Orb_G$ of $G$, naturally regarded as an (∞,1)-site, is equivalent to the localization of topological spaces with $G$-action (G-spaces) at the weak homotopy equivalences on fixed point spaces (also presented by G-CW complexes, see at equivariant homotopy theory for more).
More in detail, for $G$ a topological group, write $Top^G$ for the category of compactly generated topological spaces which are equipped with a continuous $G$-action. Say that a continuous map $f \colon X \longrightarrow Y$ between $G$-spaces is a weak $G$-homotopy equivalence if for any closed subgroup $H \hookrightarrow G$, the induced function on $H$-fixed point spaces $f^H \colon X^H \longrightarrow Y^H$ is an ordinary weak homotopy equivalence. Write
for the corresponding simplicial localization.
Next, write $Orb_G$ for the full subcategory of $Top^G$ on the $G$-homogeneous spaces of the form $G/H$, but regarded as an (∞,1)-category by regarding each hom-space as its homotopy type. Write moreover $Top^{Orb_G}$ for the category of continuous functors $Orb_G^{op} \longrightarrow Top$. Write finally
Then Elmendorf’s theorem asserts that there is an equivalence of (∞,1)-categories
In particular the theorem hence asserts that the $G$-equivariant homotopy theory is an (∞,1)-topos.
A version of the theorem that applies fairly generally for (discrete) group objects in suitable cofibrantly generated model categories is in (Guillou, Stephan 10, Stephan 13).
For $\mathcal{C}$ a cofibrantly generated model category and for $G$ a discrete group (canonically regarded as a group object of $\mathcal{C}$ via its tensoring over Set) write $G \mathcal{C}$ for the category of $G$-actions in $\mathcal{C}$.
A cellular fixed point functor on $\mathcal{C}$ is …
The fixed point spaces-functors on the following kinds of model categories are cellular
the standard model structure on topological spaces;
the standard model structure on simplicial sets;
the global model structure on simplicial presheaves over any small category;
(…)
For $\mathcal{C}$ a cofibrantly generated model category with cellular fixed point functor, def. , then the category $G \mathcal{C}$ of $G$-actions in $\mathcal{C}$ carries a cofibrantly generated model category structure $G \mathcal{C}_{fine}$ whose weak equivalences and fibrations are those maps which induce weak equivalences or fibrations in $\mathcal{C}$, respectively, on objects of $H$-fixed points, for all subgroups $H$ of $G$.
Write $Orb_G$ for the orbit category of $G$.
Write $(\mathcal{C}^{Orb_G^{op}})_{proj}$ for the projective global model structure on functors from the $G$-orbit category to $\mathcal{C}$.
There is a pair of adjoint functors
where $\Phi X \colon G/H \mapsto X^H$ assigns fixed-point objects and where $\Theta S$ has as underlying object $S(G/1)$.
This constitutes a Quillen equivalence between the above model structures
Elmendorf’s theorem may be generalized to the case where only a sub-family $\mathcal{H}$ of the closed subgroups of $G$ is considered (Stephan 10, also May 96).
There is an evident generalization of the orbit category of a fixed group $G$ to the global orbit category. Under this generalization an analog of Elmendorf’s theorem plays a central role in global equivariant homotopy theory (Rezk 14).
The orbit category for $G$ can also be generalized to the orbit category generated by any small category, $I$, where the $I$-orbits are $I$-diagrams in $Top$ whose strict colimit is equal to a point. If the orbits are either small or complete, then the $I$-equivariant model structure is Quillen-equivalent to a presheaf category (see pt. 11 of p. 8 of PHCTIntro and Chorny13).
Lecture notes include
The “fine” homotopical structure on G-spaces (with fixed-point-wise weak equivalences) is originally due to
The equivalence of the homotopy theory (homotopy category) of that to presheaves over the orbit category is then due to
which considered all closed subgroups of $G$. Also
Robert Piacenza, section 6 of Homotopy theory of diagrams and CW-complexes over a category, Can. J. Math. Vol 43 (4), 1991 (pdf)
also chapter VI of Peter May et al, Equivariant homotopy and cohomology theory, 1996 (pdf)
The generalization of the proof to other choices of families of subgroups is due to
Mathematics. Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 1996
Discussion in terms of Quillen equivalence of model categories is due to
Bert Guillou, A short note on models for equivariant homotopy theory (pdf)
Marc Stephan, Elmendorf’s Theorem via Model Categories, 2010 (pdf) – Elmendorf’s Theorem for Cofibrantly Generated Model Categories MS thesis, Zurich 2010 (pdf)
Marc Stephan, On equivariant homotopy theory for model categories, Homology Homotopy Appl. 18(2) (2016) 183-208 (arXiv:1308.0856)
A generalization to orbispaces is discussed in
Discussion in the broader context of global equivariant homotopy theory is in
Some of the categorical aspects of Elmendorf’s theorem are examined in
A recent n-cat café discussion initiated by John Huerta and probing some of its uses in Mathematical Physics, can be found here.
Generalization to $I$-orbits for a small category $I$ is in
Last revised on May 16, 2019 at 13:59:21. See the history of this page for a list of all contributions to it.