[논문 리뷰] On the $C^{1,1}$ regularity of geodesics in the space of Kähler metrics

Jianchun Chu, Valentino Tosatti외 1명|arXiv (Cornell University)|2016. 11. 08.

Geometry and complex manifolds참고 문헌 17인용 수 6

한 줄 요약

이 논문은 임의의 컴act 켈러 다양체 위의 켈러 메트릭 공간에서 약한 지오데식선의 $C^{1,1}$ 정칙성을 확립한다. 이는 임의의 두 켈러 포텐셜이 $C^{1,1}$ 지오데식 선분으로 연결될 수 있음을 증명한다. 이 결과는 비퇴화된 복소 멩게-암페르 방정식의 해에 대한 새로운 내부 실헤시안 추정치로부터 유도되며, 이 추정치는 우측 항에 대한 하한에 의존하지 않는다. 이를 통해 약한 지오데식선을 정의하는 극한에서 균일한 통제를 가능하게 한다.

ABSTRACT

We prove that any two Kahler potentials on a compact Kahler manifold can be connected by a geodesic segment of C^{1,1} regularity. This follows from an a priori interior real Hessian bound for solutions of the nondegenerate complex Monge-Ampere equation, which is independent of a positive lower bound for the right hand side.

연구 동기 및 목표

• 곡률 또는 선다발 조건 없이 일반적으로 약한 지오데식선이 $C^{1,1}$ 정칙성을 갖는지 여부라는 열린 문제를 해결하는 것.
• 우측 항 함수 $F$에 대한 양의 하한이 없는, 비퇴화된 복소 멩게-암페르 방정식의 해에 대한 사전 내부 실헤시안 추정치를 확립하는 것.
• $\varepsilon$-지오데식 근사에 이 추정치를 적용하여 극한 지오데식선의 $C^{1,1}$ 정칙성을 증명하는 것.

제안 방법

• 우수한 보조 함수를 적절히 선택하여, $|\partial\varphi|_g^2$ 를 포함하는 보조 함수를 사용한 최대원리 접근을 통해 복소 멩게-암페르 방정식 $(\omega + \sqrt{-1}\partial\overline{\partial}\varphi)^n = e^F \omega^n$ 의 해 $\varphi$ 에 대한 새로운 내부 $C^{1,1}$ 추정치를 유도하는 것.
• $|\partial\varphi|_g^2$ 를 포함하는 시험 함수를 구성하고, 최대원리를 적용하여 내부 점에서의 실헤시안 $\nabla^2\varphi$ 를 통제하는 것.
• 추정치가 $\inf_M F$ 에 의존하지 않음을 이용하여, 지오데식 이론에서 나타나는 동차 복소 멩게-암페르 방정식에 적용할 수 있음을 활용하는 것.
• $\varepsilon$-지오데식 근사 $\Phi_\varepsilon$ 에 이 추정치를 적용하는 것. 이는 작은 양수 우측 항을 가진 비퇴화된 복소 멩게-암페르 방정식을 만족한다.
• $\Phi_\varepsilon$ 와 그 일阶 도함수에 대한 균일한 유계성(모든 $\varepsilon$ 에 대해 독립적)을 이용하여, $\varepsilon$ 에 대해 균일한 헤시안 추정치를 확보하는 것.
• $\varepsilon \to 0$ 의 극한을 취하여, 약한 지오데식선 $\Phi$ 가 유계인 실헤시안을 가지며, 따라서 $C^{1,1}(X \times \Sigma)$ 에 속함을 결론짓는 것.

실험 결과

연구 질문

• RQ1 곡률 또는 선다발 조건 없이 켈러 메트릭 공간 내 약한 지오데식선이 $C^{1,1}$ 정칙성을 갖는지 여부는 무엇인가?
• RQ2 우측 항 $e^F$ 가 0으로 퇴화될 때, 비퇴화된 복소 멩게-암페르 방정식의 해에 대한 내부 $C^{1,1}$ 추정치가 여전히 균일한가?
• RQ3 $\varepsilon$-지오데식 근사 $\Phi_\varepsilon$ 가 $\varepsilon$ 에 대해 독립적인 균일한 헤시안 유계성을 만족하는가?
• RQ4 균일한 헤시안 유계성에서 극한 근사를 통해 약한 지오데식선의 $C^{1,1}$ 정칙성을 유추할 수 있는가?
• RQ5 헤시안 유계성의 정확한 의존성은 $\|\varphi\|_{C^1}$, $\sup \Delta_g \varphi$, $\sup |\nabla F|_g$ 와 같은 기하학적 및 해석적 자료에 어떻게 나타나는가?

주요 결과

• 임의의 컴act 켈러 다양체 위의 두 켈러 포텐셜을 연결하는 약한 지오데식선 $\Phi$ 는 $C^{1,1}(X \times \Sigma)$ 에 속하며, 오랫동안 열려 있던 문제를 해결한다.
• 비퇴화된 복소 멩게-암페르 방정식 $(\omega + \sqrt{-1}\partial\overline{\partial}\varphi)^n = e^F \omega^n$ 의 해에 대한 내부 $C^{1,1}$ 추정치가 $\inf_M F$ 에 독립됨을 확립하였으며, 이는 핵심적인 신규성이다.
• $\varepsilon$-지오데식 근사 $\Phi_\varepsilon$ 에 대한 균일한 헤시안 유계성이 $\varepsilon$ 에 독립적임을 증명하였으며, 이는 극한에서의 균일한 통제를 보장한다.
• $\varepsilon \to 0$ 의 극한은 실헤시안이 $L^\infty$ 에서 유계인 약한 지오데식선 $\Phi$ 를 유도하며, 이는 $C^{1,1}$ 정칙성을 의미한다.
• 이전의 곡률 또는 선다발 조건 하에서의 결과를 일반화하고 단순화하며, 블록시와 베르만의 결과를 포함한다.
• 이 방법은 지오데식선의 정칙성 연구에 새로운 도구를 제공하며, [3] 및 [28] 등의 관련 연구에서의 결과를 단순화하거나 확장하는 데 사용될 수 있다.