Remark 89.8.10. Let $\mathcal{F}$ be a category cofibered in groupoids over $\mathcal C_\Lambda$, and let $\xi$ be a formal object of $\mathcal{F}$. It follows from the definition of smoothness that versality of $\xi$ is equivalent to the following condition: If

$\xymatrix{ & y \ar[d] \\ \xi \ar[r] & x }$

is a diagram in $\widehat{\mathcal{F}}$ such that $y \to x$ lies over a surjective map $B \to A$ of Artinian rings (we may assume it is a small extension), then there exists a morphism $\xi \to y$ such that

$\xymatrix{ & y \ar[d] \\ \xi \ar[r] \ar[ur] & x }$

commutes. In particular, the condition that $\xi$ be versal does not depend on the choices of pushforwards made in the construction of $\underline{\xi } : \underline{R}|_{\mathcal{C}_\Lambda } \to \mathcal{F}$ in Remark 89.7.12.

There are also:

• 2 comment(s) on Section 89.8: Smooth 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).