[論文レビュー] Area-minimizing projective planes in three-manifolds

Hubert L. Bray, Simon Brendle+2 more|arXiv (Cornell University)|Sep 9, 2009

Geometric Analysis and Curvature Flows参考文献 13被引用数 7

ひとこと要約

本稿は、コンpaktoな3次元多様体における面積最小化 projective 平面の面積とスカラー曲率、および systole の間の鋭い不等式を確立する。幾何解析、リッチフロー、面積の第二変分を用いて、面積-スカラー曲率の不等式における等号が成立するのは、定曲率の実射影3空間に限ることを示し、剛性定理により最適ケースを特徴づける。

ABSTRACT

Let (M,g) be a compact Riemannian manifold of dimension 3, and let \mathscr{F} denote the collection of all embedded surfaces homeomorphic to \mathbb{RP}^2. We study the infimum of the areas of all surfaces in \mathscr{F}. This quantity is related to the systole of (M,g). It makes sense whenever \mathscr{F} is non-empty. In this paper, we give an upper bound for this quantity in terms of the minimum of the scalar curvature of (M,g). Moreover, we show that equality holds if and only if (M,g) is isometric to \mathbb{RP}^3 up to scaling. %The proof uses the formula for the second variation of area, and Hamilton's Ricci flow.

研究の動機と目的

• コンパクトな3次元多様体における埋め込み projective 平面の最小面積の下界および上界を鋭く確立すること。
• 幾何的フローと曲率の剛性を用いて、面積-スカラー曲率不等式における等号の状況を特徴づけること。
• 面積-スカラー曲率不等式における等号が成立することは、スケーリングを除いて実射影3空間に等長であることを示すこと。
• プとグロモフ＝ローワンの古典的結果を、幾何的不変量としての面積最小化表面を組み込むことによって拡張すること。

提案手法

• 両面性を持つ曲面に対する単位速度変化を用いた面積の第二変分公式と、片面性を持つ正規バンドル切断に対するヘーシュの方法を用いる。
• ミークス＝シモン＝ヨウの定理を適用して、与えられた3次元多様体に面積最小化埋め込み projective 平面が存在することを保証する。
• リッチフローを用いて初期計量 $ g_0 $ を $ ext{area}( heta) imes ext{infsys}(R) = 12 heta $ に従って発展させ、面積とスカラー曲率の変化を追跡する。
• リッチフロー下でのスカラー曲率およびリッチ曲率の変化方程式を導出し、等号条件の下で $ R_{g(t)} = rac{6}{1-4t} $ および $ | ext{Ric}^{ ext{o}}| = 0 $ が成り立つことを示す。
• 厳密な最大原理を適用して、発展する計量が定曲率を示し、したがって初期計量に対しても定曲率であることを導く。
• 被覆写像と $ ho_1 $ への誘導写像を用いて基本群を解析し、等号が成立する場合に $ | ho_1(M)| = 2 $ であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 コンパクトな3次元多様体において、面積最小化 projective 平面の面積とスカラー曲率の下限の積の鋭い上界は何か？
• RQ2 このような曲面に対して、面積-スカラー曲率不等式における等号はどのような条件下で成立するか？
• RQ3 等号の状況は幾何的に特徴づけられるか？ そして、それが特定の多様体構造を意味するか？
• RQ4 多様体の systole は、埋め込み projective 平面の最小面積をどのように制約するか？
• RQ5 リッチフローは、等号状況の剛性を証明する際に果たす役割は何か？

主な発見

• すべての $ heta $ を含むコンパクトな3次元多様体に対して、不等式 $ ext{area}( heta) imes ext{infsys}(R) eq 12 heta $ が成り立ち、等号が成立するのは $ (M,g) $ がスケーリングを除いて $ heta $ に等長である場合に限る。
• 最小面積 $ heta $ に対して $ heta imes ext{infsys}(R) eq 12 heta $ が成り立ち、等号が成立するのは $ (M,g) $ が定曲率1の $ heta $ である場合に限る。
• $ heta = heta $ の場合、等号 $ heta imes ext{infsys}(R) = 12 heta $ は $ heta = 2 heta $ および $ ext{infsys}(R) = 6 $ を意味し、これは $ heta $ 上の球面計量と一致する。
• 等号が成立する場合、多様体 $ M $ の基本群の位数は2であることが確認され、$ heta $ が一意な等号ケースであることが裏付けられる。
• リッチフロー下で、面積 $ heta(t) $ は $ heta(t) eq 2 heta(1-4t) $ に従って変化し、スカラー曲率 $ R_{g(t)} eq rac{6}{1-4t} $ となるが、等号が成立する場合に限り定曲率を示す。
• 等号条件下でトレースフリーのリッチテンソルは恒等的に0となり、定曲率を強制し、$ heta $ のケースにおける剛性を確認する。