The Stacks project

Lemma 107.5.11. Let $f: \mathcal{T} \to \mathcal{X}$ be a locally of finite type morphism of algebraic stacks.

  1. The function $t \mapsto \dim _ t(\mathcal{T}_{f(t)})$ is upper semi-continuous on $|\mathcal{T}|$.

  2. If $f$ is smooth, then the function $t \mapsto \dim _ t(\mathcal{T}_{f(t)})$ is locally constant on $|\mathcal{T}|$.

Proof. Suppose to begin with that $\mathcal{T}$ is a scheme $T$, let $U \to \mathcal{X}$ be a smooth surjective morphism whose source is a scheme, and let $T' = T \times _{\mathcal{X}} U$. Let $f': T' \to U$ be the pull-back of $f$ over $U$, and let $g: T' \to T$ be the projection.

Lemma 107.5.9 shows that $\dim _{t'}(T'_{f'(t')}) = \dim _{g(t')}(T_{f(g(t'))}),$ for $t' \in T'$, while, since $g$ is smooth and surjective (being the base-change of a smooth surjective morphism) the map induced by $g$ on underlying topological spaces is continuous and open (by Properties of Spaces, Lemma 66.4.6), and surjective. Thus it suffices to note that part (1) for the morphism $f'$ follows from Morphisms of Spaces, Lemma 67.34.4, and part (2) from either of Morphisms, Lemma 29.29.4 or Morphisms, Lemma 29.34.12 (each of which gives the result for schemes, from which the analogous results for algebraic spaces can be deduced exactly as in Morphisms of Spaces, Lemma 67.34.4.

Now return to the general case, and choose a smooth surjective morphism $h:V \to \mathcal{T}$ whose source is a scheme. If $v \in V$, then, essentially by definition, we have

\[ \dim _{h(v)}(\mathcal{T}_{f(h(v))}) = \dim _{v}(V_{f(h(v))}) - \dim _{v}(V_{h(v)}). \]

Since $V$ is a scheme, we have proved that the first of the terms on the right hand side of this equality is upper semi-continuous (and even locally constant if $f$ is smooth), while the second term is in fact locally constant. Thus their difference is upper semi-continuous (and locally constant if $f$ is smooth), and hence the function $\dim _{h(v)}(\mathcal{T}_{f(h(v))})$ is upper semi-continuous on $|V|$ (and locally constant if $f$ is smooth). Since the morphism $|V| \to |\mathcal{T}|$ is open and surjective, the lemma follows. $\square$

Comments (0)

Post a comment

Your email address will not be published. Required fields are marked.

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0DRQ. Beware of the difference between the letter 'O' and the digit '0'.