ポアンカレ予想

提供: miniwiki
2018/8/19/ (日) 17:33時点におけるAdmin (トーク | 投稿記録)による版 (1版 をインポートしました)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
移動先:案内検索

(3次元)ポアンカレ予想(ポアンカレよそう、Poincaré conjecture)とは、数学位相幾何学(トポロジー)における定理の一つである。3次元球面の特徴づけを与えるものであり、定理の主張は テンプレート:Énoncé というものである[1][2]。2018年6月現在、7つのミレニアム懸賞問題のうち唯一解決されている問題である。

概要

ファイル:P1S2all.jpg
境界を持たないコンパクトな2次元曲面が、どのようなループであっても連続的に引き絞れば回収できるようであれば、その曲面は2次元球面に同相である。ポアンカレ予想は同様のことが3次元についても成り立つと主張する。

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

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

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

次元の一般化

ポアンカレ予想は上の形のまま一般化しても成り立たないが、ポアンカレ予想の同値な言い換えには次のようなものがある。 テンプレート:Énoncé ここで n 次元ホモトピー球面とは、n 次元球面ホモトピー同値Deutsch版n 次元閉多様体のことである。一般の位相空間においてはホモトピー同値は同相よりも弱い概念であるが、その逆が3次元球面の場合には成り立つということである。そこで高次元には次のようにして一般化English版できる。 テンプレート:Énoncé

歴史と背景

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

一般向けの説明

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

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

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

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

幾何化予想とペレルマン

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

ペレルマンは、特異点が発生する3次元多様体に対して、3次元手術つきリッチフロー (Ricci flow with surgery) を適用することによって幾何化予想を解決した[9]。手術とは、有限時間で生成する特異点の直前でシリンダー状の部分の切り口 S2 に沿って球面状のキャップをかぶせてそこに標準解と呼ばれるものを貼ることである[1][9][10]。ペレルマンは、この手術を特異点が生成する時空の点に限りなく近づける極限をとることにより、3次元リッチフローが有限時間での特異点を超えて標準的に延長することを証明した[1][9][11]

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

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

ペレルマンは解法の説明を求められて多くの数学者達の前で壇上に立った。しかし、ほとんどの数学者がトポロジーを使ってポアンカレ予想を解こうとしており、聴講した数学者たちもほとんどがトポロジーの専門家であったため、微分幾何学を使ったペレルマンの解説を聞いた時、「まず、ポアンカレ予想を解かれたことに落胆し、それがトポロジーではなく(トポロジーの研究者にとっては古い数学と思われていた)微分幾何学を使って解かれたことに落胆し、そして、その解説がまったく理解できないことに落胆した」という[12]。なお、ペレルマンの証明には熱量エントロピーなどの物理的な用語が登場する。

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

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

賞金100万ドル

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

この件に関し、CMI代表のジェームズ・カールソンは次のように述べているテンプレート:どこ

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

2010年3月18日、クレイ数学研究所はペレルマンへのミレニアム賞授賞を発表した[16]。これに関してペレルマンは以前、同賞を「受けるかどうかは、授賞を伝えられてから考える」と述べていたが、結局授賞式には出席しなかった。研究所の所長は「選択を尊重する」と声明を発表し、賞金と賞品は保管されるという[17]

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

脚注

  1. 多様体が連結であることと弧状連結であることは同値である。

出典

  1. 1.0 1.1 1.2 1.3 1.4 戸田正人 - リッチフローの基礎と三次元多様体の幾何学化
  2. Eduardo Francisco Rêgo - On the Mechanics of the Poincaré Conjecture an Heuristic Tour.
  3. John Milnor (2003年11月). “Towards the Poincaré Conjecture and the Classification of 3-Manifolds (PDF)”. Notices of AMS Volume 50, Number 10. American Mathematical Society. . 2015閲覧.
  4. #参考文献
  5. 5.0 5.1 Chang, Keneeth (2006年8月22日). “Highest Honor in Mathematics Is Refused”. The New York Times. . 2015閲覧. “But Dr. Perelman refused to accept the medal, as he has other honors, and he did not attend the ceremonies at the International Congress of Mathematicians in Madrid.”
  6. Michael T. Anderson (2004年2月). “Geometrization of 3-Manifolds via the Ricci Flow (PDF)”. Notices of AMS Volume 51, Number 2. American Mathematical Society. . 2015閲覧.
  7. 『100年の難問はなぜ解けたのか 〜天才数学者の光と影〜』NHK出版、2008年6月。pp. 35–60.
  8. 8.0 8.1 8.2 山口孝男 (2005年). “多様体の崩壊-ペレルマンの仕事まで (PDF)”. 日本数学会. p. 29. . 2015閲覧.
  9. 9.0 9.1 9.2 本間泰史 - リッチフロー
  10. Lecture
  11. HUAI-DONG CAO , XI-PING ZHU - A COMPLETE PROOF OF THE POINCARE AND GEOMETRIZATION CONJECTURES
  12. NHKスペシャル 2007年10月22日放送分 『100年の難問はなぜ解けたのか 〜天才数学者 失踪の謎〜』 より
  13. 難問奇問と天才奇人数学者 〜ポアンカレ予想の解決〜”. . 2015閲覧.
  14. Breakthrough of the Year doi:10.1126/science.1138510
  15. Manifold Destiny
  16. Poincaré Conjecture”. Clay Mathematics Institute (2010年3月18日). . 2015閲覧.
  17. “数学者ペレルマン、授賞式に姿見せず 懸賞金1億円”. (2010年6月8日). オリジナル2010年7月5日時点によるアーカイブ。. https://web.archive.org/web/20100705120847/http://japanese.ruvr.ru/2010/06/08/9384710.html . 2015閲覧. 
  18. “変わり者数学者、やっぱり賞金拒否 ポアンカレ予想解決”. 朝日新聞社. (2010年7月2日). オリジナル2010年7月4日時点によるアーカイブ。. https://web.archive.org/web/20100704073921/http://www.asahi.com/international/update/0702/TKY201007020006.html . 2015閲覧. 

参考文献

関連文献

外部リンク