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 strarification by quotient stacks (e.g., a Deligne–Mumford stack.) A quotient stack is also used to construct other stacks like classifying stacks or toric stacks.
A quotient stack is defined as follows. Let G be an affine smooth group scheme over a scheme S and X a S-scheme on which G acts. Let be the category over the category of S-schemes: an object over T is a principal G-bundle P →T together with equivariant map P →X; an arrow from P →T to P' →T' is a bundle map (i.e., forms a cartesian diagram) that is compatible with the equivariant maps P →X and P' →X.
that sends a bundle P over T to a T-point, 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 usually exists.)
If with trivial action of G (often S is a point), then is called the classifying stack of G (in analogy with the classifying space of G) and is usually denoted by BG. Borel's theorem describes the cohomology ring of the classifying stack.
is called the moduli stack of formal group laws, denoted by .
- homotopy quotient
- moduli stack of principal bundles (which, roughly, is an infinite product of classifying stacks.)
- The T-point is obtained by completing the diagram .
- 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
Some other references are
|This geometry-related article is a stub. You can help Wikipedia by expanding it.|