Deligne–Mumford stack
In algebraic geometry, a Deligne–Mumford stack is a stack F such that
- the diagonal morphism [math]\displaystyle{ F \to F \times F }[/math] is representable, quasi-compact and separated.
- There is a scheme U and étale surjective map [math]\displaystyle{ U\to F }[/math] (called an atlas).
Pierre Deligne and David Mumford introduced this notion in 1969 when they proved that moduli spaces of stable curves of fixed arithmetic genus are proper smooth Deligne–Mumford stacks.
If the "étale" is weakened to "smooth", then such a stack is called an algebraic stack (also called an Artin stack, after Michael Artin). An algebraic space is Deligne–Mumford.
A key fact about a Deligne–Mumford stack F is that any X in [math]\displaystyle{ F(B) }[/math], where B is quasi-compact, has only finitely many automorphisms. A Deligne–Mumford stack admits a presentation by a groupoid; see groupoid scheme.
Examples
Affine Stacks
Deligne–Mumford stacks are typically constructed by taking the stack quotient of some variety where the stabilizers are finite groups. For example, consider the action of the cyclic group [math]\displaystyle{ C_n = \langle a \mid a^n =1 \rangle }[/math] on [math]\displaystyle{ \mathbb{C}^2 }[/math] given by [math]\displaystyle{ a\cdot\colon(x,y) \mapsto (\zeta_n x, \zeta_n y). }[/math] Then the stack quotient [math]\displaystyle{ [\mathbb{C}^2/C_n] }[/math] is an affine smooth Deligne–Mumford stack with a non-trivial stabilizer at the origin. If we wish to think about this as a category fibered in groupoids over [math]\displaystyle{ (\text{Sch}/\mathbb{C})_{fppf} }[/math] then given a scheme [math]\displaystyle{ S \to \mathbb{C} }[/math] the over category is given by [math]\displaystyle{ \text{Spec}(\mathbb{C}[s]/(s^n-1))\times \text{Spec}(\mathbb{C}[x,y])(S) \rightrightarrows \text{Spec}(\mathbb{C}[x,y])(S). }[/math] Note that we could be slightly more general if we consider the group action on [math]\displaystyle{ \mathbb{A}^2 \in \text{Sch}/\text{Spec}(\mathbb{Z}[\zeta_n]) }[/math].
Weighted Projective Line
Non-affine examples come up when taking the stack quotient for weighted projective space/varieties. For example, the space [math]\displaystyle{ \mathbb{P}(2,3) }[/math] is constructed by the stack quotient [math]\displaystyle{ [\mathbb{C}^2-\{ 0\}/\mathbb{C}^*] }[/math] where the [math]\displaystyle{ \mathbb{C}^* }[/math]-action is given by [math]\displaystyle{ \lambda \cdot (x,y) = (\lambda^2x,\lambda^3y). }[/math] Notice that since this quotient is not from a finite group we have to look for points with stabilizers and their respective stabilizer groups. Then [math]\displaystyle{ (x,y) = (\lambda^2x,\lambda^3y) }[/math] if and only if [math]\displaystyle{ x=0 }[/math] or [math]\displaystyle{ y=0 }[/math] and [math]\displaystyle{ \lambda = \zeta_2 }[/math] or [math]\displaystyle{ \lambda = \zeta_3 }[/math], respectively, showing that the only stabilizers are finite, hence the stack is Deligne–Mumford.
Stacky curve
Non-Example
One simple non-example of a Deligne–Mumford stack is [math]\displaystyle{ [pt/\mathbb{C}^*] }[/math] since this has an infinite stabilizer. Stacks of this form are examples of Artin stacks.
References
- Deligne, Pierre; Mumford, David (1969), "The irreducibility of the space of curves of given genus", Publications Mathématiques de l'IHÉS 36 (1): 75–109, doi:10.1007/BF02684599, http://www.numdam.org/item?id=PMIHES_1969__36__75_0
 |  |
