四体問題の非衝突特異点 Painlevé’s Conjecture
天体力学における「非衝突特異点（Non-collision singularity）」、すなわち天体同士がぶつかっていないのに有限時間内に速度と距離が無限大に達するという現象は人類の「数学的直感」による予測である。
1. 19世紀末：パンルヴェの予言
1895年、フランスの数学者であり後に首相も務めたポール・パンルヴェが、ストックホルム大学での講義中に発言をしました。
- パンルヴェの定理： 三体問題においては、特異点（計算不能になる点）は「衝突」によってしか起こらないことを証明。
- パンルヴェの予言： しかし、「四体以上になれば、衝突を伴わない特異点（非衝突特異点）が存在するはずだ」と予言しました。
これが、以後100年にわたる数学者たちの「無限遠への逃走」を探す旅の始まりでした。
2. 三体問題の「平穏」
三体問題については、歴史的に「非衝突特異点」は存在しないことが確定しています。
- 三体では、1つの天体を無限に加速させるための「エネルギー供給源」が1つ（1ペア）しか作れず、加速のキャッチボールが成立しません。
- そのため、三体問題での絶望は「解けない（カオス）」という点に留まり、「世界が有限時間で破綻する（無限遠）」という事態には至りません。
3. 五体問題：1988年・夏（ジェ・シャリの証明）
パンルヴェの予言から約100年後、ついに「無限」の扉を開けたのは、当時若干20代の中国人留学生、ジェ・シャリ（Xia Zhihong）でした。
- 歴史的快挙： 彼は五体問題において、特定の配置（2つのペアの間を1つのシャトルが往復する）をとれば、有限時間内に速度が無限大に達する解が確実に存在することを数学的に証明しました。
- ガロアとのリンク： 五次方程式が「代数的に解けない」と証明されたように、五体問題において「物理法則が数学的に破綻する瞬間」が確定した歴史的瞬間でした。
4. 四体問題の「沈黙」：現在進行形のミステリー
興味深いことに、五体で証明された後も、四体問題は依然として数学者たちを撥ね付け続けています。
- 1970年代： マレフスキが「四体でも非衝突特異点はあり得る」とする限定的なケースを示唆しましたが、完全な証明には至りませんでした。
- 現在の立ち位置： 四体は、五次方程式と同じく、「秩序（三体までの平穏）が完全に崩壊するかどうかの瀬戸際」にあります。五体ほど「加速の余力」がないため、証明が極めて困難なのです。
5. 歴史のまとめ：数字が語る「無限」への階段
| 天体の数 | 歴史的ステータス | 数学的な意味 |
|---|---|---|
| 三体 | パンルヴェが「安全」を証明 | カオスだが、無限（破綻）は衝突時のみ。 |
| 四体 | 未解決の最前線 | 秩序と破綻の境界線。証明の「壁」が存在する。 |
| 五体 | 1988年にジェ・シャリが証明 | 有限時間内での「無限」が確定。 |
考察：なぜ歴史は「5」で完結したのか
ガロアが「5」で代数方程式の限界を見たように、天体力学もまた「5」という数字で「連続的な運動」から「不連続な破綻（無限）」への扉を開けました。
これは、宇宙が持つ「対称性」や「エネルギー保存」の仕組みが、5つ以上の要素が絡み合った瞬間に、「系を自ら破壊するほどのアノマリー（異常）」を許容してしまうことを示唆しています。
ペレルマンがサージェリーで「形」を救ったように、これらの無限遠へ逃走する解を「手術」して取り除かなければ、私たちの宇宙のシミュレーションは五体問題の時点でフリーズしてしまうことになります。
「Non-collision singularity（非衝突特異点）」を持つ四体問題そのものに特定の「固有名詞」があるわけではありませんが、数学・天体力学の文脈では、この現象や未解決の予想を指して以下のような名称で呼ばれます。
1. パンルヴェ予想（Painlevé’s Conjecture）の四体版
最も一般的な呼び方は、「四体問題におけるパンルヴェ予想」です。
1895年にパンルヴェが「四体以上なら非衝突特異点が存在するはずだ」と予言したため、この未解決問題自体が彼の名を冠して呼ばれます。
- 五体問題については、1988年にジェ・シャリが証明したため「シャリの定理」となりました。
- 四体問題は現在も証明されていないため、依然として「四体におけるパンルヴェ予想」のままです。
2. 疑擬衝突（Pseudocollisions）
非衝突特異点が発生する現象そのものを、専門的には「疑擬衝突（Pseudocollisions）」と呼びます。
天体同士が物理的に一点で重なる（衝突する）わけではないのに、計算上は「無限」が発生してシステムが破綻するため、「衝突のようで衝突でないもの」という意味でこう呼ばれます。
3. 振動的特異点（Oscillatory Singularities）
これは四体問題などで予想されている具体的な「逃走パターン」に基づく名称です。
天体が無限遠に逃げ去る際、お互いの周りを激しく振動（往復）しながら加速していくため、ダイナミカル・システムの用語として「振動的特異点」と表現されることがあります。
歴史的な呼び名の整理
- Painlevé Problem for n=4（四体におけるパンルヴェ問題）
- Non-collision singularities in the 4-body problem（四体問題における非衝突特異点）
- Von Zeipel’s Theorem（フォン・ゼッペルの定理：非衝突特異点が発生するには天体が無限遠に飛んでいかなければならない、という前提を証明した重要な定理）
考察：なぜ四体は「名前」が固定されないのか
五次方程式が「ガロア理論」という金字塔的な名前で固定されたのは、彼が「解けない理由」を完全に体系化したからです。
対して四体問題の非衝突特異点は、まだ「誰もその現場（証明）を押さえていない」状態です。そのため、特定の定理名ではなく、「パンルヴェの予言を四体でどう証明するか」という、現在進行形のチャレンジです。
n-body problem
ジェイコブ・ルーリー（Jacob Lurie）は、現代数学における「高等トポロジー」や「導来代数幾何学（Derived Algebraic Geometry）」でn 体問題を語る場合、それはニュートン力学的な「計算」ではなく、「モジュライ空間のコンパクト化」や「配置空間（Configuration Space）のホモトピー」という抽象的な幾何学の文脈で整理されます。
1. 配置空間の「穴」と特異点
n 体問題において、天体が衝突したり無限遠へ逃走したりする現象は、数学的には配置空間 Conf_n(\mathbb{R}^d) から「特異点」を除去する作業に対応します。
ルーリー的な視点では、この「穴の空いた空間」をそのまま扱うのではなく、「導来代数幾何学」の道具を用いて、特異点（衝突）が起こる場所を「高次の代数的構造」として記述します。
- 天体が近づく＝配置空間の境界に近づく。
- ルーリーの枠組みでは、これらの境界を「単なる端」ではなく、代数的な層（Sheaf）の変形として捉えます。
2. コンツェビッチのコンパクト化との繋がり
ルーリーの理論は、マキシム・コンツェビッチ（Maxim Kontsevich）が提唱した「配置空間のコンパクト化」というアイデアを高度に一般化しています。
三体、四体、五体問題で「無限」が発生するのは、空間が「開いている」からです。
- ルーリー流の整理： 配置空間を「適切に閉じる（コンパクト化する）」ことで、無限遠へ逃走する解や衝突する解を、「新しい幾何学的な点」として定義し直します。
- これにより、「ペレルマンのサージェリー（手術）」に近いことが、代数幾何学的な「境界の貼り合わせ」として厳密に行われます。
3. オペラド（Operad）による相互作用の記述
ルーリーの主著『Higher Algebra』等で扱われる「オペラド」という概念は、n 体問題の整理に直結します。
- オペラドとは： 複数の入力（天体）がどう組み合わさって一つの出力（系の状態）を作るかを記述する数学的装置です。
- n 体問題への適用： 天体がペアを作り、さらにそのペアが別の天体と関わる「階層構造」を、リトル・ディスク・オペラド（Little Disks Operad）などの言葉で整理します。
- これにより、三体・四体・五体と次数が上がるにつれて「対称性（群）」がどう変化し、なぜ特定の次数から「非可解性」や「特異点」が現れるのかを、ホモトピー論的な階層として理解できるようになります。
4. アンプリチュへドロンとの合流点
ルーリーが整備した「導来スタック」や「モチーフ」の理論は、散乱振幅を計算するアンプリチュへドロンの数学的基礎を支えています。
- ルーリーの理論を使えば、三体問題や四体問題の「軌道の広がり」を、単なる点の運動ではなく、「モチーフ（数論的な基本単位）」として捉え直すことが可能です。
- つまり、「無限に分岐するカオス」を、ルーリー的な「無限次圏の対象」として一つの形に閉じ込めることで、統計的な挙動を幾何学的に決定できる可能性を示唆しています。
ジェイコブ・ルーリーは、n 体問題を「解くべき方程式」としてではなく、「空間の穴（特異点）をどう美しく埋め、高次の対称性（オペラド）として記述するか」という、宇宙の構成ルールそのものを整理する枠組みとして扱っています。