Equisingularity in families of double point curves

技術的サマリー：二重点曲線の族における等特異性

問題提起
本論文は、有限決定写像芽 $f: (\mathbb{C}^2, 0) \to (\mathbb{C}^3, 0)$ の 1 パラメータ展開 $F = (f_t, t)$ の等特異性と、それに関連する二重点曲線の族の等特異性の間の関係を調査する。具体的には、著者は 4 つの関連する軌跡を分析する：源空間における二重点曲線 $D(F)$、二重点曲線の像 $F(D(F))$、二重点空間 $D_2(F)$、および商空間 $D_2(F)/S_2$ である。

中心的な問いは、展開 $F$ に対する特定の等特異性の概念（位相的自明性、ホイットニー等特異性、および双リプシッツ等特異性）が、これらの関連する曲線族に対して同様の性質を意味するかどうかである。$F$ の位相的自明性が 4 つの関連する族すべてに対して位相的自明性を意味することは確立されているが、より強い条件（ホイットニーおよび双リプシッツ）下での振る舞いはまだ十分に理解されていない。本論文は、逆の含意が成り立つか、あるいは $F$ が強い等特異性条件を満たすが関連する曲線が満たさないような反例が存在するかどうかを決定することを目的としている。

手法
著者は特異点理論の道具を用い、フィッティングイデアルを通じて定義される多重点空間の解析的構造と、複素空間としての二重点空間の構成を利用する。主要な方法論的構成要素は以下の通りである：

1. 解析的構造：本論文は、$D(f)$、$f(D(f))$、および $D_2(f)/S_2$ に対する解析的構造を厳密に定義する。$D_2(f)/S_2$ については、著者は $D_2(f)$ に対する置換群 $S_2$ の作用を利用し、商イデアルの生成元を導出するための明示的な計算方法（Singular コードを含む）を提供する。
2. 不変量と基準：本研究は、ミルナー数 ($\mu$)、重複度 ($m$)、および安定化におけるクロスキャップの数 ($C$) と三重点の数 ($T$) といった古典的な不変量に依存する。等特異性は、これらの不変量の定数性とホイットニーの条件 (b) の満足によってテストされる。
3. 反例の構成：著者は、等特異性の含意の限界をテストするために、写像芽の明示的な族 $f_t$ を構成する。これらの例は、しばしば重み付き次数の特定の項が変形によって加えられる準同次または同次写像芽を含む。
4. 一般化：この方法論は、$(\mathbb{C}^2, 0) \to (\mathbb{C}^3, 0)$ の設定から、$n \geq 3$ に対する $(\mathbb{C}^n, 0) \to (\mathbb{C}^{2n-1}, 0)$ の写像芽のより高次元の場合へと、二重点曲線に関する古典的な公式を拡張する。

主要な貢献と結果

1. 等特異性含意の精緻化：
   本論文は、等特異性の種類の体系的な比較を提供する。$F$ が位相的自明であれば、4 つの関連する族すべてが位相的自明であることを確認する。しかし、著者は以下の反例を提示する：

   • $F$ がホイットニー等特異であっても、$D_2(F)/S_2$ はホイットニー等特異でない可能性がある。
   • $F$ がホイットニー等特異であっても、$D_2(F)$ は双リプシッツ等特異でない可能性がある。
   • $F$ が双リプシッツ等特異であっても、$D_2(F)/S_2$ はホイットニー等特異または双リプシッツ等特異でない可能性がある。
   • $F$ がホイットニー等特異であっても、$F(D(F))$ は双リプシッツ等特異でない可能性がある。

2. 双リプシッツ等特異性のための十分条件：
   著者は、$f$ が同次写像芽であり、$F$ が位相的自明であれば、$D_2(F)$ は双リプシッツ等特異であることを証明する。この結果は、同次写像に対する二重点空間の特定の幾何学的構造、すなわち成分が直線の和集合であるという事実に依存している。

3. ヘンリー型族：
   本論文は、「ヘンリー型」と呼ばれる曲線の新しい族を導入し、構成する。これらは、位相的自明であるが（重複度の非定数性により）ホイットニー等特異性の条件を満たさない準同次完全交差曲線の族として定義される。著者は、特定の展開から導かれる族 $D_2(F)/S_2$ がそのようなヘンリー型族を構成することを示し、等特異性理論における反例の新たな源泉を提供する。

4. 二重点公式の一般化：
   高次元の写像芽 ($n \geq 3$) に関する問いに応え、著者は簡約フィッティングイデアルを用いて曲線 $D(f)$ および $f(D(f))$ に対する便利な解析的構造を提案する。$f: (\mathbb{C}^n, 0) \to (\mathbb{C}^{2n-1}, 0)$ に対して、$D(f)$ のミルナー数は $D_2(f)$ のミルナー数に等しいことを確立する。また、$\mu(D(f)_{red})$ と $D(f)$ の $\epsilon$ 不変量と $D_2(f)$ の $\mu$ とを関連付ける公式も提供する。

重要性
本論文の重要性は、二重点軌跡に対する等特異性条件の階層を明確にした点にある。それは、展開 $F$ の等特異性が、ホイットニー条件または双リプシッツ条件の下で、すべての関連する二重点曲線に自動的に移行するわけではないことを示しており、特異点理論における幾何学的制約の理解を精緻化している。

明示的な反例を構成することにより、著者は、源写像の位相的自明性またはホイットニー等特異性が、商二重点空間 $D_2(F)/S_2$ に対して同様の性質を意味するという仮定に挑戦する。新しいヘンリー型族の導入は、この分野の基本的な予想を検証するために利用可能な反例のカタログを拡大する。さらに、二重点公式をより高次元 ($n \geq 3$) に一般化することは、余次元 $n-1$ における写像芽を研究するために必要な解析的枠組みを提供し、以前は $(\mathbb{C}^2, 0) \to (\mathbb{C}^3, 0)$ の場合に限定されていた古典的結果を拡張する。