[论文解读] The Hitchin-Kobayashi correspondence, Higgs pairs and surface group representations

Oscar Garcı́a-Prada, Peter B. Gothen+1 more|arXiv (Cornell University)|Sep 24, 2009

Algebraic Geometry and Number Theory参考文献 24被引用 70

一句话总结

本文建立了紧致黎曼曲面上 $L$-扭结对的完整 Hitchin–Kobayashi 对应关系，证明了在连通实半单李群 $G$ 中，多项式稳定的 $G$-Higgs丛与基本群的约化表示之间存在一一对应关系。主要贡献在于对多项式稳定性进行了严格处理，并简化了特定群的稳定性条件，从而通过非交换 Hodge 理论实现了模空间的完整识别。

ABSTRACT

We develop a complete Hitchin-Kobayashi correspondence for twisted pairs on a compact Riemann surface X. The main novelty lies in a careful study of the the notion of polystability for pairs, required for having a bijective correspondence between solutions to the Hermite-Einstein equations, on one hand, and polystable pairs, on the other. Our results allow us to establish rigorously the homemomorphism between the moduli space of polystable G-Higgs bundles on X and the character variety for representations of the fundamental group of X in G. We also study in detail several interesting examples of the correspondence for particular groups and show how to significantly simplify the general stability condition in these cases.

研究动机与目标

• 将 Hitchin–Kobayashi 对应关系扩展至紧致黎曼曲面上的严格多项式稳定的 $L$-扭结对。
• 对任意连通实半单李群 $G$，严格刻画多项式稳定 $G$-Higgs丛的模空间。
• 在特定情形（如 $\operatorname{GL}(n,\mathbb{R})$ 和 $\operatorname{SO}(n,\mathbb{C})$）下，简化一般稳定性条件，以利于实际应用。
• 建立 $G$-Higgs丛的模空间与曲面群表示的特征簇之间的一一对应关系。
• 通过多项式稳定对的 Hermite–Einstein 方程的解，实现规范理论与代数几何之间的完整对应。

提出的方法

• 为 $L$-扭结对构建一般框架，将其视为主 $H^\mathbb{C}$-丛 $E$ 搭配一个 $E(\mathfrak{m}^\mathbb{C}) \otimes K$ 值的全纯截面 $\varphi$，其中 $K$ 为典范丛。
• 引入并分析 $L$-扭结对的多项式稳定性概念，将经典的 Hitchin–Kobayashi 对应关系从稳定对推广至多项式稳定对。
• 应用 Hermite–Einstein 方程，该方程结合了曲率与 Higgs 场项，可解释为一个矩量映射条件。
• 利用 Corlette–Donaldson 定理中的调和度量，将 Hitchin 方程的解与 $\pi_1(X)$ 的约化表示联系起来。
• 应用 Ramanathan 关于主丛稳定性理论，并将其适配至 Higgs 丛设定，引入二次型与迷向子丛。
• 通过在迷向、$\psi$-不变子丛上对次数条件的刻画，简化 $\operatorname{GL}(n,\mathbb{R})$-Higgs 对的稳定性条件。

实验结果

研究问题

• RQ1 如何将 Hitchin–Kobayashi 对应关系扩展至紧致黎曼曲面上的严格多项式稳定的 $L$-扭结对？
• RQ2 对于一般连通实半单李群 $G$，多项式稳定 $G$-Higgs丛的精确刻画是什么？
• RQ3 能否在 $\operatorname{GL}(n,\mathbb{R})$ 或 $\operatorname{SO}(n,\mathbb{C})$ 等特定情形下，简化 $L$-扭结对的一般稳定性条件？
• RQ4 是否存在 $G$-Higgs丛的模空间与曲面群表示的特征簇之间的一一对应关系？
• RQ5 Hitchin 方程的解如何与相关模空间的几何结构相关联？

主要发现

• 本文建立了 $L$-扭结对的完整 Hitchin–Kobayashi 对应关系，证明 Hermite–Einstein 方程有解当且仅当该对是多项式稳定的。
• 对于 $G = \operatorname{GL}(n,\mathbb{R})$，$G$-Higgs 对 $(W,Q,\psi)$ 是半稳定的，当且仅当对所有迷向、$\psi$-不变子丛 $W' \subset W$，有 $\deg(W') \leq 0$，而稳定性要求严格不等式成立。
• $\operatorname{GL}(n,\mathbb{R})$-Higgs 对的多项式稳定性通过在 $\deg(W') = 0$ 时存在互补的 $\psi$-不变子丛来刻画。
• 证明了对于任意连通实半单李群 $G$，多项式稳定 $G$-Higgs丛的模空间与 $\pi_1(X)$ 在 $G$ 中的约化表示的模空间之间存在一一对应关系。
• $\operatorname{GL}(n,\mathbb{R})$-Higgs 对的稳定性条件被简化为对迷向子丛的条件，与基于滤子的一般准则相比，复杂度显著降低。
• 本文通过矩量映射方程与权空间的凸几何，提供了稳定性条件的几何解释，通过 Hitchin 方程的解确认了该对应关系。