ポアンカレ予想
ポアンカレ予想（ポワンカレ予想とも。Poincaré conjecture）とは「単連結な3次元閉多様体は3次元球面S3に同相である」という予想であり、1904年にフランスの数学者アンリ・ポアンカレによって提出された。以来ほぼ100年に渡り未解決だったが、2002年から2003年に掛けてロシア人数学者グリゴリー・ペレルマンはこれを証明したとする複数の論文をarXivに掲載した。これらの論文について2006年の夏頃まで複数の数学者チームによる検証が行われた結果、現在では彼が実際に証明に成功したと考えられている。ペレルマンはこの業績によって2006年のフィールズ賞を受賞した（但し本人は受賞を辞退）。
ここではオリジナルである「3次元ポアンカレ予想」について説明する。
一般化された問題
ポアンカレ予想は一般化（高次元に拡張）できる。それは次のようなものである。
- n次元ホモトピー球面はn次元球面に同相である
このようにポアンカレ予想をn次元に一般化するとn=2での成立は古典的な事実であり、n≥4の場合は既に証明が得られている。n≥5の時はステファン・スメールによって（1960年）、n=4の時はマイケル・フリードマンによって（1981年）証明された。両人とも、その業績からフィールズ賞を受賞している。スメールの証明は微分位相幾何学的なものであったが、フリードマンの証明は純粋に位相幾何学的なものである。実際、フリードマンの結果はその直後にドナルドソンによる異種4次元ユークリッド空間（位相的には通常の4次元空間だが、微分構造が異なるもの）の発見へとつながった。以上よりオリジナルである3次元ポアンカレ予想のみを残し、高次元ポアンカレ予想は先に決着してしまった（もっとも、微分同相については4次元ポアンカレ予想も未解決と言われる）。
3次元ポアンカレ予想と幾何化予想
3次元ポアンカレ予想についてサーストンの幾何化予想（サーストンのプログラム）があり、これは3次元多様体の分類に関するものである。この予想は3次元ポアンカレ予想を含み、大変壮大なものである。
幾何化予想とペレルマン
2002年から2003年にかけて当時ステクロフ数学研究所に勤務していたロシア人数学者グリゴリー・ペレルマンはポアンカレ予想を証明したと主張し、論文をプレプリント投稿サイトとして著名なarXivにて公表した。その中で彼はリチャード・ストレイト・ハミルトンが創始したRicci flowの理論に「手術」と呼ぶ新たな手法を付け加えて拡張し、驚くべきことにサーストン幾何化予想を解決してその系としてポアンカレ予想を解決した（と宣言した）。
それ以来ペレルマン論文に対する検証が複数の数学者チームによって試みられた。原論文が理論的に難解でありかつ細部を省略していたため検証作業は難航したが、2006年5～7月にかけて3つの数学者チームによる報告論文が出揃った。
- Bruce Kleiner and John Lott, 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月）：ハミルトンとペレルマンによる幾何化予想とポアンカレ予想の証明について
- John Morgan and Gang Tian Ricci Flow and the Poincaré Conjecture（2006年7月）：ペレルマン論文をポアンカレ予想に関わる部分のみに絞って詳細に解明・補足
これらのチームは何れもペレルマン論文は基本的に正しく致命的誤りは無かったこと、また細部のギャップについてもペレルマンの手法によって修正可能であったという結論で一致した。これらのことから、現在では少なくともポアンカレ予想についてはペレルマンにより解決されたと考えられている。
2006年8月22日、スペインのマドリードで催された国際数学者会議の開会式においてペレルマンに対しフィールズ賞が授与された（ただし本人はこれを辞退）。
2006年12月22日、アメリカの科学誌「サイエンス」で科学的成果の年間トップ10が発表され、その第1位に「ポアンカレ予想の解決」が選ばれた[1][2]。
賞金100万ドル
米クレイ数学研究所（CMI）はポアンカレ予想をミレニアム懸賞問題の一つに指定し、証明した者に100万ドル（約1億1000万円）の賞金を与えると発表している。ここでペレルマンが本賞を受賞するのかどうかが一部の関心を呼んでいる。ただし、彼は賞金を受け取る条件である｢査読つき専門雑誌への掲載｣をしておらずまた彼の証明はあくまでも要領を発表したに過ぎないという説もあり、賞金を手にするとは限らない（ペレルマン自身が賞金に興味を示していないとも噂される）。
この件に関し、CMI代表のJames Carlsonは次のように述べている。
- CMIの規定では受賞資格者は必ずしも専門誌に掲載された論文の直接的な執筆者に限られる訳ではない。ペレルマンが変則的な発表手段を採り、arXivへの掲載のみに留めて専門誌に投稿していないというそのこと自体は、彼が受賞する上での障害とはならない。CMIは何れにしてもあらゆる素材を吟味して証明の成否を判定し、然る後初めて授賞を検討するようである。
参考文献
- 解決!ポアンカレ予想 （雑誌『数学セミナー』増刊、日本評論社、2007.1）
脚注
外部リンク
ペレルマン論文
- The entropy formula for the Ricci flow and its geometric applications, 2002
- Ricci flow with surgery on three-manifolds, 2003
- Finite extinction time for the solutions to the Ricci flow on certain three-manifolds, 2003
このページはWikipedia日本語版由来のコンテンツを利用しています。もとの記事はポアンカレ予想にあります。執筆者のリストは履歴をご覧ください。Yourpediaと同じくWikipediaはGFDLのライセンスで提供されています。コンテンツを再利用する際には同じくGFDLのライセンスを採用してください。
