Lemma 77.13.5 (0DIP)—The Stacks project

Loading [MathJax]/extensions/tex2jax.js

Table of contents
Part 4: Algebraic Spaces
Chapter 77: Flatness on Algebraic Spaces
Section 77.13: Grothendieck's Existence Theorem, bis
Lemma 77.13.5 (cite)

numberstags

Lemma 77.13.5. In Situation 77.13.1 let $K$ be as in Lemma 77.13.2. For any étale morphism $U \to X$ with $U$ quasi-compact and quasi-separated we have

\[ R\Gamma (U, K) \otimes _ A^\mathbf {L} A_ n = R\Gamma (U_ n, K_ n) \]

in $D(A_ n)$ where $U_ n = U \times _ X X_ n$.

Proof. Fix $n$. By Derived Categories of Spaces, Lemma 75.27.3 there exists a system of perfect complexes $E_ m$ on $X$ such that $R\Gamma (U, K) = \text{hocolim} R\Gamma (X, K \otimes ^\mathbf {L} E_ m)$. In fact, this formula holds not just for $K$ but for every object of $D_\mathit{QCoh}(\mathcal{O}_ X)$. Applying this to $K_ n$ we obtain

\begin{align*} R\Gamma (U_ n, K_ n) & = R\Gamma (U, K_ n) \\ & = \text{hocolim}_ m R\Gamma (X, K_ n \otimes ^\mathbf {L} E_ m) \\ & = \text{hocolim}_ m R\Gamma (X_ n, K_ n \otimes ^\mathbf {L} E_ m|_{X_ n}) \end{align*}

Using Lemma 77.13.3 and the fact that $- \otimes _ A^\mathbf {L} A_ n$ commutes with homotopy colimits we obtain the result. $\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