[논문 리뷰] Convexity of the K-energy on the space of Kahler metrics and uniqueness of extremal metrics

Robert J. Berman, Bo Berndtsson|arXiv (Cornell University)|2014. 05. 02.

Geometry and complex manifolds인용 수 15

한 줄 요약

이 논문은 컴acts한 켈러 다양체 위의 켈러 메트릭 공간에서 약한 지오데식선을 따라 마부치 K-에너지 함수의 볼록성을 증명하며, 채른의 추측을 확인한다. 복소 Bergman 커널의 복소하모닉성 변화를 통해 이 볼록성을 확립하며, 이는 극값 켈러 메트릭(상수 스칼라 곡률 메트릭 포함)의 고유성(자기 동형사상에 대해 유일함)을 의미한다.

ABSTRACT

We establish the convexity of Mabuchi's K-energy functional along weak geodesics in the space of Kahler potentials on a compact Kahler manifold thus confirming a conjecture of Chen and give some applications in Kahler geometry, including a proof of the uniqueness of constant scalar curvature metrics (or more generally extremal metrics) modulo automorphisms. The key ingredient is a new local positivity property of weak solutions to the homogenuous Monge-Ampere equation on a product domain, whose proof uses plurisubharmonic variation of Bergman kernels.

연구 동기 및 목표

• 채른의 추측, 즉 마부치 에너지가 켈러 포텐셜 공간에서 약한 지오데식선을 따라 볼록함을 확인하는 것.
• 주어진 코homology 클래스 내에서 자동형사상의 항등성분에 의한 작용에 대해 극값 켈러 메트릭의 고유성을 확립하는 것.
• 제품 영역에서 동차 몽주-암페르 방정식의 약한 해로 K-에너지의 볼록성을 확장하는 것.
• 볼록성과 안정성 논증을 통해 얀-티엔-도널드슨 추측에 기하학적·분석적 기초를 제공하는 것.
• 극값 벡터장과 관련된 에너지 항을 마부치 함수에 추가하여 고유성 결과를 극값 메트릭으로 일반화하는 것.

제안 방법

• D가 C의 도메인일 때, X × D에서 복소 동차 몽주-암페르 방정식의 해로서 정의된 약한 지오데식선을 사용한다. 여기서 π*ω + dd^c U는 L^∞에 속하는 양의 현재이다.
• Bergman 커널의 복소하모닉 변화에서 유도된, 약한 해에 대한 동차 몽주-암페르 방정식의 새로운 국소적 양성성 성질을 적용한다.
• 에너지 항과 엔트로피를 통한 정의로 주어진 마부치 함수수학적 기호 $\mathcal{M}$을 사용하며, 이는 $\mathcal{H}_{1,1}$ 공간인 L^∞-양의 현재로 확장된다.
• 극값 벡터장 V와 관련된 에너지 항 $\mathcal{E}_V$를 마부치 함수에 추가하여 $\mathcal{M}_V$를 형성함으로써 임계점을 안정화시킨다.
• 서브하모닉성과 볼록성 논증을 사용하여 수정된 함수수학적 기호 $\mathcal{M}_V + s\mathcal{F}_\mu$에서 선형화된 방정식 $-D_{v_0}d\mathcal{M}_V|_{u_0} = \mu - \omega_0^n$을 해결한다.
• 자기 동형사상군 $\text{Aut}_0(X,V)$의 작용을 사용하여 궤도에서 $\mathcal{F}_\mu$를 최소화함으로써, 해가 $\text{Im}\,V$에 의해 생성되는 토르스 $T$에 대해 불변임을 보장한다.

실험 결과

연구 질문

• RQ1 마부치 에너지가 켈러 포텐셜 공간에서 약한 지오데식선을 따라 볼록한가?
• RQ2 주어진 코homology 클래스 내에서 자동형사상에 대해 극값 켈러 메트릭의 고유성은 확립될 수 있는가?
• RQ3 동차 몽주-암페르 방정식의 약한 해를 따라 마부치 함수수학적 기호 $\mathcal{M}$은 여전히 볼록하거나 서브하모닉한가?
• RQ4 만약 $\omega$가 극값이라면, $T$-불변 함수에 대해 선형화된 방정식 $-D_v d\mathcal{M}_V = \mu - \omega^n$은 해결 가능한가?
• RQ5 약한 지오데식선을 따라 $\mathcal{M}$의 볼록성이 두 극값 메트릭이 자동형사상에 의해 연결되어 있음을 의미하는가?

주요 결과

• 모든 약한 지오데식선 $u_t$가 $\mathcal{H}(X,\omega)$ 내의 두 켈러 포텐셜을 연결할 때, 마부치 함수수학적 기호 $\mathcal{M}$은 볼록함을 보이며, 이는 채른의 추측을 확인한다.
• 해가 $L^\infty$에 속할 경우, 복소 몽주-암페르 방정식 $ (\pi^*\omega + dd^c U)^{n+1} = 0 $를 만족하는 곡선을 따라 마부치 함수수학적 기호 $\mathcal{M}$은 약하게 서브하모닉함을 보인다.
• 주어진 코homology 클래스 내에서 $\text{Aut}_0(X)$의 작용에 대해 극값 켈러 메트릭의 고유성이 성립한다. 즉, 임의의 두 극값 메트릭은 자동형사상에 의해 연결된다.
• 동일한 극값 벡터장 $V$를 가진 극값 메트릭에 대해, 수정된 함수수학적 기호 $\mathcal{M}_V = \mathcal{M} + \mathcal{E}_V$는 두 메트릭 모두 임계점을 가지며, 변화에 대한 선형화된 방정식은 $T$-불변 부분공간에서 해결 가능하다.
• $\mathcal{C}^\infty_V$에서 $\mathcal{E}_V$의 이阶 도함수는 0이므로, $\mathcal{M}_V$의 헤시안은 $\mathcal{M}$의 헤시안과 일치하며, 볼록성 성질이 유지된다.
• 변형된 메트릭 $\omega_{u_0^s}$와 $\omega_{u_1^s}$ 사이의 거리는 $s$의 차수이므로, 자동형사상을 적용한 후 $\omega_0 = \omega_1$임을 의미하며, 고유성을 증명한다.