[논문 리뷰] Transverse Weitzenböck formulas and curvature dimension inequalities on Riemannian foliations with totally geodesic leaves

Fabrice Baudoin, Bumsik Kim외 1명|arXiv (Cornell University)|2014. 08. 03.

Geometric Analysis and Curvature Flows참고 문헌 14인용 수 20

한 줄 요약

이 논문은 수직 리만 다발의 수직 리만 다발에서 수평 라플라스 연산자에 대한 횡방향 Weitzenböck 공식을 수립하여, 내재 기하 조건 하에서 일반화된 곡률-차원 부등식을 증명한다. 이는 Li-Yau 추정, 가우시안 열핵 상한 및 하한, 그리고 하위리만 다발 Bonnet-Myers 컴팩트성 정리에 이르게 하며, 이 모든 것은 표준적인 일파라미터 수평 라플라스 연산자 가중치와 새로운 Bochner 유형 항등식에서 유도된다.

ABSTRACT

We prove a family of new Weitzenböck formulas on a Riemannian foliation with totally geodesic leaves. These Weitzenböck formulas are naturally parametrized by the canonical variation of the metric. As a consequence, under natural geometric conditions, the horizontal Laplacian satisfies a generalized curvature dimension inequality. Among other things, this curvature dimension inequality implies Li-Yau estimates for positive solutions of the horizontal heat equation and a sub-Riemannian Bonnet-Myers compactness theorem whose assumptions only rely on the intrinsic geometry of the horizontal distribution.

연구 동기 및 목표

• 리만 기하에서의 기하 분석 도구—예를 들어 Li-Yau 추정과 Bonnet-Myers 정리—를 리만 기하에서 하위리만 기하로 확장하기 위해 리만 다발을 통해 접근한다.
• 수직 리만 다발을 가진 리만 다발의 맥락에서 수평 라플라스 연산자에 대한 일반화된 곡률-차원 부등식을 수립한다.
• 이전 연구의 접근법을 단순화하고 일반화하기 위해, 1-형식에 대한 일파라미터 하위라플라스 연산자 가중치에 대한 새로운 Weitzenböck 유형 항등식을 유도한다.
• 스토크스 완전성의 수평 열반경이 새로운 Weitzenböck 항등식으로부터 유도됨을 보여주어, Bakry-Émery 유형 방법의 적용을 가능하게 한다.
• 내재 기하 조건(예: 수평 리만 곡률의 하한, 토르전의 상한, 괄호 생성 조건)이 충분하여 정밀한 해석적 및 기하적 추정을 보장함을 증명한다.

제안 방법

• 측도의 표준 변형을 통해 1-형식 위의 표준적인 일파라미터 수평 라플라스 연산자 가중치를 도입하여 곡률-차원 행동의 체계적 분석을 가능하게 한다.
• Bott 접속과 곡률 항목(수평 리만 곡률, 토르전 관련 연산자 포함)을 사용하여 수평 라플라스 연산자에 대한 새로운 횡방향 Weitzenböck 공식을 유도한다.
• 1-형식의 수평 및 수직 성분에 대해 Bochner-Weitzenböck 형식을 적용하여, 제2차 캐르레 두 샤프 연산자 $\Gamma_2$ 및 $\Gamma_2^\mathcal{V}$를 포함하는 항등식을 이끌어낸다.
• 기하 조건을 도입: 완비성, 균일 괄호 생성 조건, 수평 리만 곡률에 대한 전역 하한 $\rho_1$, Bott 접속의 전역 상한 $\kappa$.
• 유도된 Weitzenböck 항등식을 사용하여 일반화된 곡률-차원 부등식 $CD(\rho_1, \rho_2, \kappa, n)$을 증명하며, 이는 수평 라플라스 연산자의 행동을 지배한다.
• 곡률-차원 부등식을 적용하여 Li-Yau 추정, 열핵 상한 하한, 고유값 추정, 명시적 직경 상한을 포함한 Bonnet-Myers 정리를 유도한다.

실험 결과

연구 질문

• RQ1 수직 리만 다발을 가진 리만 다발에서 수평 라플라스 연산자에 대해 일반화된 곡률-차원 부등식을 수립할 수 있는가?
• RQ2 일파라미터 수평 라플라스 연산자 가중치에 대해 횡방향 Weitzenböck 공식이 존재하는가? 그리고 이러한 공식을 통해 곡률-차원 추정을 도출할 수 있는가?
• RQ3 어떤 내재 기하 조건(예: 곡률 하한, 괄호 생성, 토르전 제어) 하에서 수평 라플라스 연산자가 $CD(\rho_1, \rho_2, \kappa, n)$ 부등식을 만족하는가?
• RQ4 이 설정에서 Weitzenböck 유형 항등식으로부터 수평 열반경의 스토크스 완전성이 도출될 수 있는가?
• RQ5 이 맥락에서 곡률-차원 부등식으로부터 어떤 하위리만 기하 및 해석적 결과(예: Li-Yau 추정, 고유값 상한, 컴팩트성 정리)가 도출되는가?

주요 결과

• 완비성, 균일 괄호 생성 조건, 수평 리만 곡률에 대한 전역 하한 $\rho_1$, Bott 접속의 전역 상한 $\kappa$ 조건 하에서 수평 라플라스 연산자에 대해 일반화된 곡률-차원 부등식 $CD(\rho_1, \rho_2, \kappa, n)$이 성립한다.
• 양의 수평 열방정식 해에 대한 Li-Yau 유형 기울기 추정이 도출되었으며, 이는 $\rho_1$, $\rho_2$, $\kappa$, $n$ 에 대한 명시적 의존성을 포함한다.
• 수평 열핵에 대한 가우시안 상한 및 하한이 확보되었으며, 상수는 $n$, $\kappa$, $\rho_2$, $\varepsilon$ 및 하위리만 거리 $d(x,y)$ 에 따라 달라진다.
• 하위리만 다발 Bonnet-Myers 컴팩트성 정리가 증명되었으며, $\rho_1 > 0$ 일 때 직경 상한 $\text{diam}\ \mathbb{M} \leq 2\sqrt{3}\pi\sqrt{\frac{\kappa + \rho_2}{\rho_1 \rho_2} \left(1 + \frac{3\kappa}{2\rho_2}\right)n}$ 이 도출된다.
• 수평 라플라스 연산자의 첫 번째 고유값 $\lambda_1$ 은 $\lambda_1 \geq \frac{\rho_1}{1 - \frac{1}{n} + \frac{3\kappa}{4\rho_2}}$ 를 만족하며, 이는 Obata 정리에 의해 최적임을 증명한다.
• 새로운 Weitzenböck 항등식의 결과로 수평 열반경의 스토크스 완전성이 증명되었으며, 이는 이 하위리만 맥락에서 Bakry-Émery 방법의 적용을 가능하게 한다.