当サイトを閲覧いただきありがとうございます。 本記事はミレニアム懸賞問題でただ一つ解かれた難問「ポアンカレ予想」について解説します。
100万ドルの懸賞金がかかった数学の最重要問題7問、ミレニアム懸賞問題。そのうち今のところ解決したのは、このポアンカレ予想ただ1問だけです。しかも物語がとびきり劇的で、100年の難問を証明した数学者は、数学界最高の栄誉であるフィールズ賞も、100万ドルの賞金も、すべて辞退して隠遁生活に入りました。問題の中身は「宇宙の形をどう見分けるか」という、壮大でありながら手触りのある謎です。予備知識なしで、その核心に迫ります。
ロープで見分ける「穴があるかどうか」
ポアンカレ予想を理解する鍵は、「かたちを、伸び縮みだけで見分ける」という発想です。数学ではこれをトポロジー（位相幾何学）と呼びます。粘土細工のように、切ったり貼ったりせず、伸ばしたり縮めたりする変形だけで一致するものは「同じかたち」とみなす、独特のものの見方です。この見方では、コーヒーカップとドーナツは同じかたちになります。どちらも「穴が1つ」という一点で共通し、粘土なら一方から他方へこねられるからです。
この「穴の有無」を、実際に触らずに調べる方法があります。かたちの表面に沿ってロープの輪をかけ、たぐり寄せてみるのです。
ボール（球）の表面を考えてください。表面のどこに輪をかけても、その輪はするすると手繰り寄せられ、最後は1点に縮まります。ボールの表面には引っかかる穴がないからです。ところがドーナツの表面では、穴を1周するようにかけた輪は、どうたぐっても穴に引っかかって1点に縮められません。「表面にかけたどんな輪も1点に縮められる」なら、そのかたちには穴がなく、伸び縮みだけでボールに戻せる。この性質を、数学では「単連結」と呼びます。
次元を1つ上げた瞬間、100年の難問に
ここまでは球の「表面」、つまり2次元の面の話でした。2次元の面については、「輪がすべて1点に縮むなら、それは球面である」ことは古くから分かっていました。ポアンカレが1904年に問うたのは、これを1つ上の次元に持ち上げたときに何が起こるか、でした。
私たちが直接思い描くのは難しいのですが、数学者は「3次元の球面」という対象を考えます。これは、私たちの住む3次元空間そのものが、遠くへ行くとぐるりと閉じて元に戻ってくるような、宇宙の形の候補の一つだと思ってください。ポアンカレの問いを平たく言えばこうなります。
ある宇宙（3次元の閉じた空間）の中で、どんなロープの輪をかけても必ず1点に手繰り寄せられるなら、その宇宙の形は必ず「3次元の球面」だと言い切れるか。
2次元では明らかに正しかったこの主張が、3次元では証明も反証もできないまま、ほぼ1世紀を過ぎました。不思議なことに、もっと次元の高い場合（5次元以上、そして4次元）は20世紀のうちに解決したのに、私たちに一番身近な3次元だけが最後まで残ったのです。次元が低いほど簡単だろうという直感が、ここでも裏切られます。
熱を流すように、宇宙のしわを伸ばす
決着をつけたのは、ロシアの数学者グリゴリー・ペレルマンです。2002年から2003年にかけて、彼はインターネット上に3本の論文を投稿しただけで、この超難問の証明を世界に示しました。専門誌への投稿も、記者会見もありませんでした。
彼の方法の核心は、「リッチフロー」と呼ばれる、いわばかたちのしわを熱のように伸ばしていく操作でした。熱いスープをかき混ぜると温度のムラがしだいに均されていくように、でこぼこした空間に一種の熱の流れを与えて、少しずつなめらかに整えていきます。輪がすべて1点に縮むような空間は、この流れで整えていくと、最後はきれいな球の形に落ち着く。これがペレルマンの示したことの、大まかな筋書きです。
この手法自体はアメリカの数学者ハミルトンが先に提案していましたが、流れの途中でかたちが一部だけ無限にとがってしまう「特異点」という壁にぶつかって行き詰まっていました。ペレルマンは、とがった箇所を丁寧に切り取って流れを続ける手術のような技法を編み出し、この壁を突破しました。証明の検証には世界中の数学者が数年を費やし、2006年までに「証明は正しい」という合意が確立しました。ミレニアム懸賞問題の中で、査読を経て解決が認められた唯一の例です。
100年を生き延びた「小さな穴」
証明が完成するまでの100年間は、平坦な道のりではありませんでした。この予想は「証明した」という誤った発表が何度も繰り返された問題としても知られています。20世紀の間、名のある数学者を含む多くの人が証明を発表しては、後から穴が見つかって撤回する、ということが続きました。ポアンカレ本人でさえ、当初の問いを立てる前に別の主張を証明したと考え、後に自分で反例を見つけて訂正しています。
なぜこれほど誤りが多かったのか。それは、この予想の周辺の数学が「一見すると正しそうな議論に、微妙な抜け穴が潜みやすい」性質を持っていたからです。かたちを扱う直感は強力ですが、高い次元では直感が裏切ることも多く、「明らかに見える」ことと「証明できる」ことの間に、何度も落とし穴が口を開けていました。当シリーズのリーマン予想やABC予想でも見た、証明の検証がいかに難物かという教訓が、ここにも刻まれています。だからこそ、ペレルマンの証明が数年の厳しい検証を経て認められたことの重みは、ひとしおなのです。
すべての栄誉を断った数学者
ここからが、この物語が伝説になった理由です。
2006年、ペレルマンには数学界最高の栄誉とされるフィールズ賞が贈られることになりました。ところが彼はこれを辞退します。1936年に始まったフィールズ賞の歴史で、受賞を辞退したのは彼ただ一人です。さらに2010年、クレイ数学研究所が100万ドルの懸賞金を彼に授与すると決めたときも、彼はこれも辞退しました。
理由について、ペレルマンは多くを語っていません。伝えられているのは、「証明が正しいなら、それ以上の承認は必要ない」「自分の貢献は、道を開いたハミルトンより大きいわけではない」といった趣旨の言葉です。彼は数学界の評価のあり方そのものに強い違和感を抱いていたとも言われ、現在は表舞台から退いて故郷で静かに暮らしていると報じられています。
100年の難問を解き、それによって手に入るはずだった富と名声のすべてに背を向けた。この清々しいまでの一貫性は、数学という営みが本来、賞や金銭のためではなく、真理そのもののためにあることを、これ以上ないほど純粋な形で示したように私は思います。損得を離れて何かに打ち込む姿の極北として、分野を問わず心に残る物語です。
宇宙の形をめぐる素朴な疑問
結局、私たちの宇宙の形はどうなっているのですか？
ポアンカレ予想は「もし輪がすべて縮むなら球である」という数学の定理であって、現実の宇宙が実際にその形だと証明したわけではありません。宇宙が閉じているのか無限に広がっているのか、どんな形なのかは、天文学が観測で決めるべき別の問題です（現在の観測では、宇宙はほぼ平坦で、少なくとも私たちに見える範囲では閉じた兆候は見つかっていません）。ただしこの定理は、宇宙の形にどんな候補があり得るかを整理する数学の言語を与えてくれます。宇宙論と純粋数学が同じ土俵で握手する、美しい接点です。
なぜ3次元だけが最後まで解けなかったのですか？
直感に反しますが、次元にはそれぞれ固有の難しさがあります。5次元以上では「動かす余地」が広く、かたちを整理する手術がやりやすいことが1960年代に分かりました。4次元は別の特殊な技法で1980年代に解決しました。ところが3次元は、動かす余地が狭すぎて高次元の手法が使えず、かといって2次元ほど単純でもない、ちょうど一番厄介な中間の広さだったのです。当シリーズの他の問題でも繰り返し出てきますが、「一番身近なものが一番難しい」という逆説が、ここでも顔を出しています。
リッチフローは他の問題にも使えるのですか？
使えます。ペレルマンが完成させたリッチフローの技法は、ポアンカレ予想を含むより広い主張（サーストンの幾何化予想）を丸ごと証明してしまいました。さらにこの「かたちを流れで整える」という発想自体が、画像処理でノイズを滑らかにする手法や、機械学習でデータの構造を調べる研究にも応用が広がっています。未解決問題を解くために生まれた道具が、まったく別の実用分野で働き始める。当シリーズで何度も見てきた、数学の恩返しのパターンがここにもあります。
関連する未解決問題・パズル
同じミレニアム懸賞問題の「リーマン予想」と「P対NP問題」、そしてかたちと無限をめぐる直感が試される「ガブリエルのラッパ」の記事です。
まとめ
本記事は「ポアンカレ予想」について解説しました。如何だったでしょうか。
表面にかけた輪がすべて1点に縮むなら、そのかたちに穴はない。この手触りのある発想が、1つ次元を上げた瞬間に100年の難問へ化け、熱の流れという意外な道具で解かれ、そして解いた本人がすべての栄誉を断った。問題の美しさと、人間ドラマの純度で、私はこれを未解決問題（正確には「かつての」未解決問題）の中でも別格の一編だと思っています。
ミレニアム懸賞問題は、残る6問がいまだ人類を退けています。7分の1がすでに落ちたという事実は、残りの6問にもいつか決着の日が来ることを、静かに約束してくれているようにも感じます。
未解決問題の一覧に戻りたい方は以下のリンクからどうぞ。
それでは次の記事も閲覧いただけると幸いです。
📚 シリーズ：数学・科学の未解決問題（9/16）
