[论文解读] Test configurations, large deviations and geodesic rays on toric varieties

Jian Song, Steve Zelditch|arXiv (Cornell University)|Dec 21, 2007

Geometry and complex manifolds参考文献 17被引用 9

一句话总结

该论文证明了由测试配置生成的环面代数簇上的测地射线为 $C^{1,1}$ 但非 $C^2$，并证明了 Bergman 近似在极限测地射线上具有 $C^1$ 收敛性。通过在矩多面体上定义测度，该研究将构造与大偏差理论联系起来，表明大偏差原理的速率函数通过 Varadhan 引理与测地射线势能相对应。

ABSTRACT

This article contains a detailed study, in the toric case, of the test configuration geodesic rays defined by Phong-Sturm. We show that the `Bergman approximations' of Phong-Sturm converge in C^1 to the geodesic ray and that the geodesic ray itself is C^{1,1} and no better. The \kahler metrics associated to the geodesic ray of potentials are discontinuous across certain hypersurfaces and are degenerate on certain open sets. A novelty in the analysis is the connection between Bergman metrics, Bergman kernels and the theory of large deviations.

研究动机与目标

• 分析通过 Phong-Sturm 方法从测试配置构造的环面代数簇上测地射线的正则性与收敛性质。
• 确立极限测地射线的 $C^{1,1}$ 正则性，并证明其非 $C^2$。
• 证明在环面代数簇的紧子集上，Bergman 测地射线 $\varphi_k(t,z)$ 以 $C^1$ 拓扑收敛于极限测地射线 $\psi_t$。
• 在环面情形下，建立 Bergman 度量、Bergman 核与大偏差理论之间全新的联系。
• 通过 Varadhan 引理，将矩多面体上大偏差原理的速率函数与测地射线势能联系起来。

提出的方法

• 在与环面测试配置相关的矩多面体 $P$ 上构造一族概率测度 $\mu_k^{z,t}$，其来源于 Bergman 核与时间倾斜权重。
• 应用大偏差理论，证明 $\mu_k^{z,t}$ 满足大偏差原理，其速率函数为 $I^{z,t}(x)$，该函数严格凸且在 $\mu_t(z)$ 处取最小值。
• 利用 Varadhan 引理，证明 Bergman 核的对数导数收敛于测地射线势能 $\psi_t$ 的梯度，从而建立 $C^1$ 收敛性。
• 依赖 Legendre 对偶与次微分微积分，将指标映射 $\mu_t(z)$ 与测地射线势能 $\psi_t$ 的 Legendre 变换联系起来。
• 利用一致 Laplace 原理与倾斜大偏差，控制 $\bar{P}$ 上连续函数的期望收敛性。
• 分析测地射线在无穷远除子 $\mathcal{D}$ 附近及环面子簇上的行为，表明相关 Kähler 度量 $\omega_t$ 在开集上退化。

实验结果

研究问题

• RQ1 与环面测试配置相关的测地射线 $\psi_t$ 属于何种正则类？
• RQ2 Bergman 测地射线 $\varphi_k(t,z)$ 如何收敛于极限测地射线 $\psi_t$？
• RQ3 在环面情形下，Bergman 核、指标映射与大偏差之间存在何种联系？
• RQ4 测地射线势能 $\psi_t$ 是否可作为某一大偏差原理的速率函数被重构？
• RQ5 Kähler 度量 $\omega_t = \omega_0 + i\partial\bar{\partial}\psi_t$ 在正性与退化性方面如何表现？

主要发现

• 测地射线 $\psi_t$ 在 $[0,L] \times M$ 上为 $C^{1,1}$，但非 $C^2$，确认了正则性界限的最优性。
• Bergman 近似 $\varphi_k(t,z)$ 在 $[0,L] \times M$ 的紧子集上以 $C^1$ 拓扑收敛于 $\psi_t$。
• Kähler 度量 $\omega_t = \omega_0 + i\partial\bar{\partial}\psi_t$ 为半正定，但在某些开子集上退化，满足 $\omega_t^m = 0$。
• 测度 $\mu_k^{z,t}$ 的大偏差原理的速率函数为 $I^{z,t}(x) = \Lambda^{z,t*}(x)$，即势能的时间倾斜 Legendre 变换的 Legendre 对偶。
• 指标映射 $\mu_t(z)$ 是 $\mu_k^{z,t}$ 的一阶矩的弱极限，且 $\mu_k^{z,t} \to \delta_{\mu_t(z)}$ 在分布意义下收敛。
• 对倾斜测度 $\mu_k^{z,t}$ 应用 Varadhan 引理，得到测地射线的 $C^1$ 收敛性，且具有统一的余项估计。