[논문 리뷰] Space of Kähler metrics (V)-- Kähler quantization

Xiuxiong Chen, Song Sun|arXiv (Cornell University)|2009. 02. 24.

Geometry and complex manifolds참고 문헌 19인용 수 13

한 줄 요약

이 논문은 복소다양체 위의 편포된 켈러 다양체에서 켈러 메트릭의 무한차원 공간 $\mathcal{H}$ 가 선형선다중체 $L^k$ 의 헬름하르트 섹션과 관련된 유한차원 대칭공간 $\mathcal{B}_k$ 의 약한 그로모프-하우스도르프 극한임을 규명한다. 거리의 기하적 수렴은 $k^{-(n+2)/2}$ 스케일링을 통해 이루어지며, 핵심 결과는 $\lim_{k\to\infty} k^{-(n+2)/2} d_{\mathcal{B}_k}(\text{Hilb}_k(\phi_0),\text{Hilb}_k(\phi_1)) = d_{\mathcal{H}}(\phi_0,\phi_1)$ 이다. 이는 켈러 기하학의 기하적 양자화 프레임워크를 제공한다.

ABSTRACT

We prove the convergence of geodesic distance during the quantization of the space of Kähler potentials. As applications, this provides alternative proofs of certain inequalities about the K-energy functional in the projective case.

연구 동기 및 목표

• 무한차원 켈러 메트릭 공간 $\mathcal{H}$ 와 유한차원 대칭공간 $\mathcal{B}_k$ 를 연결하는 기하적 양자화 프레임워크를 수립하기 위해.
• 특정 스케일링 하에서 $\mathcal{H}$ 가 $\mathcal{B}_k$ 의 약한 그로모프-하우스도르프 극한임을 증명함으로써 기하적 양자화의 고전적 극한을 정당화하기 위해.
• $\mathcal{H}$ 의 알려진 성질(예: 음의 곡률)을 $\mathcal{B}_k$ 를 통한 근사로 기하학적으로 증명하기 위해.
• $\mathcal{H}$ 와 $\mathcal{B}_k$ 사이의 기하적 대상(특히 지오데식선과 각도)이 큰 $k$ 근처에서 수렴하는지 조사하기 위해.

제안 방법

• $\mathcal{H}$ 를 $2\pi c_1(L)$ 내의 켈러 포텐셜의 공간으로 정의하고, Weil-Petersson $L^2$ 메트릭을 부여함으로써 음의 곡률을 가진 무한차원 대칭공간으로 만든다.
• $\mathcal{B}_k$ 를 $H^0(X, L^k)$ 위의 정정적 헬름하르트 형식의 공간으로 정의하며, $GL(N_k;\mathbb{C})/U(N_k)$ 와 미분동형이므로 음의 곡률을 가진 비유계형 대칭공간이다.
• $\mathcal{H}$ 와 $\mathcal{B}_k$ 를 연결하기 위해 Hilbert 사상 $\text{Hilb}_k: \mathcal{H} \to \mathcal{B}_k$ 와 Fubini-Study 사상 $\text{FS}_k: \mathcal{B}_k \to \mathcal{H}$ 를 도입하여 유한차원 근사를 통해 두 공간을 연결한다.
• 베르그만 커널의 渐近 분석과 Tian의 피크 섹션 방법을 사용하여, $\mathcal{B}_k$ 의 지오데식 거리가 $k^{-(n+2)/2}$ 스케일링 하에서 $\mathcal{H}$ 의 거리로 수렴함을 증명한다.
• $C^l$-콤���트 이웃에서 균일 수렴을 확보함으로써, $\mathcal{H}$ 의 세 점 간의 각도 수렴을 이끌어낸다.
• 이 수렴 결과를 응용하여, 예를 들어 Alexandrov 기하학을 통한 $\mathcal{H}$ 의 음의 곡률 및 Calabi 유동의 거리 감소 성질과 같은 기하학적 결과를 유도한다.

실험 결과

연구 질문

• RQ1 무한차원 켈러 메트릭 공간 $\mathcal{H}$ 는 적절한 스케일링 하에서 유한차원 대칭공간 $\mathcal{B}_k$ 의 극한으로 나타나는가?
• RQ2 $k \to \infty$ 일 때, $\mathcal{H}$ 의 지오데식 거리는 스케일링된 $\mathcal{B}_k$ 의 지오데식 거리로 근사 가능한가?
• RQ3 $\mathcal{H}$ 와 $\mathcal{B}_k$ 의 점들 사이의 거리 및 각도 수렴이 $\mathcal{H}$ 가 $\mathcal{B}_k$ 의 음의 곡률을 상속함을 의미하는가?
• RQ4 $\mathcal{H}$ 의 Calabi 유동은 $\mathcal{B}_k$ 의 균형 유동으로 근사될 수 있으며, 이는 장기 존재성과 수렴성을 암시하는가?
• RQ5 $\partial\mathcal{H}$ 의 구조는 무엇이며, 이는 $\mathcal{B}_k$ 가 무한대에서의 점근 기하학과 어떻게 관련되는가?

주요 결과

• $\mathcal{B}_k$ 의 지오데식 거리가 $k^{-(n+2)/2}$ 스케일링 하에서 $\mathcal{H}$ 의 거리로 수렴하며, $\lim_{k\to\infty} k^{-(n+2)/2} d_{\mathcal{B}_k}(\text{Hilb}_k(\phi_0),\text{Hilb}_k(\phi_1)) = d_{\mathcal{H}}(\phi_0,\phi_1)$ 이다.
• 거리 수렴은 세 점 간의 각도 수렴을 암시한다: $\lim_{k\to\infty} \angle H_{k,1}H_{k,2}H_{k,3} = \angle \phi_1\phi_2\phi_3$.
• Alexandrov 기하학적 관점에서 $\mathcal{H}$ 의 음의 곡률은 수렴의 결과로 복원되며, 이는 원래 분석적 방법으로 증명된 결과에 대해 기하학적 증명을 제공한다.
• Calabi 유동이 거리 감소 성질을 가진다는 것은 지오데식 거리 수렴과 음의 곡률 공간에서의 경로하강 유동의 성질을 응용하여 유도된다.
• $\mathcal{H}$ 의 $L^2$ 메트릭은 $\mathcal{B}_k$ 의 리만 메트릭이 지정된 스케일링 하에서 극한으로 나타나므로 자연스러운 메트릭이다.
• 충분히 큰 $l$ 에 대해 잠재함수들이 $C^l$-콤팩트 이웃에서 변할 경우 수렴은 균일하므로, 근사에 따른 기하학적 구조의 안정성이 보장된다.