[논문 리뷰] Monge-Ampère operators on compact Kähler manifolds

Vincent Guedj, Ahmed Zériahi|ArXiv.org|2005. 04. 12.

Geometry and complex manifolds참고 문헌 6인용 수 5

한 줄 요약

이 논문은 복소 미분형식이 있는 컴act 켈러 다양체에서 자연스러운 특이 퍼텐셜 함수의 클래스 ${\mathcal{E}}^1(X,\omega)$에 대해 복소 몽헤-암페르 연산자를 완전히 특성화한다. 확률 측도 $\mu$가 유일한 $\omega$-강하함수 $\varphi \in {\mathcal{E}}^1(X,\omega)$에 대해 몽헤-암페르 측도가 되기 위한 필요충분조건은 $\mathcal{E}^1(X,\omega) \subset L^1(\mu)$임을 증명한다. 이 결과는 특이 측도에 대한 고전적 존재 정리의 일반화이며, 복소 동역학에서의 불변 측도와 켈러-아인슈타인 계량의 연구를 위한 기초를 제공한다.

ABSTRACT

We study the complex Monge-Amp\` ere operator on compact Kähler manifolds. We give a complete description of its range on the set of $ω-$plurisubharmonic functions with $L^2$ gradient and finite self energy, generalizing to this compact setting results of U.Cegrell from the local pluripoltential theory. We give some applications to complex dynamics and to the existence of Kähler-Einstein metrics on singular manifolds.

연구 동기 및 목표

• 컴act 켈러 다양체에서 매끄럽거나 유계인 해를 넘어서, 복소 몽헤-암페르 연산자의 이론을 확장하는 것.
• 유한 에너지와 몽헤-암페르 측도에 대한 $L^1$ 적분 가능성을 갖는 $\omega$-강하함수의 클래스 $\mathcal{E}^1(X,\omega)$를 정의하고 연구하는 것.
• $\mathcal{E}^1(X,\omega)$에서 몽헤-암페르 연산자의 범위를 완전히 특성화하여, 특이 측도 $\mu$에 대해 $[MA](X,\omega,\mu)$의 해가 존재하는지 여부를 해결하는 것.
• 결과를 복소 동역학에 적용하여 최대 엔트로피를 갖는 불변 측도의 존재를 증명하고, 특이 다양체에서의 켈러-아인슈타인 계량을 연구하는 것.
• 지역 강하함수 이론(Cegrell)과 전역 컴act 켈러 기하학을 연결하며, 경계 조건의 부재와 연산자의 비균형성과 같은 주요 차이점을 부각하는 것.

제안 방법

• 기울기가 $L^2$ 조건을 만족하는 $\omega$-강하함수의 클래스 $\mathcal{E}(X,\omega)$를 도입하여, $k=2$일 때 몽헤-암페르 연산자 $\omega_\varphi^k$가 잘 정의됨을 보장하고, 이를 고차원으로 확장한다.
• $\mathcal{E}^1(X,\omega)$를 $\omega$-강하함수 $\varphi$의 집합으로 정의하여 $\omega_\varphi^k$가 잘 정의되고 $\varphi \in L^1(\omega_\varphi^k)$임을 보장하며, 이 클래스의 별형 볼록성과 최대값 연산에 대한 안정성을 확립한다.
• 부분적 적분과 연속성 결과(정리 3.1)를 활용하여, $\mathcal{E}^1(X,\omega)$ 내의 몽헤-암페르 방정식 해가 상수항을 제외하고는 유일함을 증명한다.
• $p>1$에 대해 $\mathcal{E}^p(X,\omega)$에서의 근사화를 통해 해를 구성한 후, $p=1$으로의 극한을 취하며, 균일한 추정과 $L^1$ 위상에서의 컴팩턴스를 활용한다.
• 주요 결과를 복소 동역학에 적용하여, 헬로모르픽 사상 $f$에 대해 최대 엔트로피를 갖는 불변 측도 $\mu_f$가 $\mu_f = (\omega + dd^c g)^k$로 표현되며, $\mathcal{E}^1(X,\omega) \subset L^1(\mu_f)$이면 유일한 $g \in \mathcal{E}^1(X,\omega)$가 존재하고 $\sup_X g = -1$임을 보여준다.
• 유사한 프레임워크가 특이 다양체에서의 켈러-아인슈타인 계량에 적용됨을 보이며, $\tilde{\omega}$가 크고 준양성인 클래스일 때 $[MA](\tilde{X},\tilde{\omega},\tilde{\mu})$를 해결함으로써, 비-켈러이지만 크기 있는 코homology 클래스로의 결과 확장을 이룬다.

실험 결과

연구 질문

• RQ1 주어진 확률 측도 $\mu$가 컴act 켈러 다양체에서 $\mathcal{E}^1(X,\omega)$에 속하는 $\omega$-강하함수의 몽헤-암페르 측도가 되기 위한 조건은 무엇인가?
• RQ2 해가 특이함을 허용할 때 컴act 켈러 다양체에서 몽헤-암페르 연산자의 범위를 어떻게 완전히 특성화할 수 있는가?
• RQ3 $\mathcal{E}^1$ 클래스가 열악한 몽헤-암페르 방정식의 해의 존재성과 유일성에 어떤 역할을 하는가?
• RQ4 이 이론은 비-켈러이지만 크기 있고 준양성인 코homology 클래스로 확장될 수 있는가, 특히 특이 다양체에서의 켈러-아인슈타인 계량의 맥락에서?
• RQ5 $\mathcal{E}^1$ 조건이 복소 동역학에서 해의 특이성과 관련 측도의 지지부를 얼마나 제어하는가?

주요 결과

• 확률 측도 $\mu$가 $\mathcal{E}^1(X,\omega)$에서 몽헤-암페르 연산자의 범위에 속하기 위한 필요충분조건은 $\mathcal{E}^1(X,\omega) \subset L^1(\mu)$이며, 이는 날카로운 존재 조건을 제공한다.
• $\omega_\varphi^k = \mu$의 해가 $\mathcal{E}^1(X,\omega)$ 내에서 존재할 경우, 특이 측도일지라도 상수항을 제외하고는 유일하다.
• $\mathcal{E}^1(X,\omega)$ 클래스는 레벨링 수가 0인 유계가 아닌 함수를 포함하지만, 그 몽헤-암페르 측도는 잘 정의되고 유한하다.
• 컴act 켈러 다양체에서 $\lambda_1(f) > 1$인 헬로모르픽 사상 $f$에 대해, 최대 엔트로피를 갖는 불변 측도 $\mu_f$는 $\mu_f = (\omega + dd^c g)^k$로 표현되며, $\mathcal{E}^1(X,\omega) \subset L^1(\mu_f)$이면 유일한 $g \in \mathcal{E}^1(X,\omega)$가 존재하고 $\sup_X g = -1$이다.
• $\mathbb{P}^2$에서의 복소 동역학에서의 동적 그린 함수 $g^+, g^-$는 $\mathcal{E}^1(\mathbb{P}^2,\omega)$에 속하지 않지만, 그 최대값 $g = \max(g^+, g^-)$는 속하며 $\int_X (-g) \omega_g^2 < \infty$를 만족한다. 이는 $\mu_f = (\omega + dd^c g)^2$의 가능성에 대한 시사를 제공한다.
• 결과는 크기 있고 준양성인 코homology 클래스로 확장되며, 특이 다양체의 해석적 분해 $\tilde{X} \to X$에 대해 $\mathcal{E}^1(\tilde{X},\tilde{\omega})$에서 해를 구성함으로써 특이 다각형에서의 켈러-아인슈타인 계량 연구가 가능해진다.