Lemma 92.11.2. Let $A \to B$ be a surjective ring map with kernel $I$. Then $H^0(L_{B/A}) = 0$ and $H^{-1}(L_{B/A}) = I/I^2$. This isomorphism comes from the map (92.11.1.2) for the object $(A \to B)$ of $\mathcal{C}_{B/A}$.

** The cohomology of the cotangent complex of a surjective ring map is trivial in degree zero; it is the kernel modulo its square in degree $-1$. **

**Proof.**
We will show below (using the surjectivity of $A \to B$) that there exists a short exact sequence

of sheaves on $\mathcal{C}_{B/A}$. Taking $L\pi _!$ and the associated long exact sequence of homology, and using the vanishing of $H_1(\mathcal{C}_{B/A}, \mathcal{J}/\mathcal{J}^2)$ and $H_0(\mathcal{C}_{B/A}, \mathcal{J}/\mathcal{J}^2)$ shown in Remark 92.11.1 we obtain what we want using Lemma 92.4.4.

What is left is to verify the local statement mentioned above. For every object $U = (P \to B)$ of $\mathcal{C}_{B/A}$ we can choose an isomorphism $P = A[E]$ such that the map $P \to B$ maps each $e \in E$ to zero. Then $J = \mathcal{J}(U) \subset P = \mathcal{O}(U)$ is equal to $J = IP + (e; e \in E)$. The value on $U$ of the short sequence of sheaves above is the sequence

Verification omitted (hint: the only tricky point is that $IP \cap J^2 = IJ$; which follows for example from More on Algebra, Lemma 15.30.9). $\square$

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

## Comments (2)

Comment #1278 by Johan Commelin on

Comment #1288 by Pieter Belmans on