The Stacks project

73.11 The coherator

Let $S$ be a scheme. Let $X$ be an algebraic space over $S$. The coherator is a functor

\[ Q_ X : \textit{Mod}(\mathcal{O}_ X) \longrightarrow \mathit{QCoh}(\mathcal{O}_ X) \]

which is right adjoint to the inclusion functor $\mathit{QCoh}(\mathcal{O}_ X) \to \textit{Mod}(\mathcal{O}_ X)$. It exists for any algebraic space $X$ and moreover the adjunction mapping $Q_ X(\mathcal{F}) \to \mathcal{F}$ is an isomorphism for every quasi-coherent module $\mathcal{F}$, see Properties of Spaces, Proposition 64.32.2. Since $Q_ X$ is left exact (as a right adjoint) we can consider its right derived extension

\[ RQ_ X : D(\mathcal{O}_ X) \longrightarrow D(\mathit{QCoh}(\mathcal{O}_ X)). \]

Since $Q_ X$ is right adjoint to the inclusion functor $\mathit{QCoh}(\mathcal{O}_ X) \to \textit{Mod}(\mathcal{O}_ X)$ we see that $RQ_ X$ is right adjoint to the canonical functor $D(\mathit{QCoh}(\mathcal{O}_ X)) \to D(\mathcal{O}_ X)$ by Derived Categories, Lemma 13.30.3.

In this section we will study the functor $RQ_ X$. In Section 73.19 we will study the (closely related) right adjoint to the inclusion functor $D_\mathit{QCoh}(\mathcal{O}_ X) \to D(\mathcal{O}_ X)$ (when it exists).

Lemma 73.11.1. Let $S$ be a scheme. Let $f : X \to Y$ be an affine morphism of algebraic spaces over $S$. Then $f_*$ defines a derived functor $f_* : D(\mathit{QCoh}(\mathcal{O}_ X)) \to D(\mathit{QCoh}(\mathcal{O}_ Y))$. This functor has the property that

\[ \xymatrix{ D(\mathit{QCoh}(\mathcal{O}_ X)) \ar[d]_{f_*} \ar[r] & D_\mathit{QCoh}(\mathcal{O}_ X) \ar[d]^{Rf_*} \\ D(\mathit{QCoh}(\mathcal{O}_ Y)) \ar[r] & D_\mathit{QCoh}(\mathcal{O}_ Y) } \]

commutes.

Proof. The functor $f_* : \mathit{QCoh}(\mathcal{O}_ X) \to \mathit{QCoh}(\mathcal{O}_ Y)$ is exact, see Cohomology of Spaces, Lemma 67.8.2. Hence $f_*$ defines a derived functor $f_* : D(\mathit{QCoh}(\mathcal{O}_ X)) \to D(\mathit{QCoh}(\mathcal{O}_ Y))$ by simply applying $f_*$ to any representative complex, see Derived Categories, Lemma 13.16.9. For any complex of $\mathcal{O}_ X$-modules $\mathcal{F}^\bullet $ there is a canonical map $f_*\mathcal{F}^\bullet \to Rf_*\mathcal{F}^\bullet $. To finish the proof we show this is a quasi-isomorphism when $\mathcal{F}^\bullet $ is a complex with each $\mathcal{F}^ n$ quasi-coherent. The statement is étale local on $Y$ hence we may assume $Y$ affine. As an affine morphism is representable we reduce to the case of schemes by the compatibility of Remark 73.6.3. The case of schemes is Derived Categories of Schemes, Lemma 36.7.1. $\square$

Lemma 73.11.2. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of algebraic spaces over $S$. Assume $f$ is quasi-compact, quasi-separated, and flat. Then, denoting

\[ \Phi : D(\mathit{QCoh}(\mathcal{O}_ X)) \to D(\mathit{QCoh}(\mathcal{O}_ Y)) \]

the right derived functor of $f_* : \mathit{QCoh}(\mathcal{O}_ X) \to \mathit{QCoh}(\mathcal{O}_ Y)$ we have $RQ_ Y \circ Rf_* = \Phi \circ RQ_ X$.

Proof. We will prove this by showing that $RQ_ Y \circ Rf_*$ and $\Phi \circ RQ_ X$ are right adjoint to the same functor $D(\mathit{QCoh}(\mathcal{O}_ Y)) \to D(\mathcal{O}_ X)$.

Since $f$ is quasi-compact and quasi-separated, we see that $f_*$ preserves quasi-coherence, see Morphisms of Spaces, Lemma 65.11.2. Recall that $\mathit{QCoh}(\mathcal{O}_ X)$ is a Grothendieck abelian category (Properties of Spaces, Proposition 64.32.2). Hence any $K$ in $D(\mathit{QCoh}(\mathcal{O}_ X))$ can be represented by a K-injective complex $\mathcal{I}^\bullet $ of $\mathit{QCoh}(\mathcal{O}_ X)$, see Injectives, Theorem 19.12.6. Then we can define $\Phi (K) = f_*\mathcal{I}^\bullet $.

Since $f$ is flat, the functor $f^*$ is exact. Hence $f^*$ defines $f^* : D(\mathcal{O}_ Y) \to D(\mathcal{O}_ X)$ and also $f^* : D(\mathit{QCoh}(\mathcal{O}_ Y)) \to D(\mathit{QCoh}(\mathcal{O}_ X))$. The functor $f^* = Lf^* : D(\mathcal{O}_ Y) \to D(\mathcal{O}_ X)$ is left adjoint to $Rf_* : D(\mathcal{O}_ X) \to D(\mathcal{O}_ Y)$, see Cohomology on Sites, Lemma 21.19.1. Similarly, the functor $f^* : D(\mathit{QCoh}(\mathcal{O}_ Y)) \to D(\mathit{QCoh}(\mathcal{O}_ X))$ is left adjoint to $\Phi : D(\mathit{QCoh}(\mathcal{O}_ X)) \to D(\mathit{QCoh}(\mathcal{O}_ Y))$ by Derived Categories, Lemma 13.30.3.

Let $A$ be an object of $D(\mathit{QCoh}(\mathcal{O}_ Y))$ and $E$ an object of $D(\mathcal{O}_ X)$. Then

\begin{align*} \mathop{\mathrm{Hom}}\nolimits _{D(\mathit{QCoh}(\mathcal{O}_ Y))}(A, RQ_ Y(Rf_*E)) & = \mathop{\mathrm{Hom}}\nolimits _{D(\mathcal{O}_ Y)}(A, Rf_*E) \\ & = \mathop{\mathrm{Hom}}\nolimits _{D(\mathcal{O}_ X)}(f^*A, E) \\ & = \mathop{\mathrm{Hom}}\nolimits _{D(\mathit{QCoh}(\mathcal{O}_ X))}(f^*A, RQ_ X(E)) \\ & = \mathop{\mathrm{Hom}}\nolimits _{D(\mathit{QCoh}(\mathcal{O}_ Y))}(A, \Phi (RQ_ X(E))) \end{align*}

This implies what we want. $\square$

Lemma 73.11.3. Let $S$ be a scheme. Let $X$ be an affine algebraic space over $S$. Set $A = \Gamma (X, \mathcal{O}_ X)$. Then

  1. $Q_ X : \textit{Mod}(\mathcal{O}_ X) \to \mathit{QCoh}(\mathcal{O}_ X)$ is the functor which sends $\mathcal{F}$ to the quasi-coherent $\mathcal{O}_ X$-module associated to the $A$-module $\Gamma (X, \mathcal{F})$,

  2. $RQ_ X : D(\mathcal{O}_ X) \to D(\mathit{QCoh}(\mathcal{O}_ X))$ is the functor which sends $E$ to the complex of quasi-coherent $\mathcal{O}_ X$-modules associated to the object $R\Gamma (X, E)$ of $D(A)$,

  3. restricted to $D_\mathit{QCoh}(\mathcal{O}_ X)$ the functor $RQ_ X$ defines a quasi-inverse to (73.5.1.1).

Proof. Let $X_0 = \mathop{\mathrm{Spec}}(A)$ be the affine scheme representing $X$. Recall that there is a morphism of ringed sites $\epsilon : X_{\acute{e}tale}\to X_{0, Zar}$ which induces equivalences

\[ \xymatrix{ \mathit{QCoh}(\mathcal{O}_ X) \ar@<1ex>[r]^{{\epsilon _*}} & \mathit{QCoh}(\mathcal{O}_{X_0}) \ar@<1ex>[l]^{{\epsilon ^*}} } \]

see Lemma 73.4.2. Hence we see that $Q_ X = \epsilon ^* \circ Q_{X_0} \circ \epsilon _*$ by uniqueness of adjoint functors. Hence (1) follows from the description of $Q_{X_0}$ in Derived Categories of Schemes, Lemma 36.7.3 and the fact that $\Gamma (X_0, \epsilon _*\mathcal{F}) = \Gamma (X, \mathcal{F})$. Part (2) follows from (1) and the fact that the functor from $A$-modules to quasi-coherent $\mathcal{O}_ X$-modules is exact. The third assertion now follows from the result for schemes (Derived Categories of Schemes, Lemma 36.7.3) and Lemma 73.4.2. $\square$

Next, we prove a criterion for when the functor $D(\mathit{QCoh}(\mathcal{O}_ X)) \to D_\mathit{QCoh}(\mathcal{O}_ X)$ is an equivalence.

Lemma 73.11.4. Let $S$ be a scheme. Let $X$ be a quasi-compact and quasi-separated algebraic space over $S$. Suppose that for every étale morphism $j : V \to W$ with $W \subset X$ quasi-compact open and $V$ affine the right derived functor

\[ \Phi : D(\mathit{QCoh}(\mathcal{O}_ U)) \to D(\mathit{QCoh}(\mathcal{O}_ W)) \]

of the left exact functor $j_* : \mathit{QCoh}(\mathcal{O}_ V) \to \mathit{QCoh}(\mathcal{O}_ W)$ fits into a commutative diagram

\[ \xymatrix{ D(\mathit{QCoh}(\mathcal{O}_ V)) \ar[d]_\Phi \ar[r]_{i_ V} & D_\mathit{QCoh}(\mathcal{O}_ V) \ar[d]^{Rj_*} \\ D(\mathit{QCoh}(\mathcal{O}_ W)) \ar[r]^{i_ W} & D_\mathit{QCoh}(\mathcal{O}_ W) } \]

Then the functor (73.5.1.1)

\[ D(\mathit{QCoh}(\mathcal{O}_ X)) \longrightarrow D_\mathit{QCoh}(\mathcal{O}_ X) \]

is an equivalence with quasi-inverse given by $RQ_ X$.

Proof. We first use the induction principle to prove $i_ X$ is fully faithful. More precisely, we will use Lemma 73.9.6. Let $(U \subset W, V \to W)$ be an elementary distinguished square with $V$ affine and $U, W$ quasi-compact open in $X$. Assume that $i_ U$ is fully faithful. We have to show that $i_ W$ is fully faithful. We may replace $X$ by $W$, i.e., we may assume $W = X$ (we do this just to simplify the notation – observe that the condition in the statement of the lemma is preserved under this operation).

Suppose that $A, B$ are objects of $D(\mathit{QCoh}(\mathcal{O}_ X))$. We want to show that

\[ \mathop{\mathrm{Hom}}\nolimits _{D(\mathit{QCoh}(\mathcal{O}_ X))}(A, B) \longrightarrow \mathop{\mathrm{Hom}}\nolimits _{D(\mathcal{O}_ X)}(i_ X(A), i_ X(B)) \]

is bijective. Let $T = |X| \setminus |U|$.

Assume first $i_ X(B)$ is supported on $T$. In this case the map

\[ i_ X(B) \to Rj_{V, *}(i_ X(B)|_ V) = Rj_{V, *}(i_ V(B|_ V)) \]

is a quasi-isomorphism (Lemma 73.10.7). By assumption we have an isomorphism $i_ X(\Phi (B|_ V)) \to Rj_{V, *}(i_ V(B|_ V))$ in $D(\mathcal{O}_ X)$. Moreover, $\Phi $ and ${-}|_ V$ are adjoint functors on the derived categories of quasi-coherent modules (by Derived Categories, Lemma 13.30.3). The adjunction map $B \to \Phi (B|_ V)$ becomes an isomorphism after applying $i_ X$, whence is an isomorphism in $D(\mathit{QCoh}(\mathcal{O}_ X))$. Hence

\begin{align*} \mathop{Mor}\nolimits _{D(\mathit{QCoh}(\mathcal{O}_ X))}(A, B) & = \mathop{Mor}\nolimits _{D(\mathit{QCoh}(\mathcal{O}_ X))}(A, \Phi (B|_ V)) \\ & = \mathop{Mor}\nolimits _{D(\mathit{QCoh}(\mathcal{O}_ V))}(A|_ V, B|_ V) \\ & = \mathop{Mor}\nolimits _{D(\mathcal{O}_ V)}(i_ V(A|_ V), i_ V(B|_ V)) \\ & = \mathop{Mor}\nolimits _{D(\mathcal{O}_ X)}(i_ X(A), Rj_{V, *}(i_ V(B|_ V))) \\ & = \mathop{Mor}\nolimits _{D(\mathcal{O}_ X)}(i_ X(A), i_ X(B)) \end{align*}

as desired. Here we have used that $i_ V$ is fully faithful (Lemma 73.11.3).

In general, choose any complex $\mathcal{B}^\bullet $ of quasi-coherent $\mathcal{O}_ X$-modules representing $B$. Next, choose any quasi-isomorphism $s : \mathcal{B}^\bullet |_ U \to \mathcal{C}^\bullet $ of complexes of quasi-coherent modules on $U$. As $j_ U : U \to X$ is quasi-compact and quasi-separated the functor $j_{U, *}$ transforms quasi-coherent modules into quasi-coherent modules (Morphisms of Spaces, Lemma 65.11.2). Thus there is a canonical map $\mathcal{B}^\bullet \to j_{U, *}(\mathcal{B}^\bullet |_ U) \to j_{U, *}\mathcal{C}^\bullet $ of complexes of quasi-coherent modules on $X$. Set $B'' = j_{U, *}\mathcal{C}^\bullet $ in $D(\mathit{QCoh}(\mathcal{O}_ X))$ and choose a distinguished triangle

\[ B \to B'' \to B' \to B[1] \]

in $D(\mathit{QCoh}(\mathcal{O}_ X))$. Since the first arrow of the triangle restricts to an isomorphism over $U$ we see that $B'$ is supported on $T$. Hence in the diagram

\[ \xymatrix{ \mathop{\mathrm{Hom}}\nolimits _{D(\mathit{QCoh}(\mathcal{O}_ X))}(A, B'[-1]) \ar[r] \ar[d] & \mathop{\mathrm{Hom}}\nolimits _{D(\mathcal{O}_ X)}(i_ X(A), i_ X(B')[-1]) \ar[d] \\ \mathop{\mathrm{Hom}}\nolimits _{D(\mathit{QCoh}(\mathcal{O}_ X))}(A, B) \ar[r] \ar[d] & \mathop{\mathrm{Hom}}\nolimits _{D(\mathcal{O}_ X)}(i_ X(A), i_ X(B)) \ar[d] \\ \mathop{\mathrm{Hom}}\nolimits _{D(\mathit{QCoh}(\mathcal{O}_ X))}(A, B'') \ar[r] \ar[d] & \mathop{\mathrm{Hom}}\nolimits _{D(\mathcal{O}_ X)}(i_ X(A), i_ X(B'')) \ar[d] \\ \mathop{\mathrm{Hom}}\nolimits _{D(\mathit{QCoh}(\mathcal{O}_ X))}(A, B') \ar[r] & \mathop{\mathrm{Hom}}\nolimits _{D(\mathcal{O}_ X)}(i_ X(A), i_ X(B')) } \]

we have exact columns and the top and bottom horizontal arrows are bijective. Finally, choose a complex $\mathcal{A}^\bullet $ of quasi-coherent modules representing $A$.

Let $\alpha : i_ X(A) \to i_ X(B)$ be a morphism between in $D(\mathcal{O}_ X)$. The restriction $\alpha |_ U$ comes from a morphism in $D(\mathit{QCoh}(\mathcal{O}_ U))$ as $i_ U$ is fully faithful. Hence there exists a choice of $s : \mathcal{B}^\bullet |_ U \to \mathcal{C}^\bullet $ as above such that $\alpha |_ U$ is represented by an actual map of complexes $\mathcal{A}^\bullet |_ U \to \mathcal{C}^\bullet $. This corresponds to a map of complexes $\mathcal{A} \to j_{U, *}\mathcal{C}^\bullet $. In other words, the image of $\alpha $ in $\mathop{\mathrm{Hom}}\nolimits _{D(\mathcal{O}_ X)}(i_ X(A), i_ X(B''))$ comes from an element of $\mathop{\mathrm{Hom}}\nolimits _{D(\mathit{QCoh}(\mathcal{O}_ X))}(A, B'')$. A diagram chase then shows that $\alpha $ comes from a morphism $A \to B$ in $D(\mathit{QCoh}(\mathcal{O}_ X))$. Finally, suppose that $a : A \to B$ is a morphism of $D(\mathit{QCoh}(\mathcal{O}_ X))$ which becomes zero in $D(\mathcal{O}_ X)$. After choosing $\mathcal{B}^\bullet $ suitably, we may assume $a$ is represented by a morphism of complexes $a^\bullet : \mathcal{A}^\bullet \to \mathcal{B}^\bullet $. Since $i_ U$ is fully faithul the restriction $a^\bullet |_ U$ is zero in $D(\mathit{QCoh}(\mathcal{O}_ U))$. Thus we can choose $s$ such that $s \circ a^\bullet |_ U : \mathcal{A}^\bullet |_ U \to \mathcal{C}^\bullet $ is homotopic to zero. Applying the functor $j_{U, *}$ we conclude that $\mathcal{A}^\bullet \to j_{U, *}\mathcal{C}^\bullet $ is homotopic to zero. Thus $a$ maps to zero in $\mathop{\mathrm{Hom}}\nolimits _{D(\mathit{QCoh}(\mathcal{O}_ X))}(A, B'')$. Thus we may assume that $a$ is the image of an element of $b \in \mathop{\mathrm{Hom}}\nolimits _{D(\mathit{QCoh}(\mathcal{O}_ X))}(A, B'[-1])$. The image of $b$ in $\mathop{\mathrm{Hom}}\nolimits _{D(\mathcal{O}_ X)}(i_ X(A), i_ X(B')[-1])$ comes from a $\gamma \in \mathop{\mathrm{Hom}}\nolimits _{D(\mathcal{O}_ X)}(A, B''[-1])$ (as $a$ maps to zero in the group on the right). Since we've seen above the horizontal arrows are surjective, we see that $\gamma $ comes from a $c$ in $\mathop{\mathrm{Hom}}\nolimits _{D(\mathit{QCoh}(\mathcal{O}_ X))}(A, B''[-1])$ which implies $a = 0$ as desired.

At this point we know that $i_ X$ is fully faithful for our original $X$. Since $RQ_ X$ is its right adjoint, we see that $RQ_ X \circ i_ X = \text{id}$ (Categories, Lemma 4.24.4). To finish the proof we show that for any $E$ in $D_\mathit{QCoh}(\mathcal{O}_ X)$ the map $i_ X(RQ_ X(E)) \to E$ is an isomorphism. Choose a distinguished triangle

\[ i_ X(RQ_ X(E)) \to E \to E' \to i_ X(RQ_ X(E))[1] \]

in $D_\mathit{QCoh}(\mathcal{O}_ X)$. A formal argument using the above shows that $i_ X(RQ_ X(E')) = 0$. Thus it suffices to prove that for $E \in D_\mathit{QCoh}(\mathcal{O}_ X)$ the condition $i_ X(RQ_ X(E)) = 0$ implies that $E = 0$. Consider an étale morphism $j : V \to X$ with $V$ affine. By Lemmas 73.11.3 and 73.11.2 and our assumption we have

\[ Rj_*(E|_ V) = Rj_*(i_ V(RQ_ V(E|_ V))) = i_ X(\Phi (RQ_ V(E|_ V))) = i_ X(RQ_ X(Rj_*(E|_ V))) \]

Choose a distinguished triangle

\[ E \to Rj_*(E|_ V) \to E' \to E[1] \]

Apply $RQ_ X$ to get a distinguished triangle

\[ 0 \to RQ_ X(Rj_*(E|_ V)) \to RQ_ X(E') \to 0[1] \]

in other words the map in the middle is an isomorphism. Combined with the string of equalities above we find that our first distinguished triangle becomes a distinguished triangle

\[ E \to i_ X(RQ_ X(E')) \to E' \to E[1] \]

where the middle morphism is the adjunction map. However, the composition $E \to E'$ is zero, hence $E \to i_ X(RQ_ X(E'))$ is zero by adjunction! Since this morphism is isomorphic to the morphism $E \to Rj_*(E|_ V)$ adjoint to $\text{id} : E|_ V \to E|_ V$ we conclude that $E|_ V$ is zero. Since this holds for all affine $V$ étale over $X$ we conclude $E$ is zero as desired. $\square$

Proposition 73.11.5. Let $S$ be a scheme. Let $X$ be a quasi-compact algebraic space over $S$ with affine diagonal. Then the functor (73.5.1.1)

\[ D(\mathit{QCoh}(\mathcal{O}_ X)) \longrightarrow D_\mathit{QCoh}(\mathcal{O}_ X) \]

is an equivalence with quasi-inverse given by $RQ_ X$.

Proof. Let $V \to W$ be an étale morphism with $V$ affine and $W$ a quasi-compact open subspace of $X$. Then the morphism $V \to W$ is affine as $V$ is affine and $W$ has affine diagonal (Morphisms of Spaces, Lemma 65.20.11). Lemma 73.11.1 then guarantees that the assumption of Lemma 73.11.4 holds. Hence we conclude. $\square$

Lemma 73.11.6. Let $S$ be a scheme and let $f : X \to Y$ be a morphism of algebraic spaces over $S$. Assume $X$ and $Y$ are quasi-compact and have affine diagonal. Then, denoting

\[ \Phi : D(\mathit{QCoh}(\mathcal{O}_ X)) \to D(\mathit{QCoh}(\mathcal{O}_ Y)) \]

the right derived functor of $f_* : \mathit{QCoh}(\mathcal{O}_ X) \to \mathit{QCoh}(\mathcal{O}_ Y)$ the diagram

\[ \xymatrix{ D(\mathit{QCoh}(\mathcal{O}_ X)) \ar[d]_\Phi \ar[r] & D_\mathit{QCoh}(\mathcal{O}_ X) \ar[d]^{Rf_*} \\ D(\mathit{QCoh}(\mathcal{O}_ Y)) \ar[r] & D_\mathit{QCoh}(\mathcal{O}_ Y) } \]

is commutative.

Proof. Observe that the horizontal arrows in the diagram are equivalences of categories by Proposition 73.11.5. Hence we can identify these categories (and similarly for other quasi-compact algebraic spaces with affine diagonal) and then the statement of the lemma is that the canonical map $\Phi (K) \to Rf_*(K)$ is an isomorphism for all $K$ in $D(\mathit{QCoh}(\mathcal{O}_ X))$. Note that if $K_1 \to K_2 \to K_3 \to K_1[1]$ is a distinguished triangle in $D(\mathit{QCoh}(\mathcal{O}_ X))$ and the statement is true for two-out-of-three, then it is true for the third.

Let $\mathcal{B} \subset \mathop{\mathrm{Ob}}\nolimits (X_{spaces, {\acute{e}tale}})$ be the set of objects which are quasi-compact and have affine diagonal. For $U \in \mathcal{B}$ and any morphism $g : U \to Z$ where $Z$ is a quasi-compact algebraic space over $S$ with affine diagonal, denote

\[ \Phi _ g : D(\mathit{QCoh}(\mathcal{O}_ U)) \to D(\mathit{QCoh}(\mathcal{O}_ Z)) \]

the derived extension of $g_*$. Let $P(U) =$ “for any $K$ in $D(\mathit{QCoh}(\mathcal{O}_ U))$ and any $g : U \to Z$ as above the map $\Phi _ g(K) \to Rg_*K$ is an isomorphism”. By Remark 73.9.5 conditions (1), (2), and (3)(a) of Lemma 73.9.4 hold and we are left with proving (3)(b) and (4).

Checking condition (3)(b). Let $U$ be an affine scheme étale over $X$. Let $g : U \to Z$ be as above. Since the diagonal of $Z$ is affine the morphism $g : U \to Z$ is affine (Morphisms of Spaces, Lemma 65.20.11). Hence $P(U)$ holds by Lemma 73.11.1.

Checking condition (4). Let $(U \subset W, V \to W)$ be an elementary distinguished square in $X_{spaces, {\acute{e}tale}}$ with $U, W, V$ in $\mathcal{B}$ and $V$ affine. Assume that $P$ holds for $U$, $V$, and $U \times _ W V$. We have to show that $P$ holds for $W$. Let $g : W \to Z$ be a morphism to a quasi-compact algebraic space with affine diagonal. Let $K$ be an object of $D(\mathit{QCoh}(\mathcal{O}_ W))$. Consider the distinguished triangle

\[ K \to Rj_{U, *}K|_ U \oplus Rj_{V, *}K|_ V \to Rj_{U \times _ W V, *}K|_{U \times _ W V} \to K[1] \]

in $D(\mathcal{O}_ W)$. By the two-out-of-three property mentioned above, it suffices to show that $\Phi _ g(Rj_{U, *}K|_ U) \to Rg_*(Rj_{U, *}K|_ U)$ is an isomorphism and similarly for $V$ and $U \times _ W V$. This is discussed in the next paragraph.

Let $j : U \to W$ be a morphism $X_{spaces, {\acute{e}tale}}$ with $U, W$ in $\mathcal{B}$ and $P$ holds for $U$. Let $g : W \to Z$ be a morphism to a quasi-compact algebraic space with affine diagonal. To finish the proof we have to show that $\Phi _ g(Rj_*K) \to Rg_*(Rj_*K)$ is an isomorphism for any $K$ in $D(\mathit{QCoh}(\mathcal{O}_ U))$. Let $\mathcal{I}^\bullet $ be a K-injective complex in $\mathit{QCoh}(\mathcal{O}_ U)$ representing $K$. From $P(U)$ applied to $j$ we see that $j_*\mathcal{I}^\bullet $ represents $Rj_*K$. Since $j_* : \mathit{QCoh}(\mathcal{O}_ U) \to \mathit{QCoh}(\mathcal{O}_ X)$ has an exact left adjoint $j^* : \mathit{QCoh}(\mathcal{O}_ X) \to \mathit{QCoh}(\mathcal{O}_ U)$ we see that $j_*\mathcal{I}^\bullet $ is a K-injective complex in $\mathit{QCoh}(\mathcal{O}_ W)$, see Derived Categories, Lemma 13.31.9. Hence $\Phi _ g(Rj_*K)$ is represented by $g_*j_*\mathcal{I}^\bullet = (g \circ j)_*\mathcal{I}^\bullet $. By $P(U)$ applied to $g \circ j$ we see that this represents $R_{g \circ j, *}(K) = Rg_*(Rj_*K)$. This finishes the proof. $\square$


Comments (0)


Post a comment

Your email address will not be published. Required fields are marked.

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 08GX. Beware of the difference between the letter 'O' and the digit '0'.