algebraic.tex

\input{preamble}

% OK, start here.
%
\begin{document}

\title{Algebraic Stacks}


\maketitle

\phantomsection
\label{section-phantom}

\tableofcontents

\section{Introduction}
\label{section-introduction}

\noindent
This is where we define algebraic stacks and make some very elementary
observations. The general philosophy will be to have no separation
conditions whatsoever and add those conditions necessary to make lemmas,
propositions, theorems true/provable. Thus the notions discussed here
differ slightly from those in other places in the literature, e.g.,
\cite{LM-B}.

\medskip\noindent
This chapter is not an introduction to algebraic stacks.
For an informal discussion of algebraic stacks, please take a look at
Introducing Algebraic Stacks, Section
\ref{stacks-introduction-section-introduction}.


\section{Conventions}
\label{section-conventions}

\noindent
The conventions we use in this chapter are the same as those in the
chapter on algebraic spaces. For convenience we repeat them here.

\medskip\noindent
We work in a suitable big fppf site $\Sch_{fppf}$
as in Topologies, Definition \ref{topologies-definition-big-fppf-site}.
So, if not explicitly stated otherwise all schemes will be objects
of $\Sch_{fppf}$. We discuss what changes if you change the big
fppf site in
Section \ref{section-change-big-site}.

\medskip\noindent
We will always work relative to a base $S$ contained in $\Sch_{fppf}$.
And we will then work with the big fppf site $(\Sch/S)_{fppf}$, see
Topologies, Definition \ref{topologies-definition-big-small-fppf}.
The absolute case can be recovered by taking
$S = \Spec(\mathbf{Z})$.

\medskip\noindent
If $U, T$ are schemes over $S$, then we denote
$U(T)$ for the set of $T$-valued points {\it over} $S$.
In a formula: $U(T) = \Mor_S(T, U)$.

\medskip\noindent
Note that any fpqc covering is a universal effective
epimorphism, see
Descent, Lemma \ref{descent-lemma-fpqc-universal-effective-epimorphisms}.
Hence the topology on $\Sch_{fppf}$
is weaker than the canonical topology and all representable presheaves
are sheaves.








\section{Notation}
\label{section-notation}

\noindent
We use the letters $S, T, U, V, X, Y$ to indicate schemes.
We use the letters $\mathcal{X}, \mathcal{Y}, \mathcal{Z}$ to indicate
categories (fibred, fibred in groupoids, stacks, ...)
over $(\Sch/S)_{fppf}$. We use small case letters
$f$, $g$ for functors such as $f : \mathcal{X} \to \mathcal{Y}$
over $(\Sch/S)_{fppf}$.
We use capital $F$, $G$, $H$ for algebraic spaces over $S$, and more
generally for presheaves of sets on $(\Sch/S)_{fppf}$.
(In future chapters we will revert to using also $X$, $Y$, etc
for algebraic spaces.)

\medskip\noindent
The reason for these choices is that we want to clearly distinguish between
the different types of objects in this chapter, to build the foundations.









\section{Representable categories fibred in groupoids}
\label{section-representable}

\noindent
Let $S$ be a scheme contained in $\Sch_{fppf}$.
The basic object of study in this chapter will be a
category fibred in groupoids
$p : \mathcal{X} \to (\Sch/S)_{fppf}$, see
Categories, Definition \ref{categories-definition-fibred-groupoids}.
We will often simply say ``let $\mathcal{X}$ be a category fibred
in groupoids over $(\Sch/S)_{fppf}$'' to indicate
this situation. A $1$-morphism $\mathcal{X} \to \mathcal{Y}$ of categories
in groupoids over $(\Sch/S)_{fppf}$ will be a $1$-morphism
in the $2$-category of categories fibred in groupoids over
$(\Sch/S)_{fppf}$, see
Categories,
Definition \ref{categories-definition-categories-fibred-in-groupoids-over-C}.
It is simply a functor $\mathcal{X} \to \mathcal{Y}$ over
$(\Sch/S)_{fppf}$.
We recall this is really a $(2, 1)$-category and that all $2$-fibre products
exist.

\medskip\noindent
Let $\mathcal{X}$ be a category fibred in groupoids over
$(\Sch/S)_{fppf}$. Recall that $\mathcal{X}$
is said to be {\it representable} if there exists a
scheme $U \in \Ob((\Sch/S)_{fppf})$ and an
equivalence
$$
j : \mathcal{X} \longrightarrow (\Sch/U)_{fppf}
$$
of categories over $(\Sch/S)_{fppf}$, see
Categories,
Definition \ref{categories-definition-representable-fibred-category}.
We will sometimes say that $\mathcal{X}$ is
{\it representable by a scheme} to distinguish from the case
where $\mathcal{X}$ is representable by an algebraic space (see
below).

\medskip\noindent
If $\mathcal{X}, \mathcal{Y}$ are fibred in groupoids and
representable by $U, V$, then we have
\begin{equation}
\label{equation-morphisms-schemes}
\Mor_{\textit{Cat}/(\Sch/S)_{fppf}}(\mathcal{X}, \mathcal{Y})
\Big/
2\text{-isomorphism}
=
\Mor_{\Sch/S}(U, V)
\end{equation}
see
Categories,
Lemma \ref{categories-lemma-morphisms-representable-fibred-categories}.
More precisely, any $1$-morphism $\mathcal{X} \to \mathcal{Y}$
gives rise to a morphism $U \to V$. Conversely, given a morphism
of schemes $U \to V$ over $S$ there exists a $1$-morphism
$\phi : \mathcal{X} \to \mathcal{Y}$ which gives rise to $U \to V$
and which is unique up to unique $2$-isomorphism.






\section{The 2-Yoneda lemma}
\label{section-2-yoneda}

\noindent
Let $U \in \Ob((\Sch/S)_{fppf})$, and let $\mathcal{X}$ be a
category fibred in groupoids over $(\Sch/S)_{fppf}$.
We will frequently use the $2$-Yoneda lemma, see
Categories, Lemma \ref{categories-lemma-yoneda-2category}.
Technically it says that there is an equivalence of categories
$$
\Mor_{\textit{Cat}/(\Sch/S)_{fppf}}(
(\Sch/U)_{fppf}, \mathcal{X})
\longrightarrow
\mathcal{X}_U, \quad
f \longmapsto f(U/U).
$$
It says that $1$-morphisms $(\Sch/U)_{fppf} \to \mathcal{X}$
correspond to objects $x$ of the fibre category $\mathcal{X}_U$.
Namely, given a $1$-morphism $f : (\Sch/U)_{fppf} \to \mathcal{X}$
we obtain the object $x = f(U/U) \in \Ob(\mathcal{X}_U)$.
Conversely, given a choice of pullbacks for $\mathcal{X}$ as in
Categories,
Definition \ref{categories-definition-pullback-functor-fibred-category},
and an object $x$ of $\mathcal{X}_U$, we obtain a functor
$(\Sch/U)_{fppf} \to \mathcal{X}$ defined by the rule
$$
(\varphi : V \to U) \longmapsto \varphi^*x
$$
on objects. By abuse of notation we use
$x : (\Sch/U)_{fppf} \to \mathcal{X}$
to indicate this functor. It indeed has the property that $x(U/U) = x$
and moreover, given any other functor $f$ with $f(U/U) = x$ there exists
a unique $2$-isomorphism $x \to f$. In other words the functor $x$
is well determined by the object $x$ up to unique $2$-isomorphism.

\medskip\noindent
We will use this without further mention in the following.





\section{Representable morphisms of categories fibred in groupoids}
\label{section-representable-morphism}


\noindent
Let $\mathcal{X}$, $\mathcal{Y}$ be categories fibred in groupoids
over $(\Sch/S)_{fppf}$. Let $f : \mathcal{X} \to \mathcal{Y}$
be a {\it representable $1$-morphism}, see
Categories, Definition
\ref{categories-definition-representable-map-categories-fibred-in-groupoids}.
This means that for every $U \in \Ob((\Sch/S)_{fppf})$ and
any $y \in \Ob(\mathcal{Y}_U)$ the $2$-fibre product
$(\Sch/U)_{fppf} \times_{y, \mathcal{Y}} \mathcal{X}$
is representable. Choose a representing object $V_y$ and an equivalence
$$
(\Sch/V_y)_{fppf}
\longrightarrow
(\Sch/U)_{fppf} \times_{y, \mathcal{Y}} \mathcal{X}.
$$
The projection
$(\Sch/V_y)_{fppf} \to
(\Sch/U)_{fppf} \times_\mathcal{Y} \mathcal{Y}
\to (\Sch/U)_{fppf}$
comes from a morphism of schemes $f_y : V_y \to U$, see
Section \ref{section-representable}. We represent this by the diagram
\begin{equation}
\label{equation-representable}
\vcenter{
\xymatrix{
V_y \ar@{~>}[r] \ar[d]_{f_y} &
(\Sch/V_y)_{fppf} \ar[d] \ar[r] &
\mathcal{X} \ar[d]^f \\
U \ar@{~>}[r] &
(\Sch/U)_{fppf} \ar[r]^-y &
\mathcal{Y}
}
}
\end{equation}
where the squiggly arrows represent the $2$-Yoneda embedding.
Here are some lemmas about this notion that work in great generality
(namely, they work for categories fibred in groupoids over any
base category which has fibre products).

\begin{lemma}
\label{lemma-morphism-schemes-gives-representable-transformation}
Let $S$, $X$, $Y$ be objects of $\Sch_{fppf}$.
Let $f : X \to Y$ be a morphism of schemes.
Then the $1$-morphism induced by $f$
$$
(\Sch/X)_{fppf} \longrightarrow (\Sch/Y)_{fppf}
$$
is a representable $1$-morphism.
\end{lemma}

\begin{proof}
This is formal and relies only on the fact that
the category $(\Sch/S)_{fppf}$ has fibre products.
\end{proof}

\begin{lemma}
\label{lemma-representable-morphism-equivalent}
Let $S$ be an object of $\Sch_{fppf}$.
Consider a $2$-commutative diagram
$$
\xymatrix{
\mathcal{X}' \ar[r] \ar[d]_{f'} & \mathcal{X} \ar[d]^f \\
\mathcal{Y}' \ar[r] & \mathcal{Y}
}
$$
of $1$-morphisms of categories fibred in groupoids over
$(\Sch/S)_{fppf}$.
Assume the horizontal arrows are equivalences.
Then $f$ is representable if and only if $f'$ is representable.
\end{lemma}

\begin{proof}
Omitted.
\end{proof}

\begin{lemma}
\label{lemma-composition-representable-transformations}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Let $\mathcal{X}, \mathcal{Y}, \mathcal{Z}$
be categories fibred in groupoids over $(\Sch/S)_{fppf}$
Let $f : \mathcal{X} \to \mathcal{Y}$, $g : \mathcal{Y} \to \mathcal{Z}$
be representable $1$-morphisms. Then
$$
g \circ f : \mathcal{X} \longrightarrow \mathcal{Z}
$$
is a representable $1$-morphism.
\end{lemma}

\begin{proof}
This is entirely formal and works in any category.
\end{proof}

\begin{lemma}
\label{lemma-base-change-representable-transformations}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Let $\mathcal{X}, \mathcal{Y}, \mathcal{Z}$
be categories fibred in groupoids over $(\Sch/S)_{fppf}$
Let $f : \mathcal{X} \to \mathcal{Y}$ be a representable $1$-morphism.
Let $g : \mathcal{Z} \to \mathcal{Y}$ be any $1$-morphism.
Consider the fibre product diagram
$$
\xymatrix{
\mathcal{Z} \times_{g, \mathcal{Y}, f} \mathcal{X} \ar[r]_-{g'} \ar[d]_{f'} &
\mathcal{X} \ar[d]^f \\
\mathcal{Z} \ar[r]^g & \mathcal{Y}
}
$$
Then the base change $f'$ is a representable $1$-morphism.
\end{lemma}

\begin{proof}
This is entirely formal and works in any category.
\end{proof}

\begin{lemma}
\label{lemma-product-representable-transformations}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Let $\mathcal{X}_i, \mathcal{Y}_i$ be categories fibred in groupoids over
$(\Sch/S)_{fppf}$, $i = 1, 2$.
Let $f_i : \mathcal{X}_i \to \mathcal{Y}_i$, $i = 1, 2$
be representable $1$-morphisms.
Then
$$
f_1 \times f_2 :
\mathcal{X}_1 \times \mathcal{X}_2
\longrightarrow
\mathcal{Y}_1 \times \mathcal{Y}_2
$$
is a representable $1$-morphism.
\end{lemma}

\begin{proof}
Write $f_1 \times f_2$ as the composition
$\mathcal{X}_1 \times \mathcal{X}_2 \to
\mathcal{Y}_1 \times \mathcal{X}_2 \to
\mathcal{Y}_1 \times \mathcal{Y}_2$.
The first arrow is the base change of $f_1$ by the map
$\mathcal{Y}_1 \times \mathcal{X}_2 \to \mathcal{Y}_1$, and the second arrow
is the base change of $f_2$ by the map
$\mathcal{Y}_1 \times \mathcal{Y}_2 \to \mathcal{Y}_2$.
Hence this lemma is a formal
consequence of Lemmas \ref{lemma-composition-representable-transformations}
and \ref{lemma-base-change-representable-transformations}.
\end{proof}



\section{Split categories fibred in groupoids}
\label{section-split}

\noindent
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Recall that given a ``presheaf of groupoids''
$$
F : (\Sch/S)_{fppf}^{opp} \longrightarrow \textit{Groupoids}
$$
we get a category fibred in groupoids $\mathcal{S}_F$ over
$(\Sch/S)_{fppf}$, see
Categories, Example \ref{categories-example-functor-groupoids}.
Any category fibred in groupoids isomorphic (!) to one of these
is called a {\it split category fibred in groupoids}.
Any category fibred in groupoids is equivalent to a split one.

\medskip\noindent
If $F$ is a presheaf of sets then $\mathcal{S}_F$ is
fibred in sets, see
Categories,
Definition \ref{categories-definition-category-fibred-sets},
and
Categories, Example \ref{categories-example-presheaf}.
The rule $F \mapsto \mathcal{S}_F$ is in some sense fully faithful
on presheaves, see
Categories, Lemma \ref{categories-lemma-2-category-fibred-sets}.
If $F, G$ are presheaves, then
$$
\mathcal{S}_{F \times G}
=
\mathcal{S}_F \times_{(\Sch/S)_{fppf}} \mathcal{S}_G
$$
and if $F \to H$ and $G \to H$ are maps of presheaves of sets, then
$$
\mathcal{S}_{F \times_H G} =
\mathcal{S}_F \times_{\mathcal{S}_H} \mathcal{S}_G
$$
where the right hand sides are $2$-fibre products. This is immediate
from the definitions as the fibre categories of
$\mathcal{S}_F, \mathcal{S}_G, \mathcal{S}_H$ have only identity morphisms.

\medskip\noindent
An even more special case is where $F = h_X$ is a representable
presheaf. In this case we have
$\mathcal{S}_{h_X} = (\Sch/X)_{fppf}$, see
Categories,
Example \ref{categories-example-fibred-category-from-functor-of-points}.

\medskip\noindent
We will use the notation $\mathcal{S}_F$ without further mention in the
following.




\section{Categories fibred in groupoids representable by algebraic spaces}
\label{section-representable-by-algebraic-spaces}

\noindent
A slightly weaker notion than being representable is the notion of
being representable by algebraic spaces which we discuss in this section.
This discussion might have been avoided had we worked with some category
$\textit{Spaces}_{fppf}$ of algebraic spaces instead of the category
$\Sch_{fppf}$. However, it seems to us natural to consider the
category of schemes as the natural collection of ``test objects'' over
which the fibre categories of an algebraic stack are defined.

\medskip\noindent
In analogy with Categories, Definitions
\ref{categories-definition-representable-fibred-category}
we make the following definition.

\begin{definition}
\label{definition-representable-by-algebraic-space}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
A category fibred in groupoids $p : \mathcal{X} \to (\Sch/S)_{fppf}$
is called {\it representable by an algebraic space over $S$}
if there exists an algebraic space $F$ over $S$ and an equivalence
$j : \mathcal{X} \to \mathcal{S}_F$
of categories over $(\Sch/S)_{fppf}$.
\end{definition}

\noindent
We continue our abuse of notation in suppressing the equivalence $j$
whenever we encounter such a situation.
It follows formally from the above that if $\mathcal{X}$ is
representable (by a scheme), then it is representable by an
algebraic space. Here is the analogue of
Categories,
Lemma \ref{categories-lemma-characterize-representable-fibred-category}.

\begin{lemma}
\label{lemma-characterize-representable-by-space}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Let $p : \mathcal{X} \to (\Sch/S)_{fppf}$
be a category fibred in groupoids.
Then $\mathcal{X}$ is representable by an algebraic space over $S$
if and only if the following conditions are satisfied:
\begin{enumerate}
\item $\mathcal{X}$ is fibred in setoids\footnote{This means that
it is fibred in groupoids and objects in the fibre categories
have no nontrivial automorphisms, see Categories,
Definition \ref{categories-definition-category-fibred-sets}.}, and
\item the presheaf $U \mapsto \Ob(\mathcal{X}_U)/\!\!\cong$ is
an algebraic space.
\end{enumerate}
\end{lemma}

\begin{proof}
Omitted, but see Categories,
Lemma \ref{categories-lemma-characterize-representable-fibred-category}.
\end{proof}

\noindent
If $\mathcal{X}, \mathcal{Y}$ are fibred in groupoids and
representable by algebraic spaces $F, G$ over $S$, then we have
\begin{equation}
\label{equation-morphisms-spaces}
\Mor_{\textit{Cat}/(\Sch/S)_{fppf}}(\mathcal{X}, \mathcal{Y})
\Big/
2\text{-isomorphism}
=
\Mor_{\Sch/S}(F, G)
\end{equation}
see
Categories, Lemma \ref{categories-lemma-2-category-fibred-setoids}.
More precisely, any $1$-morphism $\mathcal{X} \to \mathcal{Y}$
gives rise to a morphism $F \to G$. Conversely, give a morphism
of sheaves $F \to G$ over $S$ there exists a $1$-morphism
$\phi : \mathcal{X} \to \mathcal{Y}$ which gives rise to $F \to G$
and which is unique up to unique $2$-isomorphism.



\section{Morphisms representable by algebraic spaces}
\label{section-morphisms-representable-by-algebraic-spaces}

\noindent
In analogy with Categories, Definition
\ref{categories-definition-representable-map-categories-fibred-in-groupoids}
we make the following definition.

\begin{definition}
\label{definition-representable-by-algebraic-spaces}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
A $1$-morphism $f : \mathcal{X} \to \mathcal{Y}$ of
categories fibred in groupoids over $(\Sch/S)_{fppf}$
is called {\it representable by algebraic spaces} if
for any $U \in \Ob((\Sch/S)_{fppf})$
and any $y : (\Sch/U)_{fppf} \to \mathcal{Y}$
the category fibred in groupoids
$$
(\Sch/U)_{fppf} \times_{y, \mathcal{Y}} \mathcal{X}
$$
over $(\Sch/U)_{fppf}$
is representable by an algebraic space over $U$.
\end{definition}

\noindent
Choose an algebraic space $F_y$ over $U$ which represents
$(\Sch/U)_{fppf} \times_{y, \mathcal{Y}} \mathcal{X}$.
We may think of $F_y$ as an algebraic space over $S$
which comes equipped with a canonical morphism $f_y : F_y \to U$
over $S$, see
Spaces, Section \ref{spaces-section-change-base-scheme}.
Here is the diagram
\begin{equation}
\label{equation-representable-by-algebraic-spaces}
\vcenter{
\xymatrix{
F_y \ar[d]_{f_y} &
(\Sch/U)_{fppf} \times_{y, \mathcal{Y}} \mathcal{X}
\ar@{~>}[l] \ar[d]_{\text{pr}_0} \ar[r]_-{\text{pr}_1} &
\mathcal{X} \ar[d]^f \\
U &
(\Sch/U)_{fppf} \ar@{~>}[l] \ar[r]^-y &
\mathcal{Y}
}
}
\end{equation}
where the squiggly arrows represent the construction which associates
to a stack fibred in setoids its associated sheaf of isomorphism classes
of objects. The right square is
$2$-commutative, and is a $2$-fibre product square.

\medskip\noindent
Here is the analogue of Categories,
Lemma \ref{categories-lemma-criterion-representable-map-stack-in-groupoids}.

\begin{lemma}
\label{lemma-criterion-map-representable-spaces-fibred-in-groupoids}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Let $f : \mathcal{X} \to \mathcal{Y}$ be a $1$-morphism
of categories fibred in groupoids over $(\Sch/S)_{fppf}$.
The following are necessary and sufficient conditions for
$f$ to be representable by algebraic spaces:
\begin{enumerate}
\item for each scheme $U/S$ the
functor $f_U : \mathcal{X}_U \longrightarrow \mathcal{Y}_U$
between fibre categories is faithful, and
\item for each $U$ and each $y \in \Ob(\mathcal{Y}_U)$ the presheaf
$$
(h : V \to U)
\longmapsto
\{(x, \phi) \mid x \in \Ob(\mathcal{X}_V), \phi : h^*y \to f(x)\}/\cong
$$
is an algebraic space over $U$.
\end{enumerate}
Here we have made a choice of pullbacks for $\mathcal{Y}$.
\end{lemma}

\begin{proof}
This follows from the description of fibre categories of the $2$-fibre products
$(\Sch/U)_{fppf} \times_{y, \mathcal{Y}} \mathcal{X}$ in
Categories, Lemma \ref{categories-lemma-identify-fibre-product}
combined with
Lemma \ref{lemma-characterize-representable-by-space}.
\end{proof}

\noindent
Here are some lemmas about this notion that work in great generality.

\begin{lemma}
\label{lemma-representable-by-spaces-morphism-equivalent}
Let $S$ be an object of $\Sch_{fppf}$.
Consider a $2$-commutative diagram
$$
\xymatrix{
\mathcal{X}' \ar[r] \ar[d]_{f'} & \mathcal{X} \ar[d]^f \\
\mathcal{Y}' \ar[r] & \mathcal{Y}
}
$$
of $1$-morphisms of categories fibred in groupoids over
$(\Sch/S)_{fppf}$.
Assume the horizontal arrows are equivalences.
Then $f$ is representable by algebraic spaces
if and only if $f'$ is representable by algebraic spaces.
\end{lemma}

\begin{proof}
Omitted.
\end{proof}

\begin{lemma}
\label{lemma-morphism-spaces-gives-representable-by-spaces}
Let $S$ be an object of $\Sch_{fppf}$.
Let $f : \mathcal{X} \to \mathcal{Y}$
be a $1$-morphism of categories fibred in groupoids over $S$.
If $\mathcal{X}$ and $\mathcal{Y}$ are representable by
algebraic spaces over $S$, then the $1$-morphism $f$
is representable by algebraic spaces.
\end{lemma}

\begin{proof}
Omitted. This relies only on the fact that
the category of algebraic spaces over $S$ has fibre products,
see Spaces, Lemma \ref{spaces-lemma-fibre-product-spaces}.
\end{proof}

\begin{lemma}
\label{lemma-map-presheaves-representable-by-algebraic-spaces}
Let $S$ be an object of $\Sch_{fppf}$.
Let $a : F \to G$ be a map of presheaves of sets on $(\Sch/S)_{fppf}$.
Denote $a' : \mathcal{S}_F  \to \mathcal{S}_G$ the associated
map of categories fibred in sets.
Then $a$ is representable by algebraic spaces (see
Bootstrap,
Definition \ref{bootstrap-definition-morphism-representable-by-spaces})
if and only if $a'$ is representable by algebraic spaces.
\end{lemma}

\begin{proof}
Omitted.
\end{proof}

\begin{lemma}
\label{lemma-map-fibred-setoids-representable-algebraic-spaces}
Let $S$ be an object of $\Sch_{fppf}$.
Let $f : \mathcal{X} \to \mathcal{Y}$ be a $1$-morphism of
categories fibred in setoids over $(\Sch/S)_{fppf}$.
Let $F$, resp.\ $G$ be the presheaf which to $T$ associates
the set of isomorphism classes of objects of
$\mathcal{X}_T$, resp.\ $\mathcal{Y}_T$.
Let $a : F \to G$ be the map of presheaves corresponding to $f$.
Then $a$ is representable by algebraic spaces (see
Bootstrap,
Definition \ref{bootstrap-definition-morphism-representable-by-spaces})
if and only if $f$ is representable by algebraic spaces.
\end{lemma}

\begin{proof}
Omitted. Hint: Combine
Lemmas \ref{lemma-representable-by-spaces-morphism-equivalent}
and \ref{lemma-map-presheaves-representable-by-algebraic-spaces}.
\end{proof}

\begin{lemma}
\label{lemma-base-change-representable-by-spaces}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Let $\mathcal{X}, \mathcal{Y}, \mathcal{Z}$
be categories fibred in groupoids over $(\Sch/S)_{fppf}$.
Let $f : \mathcal{X} \to \mathcal{Y}$ be a $1$-morphism
representable by algebraic spaces.
Let $g : \mathcal{Z} \to \mathcal{Y}$ be any $1$-morphism.
Consider the fibre product diagram
$$
\xymatrix{
\mathcal{Z} \times_{g, \mathcal{Y}, f} \mathcal{X} \ar[r]_-{g'} \ar[d]_{f'} &
\mathcal{X} \ar[d]^f \\
\mathcal{Z} \ar[r]^g & \mathcal{Y}
}
$$
Then the base change $f'$ is a $1$-morphism representable by
algebraic spaces.
\end{lemma}

\begin{proof}
This is formal.
\end{proof}

\begin{lemma}
\label{lemma-base-change-by-space-representable-by-space}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Let $\mathcal{X}, \mathcal{Y}, \mathcal{Z}$
be categories fibred in groupoids over $(\Sch/S)_{fppf}$
Let $f : \mathcal{X} \to \mathcal{Y}$,
$g : \mathcal{Z} \to \mathcal{Y}$ be $1$-morphisms.
Assume
\begin{enumerate}
\item $f$ is representable by algebraic spaces, and
\item $\mathcal{Z}$ is representable by an algebraic space over $S$.
\end{enumerate}
Then the $2$-fibre product
$\mathcal{Z} \times_{g, \mathcal{Y}, f} \mathcal{X}$
is representable by an algebraic space.
\end{lemma}

\begin{proof}
This is a reformulation of
Bootstrap, Lemma \ref{bootstrap-lemma-representable-by-spaces-over-space}.
First note that
$\mathcal{Z} \times_{g, \mathcal{Y}, f} \mathcal{X}$
is fibred in setoids over $(\Sch/S)_{fppf}$.
Hence it is equivalent to $\mathcal{S}_F$ for some presheaf
$F$ on $(\Sch/S)_{fppf}$, see
Categories, Lemma \ref{categories-lemma-setoid-fibres}.
Moreover, let $G$ be an algebraic space which represents
$\mathcal{Z}$. The $1$-morphism
$\mathcal{Z} \times_{g, \mathcal{Y}, f} \mathcal{X} \to \mathcal{Z}$
is representable by algebraic spaces by
Lemma \ref{lemma-base-change-representable-by-spaces}.
And $\mathcal{Z} \times_{g, \mathcal{Y}, f} \mathcal{X} \to \mathcal{Z}$
corresponds to a morphism $F \to G$ by
Categories, Lemma \ref{categories-lemma-2-category-fibred-setoids}.
Then $F \to G$ is representable by algebraic spaces by
Lemma \ref{lemma-map-fibred-setoids-representable-algebraic-spaces}.
Hence
Bootstrap, Lemma \ref{bootstrap-lemma-representable-by-spaces-over-space}
implies that $F$ is an algebraic space as desired.
\end{proof}

\noindent
Let $S$, $\mathcal{X}$, $\mathcal{Y}$, $\mathcal{Z}$, $f$, $g$ be as in
Lemma \ref{lemma-base-change-by-space-representable-by-space}.
Let $F$ and $G$ be algebraic spaces over $S$ such that
$F$ represents $\mathcal{Z} \times_{g, \mathcal{Y}, f} \mathcal{X}$
and $G$ represents $\mathcal{Z}$. The $1$-morphism
$f' : \mathcal{Z} \times_{g, \mathcal{Y}, f} \mathcal{X} \to \mathcal{Z}$
corresponds to a morphism $f' : F \to G$ of algebraic spaces
by (\ref{equation-morphisms-spaces}).
Thus we have the following diagram
\begin{equation}
\label{equation-representable-by-algebraic-spaces-on-space}
\vcenter{
\xymatrix{
F \ar[d]_{f'} &
\mathcal{Z} \times_{g, \mathcal{Y}, f} \mathcal{X}
\ar@{~>}[l] \ar[d] \ar[r] &
\mathcal{X} \ar[d]^f \\
G &
\mathcal{Z} \ar@{~>}[l] \ar[r]^-g &
\mathcal{Y}
}
}
\end{equation}
where the squiggly arrows represent the construction which associates
to a stack fibred in setoids its associated sheaf of isomorphism classes
of objects. The middle square is
$2$-commutative with equivalences as horizontal arrows.

\begin{lemma}
\label{lemma-composition-representable-by-spaces}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Let $\mathcal{X}, \mathcal{Y}, \mathcal{Z}$
be categories fibred in groupoids over $(\Sch/S)_{fppf}$.
If $f : \mathcal{X} \to \mathcal{Y}$, $g : \mathcal{Y} \to \mathcal{Z}$
are $1$-morphisms representable by algebraic spaces, then
$$
g \circ f : \mathcal{X} \longrightarrow \mathcal{Z}
$$
is a $1$-morphism representable by algebraic spaces.
\end{lemma}

\begin{proof}
This follows from
Lemma \ref{lemma-base-change-by-space-representable-by-space}.
Details omitted.
\end{proof}

\begin{lemma}
\label{lemma-product-representable-by-spaces}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Let $\mathcal{X}_i, \mathcal{Y}_i$ be categories fibred in groupoids over
$(\Sch/S)_{fppf}$, $i = 1, 2$.
Let $f_i : \mathcal{X}_i \to \mathcal{Y}_i$, $i = 1, 2$
be $1$-morphisms representable by algebraic spaces.
Then
$$
f_1 \times f_2 :
\mathcal{X}_1 \times \mathcal{X}_2
\longrightarrow
\mathcal{Y}_1 \times \mathcal{Y}_2
$$
is a $1$-morphism representable by algebraic spaces.
\end{lemma}

\begin{proof}
Write $f_1 \times f_2$ as the composition
$\mathcal{X}_1 \times \mathcal{X}_2 \to
\mathcal{Y}_1 \times \mathcal{X}_2 \to
\mathcal{Y}_1 \times \mathcal{Y}_2$.
The first arrow is the base change of $f_1$ by the map
$\mathcal{Y}_1 \times \mathcal{X}_2 \to \mathcal{Y}_1$, and the second arrow
is the base change of $f_2$ by the map
$\mathcal{Y}_1 \times \mathcal{Y}_2 \to \mathcal{Y}_2$.
Hence this lemma is a formal
consequence of Lemmas \ref{lemma-composition-representable-by-spaces}
and \ref{lemma-base-change-representable-by-spaces}.
\end{proof}

\begin{lemma}
\label{lemma-get-a-stack}
\begin{reference}
Lemma in an email of Matthew Emerton dated June 15, 2016
\end{reference}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Let $\mathcal{X} \to \mathcal{Z}$ and $\mathcal{Y} \to \mathcal{Z}$
be $1$-morphisms of categories fibred in groupoids over $(\Sch/S)_{fppf}$.
If $\mathcal{X} \to \mathcal{Z}$ is representable by algebraic spaces
and $\mathcal{Y}$ is a stack in groupoids, then
$\mathcal{X} \times_\mathcal{Z} \mathcal{Y}$ is a stack in groupoids.
\end{lemma}

\begin{proof}
The property of a morphism being representable by algebraic spaces
is preserved under base-change
(Lemma \ref{lemma-base-change-by-space-representable-by-space}),
and so, passing to the base-change
$\mathcal{X} \times_\mathcal{Z} \mathcal{Y}$ over $\mathcal{Y}$,
we may reduce to the case of a morphism of categories
fibred in groupoids $\mathcal{X} \to \mathcal{Y}$
which is representable by algebraic spaces, and
whose target is a stack in groupoids; our goal is then to prove
that $\mathcal{X}$ is also a stack in groupoids.
This follows from Stacks, Lemma
\ref{stacks-lemma-relative-sheaf-over-stack-is-stack}
whose assumptions are satisfied as a result of
Lemma \ref{lemma-criterion-map-representable-spaces-fibred-in-groupoids}.
\end{proof}







\section{Properties of morphisms representable by algebraic spaces}
\label{section-representable-properties}

\noindent
Here is the definition that makes this work.

\begin{definition}
\label{definition-relative-representable-property}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Let $f : \mathcal{X} \to \mathcal{Y}$ be a $1$-morphism
of categories fibred in groupoids over $(\Sch/S)_{fppf}$.
Assume $f$ is representable by algebraic spaces.
Let $\mathcal{P}$ be a property of morphisms of algebraic spaces which
\begin{enumerate}
\item is preserved under any base change, and
\item is fppf local on the base, see
Descent on Spaces,
Definition \ref{spaces-descent-definition-property-morphisms-local}.
\end{enumerate}
In this case we say that $f$ has {\it property $\mathcal{P}$} if for every
$U \in \Ob((\Sch/S)_{fppf})$ and
any $y \in \mathcal{Y}_U$ the resulting morphism of algebraic spaces
$f_y : F_y \to U$, see
diagram (\ref{equation-representable-by-algebraic-spaces}),
has property $\mathcal{P}$.
\end{definition}

\noindent
It is important to note that we will only use this definition for
properties of morphisms that are stable under base change, and
local in the fppf topology on the target. This is
not because the definition doesn't make sense otherwise; rather it
is because we may want to give a different definition which is
better suited to the property we have in mind.

\begin{lemma}
\label{lemma-property-morphism-equivalent}
Let $S$ be an object of $\Sch_{fppf}$.
Let $\mathcal{P}$ be as in
Definition \ref{definition-relative-representable-property}.
Consider a $2$-commutative diagram
$$
\xymatrix{
\mathcal{X}' \ar[r] \ar[d]_{f'} & \mathcal{X} \ar[d]^f \\
\mathcal{Y}' \ar[r] & \mathcal{Y}
}
$$
of $1$-morphisms of categories fibred in groupoids over
$(\Sch/S)_{fppf}$.
Assume the horizontal arrows are equivalences and $f$ (or equivalently $f'$)
is representably by algebraic spaces.
Then $f$ has $\mathcal{P}$ if and only if $f'$ has $\mathcal{P}$.
\end{lemma}

\begin{proof}
Note that this makes sense by
Lemma \ref{lemma-representable-by-spaces-morphism-equivalent}.
Proof omitted.
\end{proof}

\noindent
Here is a sanity check.

\begin{lemma}
\label{lemma-map-presheaves-representable-by-spaces-transformation-property}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Let $a : F \to G$ be a map of presheaves on $(\Sch/S)_{fppf}$.
Let $\mathcal{P}$ be as in
Definition \ref{definition-relative-representable-property}.
Assume $a$ is representable by algebraic spaces.
Then $a : F \to G$ has property $\mathcal{P}$ (see
Bootstrap, Definition \ref{bootstrap-definition-property-transformation})
if and only if the corresponding morphism
$\mathcal{S}_F \to \mathcal{S}_G$ of categories fibred in groupoids
has property $\mathcal{P}$.
\end{lemma}

\begin{proof}
Note that the lemma makes sense by
Lemma \ref{lemma-map-presheaves-representable-by-algebraic-spaces}.
Proof omitted.
\end{proof}

\begin{lemma}
\label{lemma-map-fibred-setoids-property}
Let $S$ be an object of $\Sch_{fppf}$. Let $\mathcal{P}$ be as in
Definition \ref{definition-relative-representable-property}.
Let $f : \mathcal{X} \to \mathcal{Y}$ be a $1$-morphism of
categories fibred in setoids over $(\Sch/S)_{fppf}$.
Let $F$, resp.\ $G$ be the presheaf which to $T$ associates
the set of isomorphism classes of objects of
$\mathcal{X}_T$, resp.\ $\mathcal{Y}_T$.
Let $a : F \to G$ be the map of presheaves corresponding to $f$.
Then $a$ has $\mathcal{P}$ if and only if $f$ has $\mathcal{P}$.
\end{lemma}

\begin{proof}
The lemma makes sense by
Lemma \ref{lemma-map-fibred-setoids-representable-algebraic-spaces}.
The lemma follows on combining
Lemmas \ref{lemma-property-morphism-equivalent}
and \ref{lemma-map-presheaves-representable-by-spaces-transformation-property}.
\end{proof}

\begin{lemma}
\label{lemma-composition-representable-transformations-property}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Let $\mathcal{X}$, $\mathcal{Y}$, $\mathcal{Z}$ be categories fibred
in groupoids over $(\Sch/S)_{fppf}$.
Let $\mathcal{P}$ be a property as in
Definition \ref{definition-relative-representable-property}
which is stable under composition.
Let $f : \mathcal{X} \to \mathcal{Y}$,
$g : \mathcal{Y} \to \mathcal{Z}$ be $1$-morphisms which
are representable by algebraic spaces.
If $f$ and $g$ have property $\mathcal{P}$ so does
$g \circ f : \mathcal{X} \to \mathcal{Z}$.
\end{lemma}

\begin{proof}
Note that the lemma makes sense by
Lemma \ref{lemma-composition-representable-by-spaces}.
Proof omitted.
\end{proof}

\begin{lemma}
\label{lemma-base-change-representable-transformations-property}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Let $\mathcal{X}, \mathcal{Y}, \mathcal{Z}$
be categories fibred in groupoids over $(\Sch/S)_{fppf}$.
Let $\mathcal{P}$ be a property as in
Definition \ref{definition-relative-representable-property}.
Let $f : \mathcal{X} \to \mathcal{Y}$ be a $1$-morphism
representable by algebraic spaces.
Let $g : \mathcal{Z} \to \mathcal{Y}$ be any $1$-morphism.
Consider the $2$-fibre product diagram
$$
\xymatrix{
\mathcal{Z} \times_{g, \mathcal{Y}, f} \mathcal{X} \ar[r]_-{g'} \ar[d]_{f'} &
\mathcal{X} \ar[d]^f \\
\mathcal{Z} \ar[r]^g & \mathcal{Y}
}
$$
If $f$ has $\mathcal{P}$, then the base change $f'$
has $\mathcal{P}$.
\end{lemma}

\begin{proof}
The lemma makes sense by
Lemma \ref{lemma-base-change-representable-by-spaces}.
Proof omitted.
\end{proof}

\begin{lemma}
\label{lemma-descent-representable-transformations-property}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Let $\mathcal{X}, \mathcal{Y}, \mathcal{Z}$
be categories fibred in groupoids over $(\Sch/S)_{fppf}$.
Let $\mathcal{P}$ be a property as in
Definition \ref{definition-relative-representable-property}.
Let $f : \mathcal{X} \to \mathcal{Y}$ be a $1$-morphism
representable by algebraic spaces.
Let $g : \mathcal{Z} \to \mathcal{Y}$ be any $1$-morphism.
Consider the fibre product diagram
$$
\xymatrix{
\mathcal{Z} \times_{g, \mathcal{Y}, f} \mathcal{X} \ar[r]_-{g'} \ar[d]_{f'} &
\mathcal{X} \ar[d]^f \\
\mathcal{Z} \ar[r]^g & \mathcal{Y}
}
$$
Assume that for every scheme $U$ and object $x$ of $\mathcal{Y}_U$,
there exists an fppf covering $\{U_i \to U\}$ such that $x|_{U_i}$
is in the essential image of the functor
$g : \mathcal{Z}_{U_i} \to \mathcal{Y}_{U_i}$.
In this case, if $f'$ has $\mathcal{P}$, then $f$ has $\mathcal{P}$.
\end{lemma}

\begin{proof}
Proof omitted. Hint: Compare with the proof of
Spaces,
Lemma \ref{spaces-lemma-descent-representable-transformations-property}.
\end{proof}

\begin{lemma}
\label{lemma-product-representable-transformations-property}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Let $\mathcal{P}$ be a property as in
Definition \ref{definition-relative-representable-property}
which is stable under composition.
Let $\mathcal{X}_i, \mathcal{Y}_i$ be categories fibred in groupoids over
$(\Sch/S)_{fppf}$, $i = 1, 2$.
Let $f_i : \mathcal{X}_i \to \mathcal{Y}_i$, $i = 1, 2$
be $1$-morphisms representable by algebraic spaces.
If $f_1$ and $f_2$ have property $\mathcal{P}$ so does
$
f_1 \times f_2 :
\mathcal{X}_1 \times \mathcal{X}_2
\to
\mathcal{Y}_1 \times \mathcal{Y}_2
$.
\end{lemma}

\begin{proof}
The lemma makes sense by
Lemma \ref{lemma-product-representable-by-spaces}.
Proof omitted.
\end{proof}

\begin{lemma}
\label{lemma-representable-transformations-property-implication}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Let $\mathcal{X}$, $\mathcal{Y}$ be categories fibred in groupoids
over $(\Sch/S)_{fppf}$.
Let $f : \mathcal{X} \to \mathcal{Y}$ be a $1$-morphism representable
by algebraic spaces.
Let $\mathcal{P}$, $\mathcal{P}'$ be properties as in
Definition \ref{definition-relative-representable-property}.
Suppose that for any morphism of algebraic spaces $a : F \to G$
we have $\mathcal{P}(a) \Rightarrow \mathcal{P}'(a)$.
If $f$ has property $\mathcal{P}$ then
$f$ has property $\mathcal{P}'$.
\end{lemma}

\begin{proof}
Formal.
\end{proof}

\begin{lemma}
\label{lemma-open-fibred-category-is-full}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Let $j : \mathcal X \to \mathcal Y$ be a $1$-morphism of
categories fibred in groupoids over $(\Sch/S)_{fppf}$.
Assume $j$ is representable by algebraic spaces and a monomorphism
(see
Definition \ref{definition-relative-representable-property}
and
Descent on Spaces, Lemma
\ref{spaces-descent-lemma-descending-property-monomorphism}).
Then $j$ is fully faithful on fibre categories.
\end{lemma}

\begin{proof}
We have seen in
Lemma \ref{lemma-criterion-map-representable-spaces-fibred-in-groupoids}
that $j$ is faithful on fibre categories. Consider a scheme $U$,
two objects $u, v$ of $\mathcal{X}_U$, and an isomorphism
$t : j(u) \to j(v)$ in $\mathcal{Y}_U$. We have to construct an
isomorphism in $\mathcal{X}_U$ between $u$ and $v$.
By the $2$-Yoneda lemma (see Section \ref{section-2-yoneda})
we think of $u$, $v$ as $1$-morphisms
$u, v : (\Sch/U)_{fppf} \to \mathcal{X}$
and we consider the $2$-fibre product
$$
(\Sch/U)_{fppf} \times_{j \circ v, \mathcal{Y}} \mathcal{X}.
$$
By assumption this is representable by an algebraic space
$F_{j \circ v}$, over $U$ and the morphism
$F_{j \circ v} \to U$ is a monomorphism.
But since $(1_U, v, 1_{j(v)})$ gives a $1$-morphism of
$(\Sch/U)_{fppf}$ into the displayed $2$-fibre product,
we see that $F_{j \circ v} = U$ (here we use
that if $V \to U$ is a monomorphism of algebraic spaces which has a
section, then $V = U$). Therefore the $1$-morphism projecting to
the first coordinate
$$
(\Sch/U)_{fppf} \times_{j \circ v, \mathcal{Y}} \mathcal{X}
\to (\Sch/U)_{fppf}
$$
is an equivalence of fibre categories.
Since $(1_U, u, t)$ and $(1_U, v, 1_{j(v)})$ give two
objects in $((\Sch/U)_{fppf} \times_{j \circ v, \mathcal{Y}}
\mathcal{X})_U$ which have the same first coordinate, there must
be a $2$-morphism between them in the $2$-fibre product.
This is by definition a morphism $\tilde t : u \to v$ such that
$j(\tilde t) = t$.
\end{proof}

\noindent
Here is a characterization of those categories fibred in groupoids
for which the diagonal is representable by algebraic spaces.

\begin{lemma}
\label{lemma-representable-diagonal}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Let $\mathcal{X}$ be a category fibred in groupoids over
$(\Sch/S)_{fppf}$. The following are equivalent:
\begin{enumerate}
\item the diagonal $\mathcal{X} \to \mathcal{X} \times \mathcal{X}$
is representable by algebraic spaces,
\item for every scheme $U$ over $S$, and any
$x, y \in \Ob(\mathcal{X}_U)$ the sheaf
$\mathit{Isom}(x, y)$ is representable by an algebraic space over $U$,
\item for every scheme $U$ over $S$, and any $x \in \Ob(\mathcal{X}_U)$
the associated $1$-morphism $x : (\Sch/U)_{fppf} \to \mathcal{X}$
is representable by algebraic spaces,
\item for every pair of schemes $T_1, T_2$ over $S$, and any
$x_i \in \Ob(\mathcal{X}_{T_i})$, $i = 1, 2$ the $2$-fibre product
$(\Sch/T_1)_{fppf} \times_{x_1, \mathcal{X}, x_2}
(\Sch/T_2)_{fppf}$
is representable by an algebraic space,
\item for every representable category fibred in groupoids $\mathcal{U}$
over $(\Sch/S)_{fppf}$ every $1$-morphism
$\mathcal{U} \to \mathcal{X}$ is representable by algebraic spaces,
\item for every pair $\mathcal{T}_1, \mathcal{T}_2$ of representable
categories fibred in groupoids over $(\Sch/S)_{fppf}$ and any
$1$-morphisms $x_i : \mathcal{T}_i \to \mathcal{X}$, $i = 1, 2$ the
$2$-fibre product $\mathcal{T}_1 \times_{x_1, \mathcal{X}, x_2} \mathcal{T}_2$
is representable by an algebraic space,
\item for every category fibred in groupoids $\mathcal{U}$
over $(\Sch/S)_{fppf}$ which is
representable by an algebraic space every $1$-morphism
$\mathcal{U} \to \mathcal{X}$ is representable by algebraic spaces,
\item for every pair $\mathcal{T}_1, \mathcal{T}_2$ of categories fibred
in groupoids over $(\Sch/S)_{fppf}$ which are representable
by algebraic spaces, and any $1$-morphisms
$x_i : \mathcal{T}_i \to \mathcal{X}$ the
$2$-fibre product $\mathcal{T}_1 \times_{x_1, \mathcal{X}, x_2} \mathcal{T}_2$
is representable by an algebraic space.
\end{enumerate}
\end{lemma}

\begin{proof}
The equivalence of (1) and (2) follows from
Stacks, Lemma \ref{stacks-lemma-isom-as-2-fibre-product}
and the definitions.
Let us prove the equivalence of (1) and (3).
Write $\mathcal{C} = (\Sch/S)_{fppf}$ for the base category.
We will use some of the observations of the proof of the similar
Categories, Lemma \ref{categories-lemma-representable-diagonal-groupoids}.
We will use the symbol $\cong$ to mean ``equivalence of categories fibred
in groupoids over $\mathcal{C} = (\Sch/S)_{fppf}$''.
Assume (1). Suppose given $U$ and $x$ as in (3). For any scheme $V$
and $y \in \Ob(\mathcal{X}_V)$ we see (compare reference above) that
$$
\mathcal{C}/U
\times_{x, \mathcal{X}, y}
\mathcal{C}/V
\cong
(\mathcal{C}/U \times_S V)
\times_{(x, y), \mathcal{X} \times \mathcal{X}, \Delta}
\mathcal{X}
$$
which is representable by an algebraic space by assumption. Conversely,
assume (3). Consider any scheme $U$ over $S$ and a pair $(x, x')$
of objects of $\mathcal{X}$ over $U$. We have to show that
$\mathcal{X} \times_{\Delta, \mathcal{X} \times \mathcal{X}, (x, x')} U$
is representable by an algebraic space. This is clear because
(compare reference above)
$$
\mathcal{X}
\times_{\Delta, \mathcal{X} \times \mathcal{X}, (x, x')}
\mathcal{C}/U
\cong
(\mathcal{C}/U \times_{x, \mathcal{X}, x'} \mathcal{C}/U)
\times_{\mathcal{C}/U \times_S U, \Delta}
\mathcal{C}/U
$$
and the right hand side is representable by an algebraic space by assumption
and the fact that the category of algebraic spaces over $S$ has fibre products
and contains $U$ and $S$.

\medskip\noindent
The equivalences
(3) $\Leftrightarrow$ (4),
(5) $\Leftrightarrow$ (6),
and
(7) $\Leftrightarrow$ (8)
are formal. The equivalences
(3) $\Leftrightarrow$ (5) and
(4) $\Leftrightarrow$ (6)
follow from
Lemma \ref{lemma-representable-by-spaces-morphism-equivalent}.
Assume (3), and let $\mathcal{U} \to \mathcal{X}$ be as in (7).
To prove (7) we have to show that for every scheme $V$ and $1$-morphism
$y : (\Sch/V)_{fppf} \to \mathcal{X}$ the $2$-fibre product
$(\Sch/V)_{fppf} \times_{y, \mathcal{X}} \mathcal{U}$
is representable by an algebraic space. Property (3) tells us
that $y$ is representable by algebraic spaces hence
Lemma \ref{lemma-base-change-by-space-representable-by-space}
implies what we want. Finally, (7) directly implies (3).
\end{proof}

\noindent
In the situation of the lemma, for any $1$-morphism
$x : (\Sch/U)_{fppf} \to \mathcal{X}$ as in the lemma, it makes sense
to say that $x$ has property $\mathcal{P}$, for any property as in
Definition \ref{definition-relative-representable-property}.
In particular this holds for
$\mathcal{P} = $ ``surjective'',
$\mathcal{P} = $ ``smooth'', and
$\mathcal{P} = $ ``\'etale'',
see
Descent on Spaces,
Lemmas \ref{spaces-descent-lemma-descending-property-surjective},
\ref{spaces-descent-lemma-descending-property-smooth}, and
\ref{spaces-descent-lemma-descending-property-etale}.
We will use these three cases in the definitions
of algebraic stacks below.








\section{Stacks in groupoids}
\label{section-stacks}

\noindent
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Recall that a category $p : \mathcal{X} \to (\Sch/S)_{fppf}$
over $(\Sch/S)_{fppf}$ is said to be a
{\it stack in groupoids} (see
Stacks, Definition \ref{stacks-definition-stack-in-groupoids})
if and only if
\begin{enumerate}
\item $p : \mathcal{X} \to \mathcal{C}$ is fibred
in groupoids over $(\Sch/S)_{fppf}$,
\item for all $U \in \Ob((\Sch/S)_{fppf})$,
for all $x, y\in \Ob(\mathcal{X}_U)$ the presheaf
$\mathit{Isom}(x, y)$ is a sheaf on the site $(\Sch/U)_{fppf}$, and
\item for all coverings $\mathcal{U} = \{U_i \to U\}$ in
$(\Sch/S)_{fppf}$, all descent data $(x_i, \phi_{ij})$
for $\mathcal{U}$ are effective.
\end{enumerate}
For examples see
Examples of Stacks,
Section \ref{examples-stacks-section-examples-stacks-in-groupoids}
ff.










\section{Algebraic stacks}
\label{section-algebraic-stacks}

\noindent
Here is the definition of an algebraic stack. We remark that condition
(2) implies we can make sense out of the condition in part (3) that
$(\Sch/U)_{fppf} \to \mathcal{X}$
is smooth and surjective, see discussion following
Lemma \ref{lemma-representable-diagonal}.

\begin{definition}
\label{definition-algebraic-stack}
Let $S$ be a base scheme contained in $\Sch_{fppf}$.
An {\it algebraic stack over $S$} is a category
$$
p : \mathcal{X} \to (\Sch/S)_{fppf}
$$
over $(\Sch/S)_{fppf}$ with the following properties:
\begin{enumerate}
\item The category $\mathcal{X}$ is a stack in groupoids over
$(\Sch/S)_{fppf}$.
\item The diagonal
$\Delta : \mathcal{X} \to \mathcal{X} \times \mathcal{X}$
is representable by algebraic spaces.
\item There exists a scheme $U \in \Ob((\Sch/S)_{fppf})$
and a $1$-morphism $(\Sch/U)_{fppf} \to \mathcal{X}$
which is surjective and smooth\footnote{In future chapters we will denote
this simply $U \to \mathcal{X}$ as is customary in the literature. Another
good alternative would be to formulate this condition as the existence of a
representable category fibred in groupoids $\mathcal{U}$ and a surjective
smooth $1$-morphism $\mathcal{U} \to \mathcal{X}$.}.
\end{enumerate}
\end{definition}

\noindent
There are some differences with other definitions found in the literature.

\medskip\noindent
The first is that we require $\mathcal{X}$ to be a stack in groupoids
in the fppf topology, whereas in many references the \'etale topology is
used. It somehow seems to us that the fppf topology is the natural topology
to work with. In the end the resulting $2$-category of algebraic stacks
ends up being the same. This is explained in
Criteria for Representability, Section \ref{criteria-section-stacks-etale}.

\medskip\noindent
The second is that we only require the diagonal map of $\mathcal{X}$ to be
representable by algebraic spaces, whereas in most references some other
conditions are imposed. Our point of view is to try to prove a certain
number of the results that follow only assuming that the diagonal
of $\mathcal{X}$ be representable by algebraic spaces, and simply add
an additional hypothesis wherever this is necessary. It has the added
benefit that any algebraic space (as defined in
Spaces, Definition \ref{spaces-definition-algebraic-space})
gives rise to an algebraic stack.

\medskip\noindent
The third is that in some papers it is required that there exists a
scheme $U$ and a surjective and \'etale morphism $U \to \mathcal{X}$.
In the groundbreaking paper \cite{DM} where algebraic stacks were first
introduced Deligne and Mumford used this definition and showed that
the moduli stack of stable genus $g > 1$ curves is an algebraic stack
which has an \'etale covering by a scheme. Michael Artin, see
\cite{ArtinVersal}, realized that many
natural results on algebraic stacks generalize to the case where one
only assume a smooth covering by a scheme. Hence our choice above.
To distinguish the two cases one sees the terms ``Deligne-Mumford stack''
and ``Artin stack'' used in the literature. We will reserve the term
``Artin stack'' for later use (insert future reference here), and continue
to use ``algebraic stack'', but we will use ``Deligne-Mumford stack''
to indicate those algebraic stacks which have an \'etale covering by a
scheme.

\begin{definition}
\label{definition-deligne-mumford}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Let $\mathcal{X}$ be an algebraic stack over $S$.
We say $\mathcal{X}$ is a {\it Deligne-Mumford stack} if there exists
a scheme $U$ and a surjective \'etale morphism
$(\Sch/U)_{fppf} \to \mathcal{X}$.
\end{definition}

\noindent
We will compare our notion of a Deligne-Mumford stack with
the notion as defined in the paper by Deligne and Mumford later
(see insert future reference here).

\medskip\noindent
The category of algebraic stacks over $S$ forms a $2$-category.
Here is the precise definition.

\begin{definition}
\label{definition-morphism-algebraic-stacks}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
The {\it $2$-category of algebraic stacks over $S$} is the
sub $2$-category of the $2$-category of categories fibred in
groupoids over $(\Sch/S)_{fppf}$ (see
Categories,
Definition \ref{categories-definition-categories-fibred-in-groupoids-over-C})
defined as follows:
\begin{enumerate}
\item Its objects are those categories fibred in groupoids
over $(\Sch/S)_{fppf}$ which are algebraic stacks over $S$.
\item Its $1$-morphisms $f : \mathcal{X} \to \mathcal{Y}$ are
any functors of categories over $(\Sch/S)_{fppf}$, as in
Categories, Definition \ref{categories-definition-categories-over-C}.
\item Its $2$-morphisms are transformations between functors
over $(\Sch/S)_{fppf}$, as in
Categories, Definition \ref{categories-definition-categories-over-C}.
\end{enumerate}
\end{definition}

\noindent
In other words this $2$-category is the full sub $2$-category of
$\textit{Cat}/(\Sch/S)_{fppf}$ whose objects are algebraic stacks.
Note that every $2$-morphism is automatically an isomorphism.
Hence this is actually a $(2, 1)$-category and not just a $2$-category.

\medskip\noindent
We will see later (insert future reference here) that this $2$-category
has $2$-fibre products.

\medskip\noindent
Similar to the remark above the $2$-category of algebraic stacks over $S$ is a
full sub $2$-category of the $2$-category of categories fibred in groupoids
over $(\Sch/S)_{fppf}$. It turns out that it is closed under
equivalences. Here is the precise statement.

\begin{lemma}
\label{lemma-equivalent}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Let $\mathcal{X}$, $\mathcal{Y}$ be categories over $(\Sch/S)_{fppf}$.
Assume $\mathcal{X}$, $\mathcal{Y}$ are equivalent as categories over
$(\Sch/S)_{fppf}$. Then $\mathcal{X}$ is an algebraic stack if and
only if $\mathcal{Y}$ is an algebraic stack. Similarly, $\mathcal{X}$
is a Deligne-Mumford stack if and only if $\mathcal{Y}$ is a Deligne-Mumford
stack.
\end{lemma}

\begin{proof}
Assume $\mathcal{X}$ is an algebraic stack (resp.\ a Deligne-Mumford stack). By
Stacks, Lemma \ref{stacks-lemma-stack-in-groupoids-equivalent}
this implies that $\mathcal{Y}$ is a stack in groupoids over
$\Sch_{fppf}$. Choose an equivalence $f : \mathcal{X} \to \mathcal{Y}$
over $\Sch_{fppf}$. This gives a $2$-commutative diagram
$$
\xymatrix{
\mathcal{X} \ar[r]_f \ar[d]_{\Delta_\mathcal{X}} &
\mathcal{Y} \ar[d]^{\Delta_\mathcal{Y}} \\
\mathcal{X} \times \mathcal{X} \ar[r]^{f \times f} &
\mathcal{Y} \times \mathcal{Y}
}
$$
whose horizontal arrows are equivalences. This implies that
$\Delta_\mathcal{Y}$ is representable by algebraic spaces according to
Lemma \ref{lemma-representable-by-spaces-morphism-equivalent}.
Finally, let $U$ be a scheme over $S$, and let
$x : (\Sch/U)_{fppf} \to \mathcal{X}$ be a $1$-morphism which
is surjective and smooth (resp.\ \'etale). Considering the diagram
$$
\xymatrix{
(\Sch/U)_{fppf} \ar[r]_{\text{id}} \ar[d]_x &
(\Sch/U)_{fppf} \ar[d]^{f \circ x} \\
\mathcal{X} \ar[r]^f &
\mathcal{Y}
}
$$
and applying
Lemma \ref{lemma-property-morphism-equivalent}
we conclude that $x \circ f$ is surjective and smooth (resp.\ \'etale)
as desired.
\end{proof}




\section{Algebraic stacks and algebraic spaces}
\label{section-stacks-spaces}

\noindent
In this section we discuss some simple criteria which imply that an
algebraic stack is an algebraic space. The main result is that this
happens exactly when objects of fibre categories have no nontrivial
automorphisms. This is not a triviality! Before we come to this
we first do a sanity check.

\begin{lemma}
\label{lemma-representable-algebraic}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
\begin{enumerate}
\item A category fibred in groupoids
$p : \mathcal{X} \to (\Sch/S)_{fppf}$
which is representable by an algebraic space is a Deligne-Mumford stack.
\item If $F$ is an algebraic space over $S$, then the associated
category fibred in groupoids
$p : \mathcal{S}_F \to (\Sch/S)_{fppf}$
is a Deligne-Mumford stack.
\item If $X \in \Ob((\Sch/S)_{fppf})$, then
$(\Sch/X)_{fppf} \to (\Sch/S)_{fppf}$ is
a Deligne-Mumford stack.
\end{enumerate}
\end{lemma}

\begin{proof}
It is clear that (2) implies (3).
Parts (1) and (2) are equivalent by Lemma \ref{lemma-equivalent}.
Hence it suffices to prove (2).
First, we note that $\mathcal{S}_F$ is stack in sets since
$F$ is a sheaf (Stacks, Lemma
\ref{stacks-lemma-stack-in-setoids-characterize}).
A fortiori it is a stack in groupoids. Second the diagonal
morphism $\mathcal{S}_F \to \mathcal{S}_F  \times \mathcal{S}_F$
is the same as the morphism $\mathcal{S}_F \to \mathcal{S}_{F \times F}$
which comes from the diagonal of $F$. Hence this is representable
by algebraic spaces according to
Lemma \ref{lemma-morphism-spaces-gives-representable-by-spaces}.
Actually it is even representable (by schemes), as the diagonal of
an algebraic space is representable, but we do not need this.
Let $U$ be a scheme and let $h_U \to F$ be a surjective \'etale morphism.
We may think of this a surjective \'etale morphism of algebraic spaces.
Hence by
Lemma
\ref{lemma-map-presheaves-representable-by-spaces-transformation-property}
the corresponding $1$-morphism $(\Sch/U)_{fppf} \to \mathcal{S}_F$
is surjective and \'etale.
\end{proof}

\noindent
The following result says that a Deligne-Mumford stack whose inertia
is trivial ``is'' an algebraic space. This lemma will be obsoleted by
the stronger
Proposition \ref{proposition-algebraic-stack-no-automorphisms}
below which says that this holds more generally for algebraic stacks...

\begin{lemma}
\label{lemma-algebraic-stack-no-automorphisms}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Let $\mathcal{X}$ be an algebraic stack over $S$.
The following are equivalent
\begin{enumerate}
\item $\mathcal{X}$ is a Deligne-Mumford stack and is a stack in setoids,
\item $\mathcal{X}$ is a Deligne-Mumford stack such that the
canonical $1$-morphism $\mathcal{I}_\mathcal{X} \to \mathcal{X}$
is an equivalence, and
\item $\mathcal{X}$ is representable by an algebraic space.
\end{enumerate}
\end{lemma}

\begin{proof}
The equivalence of (1) and (2) follows from
Stacks, Lemma \ref{stacks-lemma-characterize-stack-in-setoids}.
The implication (3) $\Rightarrow$ (1) follows from
Lemma \ref{lemma-representable-algebraic}.
Finally, assume (1). By
Stacks, Lemma \ref{stacks-lemma-stack-in-setoids-characterize}
there exists a sheaf $F$ on $(\Sch/S)_{fppf}$
and an equivalence $j : \mathcal{X} \to \mathcal{S}_F$. By
Lemma \ref{lemma-map-presheaves-representable-by-algebraic-spaces}
the fact that $\Delta_\mathcal{X}$ is representable by algebraic
spaces, means that $\Delta_F : F \to F \times F$
is representable by algebraic spaces.
Let $U$ be a scheme, and let $x : (\Sch/U)_{fppf} \to \mathcal{X}$
be a surjective \'etale morphism. The composition
$j \circ x : (\Sch/U)_{fppf} \to \mathcal{S}_F$
corresponds to a morphism $h_U \to F$ of sheaves. By
Bootstrap, Lemma \ref{bootstrap-lemma-representable-diagonal}
this morphism is representable by algebraic spaces.
Hence by
Lemma \ref{lemma-map-fibred-setoids-property}
we conclude that $h_U \to F$ is surjective and \'etale.
Finally, we apply
Bootstrap, Theorem \ref{bootstrap-theorem-bootstrap}
to see that $F$ is an algebraic space.
\end{proof}

\begin{proposition}
\label{proposition-algebraic-stack-no-automorphisms}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Let $\mathcal{X}$ be an algebraic stack over $S$.
The following are equivalent
\begin{enumerate}
\item $\mathcal{X}$ is a stack in setoids,
\item the canonical $1$-morphism $\mathcal{I}_\mathcal{X} \to \mathcal{X}$
is an equivalence, and
\item $\mathcal{X}$ is representable by an algebraic space.
\end{enumerate}
\end{proposition}

\begin{proof}
The equivalence of (1) and (2) follows from
Stacks, Lemma \ref{stacks-lemma-characterize-stack-in-setoids}.
The implication (3) $\Rightarrow$ (1) follows from
Lemma \ref{lemma-algebraic-stack-no-automorphisms}.
Finally, assume (1). By
Stacks, Lemma \ref{stacks-lemma-stack-in-setoids-characterize}
there exists an equivalence $j : \mathcal{X} \to \mathcal{S}_F$
where $F$ is a sheaf on $(\Sch/S)_{fppf}$.  By
Lemma \ref{lemma-map-presheaves-representable-by-algebraic-spaces}
the fact that $\Delta_\mathcal{X}$ is representable by algebraic
spaces, means that $\Delta_F : F \to F \times F$
is representable by algebraic spaces.
Let $U$ be a scheme and let $x : (\Sch/U)_{fppf} \to \mathcal{X}$
be a surjective smooth morphism. The composition
$j \circ x : (\Sch/U)_{fppf} \to \mathcal{S}_F$
corresponds to a morphism $h_U \to F$ of sheaves. By
Bootstrap, Lemma \ref{bootstrap-lemma-representable-diagonal}
this morphism is representable by algebraic spaces.
Hence by
Lemma \ref{lemma-map-fibred-setoids-property}
we conclude that $h_U \to F$ is surjective and smooth.
In particular it is surjective, flat and locally of finite presentation
(by
Lemma \ref{lemma-representable-transformations-property-implication}
and the fact that a smooth morphism of algebraic spaces is flat and
locally of finite presentation, see
Morphisms of Spaces,
Lemmas \ref{spaces-morphisms-lemma-smooth-locally-finite-presentation} and
\ref{spaces-morphisms-lemma-smooth-flat}).
Finally, we apply
Bootstrap, Theorem \ref{bootstrap-theorem-final-bootstrap}
to see that $F$ is an algebraic space.
\end{proof}






\section{2-Fibre products of algebraic stacks}
\label{section-2-fibre-products}

\noindent
The $2$-category of algebraic stacks has products and $2$-fibre products.
The first lemma is really a special case of
Lemma \ref{lemma-2-fibre-product}
but its proof is slightly easier.

\begin{lemma}
\label{lemma-product-spaces}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Let $\mathcal{X}$, $\mathcal{Y}$ be algebraic stacks over $S$.
Then $\mathcal{X} \times_{(\Sch/S)_{fppf}} \mathcal{Y}$
is an algebraic stack, and is a product in the $2$-category of
algebraic stacks over $S$.
\end{lemma}

\begin{proof}
An object of $\mathcal{X} \times_{(\Sch/S)_{fppf}} \mathcal{Y}$
over $T$ is just a pair $(x, y)$ where $x$ is an object of $\mathcal{X}_T$
and $y$ is an object of $\mathcal{Y}_T$. Hence it is immediate from
the definitions that
$\mathcal{X} \times_{(\Sch/S)_{fppf}} \mathcal{Y}$ is a
stack in groupoids. If $(x, y)$ and $(x', y')$ are
two objects of $\mathcal{X} \times_{(\Sch/S)_{fppf}} \mathcal{Y}$
over $T$, then
$$
\mathit{Isom}((x, y), (x', y')) =
\mathit{Isom}(x, x') \times \mathit{Isom}(y, y').
$$
Hence it follows from the equivalences in
Lemma \ref{lemma-representable-diagonal}
and the fact that the category of algebraic spaces has products
that the diagonal of $\mathcal{X} \times_{(\Sch/S)_{fppf}} \mathcal{Y}$
is representable by algebraic spaces.
Finally, suppose that $U, V \in \Ob((\Sch/S)_{fppf})$,
and let $x, y$ be surjective smooth morphisms
$x : (\Sch/U)_{fppf} \to \mathcal{X}$,
$y : (\Sch/Y)_{fppf} \to \mathcal{Y}$.
Note that
$$
(\Sch/U \times_S V)_{fppf} =
(\Sch/U)_{fppf}
\times_{(\Sch/S)_{fppf}} (\Sch/V)_{fppf}.
$$
The object $(\text{pr}_U^*x, \text{pr}_V^*y)$ of
$\mathcal{X} \times_{(\Sch/S)_{fppf}} \mathcal{Y}$ over
$(\Sch/U \times_S V)_{fppf}$ thus defines a $1$-morphism
$$
(\Sch/U \times_S V)_{fppf}
\longrightarrow
\mathcal{X} \times_{(\Sch/S)_{fppf}} \mathcal{Y}
$$
which is the composition of base changes of $x$ and $y$, hence
is surjective and smooth, see
Lemmas \ref{lemma-base-change-representable-transformations-property} and
\ref{lemma-composition-representable-transformations-property}.
We conclude that $\mathcal{X} \times_{(\Sch/S)_{fppf}} \mathcal{Y}$
is indeed an algebraic stack. We omit the verification that it
really is a product.
\end{proof}

\begin{lemma}
\label{lemma-2-fibre-product-general}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Let $\mathcal{Z}$ be a stack in groupoids over $(\Sch/S)_{fppf}$
whose diagonal is representable by algebraic spaces.
Let $\mathcal{X}$, $\mathcal{Y}$ be algebraic stacks over $S$.
Let $f : \mathcal{X} \to \mathcal{Z}$, $g : \mathcal{Y} \to \mathcal{Z}$
be $1$-morphisms of stacks in groupoids. Then the $2$-fibre product
$\mathcal{X} \times_{f, \mathcal{Z}, g} \mathcal{Y}$ is an algebraic stack.
\end{lemma}

\begin{proof}
We have to check conditions (1), (2), and (3) of
Definition \ref{definition-algebraic-stack}.
The first condition follows from
Stacks, Lemma \ref{stacks-lemma-2-product-stacks-in-groupoids}.

\medskip\noindent
The second condition we have to check is that the $\mathit{Isom}$-sheaves
are representable by algebraic spaces. To do this, suppose that
$T$ is a scheme over $S$, and $u, v$ are objects of
$(\mathcal{X} \times_{f, \mathcal{Z}, g} \mathcal{Y})_T$.
By our construction of $2$-fibre products (which goes all the way
back to
Categories, Lemma \ref{categories-lemma-2-product-categories-over-C})
we may write $u = (x, y, \alpha)$ and $v = (x', y', \alpha')$.
Here $\alpha : f(x) \to g(y)$ and similarly for $\alpha'$.
Then it is clear that
$$
\xymatrix{
\mathit{Isom}(u, v) \ar[d] \ar[rr] & &
\mathit{Isom}(y, y') \ar[d]^{\phi \mapsto g(\phi) \circ \alpha} \\
\mathit{Isom}(x, x') \ar[rr]^-{\psi \mapsto \alpha' \circ f(\psi)} & &
\mathit{Isom}(f(x), g(y'))
}
$$
is a cartesian diagram of sheaves on $(\Sch/T)_{fppf}$.
Since by assumption the sheaves
$\mathit{Isom}(y, y')$, $\mathit{Isom}(x, x')$, $\mathit{Isom}(f(x), g(y'))$
are algebraic spaces (see
Lemma \ref{lemma-representable-diagonal})
we see that $\mathit{Isom}(u, v)$
is an algebraic space.

\medskip\noindent
Let $U, V \in \Ob((\Sch/S)_{fppf})$,
and let $x, y$ be surjective smooth morphisms
$x : (\Sch/U)_{fppf} \to \mathcal{X}$,
$y : (\Sch/Y)_{fppf} \to \mathcal{Y}$.
Consider the morphism
$$
(\Sch/U)_{fppf}
\times_{f \circ x, \mathcal{Z}, g \circ y}
(\Sch/V)_{fppf}
\longrightarrow
\mathcal{X} \times_{f, \mathcal{Z}, g} \mathcal{Y}.
$$
As the diagonal of $\mathcal{Z}$ is representable by algebraic spaces
the source of this arrow is representable by an algebraic space $F$, see
Lemma \ref{lemma-representable-diagonal}.
Moreover, the morphism is the composition
of base changes of $x$ and $y$, hence surjective and smooth, see
Lemmas \ref{lemma-base-change-representable-transformations-property} and
\ref{lemma-composition-representable-transformations-property}.
Choosing a scheme $W$ and a surjective \'etale morphism $W \to F$
we see that the composition of the displayed $1$-morphism
with the corresponding $1$-morphism
$$
(\Sch/W)_{fppf}
\longrightarrow
(\Sch/U)_{fppf}
\times_{f \circ x, \mathcal{Z}, g \circ y}
(\Sch/V)_{fppf}
$$
is surjective and smooth which proves the last condition.
\end{proof}

\begin{lemma}
\label{lemma-2-fibre-product}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Let $\mathcal{X}, \mathcal{Y}, \mathcal{Z}$ be algebraic stacks over $S$.
Let $f : \mathcal{X} \to \mathcal{Z}$, $g : \mathcal{Y} \to \mathcal{Z}$
be $1$-morphisms of algebraic stacks. Then the $2$-fibre product
$\mathcal{X} \times_{f, \mathcal{Z}, g} \mathcal{Y}$ is an algebraic stack.
It is also the $2$-fibre product in the $2$-category of algebraic stacks
over $(\Sch/S)_{fppf}$.
\end{lemma}

\begin{proof}
The fact that $\mathcal{X} \times_{f, \mathcal{Z}, g} \mathcal{Y}$ is an
algebraic stack follows from the stronger
Lemma \ref{lemma-2-fibre-product-general}.
The fact that $\mathcal{X} \times_{f, \mathcal{Z}, g} \mathcal{Y}$
is a $2$-fibre product in the $2$-category of algebraic stacks over $S$
follows formally from the fact that the $2$-category of algebraic stacks
over $S$ is a full sub $2$-category of the $2$-category of stacks in
groupoids over $(\Sch/S)_{fppf}$.
\end{proof}







\section{Algebraic stacks, overhauled}
\label{section-overhaul}

\noindent
Some basic results on algebraic stacks.

\begin{lemma}
\label{lemma-lift-morphism-presentations}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Let $f : \mathcal{X} \to \mathcal{Y}$ be a $1$-morphism of algebraic
stacks over $S$.
Let $V \in \Ob((\Sch/S)_{fppf})$.
Let $y : (\Sch/V)_{fppf} \to \mathcal{Y}$ be surjective and smooth.
Then there exists an object $U \in \Ob((\Sch/S)_{fppf})$
and a $2$-commutative diagram
$$
\xymatrix{
(\Sch/U)_{fppf} \ar[r]_a \ar[d]_x &
(\Sch/V)_{fppf} \ar[d]^y \\
\mathcal{X} \ar[r]^f & \mathcal{Y}
}
$$
with $x$ surjective and smooth.
\end{lemma}

\begin{proof}
First choose $W \in \Ob((\Sch/S)_{fppf})$ and a surjective
smooth $1$-morphism $z : (\Sch/W)_{fppf} \to \mathcal{X}$.
As $\mathcal{Y}$ is an algebraic stack we may choose an equivalence
$$
j :
\mathcal{S}_F
\longrightarrow
(\Sch/W)_{fppf}
\times_{f \circ z, \mathcal{Y}, y}
(\Sch/V)_{fppf}
$$
where $F$ is an algebraic space. By
Lemma \ref{lemma-base-change-representable-transformations-property}
the morphism
$\mathcal{S}_F \to (\Sch/W)_{fppf}$ is surjective and smooth
as a base change of $y$. Hence by
Lemma \ref{lemma-composition-representable-transformations-property}
we see that $\mathcal{S}_F \to \mathcal{X}$ is surjective and smooth.
Choose an object $U \in \Ob((\Sch/S)_{fppf})$
and a surjective \'etale morphism $U \to F$. Then applying
Lemma \ref{lemma-composition-representable-transformations-property}
once more we obtain the desired properties.
\end{proof}

\noindent
This lemma is a generalization of
Proposition \ref{proposition-algebraic-stack-no-automorphisms}.

\begin{lemma}
\label{lemma-characterize-representable-by-algebraic-spaces}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Let $f : \mathcal{X} \to \mathcal{Y}$ be a $1$-morphism of algebraic
stacks over $S$. The following are equivalent:
\begin{enumerate}
\item for $U \in \Ob((\Sch/S)_{fppf})$
the functor $f : \mathcal{X}_U \to \mathcal{Y}_U$ is faithful,
\item the functor $f$ is faithful, and
\item $f$ is representable by algebraic spaces.
\end{enumerate}
\end{lemma}

\begin{proof}
Parts (1) and (2) are equivalent by general properties of $1$-morphisms
of categories fibred in groupoids, see
Categories, Lemma \ref{categories-lemma-equivalence-fibred-categories}.
We see that (3) implies (2) by
Lemma \ref{lemma-criterion-map-representable-spaces-fibred-in-groupoids}.
Finally, assume (2).
Let $U$ be a scheme. Let $y \in \Ob(\mathcal{Y}_U)$.
We have to prove that
$$
\mathcal{W} = (\Sch/U)_{fppf} \times_{y, \mathcal{Y}} \mathcal{X}
$$
is representable by an algebraic space over $U$. Since
$(\Sch/U)_{fppf}$ is an algebraic stack we see from
Lemma \ref{lemma-2-fibre-product}
that $\mathcal{W}$ is an algebraic stack.
On the other hand the explicit description of objects of $\mathcal{W}$
as triples $(V, x, \alpha : y(V) \to f(x))$ and the fact that $f$ is
faithful, shows that the fibre categories of $\mathcal{W}$ are setoids. Hence
Proposition \ref{proposition-algebraic-stack-no-automorphisms}
guarantees that $\mathcal{W}$ is representable by an algebraic space.
\end{proof}

\begin{lemma}
\label{lemma-smooth-surjective-morphism-implies-algebraic}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Let $u : \mathcal{U} \to \mathcal{X}$ be a $1$-morphism of
stacks in groupoids over $(\Sch/S)_{fppf}$. If
\begin{enumerate}
\item $\mathcal{U}$ is representable by an algebraic space, and
\item $u$ is representable by algebraic spaces, surjective and smooth,
\end{enumerate}
then $\mathcal X$ is an algebraic stack over $S$.
\end{lemma}

\begin{proof}
We have to show that $\Delta : \mathcal{X} \to \mathcal{X} \times \mathcal{X}$
is representable by algebraic spaces, see
Definition \ref{definition-algebraic-stack}.
Given two schemes $T_1$, $T_2$ over $S$ denote
$\mathcal{T}_i = (\Sch/T_i)_{fppf}$ the associated representable
fibre categories. Suppose given $1$-morphisms
$f_i : \mathcal{T}_i \to \mathcal{X}$.
According to
Lemma \ref{lemma-representable-diagonal}
it suffices to prove that the $2$-fibered
product $\mathcal{T}_1 \times_\mathcal{X} \mathcal{T}_2$
is representable by an algebraic space. By
Stacks, Lemma
\ref{stacks-lemma-2-fibre-product-stacks-in-setoids-over-stack-in-groupoids}
this is in any case a stack in setoids. Thus
$\mathcal{T}_1 \times_\mathcal{X} \mathcal{T}_2$ corresponds
to some sheaf $F$ on $(\Sch/S)_{fppf}$, see
Stacks, Lemma \ref{stacks-lemma-stack-in-setoids-characterize}.
Let $U$ be the algebraic space which represents $\mathcal{U}$.
By assumption
$$
\mathcal{T}_i' = \mathcal{U} \times_{u, \mathcal{X}, f_i} \mathcal{T}_i
$$
is representable by an algebraic space $T'_i$ over $S$. Hence
$\mathcal{T}_1' \times_\mathcal{U} \mathcal{T}_2'$ is representable
by the algebraic space $T'_1 \times_U T'_2$.
Consider the commutative diagram
$$
\xymatrix{
&
\mathcal{T}_1 \times_{\mathcal X} \mathcal{T}_2 \ar[rr]\ar'[d][dd] & &
\mathcal{T}_1 \ar[dd] \\
\mathcal{T}_1' \times_\mathcal{U} \mathcal{T}_2' \ar[ur]\ar[rr]\ar[dd] & &
\mathcal{T}_1' \ar[ur]\ar[dd] \\
&
\mathcal{T}_2 \ar'[r][rr] & &
\mathcal X \\
\mathcal{T}_2' \ar[rr]\ar[ur] & &
\mathcal{U} \ar[ur] }
$$
In this diagram the bottom square, the right square, the back square, and
the front square are $2$-fibre products. A formal argument then shows
that $\mathcal{T}_1' \times_\mathcal{U} \mathcal{T}_2' \to
\mathcal{T}_1 \times_{\mathcal X} \mathcal{T}_2$
is the ``base change'' of $\mathcal{U} \to \mathcal{X}$, more precisely
the diagram
$$
\xymatrix{
\mathcal{T}_1' \times_\mathcal{U} \mathcal{T}_2' \ar[d] \ar[r] &
\mathcal{U} \ar[d] \\
\mathcal{T}_1 \times_{\mathcal X} \mathcal{T}_2 \ar[r] &
\mathcal{X}
}
$$
is a $2$-fibre square.
Hence $T'_1 \times_U T'_2 \to F$ is representable by algebraic spaces,
smooth, and surjective, see
Lemmas \ref{lemma-map-fibred-setoids-representable-algebraic-spaces},
\ref{lemma-base-change-representable-by-spaces},
\ref{lemma-map-fibred-setoids-property}, and
\ref{lemma-base-change-representable-transformations-property}.
Therefore $F$ is an algebraic space by
Bootstrap, Theorem \ref{bootstrap-theorem-final-bootstrap}
and we win.
\end{proof}

\noindent
An application of
Lemma \ref{lemma-smooth-surjective-morphism-implies-algebraic}
is that something which is an algebraic space over an algebraic stack
is an algebraic stack. This is the analogue of
Bootstrap, Lemma \ref{bootstrap-lemma-representable-by-spaces-over-space}.
Actually, it suffices to assume the morphism
$\mathcal{X} \to \mathcal{Y}$ is ``algebraic'', as we will see in
Criteria for Representability,
Lemma \ref{criteria-lemma-algebraic-morphism-to-algebraic}.

\begin{lemma}
\label{lemma-representable-morphism-to-algebraic}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Let $\mathcal{X} \to \mathcal{Y}$ be a morphism of stacks in groupoids
over $(\Sch/S)_{fppf}$. Assume that
\begin{enumerate}
\item $\mathcal{X} \to \mathcal{Y}$ is representable by algebraic spaces, and
\item $\mathcal{Y}$ is an algebraic stack over $S$.
\end{enumerate}
Then $\mathcal{X}$ is an algebraic stack over $S$.
\end{lemma}

\begin{proof}
Let $\mathcal{V} \to \mathcal{Y}$ be a surjective smooth $1$-morphism
from a representable stack in groupoids to $\mathcal{Y}$. This exists by
Definition \ref{definition-algebraic-stack}.
Then the $2$-fibre product
$\mathcal{U} = \mathcal{V} \times_{\mathcal Y} \mathcal X$
is representable by an algebraic space by
Lemma \ref{lemma-base-change-by-space-representable-by-space}.
The $1$-morphism $\mathcal{U} \to \mathcal X$ is representable by algebraic
spaces, smooth, and surjective, see
Lemmas \ref{lemma-base-change-representable-by-spaces} and
\ref{lemma-base-change-representable-transformations-property}.
By
Lemma \ref{lemma-smooth-surjective-morphism-implies-algebraic}
we conclude that $\mathcal{X}$ is an algebraic stack.
\end{proof}

\begin{lemma}
\label{lemma-open-fibred-category-is-algebraic}
\begin{reference}
Removing the hypothesis that $j$ is a monomorphism was observed
in an email from Matthew Emerton dates June 15, 2016
\end{reference}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Let $j : \mathcal X \to \mathcal Y$ be a $1$-morphism of
categories fibred in groupoids over $(\Sch/S)_{fppf}$.
Assume $j$ is representable by algebraic spaces.
Then, if $\mathcal{Y}$ is a stack in groupoids
(resp.\ an algebraic stack), so is $\mathcal{X}$.
\end{lemma}

\begin{proof}
The statement on algebraic stacks will follow from the statement on
stacks in groupoids by Lemma \ref{lemma-representable-morphism-to-algebraic}.
If $j$ is representable by algebraic spaces, then $j$ is
faithful on fibre categories and for each $U$ and each
$y \in \Ob(\mathcal{Y}_U)$ the presheaf
$$
(h : V \to U)
\longmapsto
\{(x, \phi) \mid x \in \Ob(\mathcal{X}_V), \phi : h^*y \to f(x)\}/\cong
$$
is an algebraic space over $U$. See
Lemma \ref{lemma-criterion-map-representable-spaces-fibred-in-groupoids}.
In particular this presheaf is a sheaf and the conclusion follows
from Stacks, Lemma \ref{stacks-lemma-relative-sheaf-over-stack-is-stack}.
\end{proof}



\section{From an algebraic stack to a presentation}
\label{section-stack-to-presentation}

\noindent
Given an algebraic stack over $S$ we obtain a groupoid in algebraic spaces
over $S$ whose associated quotient stack is the algebraic stack.

\medskip\noindent
Recall that if $(U, R, s, t, c)$ is a groupoid in algebraic spaces over $S$
then $[U/R]$ denotes the quotient stack associated to this datum, see
Groupoids in Spaces,
Definition \ref{spaces-groupoids-definition-quotient-stack}.
In general $[U/R]$ is {\bf not} an algebraic stack. In particular the
stack $[U/R]$ occurring in the following lemma is in general not
algebraic.

\begin{lemma}
\label{lemma-map-space-into-stack}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Let $\mathcal{X}$ be an algebraic stack over $S$.
Let $\mathcal{U}$ be an algebraic stack over $S$ which
is representable by an algebraic space.
Let $f : \mathcal{U} \to \mathcal{X}$ be a 1-morphism. Then
\begin{enumerate}
\item the $2$-fibre product
$\mathcal{R} = \mathcal{U} \times_{f, \mathcal{X}, f} \mathcal{U}$
is representable by an algebraic space,
\item there is a canonical equivalence
$$
\mathcal{U} \times_{f, \mathcal{X}, f} \mathcal{U}
\times_{f, \mathcal{X}, f} \mathcal{U} =
\mathcal{R} \times_{\text{pr}_1, \mathcal{U}, \text{pr}_0} \mathcal{R},
$$
\item the projection $\text{pr}_{02}$ induces via (2) a $1$-morphism
$$
\text{pr}_{02} :
\mathcal{R} \times_{\text{pr}_1, \mathcal{U}, \text{pr}_0} \mathcal{R}
\longrightarrow
\mathcal{R}
$$
\item let $U$, $R$ be the algebraic spaces representing
$\mathcal{U}, \mathcal{R}$ and $t, s : R \to U$ and
$c : R \times_{s, U, t} R \to U$ are the morphisms corresponding
to the $1$-morphisms
$\text{pr}_0, \text{pr}_1 : \mathcal{R} \to \mathcal{U}$
and
$\text{pr}_{02} :
\mathcal{R} \times_{\text{pr}_1, \mathcal{U}, \text{pr}_0} \mathcal{R} \to
\mathcal{R}$ above, then the quintuple $(U, R, s, t, c)$ is a groupoid in
algebraic spaces over $S$,
\item the morphism $f$ induces a canonical $1$-morphism
$f_{can} : [U/R] \to \mathcal{X}$
of stacks in groupoids over $(\Sch/S)_{fppf}$, and
\item the $1$-morphism $f_{can} : [U/R] \to \mathcal{X}$ is fully faithful.
\end{enumerate}
\end{lemma}

\begin{proof}
Proof of (1). By definition $\Delta_\mathcal{X}$ is representable
by algebraic spaces so
Lemma \ref{lemma-representable-diagonal}
applies to show that $\mathcal{U} \to \mathcal{X}$ is representable
by algebraic spaces. Hence the result follows from
Lemma \ref{lemma-base-change-by-space-representable-by-space}.

\medskip\noindent
Let $T$ be a scheme over $S$. By construction of the $2$-fibre product (see
Categories, Lemma \ref{categories-lemma-2-product-categories-over-C})
we see that the objects of the fibre category $\mathcal{R}_T$
are triples $(a, b, \alpha)$ where $a, b \in \Ob(\mathcal{U}_T)$
and $\alpha : f(a) \to f(b)$
is a morphism in the fibre category $\mathcal{X}_T$.

\medskip\noindent
Proof of (2). The equivalence comes from repeatedly applying
Categories, Lemmas \ref{categories-lemma-associativity-2-fibre-product} and
\ref{categories-lemma-2-fibre-product-erase-factor}.
Let us identify
$\mathcal{U} \times_\mathcal{X} \mathcal{U} \times_\mathcal{X} \mathcal{U}$
with
$(\mathcal{U} \times_\mathcal{X} \mathcal{U})
\times_\mathcal{X} \mathcal{U}$.
If $T$ is a scheme over $S$, then on fibre categories over $T$
this equivalence maps the object
$((a, b, \alpha), c, \beta)$ on the left hand side
to the object $((a, b, \alpha), (b, c, \beta))$ of the right hand side.

\medskip\noindent
Proof of (3). The $1$-morphism $\text{pr}_{02}$ is constructed in the proof of
Categories, Lemma \ref{categories-lemma-triple-2-fibre-product-pr02}.
In terms of the description of objects of the fibre category
above we see that $((a, b, \alpha), (b, c, \beta))$
maps to $(a, c, \beta \circ \alpha)$.

\medskip\noindent
Unfortunately, this is {\it not compatible} with our conventions on
groupoids where we always have $j = (t, s) : R \to U$, and we ``think''
of a $T$-valued point $r$ of $R$ as a morphism $r : s(r) \to t(r)$.
However, this does not affect the proof of (4), since the opposite of
a groupoid is a groupoid. But in the proof of (5) it is responsible
for the inverses in the displayed formula below.

\medskip\noindent
Proof of (4). Recall that the sheaf $U$ is isomorphic to the sheaf
$T \mapsto \Ob(\mathcal{U}_T)/\!\cong$, and
similarly for $R$, see
Lemma \ref{lemma-characterize-representable-by-space}.
It follows from
Categories,
Lemma \ref{categories-lemma-category-fibred-setoids-presheaves-products}
that this description is compatible with $2$-fibre products
so we get a similar matching of
$\mathcal{R} \times_{\text{pr}_1, \mathcal{U}, \text{pr}_0} \mathcal{R}$
and $R \times_{s, U, t} R$.
The morphisms $t, s : R \to U$ and $c : R \times_{s, U, t} R \to R$
we get from the general equality (\ref{equation-morphisms-spaces}).
Explicitly these maps are the transformations of functors that come
from letting $\text{pr}_0$, $\text{pr}_0$, $\text{pr}_{02}$
act on isomorphism classes of objects of fibre categories.
Hence to show that we obtain a groupoid in algebraic
spaces it suffices to show that for every scheme $T$ over $S$
the structure
$$
(\Ob(\mathcal{U}_T)/\!\cong,
\Ob(\mathcal{R}_T)/\!\cong,
\text{pr}_1, \text{pr}_0, \text{pr}_{02})
$$
is a groupoid which is clear from our description of objects of
$\mathcal{R}_T$ above.

\medskip\noindent
Proof of (5). We will eventually apply
Groupoids in Spaces,
Lemma \ref{spaces-groupoids-lemma-quotient-stack-2-coequalizer}
to obtain the functor $[U/R] \to \mathcal{X}$.
Consider the $1$-morphism $f : \mathcal{U} \to \mathcal{X}$.
We have a $2$-arrow $\tau : f \circ \text{pr}_1 \to f \circ \text{pr}_0$
by definition of $\mathcal{R}$ as the $2$-fibre product.
Namely, on an object $(a, b, \alpha)$ of $\mathcal{R}$ over $T$ it is
the map $\alpha^{-1} : b \to a$. We claim that
$$
\tau \circ \text{id}_{\text{pr}_{02}} =
(\tau \star \text{id}_{\text{pr}_0})
\circ
(\tau \star \text{id}_{\text{pr}_1}).
$$
This identity says that given an object
$((a, b, \alpha), (b, c, \beta))$ of
$\mathcal{R} \times_{\text{pr}_1, \mathcal{U}, \text{pr}_0} \mathcal{R}$
over $T$, then the composition of
$$
\xymatrix{
c \ar[r]^{\beta^{-1}} & b \ar[r]^{\alpha^{-1}} & a
}
$$
is the same as the arrow $(\beta \circ \alpha)^{-1} : a \to c$. This is
clearly true, hence the claim holds. In this way we see that all the
assumption of
Groupoids in Spaces,
Lemma \ref{spaces-groupoids-lemma-quotient-stack-2-coequalizer}
are satisfied for the structure
$(\mathcal{U}, \mathcal{R}, \text{pr}_0, \text{pr}_1, \text{pr}_{02})$
and the $1$-morphism $f$ and the $2$-morphism $\tau$.
Except, to apply the lemma we need to prove this holds
for the structure $(\mathcal{S}_U, \mathcal{S}_R, s, t, c)$
with suitable morphisms.

\medskip\noindent
Now there should be some general abstract nonsense
argument which transfer these data between the two, but it seems to
be quite long. Instead, we use the following trick.
Pick a quasi-inverse $j^{-1} : \mathcal{S}_U \to \mathcal{U}$
of the canonical equivalence $j : \mathcal{U} \to \mathcal{S}_U$ which comes
from $U(T) = \Ob(\mathcal{U}_T)/\!\!\cong$.
This just means that for every scheme $T/S$ and every
object $a \in \mathcal{U}_T$ we have picked out a particular
element of its isomorphism class, namely $j^{-1}(j(a))$.
Using $j^{-1}$ we may therefore see $\mathcal{S}_U$
as a subcategory of $\mathcal{U}$. Having chosen this subcategory
we can consider those objects $(a, b, \alpha)$ of $\mathcal{R}_T$
such that $a, b$ are objects of $(\mathcal{S}_U)_T$, i.e., such
that $j^{-1}(j(a)) = a$ and $j^{-1}(j(b)) = b$. Then it is clear that
this forms a subcategory of $\mathcal{R}$ which maps isomorphically
to $\mathcal{S}_R$ via the canonical equivalence
$\mathcal{R} \to \mathcal{S}_R$. Moreover, this is clearly compatible
with forming the $2$-fibre product
$\mathcal{R} \times_{\text{pr}_1, \mathcal{U}, \text{pr}_0} \mathcal{R}$.
Hence we see that we may simply restrict
$f$ to $\mathcal{S}_U$ and restrict $\tau$ to a transformation
between functors $\mathcal{S}_R \to \mathcal{X}$. Hence it is clear that
the displayed equality of
Groupoids in Spaces,
Lemma \ref{spaces-groupoids-lemma-quotient-stack-2-coequalizer}
holds since it holds even as an equality of transformations of functors
$\mathcal{R} \times_{\text{pr}_1, \mathcal{U}, \text{pr}_0} \mathcal{R}
\to \mathcal{X}$ before restricting to the subcategory
$\mathcal{S}_{R \times_{s, U, t} R}$.

\medskip\noindent
This proves that
Groupoids in Spaces,
Lemma \ref{spaces-groupoids-lemma-quotient-stack-2-coequalizer}
applies and we get our desired morphism of stacks
$f_{can} : [U/R] \to \mathcal{X}$. We briefly spell out how
$f_{can}$ is defined in this special case.
On an object $a$ of $\mathcal{S}_U$ over $T$
we have $f_{can}(a) = f(a)$, where we think of
$\mathcal{S}_U \subset \mathcal{U}$ by the chosen embedding above.
If $a, b$ are objects of $\mathcal{S}_U$ over $T$, then a morphism
$\varphi : a \to b$ in $[U/R]$ is by definition an object of the
form $\varphi = (b, a, \alpha)$ of $\mathcal{R}$ over $T$. (Note
switch.) And the rule in the proof of
Groupoids in Spaces,
Lemma \ref{spaces-groupoids-lemma-quotient-stack-2-coequalizer}
is that
\begin{equation}
\label{equation-on-morphisms}
f_{can}(\varphi) = \Big(f(a) \xrightarrow{\alpha^{-1}} f(b)\Big).
\end{equation}
Proof of (6). Both $[U/R]$ and $\mathcal{X}$ are stacks.
Hence given a scheme $T/S$ and objects $a, b$ of $[U/R]$
over $T$ we obtain a transformation of fppf sheaves
$$
\mathit{Isom}(a, b) \longrightarrow \mathit{Isom}(f_{can}(a), f_{can}(b))
$$
on $(\Sch/T)_{fppf}$. We have to show that this is an
isomorphism. We may work fppf locally on $T$, hence we may assume that
$a, b$ come from morphisms $a, b : T \to U$. By the embedding
$\mathcal{S}_U \subset \mathcal{U}$ above we may also think of $a, b$ as
objects of $\mathcal{U}$ over $T$. In
Groupoids in Spaces,
Lemma \ref{spaces-groupoids-lemma-quotient-stack-morphisms}
we have seen that the left hand sheaf is represented by the algebraic space
$$
R \times_{(t, s), U \times_S U, (b, a)} T
$$
over $T$. On the other hand, the right hand side is by
Stacks, Lemma \ref{stacks-lemma-isom-as-2-fibre-product}
equal to the sheaf associated to the following stack in setoids:
$$
\mathcal{X}
\times_{\mathcal{X} \times \mathcal{X}, (f \circ b, f \circ a)} T =
\mathcal{X}
\times_{\mathcal{X} \times \mathcal{X}, (f, f)}
(\mathcal{U} \times \mathcal{U})
\times_{\mathcal{U} \times \mathcal{U}, (b, a)} T =
\mathcal{R}
\times_{(\text{pr}_0, \text{pr}_1), \mathcal{U} \times \mathcal{U}, (b, a)} T
$$
which is representable by the fibre product displayed above.
At this point we have shown that the two $\mathit{Isom}$-sheaves
are isomorphic. Our $1$-morphism $f_{can} : [U/R] \to \mathcal{X}$ induces
this isomorphism on $\mathit{Isom}$-sheaves by
Equation (\ref{equation-on-morphisms}).
\end{proof}

\noindent
We can use the previous very abstract lemma to produce
presentations.

\begin{lemma}
\label{lemma-stack-presentation}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Let $\mathcal{X}$ be an algebraic stack over $S$.
Let $U$ be an algebraic space over $S$.
Let $f : \mathcal{S}_U \to \mathcal{X}$ be a surjective smooth morphism.
Let $(U, R, s, t, c)$ be the groupoid in algebraic spaces
and $f_{can} : [U/R] \to \mathcal{X}$ be the result of applying
Lemma \ref{lemma-map-space-into-stack}
to $U$ and $f$. Then
\begin{enumerate}
\item the morphisms $s$, $t$ are smooth, and
\item the $1$-morphism $f_{can} : [U/R] \to \mathcal{X}$
is an equivalence.
\end{enumerate}
\end{lemma}

\begin{proof}
The morphisms $s, t$ are smooth by
Lemmas \ref{lemma-property-morphism-equivalent} and
\ref{lemma-map-presheaves-representable-by-spaces-transformation-property}.
As the $1$-morphism $f$ is smooth and
surjective it is clear that given any scheme $T$ and any object
$a \in \Ob(\mathcal{X}_T)$ there exists a smooth and surjective
morphism $T' \to T$ such that $a|_T'$ comes from an object of
$[U/R]_{T'}$. Since $f_{can} : [U/R] \to \mathcal{X}$
is fully faithful, we deduce that
$[U/R] \to \mathcal{X}$ is essentially surjective as
descent data on objects are effective on both sides, see
Stacks, Lemma \ref{stacks-lemma-characterize-essentially-surjective-when-ff}.
\end{proof}

\begin{remark}
\label{remark-flat-fp-presentation}
If the morphism $f : \mathcal{S}_U \to \mathcal{X}$ of
Lemma \ref{lemma-stack-presentation}
is only assumed surjective, flat and locally of finite presentation, then
it will still be the case that $f_{can} : [U/R] \to \mathcal{X}$ is an
equivalence. In this case the morphisms $s$, $t$ will be flat and
locally of finite presentation, but of course not smooth in general.
\end{remark}

\noindent
Lemma \ref{lemma-stack-presentation}
suggests the following definitions.

\begin{definition}
\label{definition-smooth-groupoid}
Let $S$ be a scheme. Let $B$ be an algebraic space over $S$.
Let $(U, R, s, t, c)$ be a groupoid in algebraic spaces over $B$.
We say $(U, R, s, t, c)$ is a {\it smooth groupoid}\footnote{This terminology
might be a bit confusing: it does not imply that $[U/R]$ is smooth
over anything.}
if $s, t : R \to U$ are smooth morphisms of algebraic spaces.
\end{definition}

\begin{definition}
\label{definition-presentation}
Let $\mathcal{X}$ be an algebraic stack over $S$.
A {\it presentation} of $\mathcal{X}$ is given by a smooth groupoid
$(U, R, s, t, c)$ in algebraic spaces over $S$, and an
equivalence $f : [U/R] \to \mathcal{X}$.
\end{definition}

\noindent
We have seen above that every algebraic stack has a presentation.
Our next task is to show that every smooth groupoid in algebraic
spaces over $S$ gives rise to an algebraic stack.


\section{The algebraic stack associated to a smooth groupoid}
\label{section-smooth-groupoid-gives-algebraic-stack}

\noindent
In this section we start with a smooth groupoid in algebraic spaces
and we show that the associated quotient stack is an algebraic stack.

\begin{lemma}
\label{lemma-diagonal-quotient-stack}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Let $(U, R, s, t, c)$ be a groupoid in algebraic spaces over $S$.
Then the diagonal of $[U/R]$ is representable by algebraic spaces.
\end{lemma}

\begin{proof}
It suffices to show that the $\mathit{Isom}$-sheaves are algebraic
spaces, see
Lemma \ref{lemma-representable-diagonal}.
This follows from
Bootstrap, Lemma \ref{bootstrap-lemma-quotient-stack-isom}.
\end{proof}

\begin{lemma}
\label{lemma-smooth-quotient-smooth-presentation}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Let $(U, R, s, t, c)$ be a smooth groupoid in algebraic spaces over $S$.
Then the morphism $\mathcal{S}_U \to [U/R]$ is smooth and surjective.
\end{lemma}

\begin{proof}
Let $T$ be a scheme and let $x : (\Sch/T)_{fppf} \to [U/R]$
be a $1$-morphism. We have to show that the projection
$$
\mathcal{S}_U \times_{[U/R]} (\Sch/T)_{fppf}
\longrightarrow
(\Sch/T)_{fppf}
$$
is surjective and smooth. We already know that the left hand side
is representable by an algebraic space $F$, see
Lemmas \ref{lemma-diagonal-quotient-stack} and
\ref{lemma-representable-diagonal}.
Hence we have to show the corresponding morphism $F \to T$ of
algebraic spaces is surjective and smooth.
Since we are working with properties of morphisms of algebraic
spaces which are local on the target in the fppf topology we
may check this fppf locally on $T$. By construction, there exists
an fppf covering $\{T_i \to T\}$ of $T$ such that
$x|_{(\Sch/T_i)_{fppf}}$ comes from a morphism
$x_i : T_i \to U$. (Note that $F \times_T T_i$ represents the
$2$-fibre product $\mathcal{S}_U \times_{[U/R]} (\Sch/T_i)_{fppf}$
so everything is compatible with the base change via $T_i \to T$.)
Hence we may assume that $x$ comes from $x : T \to U$.
In this case we see that
$$
\mathcal{S}_U \times_{[U/R]} (\Sch/T)_{fppf}
=
(\mathcal{S}_U \times_{[U/R]} \mathcal{S}_U)
\times_{\mathcal{S}_U} (\Sch/T)_{fppf}
=
\mathcal{S}_R \times_{\mathcal{S}_U} (\Sch/T)_{fppf}
$$
The first equality by
Categories, Lemma \ref{categories-lemma-2-fibre-product-erase-factor}
and the second equality by
Groupoids in Spaces,
Lemma \ref{spaces-groupoids-lemma-quotient-stack-2-cartesian}.
Clearly the last $2$-fibre product is represented by the algebraic
space $F = R \times_{s, U, x} T$ and the projection
$R \times_{s, U, x} T \to T$ is smooth as the base change of
the smooth morphism of algebraic spaces $s : R \to U$.
It is also surjective as $s$ has a section (namely the identity
$e : U \to R$ of the groupoid).
This proves the lemma.
\end{proof}

\noindent
Here is the main result of this section.

\begin{theorem}
\label{theorem-smooth-groupoid-gives-algebraic-stack}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Let $(U, R, s, t, c)$ be a smooth groupoid in algebraic spaces over $S$.
Then the quotient stack $[U/R]$ is an algebraic stack over $S$.
\end{theorem}

\begin{proof}
We check the three conditions of
Definition \ref{definition-algebraic-stack}.
By construction we have that $[U/R]$ is a stack in groupoids
which is the first condition.

\medskip\noindent
The second condition follows from the stronger
Lemma \ref{lemma-diagonal-quotient-stack}.

\medskip\noindent
Finally, we have to show there exists a scheme $W$ over $S$
and a surjective smooth $1$-morphism
$(\Sch/W)_{fppf} \longrightarrow \mathcal{X}$.
First choose $W \in \Ob((\Sch/S)_{fppf})$ and a
surjective \'etale morphism $W \to U$. Note that this
gives a surjective \'etale morphism $\mathcal{S}_W \to \mathcal{S}_U$
of categories fibred in sets, see
Lemma
\ref{lemma-map-presheaves-representable-by-spaces-transformation-property}.
Of course then $\mathcal{S}_W \to \mathcal{S}_U$ is also surjective and
smooth, see
Lemma \ref{lemma-representable-transformations-property-implication}.
Hence $\mathcal{S}_W \to \mathcal{S}_U \to [U/R]$ is surjective
and smooth by a combination of
Lemmas \ref{lemma-smooth-quotient-smooth-presentation} and
\ref{lemma-composition-representable-transformations-property}.
\end{proof}





\section{Change of big site}
\label{section-change-big-site}

\noindent
In this section we briefly discuss what happens when we change big sites.
The upshot is that we can always enlarge the big site at will, hence we
may assume any set of schemes we want to consider is contained in the big
fppf site over which we consider our algebraic space.
We encourage the reader to skip this section.

\medskip\noindent
Pullbacks of stacks is defined in
Stacks, Section \ref{stacks-section-inverse-image}.

\begin{lemma}
\label{lemma-change-big-site}
Suppose given big sites $\Sch_{fppf}$ and $\Sch'_{fppf}$.
Assume that $\Sch_{fppf}$ is contained in $\Sch'_{fppf}$,
see Topologies, Section \ref{topologies-section-change-alpha}.
Let $S$ be an object of $\Sch_{fppf}$. Let
Let $f : (\Sch'/S)_{fppf} \to (\Sch/S)_{fppf}$ the morphism
of sites corresponding to the inclusion functor
$u : (\Sch/S)_{fppf} \to (\Sch'/S)_{fppf}$.
Let $\mathcal{X}$ be a stack in groupoids over $(\Sch/S)_{fppf}$.
\begin{enumerate}
\item if $\mathcal{X}$ is representable by some
$X \in \Ob((\Sch/S)_{fppf})$, then
$f^{-1}\mathcal{X}$ is representable too, in fact it is representable by the
same scheme $X$, now viewed as an object of $(\Sch'/S)_{fppf}$,
\item if $\mathcal{X}$ is representable by
$F \in \Sh((\Sch/S)_{fppf})$ which is
an algebraic space, then $f^{-1}\mathcal{X}$ is representable
by the algebraic space $f^{-1}F$,
\item if $\mathcal{X}$ is an algebraic stack, then $f^{-1}\mathcal{X}$
is an algebraic stack, and
\item if $\mathcal{X}$ is a Deligne-Mumford stack, then $f^{-1}\mathcal{X}$
is a Deligne-Mumford stack too.
\end{enumerate}
\end{lemma}

\begin{proof}
Let us prove (3). By
Lemma \ref{lemma-stack-presentation}
we may write $\mathcal{X} = [U/R]$ for some smooth
groupoid in algebraic spaces $(U, R, s, t, c)$. By
Groupoids in Spaces,
Lemma \ref{spaces-groupoids-lemma-quotient-stack-change-big-site}
we see that $f^{-1}[U/R] = [f^{-1}U/f^{-1}R]$.
Of course $(f^{-1}U, f^{-1}R, f^{-1}s, f^{-1}t, f^{-1}c)$
is a smooth groupoid in algebraic spaces too. Hence (3) is proved.

\medskip\noindent
Now the other cases (1), (2), (4) each mean that $\mathcal{X}$ has
a presentation $[U/R]$ of a particular kind, and hence translate into the
same kind of presentation for $f^{-1}\mathcal{X} = [f^{-1}U/f^{-1}R]$.
Whence the lemma is proved.
\end{proof}

\noindent
It is not true (in general) that the restriction of an algebraic space
over the bigger site is an algebraic space over the smaller site (simply
by reasons of cardinality). Hence we can only ever use a simple lemma of this
kind to enlarge the base category and never to shrink it.

\begin{lemma}
\label{lemma-fully-faithful}
Suppose $\Sch_{fppf}$ is contained in $\Sch'_{fppf}$.
Let $S$ be an object of $\Sch_{fppf}$. Denote
$\textit{Algebraic-Stacks}/S$ the $2$-category of algebraic spaces over $S$
defined using $\Sch_{fppf}$. Similarly, denote
$\textit{Algebraic-Stacks}'/S$ the $2$-category of algebraic spaces over $S$
defined using $\Sch'_{fppf}$. The rule
$\mathcal{X} \mapsto f^{-1}\mathcal{X}$ of
Lemma \ref{lemma-change-big-site}
defines a functor of $2$-categories
$$
\textit{Algebraic-Stacks}/S \longrightarrow \textit{Algebraic-Stacks}'/S
$$
which defines equivalences of morphism categories
$$
\Mor_{\textit{Algebraic-Stacks}/S}(\mathcal{X}, \mathcal{Y})
\longrightarrow
\Mor_{\textit{Algebraic-Stacks}'/S}(f^{-1}\mathcal{X}, f^{-1}\mathcal{Y})
$$
for every objects $\mathcal{X}, \mathcal{Y}$ of
$\textit{Algebraic-Stacks}/S$. An object
$\mathcal{X}'$ of $\textit{Algebraic-Stacks}'/S$
is equivalence to $f^{-1}\mathcal{X}$ for some
$\mathcal{X}$ in $\textit{Algebraic-Stacks}/S$
if and only if it has a presentation $\mathcal{X} = [U'/R']$
with $U', R'$ isomorphic to $f^{-1}U$, $f^{-1}R$ for some
$U, R \in \textit{Spaces}/S$.
\end{lemma}

\begin{proof}
The statement on morphism categories is a consequence of the more general
Stacks, Lemma \ref{stacks-lemma-bigger-site}.
The characterization of the ``essential image'' follows from the description
of $f^{-1}$ in the proof of
Lemma \ref{lemma-change-big-site}.
\end{proof}


\section{Change of base scheme}
\label{section-change-base-scheme}

\noindent
In this section we briefly discuss what happens when we change base schemes.
The upshot is that given a morphism $S \to S'$ of base schemes, any algebraic
stack over $S$ can be viewed as an algebraic stack over $S'$.

\begin{lemma}
\label{lemma-category-of-spaces-over-smaller-base-scheme}
Let $\Sch_{fppf}$ be a big fppf site.
Let $S \to S'$ be a morphism of this site.
The constructions A and B of
Stacks, Section \ref{stacks-section-localize}
above give isomorphisms of $2$-categories
$$
\left\{
\begin{matrix}
2\text{-category of algebraic}\\
\text{stacks }\mathcal{X}\text{ over }S
\end{matrix}
\right\}
\leftrightarrow
\left\{
\begin{matrix}
2\text{-category of pairs }(\mathcal{X}', f)\text{ consisting of an}\\
\text{algebraic stack }\mathcal{X}'\text{ over }S'\text{ and a morphism}\\
f : \mathcal{X}' \to (\Sch/S)_{fppf}\text{ of algebraic stacks over }S'
\end{matrix}
\right\}
$$
\end{lemma}

\begin{proof}
The statement makes sense as the functor
$j : (\Sch/S)_{fppf} \to (\Sch/S')_{fppf}$
is the localization functor associated to the object $S/S'$
of $(\Sch/S')_{fppf}$. By
Stacks, Lemma \ref{stacks-lemma-localize-stacks}
the only thing to show is that the constructions A and B
preserve the subcategories of algebraic stacks.
For example, if $\mathcal{X} = [U/R]$ then construction A
applied to $\mathcal{X}$ just produces
$\mathcal{X}' = \mathcal{X}$. Conversely, if $\mathcal{X}' = [U'/R']$
the morphism $p$ induces morphisms of algebraic spaces
$U' \to S$ and $R' \to S$, and then $\mathcal{X} = [U'/R']$
but now viewed as a stack over $S$. Hence the lemma is clear.
\end{proof}

\begin{definition}
\label{definition-viewed-as}
Let $\Sch_{fppf}$ be a big fppf site.
Let $S \to S'$ be a morphism of this site.
If $p : \mathcal{X} \to (\Sch/S)_{fppf}$
is an algebraic stack over $S$, then
$\mathcal{X}$ {\it viewed as an algebraic stack over $S'$}
is the algebraic stack
$$
\mathcal{X} \longrightarrow (\Sch/S')_{fppf}
$$
gotten by applying construction A of
Lemma \ref{lemma-category-of-spaces-over-smaller-base-scheme}
to $\mathcal{X}$.
\end{definition}

\noindent
Conversely, what if we start with an algebraic stack $\mathcal{X}'$
over $S'$ and we want to get an algebraic stack over $S$?
Well, then we consider the $2$-fibre product
$$
\mathcal{X}'_S
=
(\Sch/S)_{fppf} \times_{(\Sch/S')_{fppf}} \mathcal{X}'
$$
which is an algebraic stack over $S'$ according to
Lemma \ref{lemma-2-fibre-product}.
Moreover, it comes equipped with a natural $1$-morphism
$p : \mathcal{X}'_S \to (\Sch/S)_{fppf}$ and hence by
Lemma \ref{lemma-category-of-spaces-over-smaller-base-scheme}
it corresponds in a canonical way to an algebraic stack over $S$.

\begin{definition}
\label{definition-change-of-base}
Let $\Sch_{fppf}$ be a big fppf site.
Let $S \to S'$ be a morphism of this site.
Let $\mathcal{X}'$ be an algebraic stack over $S'$.
The {\it change of base of $\mathcal{X}'$} is the
algebraic space $\mathcal{X}'_S$ over $S$ described above.
\end{definition}




\input{chapters}

\bibliography{my}
\bibliographystyle{amsalpha}

\end{document}