[논문 리뷰] On the Regularity of Geodesics in the Space of Kähler Metrics

Jianchun Chu, Valentino Tosatti외 1명|arXiv (Cornell University)|2017. 12. 01.

Geometry and complex manifolds참고 문헌 30인용 수 12

한 줄 요약

이 논문은 컴acts한 켈러 다양체 위의 임의의 두 켈러 포텐셜 사이에 $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}$ 정규성을 증명함으로써 무한차원 켈러 기하학에서 지오데식 경로의 이해를 확장하는 것.

제안 방법

• 비퇴화된 복소 몽에-암페르 방정식의 해에 대해 사전 내부 실 헤시안 경계를 도출하는 것.
• 켈러 메트릭 공간의 지오데식 방정식 맥락에서 이 경계를 적용하여 $C^{1,1}$ 정규성을 중점적으로 다루는 것.
• 타원형 PDE 이론과 복소 기하학 기법을 사용하여 지오데식을 따라 켈러 포텐셜의 이阶 도함수를 제어하는 것.
• 해의 우변의 하한에 관계없이 도메인 내부 전역에서 경계를 균일하게 확립하는 것.
• 최대 원리 추론과 복소 몽에-암페르 방정식 해의 헤시안에 대한 정교한 추정을 기반으로 하는 것.
• 유도된 정규성 제어를 사용하여 임의의 두 켈러 포텐셜 사이에 지오데식 세그먼트를 구성하는 것.

실험 결과

연구 질문

• RQ1 콤팩트 켈러 다양체 위의 임의의 두 켈러 포텐셜 사이의 지오데식 세그먼트가 $C^{1,1}$ 정규성을 갖는다고 증명할 수 있는가?
• RQ2 복소 몽에-암페르 방정식의 해에 대해 우변에 양의 하한이 없더라도 사전 실 헤시안 경계를 도출할 수 있는가?
• RQ3 그러한 하한이 없는 조건이 켈러 메트릭 공간에서 지오데식의 정규성에 영향을 미치는가?
• RQ4 내재된 기하학적 및 분석적 도구를 사용하여 자료에 대한 제약 조건을 최소화한 상태에서 지오데식의 정규성을 확립할 수 있는가?
• RQ5 내부 헤시안 추정은 무한차원 켈러 다양체에서 지오데식의 거동을 제어하는 데 어떤 역할을 하는가?

주요 결과

• 콤팩트 켈러 다양체 위의 임의의 두 켈러 포텐셜은 $C^{1,1}$ 정규성을 갖는 지오데식 세그먼트로 연결될 수 있다.
• 비퇴화된 복소 몽에-암페르 방정식의 해에 대해 사전 내부 실 헤시안 경계가 확립되었다.
• 이 경계는 방정식의 우변에 양의 하한이 필요로 하지 않으며, 이는 핵심적인 신규성이다.
• 이 경계는 지오데식을 따라 켈러 포텐셜의 이阶 도함수에 대해 균일한 제어를 보장한다.
• 결과적으로, 우변의 크기와 관계없이 켈러 메트릭 공간의 지오데식은 $C^{1,1}$ 위상에서 잘 행동함을 시사한다.
• 이 방법은 곡률이나 체적 형식에 대한 제약 조건 없이 켈러 기하학에서 지오데식 경로를 분석하는 데 강력한 프레임워크를 제공한다.