[论文解读] Convergence of Bergman geodesics on CP^1

Jian Song, Steve Zelditch|arXiv (Cornell University)|Mar 17, 2007

Geometry and complex manifolds参考文献 22被引用 14

一句话总结

该论文通过伯格曼度量的显式公式及其二阶导数的渐近分析，证明了在 $ℝ\mathbf{CP}^1$ 上，对于环面度量，伯格曼测地线以 $C^2$ 收敛于蒙日-安培测地线，关键结果为伯格曼核对角线的归一化对数在 $C^2$ 范数下收敛于零，从而推出曲率与矩映射的收敛性。

ABSTRACT

The space of positively curved hermitian metrics on a positive holomorphic line bundle over a compact complex manifold is an infinite-dimensional symmetric space. It is shown by Phong and Sturm that geodesics in this space can be uniformly approximated by geodesics in the finite dimensional spaces of Bergman metrics. We prove a stronger C^2-approximation in the special case of toric (i.e. S^1-invariant) metrics on CP^1.

研究动机与目标

• 研究在 $ℝ\mathbf{CP}^1$ 上线丛的正曲率度量空间中，有限维伯格曼测地线向无限维蒙日-安培测地线的收敛性。
• 通过建立测地线沿 $K\ddot{a}hler$ 潜势的 $C^2$ 收敛，强化了先前的均匀收敛结果。
• 在典范度量问题的背景下，分析超越度量（属于 $\mathcal{H}$）对代数度量（属于 $\mathcal{H}_N$）的逼近。
• 探索伯格曼核延拓的零点分布与热力学极限下收敛阶之间的关系。

提出的方法

• 利用 $\mathbf{CP}^1$ 上全纯截面空间 $H^0(\mathcal{O}(N))$ 的正交基，给出伯格曼测地线的 $K\ddot{a}hler$ 潜势 $\varphi_N(t,z)$ 的显式公式。
• 通过分析 $\frac{1}{N}\log\mathcal{E}_N(t,z)$ 的二阶时间导数（其中 $\mathcal{E}_N(t,z)$ 为伯格曼核的对角线），研究 $C^2$ 收敛性。
• 对邻域 $B_x(\delta)$ 内的格点 $\alpha, \beta$ 的和进行渐近分析，使用离散导数 $\frac{v(\alpha)-v(\beta)}{\alpha - \beta}$ 作为 $v'(x)$ 的代理。
• 将二阶导数分解为三项 $I_1^N, I_2^N, I_3^N$，并证明当 $N \to \infty$ 时，$I_1^N \to \frac{\partial^2}{\partial t^2}u_t(z)$，而 $I_2^N, I_3^N \to 0$。
• 利用关系式 $\varphi_N(t,\cdot) - \varphi_t(\cdot) = \frac{1}{N}\log\mathcal{E}_N(t,\cdot)$，得出潜势的 $C^2$ 收敛性。
• 在环面情形下应用勒让德变换与线性化技术，利用环面情形下对称空间的平坦性。

实验结果

研究问题

• RQ1 当 $N \to \infty$ 时，伯格曼测地线与蒙日-安培测地线之间差值的 $C^2$ 范数是否趋于零？
• RQ2 伯格曼核延拓的复零点分布如何影响 $C^2$ 收敛的速率？
• RQ3 伯格曼测地线能否被解释为一个托普利茨算子或其贝瑞辛符号？这对渐近分析有何含义？
• RQ4 潜势的 $C^2$ 收敛在多大程度上能推出测地线沿曲率与矩映射的收敛？

主要发现

• 归一化后的伯格曼核对角线 $\frac{1}{N}\log\mathcal{E}_N(t,z)$ 在 $N \to \infty$ 时以 $C^2$ 范数收敛于零。
• $\frac{1}{N}\log\mathcal{E}_N(t,z)$ 的二阶时间导数一致收敛于零，证实了测地线潜势的 $C^2$ 收敛性。
• $\frac{1}{N}\log\mathcal{E}_N(t,z)$ 的混合空间-时间导数也一致收敛于零，支持了 $C^2$ 收敛结果。
• 项 $I_1^N(t,z)$ 收敛于 $\frac{\partial^2}{\partial t^2}u_t(z)$，即极限蒙日-安培测地线的二阶时间导数。
• $I_2^N(t,z)$ 与 $I_3^N(t,z)$ 在极限下消失，表明其对二阶导数的主导阶无贡献。
• 因此，$\varphi_N(t,\cdot) - \varphi_t(\cdot) = \frac{1}{N}\log\mathcal{E}_N(t,\cdot)$ 以 $C^2$ 范数收敛于零，从而证明了主定理。