[論文レビュー] Scalar curvature rigidity for locally conformally flat manifolds with boundary

Fabian-Michael Spiegel|arXiv (Cornell University)|Nov 19, 2015

Geometric Analysis and Curvature Flows参考文献 15被引用数 3

ひとこと要約

この論文は、境界をもつコンパクトで局所的に共形平坦な多様体に対してスカラー曲率の剛性定理を確立し、スカラー曲率 $\mathrm{Scal} \geq n(n-1)$ および境界の平均曲率 $H(g) \geq \cot(\rho)$ で、境界が $S^n$ 内の半径 $\rho$ の測地的球面と等長であると仮定すると、多様体は標準球面上の測地的球 $\overline{D_\rho}$ と等長であることを証明する。証明は共形幾何、発展写像、およびステレオグラフィック射影を用いた最大原理と下解・上解の比較によるものである。

ABSTRACT

Inspired by the work of F. Hang and X. Wang and partial results by S. Raulot, we prove a scalar curvature rigitidy result for locally conformally flat manifolds with boundary in the spirit of the well-known Min-Oo conjecture.

研究の動機と目的

• スカラー曲率および平均曲率の境界付き条件下で、局所的に共形平坦な多様体に対する剛性結果を確立すること。
• ハンとワン、およびロウロットの先行結果を、次元的・トポロジカルな制限（例：$n=4,6$、$\chi(M)=1$）を除去することで一般化すること。
• 自然な曲率および境界条件の下で、このような多様体が標準球 $S^n$ 内の測地的球と等長であることを証明すること。
• グローバルに半球面と等長であることを仮定しないで、ミン・オウの予想を局所的に共形平坦な設定に拡張すること。

提案手法

• 局所的共形平坦性を活用して、多様体を $S^n$ の部分集合へと発展写像で持ち上げること。
• 変換 $g \mapsto u^{\frac{4}{n-2}}g$ におけるスカラー曲率および平均曲率方程式の共形不変性の応用。
• ステレオグラフィック射影により問題を $\mathbb{R}^n$ に移行させ、計量が $v^{\frac{4}{n-2}}\sum dx^i \otimes dx^i$ に変換されることを活用すること。
• 上解 $v$ の構成と、標準的球面計量 $w$ との比較により、方程式 $-\Delta v \geq \frac{n(n-2)}{4} v^{\frac{n+2}{n-2}}$ を用いること。
• 最大原理およびホフプの補題を適用して $v = w$ を $\partial B_r$ で示し、等長性を導くこと。
• 孤立特異点付近で $v \to \infty$ となる事実を用いて、非自明な共形欠損を除外し、$\Lambda = \emptyset$ を強制すること。

実験結果

リサーチクエスチョン

• RQ1 局所的に共形平坦な境界付き多様体が $S^n$ 内の測地的球と等長となる条件は何か？
• RQ2 グローバルに球面と等長であることを仮定しないで、ミン・オウの予想を局所的に共形平坦な多様体に拡張できるか？
• RQ3 境界の平均曲率 $H(g) \geq \cot(\rho)$ は剛性にどのような役割を果たし、この条件を弱める可能性はあるか？
• RQ4 仮定 $\rho \leq \pi/2$ は最適であり、$\rho > \pi/2$ の場合に失敗する理由は何か？
• RQ5 過去の結果（例：Raulot ら）で仮定された $\chi(M) = 1$ や $n=4,6$ を仮定せずに剛性を確立できるか？

主な発見

• 条件 $\mathrm{Scal}(g) \geq n(n-1)$ および $H(g) \geq \cot(\rho)$ で $\partial M \cong \Sigma_\rho$ のとき、多様体 $(M,g)$ は測地的球 $\overline{D_\rho} \subset S^n$ と等長である。
• 境界条件 $H(g) \geq \cot(\rho)$ は鋭く、追加仮定なしでは緩められない。これは $\rho \leq \pi/2$ の最適性によって示される。
• 多様体 $M$ が単連結で $\rho = \pi/2$ のとき、平均曲率条件を省略可能であり、ハンとワンの結果に類似した結果が得られる。
• 証明により、任意の共形欠損（すなわち、孤立特異点）は最大原理によって矛盾を引き起こし、計量が標準球面計量とグローバルに共形的であることを強制する。
• 本結果はすべての $n \geq 3$ に対して成り立ち、Raulot や他の研究者による先行結果の次元的・トポロジカルな制限を除去する。
• 鍵となるステップは、ホフプの補題を用いて $\partial B_r$ で $v = w$ を示すことであり、これにより投影された球面上での計量が標準的球面計量と同一であることが強制される。