Isolated Hypersurface Singularities May Be Stably Degenerate

技術的要約：孤立超曲面特異点は安定的に退化し得る

問題提起
本論文は、1975年にアーノルドによって提起された特異点論における長年の未解決問題に取り組んでいる。すなわち、「すべての孤立超曲面特異点は、ニュートン非退化多項式への安定的な同値性を有するか？」という問いである。多項式が「ニュートン非退化」であるとは、その制限がトーラス $(\mathbb{C}^*)^N$ 上で、ニュートン多面体の任意のコンパクトな面において臨界点を持たないことを指す。特異点が固定された座標系において退化し得ることは既知であるが、安定化（新しい変数への非退化な二次形式の追加）によって常に退化を排除できるか否かは疑問のままであった。著者らは、この予想に対する反例の存在を証明する。

手法
証明は、接触ロカス（contact loci）の混合ホッジ構造と、アーベル多様体のモジュライ空間の幾何学との相互作用に依拠した存在論的議論である。核心となる戦略は、特定の特異点 $f$ を構成し、その安定不変量が、いかなるニュートン非退化特異点の族からも生じ得ないことを示すことである。

1. 特異点の構成:
   著者らは、多項式 $f = F + h$ を以下のように構成する：

• $F$ は、高次元（$g \geq 16$）の「十分に一般的な」主極化アーベル多様体 $A$ に双有理な、射影空間内の超曲面を定義する次数 $d$ の同次多項式である。
• $h$ は、$f$ が原点において孤立特異点を持つことを保証する、次数 $d$ よりも大きい（例えばフェルマー型）多項式である。
• 特定のアーベル多様体 $A$ は、以下の3つの性質を満たすように選択される（補題3.3）：それは自身のモジュライ空間内の有理部分多様体に包含されず、その同種類（isogeny class）は定数ホッジ構造を持つ $\mathbb{Q}$ 上定義の射のファイバーとなる多様体を含まず、かつネロン・セベリ群のランクが1である。

2. 接触ロカスと混合ホッジ構造:
   著者らは、特異点に接する曲線の $d$-ジェットの空間である接触ロカス $\chi_f$ を分析する。そして、安定化 $f_k$ の接触ロカスのコンパクト支持コホモロジーの混合ホッジ構造（MHS）を計算する。

• 重要な結果（補題6.10）は、 $f_k$ の接触ロカスの MHS の特定のウェイト次数成分が、アーベル多様体 $A$ のコホモロジーのテイト・ツイスト（具体的には $H^{2\text{g}-1}(A; \mathbb{Q})(-m)$）と同型であることを確立している。

3. モジュライ空間による矛盾:
   証明は背理法による。もし $f$ の安定化が、座標変換後にニュートン非退化であると仮定する。

• 固定されたニュートン多面体を持つニュートン非退化多項式の空間は、有理多様体 $T$ によってパラメータ化された族を形成する。
• このような族において、接触ロカスのコホモロジーは局所定数層を形成し（補題5.8）、パラメータ空間 $T$ から極化アーベル多様体のモジュライ空間 $A_{g, \delta}$ への周期写像を誘導する。
• $T$ は有理的であり、かつ $A_{g, \delta}$（$g \geq 16$ の場合）は一般型であり（したがって、十分に一般的な点を通る有理曲線を含まない）、したがって $T$ から $A_{g, \delta}$ への代数的な写像は定数でなければならない。
• しかし、構築された特定のアーベル多様体 $A$ は、そのような $\mathbb{Q}$ 上定義の定数写像の像の外側に位置するように選択されていた（補媒体3.3）。この矛盾は、いかなる座標変換も安定化をニュートン非退化にすることはできないことを意味する。

主要な貢献と結果

• 定理 1.1: 孤立超曲面特異点が「安定的に退化している（stably degenerate）」存在が証明された。これは、アーノルドの1975年の問題に対する否定的な回答を与えるものである。
• 幾何学的特徴付け: ニュートン非退化性を阻害する要因は、アーベル多様体のモジュライ空間のグローバルな幾何学的特性にあることを特定した。具体的には、高次元モジュライ空間の「非一様性（一般型であること）」が、特定のホッジ構造がニュートン非退化な特異点の族によって実現されることを防いでいる。
• アルゴリズム的存在: 主要な証明は非構成的であるが、第8節では、明示的な例を生成するための理論的なアルゴリズムの概略を示している。これには、代数的に独立な座標を持つアーベル多様体の点を求めるためのグレブナー基底の手法が含まれる。著者らは、結果として得られる多項式の次数が膨大であり、二重指数関数的な複雑さを持つため、実用上の計算は不可能であると述べている。

意義
本論文は、ニュートン非退化特異類のクラスが、すべての孤立超曲面特異類のクラスと安定的な同値関係にないことを示すことにより、特異点論における根本的な未解決問題を解決した。その意義は二重にある：

1. 理論的: 特異点の局所的な解析的性質と、アーベル多様体のモジュライ空間のグローバルな幾何学との間の深い繋がりを確立した。
2. 方法論的: 接触ロカスの混合ホッジ構造を、安定同値類を区別するための強力な不変量として用いる手法を導入した。具体的には、一般型のモジュライ空間における周期写像の剛性を活用している。

著者らは、この議論が特定の性質を持つ次元 $g \geq 16$ のアーベル多様体の存在に依存していることを指摘しており、これらの特異点が一定のミルノル数を有するストラータ内において生成的である可能性を示唆するスティーブンスの研究を引用している。最後に、これらの手法をフローラー理論と組み合わせることで、このような特異点が $\mu$-一定な族の中でニュートン非退化なものへと変形できないことを示す、より強力な結果を得られる可能性があると結論づけている。