[論文レビュー] 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 が等価特異性不変量のみに依存することを示し、τ_min が位相的不変量であることを確立すること。
• すべての非可約平面分岐に対して、特異点の多重度 n に関する τ の鋭い下界を確立すること。
• Kähler微分のモノイドにおけるギャップの集合と最小Tjurina数を関連づけ、解析的不変量に対する新たな視点を提供すること。

提案手法

• 特異点の解消におけるすべての点（無限に近い点を含む）における多重度 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 + Σ_free (4σ(e_p + 1) - (e_p - 1)(e_p - 4)) + Σ_sat (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 + Σ_free ((e_p - 1) + σ(e_p + 1)) + Σ_sat σ(e_p + 2) で与えられる。
• 本結果は、Dimca と Greuel の予想を裏付け、τ_min に対する明示的かつ位相的な公式を提供し、特異点論における長年の未解決問題を解決する。