[論文レビュー] Integral pinched 3-manifolds are space forms

Giovanni Catino, Zindine Djadli|ArXiv.org|Jul 3, 2007

Geometric and Algebraic Topology参考文献 15被引用数 3

ひとこと要約

本稿では、正のスカラー曲率と、スカラー曲率に対するリッチ曲率の$L^2$ノルムの整数的ピンチング条件を満たす閉3次元多様体が、正のリッチ曲率を持つ共形度量を有することを確立している。連続性法と完全非線形楕円型偏微分方程式の技法を用いて、このような多様体が$ℝ^3$の固定点のない等長変換による商、すなわち球面空間形式に微分同相であることを証明している。

ABSTRACT

In this paper we prove that, under an explicit integral pinching assumption between the $L^2$-norm of the Ricci curvature and the $L^2$-norm of the scalar curvature, a closed 3-manifold with positive scalar curvature admits an Einstein metric with positive curvature. In particular this implies that the manifold is diffeomorphic to a quotient of ${\Bbb S}^3$.

研究の動機と目的

• 正のスカラー曲率を持つ閉3次元多様体が空間形式に微分同相であるような剛性条件を確立すること。
• リッチ曲率の$L^2$ノルムとスカラー曲率を含む明示的な整数的ピンチング条件を同定し、正の曲率を持つアインシュタイン度量の存在を強制すること。
• ハミルトンの3次元多様体における正のリッチ曲率に関する結果を、局所的曲率仮定を整数的条件に弱める形で拡張すること。
• 共形幾何学と完全非線形楕円型方程式を用いて、整数的ピンチング仮定の下で正のリッチ曲率を持つ度量を構成すること。
• この仮定の下で、多様体が$ℝ^3$の商、すなわち球面空間形式に微分同相であることを証明すること。

提案手法

• tensor $A^t_g = \mathrm{Ric}_g - \frac{t}{4}R_g g$ を定義し、$t=1$ のときシューテンテンソルを一般化する。
• 多様体上の曲率関数として、第二基本対称関数 $\sigma_2(g^{-1}A^t_g)$ を用いる。
• 連続性法を用いて、$t \in [\delta, t_0]$ に対して完全非線形楕円型偏微分方程式 $\sigma_2^{1/2}(g^{-1}A^t_{u_t}) = f(x)e^{2u_t}$ を解く。ここで $f(x) = \sigma_2^{1/2}(g^{-1}A^\delta_g) > 0$ である。
• 楕円型理論と勾配評価を用いて、解 $u_t$ に対する一様な $C^{2,\alpha}$ 評価を確立し、経路に沿った解の存在を保証する。
• 陰関数定理とアスコリ＝アルツェラのコンパクト性を用いて、解集合が開かつ閉であることを示し、したがって全区間 $[\delta, t_0]$ にわたって成立することを示す。
• 得られた共形度量 $\tilde{g} = e^{-2u}g$ を用いて、$\sigma_2(A^{t_0}_{\tilde{g}})$ の局所的正の性質と正のリッチ曲率を導出する。

実験結果

リサーチクエスチョン

• RQ1 正のスカラー曲率を持つ閉3次元多様体が、正のリッチ曲率を持つ度量を有するための整数的曲率条件は何か？
• RQ2 ハミルトンの定理におけるリッチ曲率の局所的正の性質を、$L^2$型の整数的ピンチング条件に置き換えることは可能か？
• RQ3 多様体に $\int_M \sigma_2(g^{-1}A^1_g)\,dV_g \geq 0$ が成り立つならば、その多様体は球面空間形式に微分同相であると結論づけられるか？
• RQ4 ヤマベ不変量 $Y(M,[g])$ と整数的 $\sigma_2$-関数が、曲率の正の性質を制御するためにどのように作用するか？
• RQ5 連続性法を完全非線形曲率方程式に適用することで、3次元共形幾何における剛性を証明することは可能か？

主な発見

• 任意の正のスカラー曲率を持つ閉3次元多様体 $M$ に対して、定数 $C'$ が $(M,g)$ のみに依存するとき、$\int_M \sigma_2(g^{-1}A^1_g)\,dV_g + C' Y(M,[g])^2 > 0$ ならば、$M$ は正のリッチ曲率を持つ共形度量を有する。
• $t_0 = 2/3$ のとき、条件 $\int_M \sigma_2(g^{-1}A^1_g)\,dV_g + C' Y(M,[g])^2 > 0$ は、共形度量 $\tilde{g}$ が存在して $\sigma_2(A^{2/3}_{\tilde{g}}) > 0$ かつ $R_{\tilde{g}} > 0$ を満たすことを示唆する。
• $t_0 = 2/3$ のとき、不等式 $(3t_0 - 2)R_{\tilde{g}}\tilde{g} < 6\mathrm{Ric}_{\tilde{g}} < 3(2 - t_0)R_{\ity{\tilde{g}}\tilde{g}$ が成り立ち、強い曲率制御が得られる。
• $\int_M \sigma_2(g^{-1}A^1_g)\,dV_g \geq 0$ ならば、$M$ は球面空間形式、すなわち一定の正の断面曲率を持つ度量を有する。
• 本結果は、ハミルトンの定理を、局所的リッチ正の性質を整数的 $\sigma_2$-ピンチング条件に置き換える形で一般化している。
• 証明は、シューテン型テンソルの $\sigma_2$ を含む完全非線形偏微分方程式に連続性法を適用し、一様な $C^{2,\alpha}$ 評価によって解の存在を保証するものである。