[论文解读] The gerbe of Higgs bundles

Ron Donagi, Dennis Gaitsgory|ArXiv.org|May 13, 2000

Algebraic Geometry and Number Theory参考文献 12被引用 4

一句话总结

本文证明了在复概族 $X$ 上具有固定卡梅拉覆盖 ${\widetilde{X}}$ 的希格斯丛范畴构成一个由阿贝尔层 $T_{{\widetilde{X}}}$ 带 Band 的 2-丛，其在 $H^2(X, T_{{\widetilde{X}}})$ 中的类由三个部分决定：一个分支处的分歧扭转，一个 Weyl 群上同调类 $[N] \in H^2(W, T)$，以及一个针对 $SO(2n+1)$ 型群的由非本原根系导出的第三项。此类希格斯丛的同构类构成 $H^1(X, T_{{\widetilde{X}}})$ 上的扭子，该结构推广了普里姆簇。

ABSTRACT

The purpose of this work is to describe the (category of) Higgs bundles on a complex scheme X having a given cameral cover X~. We show that this category is a T_{X~}-gerbe, where T_{X~} is a certain sheaf of abelian groups on X, and we describe the class of this gerbe precisely. In particular, it follows that the set of isomorphism classes of Higgs bundles with a fixed cameral cover X~ is a torsor over the group H^1(X, T_{X~}), which itself parametrizes T_{X~}-torsors on X. This underlying group can be described as a generalized Prym variety, whose connected component is either an abelian variety or a degeneration thereof.

研究动机与目标

• 对复数域 $\mathbb{C}$ 上的概族 $X$ 上的希格斯丛进行分类，其卡梅拉覆盖 ${\widetilde{X}}$ 固定。
• 证明此类希格斯丛的范畴是关于 ${\widetilde{X}}$ 上正则中心化子层 $T_{{\widetilde{X}}}$ 的 2-丛。
• 精确识别该 2-丛在 $H^2(X, T_{{\widetilde{X}}})$ 中的类，该类控制希格斯丛的同构类。

提出的方法

• 将希格斯丛定义为配备有伴随丛中正则中心化子子丛的主 $G$-丛。
• 将卡梅拉覆盖 ${\widetilde{X}} \to X$ 构造为有限平坦的 $W$-等变覆盖，推广了 $GL(n)$ 的谱覆盖。
• 通过下降法与扭子结构，证明具有固定卡梅拉覆盖的希格斯丛范畴 $\operatorname{Higgs}_{{\widetilde{X}}}(X)$ 是由 $T_{{\widetilde{X}}}$ 带 Band 的 2-丛。
• 将 2-丛的类识别为三项之和：一个分歧扭转，一个 Weyl 群上同调类 $[N] \in H^2(W, T)$，以及一个针对 $SO(2n+1)$ 型群的根系相关项。
• 利用普遍例子 $\overline{G/N}$ 分析 2-丛的结构以及中心化子群概形的性质。
• 将结果应用于椭圆纤维化，证明纤维上通用的半稳定 $G$-丛是正则的，且其唯一正规化存在。

实验结果

研究问题

• RQ1 如何用阿贝尔数据对具有固定卡梅拉覆盖的希格斯丛进行分类？
• RQ2 在 $H^2(X, T_{{\widetilde{X}}})$ 中，分类固定卡梅拉覆盖上希格斯丛 2-丛的精确类是什么？
• RQ3 为何 2-丛的类包含来自分歧、Weyl 群上同调 $H^2(W, T)$ 以及非本原根系的贡献？
• RQ4 在椭圆纤维化情形下，2-丛的结构如何与广义普里姆簇相关联？
• RQ5 普遍空间 $\overline{G/N}$ 在理解 2-丛全局结构中起什么作用？

主要发现

• 具有固定卡梅拉覆盖 ${\widetilde{X}}$ 的希格斯丛范畴是关于层 $T_{{\widetilde{X}}}$ 的 2-丛，这意味着其同构类构成 $H^1(X, T_{{\widetilde{X}}})$ 上的扭子。
• 该 2-丛在 $H^2(X, T_{{\widetilde{X}}})$ 中的类是三项之和：沿 ${\widetilde{X}} \to X$ 的分支子概形的分歧扭转，Weyl 群上同调类 $[N] \in H^2(W, T)$，以及一个针对 $SO(2n+1)$ 型群由非本原根系导出的第三项。
• $H^1(X, T_{{\widetilde{X}}})$ 是一个广义普里姆簇，其连通分支要么是阿贝尔簇，要么是退化的阿贝尔簇。
• 对于 $G = GL(n)$, $PGL(n)$, $SL(2n+1)$ 和 $SO(n)$，Weyl 群上同调类 $[N]$ 为零，但对于 $SL(2n)$ 不为零，表明存在非平凡障碍。
• 在椭圆纤维化情形下，纤维上通用的半稳定 $G$-丛是正则的，其全局结构由相同的 2-丛理论框架控制。
• 2-丛的构造与基变换相容，适用于有分歧与无分歧的卡梅拉覆盖，且普遍例子 $\overline{G/N}$ 提供了模空间的全局模型。