[논문 리뷰] The Dirichlet problem for degenerate complex Monge-Ampere equations

D. H. Phong, Jacob Sturm|ArXiv.org|2009. 04. 13.

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

한 줄 요약

이 논문은 경계를 가진 컴acts Kähler 다양체 위에서 비퇴화된 복소 Monge-Ampère 방정식의 해에 대해 $C^{1,\beta}$ 정규성 추정을 수립한다. 이때 코homology 클래스는 비음성이며, 어떤 인피터에 대해 정규성 조건을 만족한다. 주요 결과는 각 테스트 구성에 대해 $C^{1,\beta}$ 지오데식 레이를 구성하여 비퇴화된 경우의 정규성 갭을 해결하는 것이다.

ABSTRACT

The Dirichlet problem for a Monge-Ampere equation corresponding to a nonnegative, possible degenerate cohomology class on a Kaehler manifold with boundary is studied. C^{1,α} estimates away from a divisor are obtained, by combining techniques of Blocki, Tsuji, Yau, and pluripotential theory. In particular, C^{1,α} geodesic rays in the space of Kaehler potentials are constructed for each test configuration

연구 동기 및 목표

• 기저 코homology 클래스가 퇴화된 경우 Kähler 포텐셜 공간 내 지오데식 레이의 정규성 문제를 다루는 것.
• 이전의 비퇴화된 경우에 국한된 비퇴화된 복소 Monge-Ampère 방정식의 Dirichlet 문제 결과를 엄밀히 양성인 경우를 초월하여 확장하는 것.
• 특히 테스트 구성의 맥락에서, 복소포텐셜 이론과 사전 추정을 사용하여 $C^{1,\beta}$ 지오데식 레이를 구성하는 것.
• 코homology 클래스가 엄밀히 양성이 아니지만 음성이 아닌 경우에도, Monge-Ampère 방정식의 해가 인피터에서 벗어나 정규성을 유지함을 증명하는 것.

제안 방법

• Blocki, Tsuji, Yau 및 복소포텐셜 이론의 기법을 결합하여 비퇴화된 Monge-Ampère 방정식에 대한 $C^{1,\beta}$ 추정을 유도한다.
• 핵심 조건을 도입한다: $\nabla_0 - \beta[E] > 0$ for some $\beta > 0$, 여기서 $E$ 는 경계와 분리된 유효 인피터이다.
• 테스트 구성의 총공간 $\tilde{\frak X}_D$ 의 콪막힌 총공간 위에 앰플 라인 번들의 메트릭을 사용하여 비퇴화된 형식 $\tilde{\nabla}$ 를 구성한다.
• 조건 $\nabla_0 - \beta[E]$ 가 Kähler일 경우, $\tilde{\frak X}_D$ 에서의 Dirichlet 문제에 대해 정리 2(사전 추정)를 적용한다. 경계 조건은 0이다.
• 회전 대칭 메트릭과 곡률 구성 기법을 사용하여, 필수적인 정규성 조건을 만족하는 엄밀히 양성인 형식 $\nabla_\beta$ 가 존재함을 보장한다.
• Donaldson 임bedding 정리와 매어모르픽 섹션을 이용하여 중심 섹션에 대해 $\nabla_0 - \beta[E]$ 가 Kähler 클래스가 되는 인피터 $E$ 를 정의한다.

실험 결과

연구 질문

• RQ1 코homology 클래스가 음성이지만 비음성일 경우, 경계를 가진 Kähler 다양체 위에서 비퇴화된 복소 Monge-Ampère 방정식의 해에 대해 $C^{1,\beta}$ 정규성을 확립할 수 있는가?
• RQ2 특히 테스트 구성의 맥락에서, 코homology 클래스가 퇴화된 경우에도 Kähler 포텐셜 공간 내 지오데식 레이의 존재성이 유지되는가?
• RQ3 사전 추정 기법과 복소포텐셜 이론의 방법이 $\nabla_0$ 가 오직 준양성일 경우에도 확장 가능한가?
• RQ4 $\nabla_0 - \beta[E]$ 가 Kähler가 되는 일부 유효 인피터 $E$ 에 대해 Kähler 형식 $\nabla_\beta$ 를 구성하는 것이 가능한가?
• RQ5 초기 조건이 $w=0$ 에서 완전히 지정되지 않은 경우, 지오데식 레이 방정식을 일반화된 의미에서 어떻게 해결할 수 있는가?

주요 결과

• 논문은 인피터 $E$ 에서 벗어난 영역에서 비퇴화된 복소 Monge-Ampère 방정식의 해에 대해 $C^{1,\beta}$ 정규성 추정을 수립한다.
• 총공간 $\tilde{\frak X}_D$ 에서 해 $\tilde{\nabla}$ 가 구성되며, 이때 어떤 $\beta > 0$ 에 대해 $\tilde{\nabla}_0 - \beta[E]$ 는 Kähler 형식이 된다.
• 각 테스트 구성에 대해 $C^{1,\beta}$ 지오데식 레이가 존재함을 증명하며, 이는 이전 결과를 퇴화된 경우로 확장한다.
• 구성은 $p^*{\frak L}^m$ 에 대한 메트릭 $H_0$ 를 기반으로 하며, 이 메트릭의 곡률 $\tilde{\nabla}_0 \neq 0$ 이고, 이는 회전 대칭적이며, 섬유에서 양성이다.
• 핵심 기술적 단계는 메트릭 $H$ 를 구성하는 것으로, $\tilde{\nabla}_0 - \beta[E] = \nabla_\beta - \beta \frac{i}{2} \bar{\nabla} \text{log} \norm{\text{sec}}^2$ 를 만족한다. 여기서 $\text{sec}$ 는 $O(E)$ 의 표준 섹션이다.
• 결과는 코homology 클래스가 퇴화된 조건 하에서 Kähler 포텐셜 공간 내 일반화된 지오데식 레이의 존재를 확인하며, Donaldson의 안정성 추측을 뒷받침한다.