[논문 리뷰] On the constant scalar curvature Kähler metrics, apriori estimates

Xiuxiong Chen, Jingrui Cheng|arXiv (Cornell University)|2017. 12. 18.

Geometry and complex manifolds참고 문헌 21인용 수 33

한 줄 요약

이 논문은 고정된 스칼라 곡률 켈러(cscK) 메트릭에 대한 날카운 a priori 추정을 확립한다. 이는 켈러 포텐셜의 고차 도함수들이 균일한 $ C^0 $-유계성에 의해 유계로 제어될 수 있음을 보여준다. 핵심 기여는 복소 헤시안과 스칼라 곡률을 제어하기 위한 새로운 기법을 개발한 것으로, 이는 연속 경로 방법을 cscK 문제로 확장하고, 요우-티엔-도널드슨 추측을 증명하는 데 기초를 마련한다.

ABSTRACT

In this paper, we derive apriori estimates for constant scalar curvature Kähler metrics on a compact Kähler manifold. We show that higher order derivatives can be estimated in terms of a $C^0$ bound for the Kähler potential. We also discuss some local versions of these estimates which can be of independent interest.

연구 동기 및 목표

• 경계가 없는 컴acts한 켈러 다양체 위에서 일정한 스칼라 곡률 켈러(cscK) 메트릭에 대한 a priori 추정을 유도하는 것.
• cscK 기하학에서 리치 곡률의 하한이 없어지는 문제를 해결하여, 체거-콜딩 이론의 적용을 방해하는 요소를 극복하는 것.
• 고차 도함수들이 켈러 포텐셜의 $ C^0 $-유계성에 의해 제어됨을 확인함으로써, 추측 1.1을 증명하는 것.
• 극도로 켈러 메트릭과 더 넓은 cscK 존재 문제에 적용 가능한 국소 추정 및 프레임워크를 제공하는 것.
• K-에너지 함수의 적절성에 기반하여 cscK 메트릭 존재 문제를 증명하기 위한 분석적 기초를 마련하는 것.

제안 방법

• 4차 비선형 편미분방정식을 복소 헤시안과 스칼라 곡률을 포함하는 연립 방정식계로 환원함으로써 cscK 메트릭에 대한 a priori 추정을 유도한다.
• 칼라비와 도널드슨의 영감을 받은 연속 경로 접근법을 사용하여 cscK 방정식을 두 번째 차수의 타원형 편미분방정식과 연결한다.
• 수정된 최대원리와 $ e^{ heta G} $를 포함하는 보조 함수를 사용하여 포텐셜의 기울기와 헤시안의 성장률을 제어한다.
• 폭발 증명과 레마 6.4를 통한 일반화된 존-니레버그 유형 부등식을 활용하여 기울기와 곡률에 대한 $ L^ ho $-유계를 도출한다.
• 하나의 하위해와 비교하여 $ B_{1/2} $ 내에서 $ | abla heta|^2 $ 에 대한 국소 $ L^ ho $-추정을 시행한다.
• 특정 시험 함수 $ v = e^{rac{1}{8}G}(| abla heta|^2 + K) $ 를 사용하여 $ | abla heta| $ 가 유계이면 $ e^G $ 가 차원 $ n=2 $ 에서 국소적으로 유계임을 증명한다.

실험 결과

연구 질문

• RQ1 cscK 설정에서 포텐셜의 고차 도함수들이 $ C^0 $-유계성 외에 다른 조건 없이 제어될 수 있는가?
• RQ2 리치 곡률 하한이 없는 상황에서 복소 헤시안과 스칼라 곡률을 어떻게 제어할 수 있는가?
• RQ3 날카운 a priori 추정을 통해 cscK 메트릭에 대한 연속 경로 접근법을 실현 가능하게 할 수 있는가?
• RQ4 cscK 방정식에 대해 국소 기하학에 의존하지 않는 어떤 국소 PDE 추정을 도출할 수 있는가?
• RQ5 cscK 맥락에서 체거-콜딩 이론을 어떻게 적응하거나 대체할 수 있는가?

주요 결과

• 모든 고차 도함수들이 $ ig floor hetaig floor_{L^ ho} $ 에 의해 유계로 제어되며, 이는 $ ig floor hetaig floor_{C^0} $ 에 의해 제어되므로, 추측 1.1을 확인한다.
• 차원 $ n=2 $ 에서 $ | abla heta| $ 가 국소적으로 유계이면, $ e^G $ 는 $ B_{1/2} $ 에서 국소적으로 유계이며, 이 유계성은 $ || abla heta||_{C^0} $ 과 $ ar{R} $ 에만 의존한다.
• $ f(r) = ||\bar{u}||_{L^\infty(B_r)} $ 이며, $ f(1/2) \leq C_\alpha M $ 이 성립하며, $ f $ 는 하향 반복 부등식을 만족하므로 모저 반복 기법을 적용할 수 있다.
• 함수 $ v = e^{rac{1}{8}G}(| abla heta|^2 + K) $ 는 하향해 불등식을 만족하여, 최대원리를 사용하여 $ e^G $ 를 $ \eta = (1-|z|^2)^{-1} $ 과 비교함으로써 제어할 수 있다.
• 라플라스 연산자 $ \Delta_\theta v $ 는 $ \Delta\theta $, $ e^{\delta G} $ 및 저차항들의 조합에 의해 아래에서 유계로 제어되며, 이는 기울기와 곡률 제어를 가능하게 한다.
• 결과적으로 $ e^G \leq C_{6.4} $ 가 $ B_{1/2} $ 에서 성립함을 보여, 기울기 유계성 하에 $ e^G $ 의 국소 $ L^\infty $-유계성을 증명하며, 이는 전역 추정으로 향하는 핵심 단계이다.