[논문 리뷰] Regularity of A Complex Monge-Ampère Equation on Hermitian Manifolds

Xiaolan Nie|arXiv (Cornell University)|2013. 11. 18.

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

한 줄 요약

이 논문은 밀도 조건이 해결책의 안정성을 보장하는 배경 미터릭 조건 하에서, 컴팩트 헤르미트 다양체 위에서 복소 몽에-아프레 방정식의 유계한 $\tilde{\omega}$-다중하모닉 해의 매끄러움을 확립한다. 포물선 흐름 추정을 확장하고 최대 원리를 적용하여, 약한 해가 매끄럽다는 것을 증명하며, 슈에켈리히디와 토사티의 카일러 기하학 결과를 헤르미트 기하학으로 일반화한다.

ABSTRACT

We obtain higher order estimates for a parabolic flow on a compact Hermitian manifold. As an application, we prove that a bounded $\hatω$-plurisubharmonic solution of an elliptic complex Monge-Ampère equation is smooth under an assumption on the background Hermitian metric $\hatω$. This generalizes a result of Székelyhidi and Tosatti on Kähler manifolds.

연구 동기 및 목표

• 카일러 다양체에서의 슈에켈리히디와 토사티의 정규성 결과를 컴팩트 헤르미트 다양체로 확장한다.
• 헤르미트 다양체 위에서 복소 몽에-아프레 방정식과 관련된 포물선 흐름에 대한 고차 추정을 수립한다.
• 해결책의 안정성을 보장하는 조건이 만족될 경우, 타원형 복소 몽에-아프레 방정식의 유계한 약한 해가 매끄럽다는 것을 증명한다.
• 타원형 흐름의 매끄러움 성질을 비카일러 설정으로 일반화하여, 헤르미트 기하학의 토르션 항을 고려한다.
• 복소 표면에서 특이 Gauduchon 미터릭을 갖는 약한 해를 통해 크란-리치 흐름을 확장하기 위한 기초를 마련한다.

제안 방법

• 컴팩트 헤르미트 다양체 위에서 $\frac{\partial\varphi}{\partial t} = \log\frac{(\hat{\omega}+\sqrt{-1}\partial\bar{\partial}\varphi)^n}{\hat{\omega}^n} + F(\varphi,z)$ 의 진화 방정식을 분석하여, 슈에켈리히디와 토사티의 포물선 흐름 접근법을 적응한다.
• 최대 원리를 적용하여 포물선 흐름의 단기 존재성과 $C^0$ 추정을 도출하며, 시간 범위는 $\sup|\varphi_0|$와 $\sup|\dot{\varphi}_0|$에만 의존한다.
• 길, 토사티-바이엔코브, 폰드-시엠-슈트룸의 기법을 적응하여 $C^2$, $C^3$, 및 $|\operatorname{Ric}|$ 추정을 수립하며, 헤르미트 기하학의 토르션 항을 신중히 다룬다.
• 포물선 샤페르 추정을 사용하여 $t \in [\epsilon, T']$ 에서 $\dot{\varphi}$ 및 $\varphi_k, \varphi_{\bar{k}}$ 에 대한 $C^{2+\alpha,1+\alpha/2}$ 추정을 확보하고, 반복하여 모든 고차 추정을 확보한다.
• 유계한 $\omega$-다중하모닉 함수에 대해 $\int_M (\hat{\omega}+\sqrt{-1}\partial\bar{\partial}u)^n = \int_M \hat{\omega}^n$ 이라는 조건 하에서 코로지에의 안정성 결과를 적용하여 해의 유일성과 연속성을 확보한다.
• 약한 해 $\phi$ 에 대한 매끄러운 근사화 $\psi_j$ 를 구성하고, 이를 포물선 흐름을 통해 진화시킨다. 그 결과, 극한 $\beta(t,z) = \lim \varphi_j$ 가 $t > 0$ 에서 $\dot{\beta}(t) = 0$ 을 만족함을 보이며, 이는 $\beta(t) = \beta(0)$ 이 매끄럽다는 것을 의미하므로 $\phi = \beta(0)$ 도 매끄럽다.

실험 결과

연구 질문

• RQ1 카일러 다양체에서 복소 몽에-아프레 방정식의 약한 해에 대한 정규성 결과를 컴팩트 헤르미트 다양체로 확장할 수 있는가?
• RQ2 헤르미트 미터릭 $\hat{\omega}$ 가 어떤 조건을 만족해야 해의 안정성이 보장되어 정규성에 필요한가?
• RQ3 헤르미트 기하학의 토르션 항은 포물선 흐름의 고차 추정에 어떤 영향을 미치는가?
• RQ4 카일러 구조가 없는 상황에서 포물선 흐름 접근법을 사용하여 약한 해의 매끄러움을 증명할 수 있는가?
• RQ5 어떤 조건에서 특이 초기 자료를 갖는 약한 해를 통해 크란-리치 흐름이 특이 시점 이후로 연장될 수 있는가?

주요 결과

• 유계한 $\hat{\omega}$-다중하모닉 함수 $u$ 에 대해 $\int_M (\hat{\omega}+\sqrt{-1}\partial\bar{\partial}u)^n = \int_M \hat{\omega}^n$ 이 성립할 경우, 컴팩트 헤르미트 다양체 위에서 타원형 복소 몽에-아프레 방정식 $(\hat{\omega}+\sqrt{-1}\partial\bar{\partial}\phi)^n = e^{-F(\phi,z)}\hat{\omega}^n$ 의 유계한 약한 해 $\phi$ 는 매끄럽다.
• 포물선 흐름 $\frac{\partial\varphi}{\partial t} = \log\frac{(\hat{\omega}+\sqrt{-1}\partial\bar{\partial}\varphi)^n}{\hat{\omega}^n} + F(\varphi,z)$ 는 $\sup|\varphi_0|$와 $\sup|\dot{\varphi}_0|$ 에만 의존하는 $T>0$ 에 대해 $[0,T]$ 에서 매끄러운 해를 갖는다.
• 포물선 샤페르 추정을 통해 고차 추정을 확보하였으며, $t \to 0^+$ 에서는 추정 값이 발산하지만, 임의의 $\epsilon > 0$ 에 대해 $[\epsilon,T]$ 에서는 균일하다.
• 약한 해 $\phi$ 에 대한 매끄러운 근사화 $\psi_j$ 에서 시작하는 포물선 흐름의 극한은 $t > 0$ 에서 $\dot{\beta}(t) = 0$ 을 만족하며, 이는 $\beta(t) = \beta(0)$ 이 매끄럽다는 것을 의미하므로 $\phi = \beta(0)$ 도 매끄럽다.
• 예를 들어 $\partial\bar{\partial}\hat{\omega}^k = 0$ 이 $k=1,2$ 에 대해 성립할 경우, 즉 구안-리의 조건을 만족할 경우, 조건 $\int_M (\hat{\omega}+\sqrt{-1}\partial\bar{\partial}u)^n = \int_M \hat{\omega}^n$ 이 성립한다.
• 결과는 크란-리치 흐름이 한계 코어를 내림으로써 특이 시점 이후로 연장될 수 있음을 시사하며, 복소 표면에서의 비수축 흐름에 대한 토사티와 바이엔코브의 추측을 뒷받침한다.