Theorem 38.29.6 (0DIG): Derived Grothendieck Existence Theorem

Processing math: 100%

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)

previous lemma
next remark

numberstags

history
statistics

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$

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).

The Stacks project

Comments (0)

Post a comment