[论文解读] Simple Cohen-Macaulay Codimension 2 Singularities

Anne Fruehbis-Krueger, Alexander Neumer|ArXiv.org|Aug 18, 2008

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

一句话总结

本文利用希尔伯特-伯奇定理，通过表示矩阵及其形变的矩阵扰动，对复空间中简单孤立的科亨-麦克aul伊码数2奇点进行了完整分类。通过系统使用计算机代数（Singular）和部分标准基算法，计算了Tjurina数层并验证了邻接关系，填补了早期分类中长期存在的空白，提供了胖点和空间曲线奇点的完整邻接关系列表。

ABSTRACT

In this article, we provide a complete list of simple Cohen-Macaulay codimension 2 singularities together with a list of adjacencies which is complete in the case of fat point and space curve singularities.

研究动机与目标

• 提供复空间中简单孤立科亨-麦克aul伊码数2奇点在芽同构下的完整分类。
• 确定这些奇点之间，特别是胖点和空间曲线奇点之间的完整邻接关系列表。
• 通过系统计算普遍族中的Tjurina数层，填补先前分类中（尤其是邻接关系列表）的空白。
• 建立一个全面的示例集合，涵盖超曲面、曲线和曲面之外的非完整交奇点，作为参考。
• 通过计算代数几何工具证明邻接关系的完备性，验证并扩展早期列表（如Giusti, Frühbis-Krüger）。

提出的方法

• 利用希尔伯特-伯奇定理，将科亨-麦克aul伊码数2奇点表示为幂级数环中 (n+1)×n 矩阵的最大余子式。
• 通过矩阵扰动描述奇点的平坦形变，将形变理论转化为广义希尔伯特-伯奇框架下的矩阵空间。
• 在计算机代数系统Singular中应用部分标准基算法，计算普遍基空间中Tjurina数比原奇点小1的层。
• 利用数值不变量（Milnor数、Tjurina数、δ-不变量）的半连续性，排除非邻接奇点。
• 利用传递性和直接计算验证邻接路径，将需要显式计算的案例数减少至仅三个。
• 将T¹和有限确定性条件重新表述为表示矩阵的形式，从而实现形变类型的算法计算。

实验结果

研究问题

• RQ1 哪些孤立的科亨-麦克aul伊码数2奇点是简单的，即模态性为零且仅存在有限多个形变类型？
• RQ2 简单胖点和空间曲线奇点之间的完整邻接关系列表是什么，包括完整交和非完整交情形？
• RQ3 能否通过计算方法完成并验证早期分类（如Giusti, Frühbis-Krüger）中的邻接列表为完备的？
• RQ4 普遍族中Tjurina数层在多大程度上可用于系统确定所有可能的邻接奇点？
• RQ5 Singular中的部分标准基算法如何用于高精度计算和验证奇点族中的邻接关系？

主要发现

• 本文提供了简单孤立科亨-麦克aul伊码数2奇点的完整列表，包括完整交和非完整交类型。
• 在 (C²,0) 中的胖点奇点，完整列表包括 $G_5$、$G_7$、$H_{q+3}$、$I_{2q-1}$、$I_{2r+2}$ 和 $inom{X_k}{ ext{matrix}}$ 类型，其中 $k \to \text{type}$。
• 在 (C³,0) 中的空间曲线奇点，完整列表包括 ICIS 类型如 $S_{n+3}$、$T_7$、$T_8$、$T_9$、$U_7$、$U_8$、$U_9$、$W_8$、$W_9$、$Z_9$、$Z_{10}$，以及非-ICIS 类型如 $A_{k-3}\bigvee L$、$E_6(1)$、$E_7(1)$、$E_8(1)$、$J_{2,k}(2)$、$E_{12}(2)$、$D_{k+4}\bigvee L$、$E_6\bigvee L$、$E_7\bigvee L$、$E_8\bigvee L$、$S_6^*$、$T_7^*$、$U_7^*$、$W_8^*$。
• 胖点和空间曲线奇点的邻接关系列表是完整的，图6–8展示了传递和直接邻接关系，包括与平面曲线奇点的连接。
• 该方法成功地将需要显式计算的案例数减少至仅三个，通过计算普遍族中的Tjurina数层，并与已知奇点交叉验证。
• 本文确认 $U_{k+1}$ 无法形变为 $A_k$，解决了 $E_k \bigvee L$ 情形中最后一个剩余的邻接候选。