[논문 리뷰] Bergman metrics and geodesics in the space of Kähler metrics on toric varieties

Jian Song, Steve Zelditch|arXiv (Cornell University)|2007. 07. 20.

Geometry and complex manifolds참고 문헌 32인용 수 40

한 줄 요약

이 논문은 토릭 다양체 위의 켈러 메트릭 공간에서 Bergman 지오데식이 몽체-암페르 지오데식으로 향하는 $C^2$-정규성과 수렴성을 확립한다. Bergman-Szegö 핵의 점근적 분석과 미로로컬 방법을 사용하여, 유한차원 Bergman 메트릭 공간 $\tau_k$ 내의 지오데식이 무한차원 $\tau$-지오데식으로 $C^2(A \times X)$ 위상에서 수렴함을 증명하며, 토릭 다양체에 대한 켈러 기하학에서 핵심적인 근사 문제를 해결한다.

ABSTRACT

Geodesics on the infinite dimensional symmetric space $\hcal$ of Kähler metrics in a fixed Kähler class on a projective Kähler manifold X are solutions of a homogeneous complex Monge-Ampère equation in $X imes A$, where $A \subset \C$ is an annulus. They are analogues of 1PS (one-parameter subgroups) on symmetric spaces $G_{\C}/G$. Donaldson, Arezzo-Tian and Phong-Sturm raised the question whether Monge-Ampère geodesics can be approximated by 1PS geodesics in the symmetric spaces of Bergman metrics. Phong-Sturm proved weak C^0 convergence of Bergman to Monge-Ampère geodesics on a general \kahler manifold. In this article we prove convergence in $C^2(A imes X)$ in the case of toric Kähler metrics, extending our earlier result on $\CP^1$.

연구 동기 및 목표

• 무한차원 켈러 메트릭 공간 $\mathcal{H}$ 내에서 지오데식의 끝점 문제를 해결하기 위해 $\mathcal{H}$-지오데식을 유한차원 공간 $\mathcal{B}_k$ 내의 지오데식으로 근사하는 것.
• 토릭 설정에서 Bergman 지오데식이 몽체-암페르 지오데식으로 $C^2(A \times X)$ 수렴함을 확립하여 이전의 $C^0$-수렴 결과를 확장하는 것.
• 토릭 다양체에서 Bergman-Szegö 핵과 그 도함수에 대한 점근적 추정을 개발하여 정규성과 수렴성 분석을 가능하게 하는 것.
• 유한차원 대칭 공간 $\mathcal{B}_k$를 통한 $\mathcal{H}$ 상의 전역 기하 대상(예: 지오데식과 조화 사상 등)의 근사에 대한 엄밀한 기초를 마련하는 것.

제안 방법

• Bargmann-Fock 및 Fubini-Study 모델에서 토릭 Bergman-Szeg€ö 핵 $\mathcal{P}_{h^k}$ 와 $\mathcal{Q}_{h^k}$ 의 점근 전개를 사용하여 메트릭 근사 분석을 수행한다.
• 미로로컬 분석과 복소 정적위상 방법을 적용하여 내부 및 경계 영역에서 $\mathcal{P}_{h^k}(\alpha)$ 와 그 도함수의 공동 점근적 성질를 도출한다.
• 모멘트 다각형 $P$ 내의 격자점 합에 대한 오차 항을 제어하기 위해 국소화 기법과 위상 함수 분석을 활용한다.
• $\mathcal{B}_k$ 와 $\mathcal{H}$ 간의 지오데식 방정식 차이를 추정하기 위해 $\mathcal{P}_{h^k}$ 와 $\mathcal{R}_k$ 의 도함수에 대한 균일한 경계를 유도한다.
• 시간 도함수 간의 관계를 기술하는 항등식 $\frac{\mathcal{T}'}{\mathcal{T}} = -\frac{\mathcal{P}'}{\mathcal{P}} + k(u_1 - u_0)(\alpha/k)$ 을 사용하여 메트릭의 시간 도함수를 제어하고 $C^2$-노름을 제어한다.
• 레마 1.3 과 레마 4.5(3) 을 적용하여 오차 항을 $k^{-1/3 + \delta}$ 와 $k^{-1/2 + \delta}$ 의 순서로 유 bounds 하여 수렴성을 보장한다.

실험 결과

연구 질문

• RQ1 토릭 다양체에서 고정된 끝점을 가진 $\mathcal{H}$-지오데식은 $C^2$ 위상에서 $\mathcal{B}_k$-지오데식으로 근사될 수 있는가?
• RQ2 Bergman 지오데식이 켈러 메트릭 공간에서 몽체-암페르 지오데식으로 수렴하는 속도와 성격은 어떠한가?
• RQ3 모멘트 다각형의 경계 근처에서 Bergman-Szeg€ö 핵의 도함수는 어떻게 행동하며, 지오데식 근사에 어떤 영향을 미치는가?
• RQ4 유한차원 $\mathcal{B}_k$ 공간의 리만 기하학적 성질과 지오데식 구조는 무한차원 $\mathcal{H}$ 공간을 어느 정도 근사하는가?

주요 결과

• 논문은 토릭 켈러 다양체에서 Bergman 지오데식이 몽체-암페르 지오데식으로 $C^2(A \times X)$ 수렴함을 확립하여 이전의 $C^0$-수렴 결과를 확장한다.
• 지오데식 근사의 오차 항은 $O(k^{-1/3 + \delta})$ 와 $O(k^{-1/2 + \delta})$ 로 유계화되며, 충분히 작은 $\delta > 0$ 에 대해 감소함을 보인다.
• 핵의 점근적 성질에 의한 주요 항 상쇄 이후, 지오데식의 두 번째 시간 도함수의 근사는 오차 $O(k^{-1/3 + \delta})$ 로 근사된다.
• 내부 및 경계 영역(모서리 및 혼합 경계 영역 포함)에서 $\mathcal{P}_{h^k}(\alpha)$ 의 점근 전개가 유도되었으며, 도함수에 대한 균일한 제어가 이루어졌다.
• $\frac{\mathcal{T}'}{\mathcal{T}}$ 는 $O(1)$ 경계를 만족함이 입증되어 지오데식 방정식 내 시간 도함수 항의 제어가 가능하다.
• 이 방법은 $\mathcal{B}_k$-지오데식과 $\mathcal{H}$-지오데식 간의 차이의 $C^2$-노름이 $k \to \infty$ 일 때 감소함을 확인하여 근사의 타당성을 검증한다.