论奇异性簇的无穷小形变 I

奇异性簇的形变理论在理解代数簇的几何与模空间中扮演核心角色。对于可能具有奇点的簇X，其一阶无穷小形变空间由 T^1_X = Ext^1_{O_X}(Ω_X, O_X) 给出，它衡量了X的形变函子的Zariski切空间。当 T^1_X = 0 时，该簇被称为刚性的；否则，T^1_X的非零元素对应于非平凡的一阶形变。我们研究了奇异性簇的 T^1_X 结构，并提供了确保非刚性的上同调和几何准则。特别地，我们证明如果切层 T_X 具有非零上同调 H^1(X, T_X)，或者局部贡献 Ext^1(Ω_X, O_X) 支撑在正维数的奇点集上，则 T^1_X ≠ 0。对于超曲面奇点 X = {f = 0} ⊂ C^{n+1}，我们恢复了雅可比判别法，T^1_X ≅ C[x_0, ..., x_n] / (f, ∂f/∂x_0, ..., ∂f/∂x_n)，其中Tjurina数 τ(X) 的正性刻画了非平凡形变的存在性。此外，当X表现为射影非刚性簇上的锥时，会出现非刚性。这些准则提供了在局部和全局设置中检测非刚性的有效工具，将Ext和上同调群的消失与奇点的形变行为联系起来。这些结果有助于更深入地理解奇点理论、模性与代数簇刚性性质之间的相互作用。