[논문 리뷰] On the existence of constant scalar curvature Kähler metric: a new perspective

Xiuxiong Chen|arXiv (Cornell University)|2015. 06. 21.

Geometry and complex manifolds참고 문헌 43인용 수 25

한 줄 요약

이 논문은 상수 스칼라 곡률 켈러(cscK) 메트릭의 존재 문제를 해결하기 위해 켈러 메트릭 공간 내에 새로운 연속 경로를 제안한다. 이는 켈러-아인슈타인 케이스를 일반화한 것이다. 주요 기여는 $ t \in (0,1) $ 에서 이 경로를 따라 해의 집합이 열려 있음을 증명하고, 표준 K-energy의 전반적인 강제성은 확보되지 않았더라도, $ t \in (0,1) $ 에서 비틀린 K-energy 기능이 지오데식 거리에서 강제성을 가진다는 것을 보여주는 것이다.

ABSTRACT

In this paper, we report a "new" continuity path which links the constant scalar curvature equation to a second order elliptic equation. This is largely an expository article where we describes various aspects of geometry and analysis associated with path.

연구 동기 및 목표

• 상수 스칼라 곡률 켈러(cscK) 메트릭의 일반 존재 문제를 해결하기 위해 켈러 클래스 내에서 새로운 연속 경로를 제안한다.
• 연속성 방법을 통한 존재성 증명에 필수적인 단계인, 이 경로를 따라 해의 집합이 열려 있음을 확립한다.
• 표준 K-energy의 전반적인 강제성이 알려져 있지 않은 상황에서도, $ t \in (0,1) $ 에서 비틀린 K-energy 기능이 지오데식 거리에서 강제성을 가짐을 보인다.
• 알gebraic stability 추측과 보완되는 PDE 기반 접근법을 cscK 문제에 적용한다.

제안 방법

• $ t \in [0,1] $ 에 따라 매개변수화된 일련의 방정식을 도입하여, 비틀린 극단적 메트릭 방정식과 cscK 방정식 사이를 연결한다.
• 비틀린 cscK 메트릭 방정식을 $ (1-t)\operatorname{tr}_{\varphi_t}\chi - t R_{\varphi_t} = C_t $ 로 정의하며, 여기서 $ C_t $ 는 $ t $ 에 따라 변하는 상수이다.
• Mabuchi K-energy와 일반화된 $ J $-기능을 결합한 비틀린 K-energy 기능 $ E_{\mu_k,t} = tE + (1-t)J_{\mu_k} $ 을 정의한다.
• LeBrun-Simanca의 영감을 얻은 편미분 기반의 변형 방법을 사용하여, 적절한 바나흐 공간 설정에서 은직함수정리에 기반해 해의 집합의 열림을 증명한다.
• 지오데식 세그먼트를 따라 기능의 행동을 분석함으로써, $ t \in (0,1) $ 에서 비틀린 K-energy의 강제성을 확립한다.
• 모멘트 맵의 그림과 함수 불등식을 적용하여, 이 경로의 기하학적 성질과 안정성 조건을 연결한다.

실험 결과

연구 질문

• RQ1 일반적으로 켈러-아인슈타인 케이스를 초월하여, cscK 메트릭 문제를 해결하기 위한 새로운 연속 경로를 구성할 수 있는가?
• RQ2 제안된 경로를 따라 $ t \in (0,1) $ 에서 해의 집합이 열려 있는가? 이는 국소 해의 존재성과 전역 연속성을 보장한다.
• RQ3 표준 K-energy의 강제성이 알려져 있지 않은 상황에서도, $ t \in (0,1) $ 에서 비틀린 K-energy 기능이 지오데식 거리에서 강제성을 가짐을 보일 수 있는가?
• RQ4 이 경로를 따라 비틀린 K-energy 기능의 적절성(properness)을 통해 cscK 메트릭의 존재 여부를 특성화할 수 있는가?
• RQ5 이 새로운 경로는 K-안정성과 cscK 메트릭에 관한 얀-티안-도널드슨 추측과 어떻게 관련이 있는가?

주요 결과

• 제안된 연속 경로에 대한 해 집합 $ I \subset [0,1] $ 는 모든 $ t \in (0,1) $ 에서 열려 있으며, 정리 1.5에서 증명되었다.
• $ t \in (0,1) $ 에 대해 비틀린 K-energy 기능이 지오데식 거리에서 강제성 있음을, 정리 3.4에서 입증하였다.
• Fine, Stoppa, Lejmi-Székelyhidi의 이전 작업을 일반화하며, 특히 $ t = 1/2 $ 에서 Stoppa의 방정식을 복원한다.
• 모든 $ k = 1, \dots, n $ 에 대해, 비틀린 K-energy 기능 $ E_{\mu_k,t} = tE + (1-t)J_{\mu_k} $ 는 $ C^{1,1} $ 지오데식 세그먼트를 따라 볼록함을, 정리 6.2에서 보였다.
• $ k = n $ 인 경우, 추측의 필요 조건이 증명되었다: $ t_0 \in (0,1) $ 에서 비틀린 cscK 메트릭이 존재한다면, 비틀린 K-energy $ t_0E + (1-t_0)J_\mu $ 는 지오데식 거리에서 적절하다.
• $ J_{\mu_k} $ 는 $ J_{\omega_0^n} \geq \cdots \geq J_{\omega_0} \geq \frac{1}{n+1}J $ 의 연속 불등식을 만족함을, 정리 6.1에서 보였다.