[论文解读] Quantization of Hitchin's equations for Higgs Bundles I

Mario García-Fernández, Julien Keller+1 more|arXiv (Cornell University)|Jan 19, 2016

Geometry and complex manifolds参考文献 18被引用 3

一句话总结

本文通过将平衡度量定义为 Hitchin 方程解的有限维近似，提出了一套 Higgs 纤维丛的量化框架。利用几何不变性理论与扭量映射技术，证明了平衡度量在量子极限下收敛于 Hitchin 方程的解，并证明其存在性等价于 Higgs 纤维丛的 Gieseker 稳定性。

ABSTRACT

We provide an algebraic framework for quantization of Hermitian metrics that are solutions of the Hitchin equation for Higgs bundles over a projective manifold. Using Geometric Invariant Theory, we introduce a notion of balanced metrics in this context. We show that balanced metrics converge at the quantum limit towards the solution of the Hitchin equation. We relate the existence of balanced metrics to the Gieseker stability of the Higgs bundle.

研究动机与目标

• 为在射影流形上的 Higgs 纤维丛上满足 Hitchin 方程的 Hermitian 度量，发展一种代数化量化框架。
• 在 Higgs 纤维丛的背景下定义一种平衡度量的概念，推广经典向量丛上 Hermitian-Einstein 度量的概念。
• 建立平衡度量的存在性与 Higgs 纤维丛 Gieseker 稳定性之间的对应关系。
• 证明在量子极限（大 k 极限）下，平衡度量收敛于 Hitchin 方程的解。
• 通过几何不变性理论，将扭量映射形式与 Bergman 函数联系到稳定性条件。

提出的方法

• 在参数化从底流形到 Grassmannian 及其与 canonical bundle 叠乘的自同态丛截面的集合 Z 上引入一个 Kähler 结构。
• 使用 Grassmannian 上的 Fubini-Study 度量，并引入涉及 Bergman 函数和参数 λ 的修正项，定义 Z 上的 Kähler 形式 Ωₖ。
• 利用 SU_N 在全纯映射空间上的作用，定义该作用在 Ωₖ 下的扭量映射。
• 将平衡度量定义为 E 上的 Hermitian 度量 h，使得其诱导的映射 uₛ 是 SU_N 作用下扭量映射的零点。
• 通过 Bergman 函数 Bₖ(h) 内蕴地重述平衡条件，将其与 H⁰(E⊗Lᵏ) 的 L² 正交基联系起来。
• 使用一参族 C*-作用分析扭量映射的权，导出涉及曲率项迹与 Higgs 场的稳定性判据。

实验结果

研究问题

• RQ1 能否为 Higgs 纤维丛上 Hitchin 方程的解构造一个有限维近似方案？
• RQ2 是否存在一种 Higgs 纤维丛的平衡度量概念，可推广经典向量丛上的平衡度量？
• RQ3 在层级 k 下平衡度量的存在性是否对应于类似于 Gieseker 稳定性的稳定性条件？
• RQ4 平衡度量在量子极限（k→∞）下的行为如何与 Hitchin 方程的解相关联？
• RQ5 扭量映射形式能否被扩展以将 Higgs 场纳入稳定性判据中？

主要发现

• 平衡度量存在的充要条件是 Higgs 纤维丛为 Gieseker 稳定的，从而在代数稳定性与有限维近似的存在性之间建立了直接联系。
• 平衡度量条件等价于 SU_N 作用在 Grassmannian 上全纯映射空间中扭量映射的零化，其中 Kähler 形式经 Bergman 函数修正。
• 在大 k 极限下，平衡度量收敛于 Hitchin 方程的解，为 Higgs 纤维丛上 Hermitian 度量提供了一种量化程序。
• 在 C*-作用下扭量映射的权导出一个稳定性不等式：子丛全局截面的归一化维数之差，受一个包含 Higgs 场作用的非负项下界约束。
• Higgs 场在权中贡献一个负项，当且仅当 Higgs 场保持子丛时该负项消失，表明 Higgs 场的分裂被不稳定性所阻碍。
• 由扭量映射权计算导出的关键不等式为：(h⁰(E⊗Lᵏ)/rk(E)) − (h⁰(F⊗Lᵏ)/rk(F)) − (1/V rk(E) rk(F)) ||αβ/√(1+α|φ|²) π_F φ (Id−π_F)||²_{L²} ≥ 0，该不等式对所有充分大的 k 成立，且当 (E,φ) 为简单时严格成立。