[논문 리뷰] Erratum to Viscosity solutions to complex Monge-Ampère equations

Philippe Eyssidieux, Vincent Guedj외 1명|arXiv (Cornell University)|2016. 10. 07.

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

한 줄 요약

이 논문은 컴acts Kähler 다양체 위의 탈선성 복소 Monge-Ampère 방정식에 대한 점근 해의 비교 원리에 대한 보정된 증명을 제공한다. 이는 큰 코homology 클래스의 앰플러 국소에서 유효하다. 저자들은 [EGZ11]에서 잘못된 국소화 추론을 보완하기 위해 페널티와 Jensen-Ishii의 최대 원리를 활용한 정교한 점근 해 방법을 도입하여, 연속적인 점근 해의 존재성과 유일성을 보장한다. 그러나 전역 연속성은 여전히 열려있다.

ABSTRACT

The proof of the comparison principlein [EGZ11] is not complete. We provide here an alternative proof, valid in the ample locus of any big cohomology class, and discuss the resulting modifications.

연구 동기 및 목표

• 복소 Monge-Ampère 방정식에 대한 점근 해의 비교 원리에 대한 원래 증명에서의 결함을 수정하는 것.
• 모든 큰 코homology 클래스의 앰플러 국소에서 유효한 유효한 전역 비교 원리를 확립하는 것.
• Perron 방법을 통해 탈선성 복소 Monge-Ampère 방정식의 점근 해의 존재성과 유일성을 보장하는 것.
• 해의 정(regularity)을 명확히 하여, 앰플러 국소에서는 연속적이지만 전역적으로 연속적이지는 않다는 것을 보여주는 것.
• 보정된 방법을 포화된 점근 해 이론과 연속적인 근사 함수의 근사에 확장하는 것.

제안 방법

• 원래의 [EGZ11]에서 잘못된 국소화 절차를, 페널티와 Jensen-Ishii의 최대 원리를 기반으로 한 정교한 점근 해 방법으로 대체하는 것.
• 하나의 점에서 최대값이 엄격하게 이루어지도록 하기 위해 하위해에 стрictly plurisubharmonic 항을 추가하는 것.
• 형태 $ \frac{1}{2\varepsilon}|x-y|^2 $의 정규화 및 페널티 함수를 사용하여 국소 도메인에서 점근 해 비교 원리를 적용하는 것.
• 앰플러 국소의 점 $ x_0 $ 근처의 국소 좌표를 사용하여 문제를 국소화하고, 방정식을 국소적인 복소 Monge-Ampère 부등식으로 변환하는 것.
• 로컬 설정에서 하위해와 초위해를 비교하기 위해 보조정리 1.2를 적용하여 핵심 부등식 $ e^{u(0)}\tilde{\mu}(0) \leq e^{v(0)}\tilde{\nu}(0) $ 를 유도하는 것.
• 극한 $ \varepsilon \to 0 $ 을 취하여 앰플러 국소에서 $ \varphi \leq \psi $ 를 복원하는 것.

실험 결과

연구 질문

• RQ1 원래의 [EGZ11]에서 비교 원리의 증명은 유효한가, 특히 페널티 함수 $ \varphi_3 $ 의 헤시안 제어에 관해 어떻게 되는가?
• RQ2 큰 코homology 클래스의 앰플러 국소에서 유효한 새로운 전역 비교 원리의 증명을 구성할 수 있는가?
• RQ3 탈선성 복소 Monge-Ampère 방정식의 점근 해는 앰플러 국소에서 연속적인가, 그리고 전역 연속성 상태는 어떠한가?
• RQ4 보정된 방법을 포화된 설정으로 확장하여 포화된 비교 원리를 증명할 수 있는가?
• RQ5 quasi-plurisubharmonic 함수는 앰플러 국소에서 연속적인 $ \omega $-psh 함수로 근사될 수 있는가?

주요 결과

• 잘못된 국소화 추론을 대체하기 위해 정교한 점근 해 방법을 사용하여, 앰플러 국소에서 비교 원리가 엄밀하게 확립되었다.
• 탈선성 복소 Monge-Ampère 방정식의 점근 해는 존재하고 유일하며, 연속성은 오직 앰플러 국소에서 보장된다.
• Perron 방법으로 구성된 해는 $ X $ 에서 유계이며 $ \mathrm{Amp}\{\omega\} $ 에서 연속적이지만, 전역 연속성은 확립되지 않았다.
• 페널티와 최대 원리 접근법을 통해 핵심 부등식 $ e^{u(0)}\tilde{\mu}(0) \leq e^{v(0)}\tilde{\nu}(0) $ 가 도출되었다.
• 이 방법은 포화된 설정에 적용 가능하며, 앰플러 국소에서의 포화된 비교 원리에 대한 대안적 증명을 제공한다.
• quasi-psh 함수를 앰플러 국소에서 연속적인 $ \omega $-psh 함수로의 근사는 유효하지만, 전역 연속성은 여전히 열린 문제이다.