关于形式光滑/非分歧/平展态射切向准则充分性的参考及问询

嘿，作为代数几何新手，纠结形式光滑/非分歧/平展态射的切向准则完全能理解——这部分确实是入门时的“拦路虎”之一，我来帮你补全评论里的逻辑缺口～

切向准则的核心是把态射的形式局部性质（形式光滑/非分歧/平展）转化为切空间之间的线性映射性质：

• 形式光滑态射对应切映射满射
• 非分歧态射对应切映射单射
• 平展态射对应切映射同构

但这个准则的充分性不是对所有概形态射都成立，评论里特指的是域$k$上的概形在$k$-点处的光滑情形，关键就在于这个场景下的完全局部环结构。

我们一步步拆解：

1. 光滑$k$-概形的局部完全局部环性质
   域$k$上的概形$X$在$k$-点$x$处光滑，根据光滑概形的局部结构定理：$X$在$x$处的完全局部环$\hat{\mathcal{O}}_{X,x}$同构于$k[[t_1,t_2,...,t_n]]$，其中$n$是$X$在$x$处的维数。这个幂级数环是$k$上的“自由”完全局部环，结构非常规整。

2. 形式性质等价于完全局部环的同态性质
   态射$f:Y\to X$在$k$-点$y$（对应$x=f(y)$）处的形式光滑/非分歧/平展性，完全等价于诱导的完全局部环同态$\hat{\mathcal{O}}{X,x}\to\hat{\mathcal{O}}{Y,y}$具有对应的形式环同态性质。

3. 幂级数环的特殊性质让切映射性质直接等价于形式性质
   对于$k[[t_1,...,t_n]]$这样的幂级数环，切空间的线性映射性质（满/单/同构）和完全局部环同态的形式性质是一一对应的：

   • 若切映射满射：说明$\hat{\mathcal{O}}{X,x}\to\hat{\mathcal{O}}{Y,y}$诱导的余切空间映射（$\mathfrak{m}_x/\mathfrak{m}_x^{2\to\mathfrak{m}_y/\mathfrak{m}_y}2$）是单射。利用幂级数环的自由性，我们可以验证这个环同态满足形式光滑的提升性质（对任意Artin $k$-代数的扩张，都能提升态射），从而是形式光滑的。
   • 若切映射单射：对应余切空间映射满射，此时$\hat{\mathcal{O}}{Y,y}$是$\hat{\mathcal{O}}{X,x}$的有限扩张，且余切模$\Omega_{\hat{\mathcal{O}}{Y,y}/\hat{\mathcal{O}}{X,x}}=0$，满足非分歧的定义。
   • 若切映射同构：则上述两种情形同时成立，环同态是平展的。

简单来说，幂级数环的“规整性”消除了局部环的“坏”性质（比如有非平凡的挠、或者结构太复杂），让切空间的线性代数性质直接对应到形式局部的代数性质，这就是评论里说的切向准则充分性成立的原因。

内容的提问来源于stack exchange，提问作者Arrow