（3次元）ポアンカレ予想（ポアンカレよそう、Poincaré conjecture）とは、数学（位相幾何学）における定理の一つである。の特徴づけを与えるものであり、定理の主張は単連結な3次元閉多様体は3次元球面 "S" に同相であるというものである。7つのミレニアム懸賞問題のうち唯一解決されている問題である。ポアンカレ予想は、1904年にフランスの数学者アンリ・ポアンカレによって提出された。ポアンカレ予想は現在では「単連結な3次元閉多様体は "S" に同相である」と言われることが多い。すなわち、（孤状）連結かつコンパクトな3次元多様体は、任意のループを1点に収縮できるならば、3次元球面 "S" と同相であるというものである。ポアンカレ自身、デーン、ホワイトヘッド、古関 健一、コリンルーケ(Colin Rourke)、アイアンスチュアート(Ian Stewart)、ビング、などの数学者達がこの問題に挑戦した。初めに1932年ヘルベルト・ザイフェルトがザイフェルトファイバー空間の場合の証明をした。パパキリアコプロスは同値の予想を作ったがその度にマスキットなどに反証された。そしてロシアの数学者グリゴリー・ペレルマンは2002年から2003年にかけてこれを証明したとする一連の論文をプレプリントサーバarXivに投稿した。これらの論文について2006年の夏頃まで複数の数学者チームによる検証が行われた結果、証明に誤りのないことが明らかになった。ペレルマンはこの業績によって2006年のフィールズ賞が贈られたが、本人は受賞を辞退した。3次元閉多様体の分類については1970年代に提唱されたウィリアム・サーストンの幾何化予想があり、これは3次元ポアンカレ予想を含意するものである。ポアンカレ予想は上の形のまま一般化しても成り立たないが、ポアンカレ予想の同値な言い換えには次のようなものがある。3次元は "S" と同相である。ここで "n" 次元ホモトピー球面とは、"n" 次元球面とホモトピー同値な "n" 次元閉多様体のことである。一般の位相空間においてはホモトピー同値は同相よりも弱い概念であるが、その逆が3次元球面の場合には成り立つということである。そこで高次元には次のようにしてできる。"n" 次元ホモトピー球面は "S" と同相である。このようにポアンカレ予想を "n" 次元に一般化すると での成立は古典的な事実であり、 の場合は早くに証明が得られていた。 の時はスティーヴン・スメイルあるいは山菅弘によって、 の時はマイケル・フリードマンによって証明された。2人とも、その業績からフィールズ賞を受賞している。スメイルの証明は微分位相幾何学的なものであったが、フリードマンの証明は純粋に位相幾何学的なものである。実際、フリードマンの結果はその直後にドナルドソンによる異種4次元ユークリッド空間（位相的には通常の4次元空間だが、微分構造が異なるもの）の発見へとつながった。以上よりオリジナルである3次元ポアンカレ予想のみを残し、高次元ポアンカレ予想は先に決着してしまった（微分同相については4次元ポアンカレ予想も未解決である）。「三次元」という修辞は（局所的には）三つの方向（前後・左右・上下、あるいは縦・横・奥行）に広がりを持つことを意味しており、三次元多様体や三次元球面というのは三次元的な地図を貼り合せてできる（一般には「曲がった」）空間の名称である。「三次元の（恐らく）曲がった空間」として一般にイメージしやすいのが我々のいる物理宇宙であり、ゆえにたとえ話にはしばしば「宇宙」が用いられるが、この文脈においては「宇宙」は「三次元の曲がった空間の例」という意味以上のものではないことに注意すべきである（そもそも実際の宇宙が本当は何次元なのかさえ、はっきりわからないのである）。NHKスペシャル『100年の難問はなぜ解けたのか 〜天才数学者 失踪の謎〜』では、ポエナル博士の説明を改良し「宇宙の中の任意の一点から長いロープを結んだロケットが宇宙を一周して戻って来たとする。ロケットがどんな軌道を描いた場合でもロープの両端を引っ張ってロープを全て回収できるようであれば、宇宙の形は概ね球体である（ドーナツ型のような穴のある形、ではない）と言えるのではないか、というのが（3次元）ポアンカレ予想の主張である」などと説明している。ただしこれは一般向けの説明であり、球体のような形では閉多様体になりえず、また3次元空間内の3次元多様体は決して閉多様体とはならない。また、3次元球面と同相な多様体は「丸く」ある必然性もなく、「3次元として」、ヒョウタンのように「くびれて」いたりしてもかまわない。（「コーヒーカップ」と「ドーナツ」が「同じ」であるように。）例えば地球を（凹凸を無視して）単純な球と考えるとき地表は球面とみなせるから、地表の各地点は二次元の地図を使って表すことができて、ある地点の程近くでは真っ直ぐな平面とほとんど区別する必要はないという意味で「二次元」である。しかし全体としては曲がっていて、長さや角度などの全ての情報を正確に一つの地図で表すことはできない。我々は三次元を認識することができるから、球面を三次元空間に埋め込んで「外因的な情報」によって球面の全体を眺めることができて、それが間違いなく球面であることを理解できるが、ではそのような外因的な情報抜きに与えられた無数の地図という「内在的な情報」のみで地表が球面であることを決定することはできるだろうか、できるとすればどうすればよいだろうか？これと同様の意味で、三次元の曲がった空間である三次元球面などの三次元多様体は四次元空間（あるいはより高次元の空間）に埋め込んでやらなければ「外因的な情報」によって全体を眺めることはできないが、われわれはそのような高次元の空間は認識できないため、認識できる「三次元」の「内在的な情報」のみからその全体を知る方法を用いなければならない。ポアンカレ予想は、ロープが引っかかることが起こり得るかどうかという（十分ゆるい）情報を使って「球面のようなもの」とそれ以外ならば判別できることを主張するのである（それ以外のものをさらに区別するには、別な方法を用いて、より詳しい情報を得なければいけない）。2002年から2003年にかけて当時ステクロフ数学研究所に勤務していたロシア人数学者グリゴリー・ペレルマンはポアンカレ予想を証明したと主張し、2002年11月11日に論文をプレプリント投稿サイトとして有名なarXivにて公表した。そのなかで彼はリチャード・ストレイト・ハミルトンが創始したリッチフローの理論に「手術」と呼ぶ新たな手法を付け加えて拡張し、サーストンの幾何化予想を解決して、それに付随してポアンカレ予想を解決したと宣言した。サーストンの幾何化予想とは、任意の素な3次元多様体はいくつかの非圧縮トーラスにより、幾何構造をもつピース(閉領域)に分解されるというものである。さらに、幾何構造をもつ3次元多様体のモデルは8つあるというものである。また、サーストンの幾何化予想は、任意の素な3次元多様体は、いくつかのグラフ多様体と双曲多様体を非圧縮トーラスにより張り合わせて得られると言い換えることもできる。ペレルマンは、特異点が発生する3次元多様体に対して、3次元手術つきリッチフロー (Ricci flow with surgery) を適用することによって幾何化予想を解決した。手術とは、有限時間で生成する特異点の直前でシリンダー状の部分の切り口 "S" に沿って球面状のキャップをかぶせてそこに標準解と呼ばれるものを貼ることである。ペレルマンは、この手術を特異点が生成する時空の点に限りなく近づける極限をとることにより、3次元リッチフローが有限時間での特異点を超えて標準的に延長することを証明した。それ以来ペレルマン論文に対する検証が複数の数学者チームによって試みられた。原論文が理論的に難解でありかつ細部を省略していたため検証作業は難航したが、2006年5–7月にかけて3つの数学者チームによる報告論文が出揃った。これらのチームはどれもペレルマン論文は基本的に正しく致命的誤りはなかったこと、また細部のギャップについてもペレルマンの手法によって修正可能であったという結論で一致した。これらのことから、現在では少なくともポアンカレ予想についてはペレルマンにより解決されたと考えられている。ペレルマンは解法の説明を求められて多くの数学者達の前で壇上に立った。しかし、ほとんどの数学者がトポロジーを使ってポアンカレ予想を解こうとしており、聴講した数学者たちもほとんどがトポロジーの専門家であったため、微分幾何学を使ったペレルマンの解説を聞いた時、「まず、ポアンカレ予想を解かれたことに落胆し、それがトポロジーではなく（トポロジーの研究者にとっては古い数学と思われていた）微分幾何学を使って解かれたことに落胆し、そして、その解説がまったく理解できないことに落胆した」という。なお、ペレルマンの証明には熱量・エントロピーなどの物理的な用語が登場する。2006年8月22日、スペインのマドリードで催された国際数学者会議の開会式においてペレルマンに対しフィールズ賞が授与された。しかしペレルマンはこれに出席せず、受賞を辞退した。2006年12月22日、アメリカの科学誌「サイエンス」で科学的成果の年間トップ10が発表され、その第1位に「ポアンカレ予想の解決」が選ばれた。アメリカにあるクレイ数学研究所 (CMI) はポアンカレ予想をミレニアム懸賞問題の一つに指定し、証明した者に100万ドル（約1億円）の賞金を与えると発表している。ここでペレルマンが本賞を受賞するのかどうかが一部の関心を呼んでいた。彼は賞金を受け取る条件である「査読つき専門雑誌への掲載」をしておらず、コーネル大学（サーストンが在籍していた）の運営している科学系論文投稿サイトarXivに投稿したのみであり、また彼の証明はあくまでも要領を発表したに過ぎないという説もあった。この件に関し、CMI代表のジェームズ・カールソンは次のように述べている。CMIの規定では受賞資格者は必ずしも専門誌に掲載された論文の直接的な執筆者に限られるわけではない。ペレルマンが変則的な発表手段を採り、arXivへの掲載のみに留めて専門誌に投稿していないというそのこと自体は、彼が受賞する上での障害とはならない。CMIは、いずれにしてもあらゆる素材を吟味して証明の成否を判定し、しかるのち初めて授賞を検討するようである。2010年3月18日、クレイ数学研究所はペレルマンへのミレニアム賞授賞を発表した。これに関してペレルマンは以前、同賞を「受けるかどうかは、授賞を伝えられてから考える」と述べていたが、結局授賞式には出席しなかった。研究所の所長は「選択を尊重する」と声明を発表し、賞金と賞品は保管されるという。2010年7月1日、ペレルマンは賞金の受け取りを最終的に断ったと報じられた。断った理由は複数あり、数学界の決定には不公平があることに対する異議や、ポアンカレ予想の解決に貢献したリチャード・S・ハミルトンに対する評価が十分ではないことなどを挙げている。さらに、このことについて本人は「理由はいろいろある」と答えた。

出典:wikipedia