In mathematics, an algebraic stack in algebraic geometry is a concept introduced to generalize algebraic varieties, scheme (mathematics), and algebraic spaces. 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 .

There are two main classes of stacks, Deligne-Mumford stacks ( DM stacks ) and Artin stacks. The initial construction requires a category fibered in groupoids (CFG), and adds two conditions

#a requirement for extending diagrams via pullback (category theory)s, and #the ability to glue morphisms and objects, similar to the gluing of local affine spaces into scheme (mathematics).

More generally a stack refers to any category (mathematics) 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=

=External links=