The Stacks Project


Tag 03B4

102.4. Related references on foundations of stacks

    The code snippet corresponding to this tag is a part of the file guide.tex and is located in lines 115–166 (see updates for more information).

    \section{Related references on foundations of stacks}
    \label{section-related}
    
    
    \begin{itemize}
    \item Vistoli:
    \emph{Notes on Grothendieck topologies, fibered categories and descent theory}
    \cite{vistoli_fga}
    \begin{quote}
    Contains useful facts on fibered categories, stacks and descent theory in the
    fpqc topology as well as rigorous proofs.
    \end{quote}
    \item Knutson: \emph{Algebraic Spaces} \cite{Kn}
    \begin{quote}
    This book, which evolved from his PhD thesis under Michael Artin,
    contains the foundations of the theory of algebraic spaces. The book
    \cite{LM-B} frequently references this text. See also Artin's papers on
    algebraic spaces: \cite{Artin-Algebraic-Approximation},
    \cite{ArtinI}, \cite{Artin-Implicit-Function},
    \cite{ArtinII}, \cite{Artin-Construction-Techniques},
    \cite{Artin-Algebraic-Spaces}, \cite{Artin-Theorem-Representability}, and
    \cite{ArtinVersal}
    \end{quote}
    \item Grothendieck et al, \emph{Th\'eorie des Topos et Cohomologie \'Etale des
    Sch\'emas I, II, III} also known as SGA4 \cite{SGA4}
    \begin{quote}
    Volume 1 contains many general facts on universes, sites and fibered
    categories. The word ``champ'' (French for ``stack'') appears in
    Deligne's Expos\'e XVIII.
    \end{quote}
    \item Jean Giraud: \emph{Cohomologie non ab\'elienne} \cite{giraud}
    \begin{quote}
    The book discusses fibered categories, stacks, torsors and gerbes over general
    sites but does not discuss algebraic stacks. For instance, if $G$ is a sheaf
    of abelian groups on $X$, then in the same way $H^1(X, G)$ can be identified
    with $G$-torsors, $H^2(X, G)$ can be identified with an appropriately defined
    set of $G$-gerbes. When $G$ is not abelian, then $H^2(X, G)$ is defined as the
    set of $G$-gerbes.
    \end{quote}
    \item Kelly and Street: \emph{Review of the elements of 2-categories}
    \cite{kelly-street}
    \begin{quote}
    The category of stacks form a 2-category although a simple type of 2-category
    where are 2-morphisms are invertible. This is a reference on general
    2-categories. I have never used this so I cannot say how useful it is. Also
    note that \cite{stacks-project} contains some basics on 2-categories.
    \end{quote}
    \end{itemize}

    Comments (0)

    There are no comments yet for this tag.

    Add a comment on tag 03B4

    Your email address will not be published. Required fields are marked.

    In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the lower-right corner).

    All contributions are licensed under the GNU Free Documentation License.




    In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following box. So in case this where tag 0321 you just have to write 0321. Beware of the difference between the letter 'O' and the digit 0.

    This captcha seems more appropriate than the usual illegible gibberish, right?