[论文解读] Higgs bundles over elliptic curves for complex reductive Lie groups

Emilio Franco, Oscar Garcı́a-Prada+1 more|arXiv (Cornell University)|Oct 8, 2013

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

一句话总结

本文对任意复半单代数群 $G$，完整描述了椭圆曲线上 $G$-Higgs丛的模空间，推广了Thaddeus在2001年对平凡度数情形的早期工作。通过非交换Hodge理论与Hitchin纤维化，证明模空间同构于椭圆曲线与一个格的乘积模掉Weyl群作用的商空间，并利用Zariski主定理证明了射影平坦 $G$-联络模空间的正规化。

ABSTRACT

We study Higgs bundles over an elliptic curve with complex reductive structure group, describing the (normalization of) its moduli spaces and the associated Hitchin fibration. The case of trivial degree is covered by the work of Thaddeus in 2001. Our arguments are different from those of Thaddeus and cover arbitrary degree.

研究动机与目标

• 描述任意度数 $d$ 与复半单群 $G$ 下椭圆曲线上 $G$-Higgs丛模空间 $\mathcal{M}(G)_d$ 的结构。
• 将Thaddeus于2001年仅针对平凡度数的结果推广至任意度数，采用不同于原方法的新途径。
• 通过从商空间出发的双射态射，建立射影平坦 $G$-联络模空间 $\mathcal{C}(G)_d$ 的正规化。
• 证明Hitchin纤维化在 $G$-Higgs丛模空间上构成代数完全可积系统。

提出的方法

• 利用非交换Hodge对应，关联 $G$-Higgs丛、射影平坦联络与基本群表示。
• 通过李代数 $\mathfrak{g}$ 的不变多项式定义Hitchin纤维化，映射 $\mathcal{M}(G)_d$ 到基空间 $B_G \cong \bigoplus H^0(X, \mathcal{O}_X^{\otimes \deg(p_i)})$。
• 构造一个由 $X^\sharp \otimes_{\mathbb{Z}} \Lambda_{\overline{S}_c}$ 参数化的射影平坦 $G$-联络族，其中 $X^\sharp$ 为椭圆曲线的对偶，$\Lambda_{\overline{S}_c}$ 为某Levi子群中心相关的格。
• 利用Zariski主定理证明：从商空间 $ (X^\sharp \otimes_{\mathbb{Z}} \Lambda_{\overline{S}_c}) / W_c $ 到 $\mathcal{C}(G)_d$ 的双射态射是到 $\mathcal{C}(G)_d$ 正规化的同构。
• 基于酉表示与椭圆曲线上 $G$-丛的结果，包括将 $M(G)_d$ 描述为 $ (X \otimes_{\mathbb{Z}} \Lambda_{G,d}) / W_{G,d} $ 的商，建立对应关系。
• 通过紧实形式 $K_c$ 的共轭作用，建立联络的规范等价类，将Higgs场与形如 $A_{(\rho,z)} = A_\rho + z\,dx + \tau(z)\,d\overline{x}$ 的平坦联络联系起来。

实验结果

研究问题

• RQ1 如何描述任意拓扑度数 $d$ 与复半单群 $G$ 下椭圆曲线上 $G$-Higgs丛模空间的结构？
• RQ2 射影平坦 $G$-联络模空间 $\mathcal{C}(G)_d$ 的结构如何通过几何与群论数据刻画？
• RQ3 在一般 $G$ 下，$\mathcal{M}(G)_d$ 上的Hitchin纤维化是否构成代数完全可积系统？
• RQ4 能否通过椭圆曲线与格的乘积的商空间，显式描述 $\mathcal{C}(G)_d$ 的正规化？

主要发现

• 椭圆曲线上 $G$-Higgs丛模空间 $\mathcal{M}(G)_d$ 同构于射影平坦 $G$-联络模空间 $\mathcal{C}(G)_d$ 的正规化。
• $\mathcal{C}(G)_d$ 的正规化由商空间 $ (X^\sharp \otimes_{\mathbb{Z}} \Lambda_{\overline{S}_c}) / W_c $ 给出，其中 $X^\sharp$ 为椭圆曲线的对偶，$\Lambda_{\overline{S}_c}$ 为某Levi子群中心相关的格，$W_c$ 为该Levi子群的Weyl群。
• 在 $\mathcal{M}(G)_d$ 上的Hitchin纤维化是代数完全可积系统，其结构由Hitchin基空间与纤维化性质决定。
• 该构造为椭圆曲线上非交换Hodge对应提供了新证明，将Thaddeus的结果从平凡度数情形推广至一般度数。
• 从 $ (X^\sharp \otimes_{\mathbb{Z}} \Lambda_{\overline{S}_c}) / W_c $ 到 $\mathcal{C}(G)_d $ 的双射态射是到正规化的同构，其证明依赖于Zariski主定理。
• 当 $G = \operatorname{GL}(n,\mathbb{C})$ 或 $\operatorname{SL}(n,\mathbb{C})$ 且 $d=0$ 时，由于 $\mathcal{C}(G)_0$ 的正规性，该同构为概形同构。