Lemma 35.12.2 (0755)—The Stacks project

Loading web-font TeX/Math/Italic

Table of contents
Part 2: Schemes
Chapter 35: Descent
Section 35.12: Parasitic modules
Lemma 35.12.2 (cite)

numberstags

Lemma 35.12.2. Let $S$ be a scheme. Let $\tau \in \{ Zar, {\acute{e}tale}, smooth, syntomic, fppf\}$ . Let $\mathcal{G}$ be a presheaf of $\mathcal{O}$ -modules on $(\mathit{Sch}/S)_\tau$ .

If $\mathcal{G}$ is parasitic for the $\tau$ -topology, then $H^ p_\tau (U, \mathcal{G}) = 0$ for every $U$ open in $S$ , resp. étale over $S$ , resp. smooth over $S$ , resp. syntomic over $S$ , resp. flat and locally of finite presentation over $S$ .
If $\mathcal{G}$ is parasitic then $H^ p_\tau (U, \mathcal{G}) = 0$ for every $U$ flat over $S$ .

Proof. Proof in case $\tau = fppf$ ; the other cases are proved in the exact same way. The assumption means that $\mathcal{G}(U) = 0$ for any $U \to S$ flat and locally of finite presentation. Apply Cohomology on Sites, Lemma 21.10.9 to the subset $\mathcal{B} \subset \mathop{\mathrm{Ob}}\nolimits ((\mathit{Sch}/S)_{fppf})$ consisting of $U \to S$ flat and locally of finite presentation and the collection $\text{Cov}$ of all fppf coverings of elements of $\mathcal{B}$ . $\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