Lemma 10.134.6. Let $A \to B$ be a surjective ring map with kernel $I$. Then $\mathop{N\! L}\nolimits _{B/A}$ is homotopy equivalent to the chain complex $(I/I^2 \to 0)$ with $I/I^2$ in degree $1$. In particular $H_1(L_{B/A}) = I/I^2$.

Proof. Follows from Lemma 10.134.2 and the fact that $A \to B$ is a presentation of $B$ over $A$. $\square$

Comment #5946 by Zhouhang MAO on

"In particular, $H_1(L_{B/A})=I/I^2$. Here it should be $H_1(NL_{B/A})=I/I^2$ (although the statement for the cotangent complex is correct, this is not what you want to say here).

Comment #6132 by on

See Definiition 10.134.1. I agree this may be confusing., but I am going to leave it alone for now.

There are also:

• 11 comment(s) on Section 10.134: The naive cotangent complex

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