[論文レビュー] 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

ひとこと要約

本稿では、2つの局所制約付き曲率流れの解析を通じて、双曲空間内の静的凸超曲面に対する新しい幾何的不等式を確立する。静的凸性がこれらの流れのもとで保存されることを証明し、長時間における測地球への収束を用いて、従来の結果をh-凸または星型領域に限らないより広いクラスの領域へ一般化したquermassintegral不等式の族を導出する。

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-凸または星型領域に限らない領域へ拡張すること。
• 双曲空間における2つのクラスの局所制約付き曲率流れのもとで、静的凸性の保存を確立すること。
• 流れの長時間存在および指数的収束性（測地球へ）を証明すること。
• 流れの収束性の性質を用いて、quermassintegralを含む新しい幾何的不等式を導出すること。
• 既知の不等式を、非負の断面曲率と静的凸性を有する領域へ一般化すること。

提案手法

• 2つの局所制約付き曲率流れ（$ F = E_k/E_{k-1} $ および $ F = E_1 $）を導入し、これらは特定のquermassintegralを保存することを意図している。
• 双曲空間におけるミンコフスキー公式を用いて、流れが $ W_k $ を保存し、$ W_m $ と $ W_0 $ の時間発展を制御できることを示す。
• $ C^0 $-推定および曲率推定を適用して、流れの長時間存在を確立する。
• 支持関数および主曲率の時間発展を解析することで、流れのもとで静的凸性が保存されることを証明する。
• 最大原理の応用および支持関数のヘッセ行列の正定性を用いて、幾何的量の発展を制御する。
• 時間 $ 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)) $ が成り立ち、等号成立は測地球のときのみ。
• 従来のh-凸または星型領域に限らない、非負の断面曲率と静的凸性を有する領域へ不等式を一般化した。
• 流れが測地球へ収束することから、quermassintegral不等式が鋭く、等号成立は測地球のときのみであることが示される。