Lemma 105.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:

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

2. $\mathcal{T}$ and $\mathcal{Z}$ are of the same dimension.

Proof. As was observed in the preceding remark, the dimension of a quasi-DM stack is always non-negative, from which we conclude that $\dim _ t \mathcal{T}_{f(t)} \geq 0$ for all $t \in |\mathcal{T}|$, with the equality

$\dim _ t \mathcal{T}_{f(t)} = \dim _ t \mathcal{T} - \dim _{f(t)} \mathcal{Z}$

holding for a dense open subset of points $t\in |\mathcal{T}|$. $\square$

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