Complements of discriminants of real parabolic function singularities. II

この論文は、実放物型関数特異点の判別式補集合の局所連結成分を完全に列挙し、関連する既存の予想を証明・改善するとともに、双曲型偏微分方程式の波動面の局所ペトロフスキー・ラクーナを数え上げ、$X_9^{\pm}$および$P_8^1$特異点の判別式補集合が単純特異点とは異なり非自明な 1 次元ホモロジー群を持つことを示すことで、実関数特異点の非特異摂動を研究する一般的手法を適用したものである。

要約

この論文は、数学の中でも特に「特異点（しゅうきょん）」と呼ばれる、関数の形が急に崩れたり、複雑に絡み合ったりする場所の研究について書かれています。著者の V.A. Vassiliev さんは、この「崩れかけた形」の周りにある、まだ崩れていない（安全な）領域が、いったい何種類あるのかを数え上げ、その地図を作りました。

これを一般の方にもわかりやすく説明するために、いくつかのアナロジー（たとえ話）を使って解説します。

1. 物語の舞台：「滑らかな山」と「崖」

Imagine you are a hiker walking on a vast, smooth landscape.
（想像してみてください。広大な滑らかな地形をハイキングしているとします。）

• 関数（Function）：それは地形そのものです。山や谷、平らな場所があります。
• 特異点（Singularity）：これは地形の「崖」や「深い穴」のような場所です。ここでは地図が読めなくなったり、道が突然終わったりします。数学者は、この崖の形を分類します。
• 判別式（Discriminant）：これは「崖の境界線」です。この線を越えると、地形の性質が劇的に変わってしまいます（例えば、山が一つだったのが、二つに分裂したり、消えたりする）。
• 判別式の補集合（Complement of the Discriminant）：これは「崖に囲まれた、安全な平地」です。ここでは地形が安定しており、ハイキングを楽しむことができます。

この論文の目的は、「特定の種類の崖（放物線型特異点）」の周りにある、安全な平地が、何個の「島」に分かれているのかをすべて数え上げることです。

2. 発見された「島」の数

以前、数学者たちは「この崖の周りには、たぶんこれくらいの数の安全な島があるはずだ」と予想していました。しかし、それが本当かどうかは不明でした。

Vassiliev さんは、最新の計算機（コンピュータ・プログラム）を使って、この「島」の数を正確に数え上げました。

• 予想と一致した場所：多くの種類の崖については、予想通りでした。
• 予想より多かった場所：ある特定の種類の崖（$P^2_8$ という名前です）については、予想より1 つ多い「新しい安全な島」が見つかりました。これは、これまで誰も気づいていなかった隠れた道だったのです。

3. 具体的な例：「クレーンの形」と「迷路」

論文の中で扱われている「放物線型特異点」は、いくつかのグループに分かれます。

• $X_9$ グループ：
  これらの崖の周りは、7 種類、14 種類、52 種類など、それぞれ異なる数の「安全な島」に分かれています。

  • たとえ話：ある崖の周りには、7 つの異なる「庭園」があります。庭園 A から庭園 B へ行くには、必ず「崖（判別式）」を越えなければならず、一度越えると、元には戻れない（あるいは別の形に変わってしまう）世界です。

• $P_8$ グループ（3 次元の形）：
  これは 2 次元の山ではなく、3 次元の「立体」の形です。

  • 一つ目のタイプ（$P^1_8$）：7 つの安全な領域。
  • 二つ目のタイプ（$P^2_8$）：15 つの安全な領域。
  • ここで重要な発見がありました。$P^2_8$ のある特定の領域では、**「1 次元のホモロジー群が自明でない」**という、少し難解な数学的な性質を持っていました。
  • 簡単な説明：これは「その安全な島の中に、ループ（輪っか）のような構造が潜んでいる」ことを意味します。普通の島はただの平らな地面ですが、この島には「隠されたトンネル」や「ループ」があって、その中を一周すると、何かしらの「ねじれ」を感じるような不思議な空間だったのです。

4. なぜこれが重要なのか？（波と音の謎）

「そんな難しい地形の分類が、何の役に立つの？」と思うかもしれません。実は、これは**「波（Wave）」**の動きを理解する鍵になります。

• 波動方程式（Hyperbolic PDEs）：これは、音波や光波、地震波などがどのように広がるかを記述する方程式です。
• ペトロフスキー・ラクーナ（Petrovskii lacunas）：これは「波が静かに消える、あるいは規則正しく振る舞う領域」のことです。波が「カオス」にならない、安全なゾーンです。

この論文の結果は、**「波が、どのような形の崖（特異点）にぶつかったとき、どの方向から近づけば、波がきれいに消える（あるいは規則正しく振る舞う）のか」**をすべてリストアップしたことになります。

特に、$P^2_8$ という崖の場合、これまで「波が静かに消える場所」は 2 箇所しかないと思われていましたが、実は3 箇所あったことがわかりました。これは、新しい「波の静かな場所」の発見です。

5. 研究方法：コンピュータと「手術」

著者は、この問題を解くために、以下のような方法を使いました。

1. バーチャル関数（Virtual Functions）：
   実際の複雑な地形を、コンピュータの中で「データ」としてモデル化しました。
2. 手術（Surgery）：
   地形を少しずつ変形させながら（例えば、山を削ったり、谷を埋めたり）、その変化を追跡しました。これを「手術」と呼びます。
3. コンピュータ・プログラム：
   人間には計算しきれない複雑な変化を、プログラムが自動的に追跡し、「どの地形がどのグループに属するか」を分類しました。

まとめ

この論文は、**「数学的な『崖』の周りにある『安全な島』の地図を、すべて書き起こした」**という成果です。

• 何をした？：複雑な関数の形が崩れる場所（特異点）の周りにある、安定した領域の数を数え上げた。
• 何が見つかった？：予想されていた数とほぼ一致したが、一つ新しい「安全な島」が見つかった。また、いくつかの島には「ループ」のような隠れた構造があることもわかった。
• どんな役に立つ？：波（音や光など）が、どのような障害物にぶつかったときに、どのように振る舞うかを予測する手助けになる。

つまり、これは**「数学的な地形図の精密化」であり、それによって「波の動きの予測精度」**を高めることに貢献した、非常に重要な研究なのです。

技術概要

論文「実放物型関数特異点の判別式補集合の補題 II」の技術的概要

著者: V.A. Vassiliev
概要: この論文は、滑らかな関数の特異点理論において、単純特異点（simple singularities）に次いで重要なクラスである「放物型特異点（parabolic singularities）」の、実パラメータ空間における判別式（discriminant）の補集合の連結成分を完全に列挙することを目的としています。具体的には、Arnold によって分類された放物型特異点（$P_8, X_9, J_{10}$ の実形式）の Versal 変形（普遍変形）において、非特異な摂動が属する連結成分の数を決定し、その位相的・代数的性質を記述します。

---

1. 問題設定と背景

• 判別式と波面: 関数の族の判別式は、対応する関数のゼロレベルセットが特異になるパラメータの集合です。偏微分方程式（PDE）、特に双曲型 PDE の理論において、この判別式は「波面（wavefront）」として現れます。
• Petrovskii 空域（Lacunae）: 波面の補集合の連結成分のうち、波関数が正則に延長可能な領域を「局所 Petrovskii 空域（local Petrovskii lacunas）」と呼びます。この空域を特定するには、判別式補集合の連結成分を分類する必要があります。
• 研究対象: 単純特異点（$A_k, D_k, E_k$）の分類は既知ですが、その次の階層である放物型特異点（$P_8, X_9, J_{10}$）の実形式における判別式補集合の連結成分の完全なリストは未解決でした。著者は前著 [25] で仮説を立てていましたが、本論文ではその証明と一部修正を行います。

2. 手法とアプローチ

著者は、関数特異点の非特異摂動を研究・分離するための一般的な手法を適用しています。

1. バーチャル関数（Virtual Functions）と形式的グラフ:

   • 複素ゼロレベルセットのトポロジカルな特性（消滅サイクルの交差指数、実点との交差、Morse 指数など）をデータとして持つ「バーチャル関数」を導入します。
   • これらのバーチャル関数間の関係（標準的なフリップ、すなわち実関数の手術による変化）を辺とする「形式的グラフ」を構成します。
   • 判別式を横断する手術を除外したグラフの連結成分を「バーチャル成分」と呼びます。これは、実の判別式補集合の連結成分の「不変量」として機能します。

2. コンピュータ支援計算:

   • Picard-Lefschetz 理論と Morse 関数の手術を形式化するコンピュータプログラムを用いて、すべての可能なバーチャル成分を列挙し、その数を計算します。

3. 実成分の同定（Rigid Isotopy Classification）:

   • 各バーチャル成分に対応する実の連結成分の数を決定するために、対称性群（座標の置換や符号反転など）の作用を分析します。
   • 特定の多項式（特異点の近傍での標準形）を構成し、それらが属する連結成分が対称性によって移り変わるか、あるいは独立しているかを厳密に証明します。
   • Bezout の定理やホモロジー不変量（Ind, Card, ホモロジー指数など）を用いて、異なる成分が実際に分離されていることを示します。

3. 主要な結果

放物型特異点の各クラスについて、判別式補集合の連結成分（剛性同痕類）の数を決定しました。

A. $X_9$ クラス（2 変数関数）

• $X_9^{\pm}$: 7 つの連結成分。
• $X_9^1$: 14 つの連結成分（前著 [25] の予想 14 と一致）。
• $X_9^2$: 52 つの連結成分（前著 [25] の予想 52 と一致）。
• 特徴: 一部の成分（図 1 の (d), (e), (g) など）は、1 次コホモロジー群が非自明（$H^1 \neq 0$）であることが示されました。これは単純特異点では起こらない現象です。

B. $J_{10}$ クラス（2 変数関数）

• $J_{10}^1$: 13 つの連結成分。
  • 修正点: 前著 [25] では 11 と予想されていましたが、2 つのバーチャル成分がそれぞれ異なる 2 つの実成分に分裂することが判明し、合計 13 となりました。
• $J_{10}^3$: 33 つの連結成分。

C. $P_8$ クラス（3 変数関数）

• $P_8^1$: 7 つの連結成分。
  • Ind（不変量）の値ごとの分布が特定されました。
  • 重要な発見: Ind = -1 の成分は、1 次コホモロジー群が非自明であることが証明されました（定理 41）。
• $P_8^2$: 15 つの連結成分。
  • 各バーチャル成分（Card 不変量で分類）が 1 つの実成分に対応することが示されました。
  • 表 3 に示される 15 種類の成分の統計的性質が詳細に記述されています。

4. 応用：双曲型 PDE と Petrovskii 空域

判別式補集合の連結成分の分類は、双曲型 PDE の波面における局所 Petrovskii 空域の完全なリストを提供します。

• 既存の予想の証明: ほぼすべての放物型特異点クラスにおいて、前著 [24] で提案された空域のリストが完全であることを証明しました。
• 新たな発見: $P_8^2$ 特異点において、新しい局所空域（local lacuna）が 1 つ発見されました。これにより、$P_8^2$ の空域の数は予想の 2 から3に修正されました（表 4 参照）。
• 条件依存性: 空域の数は、変数の数 $N$ の偶奇と、特異点の二次形式の正の慣性指数 $i_+$ の偶奇に依存します。

5. 意義と結論

1. 分類の完成: 放物型特異点という、単純特異点に次ぐ重要なクラスにおける、実判別式補集合の連結成分の完全な分類が達成されました。
2. トポロジカルな新現象: 単純特異点ではホモトピー的に自明であった判別式補集合の成分が、放物型特異点（特に $X_9^{\pm}$ と $P_8^1$）では非自明な 1 次コホモロジー群を持つことが示され、特異点の複雑さが増大していることを示唆しています。
3. PDE 理論への貢献: 双曲型 PDE の解の正則性領域（空域）の完全なリストが得られ、特に $P_8^2$ における新たな空域の発見は、波動現象の解析において重要な意味を持ちます。
4. 手法の確立: バーチャル関数、形式的グラフ、およびコンピュータ支援による Picard-Lefschetz 理論の形式化という手法は、より複雑な特異点の分類問題に対しても有効であることが示されました。

本論文は、特異点理論と PDE 理論の交差点において、実解析的な構造の微細な分類を達成した画期的な成果です。