Remark 91.2.4. Let $A \to B$ and $N$ be as in Lemma 91.2.3. Let $\alpha : P \to B$ be a presentation of $B$ over $A$, see Algebra, Section 10.134. With $J = \mathop{\mathrm{Ker}}(\alpha )$ the naive cotangent complex $\mathop{N\! L}\nolimits (\alpha )$ associated to $\alpha $ is the complex $J/J^2 \to \Omega _{P/A} \otimes _ P B$. We have

because $\Omega _{P/A}$ is a free module. Consider a extension $0 \to N \to B' \to B \to 0$ as in the lemma. Since $P$ is a polynomial algebra over $A$ we can lift $\alpha $ to an $A$-algebra map $\alpha ' : P' \to B'$. Then $\alpha '|_ J : J \to N$ factors as $J \to J/J^2 \to N$ as $N$ has square zero in $B'$. The lemma sends our extension to the class of this map $J/J^2 \to N$ in the displayed cokernel.

## Comments (0)

There are also: