The Stacks project

Remark 92.11.1. Let $A \to B$ be a ring map. Working on $\mathcal{C}_{B/A}$ as in Section 92.4 let $\mathcal{J} \subset \mathcal{O}$ be the kernel of $\mathcal{O} \to \underline{B}$. Note that $L\pi _!(\mathcal{J}) = 0$ by Lemma 92.5.7. Set $\Omega = \Omega _{\mathcal{O}/A} \otimes _\mathcal {O} \underline{B}$ so that $L_{B/A} = L\pi _!(\Omega )$ by Lemma 92.4.3. It follows that $L\pi _!(\mathcal{J} \to \Omega ) = L\pi _!(\Omega ) = L_{B/A}$. Thus, for any object $U = (P \to B)$ of $\mathcal{C}_{B/A}$ we obtain a map

where $J = \mathop{\mathrm{Ker}}(P \to B)$ in $D(A)$, see Cohomology on Sites, Remark 21.39.4. Continuing in this manner, note that $L\pi _!(\mathcal{J} \otimes _\mathcal {O}^\mathbf {L} \underline{B}) = L\pi _!(\mathcal{J}) = 0$ by Lemma 92.5.6. Since $\text{Tor}_0^\mathcal {O}(\mathcal{J}, \underline{B}) = \mathcal{J}/\mathcal{J}^2$ the spectral sequence

(dual of Derived Categories, Lemma 13.21.3) implies that $H_0(\mathcal{C}_{B/A}, \mathcal{J}/\mathcal{J}^2) = 0$ and $H_1(\mathcal{C}_{B/A}, \mathcal{J}/\mathcal{J}^2) = 0$. It follows that the complex of $\underline{B}$-modules $\mathcal{J}/\mathcal{J}^2 \to \Omega $ satisfies $\tau _{\geq -1}L\pi _!(\mathcal{J}/\mathcal{J}^2 \to \Omega ) = \tau _{\geq -1}L_{B/A}$. Thus, for any object $U = (P \to B)$ of $\mathcal{C}_{B/A}$ we obtain a map

in $D(B)$, see Cohomology on Sites, Remark 21.39.4.