[论文解读] Surface group representations, Higgs bundles, and holomorphic triples

Steven B. Bradlow, Oscar Garcı́a-Prada+1 more|ArXiv.org|Jun 3, 2002

Algebraic Geometry and Number Theory参考文献 33被引用 8

一句话总结

本论文在亏格 g ≥ 2 的黎曼曲面上对 U(p,q)-Higgs 纤维丛的模空间应用 Morse 理论，以 Higgs 场的 L²-范数作为 Morse 函数，分析了半单 PU(p,q)-表示的模空间的连通分支。关键结果为：对于满足互素条件的每个允许的 Toledo 不变量，对应的分支非空且连通；当互素条件不成立时，结果适用于不可约表示，给出了最大 Toledo 不变量下的显式拓扑约束和结构定理。

ABSTRACT

Using the $L^2$ norm of the Higgs field as a Morse function, we study the moduli spaces of $U(p,q)$-Higgs bundles over a Riemann surface. We require that the genus of the surface be at least two, but place no constraints on $(p,q)$. A key step is the identification of the function's local minima as moduli spaces of holomorphic triples. We prove that these moduli spaces of triples are irreducible and non-empty. Because of the relation between flat bundles and fundamental group representations, we can interpret our conclusions as results about the number of connected components in the moduli space of semisimple $PU(p,q)$-representations. The topological invariants of the flat bundles bundle are used to label components. These invariants are bounded by a Milnor-Wood type inequality. For each allowed value of the invariants satisfying a certain coprimality condition, we prove that the corresponding component is non-empty and connected. If the coprimality condition does not hold, our results apply to the irreducible representations.

研究动机与目标

• 确定亏格 g ≥ 2 的黎曼曲面的基本群的半单 PU(p,q)-表示模空间的连通分支数量。
• 通过 Morse 理论研究 U(p,q)-Higgs 纤维丛模空间的拓扑结构，以 Higgs 场的 L²-范数作为 Morse 函数。
• 将 Morse 函数的局部极小点识别为全纯三元组的模空间，并证明其不可约性与非空性。
• 在平坦丛的拓扑不变量与表示丛的连通分支之间建立对应关系。
• 推导出表示模空间非空且连通的条件，尤其关注 Toledo 不变量与互素条件的关系。

提出的方法

• Morse 函数定义为 U(p,q)-Higgs 纤维丛模空间上 Higgs 场的 L²-范数。
• 分析 Morse 函数的临界点，将局部极小点识别为全纯三元组的模空间。
• 利用 Higgs 纤维丛的形变理论与稳定性条件，对可约与稳定 Higgs 纤维丛进行分类。
• 研究全纯三元组 (E₁ → E₂, φ) 作为核心对象，证明其模空间不可约且非空。
• 通过拓扑不变量的界（包括 Milnor–Wood 型不等式）约束可能的 Toledo 不变量。
• 通过平坦丛与 π₁(X) 表示之间的对应关系，将结果从 Higgs 纤维丛模空间转化为表示丛的模空间。

实验结果

研究问题

• RQ1 表面群的半单 PU(p,q)-表示模空间有多少个连通分支，其数量由什么决定？
• RQ2 U(p,q)-Higgs 纤维丛模空间的拓扑结构如何，特别是 L²-范数 Morse 函数的临界点处的结构如何？
• RQ3 在什么条件下 U(p,q)-Higgs 纤维丛模空间是非空且连通的，尤其是在 Toledo 不变量取最大值或零时？
• RQ4 标记表示的不变量 (a,b) 如何与模空间的拓扑相关联，p+q 与 a+b 的互素性起什么作用？
• RQ5 当 Toledo 不变量达到最大值时，模空间发生什么变化，这如何影响表示的可约性？

主要发现

• 对于每个满足 |τ| ≤ τ_M = p(2g−2) 的 Toledo 不变量 τ，在指定的互素性或不等式条件下，U(p,q)-Higgs 纤维丛模空间非空且连通。
• 当 gcd(p+q, a+b) = 1 时，U(p,q)-表示模空间为预期维数的光滑流形，且连通。
• 若 |τ| = τ_M 且 p ≠ q，则模空间中所有表示均为可约的，可分解为 U(p,p) 中最大 Toledo 不变量表示与 U(q−p) 中平凡表示的直和。
• 全纯三元组模空间被证明不可约且非空，且这些三元组恰好对应于 Morse 函数的局部极小点。
• 当 τ = 0 或 |τ| = τ_M 且 p ≠ q 时，半单表示的完整模空间非空且连通。
• 当 (p−1)(2g−2) < |τ| ≤ τ_M 且 p = q 时，模空间连通，即使无互素性条件也成立，此情形包含 p = q 时的最大 Toledo 不变量。