Lemma 10.137.10. Let $R \to S$ be a smooth ring map. There exists an open covering of $\mathop{\mathrm{Spec}}(S)$ by standard opens $D(g)$ such that each $S_ g$ is standard smooth over $R$. In particular $R \to S$ is syntomic.

**Proof.**
Choose a presentation $\alpha : R[x_1, \ldots , x_ n] \to S$ with kernel $I = (f_1, \ldots , f_ m)$. For every subset $E \subset \{ 1, \ldots , m\} $ consider the open subset $U_ E$ where the classes $f_ e, e\in E$ freely generate the finite projective $S$-module $I/I^2$, see Lemma 10.79.4. We may cover $\mathop{\mathrm{Spec}}(S)$ by standard opens $D(g)$ each completely contained in one of the opens $U_ E$. For such a $g$ we look at the presentation

mapping $x_{n + 1}$ to $1/g$. Setting $J = \mathop{\mathrm{Ker}}(\beta )$ we use Lemma 10.134.12 to see that $J/J^2 \cong (I/I^2)_ g \oplus S_ g$ is free. We may and do replace $S$ by $S_ g$. Then using Lemma 10.136.6 we may assume we have a presentation $\alpha : R[x_1, \ldots , x_ n] \to S$ with kernel $I = (f_1, \ldots , f_ c)$ such that $I/I^2$ is free on the classes of $f_1, \ldots , f_ c$.

Using the presentation $\alpha $ obtained at the end of the previous paragraph, we more or less repeat this argument with the basis elements $\text{d}x_1, \ldots , \text{d}x_ n$ of $\Omega _{R[x_1, \ldots , x_ n]/R}$. Namely, for any subset $E \subset \{ 1, \ldots , n\} $ of cardinality $c$ we may consider the open subset $U_ E$ of $\mathop{\mathrm{Spec}}(S)$ where the differential of $\mathop{N\! L}\nolimits (\alpha )$ composed with the projection

is an isomorphism. Again we may find a covering of $\mathop{\mathrm{Spec}}(S)$ by (finitely many) standard opens $D(g)$ such that each $D(g)$ is completely contained in one of the opens $U_ E$. By renumbering, we may assume $E = \{ 1, \ldots , c\} $. For a $g$ with $D(g) \subset U_ E$ we look at the presentation

mapping $x_{n + 1}$ to $1/g$. Setting $J = \mathop{\mathrm{Ker}}(\beta )$ we conclude from Lemma 10.134.12 that $J = (f_1, \ldots , f_ c, fx_{n + 1} - 1)$ where $\alpha (f) = g$ and that the composition

is an isomorphism. Reordering the coordinates as $x_1, \ldots , x_ c, x_{n + 1}, x_{c + 1}, \ldots , x_ n$ we conclude that $S_ g$ is standard smooth over $R$ as desired.

This finishes the proof as standard smooth algebras are syntomic (Lemmas 10.137.7 and 10.136.13) and being syntomic over $R$ is local on $S$ (Lemma 10.136.4). $\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).

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.

## Comments (4)

Comment #724 by Keenan Kidwell on

Comment #2887 by Dario Weißmann on

Comment #2937 by Johan on

Comment #2940 by Dario Weißmann on