[논문 리뷰] Geometric inequalities for static convex domains in hyperbolic space

Yingxiang Hu, Haizhong Li|arXiv (Cornell University)|2021. 05. 09.

Geometric Analysis and Curvature Flows인용 수 4

한 줄 요약

이 논문은 두 종류의 국소적으로 제약된 곡률 흐름을 분석하여, 쌍곡 공간 내 정적 볼록 초곡면에 대한 새로운 기하 부등식을 수립한다. 정적 볼록성은 이러한 흐름 하에서 유지됨을 증명하고, 장기적으로 지오데식 구로 수렴함을 이용하여 이전 결과를 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.

연구 동기 및 목표

• 쌍곡 공간 내 h-볼록 또는 별형 도메인을 초월하는 더 넓은 범주로 쿠르마스팅레 부등식을 확장하기.
• 쌍곡 공간 내 두 종류의 국소적으로 제약된 곡률 흐름 하에서 정적 볼록성이 유지됨을 확립하기.
• 흐름의 장기 존재성과 원점 중심 지오데식 구로의 지수 수렴성을 증명하기.
• 흐름의 수렴 성질을 이용하여 쿠르마스팅레를 포함하는 새로운 기하 부등식을 도출하기.
• 비음성 섹션 곡률과 정적 볼록성을 갖는 도메인으로 기존 부등식을 일반화하기.

제안 방법

• 쿠르마스팅레를 유지하는 데 설계된 두 가지 국소적으로 제약된 곡률 흐름을 도입: 하나는 속도 $ F = E_k/E_{k-1} $, 다른 하나는 $ F = E_1 $.
• 쌍곡 공간 내 민코프스키 공식을 사용하여 흐름이 $ W_k $ 를 유지하고 $ W_m $ 및 $ W_0 $ 의 진화를 제어함을 보임.
• $ C^0 $-추정과 곡률 추정을 적용하여 흐름의 장기 존재성을 확립함.
• 지지 함수와 주곡률의 진화를 분석하여 정적 볼록성이 흐름 하에서 유지됨을 증명함.
• 최대원리 접근법과 지지 함수의 헤시안 행렬의 양성 조건을 활용하여 기하 양의 진화를 제어함.
• 시간 $ t \to \infty $ 에서 지오데식 구로 수렴함을 이용하여 지오데식 구와의 비교를 통해 쿠르마스팅레 간의 부등식을 도출함.

실험 결과

연구 질문

• RQ1 쌍곡 공간 내 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-볼록 또는 별형 도메인에서 비음성 섹션 곡률과 정적 볼록성을 갖는 더 넓은 범주인 정적 볼록 도메인으로 일반화함.
• 흐름이 지오데식 구로 수렴함에 따라 쿠르마스팅레 부등식이 최적임을 보이고, 등호는 정확히 지오데식 구일 때에만 성립함.