Remark 107.5.23. We note that in the context of the preceding lemma, it need not be that $\dim \mathcal{T} \geq \dim \mathcal{Z}$; this does not contradict the inequality in the statement of the lemma, because the fibres of the morphism $f$ are again algebraic stacks, and so may have negative dimension. This is illustrated by taking $k$ to be a field, and applying the lemma to the morphism $[\mathop{\mathrm{Spec}}k/\mathbf{G}_ m] \to \mathop{\mathrm{Spec}}k$.
If the morphism $f$ in the statement of the lemma is assumed to be quasi-DM (in the sense of Morphisms of Stacks, Definition 101.4.1; e.g. morphisms that are representable by algebraic spaces are quasi-DM), then the fibres of the morphism over points of the target are quasi-DM algebraic stacks, and hence are of non-negative dimension. In this case, the lemma implies that indeed $\dim \mathcal{T} \geq \dim \mathcal{Z}$. In fact, we obtain the following more general result.
Comments (0)