[논문 리뷰] Hölder continuity of solutions to the complex Monge-Ampère equation with the right hand side in L^p. The case of compact Kähler manifolds

Sławomir Kołodziej|ArXiv.org|2006. 11. 02.

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

한 줄 요약

이 논문은 컴팩트 카플러 다양체에서 오른쪽 항이 $f \in L^p(M)$ 인 경우, 복소 몽에-아프레 방정정식 $(\omega + dd^c u)^n = f\omega^n$ 의 해 $u$ 가 허더 연속임을 증명한다. 정규화 기법, 안정성 추정, 그리고 삼원환형 불등식을 사용하여, $p$, 다양체 $M$, $\|f\|_p$ 에 따라 달라지는 지수를 가진 허더 연속성을 입증한다. 이는 이전의 연속성 결과를 더 높은 정(regularity)으로 확장한다.

ABSTRACT

We prove that on compact Kähler manifolds solutions to the complex Monge-Ampère equation, with the the right hand side in $L^p, p>1,$ are Hölder continuous.

연구 동기 및 목표

• 컴팩트 카플러 다양체에서 오른쪽 항 $f$ 가 $L^p(M)$ 에 속할 때, $\omega$-다중하나형 해 $u$ 의 허더 연속성을 확립하는 것.
• 기존의 $f \in L^p$, $p > 1$ 에 대한 연속성 결과를 허더 연속성으로 확장하고, 정량적 모드의 연속성(모듈러스)를 제공하는 것.
• 특히 [GKZ]의 정규화 및 안정성 접근법을 엄격히 편평한 볼록 영역에서의 기법을 컴팩트 카플러 설정으로 적응시키는 것.
• 특이점이 부분다양체에 따라 발산할 수 있지만 $L^p$ 에 속하는 경우, 카플러-리치 흐름에서 발생하는 잠재력의 정규성을 다루는 것.

제안 방법

• 좌표 차트에서 국소 평균화를 통해 해 $u$ 를 정규화: $u_{j,\delta}(z) = \max_{|w|<\delta} u(z+w)$.
• 진동 감쇠를 추적하기 위해 보조 함수 $\chi(\delta) = \delta^{-\alpha} \max_j \max_z (u_{j,\delta} - u)(z)$ 와 $\eta(\delta) = \max_j \max_z (u_{j,C\delta} - u_{j,\delta})(z)$ 를 정의한다.
• 정규화된 해에 대한 비교 원리와 [K2]의 안정성 추정을 사용하여, 정규화된 해에 대해 $\|u - v\|_\infty$ 를 $\|f - g\|_1^{1/(n+3+\epsilon)}$ 로 유계화한다.
• 다양한 척도에서의 진동을 연결하기 위해 삼원환형 정리의 형태인 $u_{j,N\delta} - u_{j,\delta} \geq \frac{\log N}{\log C}(u_{j,C\delta} - u_{j,\delta})$ 를 적용한다.
• 자기 함수 $\rho_j$ 와 함께 정규화된 $u_{j,\delta}$ 를 조합하여 하위해 $u_\delta$ 를 구성하고, $dd^c u_\delta + \omega > 0$ 이 되도록 보장한다.
• 모순을 이끌기 위해 $\chi(\delta) > \max(9, \chi(N\delta))$ 를 가정하고, $f$ 가 효과적으로 0인 작은 측도의 집합 $E$ 를 도출하며, 비교 원리를 사용하여 몽에-아프레 측도의 양의 성질을 위반한다.

실험 결과

연구 질문

• RQ1 컴팩트 카플러 다양체에서 복소 몽에-아프레 방정식 $(\omega + dd^c u)^n = f\omega^n$ 의 해 $u$ 는 오른쪽 항 $f \in L^p(M)$ 이고 $p > 1$ 일 때 허더 연속이 되는가?
• RQ2 정규화된 해에 대한 안정성 추정 [K2]에서 $\|u - v\|_\infty$ 가 $\|f - g\|_1^{1/(n+3+\epsilon)}$ 로 제어됨을 이용하여 연속성에서 허더 연속성으로의 향상을 이룰 수 있는가?
• RQ3 허더 지수 $\alpha$ 는 $f$ 의 $L^p$ 노름, 다양체 $M$, 차원 $n$ 에 따라 어떻게 달라지는가?
• RQ4 엄격히 편평한 볼록 영역에서 사용된 정규화 및 진동 감쇠 기법을 컴팩트 카플러 설정으로 적응시킬 수 있는가?
• RQ5 한계 메트릭이 부분다양체에 따라 특이성을 띠지만 $f$ 가 여전히 $L^p$ 에 속할 경우, 카플러-리치 흐름에서의 잠재력의 정규성은 어떠한가?

주요 결과

• 오직 $f \in L^p(M)$ 이고 $p > 1$ 일 때, 복소 몽에-아프레 방정식의 해 $u$ 는 $p$, $M$, $\|f\|_p$ 에 따라 달라지는 허더 연속성을 가진다.
• 허더 지수 $\alpha$ 는 $\alpha < \frac{1}{q(n+3+\epsilon)+1}$ 를 만족하며, 여기서 $q$ 는 $p$ 의 허더 쌍대 노름이고 $\epsilon > 0$ 은 임의의 양수이다.
• 증명은 $\chi(\delta) > \max(9, \chi(N\delta))$ 를 가정하는 모순 추론에 기반하며, 이는 $f$ 가 효과적으로 0인 작고 측도가 작은 집합 $E$ 를 이끌어낸다.
• 집합 $E$ 의 측도는 $c_4 \delta^{1-\alpha}$ 로 유계화되며, 허더 부등식을 통해 $\int_E f \omega^n \leq c_5 \delta^{(1-\alpha)/q}$ 를 도출한다. 이는 안정성 추정에서 $L^1$ 차이를 제어한다.
• 모순은 비교 원리에서 발생한다: $\int_U (dd^c u_\delta + \omega)^n > 0$ 이지만 $\int_U (dd^c v + \omega)^n = \int_E g \omega^n = 0$ 이므로 몽에-아프레 측도의 양의 성질을 위반한다.
• 결과는 컴팩트 카플러 오비폴드로 확장 가능하며, 특이한 극한이 $L^p$ 에 속하는 프로젝티브 다양체에서의 카플러-리치 흐름 잠재력에 적용 가능하다.