Theorem 38.29.6 (0DIG): Derived Grothendieck Existence Theorem

Table of contents
Part 2: Schemes
Chapter 38: More on Flatness
Section 38.29: Grothendieck's Existence Theorem, V
Theorem 38.29.6: Derived Grothendieck Existence Theorem (cite)

Theorem 38.29.6 (Derived Grothendieck Existence Theorem). In Situation 38.29.1 there exists a pseudo-coherent $K$ in $D(\mathcal{O}_ X)$ such that $K_ n = K \otimes _{\mathcal{O}_ X}^\mathbf {L} \mathcal{O}_{X_ n}$ for all $n$ compatibly with the maps $\varphi _ n$.

Proof. Apply Lemmas 38.29.2, 38.29.3, 38.29.4 to get a pseudo-coherent object $K$ of $D(\mathcal{O}_ X)$. Choosing affine opens in Lemma 38.29.5 it follows immediately that $K$ restricts to $K_ n$ over $X_ n$. $\square$

The Stacks project

Comments (0)

Post a comment