Lemma 61.17.4 (0F6A)—The Stacks project

Loading web-font TeX/Math/Italic

Table of contents
Part 3: Topics in Scheme Theory
Chapter 61: Pro-étale Cohomology
Section 61.17: Comparing big and small topoi
Lemma 61.17.4 (cite)

previous lemma

numberstags

history
statistics

Lemma 61.17.4. Let $S$ be a scheme. For $K \in D(S_{pro\text{-}\acute{e}tale})$ the map

$K \longrightarrow R\pi _{S, *}\pi _ S^{-1}K$

is an isomorphism.

Proof. This is true because both $\pi _ S^{-1}$ and $\pi _{S, *} = i_ S^{-1}$ are exact functors and the composition $\pi _{S, *} \circ \pi _ S^{-1}$ is the identity functor. $\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