[논문 리뷰] On the regularity problem of complex Monge-Ampere equations with conical singularities

Xiuxiong Chen, Yuanqi Wang|arXiv (Cornell University)|2014. 05. 05.

Geometry and complex manifolds참고 문헌 29인용 수 7

한 줄 요약

이 논문은 매끄러운 부분자리에 따라 원형 특이성을 가진 복소 몽레-아프레 방정식의 약한 해의 최대 정칙성을 확립하며, $C^{1,1}$-정칙 해가 실제로 특이 극좌표에서 허더 연속임을 증명한다. 원형 설정에서의 새로운 캘러존-지그문트 이론과 약한 원형 켈러-리치 평탄한 메트릭에 대한 리우빌 유형 정리에 기반하여, 저자들은 구엔티아나-파운과 요우가 구축한 약한 켈러-아인슈타인 메트릭이 실제로 $C^{2,\alpha,\beta}$ 정칙성을 가진 강한 원형 켈러-아인슈타인 메트릭임을 보여준다. 여기서 $0 < \alpha < \min(1/\beta - 1, 1)$이다. 이는 원형 켈러 기하학에서 약한 해를 강한 해로 업그레이드함으로써 정칙성 문제를 해결한다.

ABSTRACT

In the category of metrics with conical singularities along a smooth divisor with angle in $(0, 2π)$, we show that locally defined weak solutions ($C^{1,1}-$solutions) to the Kähler-Einstein equations actually possess maximum regularity, which means the metrics are actually Hölder continuous in the singular polar coordinates. This shows the weak Kähler-Einstein metrics constructed by Guenancia-Paun \cite{GP}, and independently by Yao \cite{GT}, are all actually strong-conical Kähler-Einstein metrics. The key step is to establish a Liouville-type theorem for weak-conical Kähler-Ricci flat metrics defined over $\C^{n}$, which depends on a Calderon-Zygmund theory in the conical setting.

연구 동기 및 목표

• 원형 특이성을 가진 복소 몽레-아프레 방정식의 약한 해에 대한 정칙성 문제를 해결하기 위해.
• 약한 켈러-아인슈타인 방정식의 $C^{1,1}$-정칙 해가 실제로 특이 극좌표에서 $C^{2,\alpha,\beta}$-정칙임을 보여주기 위해.
• 구엔티아나-파운과 요우가 구축한 약한 켈러-아인슈타인 메트릭이 실제로 강한 원형 켈러-아인슈타인 메트릭임을 확립하기 위해.
• 원형 캘러존-지그문트 이론을 개발하고, 약한 원형 켈러-리치 평탄한 메트릭에 대한 리우빌 유형 정리를 증명하기 위해.

제안 방법

• 복소수 $\mathbb{C}^n$에서 특이 부분자리 $D$를 가진 약한 원형 켈러-리치 평탄한 메트릭에 대해 원형 캘러존-지그문트 부등식을 개발한다.
• 원형 라플라스 연산자 하에서 $L^2$ 유계인 조화함수의 행동을 분석하여, 약한 원형 켈러-리치 평탄한 메트릭에 대한 리우빌 유형 정리를 증명한다.
• 우변이 $L^p$인 경우에 대해 원형 $W^{2,p}$ 및 $C^{1,\alpha,\beta}$ 추정을 사용하여 특이점 근처에서 해의 성장률을 제어한다.
• 닫힌 켈러 다양체에서 원형 켈러-리치 흐름을 적용하여 강한 해를 구성하며, 켈러 에너지 함수의 단조성에 기반한다.
• 선형화된 연산자에 대한 강한 최대원리에 의해 $M \setminus D$에서 $C^{1,1,\beta}$ 해의 유일성을 확립하여, 차이는 상수임을 보인다.
• (barrier 함수와 구엔티아나-파운 형식의 추론에 기반한) $C^2$-추정을 사용하여 원형 설정에서 메트릭의 추정치를 제어한다.

실험 결과

연구 질문

• RQ1 원형 특이성을 가진 복소 몽레-아프레 방정식의 약한 $C^{1,1,\beta}$ 해는 $C^{2,\alpha,\beta}$ 정칙성으로 업그레이드될 수 있는가?
• RQ2 원형 캘러존-지그문트 이론은 복소수 $\mathbb{C}^n$에서의 약한 원형 켈러-리치 평탄한 메트릭에 대해 리우빌 유형 정리를 암시하는가?
• RQ3 구엔티아나-파운과 요우가 구축한 약한 켈러-아인슈타인 메트릭은 실제로 강한 원형 켈러-아인슈타인 메트릭인가?
• RQ4 원형 켈러-리치 흐름을 사용하여 닫힌 다양체에서 약한 $C^{1,1,\beta}$ 해로부터 $C^{2,\alpha,\beta}$ 해를 구성할 수 있는가?
• RQ5 원형 각도 $2\pi\beta$ 가 주어졌을 때, $C^{2,\alpha,\beta}$ 정칙성이 성립하는 $\alpha$ 의 정확한 범위는 무엇인가?

주요 결과

• 모든 $C^{1,1,\beta}$ 해 $\phi$ 는 $f > 0$ 이고 $f \in C^{1,1,\beta}$ 인 복소 몽레-아프레 방정식 $\det(\phi_{i\bar{j}}) = f / |z|^{2-2\beta}$ 에 대해, $0 < \alpha < \min(1/\beta - 1, 1)$ 인 모든 $\alpha$ 에 대해 $C^{2,\alpha,\beta}(\Omega)$ 에 속한다.
• 구엔티아나-파운과 요우가 구축한 약한 켈러-아인슈타인 메트릭은 실제로 $C^{2,\alpha,\beta}$ 정칙성을 가진 강한 원형 켈러-아인슈타인 메트릭으로 업그레이드된다.
• 약한 원형 켈러-리치 평탄한 메트릭에 대해 리우빌 유형 정리가 성립하며, 이는 원형 라플라스 연산자 하에서 유계인 $L^2$-조화함수는 상수임을 나타낸다.
• 우변이 $L^p$ 인 경우에 대해 원형 캘러존-지그문트 부등식이 확립되어 원형 설정에서 $W^{2,p,\beta}$ 및 $C^{1,\alpha,\beta}$ 추정이 가능해진다.
• 닫힌 켈러 다양체에서 원형 몽레-아프레 방정식의 모든 $C^{1,1,\beta}$ 해는 상수를 제외하고 유일하며, $0 < \alpha < \min(1/\beta - 1, 1)$ 인 $C^{2,\alpha,\beta}$ 에 속한다.
• 원형 켈러-리치 흐름은 $C^{2,\alpha,\beta}$ 해로 수렴하며, 흐름 기반 정규화를 통해 약한 해가 실제로 강한 해임을 증명한다.