[论文解读] Geometric inequalities for static convex domains in hyperbolic space

Yingxiang Hu, Haizhong Li|arXiv (Cornell University)|May 9, 2021

Geometric Analysis and Curvature Flows被引用 4

一句话总结

该论文通过分析两类局部约束曲率流，为双曲空间中静态严格凸超曲面建立了新的几何不等式。证明了在这些流下静态严格凸性得以保持，并利用长时间收敛至测地球的性质，推导出一族广义的Quermassintegral不等式，将先前结果推广至更广泛的区域类别，超越了h-凸或星形区域的限制。

ABSTRACT

We prove that the static convexity is preserved along two kinds of locally constrained curvature flows in hyperbolic space. Using the static convexity of the flow hypersurfaces, we prove new family of geometric inequalities for such hypersurfaces in hyperbolic space.

研究动机与目标

• 将双曲空间中的Quermassintegral不等式推广至非h-凸或非星形区域。
• 在双曲空间中建立两类局部约束曲率流下静态严格凸性的保持性。
• 证明流的长时间存在性及指数收敛至测地球。
• 利用流的收敛性质推导涉及Quermassintegrals的新几何不等式。
• 将已知不等式推广至具有非负截面曲率和静态严格凸性的区域。

提出的方法

• 引入两类局部约束曲率流：一类速度为 $ F = E_k/E_{k-1} $，另一类为 $ F = E_1 $，两者均设计用于保持特定的Quermassintegral。
• 利用双曲空间中的Minkowski公式，证明流保持 $ W_k $，并控制 $ W_m $ 和 $ W_0 $ 的演化。
• 应用 $ C^0 $-估计与曲率估计，建立流的长时间存在性。
• 通过分析支持函数与主曲率的演化，证明静态严格凸性在流下得以保持。
• 采用最大值原理论证，并利用支持函数的Hessian正定性，控制几何量的演化。
• 利用当 $ t \to \infty $ 时收敛至测地球的性质，通过与测地球比较，推导出Quermassintegral之间的不等式。

实验结果

研究问题

• RQ1 双曲空间中的Quermassintegral不等式能否推广至非h-凸或非星形区域？
• RQ2 静态严格凸性在双曲空间的局部约束曲率流下是否保持？
• RQ3 在较弱的凸性假设下，此类流能否收敛至测地球？
• RQ4 从这些曲率流的长时间行为中可推导出何种几何不等式？
• RQ5 在何种条件下，几何不等式的等号成立？

主要发现

• 在双曲空间中，超曲面的静态严格凸性在局部约束曲率流 $ \partial_t X = (E_k/E_{k-1} - u/\lambda') \nu $ 和 $ \partial_t X = (E_1 - u/\lambda') \nu $ 下得以保持。
• 流对所有时间存在，并光滑收敛至原点为中心的测地球。
• 对于 $ 1 \leq m \leq k \leq n $，静态凸区域满足不等式 $ W_{k+1}^{\lambda'}(\Omega) \geq h_{k+1} \circ f_m^{-1}(W_m(\Omega)) $，等号成立当且仅当 $ \Omega $ 为测地球。
• 当 $ k=0 $ 时，不等式 $ W_1^{\lambda'}(\Omega) \geq h_1 \circ f_0^{-1}(W_0(\Omega)) $ 成立，且仅当 $ \Omega $ 为测地球时等号成立。
• 结果将先前针对h-凸或星形区域的不等式推广至具有非负截面曲率和静态严格凸性的更广泛区域类别。
• 流收敛至测地球意味着Quermassintegral不等式是最优的，且等号仅在测地球时成立。