Quotient stack

In algebraic geometry, a quotient stack is a stack that parametrizes equivariant objects. Geometrically, it generalizes a quotient of a scheme or a variety by a group: a quotient variety, say, would be a coarse approximation of a quotient stack.

The notion is of fundamental importance in the study of stacks: a stack that arises in nature is often either a quotient stack itself or admits a stratification by quotient stacks (e.g., a Deligne–Mumford stack). A quotient stack is also used to construct other stacks like classifying stacks.

Definition

A quotient stack is defined as follows. Let G be an affine smooth group scheme over a scheme S and X an S-scheme on which G acts. Let the quotient stack $[X / G]$ be the category over the category of S-schemes, where

an object over T is a principal G-bundle $P \to T$ together with equivariant map $P \to X$ ;
a morphism from $P \to T$ to $P^{'} \to T^{'}$ is a bundle map (i.e., forms a commutative diagram) that is compatible with the equivariant maps $P \to X$ and $P^{'} \to X$ .

Suppose the quotient $X / G$ exists as an algebraic space (for example, by the Keel–Mori theorem). The canonical map

[X / G] \to X / G

,

that sends a bundle P over T to a corresponding T-point,^[1] need not be an isomorphism of stacks; that is, the space "X/G" is usually coarser. The canonical map is an isomorphism if and only if the stabilizers are trivial (in which case $X / G$ exists).^{[citation needed]}

In general, $[X / G]$ is an Artin stack (also called algebraic stack). If the stabilizers of the geometric points are finite and reduced, then it is a Deligne–Mumford stack.

Burt Totaro (2004) has shown: let X be a normal Noetherian algebraic stack whose stabilizer groups at closed points are affine. Then X is a quotient stack if and only if it has the resolution property; i.e., every coherent sheaf is a quotient of a vector bundle. Earlier, Robert Wayne Thomason proved that a quotient stack has the resolution property. Remark: It is possible to approach the construction from the point of view of simplicial sheaves.^[2] See also: simplicial diagram.

Examples

An effective quotient orbifold, e.g.,

[M / G]

where the

G

action has only finite stabilizers on the smooth space

M

, is an example of a quotient stack.^[3]

If $X = S$ with trivial action of $G$ (often $S$ is a point), then $[S / G]$ is called the classifying stack of $G$ (in analogy with the classifying space of $G$ ) and is usually denoted by $B G$ . Borel's theorem describes the cohomology ring of the classifying stack.

Moduli of line bundles

One of the basic examples of quotient stacks comes from the moduli stack $B 𝔾_{m}$ of line bundles $[* / 𝔾_{m}]$ over $Sch$ , or $[S / 𝔾_{m}]$ over $Sch / S$ for the trivial $𝔾_{m}$ -action on $S$ . For any scheme (or $S$ -scheme) $X$ , the $X$ -points of the moduli stack are the groupoid of principal $𝔾_{m}$ -bundles $P \to X$ .

Moduli of line bundles with n-sections

There is another closely related moduli stack given by $[𝔸^{n} / 𝔾_{m}]$ which is the moduli stack of line bundles with $n$ -sections. This follows directly from the definition of quotient stacks evaluated on points. For a scheme $X$ , the $X$ -points are the groupoid whose objects are given by the set

$[𝔸^{n} / 𝔾_{m}] (X) = {\begin{matrix} P & \to & 𝔸^{n} \\ ↓ \\ X \end{matrix} : \begin{matrix} P \to 𝔸^{n} is 𝔾_{m} equivariant and \\ P \to X is a principal 𝔾_{m} -bundle \end{matrix}}$

The morphism in the top row corresponds to the $n$ -sections of the associated line bundle over $X$ . This can be found by noting giving a $𝔾_{m}$ -equivariant map $ϕ : P \to 𝔸^{1}$ and restricting it to the fiber $P |_{x}$ gives the same data as a section $σ$ of the bundle. This can be checked by looking at a chart and sending a point $x \in X$ to the map $ϕ_{x}$ , noting the set of $𝔾_{m}$ -equivariant maps $P |_{x} \to 𝔸^{1}$ is isomorphic to $𝔾_{m}$ . This construction then globalizes by gluing affine charts together, giving a global section of the bundle. Since $𝔾_{m}$ -equivariant maps to $𝔸^{n}$ is equivalently an $n$ -tuple of $𝔾_{m}$ -equivariant maps to $𝔸^{1}$ , the result holds.

Moduli of formal group laws

Example:^[4] Let L be the Lazard ring; i.e.,

L = π_{*} MU

. Then the quotient stack

[Spec L / G]

by

G

,

G (R) = {g \in R [[t]] | g (t) = b_{0} t + b_{1} t^{2} + \dots, b_{0} \in R^{\times}}

,

is called the moduli stack of formal group laws, denoted by $ℳ_{FG}$ .

References

↑ The T-point is obtained by completing the diagram $T \leftarrow P \to X \to X / G$ .
↑ Jardine, John F. (2015). Local homotopy theory. Springer Monographs in Mathematics. New York: Springer-Verlag. section 9.2. doi:10.1007/978-1-4939-2300-7. MR 3309296.
↑ "Definition 1.7". Orbifolds and Stringy Topology. Cambridge Tracts in Mathematics. p. 4.
↑ Taken from http://www.math.harvard.edu/~lurie/252xnotes/Lecture11.pdf

Deligne, Pierre; Mumford, David (1969), "The irreducibility of the space of curves of given genus", Publications Mathématiques de l'IHÉS, 36 (36): 75–109, doi:10.1007/BF02684599, MR 0262240
Totaro, Burt (2004). "The resolution property for schemes and stacks". Journal für die reine und angewandte Mathematik. 577: 1–22. arXiv:math/0207210. doi:10.1515/crll.2004.2004.577.1. MR 2108211.

Some other references are

Behrend, Kai (1991). The Lefschetz trace formula for the moduli stack of principal bundles (PDF) (Thesis). University of California, Berkeley.
Edidin, Dan. "Notes on the construction of the moduli space of curves" (PDF). Archived from the original (PDF) on 2013-05-16. Retrieved 2013-09-19.

[1] The T-point is obtained by completing the diagram $T \leftarrow P \to X \to X / G$ .

[2] Jardine, John F. (2015). Local homotopy theory. Springer Monographs in Mathematics. New York: Springer-Verlag. section 9.2. doi:10.1007/978-1-4939-2300-7. MR 3309296.

[3] "Definition 1.7". Orbifolds and Stringy Topology. Cambridge Tracts in Mathematics. p. 4.

[4] Taken from http://www.math.harvard.edu/~lurie/252xnotes/Lecture11.pdf

[1]

[2]

[3]

[4]