Lemma 10.136.16. Let $R$ be a ring. Let $S = R[x_1, \ldots , x_ n]/I$ for some finitely generated ideal $I$. If $g \in S$ is such that $S_ g$ is syntomic over $R$, then $(I/I^2)_ g$ is a finite projective $S_ g$-module.

Proof. By Lemma 10.136.15 there exist finitely many elements $g_1, \ldots , g_ m \in S$ which generate the unit ideal in $S_ g$ such that each $S_{gg_ j}$ is a relative global complete intersection over $R$. Since it suffices to prove that $(I/I^2)_{gg_ j}$ is finite projective, see Lemma 10.78.2, we may assume that $S_ g$ is a relative global complete intersection. In this case the result follows from Lemmas 10.134.16 and 10.136.13. $\square$

Comment #6487 by on

Can I suggest this Lemma be written more concisely? I would prefer "If $R \to S = R[x_1,\dots,x_n]/I$ is syntomic, then $I/I^2$ is a finite projective $S$-module." Unless I'm mistaken, no more generality is added from $g$.

Comment #6559 by on

@#6487. Certainly the lemma implies what you say, but I think it is strictly stronger. Namely, the problem is exactly what is solved in Lemma 10.134.16: we need to compare the conormal module for the algebra $S$ and its presentation with a conormal module of some presentation of $S_g$. To explain this better we could have a remark somewhere discussing more clearly how well defined this "conormal" module really is.

There are also:

• 2 comment(s) on Section 10.136: Syntomic morphisms

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