[論文レビュー] Invariants of plane curve singularities and Newton diagrams

Cassou-Noguès, Pierrette, Arkadiusz Płoski|arXiv (Cornell University)|Jul 6, 2012

Algebraic Geometry and Number Theory参考文献 10被引用数 5

ひとこと要約

本稿では、ニュートン図とニュートン変換を用いて、平面曲線特異点の基本的不変量であるミルナー数 μ、δ-不変量、分岐数 r の計算に、交線論的アプローチを提示する。μ、δ、r の公式をニュートンデータの言語で確立し、非退化特異点が、そのニュートン図が同一であるための必要十分条件であることを証明する。これは、コーチニレンコとバーナンの古典的結果を、初等的な交線論を用いて拡張するものである。

ABSTRACT

We present an intersection-theoretical approach to the invariants of plane curve singularities $μ$, $δ$, $r$ related by the Milnor formula $2δ=μ+r-1$. Using Newton transformations we give formulae for $μ$, $δ$, $r$ which imply planar versions of well-known theorems on nondegenerate singularities.

研究の動機と目的

• 平面曲線特異点の基本的不変量 μ、δ、r の計算のための交線論的枠組みを構築すること。
• ニュートン図と変換を用いて非退化特異点を特徴付けること。
• ニュートン図の同一性に基づく等相型の基準を確立すること。
• コーチニレンコ、バーナン、コヴァンスキーの古典的定理を、初等的な代数幾何学を用いて平面的状況に一般化すること。

提案手法

• 交線多重度 i₀(f,g) = dimℂ ℂ{X,Y}/(f,g) を中心的な計算ツールとして用いる。
• ニュートン変換を用いて形式的級数を因数分解し、ニュートン図を介して特異点を分析する。
• プアウゼーのパラメトライゼーションと半群 Γ(f) を用いて分岐の不変量を研究する。
• 交線数の加法的性質とニュートンデータを用いて、μ、δ、r の公式を導出する。
• ニュートン面 S ∈ 𝔑(f) に関する非退化性の概念を用いて、等相型を分類する。
• ミルナーの公式 2δ = μ + r − 1 を、すべての不変量を統合する基盤として用いる。

実験結果

リサーチクエスチョン

• RQ1 ミルナー数 μ、δ-不変量、分岐数 r は、どのようにしてニュートン図を用いて計算できるか？
• RQ2 ニュートン図にどのような条件が満たされると、二つの非退化特異点が等相型となるか？
• RQ3 ニュートン図が、平面曲線特異点の等相型をどの程度まで決定づけるか？
• RQ4 ニュートン変換と形式的級数の因数分解は、交線多重度と不変量とどのように関係するか？
• RQ5 非退化特異点の等相型は、純粋にそのニュートン図によって特徴づけられるか？

主な発見

• 非退化かつ便利な形式的級数 f に対して、ミルナー数は μ₀(f) = μ(Δ) で与えられ、ここで μ(Δ) はニュートン図 Δ の組合せ的不変量である。
• 二つの非退化平面曲線特異点が等相型であるための必要十分条件は、それらのニュートン図が同一であることである。
• 分岐 f=0 の半群は Γ(f) = nℕ + mℕ で与えられ、ここで n = i₀(f,X)，m = i₀(f,Y)，かつ gcd(n,m) = 1 である。
• 非退化 f の既約成分 fᵢ=0 に対して、i≠j のとき交線数 i₀(fᵢ,fⱼ) = min{mₛnₜ, mₜnₛ} が成り立つ。ここで (nₛ,mₛ) は面 S に対応する。
• f と g が非退化で同じニュートン図 Δ を持つならば、f=0 と g=0 は等相型であり、同じ半群と交線数を持つ。
• 同じニュートン図を持つ退化特異点は、一般に等相型ではない。g が退化であるとき、μ₀(g) > μ(Δ) となる。