[論文レビュー] Scalar curvature rigidity of geodesic balls in S^n

Simon Brendle, Fernando C. Marques|arXiv (Cornell University)|May 16, 2010

Geometric Analysis and Curvature Flows参考文献 10被引用数 12

ひとこと要約

本稿は、半径が $\pi/2$ 未満の $n$-次元球面 $S^n$ 上の測地的球体に関して、スカラー曲率の剛性に関する結果を確立する。標準計量の $W^{2,p}$-ノルムで小さな摂動が加えられた場合、非負のスカラー曲率、境界平均曲率が標準計量以上であり、境界計量が同一であるような任意のリーマン計量は、測地的球体が赤道から十分に離れている限り、標準計量と等長である必要がある。この結果は、Min-Oo予想の反例とは対照的であり、重み付き $L^2$-設定における摂動解析と陰関数定理に依拠している。重み関数として $f = x_{n+1}$ を用いる。

ABSTRACT

In this paper, we prove a scalar curvature rigidity result for geodesic balls in S^n. This result contrasts sharply with the recent counterexamples to Min-Oo's conjecture for the hemisphere (cf. [5]).

研究の動機と目的

• 測地的球体におけるスカラー曲率および境界平均曲率の制約のもとで、$S^n$ 上の剛性結果を確立すること。
• ヘミスペアの上では Min-Oo 予想が成立しないのに対し、より小さい測地的球体では成立する理由を理解すること。
• 重み付き $L^2$-枠組みにおいて、標準計量に近い計量に対する安定的剛性条件を提供すること。
• 摂動論を用いて、$S^n$ 上のコンパクトで凸でない領域に対し、正質量定理型の剛性を拡張すること。
• 剛性が成立する鋭い閾値 $c \geq 2/\sqrt{n+3}$ を特定し、ヘミスペアの場合と区別すること。

提案手法

• 標準計量 $\overline{g}$ の近くにある計量 $g = \overline{g} + h$ について、スカラー曲率および境界平均曲率の摂動展開を用いる。
• 測地的球体の幾何を捉えるために、関数 $f = x_{n+1}$ を重みとして用いた重み付き $L^2$-推定を適用する。
• 境界を固定する $W^{2,p}$-正則な計量および微分同相写像の空間において、陰関数定理を適用する。
• 微分同相写像作用の線形化にリー微分を用い、摂動 $h$ を発散なし成分と純粋トレース成分に分解する。
• $|\overline{D}h|^2$、$|\overline{\nabla}(\text{tr}_{\overline{g}} h)|^2$ および境界項を含む強制的不等式を導出し、$h$ の小ささが $h \equiv 0$ を示すことにつなげる。
• 境界項 $\frac{1}{4}H_{\overline{g}}f + \partial_\nu f \geq 0$ が $c \geq 2/\sqrt{n+3}$ のとき成り立つことを示し、これが強制的性の根拠となる。

実験結果

リサーチクエスチョン

• RQ1 Min-Oo 予想がヘミスペアで成立しないにもかかわらず、ヘミスペアより小さい領域における測地的球体ではスカラー曲率の剛性結果が成立するか？
• RQ2 $\Omega = \{f \geq c\}$ に対して剛性結果が成立するための $c$ の最良下界は何か？
• RQ3 $C^2$-ノルムではなく $W^{2,p}$-ノルムで小さな摂動の下でも剛性が確立可能か？
• RQ4 $L^2$-推定における重み関数 $f = x_{n+1}$ の選択が、曲率差の強制的性にどのように影響するか？
• RQ5 境界および曲率の幾何的条件下で、摂動 $h$ が恒等的に $0$ になるのはどのような場合か？

主な発見

• $S^n$ 上の測地的球体 $\Omega = \{f \geq c\}$ に対して $c \geq 2/\sqrt{n+3}$ のとき、標準計量 $\overline{g}$ の $W^{2,p}$-小摂動 $g$ で、$R_g \geq n(n-1)$ かつ $H_g \geq H_{\overline{g}}$ を満たすものに対しては、境界を固定する微分同相写像による等長写像が存在する。
• $c=0$ のヘミスペアでは反例 [5] により剛性は成立しないことが示され、$c \geq 2/\sqrt{n+3}$ の条件の必要性が裏付けられる。
• 重み付き $L^2$-推定から導かれる強制的不等式により、$\|h\|_{C^1}$ が十分に小さいとき、摂動 $h = \varphi^*(g) - \overline{g}$ は恒等的に $0$ になる。
• 境界項 $\frac{1}{4}H_{\overline{g}}f + \partial_\nu f \geq 0$ は $c \geq 2/\sqrt{n+3}$ のときかつそのときに限り成り立ち、エネルギー汎関数の強制的性に不可欠である。
• $p > n$ のとき $g - \overline{g}$ が $W^{2,p}$-ノルムで小さいというより弱い仮定のもとでも結果が成り立つ。これは剛性をより広い計量のクラスに拡張する。
• 証明は微分同相写像作用に適用した陰関数定理に依拠しており、問題は線形化方程式の解が自明なものであることを示すことに帰着される。