[논문 리뷰] A variational approach to complex Monge-Ampere equations

Robert J. Berman, Sébastien Boucksom외 2명|ArXiv.org|2009. 07. 27.

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

한 줄 요약

이 논문은 야우의 정리에 의존하지 않고, 컴팩트 켈러 다양체 위의 빅(cohomology) 클래스에서 탈중립성 복소 몽에-암페르 방정식을 해결하기 위한 변분 방법을 제시한다. 고유한 해를 얻기 위해 최소화되는 복소다양체 에너지 함수를 정의하며, 특이 켈러-아인슈타인 계량의 결과를 확장하고, k-균형 잡힌 계량이 k→∞일 때 정준 계량으로 수렴함을 증명한다.

ABSTRACT

We show that degenerate complex Monge-Ampere equations in a big cohomology class of a compact Kaehler manifold can be solved using a variational method independent of Yau's theorem. Our formulation yields in particular a natural pluricomplex analogue of the classical logarithmic energy of a measure. We also investigate Kaehler-Einstein equations on Fano manifolds. Using continuous geodesics in the closure of the space of Kaehler metrics and Berndtsson's positivity of direct images we extend Ding-Tian's variational characterization and Bando-Mabuchi's uniqueness result to singular Kaehler-Einstein metrics. Finally using our variational characterization we prove the existence, uniqueness and convergence of k-balanced metrics in the sense of Donaldson both in the (anti)canonical case and with respect to a measure of finite pluricomplex energy in our sense.

연구 동기 및 목표

• 야우의 연속성 방법에 의존하지 않고 탈중립성 복소 몽에-암페르 방정식을 직접 변분 방법으로 해결하기 위한 방법을 개발한다.
• 클래식한 로그 에너지의 복소기하학적 일반화인 복소다양체 에너지 함수의 최소화를 통해 해를 특성화한다.
• 연속적 지오데식선과 버른트센의 양성 정리들을 이용하여 특이 켈러-아인슈타인 계량의 존재성과 유일성을 확립한다.
• k→∞일 때 (반)표준 및 일반 측도 경우에서 k-균형 잡힌 계량이 정준 계량으로 수렴함을 증명한다.

제안 방법

• 압린의 J-함수수의 일반화로서, ω-파라볼릭 함수의 적분을 통한 복소다양체 에너지 함수 E(φ)를 공식화한다.
• 전류 T = ω + ddᶜφ에 대해 J-함수수 J(T) = ∫φ ωⁿ − E(φ)를 정의하여 몽에-암페르 질량의 전체성을 특성화한다.
• 측도의 작용을 나타내는 L을 고려하여, 몽에-암페르 방정식의 해를 변분적으로 특성화하기 위해 기능 F = E − L를 사용한다.
• 켈러 계량 공간의 폐포에서 연속적 지오데식선을 적용하여, 딩-티엔의 변분 원리를 특이 계량으로 확장한다.
• 부체-카틀린-티엔-젤리치의 정리를 활용하여, k→∞일 때 이산 에너지 함수수 Dₖ와 연속 에너지 E 사이의 관계를 규명한다.
• 일관된 추정을 통해 모든 충분히 큰 k에 대해 이산 기능 Fₖ = Dₖ − L∘fₖ의 Jₖ-강성(Jₖ-coercivity)을 확립하여 최대화자 존재성과 수렴성을 보장한다.

실험 결과

연구 질문

• RQ1 빅(cohomology) 클래스에서 탈중립성 복소 몽에-암페르 방정식은 야우의 정리에 의존하지 않는 직접 변분 방법으로 해결할 수 있는가?
• RQ2 측도의 로그 에너지에 대한 자연스러운 복소다양체 해석적 일반화가 존재하는가? 이는 몽에-암페르 방정식의 해를 특성화하는 데 기여하는가?
• RQ3 지오데식선 방법을 이용해 켈러-아인슈타인 계량의 변분 특성화를 특이 계량으로 확장할 수 있는가?
• RQ4 k-균형 잡힌 계량은 k→∞일 때 정준 계량으로 수렴하는가? 만약 그렇다면 어떤 조건에서 성립하는가?

주요 결과

• 변분 방법은 야우의 연속성 방법을 사용하지 않고도, 빅(cohomology) 클래스에서 탈중립성 복소 몽에-암페르 방정식의 해의 존재성과 유일성을 보여주는 새로운 직접적 증명을 제공한다.
• 몽에-암페르 방정식의 해는 유한 에너지 공간 E¹(A) 위에서 기능 F = E − L의 유일한 최대화자로 특성화된다.
• k-균형 잡힌 계량 φₖ는 전류의 의미에서 k→∞일 때 정준 전류 T로 수렴하며, ddᶜφₖ가 약한 위상에서 T로 수렴한다.
• 모든 충분히 큰 k에 대해 이산 기능 Fₖ의 Jₖ-강성이 일관되게 확립되어 최대화자의 존재성과 안정성을 보장한다.
• 이산 에너지 함수수 Dₖ의 극한은 연속 에너지 E로 수렴하며, 또한 L(Pₖ(ψ)) → L(ψ)가 성립하여 극한에서의 일致성을 보장한다.
• 수렴 증명은 Jₖ와 J∘fₖ 사이의 핵심 추정식 (7.8)에 의존하며, 이는 이산 근사에서의 오차를 통제한다.