[论文解读] The Calabi functional on a ruled surface

Gábor Székelyhidi|arXiv (Cornell University)|Mar 19, 2007

Geometry and complex manifolds参考文献 12被引用 6

一句话总结

本文研究在亏格二曲线上规则曲面的 Calabi 泛函最小化问题，利用动量构造分析具有对称性的度量。结果表明，对于某些极化，极小化序列将流形分裂为若干部分，分别收敛至完备极值度量或退化为无限长的圆柱体，临界阈值精确位于 m ≈ 18.9 和 m ≈ 5.03 处。

ABSTRACT

We study the Calabi functional on a ruled surface over a genus two curve. For polarisations which do not admit an extremal metric we describe the behaviour of a minimising sequence splitting the manifold into pieces. We also show that the Calabi flow starting from a metric with suitable symmetry gives such a minimising sequence.

研究动机与目标

• 理解在给定 Kähler 类中不存在极值度量时，Calabi 泛函在亏格二曲线上的规则曲面上的行为。
• 表征不包含极值度量的 Kähler 类中极小化序列的结构。
• 建立对称初值度量下 Calabi 流的长时间存在性与收敛性。
• 通过标量曲率的凹性，将 Calabi 泛函的最小化与测试构型及 Futaki 不变量联系起来。
• 证明从对称度量出发的 Calabi 流可收敛至最小化子，即使在不存在极值度量的情况下亦然。

提出的方法

• 利用动量构造，通过 [0,m] 上的光滑函数 φ 参数化规则曲面上的 S^1-不变 Kähler 度量。
• 将标量曲率 S(ω_φ) 表示为 φ 上的二阶微分算子，从而实现 Calabi 泛函的显式计算。
• 将标量曲率的 L^2-范数视为 φ 上的泛函，导出 Euler-Lagrange 方程：φ S(φ)'' = 0，其中 S(φ)'' 为负。
• 显式构造极小化子，允许退化（φ 在子区间上消失），对应于度量的分裂或坍塌。
• 应用 Donaldson 的矩映射解释与测试构型，以有界 Calabi 泛函的下界。
• 使用 Calabi 流作为动力学方法，通过 φ_t 上的 H^2 与 C^2 估计，证明其长时间存在性与收敛性至极小化子。

实验结果

研究问题

• RQ1 当给定 Kähler 类中不存在极值度量时，规则曲面上的 Calabi 泛函会发生什么？
• RQ2 当极值度量不存在时，度量的极小化序列在几何分解方面如何表现？
• RQ3 即使不存在极值度量，从对称初值数据出发的 Calabi 流是否仍可收敛至 Calabi 泛函的极小化子？
• RQ4 标量曲率剖面的凹性在表征极小化子与极值度量的障碍方面起什么作用？
• RQ5 测试构型与 Futaki 不变量如何与非极值情形下 Calabi 泛函的下确界相关联？

主要发现

• 当 0 < m < k_1 ≈ 18.9 时，流形存在极值度量，与 Tønnesen-Friedman 的先前结果一致。
• 当 k_1 ≤ m ≤ k_2(k_2 + 2) 且 k_2 ≃ 5.03 时，极小化序列将曲面分裂为两部分，每部分分别收敛至完备极值度量。
• 当 m > k_2(k_2 + 2) ≈ 37.6 时，极小化序列分裂为三部分：两部分收敛至完备极值度量，第三部分退化为无限长且细的圆柱纤维化结构。
• 从对称度量出发（通过动量构造）的 Calabi 流存在所有时间，并收敛至 Calabi 泛函的极小化子。
• 标量曲率的 L^2-范数（即 Calabi 泛函）的下界由分段线性凸函数导出的测试构型的 Futaki 不变量所控制。
• 在 Calabi 流过程中，对动量剖面 φ_t 建立了统一的 C^2-有界性，通过里奇曲率控制确保了长时间存在性。