[논문 리뷰] Comparison theorems on H-type sub-Riemannian manifolds

Fabrice Baudoin, Erlend Grong외 2명|arXiv (Cornell University)|2019. 09. 08.

Geometric Analysis and Curvature Flows참고 문헌 40인용 수 4

한 줄 요약

이 논문은 캐논컬 변형의 리만계량의 극한을 분석하여 H-형 하위리만다이프의 균일한 하향 헤시안 및 하향 라플라시안 비교정리를 수립한다. 기존의 접촉 및 퀼리니언틱 접촉 다양체에 대한 결과를 확장하는 날카로운 하위리만다이프 보넷-마이어스 정리를 증명하며, 곡률 경계 조건이 하위리만다이프 극한에서도 유한한 지름 추정치를 제공함을 보여준다.

ABSTRACT

On H-type sub-Riemannian manifolds we establish sub-Hessian and sub-Laplacian comparison theorems which are uniform for a family of approximating Riemannian metrics converging to the sub-Riemannian one. We also prove a sharp sub-Riemannian Bonnet-Myers theorem that extends to this general setting results previously proved on contact and quaternionic contact manifolds.

연구 동기 및 목표

• 모든 ε > 0 에 대해 수렴하는 균일한 비교 추정치를 H-형 하위리만다이프 다양체의 수평 라플라시안과 헤시안에 대해 약한 리만계량의 가족에서 개발하기 위해.
• 캐논컬 변형에서 곡률이 유계가 아니므로 고전적인 리만다이프 비교정리가 하위리만다이프 극한에서 실패하는 문제를 해결하기 위해.
• 일반적인 H-형 구조에 대해 유효한 날카로운 하위리만다이프 보넷-마이어스 정리를 증명하여 기존의 접촉 및 3-사사키 다양체 결과를 확장하기 위해.
• 리만다이프 비교 추정치의 하위리만다이프 극한이 곡률 조건 하에서 유한한 지름 경계를 유도함을 보여주기 위해.
• 기하학적 분석을 통해 Hladky 접속과 캐논컬 변형을 이용하여 일부 설정에서 $J^2$ 조건을 제거하면서도 비교정리의 타당성을 유지하기 위해.

제안 방법

• ε → 0 일 때 하위리만다이프 계량으로 수렴하는 캐논컬 변형 리만계량 $g_\varepsilon = g_\mathcal{H} \oplus \frac{1}{\varepsilon}g_\mathcal{V}$ 를 사용한다.
• 비대칭 토르션을 갖는 계량에 호환되는 접속을 정의하기 위해 Hladky 접속과 그 관련 곡률 및 토르션을 적용한다.
• 모든 ε > 0 에 대해 유효한 수평 라플라시안 $\Delta_\mathcal{H} r_\varepsilon \leq F_\varepsilon(r_\varepsilon)$ 에 대한 균일한 비교정리를 유도하며, $F_\varepsilon$ 는 ε → 0 일 때 유한한 극한으로 수렴한다.
• 지오데식의 인덱스 보조정리와 자코비 장 분석을 통해 접속 $D$ 에서의 거리 함수의 헤시안을 곡률 및 토르션 항과 비교한다.
• 곡률 경계와 비교 추정치를 연결하기 위해 헤시안 공식 $\mathrm{Hess}^D(r)(X,X) = \int_0^r \left( \langle D_{\dot\gamma}V, \hat{D}_{\dot\gamma}V \rangle - \langle R(V,\dot\gamma)\dot\gamma, V \rangle \right) dt$ 을 사용한다.
• 지오데식과 수직인 임의의 벡터장 $W$ 에 대해 인덱스 형식 $I(W,W)$ 와 비교 원리를 적용하며, 헤시안이 인덱스 형식에 의해 상한으로 유계임을 증명한다.

실험 결과

연구 질문

• RQ1 캐논컬 변형의 리만계량 가족을 통해 H-형 하위리만다이프 다양체에 대해 균일한 하향 헤시안 및 하향 라플라시안 비교정리를 수립할 수 있는가?
• RQ2 근사 계량에서 곡률 폭발으로 인해 고전적인 라플라시안 비교정리가 하위리만다이프 극한에서 실패하는가? 만약 그렇다면 균일한 대체 정리를 구성할 수 있는가?
• RQ3 일반적인 H-형 다양체에 대해 $J^2$ 조건을 가정하지 않고 날카로운 하위리만다이프 보넷-마이어스 정리를 증명할 수 있는가?
• RQ4 ε → 0 일 때 리만다이프 비교 추정치의 극한이 하위리만다이프 설정에서 유한하고 의미 있는가?
• RQ5 H-형 구조에서의 곡률 경계는 하위리만다이프 극한에서 지름 경계로 어떻게 번역되는가?

주요 결과

• 논문은 모든 ε > 0 에 대해 $\Delta_\mathcal{H} r_\varepsilon \leq \frac{N(\varepsilon)}{r_\varepsilon}$ 의 형태인 균일한 하향 라플라시안 비교정리를 수립하였으며, $N(\varepsilon)$ 는 ε → 0 일 때 유한한 상수로 수렴하고 점차적으로 날카로워진다.
• 날카로운 하위리만다이프 보넷-마이어스 정리가 증명되었다: 수평 리치 곡률이 $(2d+2)\kappa$ 이하로 유계이면, $\kappa > 0$ 일 때 하위리만다이프 지름은 $\frac{\pi}{\sqrt{\kappa}}$ 이하이다. 이는 기존의 접촉 및 3-사사키 다양체 결과를 확장한다.
• 헤시안 비교정리는 균일하게 성립한다: $\mathrm{Hess}^D(r)(X,X) \leq \int_0^r \left( \langle D_{\dot\gamma}V, \hat{D}_{\dot\gamma}V \rangle - \langle R(V,\dot\gamma)\dot\gamma, V \rangle \right) dt$, $V$ 가 자코비 장일 경우 등호가 성립한다.
• 리만다이프 비교 추정치의 하위리만다이프 극한은 유한하고 날카로운 경계를 제공하며, ε → 0 일 때 고전적 추정치의 발산 문제를 해결한다.
• Hladky 접속과 인덱스 보조정리를 사용하여 비대칭 토르션을 갖는 계량에 호환되는 접속을 통해 $J^2$ 조건을 비교정리에서 제거할 수 있다.
• 캐논컬 변형은 ε → 0 일 때 곡률이 폭발하는 리만다이프 구조의 가족을 유도하지만, 비교 추정치는 여전히 균일하게 유계이며 의미 있는 하위리만다이프 극한으로 수렴한다.