Lemma 97.6.1. Let $f : \mathcal{X} \to \mathcal{Y}$ be a morphism of algebraic stacks.

1. The following are equivalent

1. $\mathcal{I}_{\mathcal{X}/\mathcal{Y}} \to \mathcal{X}$ is separated,

2. $\Delta _{f, 1} = \Delta _ f : \mathcal{X} \to \mathcal{X} \times _\mathcal {Y} \mathcal{X}$ is separated, and

3. $\Delta _{f, 2} = e : \mathcal{X} \to \mathcal{I}_{\mathcal{X}/\mathcal{Y}}$ is a closed immersion.

2. The following are equivalent

1. $\mathcal{I}_{\mathcal{X}/\mathcal{Y}} \to \mathcal{X}$ is quasi-separated,

2. $\Delta _{f, 1} = \Delta _ f : \mathcal{X} \to \mathcal{X} \times _\mathcal {Y} \mathcal{X}$ is quasi-separated, and

3. $\Delta _{f, 2} = e : \mathcal{X} \to \mathcal{I}_{\mathcal{X}/\mathcal{Y}}$ is a quasi-compact.

3. The following are equivalent

1. $\mathcal{I}_{\mathcal{X}/\mathcal{Y}} \to \mathcal{X}$ is locally separated,

2. $\Delta _{f, 1} = \Delta _ f : \mathcal{X} \to \mathcal{X} \times _\mathcal {Y} \mathcal{X}$ is locally separated, and

3. $\Delta _{f, 2} = e : \mathcal{X} \to \mathcal{I}_{\mathcal{X}/\mathcal{Y}}$ is an immersion.

4. The following are equivalent

1. $\mathcal{I}_{\mathcal{X}/\mathcal{Y}} \to \mathcal{X}$ is unramified,

2. $f$ is DM.

5. The following are equivalent

1. $\mathcal{I}_{\mathcal{X}/\mathcal{Y}} \to \mathcal{X}$ is locally quasi-finite,

2. $f$ is quasi-DM.

Proof. Proof of (1), (2), and (3). Choose an algebraic space $U$ and a surjective smooth morphism $U \to \mathcal{X}$. Then $G = U \times _\mathcal {X} \mathcal{I}_{\mathcal{X}/\mathcal{Y}}$ is an algebraic space over $U$ (Lemma 97.5.1). In fact, $G$ is a group algebraic space over $U$ by the group law on relative inertia constructed in Remark 97.5.2. Moreover, $G \to \mathcal{I}_{\mathcal{X}/\mathcal{Y}}$ is surjective and smooth as a base change of $U \to \mathcal{X}$. Finally, the base change of $e : \mathcal{X} \to \mathcal{I}_{\mathcal{X}/\mathcal{Y}}$ by $G \to \mathcal{I}_{\mathcal{X}/\mathcal{Y}}$ is the identity $U \to G$ of $G/U$. Thus the equivalence of (a) and (c) follows from Groupoids in Spaces, Lemma 74.6.1. Since $\Delta _{f, 2}$ is the diagonal of $\Delta _ f$ we have (b) $\Leftrightarrow$ (c) by definition.

Proof of (4) and (5). Recall that (4)(b) means $\Delta _ f$ is unramified and (5)(b) means that $\Delta _ f$ is locally quasi-finite. Choose a scheme $Z$ and a morphism $a : Z \to \mathcal{X} \times _\mathcal {Y} \mathcal{X}$. Then $a = (x_1, x_2, \alpha )$ where $x_ i : Z \to \mathcal{X}$ and $\alpha : f \circ x_1 \to f \circ x_2$ is a $2$-morphism. Recall that

$\vcenter { \xymatrix{ \mathit{Isom}_{\mathcal{X}/\mathcal{Y}}^\alpha (x_1, x_2) \ar[d] \ar[r] & Z \ar[d] \\ \mathcal{X} \ar[r]^{\Delta _ f} & \mathcal{X} \times _\mathcal {Y} \mathcal{X} } } \quad \text{and}\quad \vcenter { \xymatrix{ \mathit{Isom}_{\mathcal{X}/\mathcal{Y}}(x_2, x_2) \ar[d] \ar[r] & Z \ar[d]^{x_2} \\ \mathcal{I}_{\mathcal{X}/\mathcal{Y}} \ar[r] & \mathcal{X} } }$

are cartesian squares. By Lemma 97.5.4 the algebraic space $\mathit{Isom}_{\mathcal{X}/\mathcal{Y}}^\alpha (x_1, x_2)$ is a pseudo torsor for $\mathit{Isom}_{\mathcal{X}/\mathcal{Y}}(x_2, x_2)$ over $Z$. Thus the equivalences in (4) and (5) follow from Groupoids in Spaces, Lemma 74.9.5. $\square$

There are also:

• 8 comment(s) on Section 97.6: Higher diagonals

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).