[論文レビュー] Hyperbolic Alexandrov-Fenchel quermassintegral inequalities I

Yuxin Ge, Guofang Wang+1 more|arXiv (Cornell University)|Mar 7, 2013

Mathematics and Applications被引用数 5

ひとこと要約

本稿は、$n \geq 5$ における双曲空間 $\mathbb{H}^n$ 内の水平超曲面に対して、鋭い双曲的アレクサンドロフ＝フェンケル準体積積分不等式を確立する。この不等式は、第4基本対称関数 $\sigma_4$ の積分が、面積 $|\Sigma|$ と標準球面面積 $\omega_{n-1}$ を含む幾何学的式によって下から抑えられることを示しており、等号成立はかつてその超曲面が測地的球面である場合に限る。

ABSTRACT

In this paper we prove the following geometric inequality in the hyperbolic space $\H^n$ ($n\ge 5)$, which is a hyperbolic Alexandrov-Fenchel inequality, \[\begin{array}{rcl} \ds \int_Σ\s_4 d μ\ge \ds\vs C_{n-1}^4ω_{n-1}\left\{\left(\frac{|Σ|}{ω_{n-1}} ight)^\frac 12 + \left(\frac{|Σ|}{ω_{n-1}} ight)^{\frac 12\frac {n-5}{n-1}} ight\}^2, \end{array}\] provided that $Σ$ is a horospherical convex hypersurface. Equality holds if and only if $Σ$ is a geodesic sphere in $\H^n$.

研究の動機と目的

• 双曲空間 $\mathbb{H}^n$ 内の曲率積分 $\int_\Sigma \sigma_4 \, d\mu$ に対して、古典的アレクサンドロフ＝フェンケル準体積積分不等式の双曲的類似を確立すること。
• 既知の双曲空間内でのミンコフスキー型不等式を、特に $\sigma_4$ に対して高次の曲率積分へ拡張すること。
• 面積 $|\Sigma|$ と標準球面面積 $\omega_{n-1}$ を含む幾何学的不等式を、双曲空間内の等周不等式の一般化として確立すること。
• 等号成立の条件を同定し、等号成立はかつてその超曲面が測地的球面である場合に限ることを示すこと。

提案手法

• 境界における球面への誘導計量の共形変形を用い、問題を $\mathbb{S}^{n-1}$ 上の重み付き $\sigma_2$-曲率不等式へ変換する。
• 共形計量 $\tilde{\lambda}^2 \hat{g}$ に一般化されたソボレフ不等式を適用し、これが漸近的に正の錐 $\Gamma_1^+$ に属することを示す。
• 共形因子 $\lambda$ の下でのスカラー曲率および $\sigma_1$-曲率の漸近的展開を導出し、$t$ が十分に大きいとき $\sigma_1(\lambda^2 \hat{g}) \geq 0$ が成り立つことを示す。
• $t \to \infty$ の極限をとる議論を用い、共形球面上の $\sigma_2$-積分と元の $\Sigma$ 上の $\sigma_4$-積分との間の関係を、恒等式 $\sigma_4 = l_2 + \frac{(n-2)(n-3)}{6}\sigma_2 - \frac{(n-1)(n-2)(n-3)(n-4)}{24}$ を通じて結ぶ。
• 漸近的ソボレフ不等式と水平超曲面の面積成長性を組み合わせることで、$|\Sigma|^{\frac{n-5}{n-1}}$ の形の最終的な下界が得られる。
• 等号成立の条件は、一般化されたソボレフ不等式における等号成立が定数 $Q$-曲率を意味することを示し、これにより超曲面が測地的球面でなければならないことを導く。

実験結果

リサーチクエスチョン

• RQ1 双曲空間 $\mathbb{H}^n$ ($n \geq 5$) 内の水平超曲面において、積分 $\int_\Sigma \sigma_4 \, d\mu$ の鋭い下界は何か？
• RQ2 古典的アレクサンドロフ＝フェンケル不等式は、$\sigma_4$ のような高次曲率積分について、双曲空間設定へ一般化可能か？
• RQ3 提案された双曲的アレクサンドロフ＝フェンケル不等式で等号が成立する超曲面の幾何学的特徴は何か？
• RQ4 面積 $|\Sigma|$ と標準球面面積 $\omega_{n-1}$ は、$\int_\Sigma \sigma_4 \, d\mu$ の下界にどのように影響を与えるか？

主な発見

• 本稿は、$n \geq 5$ における双曲空間 $\mathbb{H}^n$ 内の水平超曲面に対して、不等式 $$\int_\Sigma \sigma_4 \, d\mu \geq C_{n-1}^4 \omega_{n-1} \left\{ \left( \frac{|\Sigma|}{\omega_{n-1}} \right)^{1/2} + \left( \frac{|\Sigma|}{\omega_{n-1}} \right)^{\frac{1}{2} \frac{n-5}{n-1}} \right\}^2$$ を確立する。
• この不等式は鋭いものであり、等号成立はかつてその超曲面 $\Sigma$ が $\mathbb{H}^n$ 内の測地的球面である場合に限る。
• $n=5$ の場合、オイラー特性が 1 であるため、任意の球面に微分同相な超曲面で不等式は等号成立を満たすが、等号成立の条件から still $\Sigma$ が測地的球面でなければならないことが示される。
• 証明は、$\Gamma_1^+$ に属する計量への共形変換と、$\mathbb{S}^{n-1}$ 上の $\sigma_2$-作用素に対する一般化されたソボレフ不等式の漸近的適用に依拠している。
• 下界は、$\sigma_2$-積分の漸近的挙動と、$\sigma_4$ と $l_2$, $\sigma_2$, 定数項との関係を示す恒等式を組み合わせることで得られる。
• 結果として、$\sigma_4$-積分が $|\Sigma|^{\frac{n-5}{n-1}}$ の速度で少なくとも同程度に増加すること、かつ $\omega_{n-1}$ と二項係数を含む正確な幾何学的係数が付随することを確認する。