221.113.170.188: 新しいページ: ''''ポアンカレ予想'''（'''ポワンカレ予想'''とも。Poincaré conjecture）とは「単連結な3次元閉多様体は3次元球面S³に...'

2007-10-20T11:28:26Z

新しいページ: ''''ポアンカレ予想'''（'''ポワンカレ予想'''とも。Poincaré conjecture）とは「単連結な3次元閉多様体は3次元球面<i>S</i><sup>3</sup>に...'

新規ページ

'''ポアンカレ予想'''（'''ポワンカレ予想'''とも。Poincaré conjecture）とは「[[単連結]]な3次元閉[[多様体]]は3次元球面<i>S</i><sup>3</sup>に[[同相]]である」という予想であり、[[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にて公表した。その中で彼は[[リチャード・ストレイト・ハミルトン]]が創始した[[:en:Ricci_flow|Ricci flow]]の理論に「手術」と呼ぶ新たな手法を付け加えて拡張し、驚くべきことにサーストン幾何化予想を解決してその系としてポアンカレ予想を解決した（と宣言した）。

それ以来ペレルマン論文に対する検証が複数の数学者チームによって試みられた。原論文が理論的に難解でありかつ細部を省略していたため検証作業は難航したが、2006年5～7月にかけて3つの数学者チームによる報告論文が出揃った。

*Bruce Kleiner and John Lott, [http://arxiv.org/abs/math.DG/0605667 ''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 [http://www.arxiv.org/abs/math.DG/0607607 ''Ricci Flow and the Poincaré Conjecture'']（2006年7月）：ペレルマン論文をポアンカレ予想に関わる部分のみに絞って詳細に解明・補足

これらのチームは何れもペレルマン論文は基本的に正しく致命的誤りは無かったこと、また細部のギャップについてもペレルマンの手法によって修正可能であったという結論で一致した。これらのことから、現在では少なくともポアンカレ予想についてはペレルマンにより解決されたと考えられている。

2006年[[8月22日]]、[[スペイン]]の[[マドリード]]で催された[[国際数学者会議]]の開会式においてペレルマンに対しフィールズ賞が授与された（ただし本人はこれを辞退）。

2006年[[12月22日]]、アメリカの科学誌「サイエンス」で科学的成果の年間トップ10が発表され、その第1位に「ポアンカレ予想の解決」が選ばれた<ref>[http://www.itmedia.co.jp/anchordesk/articles/0702/09/news029.html 和文紹介]</ref><ref>[http://www.sciencemag.org/cgi/content/summary/314/5807/1841 英文原典]</ref>。

== 賞金100万ドル ==
米[[クレイ数学研究所]]（CMI）はポアンカレ予想を[[ミレニアム懸賞問題]]の一つに指定し、証明した者に100万ドル（約1億1000万円）の賞金を与えると発表している。ここでペレルマンが本賞を受賞するのかどうかが一部の関心を呼んでいる。ただし、彼は賞金を受け取る条件である｢査読つき専門雑誌への掲載｣をしておらずまた彼の証明はあくまでも要領を発表したに過ぎないという説もあり、賞金を手にするとは限らない（ペレルマン自身が賞金に興味を示していないとも噂される）。

この件に関し、CMI代表のJames Carlsonは次のように述べている。
:CMIの規定では受賞資格者は必ずしも専門誌に掲載された論文の直接的な執筆者に限られる訳ではない。ペレルマンが変則的な発表手段を採り、arXivへの掲載のみに留めて専門誌に投稿していないというそのこと自体は、彼が受賞する上での障害とはならない。CMIは何れにしてもあらゆる素材を吟味して証明の成否を判定し、然る後初めて授賞を検討するようである。

== 参考文献 ==
*解決!ポアンカレ予想（雑誌『数学セミナー』増刊、日本評論社、2007.1）

== 脚注 ==
<references/>

== 外部リンク ==
ペレルマン論文
* [http://arxiv.org/abs/math.DG/0211159 ''The entropy formula for the Ricci flow and its geometric applications''], 2002
* [http://arxiv.org/abs/math.DG/0303109 ''Ricci flow with surgery on three-manifolds''], 2003
* [http://arxiv.org/abs/math.DG/0307245 ''Finite extinction time for the solutions to the Ricci flow on certain three-manifolds''], 2003

{{DEFAULTSORT:ほあんかれよそう}}
[[Category:位相幾何学]]
[[Category:予想]]
[[Category:数学に関する記事]]
<div style="margin:0.5em 0; background-color:#f6f6f6; border:1px solid #ccc; padding:3px; font-size:80%">
このページは[http://ja.wikipedia.org/wiki/ Wikipedia日本語版]由来のコンテンツを利用しています。もとの記事は[http://ja.wikipedia.org/wiki/ポアンカレ予想 '''ポアンカレ予想''']にあります。執筆者のリストは[http://ja.wikipedia.org/w/index.php?title=ポアンカレ予想&action=history '''履歴''']をご覧ください。[[Yourpedia]]と同じく[http://ja.wikipedia.org/wiki/Wikipedia Wikipedia]は[http://www.gnu.org/copyleft/fdl.html GFDLのライセンス]で提供されています。コンテンツを再利用する際には同じくGFDLのライセンスを採用してください。
</div>

ポアンカレ予想 - 変更履歴

221.113.170.188: 新しいページ: ''''ポアンカレ予想'''（'''ポワンカレ予想'''とも。Poincaré conjecture）とは「単連結な3次元閉多様体は3次元球面S3に...'

221.113.170.188: 新しいページ: ''''ポアンカレ予想'''（'''ポワンカレ予想'''とも。Poincaré conjecture）とは「単連結な3次元閉多様体は3次元球面S³に...'