ポアンカレ予想

（3次元）ポアンカレ予想（ポアンカレよそう、）とは、数学の位相幾何学（トポロジー）における定理の一つである。

3次元球面の特徴づけを与えるものであり、定理の主張は

というものである戸田正人 - リッチフローの基礎と三次元多様体の幾何学化Eduardo Francisco Rêgo - On the Mechanics of the Poincaré Conjecture an Heuristic Tour.。7つのミレニアム懸賞問題のうち2024年時点で解決されている唯一の問題である。

ポアンカレ予想は各次元で3種類（位相、PL、微分）があり、かなり解けているが「4次元微分ポアンカレ予想」「4次元PLポアンカレ予想」「高次元微分ポアンカレ予想の残り少し」は未解決である。これらは非常に重要な問題である「多様体とは何か」(第5章に初心者向け解説有り）小笠英志 ブルーバックス・シリーズ 講談社「ポアンカレ予想」はまだ解けてない！？小笠英志 講談社のweb記事 初心者向け解説天才少女（小１）が4次元微分ポアンカレ予想にアタック開始。　意気込みを語る動画。

概説
ポアンカレ予想は、1904年にフランスの数学者アンリ・ポアンカレによって提出された。ポアンカレ予想は現在では「単連結な3次元閉多様体は3次元球面  に同相である」と表現される。すなわち、境界を持たない連結多様体が連結であることと弧状連結であることは同値である。かつコンパクトな3次元多様体は、任意のループを1点に収縮できるならば、3次元球面  と同相であるというものである。

ポアンカレ自身、デーン、ホワイトヘッド、古関健一、コリン・ルーケ (Colin Rourke)、イアン・スチュアート、ビング、などの数学者達がこの問題に挑戦した。初めに1932年ヘルベルト・ザイフェルトがザイフェルトファイバー空間の場合の証明をした。パパキリアコプロスは同値の予想を作ったがその度にマスキットなどに反証された。そしてロシアの数学者グリゴリー・ペレルマンは2002年から2003年にかけてこれを証明したとする一連の論文#参考文献をプレプリントサーバarXivに投稿した。これらの論文について2006年の夏頃まで複数の数学者チームによる検証が行われた結果、証明に誤りのないことが明らかになった。ペレルマンはこの業績によって2006年のフィールズ賞が贈られたが、本人は受賞を辞退し、世間からは疑問の声が上がった。

3次元閉多様体の分類については1970年代に提唱されたウィリアム・サーストンの幾何化予想があり、これは3次元ポアンカレ予想を含意するものである。

次元の一般化
ポアンカレ予想は上の形のまま一般化しても成り立たないが、ポアンカレ予想の同値な言い換えには次のようなものがある。

ここで  次元ホモトピー球面とは、 次元球面とな  次元閉多様体のことである。一般の位相空間においてはホモトピー同値は同相よりも弱い概念であるが、その逆が3次元球面の場合には成り立つということである。そこで高次元には次のようにしてできる。

歴史と背景
このようにポアンカレ予想を  次元に一般化すると  での成立は古典的な事実であり、 の場合は20世紀後半に証明が得られていた。 の時はスティーヴン・スメイルによって 、 の時はマイケル・フリードマンによって  証明された。2人とも、その業績からフィールズ賞を受賞している。スメイルの証明は微分位相幾何学的なものであったが、フリードマンの証明は純粋に位相幾何学的なものである。実際、フリードマンの結果はその直後にドナルドソンによる異種4次元ユークリッド空間（位相的には通常の4次元空間だが、微分構造が異なるもの）の発見へとつながった。以上よりオリジナルである3次元ポアンカレ予想のみを残し、高次元ポアンカレ予想は先に決着してしまった（微分同相については4次元ポアンカレ予想も未解決である）。

 一般向けの説明 
三次元球面（一般には三次元多様体）の「三次元」とは、異なる3つの方向（左右・上下・前後（あるいは奥行））に広がりをもつ、点の集まり（集合）を意味する。また、「球面」とは、「中心」に当たる点との超距離を一定に保った点の集まりである。2つを併せると、直観的には、3次元の小さなパーツを組み合わせて球面の形（ただしもちろん3次元）にしたものということができる。目に見える範囲で実存しイメージしやすいものとして我々のいる物理宇宙が挙げられ、たとえ話に用いられることがしばしばあるが、実際の宇宙は何次元なのかははっきりと判ってはいない。

NHKスペシャル『100年の難問はなぜ解けたのか 〜天才数学者 失踪の謎〜』では、ポエナル博士の説明を取材し『100年の難問はなぜ解けたのか 〜天才数学者の光と影〜』NHK出版、2008年6月。pp. 35–60.「宇宙の中の任意の一点から長いロープを結んだロケットが宇宙を一周して戻って来たとする。ロケットがどんな軌道を描いた場合でもロープの両端を引っ張ってロープを全て回収できるようであれば、宇宙の形は概ね球体である（ドーナツ型のような穴のある形、ではない）といえるのではないか、というのが（3次元）ポアンカレ予想の主張である」と説明している。ただしこれは直観的な説明の一つではあるが厳密性には欠ける。もし球体形（円板形）であれば閉多様体でない。また3次元空間内の真部分集合で3次元多様体は閉多様体でない。

3次元球面と同相な多様体とは、きれいに「丸い」必要はなく、（「3次元」として）ヒョウタン、馬の鞍のように「くびれて」いたりしてもかまわない（例えば、2次元では「コーヒーカップ」と「ドーナツ」は同相である）。2次元の閉曲面の分類定理から類推されるように、球であるか否かは「穴」がないか・あるかにかかっている（「穴」の個数を種数という）。

「穴」があるかどうかは、例えば地球のような2次元球面の場合、我々は宇宙から3次元空間を通して目視することで確認することができる。しかし3次元球面の場合、外から目視して確認したくても、宇宙の外にはたどり着けていないから行うことはできず、「外因的な情報」ではなく「内在的な情報」のみから「穴」がないかあるかを確認することしかできない。そこで、判断したい場所にロープ（3次元球面上の（1次元）閉曲線）を這わせ、引っかからずに引き寄せることができるかどうかで「穴」がないかどうかを判断するという手法を採る。ポアンカレ予想は、3次元球面の任意の場所にロープを這わせても引っかかることが決してないという主張をしているのである（それ以外のものをさらに区別するには、別な方法を用いて、より詳しい情報を得なければいけない）。

 幾何化予想とペレルマン 
2002年から2003年にかけて、当時ステクロフ数学研究所に勤務していたロシア人数学者グリゴリー・ペレルマンはポアンカレ予想を証明したと主張し、2002年11月11日に論文をプレプリント投稿サイトとして有名なプレプリントサーバarXivて公表した。そのなかで彼はリチャード・ストレイト・ハミルトンが創始したリッチフローの理論に「手術」と呼ぶ新たな手法を付け加えて拡張し、サーストンの幾何化予想を解決して、それに付随してポアンカレ予想を解決したと宣言した。サーストンの幾何化予想とは、任意の素な3次元多様体はいくつかの非圧縮トーラスにより、幾何構造をもつピース（閉領域）に分解されるというものである。さらに、幾何構造をもつ3次元多様体のモデルは8つあるというものである。また、サーストンの幾何化予想は、任意の素な3次元多様体は、いくつかのグラフ多様体と双曲多様体を非圧縮トーラスにより張り合わせて得られると言い換えることもできる。

ペレルマンは、特異点が発生する3次元多様体に対して、3次元手術つきリッチフロー (Ricci flow with surgery) を適用することによって幾何化予想を解決した本間泰史 - リッチフロー。手術とは、有限時間で生成する特異点の直前でシリンダー状の部分の切り口  に沿って球面状のキャップをかぶせてそこに標準解と呼ばれるものを貼ることであるLecture。ペレルマンは、この手術を特異点が生成する時空の点に限りなく近づける極限をとることにより、3次元リッチフローが有限時間での特異点を超えて標準的に延長することを証明したHUAI-DONG CAO , XI-PING ZHU - A COMPLETE PROOF OF THE POINCARE AND GEOMETRIZATION CONJECTURES。

それ以来ペレルマン論文に対する検証が複数の数学者チームによって試みられた。原論文が理論的に難解でありかつ細部を省略していたため検証作業は難航したが、2006年5–7月にかけて3つの数学者チームによる報告論文が出揃った。
 ブルース・クライナーとジョン・ロット, Notes on Perelman's Papers（2006年5月）
 ペレルマンによる幾何化予想についての証明の細部を解明・補足
 朱熹平と曹懐東、A Complete Proof of the Poincaré and Geometrization Conjectures - application of the Hamilton-Perelman theory of the Ricci flow（2006年7月、改訂版2006年12月）
 ペレルマン論文で省略されている細部の解明・補足
 ジョン・モーガンと田剛、Ricci Flow and the Poincaré Conjecture（2006年7月）
 ペレルマン論文をポアンカレ予想に関わる部分のみに絞って詳細に解明・補足
3つのチームはどれもペレルマン論文は基本的に正しく致命的誤りはなかったこと、また細部のギャップについてもペレルマンの手法によって修正可能であったという結論で一致した。これらのことから、現在では少なくともポアンカレ予想についてはペレルマンにより解決されたと考えられている。

ペレルマンは解法の説明を求められて多くの数学者達の前で壇上に立った。しかし、ほとんどの数学者がトポロジーを使ってポアンカレ予想を解こうとしており、聴講した数学者たちもほとんどがトポロジーの専門家であったため、微分幾何学を使ったペレルマンの解説を聞いた時、「まず、ポアンカレ予想を解かれたことに落胆し、それがトポロジーではなく（トポロジーの研究者にとっては古い数学と思われていた）微分幾何学を使って解かれたことに落胆し、そして、その解説がまったく理解できないことに落胆した」というNHKスペシャル 2007年10月22日放送分 『100年の難問はなぜ解けたのか 〜天才数学者 失踪の謎〜』 より。なお、ペレルマンの証明には熱量・エントロピーなどの物理的な用語が登場する。

2006年8月22日、スペインのマドリードで催された国際数学者会議の開会式においてペレルマンに対しフィールズ賞が授与された。しかしペレルマンはこれに出席せず、受賞を辞退した。

2006年12月22日、アメリカの科学誌「サイエンス」で科学的成果の年間トップ10が発表され、その第1位に「ポアンカレ予想の解決」が選ばれたBreakthrough of the Year 。

 賞金100万ドル 
アメリカにあるクレイ数学研究所 (CMI) はポアンカレ予想をミレニアム懸賞問題の一つに指定し、証明した者に100万ドル（約1億円）の賞金を与えると発表している。ここでペレルマンが本賞を受賞するのかどうかが一部の関心を呼んでいた。彼は賞金を受け取る条件である「査読つき専門雑誌への掲載」をしておらず、コーネル大学（サーストンが在籍していた）の運営している科学系論文投稿サイトarXivに投稿したのみであり、また彼の証明はあくまでも要領を発表したに過ぎないという説もあったManifold Destiny。

この件に関し、CMI代表のジェームズ・カールソンは次のように述べている。
CMIの規定では受賞資格者は必ずしも専門誌に掲載された論文の直接的な執筆者に限られるわけではない。ペレルマンが変則的な発表手段を採り、arXivへの掲載のみに留めて専門誌に投稿していないというそのこと自体は、彼が受賞する上での障害とはならない。CMIは、いずれにしてもあらゆる素材を吟味して証明の成否を判定し、しかるのち初めて授賞を検討するようである。
2010年3月18日、クレイ数学研究所はペレルマンへのミレニアム賞授賞を発表した。これに関してペレルマンは以前、同賞を「受けるかどうかは、授賞を伝えられてから考える」と述べていたが、結局授賞式には出席しなかった。研究所の所長は「選択を尊重する」と声明を発表し、賞金と賞品は保管されるという。

2010年7月1日、ペレルマンは賞金の受け取りを最終的に断ったと報じられた。断った理由は複数あり、数学界の決定には不公平があることに対する異議や、ポアンカレ予想の解決に貢献したリチャード・S・ハミルトンに対する評価が十分ではないことなどを挙げている。さらに、このことについて本人は「理由はいろいろある」と答えた。

 脚注 

 注 

 出典 

 参考文献 

 関連文献 

 - 春日(2008)の文庫版。

 - ガッセン(2009)の文庫版。

 - スピーロ(2007)の文庫版。

 外部リンク 

（東京大学大学院数理科学研究科: 翻訳者不明）

「ポアンカレ予想」はまだ解けてない！？小笠英志 講談社のweb記事 初心者向け解説

天才少女（小１）が4次元微分ポアンカレ予想にアタック開始。　意気込みを語る動画。
「多様体とは何か」（第5章に初心者向け解説有り）小笠英志　ブルーバックス・シリーズ　講談社

Category:3次元多様体
Category:証明された予想
Category:位相幾何学の定理
Category:ミレニアム懸賞問題
Category:アンリ・ポアンカレ
Category:数学に関する記事
Category:数学のエポニム