[论文解读] The minimal Tjurina number of irreducible germs of plane curve singularities

Maria Alberich‐Carramiñana, Patricio Almirón+2 more|arXiv (Cornell University)|Apr 4, 2019

Algebraic Geometry and Number Theory参考文献 11被引用 12

一句话总结

本文给出了不可约平面曲线奇点的最小 Tjurina 数的闭式公式，该公式以解析过程中各点处的重数序列表示，解决了 Dimca 与 Greuel 长久以来的猜想。作者证明了所有不可约平面曲线奇点均有 μ/τ < 4/3，利用代数几何与解析不变量建立了紧致的拓扑界。

ABSTRACT

In this paper we give a positive answer to a question of Dimca and Greuel about the quotient between the Milnor and the Tjurina numbers for any irreducible germ of plane curve singularity. This result is based on a closed formula for the minimal Tjurina number of an equisingularity class in terms of the sequence of multiplicities of the strict transform along a resolution. The key points for the proof are previous results by Genzmer, Wall and Mattei.

研究动机与目标

• 解决 Dimca 与 Greuel 关于不可约平面曲线奇点的 μ/τ 比值上界的猜想。
• 基于严格变换上的重数序列，推导最小 Tjurina 数 τ_min 的闭式表达式。
• 通过仅用等价奇异不变量（如半群或重数序列）表达 τ_min，证明其为拓扑不变量。
• 为所有不可约分支提供 τ 关于奇点重数 n 的紧致下界。
• 将最小 Tjurina 数与 Kähler 微分的幺半群的间隙集合联系起来，为解析不变量提供新视角。

提出的方法

• 利用奇点解析中所有点（包括无穷远点）的重数 e_p 序列，推导 τ_min 的闭式公式。
• 以 Genzmer 最近关于模空间通用分支维数 q_min 的公式作为关键输入。
• 应用 Wall 与 Mattei 的公式，计算 µ-常数形变的维数，从而将 τ_min 与 µ 和 q_min 关联。
• 利用 Enriques 定理及卫星点与自由点的无穷远邻近点性质，分析重数之和。
• 通过函数 σ(k) = (k-2)(k-4)/4 建立不等式，以界定 4τ_min - 3μ 并证明其正性。
• 利用 Peraire 的算法框架，将 τ_min 与 Kähler 微分幺半群 Δ_gen 的间隙数关联。

实验结果

研究问题

• RQ1 所有不可约平面曲线奇点局部奇点的比值 μ/τ 是否有上界 4/3？
• RQ2 最小 Tjurina 数 τ_min 是否能以解析重数序列的闭式表达？
• RQ3 τ_min 是否为拓扑不变量，仅依赖于等价奇异不变量（如半群或重数序列）？
• RQ4 τ 关于奇点重数 n 的紧致下界是什么？
• RQ5 τ_min 与给定等价奇异类中通用曲线的 Kähler 微分幺半群 Δ_gen 的间隙数有何关系？

主要发现

• 最小 Tjurina 数 τ_min 由仅依赖于解析路径上重数序列 e_p 的闭式公式给出：τ_min = σ(n) + n² - 2n + 1 + Σ_自由 (4σ(e_p + 1) - (e_p - 1)(e_p - 4)) + Σ_卫星 (4σ(e_p + 2) - e_p(e_p - 1))，其中 σ(k) = (k-2)(k-4)/4。
• 不等式 μ/τ < 4/3 对所有不可约平面曲线奇点成立，且等号无法取到，该界对族 y^n - x^{n+1} = 0 是紧致的。
• 最小 Tjurina 数 τ_min 是拓扑不变量，仅依赖于等价奇异类与解析重数序列。
• 建立了 τ 的紧致下界：若 n 为偶数，则 τ ≥ 3n²/4 - 1；若 n 为奇数，则 τ ≥ 3(n² - 1)/4，且等号成立当且仅当奇点拓扑等价于 y^n - x^{n+1} = 0。
• 给定等价奇异类中通用曲线的 Kähler 微分幺半群 Δ_gen 的间隙数为 |ℕ ∖ Δ_gen| = σ(n) + n - 2 + Σ_自由 ((e_p - 1) + σ(e_p + 1)) + Σ_卫星 σ(e_p + 2)。
• 本结果证实了 Dimca 与 Greuel 的猜想，并为 τ_min 提供了新的显式且拓扑化的公式，解决了奇点理论中长期悬而未决的问题。