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)$.
88.3 A naive cotangent complex
Let $A$ be a Noetherian ring and let $I \subset A$ be a ideal. Let $B$ be an $A$-algebra which is $I$-adically complete such that $A/I \to B/IB$ is of finite type, i.e., an object of (88.2.0.2). By Lemma 88.2.2 we can write
\[ B = A[x_1, \ldots , x_ r]^\wedge / J \]
for some finitely generated ideal $J$. For a choice of presentation as above we define the naive cotangent complex in this setting by the formula
88.3.0.1
\begin{equation} \label{restricted-equation-NL} \mathop{N\! L}\nolimits _{B/A}^\wedge = (J/J^2 \longrightarrow \bigoplus B\text{d}x_ i) \end{equation}
with terms sitting in degrees $-1$ and $0$ where the map sends the residue class of $g \in J$ to the differential $\text{d}g = \sum (\partial g/\partial x_ i) \text{d}x_ i$. Here the partial derivative is taken by thinking of $g$ as a power series. The following lemma shows that $\mathop{N\! L}\nolimits _{B/A}^\wedge $ is well defined up to homotopy.
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$
Lemma 88.3.2. Let $A$ be a Noetherian ring and let $I \subset A$ be a ideal. Let $A \to B$ be a finite type ring map. Choose a presentation $\alpha : A[x_1, \ldots , x_ n] \to B$. Then $\mathop{N\! L}\nolimits _{B^\wedge /A}^\wedge = \mathop{\mathrm{lim}}\nolimits \mathop{N\! L}\nolimits (\alpha ) \otimes _ B B^\wedge $ as complexes and $\mathop{N\! L}\nolimits _{B^\wedge /A}^\wedge = \mathop{N\! L}\nolimits _{B/A} \otimes _ B^\mathbf {L} B^\wedge $ in $D(B^\wedge )$.
Proof. The statement makes sense as $B^\wedge $ is an object of (88.2.0.2) by Lemma 88.2.2. Let $J = \mathop{\mathrm{Ker}}(\alpha )$. The functor of taking $I$-adic completion is exact on finite modules over $A[x_1, \ldots , x_ n]$ and agrees with the functor $M \mapsto M \otimes _{A[x_1, \ldots , x_ n]} A[x_1, \ldots , x_ n]^\wedge $, see Algebra, Lemmas 10.97.1 and 10.97.2. Moreover, the ring maps $A[x_1, \ldots , x_ n] \to A[x_1, \ldots , x_ n]^\wedge $ and $B \to B^\wedge $ are flat. Hence $B^\wedge = A[x_1, \ldots , x_ n]^\wedge / J^\wedge $ and
\[ (J/J^2) \otimes _ B B^\wedge = (J/J^2)^\wedge = J^\wedge /(J^\wedge )^2 \]
Since $\mathop{N\! L}\nolimits (\alpha ) = (J/J^2 \to \bigoplus B\text{d}x_ i)$, see Algebra, Section 10.134, we conclude the complex $\mathop{N\! L}\nolimits _{B^\wedge /A}^\wedge $ is equal to $\mathop{N\! L}\nolimits (\alpha ) \otimes _ B B^\wedge $. The final statement follows as $\mathop{N\! L}\nolimits _{B/A}$ is homotopy equivalent to $\mathop{N\! L}\nolimits (\alpha )$ and because the ring map $B \to B^\wedge $ is flat (so derived base change along $B \to B^\wedge $ is just base change). $\square$
Lemma 88.3.3. Let $A$ be a Noetherian ring and let $I \subset A$ be a ideal. Let $B$ be an object of (88.2.0.2). Then
the pro-objects $\{ \mathop{N\! L}\nolimits _{B/A}^\wedge \otimes _ B B/I^ nB\} $ and $\{ \mathop{N\! L}\nolimits _{B_ n/A_ n}\} $ of $D(B)$ are strictly isomorphic (see proof for elucidation),
$\mathop{N\! L}\nolimits _{B/A}^\wedge = R\mathop{\mathrm{lim}}\nolimits \mathop{N\! L}\nolimits _{B_ n/A_ n}$ in $D(B)$.
Here $B_ n$ and $A_ n$ are as in Section 88.2.
Proof. The statement means the following: for every $n$ we have a well defined complex $\mathop{N\! L}\nolimits _{B_ n/A_ n}$ of $B_ n$-modules and we have transition maps $\mathop{N\! L}\nolimits _{B_{n + 1}/A_{n + 1}} \to \mathop{N\! L}\nolimits _{B_ n/A_ n}$. See Algebra, Section 10.134. Thus we can consider
\[ \ldots \to \mathop{N\! L}\nolimits _{B_3/A_3} \to \mathop{N\! L}\nolimits _{B_2/A_2} \to \mathop{N\! L}\nolimits _{B_1/A_1} \]
as an inverse system of complexes of $B$-modules and a fortiori as an inverse system in $D(B)$. Furthermore $R\mathop{\mathrm{lim}}\nolimits \mathop{N\! L}\nolimits _{B_ n/A_ n}$ is a homotopy limit of this inverse system, see Derived Categories, Section 13.34.
Choose a presentation $B = A[x_1, \ldots , x_ r]^\wedge / J$. This defines presentations
\[ B_ n = B/I^ nB = A_ n[x_1, \ldots , x_ r]/J_ n \]
where
\[ J_ n = JA_ n[x_1, \ldots , x_ r] = J/(J \cap I^ nA[x_1, \ldots , x_ r]^\wedge ) \]
The two term complex $J_ n/J_ n^2 \longrightarrow \bigoplus B_ n \text{d}x_ i$ represents $\mathop{N\! L}\nolimits _{B_ n/A_ n}$, see Algebra, Section 10.134. By Artin-Rees (Algebra, Lemma 10.51.2) in the Noetherian ring $A[x_1, \ldots , x_ r]^\wedge $ (Lemma 88.2.2) we find a $c \geq 0$ such that we have canonical surjections
\[ J/I^ nJ \to J_ n \to J/I^{n - c}J \to J_{n - c},\quad n \geq c \]
for all $n \geq c$. A moment's thought shows that these maps are compatible with differentials and we obtain maps of complexes
\[ \mathop{N\! L}\nolimits _{B/A}^\wedge \otimes _ B B/I^ nB \to \mathop{N\! L}\nolimits _{B_ n/A_ n} \to \mathop{N\! L}\nolimits _{B/A}^\wedge \otimes _ B B/I^{n - c}B \to \mathop{N\! L}\nolimits _{B_{n - c}/A_{n - c}} \]
compatible with the transition maps of the inverse systems $\{ \mathop{N\! L}\nolimits _{B/A}^\wedge \otimes _ B B/I^ nB\} $ and $\{ \mathop{N\! L}\nolimits _{B_ n/A_ n}\} $. This proves part (1) of the lemma.
By part (1) and since pro-isomorphic systems have the same $R\mathop{\mathrm{lim}}\nolimits $ in order to prove (2) it suffices to show that $\mathop{N\! L}\nolimits _{B/A}^\wedge $ is equal to $R\mathop{\mathrm{lim}}\nolimits \mathop{N\! L}\nolimits _{B/A}^\wedge \otimes _ B B/I^ nB$. However, $\mathop{N\! L}\nolimits _{B/A}^\wedge $ is a two term complex $M^\bullet $ of finite $B$-modules which are $I$-adically complete for example by Algebra, Lemma 10.97.1. Hence $M^\bullet = \mathop{\mathrm{lim}}\nolimits M^\bullet /I^ nM^\bullet = R\mathop{\mathrm{lim}}\nolimits M^\bullet /I^ n M^\bullet $, see More on Algebra, Lemma 15.87.1 and Remark 15.87.6. $\square$
Lemma 88.3.4. Let $(A_1, I_1) \to (A_2, I_2)$ be as in Remark 88.2.3 with $A_1$ and $A_2$ Noetherian. Let $B_1$ be in (88.2.0.2) for $(A_1, I_1)$. Let $B_2$ be the base change of $B_1$. Then there is a canonical map which induces and isomorphism on $H^0$ and a surjection on $H^{-1}$.
\[ \mathop{N\! L}\nolimits _{B_1/A_1} \otimes _{B_2} B_1 \to \mathop{N\! L}\nolimits _{B_2/A_2} \]
Proof. Choose a presentation $B_1 = A_1[x_1, \ldots , x_ r]^\wedge /J_1$. Since $A_2/I_2^ n[x_1, \ldots , x_ r] = A_1/I_1^{cn}[x_1, \ldots , x_ r] \otimes _{A_1/I_1^{cn}} A_2/I_2^ n$ we have
\[ A_2[x_1, \ldots , x_ r]^\wedge = (A_1[x_1, \ldots , x_ r]^\wedge \otimes _{A_1} A_2)^\wedge \]
where we use $I_2$-adic completion on both sides (but of course $I_1$-adic completion for $A_1[x_1, \ldots , x_ r]^\wedge $). Set $J_2 = J_1 A_2[x_1, \ldots , x_ r]^\wedge $. Arguing similarly we get the presentation
\begin{align*} B_2 & = (B_1 \otimes _{A_1} A_2)^\wedge \\ & = \mathop{\mathrm{lim}}\nolimits \frac{A_1/I_1^{cn}[x_1, \ldots , x_ r]}{J_1(A_1/I_1^{cn}[x_1, \ldots , x_ r])} \otimes _{A_1/I_1^{cn}} A_2/I_2^ n \\ & = \mathop{\mathrm{lim}}\nolimits \frac{A_2/I_2^ n[x_1, \ldots , x_ r]}{J_2(A_2/I_2^ n[x_1, \ldots , x_ r])} \\ & = A_2[x_1, \ldots , x_ r]^\wedge /J_2 \end{align*}
for $B_2$ over $A_2$. As a consequence obtain a commutative diagram
\[ \xymatrix{ \mathop{N\! L}\nolimits ^\wedge _{B_1/A_1} : \ar[d] & J_1/J_1^2 \ar[r]_-{\text{d}} \ar[d] & \bigoplus B_1\text{d}x_ i \ar[d] \\ \mathop{N\! L}\nolimits ^\wedge _{B_2/A_2} : & J_2/J_2^2 \ar[r]^-{\text{d}} & \bigoplus B_2\text{d}x_ i } \]
The induced arrow $J_1/J_1^2 \otimes _{B_1} B_2 \to J_2/J_2^2$ is surjective because $J_2$ is generated by the image of $J_1$. This determines the arrow displayed in the lemma. We omit the proof that this arrow is well defined up to homotopy (i.e., independent of the choice of the presentations up to homotopy). The statement about the induced map on cohomology modules follows easily from the discussion (details omitted). $\square$
Lemma 88.3.5. Let $A$ be a Noetherian ring and let $I \subset A$ be a ideal. Let $B \to C$ be morphism of (88.2.0.2). Then there is an exact sequence See proof for elucidation.
\[ \xymatrix{ C \otimes _ B H^0(\mathop{N\! L}\nolimits _{B/A}^\wedge ) \ar[r] & H^0(\mathop{N\! L}\nolimits _{C/A}^\wedge ) \ar[r] & H^0(\mathop{N\! L}\nolimits _{C/B}^\wedge ) \ar[r] & 0 \\ H^{-1}(\mathop{N\! L}\nolimits _{B/A}^\wedge \otimes _ B C) \ar[r] & H^{-1}(\mathop{N\! L}\nolimits _{C/A}^\wedge ) \ar[r] & H^{-1}(\mathop{N\! L}\nolimits _{C/B}^\wedge ) \ar[llu] } \]
Proof. Observe that taking the tensor product $\mathop{N\! L}\nolimits _{B/A}^\wedge \otimes _ B C$ makes sense as $\mathop{N\! L}\nolimits _{B/A}^\wedge $ is well defined up to homotopy by Lemma 88.3.1. Also, $(B, IB)$ is pair where $B$ is a Noetherian ring (Lemma 88.2.2) and $C$ is in the corresponding category (88.2.0.2). Thus all the terms in the $6$-term sequence are (well) defined.
Choose a presentation $B = A[x_1, \ldots , x_ r]^\wedge /J$. Choose a presentation $C = B[y_1, \ldots , y_ s]^\wedge /J'$. Combinging these presentations gives a presentation
\[ C = A[x_1, \ldots , x_ r, y_1, \ldots , y_ s]^\wedge /K \]
Then the reader verifies that we obtain a commutative diagram
\[ \xymatrix{ 0 \ar[r] & \bigoplus C \text{d}x_ i \ar[r] & \bigoplus C \text{d}x_ i \oplus \bigoplus C \text{d}y_ j \ar[r] & \bigoplus C \text{d}y_ j \ar[r] & 0 \\ & J/J^2 \otimes _ B C \ar[r] \ar[u] & K/K^2 \ar[r] \ar[u] & J'/(J')^2 \ar[r] \ar[u] & 0 } \]
with exact rows. Note that the vertical arrow on the left hand side is the tensor product of the arrow defining $\mathop{N\! L}\nolimits _{B/A}^\wedge $ with $\text{id}_ C$. The lemma follows by applying the snake lemma (Algebra, Lemma 10.4.1). $\square$
Lemma 88.3.6. With assumptions as in Lemma 88.3.5 assume that $B/I^ nB \to C/I^ nC$ is a local complete intersection homomorphism for all $n$. Then $H^{-1}(\mathop{N\! L}\nolimits _{B/A}^\wedge \otimes _ B C) \to H^{-1}(\mathop{N\! L}\nolimits _{C/A}^\wedge )$ is injective.
Proof. For each $n \geq 1$ we set $A_ n = A/I^ n$, $B_ n = B/I^ nB$, and $C_ n = C/I^ nC$. We have
\begin{align*} H^{-1}(\mathop{N\! L}\nolimits _{B/A}^\wedge \otimes _ B C) & = \mathop{\mathrm{lim}}\nolimits H^{-1}(\mathop{N\! L}\nolimits _{B/A}^\wedge \otimes _ B C_ n) \\ & = \mathop{\mathrm{lim}}\nolimits H^{-1}(\mathop{N\! L}\nolimits _{B/A}^\wedge \otimes _ B B_ n \otimes _{B_ n} C_ n) \\ & = \mathop{\mathrm{lim}}\nolimits H^{-1}(\mathop{N\! L}\nolimits _{B_ n/A_ n} \otimes _{B_ n} C_ n) \end{align*}
The first equality follows from More on Algebra, Lemma 15.100.1 and the fact that $H^{-1}(\mathop{N\! L}\nolimits _{B/A}^\wedge \otimes _ B C)$ is a finite $C$-module and hence $I$-adically complete for example by Algebra, Lemma 10.97.1. The second equality is trivial. The third holds by Lemma 88.3.3. The maps $H^{-1}(\mathop{N\! L}\nolimits _{B_ n/A_ n} \otimes _{B_ n} C_ n) \to H^{-1}(\mathop{N\! L}\nolimits _{C_ n/A_ n})$ are injective by More on Algebra, Lemma 15.33.6. The proof is finished because we also have $H^{-1}(\mathop{N\! L}\nolimits _{C/A}^\wedge ) = \mathop{\mathrm{lim}}\nolimits H^{-1}(\mathop{N\! L}\nolimits _{C_ n/A_ n})$ similarly to the above. $\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)