[论文解读] Limits of balanced metrics on vector bundles and polarised manifolds

Mario García-Fernández, Julius Ross|arXiv (Cornell University)|Nov 11, 2011

Geometry and complex manifolds参考文献 19被引用 4

一句话总结

本文引入了一类定义在三元组 (X, L, E) 上的 α-平衡度量，其中 X 是一个极化流形，L 是一个正线丛，E 是一个全纯向量丛。通过分析 E⊗L^k 的 Bergman 核的渐近展开，本文表明：当 α 为一般值时，α-平衡度量的极限给出 Hermitian-Einstein 度量与常数量曲率 Kähler 度量；当 α 取特殊值时，极限满足一个包含曲率项的耦合系统。该结果统一了 Kähler 几何与代数几何中的稳定性条件。

ABSTRACT

We consider a notion of balanced metrics for triples (X,L,E) which depend on a parameter α, where X is smooth complex manifold with an ample line bundle L and E is a holomorphic vector bundle over X. For generic choice of α, we prove that the limit of a convergent sequence of balanced metrics leads to a Hermitian-Einstein metric on E and a constant scalar curvature Kähler metric in c_1(L). For special values of α, limits of balanced metrics are solutions of a system of coupled equations relating a Hermitian-Einstein metric on E and a Kähler metric in c_1(L). For this, we compute the top two terms of the density of states expansion of the Bergman kernel of E \otimes L^k.

研究动机与目标

• 将平衡度量的概念推广至三元组 (X, L, E)，同时纳入底流形与向量丛的几何结构。
• 建立三元组 (X, L, E) 的渐近稳定性与 E 和 X 上规范度量存在的对应关系。
• 通过引入参数 α，实现 Hermitian-Einstein 对应关系与 Yau-Tian-Donaldson 猜想之间的插值，从而统一 Kähler 几何与代数几何中的稳定性条件。
• 计算 E⊗L^k 的 Bergman 核密度展开的前两项，以推导极限度量方程。
• 刻画当 k→∞ 时 α-平衡度量的极限行为，区分一般 α 与特殊 α 的情形。

提出的方法

• 利用 L 和 E 的曲率形式构造的体积形式 dV₁ 和 dV₂，定义依赖于 α 的 H⁰(L^k) 与 H⁰(E⊗L^k) 上的 L² 内积。
• 将 α-平衡度量定义为：由标准正交基诱导的 Fubini-Study 度量在拉回后等于 (h^k, H⊗h^k) 的度量。
• 通过矩映射理论，从辛约化与线性化参数 α ∈ ℝⁿ⁺² 推导出体积形式 dV₁ 与 dV₂。
• 使用局部全纯坐标与曲率展开，计算 E⊗L^k 截面的 Bergman 核展开的前两项。
• 通过分析当 k→∞ 时 α-平衡条件的渐近行为，推导出极限度量方程。
• 应用微分几何技巧，包括迹运算、曲率收缩以及度量势的二阶导数，提取曲率方程。

实验结果

研究问题

• RQ1 当 α 为一般值时，k→∞ 下 (X, L, E) 上 α-平衡度量的极限行为如何？
• RQ2 极限度量与 Hermitian-Einstein 方程及常数量曲率 Kähler 方程有何关系？
• RQ3 当 α 属于 ℝⁿ⁺² 的特殊子簇时，极限度量会发生什么变化？
• RQ4 E⊗L^k 的 Bergman 核展开的前两项能否显式计算，并用于推导曲率方程？
• RQ5 是否存在一个统一的稳定性条件，使得三元组 (X, L, E) 的稳定性对应于大 k 时 α-平衡度量的存在性？

主要发现

• 当 α 为一般值时，收敛的 α-平衡度量序列的极限给出 E 上的 Hermitian-Einstein 度量，以及 c₁(L) 中的常数量曲率 Kähler 度量。
• 当 α 取特殊值时，极限满足如下耦合系统：i(ΛF_H − (1/r)trF_H·Id) + (1/2 S_ω − (β₁/β₀)iΛtrF_H)·Id = λ′·Id，其中包含 Λ²(F_H² + F_H ∧ trR_ω) 的二阶曲率方程。
• E⊗L^k 的 Bergman 核展开的前两项被显式计算，其中二阶项涉及 Δ(S) 与 |trR|²，其中 S 为数量曲率，R 为曲率 2-形式。
• E 的曲率贡献出现在展开的二阶项中，当 α 调整至突出该项时，导致耦合方程的出现。
• 通过渐近分析 α-平衡条件，结合对度量势与曲率分量的迹运算与二阶导数操作，推导出极限方程。
• 分析表明，当 k 足够大时 α-平衡度量的存在性，意味着对应规范度量方程解的存在性，从而推广了 Hermitian-Einstein 与 cscK 的情形。