MathLabs

ポアンカレ予想

解決済み、2003年位相幾何学(トポロジー)幾何学ミレニアム賞
問題の内容

単連結な閉 33 次元多様体はすべて 33 次元球面 S3S^3 に同相である。言い換えれば、MM が境界を持たないコンパクトな 33 次元位相多様体であり、その基本群 π1(M)\pi_1(M) が自明であるならば、M≅S3M \cong S^3 が成り立つ。

2002年11月から2003年7月にかけて、グリゴリー・ペレルマンはarXivに3本の簡潔なプレプリント(`math/0211159`、`math/0303109`、`math/0307245`)を投稿し、単調なエントロピー汎関数、局所非崩壊定理、首状の特異点を越える制御された手術手続き、および非球面的素因子を持たない多様体に対する有限消滅時間を導入して、リチャード・ハミルトンのリッチフロー計画を完成させた。これにより閉 33 次元多様体に対するウィリアム・サーストンの幾何化予想が完全に証明され、特別な場合としてポアンカレ予想が従った。3つの独立した研究チーム(ブルース・クライナーとジョン・ロット、ジョン・モーガンと田剛、曹懐東と朱熹平)が詳細な解説書を執筆して証明の完全性と正しさを確認した後、ペレルマンは2006年8月にフィールズ賞、2010年3月に賞金100万米ドルのクレイ・ミレニアム賞を授与されたが、いずれの栄誉も辞退し、ミレニアム賞については自身の貢献はハミルトンの貢献に勝るものではないと述べた。

3次元においては位相多様体・区分的線形多様体・滑らかな多様体の圏が一致するため(エドウィン・モイズおよびジャン・セルフの定理による)、ペレルマンの滑らかな証明は S3S^3 に対する3つの定式化すべてを解決する。しかし高次元では位相的問題と微分同相の問題は大きく乖離する。ジョン・ミルナーは1956年に異種 77 次元球面(S7S^7 に同相だが微分同相ではない滑らかな多様体)を発見しており、位相ポアンカレ予想はすべての次元 n≥1n \ge 1 で成り立つものの、滑らかな4次元ポアンカレ予想(すべての滑らかな 44 次元多様体であって S4S^4 に同相なものが S4S^4 に微分同相であるか)は今なお幾何学的トポロジーにおける最大の未解決問題の1つである。

参考文献

  1. Grisha Perelman (2002). The entropy formula for the Ricci flow and its geometric applications · arXiv:math/0211159v1 [プレプリント・未査読]
  2. Grisha Perelman (2003). Ricci flow with surgery on three-manifolds · arXiv:math/0303109v1 [プレプリント・未査読]
  3. Grisha Perelman (2003). Finite extinction time for the solutions to the Ricci flow on certain three-manifolds · arXiv:math/0307245v1 [プレプリント・未査読]
  4. John Morgan, Gang Tian (2007). Ricci Flow and the Poincaré Conjecture