Lemma 50.3.1 (0FLW)—The Stacks project

Loading web-font TeX/Math/Italic

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

next lemma

numberstags

history
statistics
1 tag refers to this tag

Lemma 50.3.1. Let $X \to S$ be a morphism of affine schemes given by the ring map $R \to A$ . Then $R\Gamma (X, \Omega ^\bullet _{X/S}) = \Omega ^\bullet _{A/R}$ in $D(R)$ and $H^ i_{dR}(X/S) = H^ i(\Omega ^\bullet _{A/R})$ .

Proof. This follows from Cohomology of Schemes, Lemma 30.2.2 and Leray's acyclicity lemma (Derived Categories, Lemma 13.16.7). $\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