[论文解读] Hyperbolic Alexandrov-Fenchel quermassintegral inequalities I

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

Mathematics and Applications被引用 5

一句话总结

本文在双曲空间 $\mathbb{H}^n$（$n \geq 5$）中，为渐近球凸超曲面建立了尖锐的双曲型 Alexandrov-Fenchel 凸积量不等式，证明了平均曲率基本对称函数 $\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$ 中建立经典 Alexandrov-Fenchel 凸积量不等式在曲率积分 $\int_\Sigma \sigma_4 \, d\mu$ 上的双曲型类比。
• 将已知的双曲空间 Minkowski 型不等式推广至高阶曲率积分，特别是针对 $\sigma_4$ 的情形。
• 证明一个涉及面积 $|\Sigma|$ 和标准球面面积 $\omega_{n-1}$ 的尖锐几何不等式，推广双曲空间中的等周不等式。
• 刻画等号成立的情形，证明当且仅当超曲面为测地球面时等号成立。

提出的方法

• 证明通过将无穷远处球面上诱导度量进行共形变形，将问题转化为 $\mathbb{S}^{n-1}$ 上的加权 $\sigma_2$-曲率不等式。
• 对共形度量 $\tilde{\lambda}^2 \hat{g}$ 应用 $\sigma_2$-算子的广义 Sobolev 不等式，该度量被证明在渐近意义下属于正锥体 $\Gamma_1^+$。
• 作者推导了共形因子 $\lambda$ 下标量曲率和 $\sigma_1$-曲率的渐近展开式，表明对充分大的 $t$ 有 $\sigma_1(\lambda^2 \hat{g}) \geq 0$。
• 利用 $t \to \infty$ 时的极限论证，通过恒等式 $\sigma_4 = l_2 + \frac{(n-2)(n-3)}{6}\sigma_2 - \frac{(n-1)(n-2)(n-3)(n-4)}{24}$ 将共形球面上的 $\sigma_2$-积分与原超曲面 $\Sigma$ 上的 $\sigma_4$-积分联系起来。
• 通过结合渐近 Sobolev 不等式与渐近球面超曲面的面积增长性质，推导出以 $|\Sigma|^{\frac{n-5}{n-1}}$ 表示的最终下界。
• 通过证明广义 Sobolev 不等式中等号成立蕴含常数 $Q$-曲率，从而分析等号成立情形，表明此时超曲面必为测地球面。

实验结果

研究问题

• RQ1 在双曲空间 $\mathbb{H}^n$（$n \geq 5$）中，渐近球凸超曲面的曲率积分 $\int_\Sigma \sigma_4 \, d\mu$ 的尖锐下界是什么？
• RQ2 经典 Alexandrov-Fenchel 不等式能否推广至双曲空间设定下，适用于高阶曲率积分如 $\sigma_4$？
• RQ3 在所提出的双曲型 Alexandrov-Fenchel 不等式中，达到等号的超曲面具有何种几何特征？
• RQ4 面积 $|\Sigma|$ 和标准球面面积 $\omega_{n-1}$ 如何影响 $\int_\Sigma \sigma_4 \, d\mu$ 的下界？

主要发现

• 本文建立了双曲空间 $\mathbb{H}^n$（$n \geq 5$）中渐近球凸超曲面的不等式：$$\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，任意与球面微分同胚的超曲面均使不等式取等，但等号成立情形仍蕴含 $\Sigma$ 为测地球面。
• 证明依赖于将度量共形变换至 $\Gamma_1^+$ 内，并在 $\mathbb{S}^{n-1}$ 上渐近应用 $\sigma_2$-算子的广义 Sobolev 不等式。
• 通过结合 $\sigma_2$-积分的渐近行为与 $\sigma_4$ 到 $l_2$、$\sigma_2$ 和常数项的恒等式，推导出下界。
• 结果表明 $\sigma_4$-积分的增长速度至少为 $|\Sigma|^{\frac{n-5}{n-1}}$，且具有由 $\omega_{n-1}$ 和二项式系数构成的精确几何系数。