$\xymatrix{ Y \ar[rd] \ar[rr]_ i & & X \ar[ld] \\ & S }$

be a commutative diagram of morphisms of schemes. Assume that $Y \to S$ is syntomic, $X \to S$ smooth, and $i$ an immersion. Then $i$ is a regular immersion.

Proof. After replacing $X$ by an open neighbourhood of $i(Y)$ we may assume that $i$ is a closed immersion. Let $T = i(Y)$ be the corresponding closed subscheme of $X$. Since $T \cong Y$ the morphism $T \to S$ is flat and of finite presentation (Morphisms, Lemmas 29.29.6 and 29.29.7). Also a smooth morphism is flat and locally of finite presentation (Morphisms, Lemmas 29.32.9 and 29.32.8). Thus, according to Lemma 31.22.7, it suffices to show that $T_ s \subset X_ s$ is a quasi-regular closed subscheme. As $X_ s$ is locally of finite type over a field, it is Noetherian (Morphisms, Lemma 29.14.6). Thus we can check that $T_ s \subset X_ s$ is a quasi-regular immersion at points, see Lemma 31.20.8. Take $t \in T_ s$. By Morphisms, Lemma 29.29.9 the local ring $\mathcal{O}_{T_ s, t}$ is a local complete intersection over $\kappa (s)$. The local ring $\mathcal{O}_{X_ s, t}$ is regular, see Algebra, Lemma 10.139.3. By Algebra, Lemma 10.134.7 we see that the kernel of the surjection $\mathcal{O}_{X_ s, t} \to \mathcal{O}_{T_ s, t}$ is generated by a regular sequence, which is what we had to show. $\square$

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