Formally smooth map
In algebraic geometry and commutative algebra, a ring homomorphism [math]\displaystyle{ f:A\to B }[/math] is called formally smooth (from French: Formellement lisse) if it satisfies the following infinitesimal lifting property: Suppose B is given the structure of an A-algebra via the map f. Given a commutative A-algebra, C, and a nilpotent ideal [math]\displaystyle{ N\subseteq C }[/math], any A-algebra homomorphism [math]\displaystyle{ B\to C/N }[/math] may be lifted to an A-algebra map [math]\displaystyle{ B \to C }[/math]. If moreover any such lifting is unique, then f is said to be formally étale.[1][2]
Formally smooth maps were defined by Alexander Grothendieck in Éléments de géométrie algébrique IV.
For finitely presented morphisms, formal smoothness is equivalent to usual notion of smoothness.
Examples
Smooth morphisms
All smooth morphisms [math]\displaystyle{ f:X\to S }[/math] are equivalent to morphisms locally of finite presentation which are formally smooth. Hence formal smoothness is a slight generalization of smooth morphisms.[3]
Non-example
One method for detecting formal smoothness of a scheme is using infinitesimal lifting criterion. For example, using the truncation morphism [math]\displaystyle{ k[\varepsilon]/(\varepsilon^3) \to k[\varepsilon]/(\varepsilon^2) }[/math] the infinitesimal lifting criterion can be described using the commutative square
[math]\displaystyle{ \begin{matrix} X & \leftarrow & \text{Spec}\left(\frac{k[\varepsilon]}{(\varepsilon^2)}\right) \\ \downarrow & & \downarrow \\ S & \leftarrow & \text{Spec}\left(\frac{k[\varepsilon]}{(\varepsilon^3)}\right) \end{matrix} }[/math]
where [math]\displaystyle{ X,S \in Sch/S }[/math]. For example, if
[math]\displaystyle{ X = \text{Spec}\left( \frac{k[x,y]}{(xy)} \right) }[/math] and [math]\displaystyle{ Y = \text{Spec}(k) }[/math]
then consider the tangent vector at the origin [math]\displaystyle{ (0,0) \in X(k) }[/math] given by the ring morphism
[math]\displaystyle{ \frac{k[x,y]}{(xy)} \to \frac{k[\varepsilon]}{(\varepsilon^2)} }[/math]
sending
[math]\displaystyle{ \begin{align} x &\mapsto \varepsilon \\ y &\mapsto \varepsilon \end{align} }[/math]
Note because [math]\displaystyle{ xy \mapsto \varepsilon^2 = 0 }[/math], this is a valid morphism of commutative rings. Then, since a lifting of this morphism to
[math]\displaystyle{ \text{Spec}\left(\frac{k[\varepsilon]}{(\varepsilon^3)}\right) \to X }[/math]
is of the form
[math]\displaystyle{ \begin{align} x &\mapsto \varepsilon + a\varepsilon^2 \\ y &\mapsto \varepsilon + b\varepsilon^2 \end{align} }[/math]
and [math]\displaystyle{ xy \mapsto \varepsilon^2 + (a+b)\varepsilon^3= \varepsilon^2 }[/math], there cannot be an infinitesimal lift since this is non-zero, hence [math]\displaystyle{ X \in Sch/k }[/math] is not formally smooth. This also proves this morphism is not smooth from the equivalence between formally smooth morphisms locally of finite presentation and smooth morphisms.
See also
- Dual number
- Smooth morphism
- Deformation theory
References
- ↑ Grothendieck, Alexandre; Dieudonné, Jean (1964). "Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Première partie". Publications Mathématiques de l'IHÉS 20: 5–259. doi:10.1007/bf02684747. http://www.numdam.org/item/PMIHES_1964__20__5_0.
- ↑ Grothendieck, Alexandre; Dieudonné, Jean (1967). "Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Quatrième partie". Publications Mathématiques de l'IHÉS 32: 5–361. doi:10.1007/bf02732123. http://www.numdam.org/articles/PMIHES_1967__32__5_0.
- ↑ "Lemma 37.11.7 (02H6): Infinitesimal lifting criterion—The Stacks project". https://stacks.math.columbia.edu/tag/02H6.
External links
- Formally smooth with smooth fibers, but not smooth https://mathoverflow.net/q/333596
- Formally smooth but not smooth https://mathoverflow.net/q/195
 |  |
