Lemma 50.3.3 (0FLY)—The Stacks project

Processing math: 100%

Table of contents
Part 3: Topics in Scheme Theory
Chapter 50: de Rham Cohomology
Section 50.3: de Rham cohomology
Lemma 50.3.3 (cite)

previous lemma
next lemma

numberstags

history
statistics
1 tag refers to this tag

Lemma 50.3.3. Let $p : X \to S$ be a proper morphism of schemes with $S$ locally Noetherian. Then $Rp_*\Omega ^\bullet _{X/S}$ is an object of $D_{\textit{Coh}}(\mathcal{O}_ S)$ .

Proof. In this case by Morphisms, Lemma 29.32.12 the modules $\Omega ^ i_{X/S}$ are coherent. Hence we can use exactly the same argument as in the proof of Lemma 50.3.2 using Cohomology of Schemes, Proposition 30.19.1. $\square$

Comments (0)

There are also:

3 comment(s) on Section 50.3: de Rham cohomology

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