[논문 리뷰] Prescribed Scaler Curvatures for Homogeneous Toric Bundles

Bohui Chen, Qing‐Long Han외 3명|arXiv (Cornell University)|2016. 03. 07.

Geometry and complex manifolds참고 문헌 15인용 수 3

한 줄 요약

이 논문은 균일 안정성 및 모서리에 비상수인 Duistermaat-Heckman 다항식 조건 하에서, 컴팩트 토릭 표면 위의 동차 토릭 번들의 Kähler 계량에서 주어진 스칼라 곡률을 가진 계량의 존재성을 입증한다. 이는 Delzant 다边형에서 일반화된 Abreu 방정식을 푸름으로써 이루어지며, 저자들은 $C^{6,\alpha}$ 정규성을 증명하고, 스칼라 곡률 $\mathbb{S} = A + h_G$ 를 가진 부드러운 $G$-불변 계량을 구성함으로써, 이 설정에서 $n=2$ 인 경우 Yau-Tian-Donaldson 추측을 확인한다.

ABSTRACT

In this paper, we study the generalized Abreu equation on a Delzant ploytope $Δ\subset \mathbb{R}^2$ and prove the existence of the constant scalar metrics of homogeneous toric bundles under the assumption of an appropriate stability.

연구 동기 및 목표

• 동차 토릭 번들에서 주어진 스칼라 곡률을 가진 Kähler 계량의 존재 문제를 다루며, 토릭 다양체에서의 결과를 확장한다.
• 토릭 피브레이션을 위해 기하학적 자료 $\mathbb{D}$ (Duistermaat-Heckman 다항식) 및 $h_G$ (군 기여)를 포함하는 Abreu 방정식을 일반화한다.
• 특히 Delzant 다각형의 모서리와 꼭짓점 근처에서의 경계 정규성을 두 차원에서 확립한다.
• 균일 안정성 및 모서리에 비상수인 $\mathbb{D}$ 가 부드러운 해의 존재를 위한 충분조건임을 증명한다.
• 복소 차원 2인 동차 토릭 번들에 대해 Yau-Tian-Donaldson 추측에 대한 구축 가능한 해를 제공한다.

제안 방법

• 일반화된 Abreu 방정식은 Delzant 다각형 $\Delta \subset \mathbb{R}^2$ 상에서 $-\frac{1}{\mathbb{D}}\sum_{i,j=1}^{2}\frac{\partial^2(\mathbb{D}u^{ij})}{\partial\xi_i\partial\xi_j} = \mathbb{S} - h_G$ 로 표현되며, 여기서 $\mathbb{S}$ 는 스칼라 곡률이고 $\mathbb{D}, h_G$ 는 알려진 기하학적 함수이다.
• 경계 정규성은 애매한 블로업 기법, 애매한 불변 양에 대한 미분 부등식, 그리고 보르슈타인 정리를 이용하여 모서리 근처의 행동을 제어함으로써 확립된다.
• 꼭짓점 근처에서는 순간 맵의 이전 영역에서의 이웃 영역에 대한 하모닉 함수를 구성함으로써 모서리에서의 정규성을 제어한다.
• G-불변성과 $\|\nabla \log \mathbb{F}_{f_\vartheta}\|_{\mathcal{G}_f}$ 의 유계성에 기반하여 $G$-불변성에 기반한 균일한 $C^{6,\alpha}$ 추정치를 도출함으로써 근사 해의 수렴성을 확보한다.
• 핵심 추정치는 헤시안 행렬의 행렬식 비율과 메트릭 구조 내 지오데식 거리의 하한값을 포함한다.
• 안정성 조건은 균일 안정성 정의(정의 2.1)를 통해 적용되며, 방정식의 해 $\phi$ 의 가역성과 정규성을 보장한다.

실험 결과

연구 질문

• RQ1 동차 토릭 번들에 대해 Delzant 다각형에서 일반화된 Abreu 방정식이 부드러운 해를 갖는 기하학적 및 분석적 조건은 무엇인가?
• RQ2 Chen, Li, Sheng 가 제시한 Abreu 방정식의 방법이 비자명한 $\mathbb{D}$ 와 $h_G$ 를 포함하는 일반화된 경우로 확장 가능한가?
• RQ3 균일 안정성 및 모서리에 비상수인 $\mathbb{D}$ 는 일반화된 Abreu 방정식의 해에 대해 $C^{6,\alpha}$ 정규성을 유도하는가?
• RQ4 $h_G$ 가 존재할 경우, 고전적 Abreu 경우와 비교해 스칼라 곡률 구조 및 방정식의 해 존재성에 어떤 영향을 미치는가?
• RQ5 동차 토릭 번들이 토릭 표면 위에 있는 설정에서, 상수 스칼라 곡률 Kähler 계량에 대한 Yau-Tian-Donaldson 추측은 참인가?

주요 결과

• 균일 안정성 및 모서리에 비상수인 $\mathbb{D}$ 를 가정할 경우, 일반화된 Abreu 방정식은 유일한 부드러운 해 $\phi \in C^{6,\alpha}(\bar{\Delta})$ 를 가진다.
• 부드러운 $G$-불변 계량 $\mathcal{G}$ 가 $G \times_K M$ 상에 존재하며, 그 스칼라 곡률은 $\mathbb{S} = A + h_G$ 를 만족한다. 여기서 $A$ 는 주어진 부드러운 함수이다.
• 경계 정규성은 리치 곡률 추정치, 지오데식 거리의 하한값, 그리고 하모닉 함수 구성의 조합을 통해 모서리와 꼭짓점 근처에서 확보된다.
• 잠재 함수 $f$ 에 대해 균일한 $C^{6,\alpha}$ 추정치가 확립되어 근사 해의 수렴성과 최종 계량의 부드러움을 보장한다.
• 메트릭 텐서와 그 헤시안의 고유값은 위아래로 균일하게 유계이므로, 해의 비특이성과 정규성을 보장한다.
• 모든 컴acts 서브셋 $U \subset \subset \Omega_\vartheta$ 에 대해 $\|f_\vartheta\|_{C^{6,\alpha}(U)} \leq C_5$ 를 만족하며, 여기서 $C_5$ 는 $\|A\|_{C^3(\Delta)}$ 와 기하학적 자료에 의존한다.