Lemma 88.3.1. Let $A$ be a Noetherian ring and let $I \subset A$ be a ideal. Let $B$ be an object of (88.2.0.2). The naive cotangent complex $\mathop{N\! L}\nolimits _{B/A}^\wedge $ is well defined in $K(B)$.
Proof. The lemma signifies that given a second presentation $B = A[y_1, \ldots , y_ s]^\wedge / K$ the complexes of $B$-modules
\[ (J/J^2 \to B\text{d}x_ i) \quad \text{and}\quad (K/K^2 \to \bigoplus B\text{d}y_ j) \]
are homotopy equivalent. To see this, we can argue exactly as in the proof of Algebra, Lemma 10.134.2.
Step 1. If we choose $g_ i(y_1, \ldots , y_ s) \in A[y_1, \ldots , y_ s]^\wedge $ mapping to the image of $x_ i$ in $B$, then we obtain a (unique) continuous $A$-algebra homomorphism
\[ A[x_1, \ldots , x_ r]^\wedge \to A[y_1, \ldots , y_ s]^\wedge ,\quad x_ i \mapsto g_ i(y_1, \ldots , y_ s) \]
compatible with the given surjections to $B$. Such a map is called a morphism of presentations. It induces a map from $J$ into $K$ and hence induces a $B$-module map $J/J^2 \to K/K^2$. Sending $\text{d}x_ i$ to $\sum (\partial g_ i/\partial y_ j)\text{d}y_ j$ we obtain a map of complexes
\[ (J/J^2 \to \bigoplus B\text{d}x_ i) \longrightarrow (K/K^2 \to \bigoplus B\text{d}y_ j) \]
Of course we can do the same thing with the roles of the two presentations exchanged to get a map of complexes in the other direction.
Step 2. The construction above is compatible with compositions of morphsms of presentations. Hence to finish the proof it suffices to show: given $g_ i(x_1, \ldots , x_ r) \in A[x_1, \ldots , x_ n]^\wedge $ mapping to the image of $x_ i$ in $B$, the induced map of complexes
\[ (J/J^2 \to \bigoplus B\text{d}x_ i) \longrightarrow (J/J^2 \to \bigoplus B\text{d}x_ i) \]
is homotopic to the identity map. To see this consider the map $h : \bigoplus B \text{d}x_ i \to J/J^2$ given by the rule $\text{d}x_ i \mapsto g_ i(x_1, \ldots , x_ n) - x_ i$ and compute. $\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).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)