Lemma 100.23.8. Let $\mathcal{X} \to \mathcal{Y} \to \mathcal{Z}$ be morphisms of algebraic stacks. Assume that $\mathcal{X} \to \mathcal{Z}$ is locally quasi-finite and $\mathcal{Y} \to \mathcal{Z}$ is quasi-DM. Then $\mathcal{X} \to \mathcal{Y}$ is locally quasi-finite.

Proof. Write $\mathcal{X} \to \mathcal{Y}$ as the composition

$\mathcal{X} \longrightarrow \mathcal{X} \times _\mathcal {Z} \mathcal{Y} \longrightarrow \mathcal{Y}$

The second arrow is locally quasi-finite as a base change of $\mathcal{X} \to \mathcal{Z}$, see Lemma 100.23.3. The first arrow is locally quasi-finite by Lemma 100.4.8 as $\mathcal{Y} \to \mathcal{Z}$ is quasi-DM. Hence $\mathcal{X} \to \mathcal{Y}$ is locally quasi-finite by Lemma 100.23.5. $\square$

There are also:

• 5 comment(s) on Section 100.23: Locally quasi-finite morphisms

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