Lemma 92.5.7. Let $A \to B$ be a ring map. Let $\pi $, $\mathcal{O}$, $\underline{B}$ be as in (92.4.0.1). We have

\[ L\pi _!(\mathcal{O}) = L\pi _!(\underline{B}) = B \quad \text{and}\quad L_{B/A} = L\pi _!(\Omega _{\mathcal{O}/A} \otimes _\mathcal {O} \underline{B}) = L\pi _!(\Omega _{\mathcal{O}/A}) \]

in $D(\textit{Ab})$.

## Comments (0)