もちろんです。リチャード・S・ハミルトンの「リッチフロー」は、数学史的に見るとかなり劇的です。単なる「曲面を丸くする方程式」ではなく、幾何学そのものを時間発展させて、最終的に空間の形を分類するという発想でした。
まず、リッチフローとは何か
正確には Ricci flow（リッチフロー） です。
基本となる方程式は
です。
ここで、
- ：空間の「ものさし」＝リーマン計量
- ：リッチ曲率
- ：時間
です。
普通の物理方程式では、
「物体が時間とともにどう動くか」
を考えます。
ところがリッチフローでは、
「空間そのものの距離の測り方が、時間とともにどう変化するか」
を考えます。
これが猛烈に面白いところです。
1. 「空間を熱で均す」という発想
直感的には、リッチフローは幾何学版の熱方程式に近いものです。
熱方程式なら、
によって、温度の凸凹が時間とともに均されていきます。
例えば鉄板に、
熱いところ
冷たいところ
があれば、熱が移動して均一化します。
リッチフローも似ています。
空間に
曲率の大きいところ
曲率の小さいところ
があると、その幾何学的な凸凹を時間発展によって均していく。
つまり非常に乱暴に言えば、
「空間を熱湯につけて、形の凸凹を均していく」
ようなものです。
2. ところが、単純な「丸くなる話」ではない
ここがハミルトンの凄いところです。
例えば2次元の球面を考えると、リッチフローによって球は基本的に丸くなっていきます。
ところが、もっと複雑な3次元多様体になると、
最初
↓
凸凹した複雑な空間
↓
リッチフロー
↓
曲率が集中
↓
特異点が発生
↓
空間が「首」のように細くなる
↓
手術（surgery）
↓
さらにリッチフローということが起こります。
つまり、
「均していたら、空間が壊れ始める」
のです。
ここから数学が一気にドラマになります。
3. 「特異点」が最大の問題だった
リッチフローを実行すると、曲率が有限のまま進むとは限りません。
例えば
のように曲率が発散する。
これが特異点です。
イメージとしては、
=======> <=======
||
||
||という空間の「首」がどんどん細くなり、
=======>><=======
↑
首が消えるという状態になる。
ここで普通なら、
「方程式が壊れました」
となります。
ところがハミルトンは、
「じゃあ、その部分を切ってしまえばいい」
と考えた。
これが Ricci flow with surgery（手術付きリッチフロー） です。
4. 数学で「手術する」
この「手術」という言葉、かなり業界的に面白いです。
外科手術とほぼ同じ発想です。
病気になった部分を切除する。
数学の場合、
特異点ができそうな細い首を切断する
わけです。
例えば、
球体 —— 細い首 —— 球体なら、
球体 球体
○ ○と分離する。
そして切った部分を適切に埋めて、再びリッチフローを走らせる。
つまり、
「空間を流して、壊れそうになったら切って、また流す」
という、かなり大胆なアルゴリズムになります。
5. そして「ポアンカレ予想」へ
ここで登場するのが有名な
ポアンカレ予想
です。
ざっくり言うと、
「3次元球面と同じような位相的性質を持つ単連結な閉3次元多様体は、3次元球面そのものなのか？」
という問題。
100年近く数学者を苦しめた問題です。
ハミルトンは、
「3次元空間をリッチフローで流していけば、その形を分類できるのでは？」
と考えました。
これは革命的でした。
それ以前は、
「空間を直接分類する」
という発想が中心でした。
ハミルトンは、
「空間を時間発展させて、その行き先を見る」
という方法を持ち込んだ。
ここが非常に重要です。
6. ハミルトンは「ポアンカレ予想を解いた人」ではない
ここは数学業界ではかなり重要なポイントです。
一般向けの記事では、
「ハミルトンがリッチフローを発明して、ペレルマンがポアンカレ予想を解いた」
という説明がよくされます。
これは大筋では正しいのですが、もう少し丁寧に見る必要があります。
ハミルトンは1980年代からリッチフローを発展させ、
3次元多様体を幾何学的に分類する巨大なプログラム
を構築しました。
そしてその流れを決定的に完成させたのが、
グリゴリー・ペレルマン
です。
ペレルマンは2002～2003年に論文を発表し、ハミルトンのプログラムを大幅に進展させました。
結果としてポアンカレ予想が解決されました。
つまり、
ハミルトン＝道路を作った人
ペレルマン＝その道路を最後まで走り切った人
というイメージがかなり近いです。
7. 実は「ペレルマンの謎」にはハミルトンが深く関係する
数学界で面白いのはここです。
ペレルマンが発表した論文は、突然空から降ってきたわけではありません。
ハミルトンのリッチフロー研究を猛烈に研究した結果として登場します。
ところがペレルマンは、
- 大学や研究所の通常のキャリアから距離を置く
- 論文をarXivに公開
- 世界的な数学界の慣習とは少し違った形で研究を進める
- フィールズ賞を辞退
- クレイ数学研究所の100万ドルのミレニアム賞も辞退
という、数学史上かなり異例の人物です。
ここが、
「ハミルトンの壮大なプログラム」
と
「ペレルマンという異端児」
の組み合わせとして非常に面白いところです。
8. そして、さらに深い話がある
ハミルトンが本当に狙っていたのは、単なるポアンカレ予想ではありません。
もっと巨大な構想、
サーストンの幾何化予想
に向かっていました。
これは非常に大雑把に言えば、
「3次元多様体は、いくつかの標準的な幾何学的部品に分解して理解できるのではないか」
という壮大な分類理論です。
したがって、
は単なる一つの微分方程式ではなく、
という位置づけになります。
9. ここで「微分方程式」と「トポロジー」が融合する
これがハミルトンの最大の功績の一つです。
普通、
微分方程式
は
「時間とともに何がどう変化するか」
を扱います。
一方、
トポロジー
は
「形を連続変形したときに何が変わらないか」
を扱います。
全然違う世界に見えます。
ところがハミルトンは、
を使って
を解こうとした。
つまり、
「形の問題を、時間発展する方程式の問題に変換した」
わけです。
これは非常に現代的な数学の発想です。
10. さらに面白いのが「エントロピー」
ペレルマンが導入した重要な概念の一つに、いわゆる
Perelman entropy
があります。
これによってリッチフローの振る舞いをより精密に制御できます。
これも物理との類似性が非常に面白い。
熱力学では、
というエントロピーが登場します。
そして系の時間発展には、
「勝手に複雑な状態へ行くわけではない」
という方向性があります。
リッチフローでも、
「この流れはどのように特異点を形成するのか？」
を制御するために、ある種の単調量を導入する。
数学者からすると、
「流れの中で増えたり減ったりしない量を発見する」
というのは非常に強力な武器です。
11. 業界話的に言うと「方程式を解いた」のではない
ここは、数学をAIや数値計算と関連づけると特に面白いところです。
リッチフローについて、
という式を見ると、
「これをコンピュータで解けばいいんでしょう？」
と思います。
しかし本質はそこではありません。
重要なのは、
「解がどういう構造を持つか」
です。
例えば、
- 特異点はどんな形なのか
- 特異点はどの程度の速さで形成されるのか
- 手術後に何が保証されるのか
- 無限回の手術が起こらないか
- 流れの長時間挙動はどうなるか
などです。
つまり、
数値計算 ≠ 数学的理解
です。
これは以前お話しした「AIが証明を生成しても、人間がその理由を理解できるのか」という問題ともかなり近いです。
12. ハミルトンの凄さは「正しい問題設定」
私はハミルトンの最大の才能を、
「答えを出したこと」より「問題を変形したこと」
に見ると面白いと思います。
例えば、
「この3次元空間は何者なのか？」
という難問を、
↓
「この空間をリッチフローで流したらどうなるのか？」
に変える。
さらに、
↓
「特異点はどのようなモデルになるのか？」
↓
「そのモデルを分類できないか？」
↓
「分類すれば元の空間のトポロジーが分からないか？」
という形に変えていく。
これはまさに、
数学者の「問題の再定義能力」
です。
13. そしてハミルトンは、かなり「職人的」な数学者でもある
ハミルトンの仕事には、
- 最大値原理
- 曲率テンソル
- 微分幾何
- 偏微分方程式
- 特異点解析
- コンパクト性
- 幾何解析
など、非常に多くの技術が投入されています。
つまり、
一発の天才的ひらめきだけで解いた
というタイプではありません。
むしろ、
「この方程式を何とか制御する」
という巨大な技術体系を何十年も積み上げたタイプです。
数学業界的には、ここが非常に重要です。
14. そして「リッチフロー」という名前も面白い
Ricci flow の「Ricci」は、
グレゴリオ・リッチ＝クルバストロ
に由来します。
リッチは19～20世紀のイタリアの数学者。
さらに彼の弟子筋には、
トゥーリオ・レヴィ＝チヴィタ
がいます。
この流れから、
や
が生まれます。
そして後にアインシュタインの一般相対性理論にもリッチテンソルが登場する。
したがって、
リッチ
↓
リッチテンソル
↓
アインシュタイン
↓
一般相対性理論と、
リッチ
↓
リッチ曲率
↓
リッチフロー
↓
ハミルトン
↓
ペレルマン
↓
ポアンカレ予想という、二本の巨大な数学史の川が分岐しているように見えます。
15. そして「宇宙」と「3次元多様体」がつながる
さらに驚くのは、リッチフローが単なる純粋数学ではなく、
一般相対論・宇宙論との親和性が高い
ことです。
一般相対論では、
重力とは、ざっくり言えば時空の幾何学
です。
アインシュタイン方程式も、
という関係を記述します。
一方リッチフローは、
です。
もちろん両者は同じ方程式ではありません。
しかし、
「曲率を通じて空間の形を理解する」
という思想的な親和性があります。
16. ハミルトンを一言で表現すると
私はこう表現すると面白いと思います。
「空間を観察する数学者」から、「空間を流してみる数学者」への転換。
これがリッチフローの革命です。
そして、
という流れを作った。
つまり、
「形を調べる」
だけではなく、
「形を動かして、その死に際を見る」
ことで、形の本質を知ろうとしたわけです。
これは非常に美しい考え方です。
そして、以前お話しした**「数学を6つの言語として見る」**という観点から見ると、リッチフローは特に面白い位置にあります。
幾何学を、微分方程式という「時間の言語」に翻訳し、その時間発展からトポロジーという「形の不変性」を読み出す。
ハミルトンは、まさに数学の言語間翻訳者だった、と見ることもできます。
そしてペレルマンは、その翻訳体系を使って最後の難所を突破した。
ここまで来ると、リッチフローは単なる「方程式」ではなく、「数学的対象を動かして理解する」という、かなりAI時代にも通じる思考法に見えてきます。
0 件のコメント:
コメントを投稿