(2,1)-quasitopos?
structures in a cohesive (∞,1)-topos
For $\mathcal{T}$ a sheaf topos, $G \in Grp(\mathcal{T})$ a group object and $V \in \mathcal{T}$ any object, and for $\rho \colon V \times G \to V$ an action of $G$ on $V$ , the quotient stack $V// G$ is the quotient of this action but formed not in $\mathcal{T}$ but under the inclusion
into the (2,1)-topos over the given site of definition: it is the quotient after regarding the action as an infinity-action in $\mathbf{H}$.
This is the geometric version of the notion of action groupoid. A wider notion of the quotient stack may be defined using more general internal groupoids. Indeed, the small fibration obtained by the externalization of an internal groupoid in a site with pullbacks will be a fibered category which is a candidate for a quotient stack in this context. For many interesting sites, sometimes under additional conditions on the internal groupoid, the resulting small fibration is indeed a stack.
If the stabilizer subgroups of the action are finite groups, then the quotient stack is an orbifold/Deligne-Mumford stack –the “quotient orbifold”.
Let $G$ be a Lie group action on a manifold $X$ (left action).
We define the quotient stack $[X/G]$ as
Morphisms of objects are $G$-equivariant isomorphisms. This definition is taken from Heinloth’s Some notes on Differentiable stacks.
Given a Lie group action of $G$ on $X$, if we want to associate a stack, we start with simpler cases which allows us to guess how to define $[X/G]$ in general.
Suppose $X$ is trivial and $G$ acts trivially on $X=\{*\}$ then $[X/G]$ should only depend on $G$. We know what stack to associate for a Lie group $G$ i.e., $BG$. Thus, $[X/G]$ should just be $BG$.
Suppose $G$ is trivial and $G$ acts on $X$, $[X/G]$ should only depend on $X$. We know what stack to associate for a manifold $X$ i.e., $\underline{X}$. Thus, $[X/G]$ should just be $\underline{X}$.
Suppose $G$ is non trivial and $X$ is non trivial and that the action of $G$ on $X$ is free (and proper) so that $X/G$ is a manifold. We know what stack to associate for a manifold $X/G$ i.e., $\underline{X/G}$. Thus, $[X/G]$ should just be $\underline{X/G}$.
For general case of $G$ acting on $X$, we get a Lie groupoid, called the Translation groupoid (or action groupoid) usually denoted by $G\ltimes X$.
For action groupoid $\mathcal{G}=G\ltimes X$, let $B\mathcal{G}$ be the corresponding stack of principal $\mathcal{G}$ bundles. It turns out that $B\mathcal{G}$ is same $[X/G]$ defined above. More details to be found in this page.
If action of the Lie group $G$ on the manifold $X$ is free and proper, what we get is a manifold $X/G$. Stack associated to this manifold is $\underline{X/G}$ which we call to be the quotient stack, denote by $[X/G]$.
If the action of the Lie group $G$ on the manifold $X$ is not necessarily free and proper, what we get is a Lie groupoid denoted (among other symbols) by $X//G$. Stack associated to this Lie groupoid $X//G$ is $B(X//G)$ which we call to be the quotient stack, denote by $[X/G]$.
Let $G$ be a Lie group and $X$ be a manifold with a $G$-action.
Supposing that $G$ acts freely and properly on $X$, the quotient stack $[X/G]$ will be the stack $\underline{X/G}$. This action yields a principal $G$-bundle of manifolds $X\rightarrow X/G$, which gives a morphism of stacks $\underline{X}\rightarrow \underline{X/G}$. We refer to this stack morphism $\underline{X}\rightarrow \underline{X/G}$ as a principal $G$-bundle of stacks.
More precisely, a stack morphism $\underline{M}\rightarrow \mathcal{D}$ is said to be representable if given a manifold $N$ and a stack morphism $\underline{N}\rightarrow \mathcal{D}$, the fiber product $\underline{M}\times_{\mathcal{D}}\underline{N}$ is a manifold. A representable morphism of stacks is said to be a principal $G$ bundle of stacks if the map $\underline{M}\times_{\mathcal{D}}\underline{N}\rightarrow N$ is a principal $G$-bundle of manifolds. The stack morphism $\underline{X}\rightarrow \underline{X/G}$ is a principal $G$-bundle of stacks, since the map $X\rightarrow X/G$ is a principal $G$-bundle of manifolds.
The property “$\underline{X}\rightarrow \underline{X/G}$ is a principal $G$-bundle” is the main ingredient in the definition of the quotient stack $[X/G]$. Irrespective of whether or not $G$ acts freely and properly on $X$, we still want to define a quotient stack as a stack $\mathcal{D}$ such that $\underline{X}\rightarrow \mathcal{D}$ is a principal $G$-bundle of stacks in a “minimal” way.
The quotient stack of the action of $G$ on $X$ is a stack $\mathcal{D}$ equipped with a principal $G$-bundle of stacks $\underline{X}\rightarrow \mathcal{D}$ such that any other principal $G$-bundle of stacks $\underline{X}\rightarrow \mathcal{C}$ factors through $\underline{X}\rightarrow \mathcal{D}$.
If $G$ acts freely and properly, then an obvious choice for $\mathcal{D}$ is the stack $\underline{X/G}$. By the universal property, $\mathcal{D}$ must be precisely the stack appearing in the definition of quotient stacks, i.e.
Morphisms of quotient stacks are isomorphisms of principal $G$-bundles that commute with $G$-equivariant morphisms. Fixing notation, we write $[X/G]$ for $\mathcal{D}$ and refer to this as the quotient stack.
For $V = *$ the terminal object, one writes $\mathbf{B}G \coloneqq *// G$. This is the moduli stack for $G$-principal bundles. It is also the trivial $G$-gerbe.
There is a canonical projection $\overline{\rho} \;\colon\; V// G \to \mathbf{B}G$. This is the universal rho-associated bundle.
(…)
Jack Morava, Theories of anything (arXiv:1202.0684)
Last revised on March 21, 2021 at 20:16:23. See the history of this page for a list of all contributions to it.