The Stacks project

Lemma 107.5.22. Let $f: \mathcal{T} \to \mathcal{X}$ be a locally of finite type morphism of Jacobson, pseudo-catenary, and locally Noetherian algebraic stacks, 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 for all $t \in |T|$, we have that $\dim _ t( \mathcal{T}_{f(t)}) \geq \dim \mathcal{T} - \dim \mathcal{Z}$, and there is a non-empty (equivalently, dense) open subset of $|\mathcal{T}|$ over which equality holds.

Proof. Replacing $\mathcal{X}$ by $\mathcal{Z}$, we may and do assume that $f$ is scheme theoretically dominant, and also that $\mathcal{X}$ is irreducible. By the upper semi-continuity of fibre dimensions (Lemma 107.5.11 (1)), it suffices to prove that the equality $\dim _ t( \mathcal{T}_{f(t)}) =\dim \mathcal{T} - \dim \mathcal{Z}$ holds for $t$ lying in some non-empty open substack of $\mathcal{T}$. For this reason, in the argument we are always free to replace $\mathcal{T}$ by a non-empty open substack.

Let $T' \to \mathcal{T}$ be a smooth surjective morphism whose source is a scheme, and let $T$ be a non-empty quasi-compact open subset of $T'$. Since $\mathcal{Y}$ is quasi-separated, we find that $T \to \mathcal{Y}$ is quasi-compact (by Morphisms of Stacks, Lemma 101.7.7, applied to the morphisms $T \to \mathcal{Y} \to \mathop{\mathrm{Spec}}\mathbf{Z}$). Thus, if we replace $\mathcal{T}$ by the image of $T$ in $\mathcal{T}$, then we may assume (appealing to Morphisms of Stacks, Lemma 101.7.6 that the morphism $f:\mathcal{T} \to \mathcal{X}$ is quasi-compact.

If we choose a smooth surjection $U \to \mathcal{X}$ with $U$ a scheme, then Lemma 107.3.1 ensures that we may find an irreducible open subset $V$ of $U$ such that $V \to \mathcal{X}$ is smooth and scheme-theoretically dominant. Since scheme-theoretic dominance for quasi-compact morphisms is preserved by flat base-change, the base-change $\mathcal{T} \times _{\mathcal{X}} V \to V$ of the scheme-theoretically dominant morphism $f$ is again scheme-theoretically dominant. We let $Z$ denote a scheme admitting a smooth surjection onto this fibre product; then $Z \to \mathcal{T} \times _{\mathcal{X}} V \to V$ is again scheme-theoretically dominant. Thus we may find an irreducible component $C$ of $Z$ which scheme-theoretically dominates $V$. Since the composite $Z \to \mathcal{T}\times _{\mathcal{X}} V \to \mathcal{T}$ is smooth, and since $\mathcal{T}$ is irreducible, Lemma 107.3.1 shows that any irreducible component of the source has dense image in $|\mathcal{T}|$. We now replace $C$ by a non-empty open subset $W$ which is disjoint from every other irreducible component of $Z$, and then replace $\mathcal{T}$ and $\mathcal{X}$ by the images of $W$ and $V$ (and apply Lemma 107.5.17 to see that this doesn't change the dimension of either $\mathcal{T}$ or $\mathcal{X}$). If we let $\mathcal{W}$ denote the image of the morphism $W \to \mathcal{T}\times _{\mathcal{X}} V$, then $\mathcal{W}$ is open in $\mathcal{T}\times _{\mathcal{X}} V$ (since the morphism $W \to \mathcal{T}\times _{\mathcal{X}} V$ is smooth), and is irreducible (being the image of an irreducible scheme). Thus we end up with a commutative diagram

\[ \xymatrix{ W \ar[dr] \ar[r] & \mathcal{W} \ar[r] \ar[d] & V \ar[d] \\ & \mathcal{T} \ar[r] & \mathcal{X} } \]

in which $W$ and $V$ are schemes, the vertical arrows are smooth and surjective, the diagonal arrows and the left-hand upper horizontal arroware smooth, and the induced morphism $\mathcal{W} \to \mathcal{T}\times _{\mathcal{X}} V$ is an open immersion. Using this diagram, together with the definitions of the various dimensions involved in the statement of the lemma, we will reduce our verification of the lemma to the case of schemes, where it is known.

Fix $w \in |W|$ with image $w' \in |\mathcal{W}|$, image $t \in |\mathcal{T}|$, image $v$ in $|V|$, and image $x$ in $|\mathcal{X}|$. Essentially by definition (using the fact that $\mathcal{W}$ is open in $\mathcal{T}\times _{\mathcal{X}} V$, and that the fibre of a base-change is the base-change of the fibre), we obtain the equalities

\[ \dim _ v V_ x = \dim _{w'} \mathcal{W}_ t \]

and

\[ \dim _ t \mathcal{T}_ x = \dim _{w'} \mathcal{W}_ v. \]

By Lemma 107.5.4 (the diagonal arrow and right-hand vertical arrow in our diagram realise $W$ and $V$ as smooth covers by schemes of the stacks $\mathcal{T}$ and $\mathcal{X}$), we find that

\[ \dim _ t \mathcal{T} = \dim _ w W - \dim _ w W_ t \]

and

\[ \dim _ x \mathcal{X} = \dim _ v V - \dim _ v V_ x. \]

Combining the equalities, we find that

\[ \dim _ t \mathcal{T}_ x - \dim _ t \mathcal{T} + \dim _ x \mathcal{X} = \dim _{w'} \mathcal{W}_ v - \dim _ w W + \dim _ w W_ t + \dim _ v V - \dim _{w'} \mathcal{W}_ t \]

Since $W \to \mathcal{W}$ is a smooth surjection, the same is true if we base-change over the morphism $\mathop{\mathrm{Spec}}\kappa (v) \to V$ (thinking of $W \to \mathcal{W}$ as a morphism over $V$), and from this smooth morphism we obtain the first of the following two equalities

\[ \dim _ w W_ v - \dim _{w'} \mathcal{W}_ v = \dim _ w (W_ v)_{w'} = \dim _ w W_{w'}; \]

the second equality follows via a direct comparison of the two fibres involved. Similarly, if we think of $W \to \mathcal{W}$ as a morphism of schemes over $\mathcal{T}$, and base-change over some representative of the point $t \in |\mathcal{T}|$, we obtain the equalities

\[ \dim _ w W_ t - \dim _{w'} \mathcal{W}_ t = \dim _ w (W_ t)_{w'} = \dim _ w W_{w'}. \]

Putting everything together, we find that

\[ \dim _ t \mathcal{T}_ x - \dim _ t \mathcal{T} + \dim _ x \mathcal{X} = \dim _ w W_ v - \dim _ w W + \dim _ v V. \]

Our goal is to show that the left-hand side of this equality vanishes for a non-empty open subset of $t$. As $w$ varies over a non-empty open subset of $W$, its image $t \in |\mathcal{T}|$ varies over a non-empty open subset of $|\mathcal{T}|$ (as $W \to \mathcal{T}$ is smooth).

We are therefore reduced to showing that if $W\to V$ is a scheme-theoretically dominant morphism of irreducible locally Noetherian schemes that is locally of finite type, then there is a non-empty open subset of points $w\in W$ such that $\dim _ w W_ v =\dim _ w W - \dim _ v V$ (where $v$ denotes the image of $w$ in $V$). This is a standard fact, whose proof we recall for the convenience of the reader.

We may replace $W$ and $V$ by their underlying reduced subschemes without altering the validity (or not) of this equation, and thus we may assume that they are in fact integral schemes. Since $\dim _ w W_ v$ is locally constant on $W,$ replacing $W$ by a non-empty open subset if necessary, we may assume that $\dim _ w W_ v$ is constant, say equal to $d$. Choosing this open subset to be affine, we may also assume that the morphism $W\to V$ is in fact of finite type. Replacing $V$ by a non-empty open subset if necessary (and then pulling back $W$ over this open subset; the resulting pull-back is non-empty, since the flat base-change of a quasi-compact and scheme-theoretically dominant morphism remains scheme-theoretically dominant), we may furthermore assume that $W$ is flat over $V$. The morphism $W\to V$ is thus of relative dimension $d$ in the sense of Morphisms, Definition 29.29.1 and it follows from Morphisms, Lemma 29.29.6 that $\dim _ w(W) = \dim _ v(V) + d,$ as required. $\square$


Comments (3)

Comment #7549 by DatPham on

I guess in the statement of the Lemma, should be any point in (rather than a finite type one)?

Comment #8707 by Haohao Liu on

By a "scheme-theoretically dominant" morphism, do you mean a morphism whose scheme-theoretic image is the full target?


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 0DS4. Beware of the difference between the letter 'O' and the digit '0'.