[论文解读] On the Vanishing Topology of Isolated Cohen-Macaulay Codimension 2 Singularities

Anne Fruehbis-Krueger, Matthias Zach|arXiv (Cornell University)|Jan 8, 2015

Algebraic Geometry and Number Theory参考文献 15被引用 19

一句话总结

该论文通过引入扩展的 Tjurina 变换，解决了三维孤立 Cohen-Macaulay 余维 2 奇点的消失拓扑问题，实现了对 Milnor 纤维的 Betti 数 b₂ 和 b₃ 的显式计算。证明了在一大类此类奇点（包括所有单奇异点）中 b₂ = 1，并通过全局同调关系与局部不变量解释了 Damon 和 Pike 观测到的非零 b₂ 现象。

ABSTRACT

Isolated Cohen-Macaulay codimension 2 singularities share many common features with isolated complete intersection singularities, but they also exhibit some striking new behaviour. One such instance was recently observed by Damon and Pike in their study of the vanishing topology and Euler characteristic, where they took this class of singularities as examples. In this article, we explore their findings further by determining the Betti numbers explicitly and explain the new phenomena. An important tool here is the Tjurina modification relating a Cohen-Macaulay codimension 2 singularity to a finite number of complete intersection singularities.

研究动机与目标

• 理解孤立 Cohen-Macaulay 余维 2 奇点在完全交之外的拓扑行为，特别是 Damon 和 Pike 观测到的非零第二 Betti 数 b₂ 的原因。
• 解释三叉奇点中欧拉示性数缺陷 b₃ − b₂ 的几何起源。
• 将此前仅用于曲面的 Tjurina 变换技术推广至高维奇点及奇点族。
• 显式计算所有单个孤立 Cohen-Macaulay 余维 2 三叉奇点的 Betti 数 b₂ 和 b₃。
• 建立 b₂ = 1 对一大类此类奇点（包括单奇异点）成立的条件。

提出的方法

• 将 Tjurina 变换推广至三维中 Cohen-Macaulay 余维 2 奇点，通过双有理变换将原奇点与一族局部完全交联系起来。
• 使用 Tjurina 型态 Y₀ 分析奇异点集 Σ(Y₀)，其可能为孤立点或为空集，并通过 h¹(Y₀, T_Y₀) 衡量形变自由度。
• 应用 Lê-Greuel 公式，将第三 Betti 数 b₃ 与奇异点 p ∈ Σ(Y₀) 处的局部 Milnor 数 μₚ 之和以及 Tjurina 数 τₚ 联系起来。
• 对单个 ICMC2 奇点推导出公式 τ = h¹(Y₀, T_Y₀) + b₃，其中 τ 为 Tjurina 数，将全局形变不变量与同调联系起来。
• 分析 Πₖ 奇点族的形变，表明当 ε ≠ 0 时出现 k 个 A₀⁺ 奇点，每个奇点在同调中贡献一个 3-球面。
• 通过拓扑论证表明，在 ε ≠ 0 的纤维中，k 个 3-球面在光滑纤维中同调于零，仅 k−1 个生成 H₃(X_ε)，且整个链同调于零。

实验结果

研究问题

• RQ1 为何在某些孤立 Cohen-Macaulay 余维 2 三叉奇点中，尽管 b₁ 和更高同调群消失，第二 Betti 数 b₂ 仍保持非零？
• RQ2 这些奇点中观测到的欧拉示性数缺陷 b₃ − b₂ < 0 的几何与拓扑解释是什么？
• RQ3 如何将 Tjurina 变换推广至高维及非完全交奇点，以计算 Betti 数？
• RQ4 孤立 Cohen-Macaulay 余维 2 奇点在三维中 b₂ = 1 成立的条件是什么？
• RQ5 在 Πₖ 家族中，ε ≠ 0 的纤维中出现的 k 个 3-球面的 bouquet 具有何种拓扑意义？

主要发现

• 对于所有单个孤立 Cohen-Macaulay 余维 2 三叉奇点，第二 Betti 数 b₂ 恰好为 1。
• 第三 Betti 数 b₃ 等于 Tjurina 型态 Y₀ 的奇异点处局部 Milnor 数 μₚ 之和。
• 对单个奇异点，Tjurina 数 τ 满足 τ = h¹(Y₀, T_Y₀) + b₃，将全局形变不变量与同调联系起来。
• Πₖ 家族的 Tjurina 型态 Y₀ 是光滑的，且 h¹(Y₀, T_Y₀) 随 A₀⁺ 奇点数 k 线性增长。
• 在 ε ≠ 0 的形变纤维中，k 个 3-球面构成一个同调于零的链，仅 k−1 个生成 H₃(X_ε)，且整个 3-链同调于零。
• 对单个奇异点，b₃ − b₂ < 0 但 ≥ −1 的现象可由 b₂ = 1 且 b₃ ≥ 1 解释，其中 A₀⁺ 奇点满足 b₃ = 1。