Backround
Definition
Presentation over a site
Models
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?
In broad generality, the relation between (non-stable) global equivariant homotopy theory and $G$-equivariant homotopy theory for any fixed admissible equivariance group $G$ may be organized and formalized as follows:
The slice of global equivariant homotopy theory (Def. ) over the archetypical $G$-orbi-singularity $\prec\!\! G$ (Def. ) is cohesive over $G$-equivariant homotopy theory. In particular:
$G$-equivariant homotopy theory faithfully embeds into the $\prec\!\! G$-slice of the global theory in two different ways, one of them interpreted as the inclusion of G-spaces $X$ as global orbispaces $X \!\sslash\! G$,
these inclusions have a compatible pair of reflections, one of which forms the spaces of sections $FixLoc \,\coloneqq\, \Gamma_{{}_{\prec G}}$ over the $G$-singularity $\prec\!\! G$:
This observation is due to Rezk 2014. Below we amplify how this is a formal consequence (as in Rezk 14, Sec. 7.1-7.2) of the evident reflection (Prop. ) of the $G$-orbit category inside the $\prec\!\! G$-slice of the “global orbit category” (see Rem. below), which immediately implies (Prop. ) the cohesive relation, by $\infty$-Kan extension.
equivariance groups)
Throughout we consider discrete equivariance groups, not necessarily finite (though subgroups of interest will be finite, as in proper equivariant homotopy theory). Much of the following also works for equivariance groups which are compact Lie groups, but some definitions become a tad more laborious to state and the relation to smooth cohesion gets messed up.
(canonical orbi-singularities) We write
for the full sub-$\infty$-category of all $\infty$-groupoids on those that are
hence, equivalently:
the full sub-(2,1)-category of Grpd on the delooping groupoids $\mathbf{B}G \,\simeq\, B G$ of finite groups $G$, with functors as 1-morphisms and natural transformations (necessarily natural isomorphisms) as 2-morphisms.
(terminology: singularities vs. “global orbits”)
The $(2,1)$-category in Def. is sometimes called the global orbit category, though other times that name refers to its non-full subcategory on the faithful functors. But neither of these two actually is a “category of orbits” – instead, orbit categories are full subcategories of their slices, by Prop. below. On the other hand, application of global equivariant homotopy theory to orbifolds identifies the category in Def. with the category of archetypical local models for orbi-singularities. Therefore the choice of notation in Def. .
(global- and $G$-equivariant homotopy theory)
For $\mathbf{H}$ an $\infty$ write
for the $\infty$-topos of $\infty$-presheaves on $Snglrt$ (Def. ), to be called the global equivariant homotopy theory over $\mathbf{H}$.
Moreover, for $G \,\in\, Grp(FinSet)$, write
for the $\infty$-topos of $\infty$-presheaves on the $G$-orbit category $G{}Orbt$ (Def. ), to be called the $G$-equivariant homotopy theory over $\mathbf{H}$.
(0-truncated objects reflective in slice over $G$-orbi-singularity)
For $G \,\in\, Grp(FinSet)$, the full sub-$\infty$-category of the slice of $Snglrt$ (Def. ) over $\prec\!\! G$ (1) on the 0-truncated objects
consists precisely of the faithful functors $B H \xrightarrow{\;\; B i_H \;\;} B G$ between delooping groupoids,
hence those which are deloopings of subgroup-inclusions $H \xhookrightarrow{\;\; i_H \;\;} G$;
is reflective, with reflector being the image-factorization of group homomorphisms:
That 0-truncated morphisms between 1-groupoids are equivalently the faithful functors is this Prop.. With this in hand, it is immediate to check the hom-equivalence (here just a natural bijection of hom-sets) which characterizes the adjunction.
($G$-orbits as 0-truncated objects in slice over $G$-orbi-singularity)
For $G \,\in\, Grp(FinSet)$ there is an equivalence of $\infty$-categories (here in fact: an equivalence of categories) between
the 0-truncated objects in the slice of $Snglrt$ (Def. ) over $\prec\!\! G$ (1),
the $G$-orbit category (the full subcategory of G-sets on the transitive actions, hence the coset sets $G/H$):
It is straightforward, to check this directly. But it also follows abstractly by this Prop. about the general relation between slicing over $B G$ and $\infty$-actions of $G$:
The functor which assigns to $B H \xrightarrow{\;\; B i_H\;\;} B G$ its homotopy fiber is a fully faithful functor into the G-sets among all $G$-$\infty$-actions (by the 0-truncation condition). But the homotopy fiber of $B i_H$ is the coset set (by this Example):
The free coproduct completions of the $(2,1)$-categories (4) have finite products and the unique coproduct-preserving extension of $\tau_0$ to these preserves finite products.
The category on the right is equivalently the $G$-orbit category (by Lem. ) whose free coproduct completion is (using here our assumption that $G$ is a discrete group) the category of all $G$-sets (as in this remark).
Similarly, the free coproduct completion of the category on the left is readily seen to be that of all 1-truncated in $\infty Grpd_{/B G}$. Hence the coproduct-preserving extension of $\tau_0$ to these is just the 0-truncation functor in this slice $\infty$-topos and as such preserves finite products (by this Prop., see this Exp.).
In conclusion:
($G$-orbits are reflective in slice over $G$-orbi-singularity)
For $G \,\in\, Grp(FinSet)$ the $G$-orbit category is canonically a full sub-$\infty$-category of the slice of $Snglrt$ (Def. ) over $\prec\!\! G$ (1) whose reflector $\tau_0$ preserves finite products when extended to the free coproduct completions, where all finite products exist:
(slice of $Glo(\mathbf{H})$ over $\prec\!\!G$ is cohesive over $G\mathbf{H}$)
For $\mathbf{H}$ any $\infty$-topos and $G \,\in\, Grp(FinSet)$, the slice of the global equivariant homotopy theory $Glo(\mathbf{H})$ (2) over the $G$-orbi-singularity $\prec\!\!G$ (1) is cohesive over the $G$-equivariant homotopy theory $G\mathbf{H}$ (3) in that there exists an adjoint quadruple of $\infty$-functors of the form where those going to the left are fully faithful and the top one preserves finite homotopy products.
The general fact that $\infty$-slices of $\infty$-presheaves are $\infty$-presheaves on the $\infty$-slice (by this Prop. or this Prop.) means in the present case that the operation of extracting systems of fixed loci is an equivalence of (infinity,1)-categories as follows:
With this, the statement follows – via this Prop. – by $\infty$-Kan extension of the adjoint pair from Prop. .
The observation is due to:
where further properties of this cohesive situation are proven, revolving around further characterization of the full inclusion of $G$-orbispaces.
Some of the above notation (e.g. for “$\prec\!\! G$”) follows:
which expands on application of the above singular cohesion – in the special case $G = 1$ but combined with smooth cohesion – to differential-geometric orbifolds and orbifold cohomology.
Diagrams and discussion as presented above are taken from:
Last revised on October 26, 2021 at 08:50:38. See the history of this page for a list of all contributions to it.