[論文レビュー] An integral formula and its applications on sub-static manifolds

Junfang Li, Chao Xia|arXiv (Cornell University)|Mar 7, 2016

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

ひとこと要約

本稿は、複数の境界成分をもつリーマン多様体に対する一般化された積分公式を確立し、非静的多様体における新しいハインツェ＝カーチャー型およびミンコフスキー型不等式を可能にする。この手法は、ポテンシャル関数 $V$ を用いた新規な楕円型偏微分方程式のアプローチであり、鋭い幾何学的不等式と、ホロ凸および凸超曲面に対するほぼシュールの補題をもたらす。

ABSTRACT

In this article, we first establish the main tool - an integral formula for Riemannian manifolds with multiple boundary components (or without boundary). This formula generalizes Reilly's original formula from \cite{Re2} and the recent result from \cite{QX}. It provides a robust tool for sub-static manifolds regardless of the underlying topology. Using this formula and suitable elliptic PDEs, we prove Heintze-Karcher type inequalities for bounded domains in general sub-static manifolds which recovers some of the results from Brendle \cite{Br} as special cases. On the other hand, we prove a Minkowski inequality for static convex hypersurfaces in a sub-static warped product manifold. Moreover, we obtain an almost Schur lemma for horo-convex hypersurfaces in the hyperbolic space and convex hypersurfaces in the hemi-sphere, which can be viewed as a special Alexandrov-Fenchel inequality.

研究の動機と目的

• 複数の境界成分または境界のないリーマン多様体に適用可能な統一的な積分公式を、ライリーの公式および最近の結果を一般化する形で開発すること。
• 回転対称性やトポロジー的制約を仮定しない一般非静的多様体における有界領域に対して、ハインツェ＝カーチャー型不等式を確立すること。
• 非静的ワーパード積多様体における静的凸超曲面に対して、ミンコフスキー型不等式を導出すること。
• 双曲空間におけるホロ凸超曲面および半球における凸超曲面に対して、ほぼシュールの補題を証明し、これを特別なアレクサンドロフ＝フェンケル不等式として解釈すること。
• ポテンシャル関数 $V$ を用いた堅牢な楕円型偏微分方程式フレームワークを導入することで、負の曲率をもつ多様体に対しても微分幾何学的解析の手法を拡張すること。

提案手法

• 滑らかなポテンシャル関数 $V$、テスト関数 $f$ のヘッセ行列およびラプラシアン、境界の第二基本形式を含む一般化された積分公式（定理1.1）を導出する。
• 非負のテンソル $VQ = \overline{\Delta}V\bar{g} - \overline{\nabla}^2 V + V\mathrm{Ric} \geq 0$ を用いて非静的リーマン的三重対を定義し、静的および空間形のケースを一般化する。
• 適切なテスト関数を選んで積分による部分積分とホルダーの不等式を用いることで、積分公式を応用し、ハインツェ＝カーチャー型不等式を導出する。
• コーディッサ方程式とトレースフリー第二基本形式を用いて、曲率量の関係を確立し、トレースフリー部分の $L^2$ ノルムを制御する。
• 同じ積分フレームワークとフレドホルムの補題を用いて、スカラー曲率の重み付き $L^2$ 評価を通じてほぼシュールの補題を確立する。
• 等号成立時の解析により剛性結果を証明する：等号が成立するとき、超曲面は万方向等値的（umbilical）でなければならず、厳密な非静的性が一点で成り立つならば、周囲の多様体はアインシュタイン多様体でなければならない。

実験結果

リサーチクエスチョン

• RQ1 回転対称性やトポロジー的制約がなく、任意のトポロジーと複数の境界成分をもつ非静的多様体に適用可能な、ライリーの公式を一般化した統一的積分公式を構築できるか？
• RQ2 この新しい公式を用いて、非対称性を仮定しない一般非静的多様体におけるハインツェ＝カーチャー型不等式をどのように導出できるか？
• RQ3 このフレームワークを用いて、非静的ワーパード積多様体における凸超曲面に対してミンコフスキー型不等式を確立できるか？
• RQ4 双曲空間および半球におけるホロ凸および凸超曲面の文脈において、ほぼシュールの補題の鋭い形は何か？
• RQ5 導出された幾何学的不等式における等号成立条件が、万方向等値性やアインシュタイン構造といった剛性を示すのはどのような条件下か？

主な発見

• 一般化された積分公式（1.1）はライリーの元来の公式を拡張し、複数の境界成分をもつ多様体に適用可能であり、非静的設定における新しい幾何学的不等式を可能にする。
• 一般非静的多様体における有界領域に対してハインツェ＝カーチャー型不等式が確立され、回転対称性を仮定しない場合にブレンドルの結果が特別な場合として回復される。
• 非静的ワーパード積多様体における静的凸超曲面に対してミンコフスキー型不等式が証明され、このような超曲面に対する新たな幾何的制約が得られる。
• 双曲空間におけるホロ凸超曲面および半球における凸超曲面に対して、ほぼシュールの補題が導出され、等号が成り立つのはかつてその超曲面が万方向等値的である場合に限る。
• ほぼシュールの補題の等号成立条件は、ある点で非静的不等式が厳密に成り立つならば、多様体がアインシュタイン多様体であることを示し、強い剛性条件を確立する。
• 証明技法は積分公式、部分積分、ホルダーの不等式、およびコーディッサ方程式に依拠しており、等号成立条件はテンソル $\Delta V g - \nabla^2 V + V \mathrm{Ric}^\Sigma$ の正定性を用いて分析される。