[论文解读] One-parameter families containing three-dimensional toric Gorenstein singularities

Klaus Altmann|ArXiv.org|Sep 11, 1996

Commutative Algebra and Its Applications参考文献 4被引用 16

一句话总结

本文通过非紧多面体的闵可夫斯基和分量，为三维环面 Gorenstein 奇点的 $T^1$-模提供了几何组合解释，使得即使在非负多重次数下也能构造一参族形变。证明了一维 $T^1$-分量中的无穷小形变是无阻碍的，并将其提升为真实的单参数族，构成万有形变空间的骨架，应用于理解三维翻转。

ABSTRACT

For affine toric varieties, the vector space T1 (containing the infinitesimal deformations) will be interpreted via Minkowski summands of cross cuts of the defining polyhedral cone. This result will be applied to study the deformation theory of (in particular non-isolated) three-dimensional Gorenstein singularities.

研究动机与目标

• 通过非紧多面体和闵可夫斯基和分量，在所有多重次数下为环面奇点的 $T^1$-模提供几何解释。
• 将真实形变的构造从负多重次数（此时全空间为环面）扩展到非负次数，即使全空间不再为环面。
• 分析具有非孤立奇点的三维环面 Gorenstein 奇点（例如横截 $A_k$-型），其中 $T^1$ 分布于无穷多个多重次数。
• 为一维 $T^1$-分量中无阻碍的无穷小形变构造显式的一参族，尤其在非负次数下。
• 为理解基空间的不可约分支及其组合成一般纤维（与三维翻转相关）奠定基础框架。

提出的方法

• 使用非紧多面体的闵可夫斯基和分量，几何地描述每个多重次数下的 $T^1$-模，推广了对孤立奇点的先前结果。
• 定义集合 $E_j^R$ 及相关复形 $\operatorname{span}(E^R)_\bullet$，以通过与 $\mathbb{C}$ 的张量积的上同调计算 $T^1_Y(-R)$。
• 通过将单项式组合提升至更高维锥 $\tilde{\sigma} \subset M \oplus \mathbb{Z}$，利用提升格点中的线性关系，构造 Kodaira-Spencer 映射。
• 引入全空间边界方程的扰动规则：将单项式关系替换为 $f^1 - f = t \cdot g$，其中 $f^1 - f$ 为正则函数，捕捉形变参数。
• 将该方法应用于具体例子，如 $\mathbb{P}(1,2,3)$ 的锥，通过识别相关的 $R^*$-直线并构造提升锥 $\tilde{\sigma}$ 的生成元。
• 通过显式方程验证形变族：边界方程通过含形变参数 $t$ 的项进行扰动，系数由提升后的单项式导出。

实验结果

研究问题

• RQ1 如何在所有多重次数下，为任意环面奇点的 $T^1$-模提供几何解释，超越孤立 Gorenstein 情况？
• RQ2 即使全空间不再为环面，能否在非负多重次数下构造真实的单参数形变？
• RQ3 具有非孤立奇点的三维环面 Gorenstein 奇点的 $T^1$-模结构如何？有多少个多重次数支持非平凡形变？
• RQ4 哪些单参数族对应万有形变基空间的不可约分支？
• RQ5 如何将这些单参数族组合起来，构造给定分支的一般纤维（即光滑化），与三维翻转相关？

主要发现

• 对于具有非孤立奇点的三维环面 Gorenstein 奇点，$T^1_Y$ 分布于无穷多个多重次数，其中大多数非零分量为一维。
• 对应于一维 $T^1$-分量的无穷小形变是无阻碍的，可被提升为真实的单参数形变族。
• 形变族通过边界方程的扰动构造：例如，$V_2 Z_1 - U^2 \to V_2 Z_1 - U^2 - t_\alpha Z_3 = 0$，其中参数 $t$ 来自提升锥中单项式之差。
• 在 $\mathbb{P}(1,2,3)$ 的锥的例子中，在度数 $-R^\alpha$、$-R^\beta$ 和 $-R^\gamma$ 处构造了三个不同的单参数族，每个对应不同的 $R^*$-直线和扰动规则。
• 提升锥 $\tilde{\sigma}$ 是由 $M \oplus \mathbb{Z}$ 中四个生成元生成的单纯形，形变编码于提升单项式之间的线性关系中。
• 即使全空间非环面，该构造仍提供了 Kodaira-Spencer 映射和形变全空间的组合描述。