An algebraic stack denotes either a Deligne-Mumford stack or more general Artin stack in the traditional setup of algebraic spaces: they are (Grothendieck) 1-stacks of groupoids on the étale site satisfying additional representability conditions, namely an algebraic stack is required to have an atlas by an algebraic space or in a stronger version by a scheme ; the morphisms of the cover are required to be
surjective representable and étale (Deligne-Mumford stack);
surjective representable and smooth (Artin stack).
Here we used the following definition. A map of 1-stacks on the étale site is representable if for any scheme the fiber product is a stack associated to a scheme. Let be a property stable under composition and pullback. A representable map of stacks is said to have a property if for any scheme and a morphism of 1-stacks the pullback has property .
Nowdays people talk about differentiable stacks and topological stacks meaning analogues of Deligne-Mumford (DM) or Artin stacks defined in the setup of the category of manifolds or some convenient category of topological spaces. Orbifolds are an example of an Artin stack. For orbifolds stabilizer groups are finite, while for Artin stacks in general they are algebraic groups. An important source of DM-stacks are moduli problems, resulting often in moduli stacks (or their derived versions). DM-stacks are introduced in
A noncommutative generalization for Q-categories instead of Grothendieck topologies, hence applicable in noncommutative geometry of Deligne-Mumford and Artin stacks can be found in
For topological variant see topological stacks and references therein and for differentiable stacks
Revision on May 19, 2009 at 17:55:15 by Zoran Škoda See the history of this page for a list of all contributions to it.