[论文解读] Space of Kähler metrics (V)-- Kähler quantization

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

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{B}_k$ 的逼近，为 $\mathcal{H}$ 的已知性质（如非正曲率）提供几何证明。
• 研究在 $k$ 充分大时，$\mathcal{H}$ 与 $\mathcal{B}_k$ 之间几何对象（尤其是测地线与夹角）的收敛性。

提出的方法

• 将 $\mathcal{H}$ 定义为 $2\pi c_1(L)$ 中凯勒势的集合，配备韦伊-彼得松 $L^2$ 度量，使其成为非正曲率的无限维对称空间。
• 将 $\mathcal{B}_k$ 定义为 $H^0(X, L^k)$ 上正定赫米特形式的空间，微分同胚于 $GL(N_k;\mathbb{C})/U(N_k)$，为非紧类型对称空间。
• 利用希尔伯特映射 $\text{Hilb}_k: \mathcal{H} \to \mathcal{B}_k$ 与富比尼-斯图迪映射 $\text{FS}_k: \mathcal{B}_k \to \mathcal{H}$，通过有限维逼近关联两个空间。
• 利用伯格曼核的渐近分析与蒂安的峰值截面法，证明 $\mathcal{B}_k$ 中的测地线距离在缩放 $k^{-(n+2)/2}$ 下收敛于 $\mathcal{H}$ 中的距离。
• 在 $C^l$-紧邻域上建立一致收敛性，从而导出 $\mathcal{H}$ 中三点间夹角的收敛性。
• 将收敛性应用于推导几何结论，如通过亚历山大洛夫几何恢复 $\mathcal{H}$ 的非正曲率，以及卡巴拉流的距离递减性。

实验结果

研究问题

• 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}$ 上的卡巴拉流是否能通过 $\mathcal{B}_k$ 上的平衡流逼近？这是否意味着其长时间存在与收敛性？
• RQ5 边界 $\partial\mathcal{H}$ 的结构是什么？它与 $\mathcal{B}_k$ 在无穷远处的渐近几何有何关联？

主要发现

• 在缩放 $k^{-(n+2)/2}$ 下，$\mathcal{B}_k$ 中的测地线距离收敛于 $\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$。
• 在亚历山大洛夫意义下 $\mathcal{H}$ 的非正曲率作为收敛性的推论被恢复，从而为原本通过分析方法证明的结果提供了几何证明。
• 作为测地线距离收敛与非正曲率空间上梯度流距离递减性质的推论，$\mathcal{H}$ 上的卡巴拉流是距离递减的。
• $\mathcal{H}$ 上的 $L^2$ 度量是规范的，因为其作为在指定缩放下 $\mathcal{B}_k$ 上黎曼度量的极限而自然出现。
• 当势函数在足够大的 $l$ 下的 $C^l$-紧邻域内变化时，收敛性是一致的，从而确保了在逼近下几何结构的稳定性。