Lemma 96.12.5. Let $S$, $\mathcal{X}$, $U$, $x$, $u_0$ be as in Definition 96.12.2. Let $l$ be a field and let $u_{l, 0} : \mathop{\mathrm{Spec}}(l) \to U$ be a morphism with image $u_0$ such that $l/k = \kappa (u_0)$ is finite. Set $x_{l, 0} = x_0|_{\mathop{\mathrm{Spec}}(l)}$. If $\mathcal{X}$ satisfies (RS) and $x$ is versal at $u_0$, then

$\mathcal{F}_{(\mathit{Sch}/U)_{fppf}, l, u_{l, 0}} \longrightarrow \mathcal{F}_{\mathcal{X}, l, x_{l, 0}}$

is smooth.

Proof. Note that $(\mathit{Sch}/U)_{fppf}$ satisfies (RS) by Lemma 96.5.2. Hence the functor of the lemma is the functor

$(\mathcal{F}_{(\mathit{Sch}/U)_{fppf}, k , u_0})_{l/k} \longrightarrow (\mathcal{F}_{\mathcal{X}, k , x_0})_{l/k}$

associated to $\hat x$, see Lemma 96.7.1. Hence the lemma follows from Formal Deformation Theory, Lemma 88.29.5. $\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).