A Eudoxian study of discriminant curves associated to normal surface singularities

この論文「A EUDOXIAN STUDY OF DISCRIMINANT CURVES ASSOCIATED TO NORMAL SURFACE SINGULARITIES（正規曲面特異点に関連する判別曲線に関するユークス的研究）」は、複素解析曲面の局所特異点における有限写像の判別式（discriminant）の幾何学的性質、特にその「初期ニュートン曲線（initial Newton curve）」の不変性について研究したものです。

以下に、問題設定、手法、主要な貢献、結果、および意義について詳細な技術的サマリーを記述します。

1. 問題設定と背景

• 対象: $(S, s)$ を正規複素解析曲面の局所特異点（germ）とし、$\phi = (f, g) : (S, s) \to (\mathbb{C}^2, 0)$ を原点への有限写像とする。ここで $f, g$ は $S$ 上の正則関数の芽である。
• 判別式: 写像 $\phi$ の判別式 $\Delta_\phi$ は、$\mathbb{C}^2$ 上の有効除数（divisor）として定義される。これは、$\phi$ が臨界点（critical point）を持つ点の像であり、$\mathbb{C}^2$ 上の曲線（特異点を持つ場合あり）を定義する。
• 初期ニュートン曲線: 判別式 $\Delta_\phi$ を定義する級数 $\eta$ のニュートン多面体 $N(\Delta_\phi)$ のコンパクトな辺（compact faces）に制限された多項式（初期ニュートン多項式 $\eta_N$）の零点集合を「初期ニュートン曲線」と呼ぶ。これは $\eta$ の選び方によらず（定数倍を除いて）一意に定まる。
• 既存の研究: Gryszka, Gwoździewicz, Parusiński は、源空間 $(S, s)$ が滑らかな場合（$\mathbb{C}^2$ の場合）、この初期ニュートン曲線が $f$ と $g$ が定義する除数 $Z(f), Z(g)$ だけで決まることを示した（[20] 定理 1.1）。
• 本研究の課題: この結果を、源空間 $(S, s)$ が任意の正規曲面特異点である場合に一般化すること。

2. 手法：ユークス的戦略（Eudoxian Strategy）

論文の核心となる手法は、古代ギリシャの数学者エウドクソス（Eudoxus）の比例論のアイデアに着想を得た「ユークス的戦略」である。

• エウドクソスの比例論: 2 つの量 $M_1, M_2$ の比を、整数倍 $(bM_1, aM_2)$ の大小関係を比較することで定義する（比そのものを数として定義せず、比較可能性で定義する）。
• 本研究への適用: 写像 $\phi = (f, g)$ を直接調べる代わりに、すべての正整数の組 $(a, b)$ に対して、新しい有限写像 $\phi_{a,b} = (f^b, g^a)$ を同時に考察する。
• ペンシル（Pencil）の解析: 各 $(a, b)$ に対して、$\mathbb{C}^2$ 上の直線 $L_p$ との交点や、$\phi_{a,b}$ によって引き起こされるペンシル（$f^b - \lambda g^a = 0$）の特殊なメンバー（special members）を調べる。
• トロピカル関数との関係: 判別式 $\Delta_\phi$ のトロピカル関数（tropical function）を、これらのペンシルの特殊点やミルノル数（Milnor number）を用いて表現する。これにより、離散的な不変量（交点数など）から連続的な幾何学的対象（初期ニュートン曲線）への橋渡しを行う。

3. 主要な貢献と定理

この論文は以下の 3 つの主要な定理（A, B, C）を証明している。

定理 B：交点数とミルノル数の関係式の一般化

• 内容: 正規曲面特異点間の有限写像 $\phi: (S, s) \to (T, t)$ と、ターゲット上の関数 $F$ について、判別式 $\Delta_\phi$ と $Z(F)$ の交点数を、$F$ とその引き戻し $\phi^*F$ のミルノル数、および写像の次数で表す公式を導出した。
  $$\Delta_\phi \cdot Z(F) = (\mu(\phi^*F) - 1) - \deg(\phi) \cdot (\mu(F) - 1)$$
• 意義: Casas-Alvero, Lê, Némethi による滑らかな場合の公式を、源とターゲットの両方が任意の正規特異点である場合に一般化した。証明には、リーマン・フルヴィッツの公式（Riemann-Hurwitz formula）を境界付きリーマン面の被覆に適用する幾何学的なアプローチが用いられた。

定理 C：ヤコビアンニュートン多面体の組合せ的不変性

• 内容: 有限写像 $\phi = (f, g)$ のヤコビアンニュートン多面体（判別式のニュートン多面体）$N(\Delta_\phi)$ は、$(S, Z(f), Z(g))$ という 3 項の**組合せ的タイプ（combinatorial type）**のみに依存する。
• 意義: Gwoździewicz の滑らかな場合の結果を正規特異点へ拡張した。証明には、定理 B と A'Campo の公式（ミルノル数と良き分解（good resolution）の関係）が用いられた。

定理 A：初期ニュートン曲線の不変性（主定理）

• 内容: 有限写像 $\phi = (f, g)$ の判別式 $\Delta_\phi$ の初期ニュートン曲線は、$f$ と $g$ が定義する除数 $Z(f), Z(g)$ のみによって決まり、$\mathbb{C}^2$ のトーリック自己同型（toric automorphisms）の範囲で一意に定まる。
• 意義: Gryszka らの結果を正規特異点へ一般化した。これは、判別式の「モジュライ（moduli）」的な情報が、源空間の複雑な特異点構造ではなく、単に $f, g$ の零点集合の幾何学（組合せ的構造）にのみ依存することを示している。

4. 証明の概要と技術的要点

1. Delgado-Maugendre の定理の適用: ペンシルの「特殊なメンバー（special members）」の 2 つの定義（臨界直線による定義と、良き分解における dicritical 成分による定義）の同値性を利用し、判別式の初期ニュートン多項式の根と、ペンシルの特殊点の対応を確立した。
2. 定理 B とトロピカル関数の結合: 定理 B を用いて、判別式 $\Delta_\phi$ と二項曲線（binomial curve）$B_{a,b,\lambda}$ の交点数を、$f^b - \lambda g^a$ のミルノル数で表現した（Proposition 8.3）。
3. ユークス的戦略による特定: 異なる $(a, b)$ に対して上記の関係を調べることで、判別式のトロピカル関数の値が、$f, g$ の除数構造（組合せ的タイプ）のみで決定されることを示した（Proposition 9.3）。
4. ホロモルフィックな変形: $f, g$ を $(1+\alpha)f, (1+\beta)g$ のように摂動させたとき、判別式の初期ニュートン曲線が変化しないことを示すために、1 変数のパラメータ族 $\phi_t = ((1+t\alpha)f, (1+t\beta)g)$ を考え、その判別式がパラメータ $t$ に対してホロモルフィックに依存すること（Proposition 11.2）と、Fitting 理想による判別式と除数による判別式の一致（Proposition 10.5）を利用した。

5. 意義と応用

• 理論的意義:

  • 正規曲面特異点における有限写像の判別式の微分幾何学的・組合せ幾何学的な構造を深く理解する枠組みを提供した。
  • 「ユークス的戦略」という、異なるべき乗の写像を比較することで元の写像の性質を抽出する手法を、特異点理論において体系的に定式化し、有効であることを示した。
  • 滑らかな場合と正規特異点の場合の間のギャップを埋め、特異点の複雑さが判別式の「初期形状」には影響しないという驚くべき不変性を明らかにした。

• 新しい不変量の定義:

  • 正規曲面特異点上の 2 つの主除数（principal effective divisors）の対 $(D_1, D_2)$ に対して、その「初期ニュートン曲線」を新しい不変量として定義できる（Definition 11.6）。これは、特異点のトポロジカルな情報だけでなく、代数幾何的な構造を反映する。

• 将来的な展望:

  • この手法は、より高次元の空間や、他の種類の写像（例：モルフォロジーの分類）への拡張の可能性を秘めている。
  • トロピカル幾何学（tropical geometry）と特異点理論の架け橋となる重要なステップである。

総じて、この論文は、高度に抽象化された「ユークス的」な比較手法を用いることで、正規曲面特異点という複雑な環境下でも、有限写像の判別式が持つ本質的な幾何学的不変性が、源空間の微細な構造ではなく、写像を定義する関数の零点集合の組合せ的構造にのみ依存することを証明した画期的な研究である。