Lemma 10.134.16 (00S6)—The Stacks project

Table of contents
Part 1: Preliminaries
Chapter 10: Commutative Algebra
Section 10.134: The naive cotangent complex
Lemma 10.134.16 (cite)

previous lemma

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. By Lemma 10.134.15, we see that it suffices to prove this for a single choice of $\alpha $ and $\beta $. Thus we may take $\beta $ the presentation of Lemma 10.134.12 and the result is clear. $\square$

Comments (2)

Comment #7436 by nkym on June 20, 2022 at 23:36

The result for a single choice of $\alpha$ and $\beta$ seem to yield not the result for the general case, but a similar isomorphism with more $S_g$ added than $m$ or $n$ .

Comment #7441 by Johan on June 21, 2022 at 11:34

Good catch! The fix is as follows. Let $\beta' : R[x_1, \ldots, x_n, x] \to S_g$ be the representation given in Lemma 10.134.12 using $\alpha$ . Then we know that $NL(\alpha) \otimes_B B_g$ is homotopy equivalent to $NL(\beta')$ . We know that $NL(\beta)$ and $NL(\beta)$ are homotopy equivalent by Lemma 10.134.2. Hence we see that $NL(\alpha) \otimes_B B_g$ and $NL(\beta)$ are homotopy equivalent. Finally, we apply Lemma 10.134.14.

There are also:

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

Comments (2)

Post a comment