العربية
中国
Français
Deutsch
Ελληνική
हिन्दी
Italiano
日本語
Português
Русский
EspañolSTACK (CATEGORY THEORY)
(Redirected from Algebraic stack)
In algebraic geometry, a branch of mathematics, an 'algebraic stack' is a concept introduced to generalize algebraic varieties, schemes, 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 cartesian squares, and
#the ability to "glue" morphisms and objects, similar to the gluing of local affine spaces into schemes.
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''.
★ The 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.
★ ''Stacks for everybody''
★ ''What is... a Stack?''
★ In-progress book of Kai Behrend, Brian Conrad, Dan Edidin, William Fulton, Barbara Fantechi, Lothar Göttsche and Andrew Kresch
★ Web-based algebraic stacks project
In algebraic geometry, a branch of mathematics, an 'algebraic stack' is a concept introduced to generalize algebraic varieties, schemes, 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 cartesian squares, and
#the ability to "glue" morphisms and objects, similar to the gluing of local affine spaces into schemes.
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''.
| Contents |
| Examples |
| External links |
Examples
★ The 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''
★ ''What is... a Stack?''
★ In-progress book of Kai Behrend, Brian Conrad, Dan Edidin, William Fulton, Barbara Fantechi, Lothar Göttsche and Andrew Kresch
★ Web-based algebraic stacks project
This article provided by Wikipedia. To edit the contents of this article, click here for original source.
psst.. try this: add to faves
