[논문 리뷰] A thermodynamical formalism for Monge-Ampere equations, Moser-Trudinger inequalities and Kahler-Einstein metrics

Robert J. Berman|arXiv (Cornell University)|2010. 11. 17.

Geometry and complex manifolds참고 문헌 62인용 수 13

한 줄 요약

이 논문은 복소 면적-암페르 방정식에 대한 열역학적 체계를 카플레르 다양체 위에서 제시하며, 확률 측도 위의 자유 에너지 함수기능에 대한 변분법을 개발하여 마부치의 K-에너지와 딩의 함수기능을 일반화한다. 비틀린 카플레르-아인슈타인 계량의 존재성 결과와 모저-트루더 링거 부등식을 확립하며, 반-환원적 분할선을 따라 특이성을 띠는 카플레르-아인슈타인 계량의 존재성을 증명하고 도널드슨의 추측을 확인한다. 또한 특정 조건 하에서 칼라비 흐름의 수렴성을 보인다.

ABSTRACT

We develop a variational calculus for a certain free energy functional on the space of all probability measures on a Kahler manifold X. This functional can be seen as a generalization of Mabuchi's K-energy functional and its twisted versions to more singular situations. Applications to Monge-Ampère equations of mean field type, twisted Kahler-Einstein metrics and Moser-Trudinger type inequalities on Kahler manifolds are given. Tian's α- invariant is generalized to singular measures, allowing i particular the construction of Kahler-Einstein metrics with positive Ricci curvature that are singular along a given anti-canonical divisor (as proposed in a very recent program of Donaldson). As another application we show that if the Calabi flow in the (anti-) canonical class exits for all times then it converges to a Kahler-Einstein metric, when one exists. Applications to the probabilistic/statistical mechanical approach to the construction of Kahler-Einstein metrics, very recently introduced by the author, will appear elsewhere.

연구 동기 및 목표

• 카플레르 다양체 위의 확률 측도 위의 자유 에너지 함수기능에 대한 변분법을 개발하여 마부치의 K-에너지와 딩의 함수기능을 일반화한다.
• 평균장 유형의 면적-암페르 방정식과 비틀린 카플레르-아인슈타인 계량의 해 존재성 결과를 확립한다.
• 티앙의 α-불변량을 특이 측도로 일반화하여 반-환원적 분할선을 따라 특이성을 띠는 카플레르-아인슈타인 계량의 구성이 가능하도록 한다.
• 유일한 카플레르-아인슈타인 계량이 존재할 경우 칼라비 흐름이 그 계량으로 수렴함을 증명한다.
• 레전드르 대칭과 볼록 해석학을 이용하여 카플레르 다양체 위에서 모저-트루더 링거 유형의 부등식에 대한 변분 프레임워크를 제공한다.

제안 방법

• 카플레르 다양체 $ X $ 위의 확률 측도 $ \nu $ 공간 위에 자유 에너지 함수기능 $ F(\nu) $ 를 정의하며, 이는 면적-암페르 방정식 $ \frac{(\omega + dd^c u)^n}{Vn!} = \frac{e^{\beta u} \mu_0}{\int_X e^{\beta u} \mu_0} $ 와 관련된다.
• 레전드르 대칭을 사용하여 $ F(\nu) $ 를 $ \omega $-다중하모닉 함수 $ u $ 위의 함수기능 $ \mathcal{G}(u) $ 와 연결하며, 이는 딩 함수기능을 일반화한다.
• 특이 측도 $ \mu $ 를 위한 일반화된 $ \alpha $-불변량 $ \alpha(L, \mu) $ 를 정의하며, 이는 모든 $ \psi \in \text{PSH}(X, \omega) $ 에 대해 $ \int_X e^{-t \psi} \, d\mu < \infty $ 를 만족하는 $ t $ 의 상한을 통해 정의된다.
• $ \bar{\partial} $ 에 대한 $ L^2 $-추정과 선형 번들의 절편에 대한 로그 노름을 적용하여 특이 가중치 $ \psi = \frac{1}{m} \log |s_m|^2 $ 에서의 $ I_t $-함수기능의 유한성을 특성화한다.
• 볼록성과 허더 부등식을 사용하여 $ \alpha^*(L, \mu) $ 가 $ \lambda $ 에 대해 볼록임을 증명함으로써 $ \alpha(L, \mu) $ 정의에서 $ \psi $ 에 대한 최소화를 수행할 수 있도록 한다.
• $ \mu = \mu_\Delta $ 가 klt 분할선 $ \Delta $ 와 관련되어 있을 경우 $ \alpha(L, \mu) = \inf_{D_m} \text{lct}_X(X, D_m + \Delta) $ 를 증명하며, 이는 불변량을 로그 캐논리컬 임계값과 연결한다.

실험 결과

연구 질문

• RQ1 확률 측도 위의 변분 방법을 통해 카플레르-아인슈타인 기하학에 대한 열역학적 체계를 개발할 수 있는가?
• RQ2 자유 에너지 함수기능을 통해 마부치의 K-에너지와 딩의 함수기능을 특이 설정으로 일반화할 수 있는가?
• RQ3 일반화된 $ \alpha $-불변량 $ \alpha(L, \mu) $ 는 특정 특이성을 갖는 카플레르-아인슈타인 계량의 존재성에 어떤 역할을 하는가?
• RQ4 유일한 카플레르-아인슈타인 계량이 존재할 경우 칼라비 흐름이 그 계량으로 수렴하는가? 그리고 이는 변분 방법으로 증명될 수 있는가?
• RQ5 카플레르 다양체 위에서 모저-트루더 링거 유형의 부등식은 열역학적 및 볼록 해석학적 프레임워크로부터 유도될 수 있는가?

주요 결과

• 특이 측도 $ \mu $ 와 관련된 일반화된 $ \alpha $-불변량 $ \alpha(L, \mu) $ 는 $ \alpha(L, \mu_\Delta) = \inf_{D_m} \text{lct}_X(X, D_m + \Delta) $ 를 만족하며, 이는 로그 캐논리컬 임계값과 연결된다.
• 주어진 반-환원적 분할선을 따라 특이성을 띠는 양의 리치 곡률을 갖는 카플레르-아인슈타인 계량의 존재성이 확립되며, 도널드슨의 추측을 확인한다.
• 칼라비 흐름이 (반)환원적 계량 클래스에 속해 있을 경우, 유일한 카플레르-아인슈타인 계량이 존재하고 전 시간에 걸쳐 흐름이 존재할 경우 그 계량으로 수렴한다.
• 자유 에너지 함수기능 $ F(\nu) $ 는 엔트로피와 복합복소 에너지가 유한한 측도에서 유한함을 보여주며, 이는 특이 설정에서 볼록 해석학의 적용을 가능하게 한다.
• $ \psi \in \text{PSH}(X, \omega) $ 에 대해 $ I_t(\psi) $ 가 유한함은 $ \psi = \frac{1}{m} \log |s_m|^2 $ 에 대해 유한함과 동치이며, 이는 선형 번들의 절편으로의 유한성 조건을 축소시킨다.
• $ \alpha^*(L, \mu) $ 는 $ \lambda $ 에 대해 볼록임을 증명하여 $ \alpha(L, \mu) $ 정의에서 $ \psi $ 에 대한 최소화를 수행할 수 있도록 하며, 이는 변화에 대한 안정성을 보장한다.