Formal Definitions
A stack is a category X over the étale site satisfying the following three properties.
- We can define restrictions of objects over a scheme S to objects in open coverings of S: The category X is fibered in groupoids over the étale site.
- We can patch isomorphisms: Isomorphisms are a sheaf for X.
- We can patch objects: Every descent datum is effective.
Note that the étale site is the name for the usual category of schemes considered together with the étale Grothendieck topology.
Technically an algebraic stack is a stack that can be suitably "covered" by algebraic spaces with respect to an appropriate Grothendieck topology.
Read more about this topic: Algebraic Stack
Famous quotes containing the words formal and/or definitions:
“Then the justice,
In fair round belly with good capon lined,
With eyes severe and beard of formal cut,
Full of wise saws and modern instances;
And so he plays his part.”
—William Shakespeare (1564–1616)
“What I do not like about our definitions of genius is that there is in them nothing of the day of judgment, nothing of resounding through eternity and nothing of the footsteps of the Almighty.”
—G.C. (Georg Christoph)