Definition 100.8.1. Let $f : \mathcal{X} \to \mathcal{Y}$ be a morphism of algebraic stacks. We say $f$ is a monomorphism if it is representable by algebraic spaces and a monomorphism in the sense of Section 100.3.
100.8 Monomorphisms of algebraic stacks
We define a monomorphism of algebraic stacks in the following way. We will see in Lemma 100.8.4 that this is compatible with the corresponding $2$-category theoretic notion.
First some basic lemmas.
Lemma 100.8.2. Let $\mathcal{X} \to \mathcal{Y}$ be a morphism of algebraic stacks. Let $\mathcal{Z} \to \mathcal{Y}$ be a monomorphism. Then $\mathcal{Z} \times _\mathcal {Y} \mathcal{X} \to \mathcal{X}$ is a monomorphism.
Proof. This follows from the general discussion in Section 100.3. $\square$
Lemma 100.8.3. Compositions of monomorphisms of algebraic stacks are monomorphisms.
Proof. This follows from the general discussion in Section 100.3 and Morphisms of Spaces, Lemma 67.10.4. $\square$
Lemma 100.8.4. Let $f : \mathcal{X} \to \mathcal{Y}$ be a morphism of algebraic stacks. The following are equivalent:
$f$ is a monomorphism,
$f$ is fully faithful,
the diagonal $\Delta _ f : \mathcal{X} \to \mathcal{X} \times _\mathcal {Y} \mathcal{X}$ is an equivalence, and
there exists an algebraic space $W$ and a surjective, flat morphism $W \to \mathcal{Y}$ which is locally of finite presentation such that $V = \mathcal{X} \times _\mathcal {Y} W$ is an algebraic space, and the morphism $V \to W$ is a monomorphism of algebraic spaces.
Proof. The equivalence of (1) and (4) follows from the general discussion in Section 100.3 and in particular Lemmas 100.3.1 and 100.3.3.
The equivalence of (2) and (3) is Categories, Lemma 4.35.10.
Assume the equivalent conditions (2) and (3). Then $f$ is representable by algebraic spaces according to Algebraic Stacks, Lemma 94.15.2. Moreover, the $2$-Yoneda lemma combined with the fully faithfulness implies that for every scheme $T$ the functor
\[ \mathop{\mathrm{Mor}}\nolimits (T, \mathcal{X}) \longrightarrow \mathop{\mathrm{Mor}}\nolimits (T, \mathcal{Y}) \]
is fully faithful. Hence given a morphism $y : T \to \mathcal{Y}$ there exists up to unique $2$-isomorphism at most one morphism $x : T \to \mathcal{X}$ such that $y \cong f \circ x$. In particular, given a morphism of schemes $h : T' \to T$ there exists at most one lift $\tilde h : T' \to T \times _\mathcal {Y} \mathcal{X}$ of $h$. Thus $T \times _\mathcal {Y} \mathcal{X} \to T$ is a monomorphism of algebraic spaces, which proves that (1) holds.
Finally, assume that (1) holds. Then for any scheme $T$ and morphism $y : T \to \mathcal{Y}$ the fibre product $T \times _\mathcal {Y} \mathcal{X}$ is an algebraic space, and $T \times _\mathcal {Y} \mathcal{X} \to T$ is a monomorphism. Hence there exists up to unique isomorphism exactly one pair $(x, \alpha )$ where $x : T \to \mathcal{X}$ is a morphism and $\alpha : f \circ x \to y$ is a $2$-morphism. Applying the $2$-Yoneda lemma this says exactly that $f$ is fully faithful, i.e., that (2) holds. $\square$
Lemma 100.8.5. A monomorphism of algebraic stacks induces an injective map of sets of points.
Proof. Let $f : \mathcal{X} \to \mathcal{Y}$ be a monomorphism of algebraic stacks. Suppose that $x_ i : \mathop{\mathrm{Spec}}(K_ i) \to \mathcal{X}$ be morphisms such that $f \circ x_1$ and $f \circ x_2$ define the same element of $|\mathcal{Y}|$. Applying the definition we find a common extension $\Omega $ with corresponding morphisms $c_ i : \mathop{\mathrm{Spec}}(\Omega ) \to \mathop{\mathrm{Spec}}(K_ i)$ and a $2$-isomorphism $\beta : f \circ x_1 \circ c_1 \to f \circ x_1 \circ c_2$. As $f$ is fully faithful, see Lemma 100.8.4, we can lift $\beta $ to an isomorphism $\alpha : x_1 \circ c_1 \to x_1 \circ c_2$. Hence $x_1$ and $x_2$ define the same point of $|\mathcal{X}|$ as desired. $\square$
Lemma 100.8.6. Let $\mathcal{X} \to \mathcal{X}' \to \mathcal{Y}$ be morphisms of algebraic stacks. If $\mathcal{X} \to \mathcal{X}'$ is a monomorphism then the canonical diagram is a fibre product square.
\[ \xymatrix{ \mathcal{X} \ar[r] \ar[d] & \mathcal{X} \times _\mathcal {Y} \mathcal{X} \ar[d] \\ \mathcal{X}' \ar[r] & \mathcal{X}' \times _\mathcal {Y} \mathcal{X}' } \]
Proof. We have $\mathcal{X} = \mathcal{X} \times _{\mathcal{X}'} \mathcal{X}$ by Lemma 100.8.4. Thus the result by applying Categories, Lemma 4.31.13. $\square$
Post a comment
Your email address will not be published. Required fields are marked.
In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)