The Stacks project

Lemma 10.134.16. Let $R \to S$ be a ring map of finite type. Let $g \in S$. For any presentations $\alpha : R[x_1, \ldots , x_ n] \to S$, and $\beta : R[y_1, \ldots , y_ m] \to S_ g$ we have

\[ (I/I^2)_ g \oplus S^{\oplus m}_ g \cong J/J^2 \oplus S_ g^{\oplus n} \]

as $S_ g$-modules where $I = \mathop{\mathrm{Ker}}(\alpha )$ and $J = \mathop{\mathrm{Ker}}(\beta )$.

Proof. Let $\beta ' : R[x_1, \ldots , x_ n, x] \to S_ g$ be the presentation of Lemma 10.134.12 constructed starting with $\alpha $. Then we know that $\mathop{N\! L}\nolimits (\alpha ) \otimes _ S S_ g$ is homotopy equivalent to $\mathop{N\! L}\nolimits (\beta ')$. We know that $\mathop{N\! L}\nolimits (\beta )$ and $\mathop{N\! L}\nolimits (\beta ')$ are homotopy equivalent by Lemma 10.134.2. We conclude that $\mathop{N\! L}\nolimits (\alpha ) \otimes _ S S_ g$ is homotopy equivalent to $\mathop{N\! L}\nolimits (\beta )$. Finally, we apply Lemma 10.134.15. $\square$

Comments (3)

Comment #7436 by nkym on

The result for a single choice of and seem to yield not the result for the general case, but a similar isomorphism with more added than or .

Comment #7441 by on

Good catch! The fix is as follows. Let be the representation given in Lemma 10.134.12 using . Then we know that is homotopy equivalent to . We know that and are homotopy equivalent by Lemma 10.134.2. Hence we see that and are homotopy equivalent. Finally, we apply Lemma 10.134.14.

There are also:

  • 13 comment(s) on Section 10.134: The naive cotangent complex

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 00S6. Beware of the difference between the letter 'O' and the digit '0'.