Lemma 107.5.24. Let $f: \mathcal{T} \to \mathcal{X}$ be a locally of finite type morphism of Jacobson, pseudo-catenary, and locally Noetherian algebraic stacks which is quasi-DM, whose source is irreducible and whose target is quasi-separated, and let $\mathcal{Z} \hookrightarrow \mathcal{X}$ denote the scheme-theoretic image of $\mathcal{T}$. Then $\dim \mathcal{Z} \leq \dim \mathcal{T}$, and furthermore, exactly one of the following two conditions holds:
for every finite type point $t \in |T|,$ we have $\dim _ t(\mathcal{T}_{f(t)}) > 0,$ in which case $\dim \mathcal{Z} < \dim \mathcal{T}$; or
$\mathcal{T}$ and $\mathcal{Z}$ are of the same dimension.
Comments (0)