[论文解读] The cotangent space at a monomial ideal of the Hilbert scheme of points of an affine space

Mark E. Huibregtse|ArXiv.org|Jun 28, 2005

Commutative Algebra and Its Applications参考文献 7被引用 3

一句话总结

本文通过分析余切空间的箭头平移不变性，提出了一种关于仿射空间中点的希尔伯特概形上单项式理想的光滑性的组合准则。它构造了一个包含 $ rn $ 个余切向量的典范集合，并证明该集合构成基（即该点为非奇异点）当且仅当单项式理想满足其生成元与指数的特定几何条件，从而在二维和三维情形下完全刻画了光滑性。

ABSTRACT

Let k be an algebraically closed field. We study the cotangent space of a point t corresponding to a monomial ideal I of k[x_1, ..., x_r] in the Hilbert scheme of n points of affine r-space (so the k-dimension of k[x_1, ..., x_r]/I = colength of I = n). Since t lies in the closure of the locus corresponding to subschemes supported at n distinct points of A^r_k, one knows that the k-dimension of the cotangent space is always >= r*n, and that t is nonsingular if and only if the dimension equals r*n. We construct an explicit linearly independent set S of cotangent vectors of size r*n, and then explore conditions on I under which S either is or is not a basis of the cotangent space. In particular, we give a condition on I sufficient for S to be a basis (equivalently, for t to be nonsingular) that holds for every monomial ideal in the case of r = 2 variables, and that characterizes such ideals when r = 3. We also give an easily-checked condition on I sufficient for S not to be a basis.

研究动机与目标

• 通过分析其余切空间的维数，确定仿射空间 $ \bbA^r $ 中 $ n $ 个点的希尔伯特概形上单项式理想的非奇异条件。
• 显式构造一个包含 $ rn $ 个余切向量的集合 $ \fS $，并确定其线性无关性以及何时张成完整的余切空间。
• 基于箭头平移与标准箭头结构，提出一个组合准则，以判断 $ \fS $ 是否为基，从而刻画光滑性。
• 将二维情形下的光滑性刻画推广至三维情形，并识别出当 $ r>3 $ 时的障碍。

提出的方法

• 在仿射开覆盖 $ U_\beta $ 中，单项式理想 $ I $ 处的余切空间被识别为 $ M/M^2 $，其中 $ M $ 是局部环在对应点处的极大理想。
• 定义函数 $ c^{\mathbf{d}}_{\mathbf{j}} $ 为单项式 $ \mathbf{x}^{\mathbf{d}} \in I $ 模 $ \mathsf{k} $-基 $ \beta $ 的展开系数，该基生成 $ U_\beta $ 的坐标环 $ R $。
• 通过单项式指数格点中箭头的平移来刻画 $ c^{\mathbf{d}}_{\mathbf{j}} $ 模 $ M^2 $ 的等价性，其中平移保持箭头头部在 $ \beta $ 内、尾部在 $ \beta $ 外。
• 构造一个由 $ rn $ 个元素组成的最小标准箭头集合 $ \fS $，其模 $ M^2 $ 的极大性由是否存在箭头可被平移至穿过 $ x_i $-度数为零的超平面而离开 $ \beta $ 来判定。
• 关键判别条件是：$ \fS $ 是余切空间的基当且仅当 $ \fS $ 中任意箭头均无法被平移至使其头部穿过 $ x_i $-度数为零的超平面而离开 $ \beta $，且任意两个箭头之间不彼此平移等价。
• 证明利用平移不变性与格点几何，表明任意标准箭头模 $ M^2 $ 与 $ \fS $ 中某个箭头等价，从而证明了完备性。

实验结果

研究问题

• RQ1 在仿射空间 $ \bbA^r $ 中，$ n $ 个点的希尔伯特概形上，单项式理想的余切空间维数恰好为 $ rn $ 的条件是什么？
• RQ2 何种组合条件可确保典范集合 $ \fS $ 的 $ rn $ 个余切向量构成基？
• RQ3 基集 $ \beta $（即 $ I $ 的补集）的结构如何决定希尔伯特概形上对应点是否为非奇异点？
• RQ4 二维与三维情形下的光滑性准则能否推广至更高维？其中存在何种障碍？
• RQ5 非标准箭头及其平移行为在决定余切空间维数时起何种作用？

主要发现

• 典范集合 $ \fS $ 的 $ rn $ 个最小标准箭头在余切空间 $ M/M^2 $ 中线性无关，且其维数恰好为 $ rn $ 当且仅当 $ \fS $ 中任意箭头均无法被平移至使其头部穿过 $ x_i $-度数为零的超平面而离开 $ \beta $。
• 在 $ r=2 $ 时，$ \fS $ 中无箭头可被平移至穿过 $ x_i $-度数为零的超平面而离开 $ \beta $ 的条件，是光滑性的充要条件。
• 在 $ r=3 $ 时，相同条件同样刻画了光滑性：$ \fS $ 是 $ M/M^2 $ 的基当且仅当 $ \fS $ 中无箭头可被平移至穿过 $ x_i $-度数为零的超平面而离开 $ \beta $。
• 一个易于验证的充分条件是：若理想结构中存在非标准刚性箭头，则必有 $ \dim_k(M/M^2) > rn $，即 $ \fS $ 不构成基。
• 本文构造了一个在 $ \bbk[x_1,x_2,x_3,x_4] $ 中光滑的基集 $ \beta $，其为两盒并集但非复合盒，表明 $ r=3 $ 的刻画无法推广至更高维。
• 证明表明，任意标准箭头均与 $ \fS $ 中某个箭头 $ \sim $-等价，因此 $ \fS $ 张成余切空间当且仅当其模 $ M^2 $ 具有最大秩。