[논문 리뷰] Constant $μ$-scalar curvature Kähler metric -- formulation and foundational results

Eiji Inoue|arXiv (Cornell University)|2019. 02. 02.

Geometry and complex manifolds참고 문헌 8인용 수 7

한 줄 요약

이 논문은 $\mu$-스칼라 곡률을 통해 일정 스칼라 곡률 켈러(cscK) 메트릭과 켈러-리치 솔리톤을 통합하는 프레임워크를 제안한다. 이는 모멘트 맵 구성에 의해 두 개념을 일반화한 것으로, 기본 결과로 새로운 $\mu$-K-에너지 함수와 $\mu$-체적 함수를 도입하고, $\mathbb{C}P^1$ 및 $\mathbb{P}_{\Sigma}(L\oplus\mathcal{O})$에서 $\lambda \geq 0$인 $\mu^\lambda$-cscK 메트릭의 존재를 증명하며, 켈러-리치 솔리톤에서 외부 메트릭으로 연결되는 연속 경로를 구축한다.

ABSTRACT

We introduce mu-scalar curvature for a K"ahler metric with a moment map mu and start up a study on constant mu-scalar curvature K"ahler metric as a generalization of both cscK metric and K"ahler-Ricci soliton and as a continuity path to extremal metric. We study some fundamental constraints to the existence of constant mu-scalar curvature K"ahler metric by investigating a volume functional as a generalization of Tian-Zhu's work, which is closely related to Perelman's W-functional. A new K-energy is studied as an approach to the uniqueness problem of constant mu-scalar curvature and as a prelude to new K-stability concept.

연구 동기 및 목표

• 일정 스칼라 곡률 켈러(cscK) 메트릭과 켈러-리치 솔리톤을 $\mu$-스칼라 곡률을 통해 통합된 기하학적 프레임워크로 일반화한다.
• 일반화된 $\mu$-cscK 메트릭의 유일성 문제를 다루기 위해 새로운 $\mu$-K-에너지 함수를 제안한다.
• $\mu$-cscK 메트릭 존재 제약 조건을 위한 도구로 $\mu$-체적 함수를 도입하고, $\mu$-K-안정성의 전조로 삼는다.
• $\mu$-cscK 메트릭에서 외부 메트릭으로 향하는 연속 경로를 구성하여 켈러-리치 솔리톤과 cscK 메트릭을 연결한다.

제안 방법

• $\theta$가 헬로모르픽 벡터장 $\xi^J$에 대한 $\bar{\partial}$-해밀토니안 퍼텐셜일 때, $\mu$-스칼라 곡률 $s_\xi(\omega)$를 $s(\omega) + \Box\bar\theta + (\Box\bar\theta - \xi^J\theta)$로 정의한다.
• 도널드슨-후지키의 모멘트 맵 그림을 활용하여, $\mu$-스칼라 곡률을 배크리-에머리 곡률의 복소수 버전의 추적으로 해석한다.
• 티엔-주 함수의 변형을 도입하여, $\mu$-cscK 메트릭 존재 제약 조건을 유도한다. 이는 페렐만의 $\mathcal{W}$-함수와 밀접하게 관련되어 있다.
• 켈러 포텐셜의 공간에 새로운 $\mu$-K-에너지 함수를 정의하고, $C^{1,1}$-정규성으로까지 확장하여 유일성 문제를 연구하는 데 사용한다.
• $\varphi_\chi$가 $\varphi'(-m) = 1$ 및 경계 조건을 만족하는 ODE 분석을 통해 $\mathbb{C}P^1$ 및 $\mathbb{P}_\Sigma(L\oplus\mathcal{O})$에서 명시적 해를 구성한다.
• $\mathbb{C}P^2\#\overline{\mathbb{C}P^2}$에서 $\lambda \to -\infty$(외부 메트릭)에서 $\lambda \to 0^+$(켈러-리치 솔리톤)로 향하는 $\mu^\lambda$-cscK 메트릭의 연속 경로를 제시한다.

실험 결과

연구 질문

• RQ1 Can $\mu$-scalar curvature unify cscK metrics and Kähler-Ricci solitons within a single geometric framework?
• RQ2 What are the necessary constraints on the existence of $\mu$-cscK metrics, and how do they relate to volume functionals and curvature invariants?
• RQ3 How can a continuity path be constructed between Kähler-Ricci solitons and extremal metrics via $\mu$-cscK metrics?
• RQ4 What is the role of the $\mu$-K-energy functional in the uniqueness problem of $\mu$-cscK metrics?
• RQ5 Can $\mu$-cscK metrics be explicitly constructed on toric or projective bundles, and what is their behavior under parameter variation?

주요 결과

• The $\mu$-scalar curvature $s_\xi(\omega)$ is defined as $s(\omega) + \Box\bar\theta + (\Box\bar\theta - \xi^J\theta)$, where $\theta$ is a $\bar{\partial}$-Hamiltonian potential, generalizing both cscK and Kähler-Ricci soliton conditions.
• For $X = \mathbb{C}P^1$, $\mu^\lambda$-cscK metrics exist in the Kähler class $2\pi(F + mB)$ for all $\lambda > \lambda_{\text{freeze}}$, and are not cscK when $\lambda > 0$, showing non-triviality of the construction.
• On $\mathbb{P}_\Sigma(L\oplus\mathcal{O})$, $\mu^\lambda$-cscK metrics exist for all $\lambda \geq 0$, and the family forms a continuous path from $\mu^0$-cscK to extremal metrics as $\lambda \to -\infty$, connecting Kähler-Ricci solitons.
• The $\mu$-volume functional is proper for $\lambda > 0$, and its second variation formula provides constraints on the existence of $\mu$-cscK metrics.
• The $\mu$-K-energy functional is well-defined on $C^{1,1}$-potentials and provides a tool for studying uniqueness of $\mu$-cscK metrics.
• For $X = \mathbb{C}P^2\#\overline{\mathbb{C}P^2}$, $\mu^\lambda$-cscK metrics exist for $\lambda \in (-\infty, 0)$, with $\lambda \to -\infty$ yielding extremal metrics and $\lambda \to 0^+$ yielding the $\mu^0$-cscK metric, confirming a continuity path between Kähler-Ricci solitons and extremal metrics.