Stack (category theory)
|
|
In mathematics, an algebraic stack in algebraic geometry is a concept introduced to generalize algebraic varieties and schemes. They were originally proposed in a paper of Deligne and Mumford on the compactifications of moduli of curves; such stacks are now called Deligne-Mumford stacks. They were later generalized by Michael Artin to what is now called an Artin stack, or sometimes, confusingly, an algebraic stack.
More generally a stack refers to any category acting more or less like a moduli space with a universal family (analogous to a classifying space) parametrizing a family of related mathematical objects such as schemes or topological spaces, especially when the members of these families have nontrivial automorphisms. This leads to the notion that the points of the stack should carry automorphisms themselves, and this in turn gives rise to the notion of a stack as a certain kind of "category fibered in groupoids".
Moduli spaces which do not carry this extra information are then referred to as coarse moduli spaces and stacks then act as relatively fine moduli spaces.
Examples
- Moduli space of algebraic curves (Deligne-Mumford stack) defined as a universal family of curves of given genus g does not exist as an algebraic variety because in particular there are elliptic curves admitting nontrivial automorphisms. For elliptic curves over the complex numbers the corresponding stack is a geometrical factor of the upper half-plane by the action of the modular group.
External links
- Stacks for everybody (http://www.cgtp.duke.edu/~drm/PCMI2001/fantechi-stacks.pdf)
- What is... a Stack? (http://www.ams.org/notices/200304/what-is.pdf)Template:Math-stub