The singular Hitchin fibration, cameral data, and representation theory

问题陈述

本文针对具有任意还原结构群 $G$ 的 Higgs 丛的 Hitchin 纤维化中奇异层（singular locus）几何理解不完整的问题进行了研究。虽然该纤维化在正则层（即 Higgs 场中心化子维度最小处）已被充分理解，但奇异纤维的几何结构仍然是一个谜。具体而言，本文旨在通过控制 Higgs 场的中心化子行为，系统地研究奇异层。研究重点在于 Higgs 丛的子堆栈 $M_d$，其中 Higgs 场的中心化子维度恒定为 $d$。当 $d$ 超过 $G$ 的秩时，这些 Higgs 丛位于奇异层的深处。此外，本文还旨在通过轨道方法将此几何结构与李代数 $\mathfrak{g}$ 的表示理论联系起来，并为关联实形式（特别是现有描述缺失的非拟分裂形式）的 Hitchin 纤维化提供统一的描述。

方法论

作者结合了李理论分层、堆栈理论和广义 Hitchin 系统。

1. 层分层（Sheet Stratification）： 研究被限制在李代数 $\mathfrak{g}$ 中具有固定中心化子维度的元素构成的“层”（sheets，即不可约成分）内。本文利用层理论，包括 Katsylo 切片和 Katsylo 群，来分析这些层（strata）的几何结构。
2. 堆栈理论下的阿贝尔化（Stack-Theoretic Abelianisation）： 在通常非光滑的中心化子群方案 $I_S$ 之内，本文构造了一个“光滑中心化子”子群方案 $I^{sm}_S$，该方案定义在层 $S$ 上。通过利用该光滑子群对商堆栈 $[S/G]$ 进行刚化（rigidifying），作者定义了一个“$S$-Chevalley 基” $B$，从而将伴随商映射转化为一个层叠（gerbe）。
3. 卡梅拉数据泛化（Cameral Data Generalisation）： 对于 Dixmier 层（包含半单元素的层），作者从光滑中心化子构造了一个“卡梅拉同态” $\kappa_S$ 到一个“卡梅拉群”（一种阿贝尔化形式）。这使得 Hitchin 映射可以分解通过一个“阿贝尔化纤维化”。
4. 实形式与轨道方法： 该框架通过将正则 $G_R$-Higgs 丛识别为层值的 $G$-Higgs 丛，应用于实形式 $G_R$。本文还利用用于层的 Grothendieck-Springer 理论，将这些层的几何结构与 $\mathfrak{g}$ 的统一包络代数 $U(\mathfrak{g})$ 中表示的多元性（multiplicities）联系起来。

核心贡献与结果

• 奇异纤维的非阿贝尔结构： 本文确立了对于层值 Higgs 丛（对于非奇异层 $S$）而言，Hitchin 纤维化在 $M_S$ 上的限制具有非阿贝尔结构。其纤维被识别为光滑中心化子群方案 $I^{sm}_{(E,\Phi)}$ 的扭丛（torsors）的堆栈（定理 5.16）。
• 阿贝尔化与卡梅拉数据： 对于“经典归约类型”（包括所有经典群）的非奇异 Dixmier 层，作者构造了 Hitchin 映射通过一个阿贝尔化纤维化进行的分解。该阿贝尔化映射的纤维使用广义卡梅拉数据进行描述：它们被识别为曲线（“$S$-卡梅拉曲线”）上等变丛的堆栈（定理 5.31，定理 5.36）。
• $S$-Chevalley 基与 Katsylo 群： 本文将 $S$-Chevalley 基 $B$ 引入为 Katsylo 切片对 Katsylo 群 $F$ 的 Deligne-Mumford 堆栈商。这为 $G$ 在层上的作用提供了一个规范的“正则商”，便于将纤维化描述为由卡梅拉群带状化的层叠（命题 3.25，命题 3.29）。
• 实形式： 研究结果被应用于实形式 $G_R$ 的 Hitchin 纤维化。本文表明，正则 $G_R$-Higgs 丛对应于特定的 Dixmier 层 $S_H$。它为任意实形式构造了一个阿贝尔化纤维化，提供了一个 $\theta$-等变的卡梅拉数据模拟。文中给出了针对非拟分裂情况（如 $|p-q|>1$ 时的 $SU(p,q)$和$SO^*(4m+2)$）的具体描述，而此前文献对此缺乏此类描述（第 7.2 节）。
• 表示理论的联系： 本文建立了层几何与 $\mathfrak{g}$ 表示理论之间的联系。它将 Katsylo 群 $F$ 与伴随轨道的坐标环中的表示多元性，以及来自 Losev 轨道方法的 $U(\mathfrak{g})$ 中原始理想（primitive ideals）的多元性联系起来。一个关键结果是这两个截然不同的多元性概念之间的渐近关系（推论 8.27）：
  $$\mu(I(\mathcal{O})) = \lim_{n \to \infty} \frac{M(\mathcal{O}; n)}{M(\mathcal{O}_{nil}; n)}$$
  其中 $\mu$ 是理想的多元性，$M$ 是渐近多元性函数。

意义

本文声称通过控制中心化子维度，为研究奇异 Hitchin 纤维化提供了一个系统性的框架，提供了一种“非阿贝尔”的经典 Hitchin 系统泛化。通过为奇异纤维构造一个阿贝尔化，它使得奇异纤维的性质有可能从阿贝尔化纤维的性质中提升。这项工作统一了实群 Hitchin 纤维化的描述，将已知结果从拟分裂情况扩展到了非拟分裂情况。此外，关于层几何及其通过 Katsylo 群与表示理论联系的辅助结果，为轨道方法和包络代数中原始理想的结构提供了新的见解。本文指出，在计算示例（$GL_n, Sp_4$）中，阿贝尔化纤维化可以被描述为较小群的 Hitchin 纤维化，这表明奇异层中存在递归结构。