Lemma 32.8.8 (06AC)—The Stacks project

Processing math: 100%

Table of contents
Part 2: Schemes
Chapter 32: Limits of Schemes
Section 32.8: Descending properties of morphisms
Lemma 32.8.8 (cite)

numberstags

Lemma 32.8.8. Notation and assumptions as in Situation 32.8.1. If

$f$ is finite locally free (of degree $d$ ),
$f_0$ is locally of finite presentation,

then $f_ i$ is finite locally free (of degree $d$ ) for some $i \geq 0$ .

Proof. By Lemmas 32.8.7 and 32.8.3 we find an $i$ such that $f_ i$ is flat and finite. On the other hand, $f_ i$ is locally of finite presentation. Hence $f_ i$ is finite locally free by Morphisms, Lemma 29.48.2. If moreover $f$ is finite locally free of degree $d$ , then the image of $Y \to Y_ i$ is contained in the open and closed locus $W_ d \subset Y_ i$ over which $f_ i$ has degree $d$ . By Lemma 32.4.10 we see that for some $i' \geq i$ the image of $Y_{i'} \to Y_ i$ is contained in $W_ d$ . Then $f_{i'}$ will be finite locally free of degree $d$ . $\square$

Comments (0)

There are also:

5 comment(s) on Section 32.8: Descending properties of morphisms

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

Comments (0)

Post a comment