Lemma 32.19.3. Let $f : X \to Y$ be a morphism of schemes. Let $d \geq 0$. Let $\mathcal{F}$ be an $\mathcal{O}_ X$-module. Assume
$f$ is a proper morphism all of whose fibres have dimension $\leq d$,
$\mathcal{F}$ is a quasi-coherent $\mathcal{O}_ X$-module of finite type.
Then $R^ df_*\mathcal{F}$ is a quasi-coherent $\mathcal{O}_ X$-module of finite type.
Proof. The module $R^ df_*\mathcal{F}$ is quasi-coherent by Cohomology of Schemes, Lemma 30.4.5. The question is local on $Y$ hence we may assume $Y$ is affine. Say $Y = \mathop{\mathrm{Spec}}(R)$. Then it suffices to prove that $H^ d(X, \mathcal{F})$ is a finite $R$-module.
By Lemma 32.13.2 we can write $X = \mathop{\mathrm{lim}}\nolimits X_ i$ as a cofiltered limit with $X_ i \to Y$ proper and of finite presentation and such that both $X \to X_ i$ and transition morphisms are closed immersions. For some $i$ we have that $X_ i \to Y$ has fibres of dimension $\leq d$, see Lemma 32.18.1. We have $R^ pf_*\mathcal{F} = R^ pf_{i, *}(X \to X_ i)_*\mathcal{F}$ by Cohomology of Schemes, Lemma 30.2.3 and Leray (Cohomology, Lemma 20.13.8). Thus we may replace $X$ by $X_ i$ and reduce to the case discussed in the next paragraph.
Assume $Y$ is affine and $f : X \to Y$ is proper and of finite presentation and all fibres have dimension $\leq d$. We can write $\mathcal{F}$ as a quotient of a finitely presented $\mathcal{O}_ X$-module $\mathcal{F}'$, see Properties, Lemma 28.22.8. The map $H^ d(X, \mathcal{F}') \to H^ d(X, \mathcal{F})$ is surjective, as we have $H^{d + 1}(X, \mathop{\mathrm{Ker}}(\mathcal{F}' \to \mathcal{F})) = 0$ by the vanishing of higher cohomology seen in Lemma 32.19.2 (or its proof). Thus we reduce to the case discussed in the next paragraph.
Assume $Y = \mathop{\mathrm{Spec}}(R)$ is affine and $f : X \to Y$ is proper and of finite presentation and all fibres have dimension $\leq d$ and $\mathcal{F}$ is an $\mathcal{O}_ X$-module of finite presentation. Write $Y = \mathop{\mathrm{lim}}\nolimits _{i \in I} Y_ i$ as a cofiltered limit of affine schemes with $Y_ i = \mathop{\mathrm{Spec}}(R_ i)$ the spectrum of a Noetherian ring (for example a finite type $\mathbf{Z}$-algebra). We can choose an element $0 \in I$ and a finite type morphism $X_0 \to Y_0$ such that $X \cong Y \times _{Y_0} X_0$, see Lemma 32.10.1. After increasing $0$ we may assume $X_0 \to Y_0$ is proper (Lemma 32.13.1) and that the fibres of $X_0 \to Y_0$ have dimension $\leq d$ (Lemma 32.18.1). After increasing $0$ we can assume there is a coherent $\mathcal{O}_{X_0}$-module $\mathcal{F}_0$ which pulls back to $\mathcal{F}$, see Lemma 32.10.2. By Lemma 32.19.1 we have
This finishes the proof because the cohomology module $H^ d(X_0, \mathcal{F}_0)$ is finite by Cohomology of Schemes, Lemma 30.19.2. $\square$
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).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)