Lemma 86.3.2 (0E56)—The Stacks project

Loading web-font TeX/Math/Italic

Table of contents
Part 5: Topics in Geometry
Chapter 86: Duality for Spaces
Section 86.3: Right adjoint of pushforward
Lemma 86.3.2 (cite)

numberstags

Lemma 86.3.2. Notation and assumptions as in Lemma 86.3.1. Let $a : D_\mathit{QCoh}(\mathcal{O}_ Y) \to D_\mathit{QCoh}(\mathcal{O}_ X)$ be the right adjoint to $Rf_*$ . Then $a$ maps $D^+_\mathit{QCoh}(\mathcal{O}_ Y)$ into $D^+_\mathit{QCoh}(\mathcal{O}_ X)$ . In fact, there exists an integer $N$ such that $H^ i(K) = 0$ for $i \leq c$ implies $H^ i(a(K)) = 0$ for $i \leq c - N$ .

Proof. By Derived Categories of Spaces, Lemma 75.6.1 the functor $Rf_*$ has finite cohomological dimension. In other words, there exist an integer $N$ such that $H^ i(Rf_*L) = 0$ for $i \geq N + c$ if $H^ i(L) = 0$ for $i \geq c$ . Say $K \in D^+_\mathit{QCoh}(\mathcal{O}_ Y)$ has $H^ i(K) = 0$ for $i \leq c$ . Then

$\mathop{\mathrm{Hom}}\nolimits _{D(\mathcal{O}_ X)}(\tau _{\leq c - N}a(K), a(K)) = \mathop{\mathrm{Hom}}\nolimits _{D(\mathcal{O}_ Y)}(Rf_*\tau _{\leq c - N}a(K), K) = 0$

by what we said above. Clearly, this implies that $H^ i(a(K)) = 0$ for $i \leq c - 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).

Comments (0)

Post a comment