User:TakuyaMurata/Quotient stack

In algebraic geometry, a quotient stack is a stack that generalizes the quotient of a scheme or a variety by a group. It is defined as follows. Let G be an affine flat group scheme over a scheme S and X a S-scheme on which G acts. Let $[X/G]$ be the category over S: an object over T is a principal G-bundle E →T (in etale topology) together with equivariant map E →X; an arrow from E →T to E' →T' is a bundle map (i.e., forms a cartesian diagram) that is compatible with the equivariant maps E →X and E' →X. It is a theorem of Deligne–Mumford that $[X/G]$ is an algebraic stack. If $X=S$ with trivial action of G, then $[S/G]$ is called the classifying stack of G (in analogy with the classifying space of G) and is usually denoted by BG.

References

• Deligne, Pierre; Mumford, David (1969), "The irreducibility of the space of curves of given genus", Publications Mathématiques de l'IHÉS, 36 (36): 75–109, doi:10.1007/BF02684599, MR 0262240

Some other references are

• http://www.math.missouri.edu/~edidin/Papers/mfile.pdf
• http://www.math.ubc.ca/~behrend/thesis.pdf