Definition 10.134.1. Let $R \to S$ be a ring map. The naive cotangent complex $\mathop{N\! L}\nolimits _{S/R}$ is the chain complex (10.134.0.2)

$\mathop{N\! L}\nolimits _{S/R} = \left(I/I^2 \longrightarrow \Omega _{R[S]/R} \otimes _{R[S]} S\right)$

with $I/I^2$ placed in (homological) degree $1$ and $\Omega _{R[S]/R} \otimes _{R[S]} S$ placed in degree $0$. We will denote $H_1(L_{S/R}) = H_1(\mathop{N\! L}\nolimits _{S/R})$1 the homology in degree $1$.

[1] This module is sometimes denoted $\Gamma _{S/R}$ in the literature.

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