[論文レビュー] Rigidity for nearly umbilical hypersurfaces in space forms

Xu Cheng, Detang Zhou|arXiv (Cornell University)|Aug 8, 2012

Geometric Analysis and Curvature Flows参考文献 5被引用数 9

ひとこと要約

本稿は、空間形式（$\mathbb{R}^{n+1}$, $\mathbb{H}^{n+1}$, $\mathbb{S}^{n+1}_+$）内の閉超曲面の第二基本形式と平均曲率に関する$L^2$不等式の剛性結果を確立する。Perezの不等式における等号が成立する条件は、全 umbilical 超曲面（特に距離球）に特徴づけられることを示し、非ユークリッド空間形式への安定性結果の拡張と、非負リッチ曲率の仮定を超えて一般化された、曲率に依存する定数を用いた新しい$L^2$推定による不等式の一般化を達成する。

ABSTRACT

Perez proved some $L^2$ inequalities for closed convex hypersurfaces immersed in the Euclidean space $\mathbb{R}^{n+1}$, more generally, for closed hypersurfaces with non-negative Ricci curvature, immersed in an Einstein manifold. In this paper, we discuss the rigidity of these inequalities when the ambient manifold is $\mathbb{R}^{n+1}$, the hyperbolic space $\mathbb{H}^{n+1}$, or the closed hemisphere $\mathbb{S}_+^{n+1}$. We also obtain a generalization of the Perez's theorem to the hypersurfaces without the hypothesis of non-negative Ricci curvature.

研究の動機と目的

• 空間形式における非負リッチ曲率をもつ超曲面に対する$L^2$不等式の剛性を調査すること。
• Perezの$L^2$不等式における等号が成立する条件を特定し、超曲面の幾何的構造を特徴づけること。
• Perezの結果を非負リッチ曲率の仮定を超えて一般化するため、不等式に曲率に依存する定数を導入すること。
• 一般化された不等式における等号が成立する場合、超曲面が全 umbilical である、すなわち環境空間形式内での距離球であることを証明すること。

提案手法

• アインシュタイン多様体におけるコーディッサ方程式と曲率恒等式を用いて、トレースレス第二基本形式に対する$L^2$推定を導出すること。
• 空間形式内の距離球との固有値比較を用いて、超曲面のリッチ曲率を分析すること。
• 関数$\phi = H - \overline{H}$を含むボッハナー型の議論を適用し、リッチ曲率が正である場合に$\nabla\phi = 0$が成り立つことを示すこと。
• トレースレス第二基本形式と$\phi$のヘッセ行列との線形従属関係を確立し、$A$の定数性を導出すること。
• 曲率に依存する定数$1 + \frac{K}{\eta_1}$を含む一般化された不等式の導出、ここで$K$は環境曲率、$\eta_1$はジャコビ作用素の第一固有値である。
• 背理法と局所解析を用いた証明：等号が成立し、リッチ曲率が正定値であれば、$A = \frac{\overline{H}}{n}g$が恒等的に成り立ち、全 umbilical を示すこと。

実験結果

リサーチクエスチョン

• RQ1 Perezの$L^2$不等式が空間形式内の超曲面で等号をとる条件は何か？
• RQ2 等号が全 umbilical を意味する剛性結果は、$\mathbb{R}^{n+1}$から双曲的および球面空間形式へ拡張可能か？
• RQ3 非負リッチ曲率の仮定を外した場合、$L^2$不等式はどのように変化するか？
• RQ4 リッチ曲率の制御なしに、不等式に普遍的な定数を保てるか？もし不可能であれば、どのような置換定数が出現するか？
• RQ5 一般化された不等式における等号ケースから、超曲面が距離球であると結論づけることは可能か？

主な発見

• 不等式$\int_{\Sigma}|A - \frac{1}{n}\overline{H}g|^2 = \frac{n}{n-1}\int_{\Sigma}|A - \frac{H}{n}g|^2$における等号は、$c = 0, -1, 1$のとき、$M^{n+1}(c)$内の全 umbilical 超曲面$\Sigma$である場合にかつその場合に限り成立する。
• $\mathbb{R}^{n+1}$では、等号は$\Sigma$が一定平均曲率の球面である場合にのみ成立する。
• $\mathbb{H}^{n+1}$では、等号は$\Sigma$が点を中心とする測地的球（距離球）である場合にのみ成立する。
• $\mathbb{S}^{n+1}_+$では、等号は$\Sigma$が全 umbilical 超曲面（すなわち距離球）である場合にのみ成立する。
• 一般化された不等式$\int_{\Sigma}|A - \frac{\overline{H}}{n}g|^2 \leq \frac{n}{n-1}(1 + \frac{K}{\eta_1})\int_{\Sigma}|A - \frac{H}{n}g|^2$は、環境曲率$K$をもつアインシュタイン多様体内の任意の閉超曲面に対して成り立ち、定数は鋭い。
• 環境曲率$K > 0$の場合、等号が成立するためにはリッチ曲率が正定値であり、$H - \overline{H}$のヘッセ行列がトレースレス第二基本形式と線形従属である必要があるが、その場合も依然として全 umbilical を意味する。