[논문 리뷰] Regularity properties of the degenerate Monge--Ampère equations compact Kähler manifolds

Mihai Păun|ArXiv.org|2006. 09. 12.

Geometry and complex manifolds참고 문헌 3인용 수 15

한 줄 요약

이 논문은 오른쪽 항이 통제 가능한 적분성 조건을 만족하고 배경 형식이 준양성이며 양의 체적을 가진 경우, 컴acts Kähler 다양체 위에서 열화된 Monge–Ampère 방정식의 해에 대한 Hölder 연속성을 확립한다. 정규화, 복소포텐셜 이론, 수정된 라플라스 추정을 통해, 해가 작은 해석적 예외 집합 외부에서 $\mathcal{C}^{1, u}$에 속함을 증명하며, Yau의 정규성 이론을 로그극성 특이성을 가진 열화된 설정으로 확장한다.

ABSTRACT

We prove a regularity result for the Monge--Ampère equations on compact Kaehler manifolds with degenerate rhs member.

연구 동기 및 목표

• 배경 형식 $\alpha$가 준양성이고 양의 체적을 가지는 컴팩트 Kähler 다양체 위에서 열화된 Monge–Ampère 방정식의 해에 대한 Hölder 정규성을 확립하기 위해.
• 배경 형식 $\alpha$가 일부 점에서 0이 될 수 있는 열화된 경우에 Yau의 정규성 이론을 확장하기 위해, $\mathrm{tr}_\alpha \partial\bar\partial f$의 유계성 부족을 극복하기 위해.
• 오른쪽 항에 로그극성 특이성을 가진 준강복함수를 포함하는 적분 조건이 만족될 경우, 해가 작은 해석적 예외 집합 $Y_\gamma$ 외부에서 $\mathcal{C}^{1,\gamma}$에 속함을 증명하기 위해.
• exp(-\psi)의 $L^1$-적분 가능성 조건 하에 Monge–Ampère 방정식의 연속해 존재에 대한 추측을 해결하기 위해, 더 강한 가정 하에 정규성 결과를 증명하기 위해.

제안 방법

• 로컬 포텐셜이 로그극성을 가진 $\psi_1, \psi_2$를 콘볼루션 또는 근사 기법을 사용하여 정규화하기 위해.
• 정규화된 오른쪽 항을 가진 Monge–Ampère 방정식 이론을 적용하며, 비열화된 경우에 대한 Yau의 존재성 및 유일성 결과에 기반하기 위해.
• 복소포텐셜 이론과 Kolodziej, Eyssidieux–Guedj–Zeriahi의 $L^p$ 추정을 활용하여 정규화된 해에 대한 균일한 $L^\infty$ 유계성을 확보하기 위해.
• Kodaira의 보조정리와 Tsuji의 접근 방식을 영감으로 삼아 코hom올로지 클래스 내에서 메트릭 $\alpha$를 수정하여 강한 양성 보장함으로써 균일한 $\mathcal{C}^2$-추정을 도출하기 위해.
• 함수 $\Phi_\varepsilon = \widehat{\varphi}_\varepsilon - \eta$를 통해 수정된 라플라스 비교를 적용하여 복소 헤시안을 제어하기 위해.
• 최대원리를 양수 $-2C\Phi_\varepsilon + \widehat{\psi}_{2;\varepsilon} + \log(n + \Delta_\varepsilon \Phi_\varepsilon)$에 적용하여 $\Delta_\varepsilon \Phi_\varepsilon$에 대한 균일한 유계성을 도출하고, Hölder 제어를 확보하기 위해.

실험 결과

연구 질문

• RQ1 컴팩트 Kähler 다양체 위에서 $(\alpha + \sqrt{-1}\partial\bar\partial \varphi)^n = \exp(\psi_1 - \psi_2)\omega^n$ 이라는 열화된 Monge–Ampère 방정식이 $\mathcal{C}^{1,\gamma}$ 해를 가지기 위한 조건은 무엇인가?
• RQ2 배경 형식 $\alpha$가 일부 점에서 0이 되지만 $\int_X \alpha^n > 0$ 이면, Kähler가 아닌 경우에도 Monge–Ampère 방정식의 정규성 이론을 확장할 수 있는가?
• RQ3 오른쪽 항에 존재하는 로그극성 특이성이 해의 정규성에 미치는 영향은 어느 정도이며, 복소포텐셜 추정을 통해 제어 가능할 수 있는가?
• RQ4 Monge–Ampère 방정식의 연속해 존재가 $\exp(\psi_1 - \psi_2)$에 대한 적분 조건 하에 더 높은 정규성, 예를 들어 Hölder 연속성으로 이어지는가?
• RQ5 Kolodziej 및 Eyssidieux–Guedj–Zeriahi의 방법을 열화된 설정에 적응시켜 $\mathcal{C}^{1,\gamma}$ 정규성을 확보할 수 있는가?

주요 결과

• 각 $\gamma \in [0,1)$에 대해, $X$의 닫힌 해석적 부분집합 $Y_\gamma \subset X$ 가 존재하여, Monge–Ampère 방정식의 해 $\varphi$ 는 $\mathcal{C}^{1,\gamma}(X \setminus Y_\gamma)$ 에 속한다.
• 해 $\varphi$ 는 $X$ 전역에서 $L^\infty$ 노름으로 유계이며, $Y_\gamma$ 외부에서 $\mathcal{C}^{1,\gamma}$ 노름은 정규화에 관계없이 일정한 상수로 제어된다.
• 핵심 추정식 $n + \Delta_\varepsilon(\widehat{\varphi}_\varepsilon - \eta) \leq C \exp(-\widehat{\psi}_{2;\varepsilon} + 2C(\widehat{\varphi}_\varepsilon - \eta))$ 는 $X_1 \setminus E$ 전역에서 균일하게 성립하여 최대원리의 적용이 가능하다.
• 함수 $\exp(-\widehat{\psi}_2 - 2C\eta)$ 는 모든 $p > 0$ 에 대해 $L^p_{\text{loc}}(\widehat{X} \setminus Y_p)$ 에 속하며, 이는 정규화된 설정에서 국소 적분 가능성 보장을 한다.
• 보조정리에 의해, $\psi_1, \psi_2$ 가 로그극성을 가지며 $\int_X \exp(\psi_1 - \psi_2) dV_\omega < \infty$ 이면, 어떤 해석적 부분집합 $Y \subset X$ 에 대해 $X \setminus Y$ 에서 해 $\varphi$ 는 매끄럽다는 것이 증명된다. 이는 이전 결과를 비프로젝티브 다양체로 확장한다.
• 증명은 수정된 라플라스 비교와 최대원리를 신중하게 구성된 보조 함수에 적용함으로써 복소 헤시안에 대한 균일한 제어를 확보하며, 이로 인해 균일한 제어가 가능하다.