[論文レビュー] Ricci flow and contractibility of spaces of metrics

Richard H. Bamler, Bruce Kleiner|arXiv (Cornell University)|Sep 18, 2019

Geometric Analysis and Curvature Flows参考文献 25被引用数 21

ひとこと要約

本稿では、任意の閉3次元多様体上の正スカラー曲率計量の空間が空集合であるか、あるいは可縮であることを確立している。また、任意の3次元球面型空間形式の微分同相群は、その等長群に連続的変形可能であり、一般化されたスメール予想を証明している。著者らは、Hatcherの定理（R³に埋め込まれた2次元球面の可縮性に関する）に依存しない、特異リッチフローの族に基づく新しい幾何的技法を用いて、計量の連続的変形を構成している。主な貢献は、特異点を経るリッチフローに基づく、スメール予想の新証明である。

ABSTRACT

We show that the space of metrics of positive scalar curvature on any 3-manifold is either empty or contractible. Second, we show that the diffeomorphism group of every 3-dimensional spherical space form deformation retracts to its isometry group. This proves the Generalized Smale Conjecture. Our argument is independent of Hatcher's theorem in the $S^3$ case and in particular it gives a new proof of the $S^3$ case.

研究の動機と目的

• 任意の閉3次元多様体上の正スカラー曲率（PSC）計量の空間が空集合であるか、あるいは可縮であることを証明すること。
• 3次元球面型空間形式の微分同相群がその等長群に連続的変形可能であることを示し、一般化されたスメール予想を確立すること。
• 従来の位相的技法（例：Hatcherの定理）に依存しない、特異リッチフローの族を用いた計量の連続的変形を生み出す新しい幾何的技法を開発すること。
• R³に埋め込まれた2次元球面の可縮性に関するHatcherの結果に依存しない、S³におけるスメール予想の新証明を提供すること。
• リッチフローを特異点を経て適用する技法を、計量空間や微分同相群に関するグローバルな位相的問題へ応用可能にするように拡張すること。

提案手法

• 著者らは、計量の族を幾何的に制御された特異リッチフローの族に変換するラウンド化プロセスを構築した。
• 計量の族を特異リッチフローに沿って進化させることで部分的ホモトピーを生成する、新規な技法を用いた。この過程で位相的構造が保存された。
• 重要なステップとして、連続的な計量因子の族の存在を活用し、計量の族を共形平坦計量へ連続的に変形する。
• 本手法は、特異点を伴うリッチフローにおける解の存在および一意性が保証されることに依存している。これは、先行研究で確立されたものである。
• ある種の計量空間が可縮であることを示すために、球面からディスクへの写像の延長という位相的議論を適用した。
• 3次元多様体上の共形平坦計量の空間が、連続的な計量因子の族を備えると、その空間が可縮であることが分かっているため、零ホモトピーが可能になる。

実験結果

リサーチクエスチョン

• RQ1 閉3次元多様体上の正スカラー曲率計量の空間は、非空であれば常に可縮であるか？
• RQ2 古典的位相学に依存せず、幾何的フローを用いて一般化されたスメール予想を証明できるか？
• RQ3 3次元球面型空間形式の微分同相群は、その等長群に連続的変形可能か？
• RQ4 特異点を経るリッチフローを用いて、計量の族の連続的ホモトピーを構成できるか？
• RQ5 Hatcherの埋め込み球面に関する定理に依存しない、S³におけるスメール予想のフローに基づく証明法は存在するか？

主な発見

• 任意の閉かつ向き付け可能な3次元多様体 $M$ に対して、正スカラー曲率計量の空間 $\operatorname{Met}_{PSC}(M)$ は空集合であるか、あるいは可縮である。
• 局所的に $S^3$ または $S^2 \times \mathbb{R}$ に同型である計量の空間 $\operatorname{Met}_{CC}(M)$ は空集合であるか、あるいは可縮である。
• 任意の3次元球面型空間形式の微分同相群への等長群の包含写像はホモトピー同値である。これにより、一般化されたスメール予想が証明された。
• 本証明はHatcherのS³の場合の結果に依存せず、スメール予想の新規なフローに基づく証明を提供している。
• 本手法は、$\mathbb{R}P^3$ を含むすべての球面型空間形式に一様に適用可能であり、これは以前のリッチフローに基づく証明では除外されていた。
• 著者らは、$S^2 \times S^1$ 上の球面構造の空間が可縮であることを確立した。これにより、微分同相群とその標準構造を保存する部分群との間のホモトピー同値性が導かれる。