Lemma 30.2.4 (089W)—The Stacks project

Loading web-font TeX/Math/Italic

Table of contents
Part 2: Schemes
Chapter 30: Cohomology of Schemes
Section 30.2: Čech cohomology of quasi-coherent sheaves
Lemma 30.2.4 (cite)

previous lemma
next lemma

numberstags

history
statistics
26 tags refer to this tag

Lemma 30.2.4. Let $f : X \to S$ be an affine morphism of schemes. Let $\mathcal{F}$ be a quasi-coherent $\mathcal{O}_ X$ -module. Then $H^ i(X, \mathcal{F}) = H^ i(S, f_*\mathcal{F})$ for all $i \geq 0$ .

Proof. Follows from Lemma 30.2.3 and the Leray spectral sequence. See Cohomology, Lemma 20.13.6. $\square$

Comments (0)

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