[논문 리뷰] A priori $L^{\infty}$-estimates for degenerate complex Monge-Ampère equations

Philippe Eyssidieux, Vincent Guedj외 1명|ArXiv.org|2007. 12. 21.

Geometry and complex manifolds참고 문헌 4인용 수 4

한 줄 요약

이 논문은 코homology 클래스가 비-big 클래스로 분해될 때, 컴act 켈러 다양체 위에서 열화된 복소 멩게-암페르 방정식의 해에 대해 균일한 $L^{\infty}$-추정을 수립한다. 용적 비교와 헬더 부등식을 사용하여, 매개변수 $t \to 0^+$일 때 해가 $L^{\infty}$-노름에서 균일하게 유계임을 증명하며, 이는 선행 결과를 기하학적 가정 없이 일반화한다.

ABSTRACT

We study families of complex Monge-Ampère equations, focusing on the case where the cohomology classes degenerate to a non big class. We establish uniform a priori $L^{\infty}$-estimates for the normalized solutions, generalizing the recent work of S. Kolodziej and G. Tian. This has interesting consequences in the study of the Kähler-Ricci flow.

연구 동기 및 목표

• 코homology 클래스가 비-big 클래스로 분해될 때, 열화된 복소 멩게-암페르 방정식의 해에 대해 균일한 사전 $L^\infty$-추정을 수립하는 것.
• Kolodziej와 Tian의 최근 결과를 기하학적 가정을 제거함으로써 일반화하는 것.
• 정규화된 해 $\varphi_t$의 $L^\infty$-노름에 대한 균일한 bound를 $t \in (0,1]$에 대해 독립적으로 제공하여 $t \to 0^+$에서의 안정성을 확보하는 것.
• 결과를 중간 코다이라 차원 $1 \leq \kod(X) \leq n-1$인 다양체 위의 켈러-리치 흐름에 적용하는 것.
• 해의 $L^\infty$-bound가 단지 분할 $\pi$와 밀도 $F$의 $L^p$-노름에 의존한다는 것을 보여주는 것.

제안 방법

• 밀도 $f_t$가 어떤 $p' > 1$에 대해 $L^{p'}$에서 균일하게 유계임을 보장하는 형태로 멩게-암페르 방정식을 $(\omega_t + dd^c \varphi_t)^n = f_t \omega_t^n$으로 재기록한다.
• 헬더 부등식과 어떤 $\alpha \in (0,1)$에 대해 $J_\pi^{-\alpha}$의 적분 가능성에 의해 밀도 $f_t$에 대한 균일한 통제를 확립한다.
• 측도 $\mu_t = f_t \omega_t^n / \Vol_{\omega_t}(X)$와 정규화된 용적 $\mathrm{Cap}_{\omega_t}/\Vol_{\omega_t}(X)$ 사이의 비교 원리를 사용하여 $\mu_t(K) \leq C_0^n \left( \mathrm{Cap}_{\omega_t}(K)/\Vol_{\omega_t}(X) \right)^2$를 도출한다.
• 앨렉산더-테일러 비교 정리를 적용하여 부분수준 집합의 용적과 해의 부분수준 집합의 측도 사이의 관계를 규명한다.
• $\omega_t$-다중하나함수에 대한 비교 원리를 사용하여, $t \in (0,1]$에서 균일하게 유계인 $s_0(\omega_t)$를 통해 사전 $L^\infty$-bound를 유도한다.
• $\omega_t$-다중하나함수의 $L^1(\omega_1^n)$에서의 균일 유계성에 기반하여, $s_0(\omega_t)$가 $t$에 대해 균일하게 유계임을 보인다.

실험 결과

연구 질문

• RQ1 분할 $\pi: X \to Y$에 대한 기하학적 가정 없이도, 열화된 복소 멩게-암페르 방정식의 해에 대해 균일한 $L^\infty$-추정을 확립할 수 있는가?
• RQ2 해의 $L^\infty$-bound는 분할 $\pi$와 밀도 $F$의 $L^p$-노름에 어떻게 의존하는가?
• RQ3 코homology 클래스가 비-big 클래스로 분해될 때, 멩게-암페르 방정식의 해의 정칙성에 어떤 영향을 미치는가?
• RQ4 용적 비교 방법을 사용하여, $\omega_t = \pi^*\omega_Y + t\omega_X$ 형태의 켈러 형식 가중치의 가중치 $t \to 0^+$에서 균일한 bound를 도출할 수 있는가?
• RQ5 밀도 $f_t$의 $L^p$-적분 가능성 제어에 있어, 자코비안 모듈러스 $J_\pi$의 역할은 무엇인가?

주요 결과

• 멘게-암페르 방정식 $(\star)_t$의 해 $\varphi_t$는 모든 $t \in (0,1]$에 대해 균일한 $L^\infty$-bound를 만족한다: $\|\varphi_t\|_{L^\infty(X)} \leq M$이며, 여기서 $M = M(\pi, \|F\|_p)$는 $t$에 독립적이다.
• 상수 $M$은 분할 $\pi$와 $F$의 $L^p$-노름에만 의존하며, $\pi$에 대한 어떤 기하학적 가정에도 영향을 받지 않는다.
• 밀도 $f_t$는 어떤 $p' > 1$에 대해 $L^{p'}(\omega_t^n)$에서 균일하게 유계이며, 이 bound는 $\pi$와 $\|F\|_p$에만 의존한다.
• 측도 $\mu_t = f_t \omega_t^n / \Vol_{\omega_t}(X)$는 정규화된 용적 $\mathrm{Cap}_{\omega_t}/\Vol_{\omega_t}(X)$에 대해 균일하게 강하게 지배되며, 균일한 상수 $C_0^n$을 가진다.
• $L^\infty$-bound를 제어하는 양수 $s_0(\omega_t)$는 $t \in (0,1]$에서 $e^n C_0^n (A + n)$로 균일하게 유계이며, 여기서 $A$는 $(X, \omega_1)$에만 의존한다.
• 결과는 [KT]의 정리 1과 2가 $\pi$에 대한 기술적 가정 없이도 성립함을 시사하며, Demailly와 Pali의 추측을 확인한다.