[논문 리뷰] The Monge-Ampère equation on almost complex manifolds

Szymon Pliś|arXiv (Cornell University)|2011. 06. 16.

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

한 줄 요약

이 논문은 거의 복소다양체에서 엄격한 편평한 복소다양체 영역에 대한 몽주-암페르 방정식의 딜리클레 문제에 대해 부드러운 해의 존재성과 유일성을 확립한다. 복소다양체 기하학에서의 결과를 비통합 가능한 거의 복소적 구조로 확장하기 위해, 복소다양체 이론과 $J$-다중하모닉 함수 이론의 기법을 사용하여, 주어진 부드러운 경계 데이터와 체적 형식에 대해 유일한 부드러운 해가 존재함을 증명한다.

ABSTRACT

We study the Dirichlet problem for the Monge-Ampère equation on almost complex manifolds. We obtain the existence of the unique smooth solution of this problem in strictly pseudoconvex domains.

연구 동기 및 목표

• 비통합 가능한 거의 복소다양체에 대한 복소다양체 몽주-암페르 방정식 이론을 확장하기 위해.
• 거의 복소다양체의 엄격한 편평한 복소다양체 영역에서 몽주-암페르 방정식의 딜리클레 문제에 대해 부드러운 해의 존재성과 유일성을 확립하기 위해.
• 기존의 복소기하학에서 알려진 결과들(예: 표준 복소다양체 구조를 가진 $\mathbb{C}^n$ 등)을 더 넓은 거의 복소다양체의 설정으로 일반화하기 위해.
• 비통합 가능한 거의 복소다양체의 경우, 특히 비연결된 엄격한 편평한 경계를 가진 영역에서도 딜리클레 문제를 해결하기 위한 프레임워크를 제공하기 위해.

제안 방법

• 논문은 부드러운 $J$-다중하모닉 함수 $u$에 대해 $(1,1)$-현재 $i\partial\bar{\partial}u$를 통해 몽주-암페르 연산자를 정의하고, 그 $n$제곱을 체적 형식으로 연구한다.
• 국소 좌표와 $T^{1,0}M$의 프레임 $\zeta_1, \dots, \zeta_n$을 사용하여 $i\partial\bar{\partial}u$를 계수 $A_{p\bar{q}}(u)$로 표현하며, 이는 $J$의 비통합성에 기인한다.
• 연속성 방법과 부드러운 엄밀한 다중하모닉 함수에 의한 근사화를 통해 부드러운 해의 존재성을 증명하며, 이는 $J$-다중하모닉 함수에 대한 비교 원리에 의존한다.
• 뉴클랜더-니레버그 정리를 적용하여 통합 가능한 거의 복소다양체 구조를 복소다양체 구조와 연결하고, 이로 인해 통합 가능한 경우 표준 도구의 사용을 정당화한다.
• 경계 데이터에 대한 부드러운 근사 수열을 구성하고, 비교 원리를 적용하여 해들이 $\mathcal{C}^0$ 위상에서 수렴함을 보인다.
• 연속적인 최대 다중하모닉 함수는 국소적으로 최대임을 증명하고, 이를 통해 딜리클레 문제의 해가 유일하고 연속적임을 보인다.

실험 결과

연구 질문

• RQ1 비통합 가능한 거의 복소다양체에서 몽주-암페르 방정식의 딜리클레 문제를 해결할 수 있는가?
• RQ2 영역과 경계 데이터에 대한 어떤 조건이 몽주-암페르 방정식의 부드러운 해의 존재성과 유일성을 보장하는가?
• RQ3 거의 복소다양체의 비통합성은 몽주-암페르 연산자의 행동과 딜리클레 문제의 해법 가능성에 어떤 영향을 미치는가?
• RQ4 경계 데이터가 충분히 규칙적이라면, 비통합 가능한 경우에도 딜리클레 문제의 해가 리프시츠 연속적인가?
• RQ5 거의 복소기하학에서 최대 함수 이론은 국소 최대성과 비교 원리를 통해 특징지어질 수 있는가?

주요 결과

• 논문은 거의 복소다양체에서 $\mathcal{C}^\infty$ 급의 엄격한 편평한 복소다양체 영역에서 몽주-암페르 방정식 $(i\partial\bar{\partial}u)^n = dV$의 부드러운 해 $u$의 존재성과 유일성을 증명한다.
• 해 $u$는 $J$-다중하모닉이며, $\mathcal{PSH}(\Omega) \cap \mathcal{C}^\infty(\bar{\Omega})$에 속하며, 부드러운 경계 데이터 $\varphi$에 대해 $\partial\Omega$에서 $u = \varphi$를 만족한다.
• 경계 데이터 $\varphi$가 충분히 규칙적이라면 해가 리프시츠 연속적임을 보였으며, 이는 하비와 로슨의 이전 결과를 향상시킨다.
• 논문은 연속적인 최대 다중하모닉 함수는 국소적으로 최대이며, 이러한 함수는 딜리클레 조건 하에 유일하다는 것을 증명한다.
• 해당 논문은 $\mathcal{F}(J)$-조화 함수(엄밀한 다중하모닉 함수와의 비교를 통해 정의됨)가 $\mathcal{C}^0$ 클래스에서 최대 다중하모닉 함수와 일치함을 증명한다.
• 결과적으로 복소다양체 몽주-암페르 이론이 비통합 가능한 거의 복소다양체로 일반화되었으며, 복소다양체의 경우와 동일한 기하학적 및 분석적 조건 하에서 딜리클레 문제가 여전히 해를 가짐을 보여준다.