[论文解读] Bergman metrics and geodesics in the space of Kähler metrics on toric varieties

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

Geometry and complex manifolds参考文献 32被引用 40

一句话总结

该论文在toric流形的Kähler度量空间中建立了Bergman测地线的$C^2$-正则性及其收敛性，证明其收敛于Monge-Ampère测地线。通过Bergman-Szeg€¶核的渐近分析与微局部方法，证明了有限维Bergman度量空间$\tau_k$中的测地线在$C^2(A \times X)$拓扑下收敛于无限维$\tau$-测地线，从而解决了toric流形Kähler几何中的一个关键逼近问题。

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{B}_k$中的有限维测地线逼近$\mathcal{H}$中的无限维测地线，解决Kähler度量空间中测地线的端点问题。
• 在toric情形下建立Bergman测地线对Monge-Ampère测地线的$C^2(A \times X)$收敛性，扩展先前的$C^0$-收敛结果。
• 在toric流形上推导Bergman-Szeg€¶核及其导数的渐近估计，为正则性与收敛性分析提供支持。
• 为通过有限维对称空间$\mathcal{B}_k$逼近$\mathcal{H}$上的全局几何对象（如测地线与调和映射）提供严格的理论基础。

提出的方法

• 利用Bargmann-Fock模型与Fubini-Study模型中toric Bergman-Szeg€¶核$\mathcal{P}_{h^k}$与$\mathcal{Q}_{h^k}$的渐近展开，分析度量逼近。
• 应用微局部分析与复平稳相位方法，推导$\mathcal{P}_{h^k}(\alpha)$及其导数在内部与边界区域的联合渐近行为。
• 采用局部化技术与相位函数分析，控制在多面体$P$的格点上求和时的误差项。
• 推导$\mathcal{P}_{h^k}$与$\mathcal{R}_k$导数的统一有界性，以估计$\mathcal{B}_k$与$\mathcal{H}$中测地线方程的差异。
• 利用恒等式$\frac{\mathcal{T}'}{\mathcal{T}} = -\frac{\mathcal{P}'}{\mathcal{P}} + k(u_1 - u_0)(\alpha/k)$关联度量的时间导数，控制$C^2$-范数。
• 应用引理1.3与引理4.5(3)，将误差项控制在$O(k^{-1/3 + \delta})$与$O(k^{-1/2 + \delta})$，确保收敛性。

实验结果

研究问题

• RQ1 在toric流形上，$\mathcal{H}$-测地线在固定端点条件下能否通过$\mathcal{B}_k$-测地线在$C^2$拓扑下逼近？
• RQ2 Bergman测地线在Kähler度量空间中收敛于Monge-Ampère测地线的速率与性质为何？
• RQ3 Bergman-Szeg€¶核的导数在多面体边界附近的行为如何？其对测地线逼近有何影响？
• RQ4 有限维$\mathcal{B}_k$空间的Riemann几何与测地线结构在多大程度上逼近无限维$\mathcal{H}$空间？

主要发现

• 论文在toric Kähler流形上建立了Bergman测地线对Monge-Ampère测地线的$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$而衰减，验证了逼近的有效性。