This tag has label algebra-definition-naive-cotangent-complex and it points to
The corresponding content:
Definition 9.126.1. Let $R \to S$ be a ring map. The naive cotangent complex $\mathop{N\!L}\nolimits_{S/R}$ is the chain complex (9.126.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})$\footnote{This module is sometimes denoted $\Gamma_{S/R}$ in the literature.} the homology in degree $1$.
\begin{definition}
\label{definition-naive-cotangent-complex}
Let $R \to S$ be a ring map. The {\it naive cotangent complex}
$\NL_{S/R}$ is the chain complex (\ref{equation-naive-cotangent-complex})
$$
\NL_{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(\NL_{S/R})$\footnote{This module is sometimes
denoted $\Gamma_{S/R}$ in the literature.} the homology in degree $1$.
\end{definition}
To cite this tag (see How to reference tags), use:
\cite[\href{http://stacks.math.columbia.edu/tag/07BN}{Tag 07BN}]{stacks-project}
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 lower-right corner).
Back to the main page.
There are no comments yet for this tag.