The Stacks project

98.17 Morphisms of finite type

The property “locally of finite type” of morphisms of algebraic spaces is smooth local on the source-and-target, see Descent on Spaces, Remark 71.19.5. It is also stable under base change and fpqc local on the target, see Morphisms of Spaces, Lemma 64.23.3 and Descent on Spaces, Lemma 71.10.9. Hence, by Lemma 98.16.1 above, we may define what it means for a morphism of algebraic spaces to be locally of finite type as follows and it agrees with the already existing notion defined in Properties of Stacks, Section 97.3 when the morphism is representable by algebraic spaces.

Definition 98.17.1. Let $f : \mathcal{X} \to \mathcal{Y}$ be a morphism of algebraic stacks.

  1. We say $f$ locally of finite type if the equivalent conditions of Lemma 98.16.1 hold with $\mathcal{P} = \text{locally of finite type}$.

  2. We say $f$ is of finite type if it is locally of finite type and quasi-compact.

Lemma 98.17.2. The composition of finite type morphisms is of finite type. The same holds for locally of finite type.

Proof. Combine Remark 98.16.3 with Morphisms of Spaces, Lemma 64.23.2. $\square$

Lemma 98.17.3. A base change of a finite type morphism is finite type. The same holds for locally of finite type.

Proof. Combine Remark 98.16.4 with Morphisms of Spaces, Lemma 64.23.3. $\square$

Proof. Combine Remark 98.16.5 with Morphisms of Spaces, Lemma 64.23.7. $\square$

Lemma 98.17.5. Let $f : \mathcal{X} \to \mathcal{Y}$ be a morphism of algebraic stacks. If $f$ is locally of finite type and $\mathcal{Y}$ is locally Noetherian, then $\mathcal{X}$ is locally Noetherian.

Proof. Let

\[ \xymatrix{ U \ar[d] \ar[r] & V \ar[d] \\ \mathcal{X} \ar[r] & \mathcal{Y} } \]

be a commutative diagram where $U$, $V$ are schemes, $V \to \mathcal{Y}$ is surjective and smooth, and $U \to V \times _\mathcal {Y} \mathcal{X}$ is surjective and smooth. Then $U \to V$ is locally of finite type. If $\mathcal{Y}$ is locally Noetherian, then $V$ is locally Noetherian. By Morphisms, Lemma 29.14.6 we see that $U$ is locally Noetherian, which means that $\mathcal{X}$ is locally Noetherian. $\square$

The following two lemmas will be improved on later (after we have discussed morphisms of algebraic stacks which are locally of finite presentation).

Lemma 98.17.6. Let $f : \mathcal{X} \to \mathcal{Y}$ be a morphism of algebraic stacks. Let $W \to \mathcal{Y}$ be a surjective, flat, and locally of finite presentation where $W$ is an algebraic space. If the base change $W \times _\mathcal {Y} \mathcal{X} \to W$ is locally of finite type, then $f$ is locally of finite type.

Proof. Choose an algebraic space $V$ and a surjective smooth morphism $V \to \mathcal{Y}$. Choose an algebraic space $U$ and a surjective smooth morphism $U \to V \times _\mathcal {Y} \mathcal{X}$. We have to show that $U \to V$ is locally of finite presentation. Now we base change everything by $W \to \mathcal{Y}$: Set $U' = W \times _\mathcal {Y} U$, $V' = W \times _\mathcal {Y} V$, $\mathcal{X}' = W \times _\mathcal {Y} \mathcal{X}$, and $\mathcal{Y}' = W \times _\mathcal {Y} \mathcal{Y} = W$. Then it is still true that $U' \to V' \times _{\mathcal{Y}'} \mathcal{X}'$ is smooth by base change. Hence by our definition of locally finite type morphisms of algebraic stacks and the assumption that $\mathcal{X}' \to \mathcal{Y}'$ is locally of finite type, we see that $U' \to V'$ is locally of finite type. Then, since $V' \to V$ is surjective, flat, and locally of finite presentation as a base change of $W \to \mathcal{Y}$ we see that $U \to V$ is locally of finite type by Descent on Spaces, Lemma 71.10.9 and we win. $\square$

Lemma 98.17.7. Let $\mathcal{X} \to \mathcal{Y} \to \mathcal{Z}$ be morphisms of algebraic stacks. Assume $\mathcal{X} \to \mathcal{Z}$ is locally of finite type and that $\mathcal{X} \to \mathcal{Y}$ is representable by algebraic spaces, surjective, flat, and locally of finite presentation. Then $\mathcal{Y} \to \mathcal{Z}$ is locally of finite type.

Proof. Choose an algebraic space $W$ and a surjective smooth morphism $W \to \mathcal{Z}$. Choose an algebraic space $V$ and a surjective smooth morphism $V \to W \times _\mathcal {Z} \mathcal{Y}$. Set $U = V \times _\mathcal {Y} \mathcal{X}$ which is an algebraic space. We know that $U \to V$ is surjective, flat, and locally of finite presentation and that $U \to W$ is locally of finite type. Hence the lemma reduces to the case of morphisms of algebraic spaces. The case of morphisms of algebraic spaces is Descent on Spaces, Lemma 71.15.2. $\square$

Lemma 98.17.8. Let $f : \mathcal{X} \to \mathcal{Y}$, $g : \mathcal{Y} \to \mathcal{Z}$ be morphisms of algebraic stacks. If $g \circ f : \mathcal{X} \to \mathcal{Z}$ is locally of finite type, then $f : \mathcal{X} \to \mathcal{Y}$ is locally of finite type.

Proof. We can find a diagram

\[ \xymatrix{ U \ar[r] \ar[d] & V \ar[r] \ar[d] & W \ar[d] \\ \mathcal{X} \ar[r] & \mathcal{Y} \ar[r] & \mathcal{Z} } \]

where $U$, $V$, $W$ are schemes, the vertical arrow $W \to \mathcal{Z}$ is surjective and smooth, the arrow $V \to \mathcal{Y} \times _\mathcal {Z} W$ is surjective and smooth, and the arrow $U \to \mathcal{X} \times _\mathcal {Y} V$ is surjective and smooth. Then also $U \to \mathcal{X} \times _\mathcal {Z} V$ is surjective and smooth (as a composition of a surjective and smooth morphism with a base change of such). By definition we see that $U \to W$ is locally of finite type. Hence $U \to V$ is locally of finite type by Morphisms, Lemma 29.14.8 which in turn means (by definition) that $\mathcal{X} \to \mathcal{Y}$ is locally of finite type. $\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 06FR. Beware of the difference between the letter 'O' and the digit '0'.