[论文解读] Test configurations and Geodesic rays

Xiuxiong Chen, Yudong Tang|ArXiv.org|Jul 27, 2007

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

一句话总结

本文在紧致凯勒流形上的凯勒度量空间中，建立了代数几何中光滑测试配置与 $C^{1,1}$ 测地线射线之间的直接对应关系。通过总空间的几何结构与勒让德变换，证明了每个光滑测试配置均诱导出唯一的相对 $C^{1,1}$ 测地线射线，并表明在简单测试配置的情形下，广义福塔基不变量与 $\yen$ 不变量一致，从而通过测地线射线将代数稳定性与几何稳定性联系起来。

ABSTRACT

For smooth test configurations, there always exist C^{1,1} geodesic rays in Kahler metric space parallel to the algebraic ray. The $\yen$ invariant agrees with Futaki invariant, at least under nice assumptions. Explicit examples in Toric cases are calculated. On simple test configurations, Donaldson's correspondence between HCMA solution and holomorphic disc family is extended.

研究动机与目标

• 建立代数测试配置与凯勒度量空间中测地线射线之间的几何对应关系。
• 证明每个光滑测试配置均能从任意初始凯勒势诱导出一个相对 $C^{1,1}$ 测地线射线。
• 通过所诱导的测地线射线，将代数不变量（福塔基、$\yen$）与几何稳定性概念联系起来。
• 研究具有周期性叶状结构的测地线射线是否可被紧化为测试配置。
• 将该对应关系推广至环面退化情形，并证明所诱导的射线在多面体表示中对应于一个分段线性函数。

提出的方法

• 通过测试配置纤维上度量势的勒让德变换构造测地线射线。
• 利用 $C^{1,1}$ 正则性条件，确保二阶导数有界，并对测地线与代数势之间的差值施加一致有界性。
• 在简单测试配置上应用蒙日-安培方程，建立代数射线与几何射线之间的对应关系。
• 采用多面体表示法，将测地线射线描述为凸函数的线性插值。
• 在 $\mathbb{P}^4$ 的子曲面带有 $C^*$-作用的环面例子中进行显式计算，验证了 $C^{1,1}$ 射线。
• 证明差值 $h_t - h_{0,t}$ 一致有界，从而确认几何射线与代数射线平行。

实验结果

研究问题

• RQ1 每个光滑测试配置是否都能在凯勒势空间中诱导出一个相对 $C^{1,1}$ 测地线射线？
• RQ2 在测试配置的背景下，广义福塔基不变量在何种条件下与 $\yen$ 不变量一致？
• RQ3 是否可利用具有周期性叶状结构的测地线射线来构造一个测试配置？
• RQ4 环面退化所诱导的测地线射线是否等价于多面体表示中的分段线性函数 $f$？
• RQ5 何种几何条件可确保一条测地线射线与由测试配置诱导的代数射线平行？

主要发现

• 每个光滑测试配置均能从任意初始凯勒势诱导出唯一的相对 $C^{1,1}$ 测地线射线，且环境几何结构有界。
• 在简单测试配置的情形下，广义福塔基不变量与 $\yen$ 不变量一致，从而将代数稳定性与几何稳定性联系起来。
• 环面退化所诱导的测地线射线在多面体表示中对应于 $u = u_0 + t f$，其中 $f$ 为极值分段线性函数。
• 几何势 $h_t$ 与代数势 $h_{0,t}$ 之间的差值一致有界，确认射线与代数射线平行。
• $C^{1,1}$ 测地线射线具有分段光滑的二阶导数，且在断裂点处出现跳跃，表明其不具备全局 $C^3$ 正则性。
• 在基于 $\mathbb{P}^4$ 的环面例子中进行显式计算，验证了 $C^{1,1}$ 射线，并确认了 $h_t - h_{0,t}$ 的一致有界性。