Brauer group of moduli of stable parabolic $\text{SL}(r,\mathbb{C})$ and $\text{PGL}(r,\mathbb{C})$-connections and Higgs bundles over a curve

1. 研究背景与问题 (Problem)

背景：
Brauer 群是代数簇和代数叠的重要不变量，定义为 $H^2_{\text{\'et}}(Y, \mathbb{G}_m)$ 的挠子群。在模空间理论中，Brauer 群衡量了**万有丛（universal bundle）**存在的障碍。如果模空间的 Brauer 群非平凡，则不存在全局定义的万有丛。此外，Brauer 群在有理性问题（rationality questions）的研究中也扮演核心角色。

研究对象：
设 $X$ 是亏格 $g \ge 3$ 的紧致黎曼面，$S = \{x_1, \dots, x_n\}$ 是 $X$ 上的有限点集（抛物线点）。
本文主要研究以下三类模空间的 Brauer 群：

1. 稳定抛物线 $SL(r, \mathbb{C})$-联络模空间 $M^{m, \alpha}_{pc}(r, \xi)$：固定行列式 $\xi$，秩为 $r$，具有抛物线数据 $(m, \alpha)$ 的稳定抛物线联络。
2. 稳定强抛物线 $SL(r, \mathbb{C})$-希格斯丛模空间 $M^{m, \alpha}_{\text{Higgs}}(r, \xi)$：固定行列式 $\xi$，秩为 $r$，具有抛物线数据 $(m, \alpha)$ 的稳定强抛物线希格斯丛。
3. 稳定抛物线 $PGL(r, \mathbb{C})$-联络模叠 $\mathcal{N}^{m, \alpha}_{pc}(r, i)$ 及其粗模空间（coarse moduli space）。

核心问题：
计算上述模空间的 Brauer 群，并探究 $PGL(r, \mathbb{C})$ 联络模叠的 Brauer 群与其粗模空间光滑点处的 Brauer 群之间的关系。

---

2. 方法论 (Methodology)

作者采用了代数几何中的标准技术，结合拓扑不变量计算和模空间结构分析：

1. 纤维化与模空间结构分析：

   • 利用行列式映射 $f: M^{m, \alpha}_{pc}(r, d) \to M_{lc}(1, d, \lambda)$，将固定行列式的模空间视为该映射的纤维。
   • 证明该映射是光滑的，从而确定 $M^{m, \alpha}_{pc}(r, \xi)$ 是光滑拟射影簇。
   • 对于希格斯丛，利用余切丛 $T^*N^{m, \alpha}(r, \xi)$ 嵌入到希格斯丛模空间中的事实，且补集余维数至少为 2。

2. 余维数估计 (Codimension Estimates)：

   • 定义 $U$ 为模空间中底层抛物线向量丛稳定的开集。
   • 证明不稳定部分的补集 $Z$ 在模空间中的余维数至少为 2（对于 $SL(r)$情形）或 3（对于$PGL(r)$ 情形）。
   • 利用Brauer 群的相干性（Cohomological Purity）：如果 $U \subset Y$ 是开集且 $\text{codim}(Y \setminus U) \ge 2$，则 $\text{Br}(U) \cong \text{Br}(Y)$。这使得计算可以简化为计算稳定部分的 Brauer 群。

3. 模空间与向量丛模空间的关系：

   • 利用遗忘映射 $\pi: U \to N^{m, \alpha}(r, \xi)$（从联络/希格斯丛到向量丛），证明 $U$ 是 $N^{m, \alpha}(r, \xi)$ 上的仿射丛（torsor）。
   • 利用谱序列（Spectral Sequence）和拉回映射的性质，证明 $\text{Br}(U) \cong \text{Br}(N^{m, \alpha}(r, \xi))$。
   • 从而将问题归结为计算稳定抛物线向量丛模空间 $N^{m, \alpha}(r, \xi)$ 的 Brauer 群。

4. 群作用与商空间分析 ($PGL$ 情形)：

   • 引入 $r$-挠线丛群 $\Gamma = \{L \in \text{Pic}(X) \mid L^{\otimes r} \cong \mathcal{O}_X\}$ 对 $SL(r)$ 联络模空间的作用。
   • 分析固定点集（Fixed point locus），利用谱曲线（spectral curve）技术证明非平凡固定点集的余维数至少为 3。
   • 利用 Deligne-Mumford 叠的性质和有限群作用的商空间理论，建立模叠与粗模空间光滑点之间的 Brauer 群同构。

---

3. 主要贡献与结果 (Key Contributions & Results)

定理 1.1：$SL(r, \mathbb{C})$ 联络与希格斯丛的 Brauer 群

设 $\alpha$ 为通用权重系统（generic system of weights），$m^j_i$ 为 $x_j$ 处旗的重数。

• 结果： 稳定抛物线 $SL(r, \mathbb{C})$-联络模空间 $M^{m, \alpha}_{pc}(r, \xi)$ 和稳定强抛物线 $SL(r, \mathbb{C})$-希格斯丛模空间 $M^{m, \alpha}_{\text{Higgs}}(r, \xi)$ 的 Brauer 群同构于循环群：
  $$\text{Br} \cong \mathbb{Z}/\nu\mathbb{Z}$$
  其中 $\nu = \gcd(r, d, m^1_1, m^1_2, \dots, m^{\ell_1}_1, \dots, m^{\ell_n}_n)$。
  这里 $d$ 是行列式 $\xi$ 的次数。
• 意义： 这一结果将之前关于抛物线向量束和对数联络的研究（如 [BBS, BD]）推广到了抛物线联络和希格斯丛的情形。它表明这些模空间的 Brauer 群完全由秩、次数和抛物线重数的最大公约数决定。

定理 1.2：$PGL(r, \mathbb{C})$ 联络模叠与粗模空间的关系

设 $\mathcal{N}^{m, \alpha}_{pc}(r, i)$ 为稳定抛物线 $PGL(r, \mathbb{C})$-联络的模叠，$N^{m, \alpha}_{pc}(r, i)$ 为其粗模空间，$N^{m, \alpha}_{pc}(r, i)^{\text{sm}}$ 为其光滑点集。

• 结果：
  $$\text{Br}\left(\mathcal{N}^{m, \alpha}_{pc}(r, i)\right) \cong \text{Br}\left(N^{m, \alpha}_{pc}(r, i)^{\text{sm}}\right)$$
• 意义： 这一结论推广了 [BCD] 和 [BC] 中关于抛物线向量丛的结果到联络情形。它表明，对于 $PGL$ 联络，模叠的 Brauer 群完全由其粗模空间的光滑部分决定，非光滑点（奇点）不影响 Brauer 群。这依赖于固定点集的高余维数性质（$\ge 3$），保证了 Brauer 群在去除低维子集后保持不变。

---

4. 技术细节与证明逻辑

1. 维数计算：
   作者首先回顾了 Inaba 和 Saito 的工作，给出了 $M^{m, \alpha}_{pc}(r, d)$ 的维数公式，并推导出固定行列式纤维 $M^{m, \alpha}_{pc}(r, \xi)$ 的维数为 $2(r^2-1)(g-1) + 2\sum \dots$。

2. 稳定性的处理：
   利用通用权重假设，保证了半稳定性与稳定性重合。通过 Harder-Narasimhan 滤波分析，证明了不稳定向量丛构成的闭子集 $Z$ 在模空间中的余维数 $\ge 2$（对于 $g \ge 3, r \ge 2$）。

3. 仿射丛同构：
   对于 $SL(r)$情形，联络模空间（稳定部分）是向量丛模空间上的仿射丛（由$H^0(X, \Omega^1_X(S) \otimes \text{SParEnd}'(E^*))$ 参数化）。利用谱序列证明仿射丛的 Brauer 群同构于底空间的 Brauer 群。

4. $PGL$ 情形的群作用：
   构造了 $r$-挠线丛群 $\Gamma$ 在 $SL(r)$ 联络模空间上的作用。

   • 关键步骤是证明非平凡固定点集 $Z_\alpha$ 的余维数 $\ge 3$。
   • 通过谱曲线 $Y_L \to X$ 将固定点问题转化为 $Y_L$ 上的模空间问题，利用维数估计证明其高余维数。
   • 由于余维数 $\ge 3$，根据相干性定理，去除这些固定点不影响 Brauer 群。
   • 由于 $\Gamma$ 在光滑开集上自由作用，商空间是光滑的，且模叠与商空间在 Brauer 群层面等价。

---

5. 研究意义 (Significance)

1. 理论推广： 本文将经典的向量丛模空间 Brauer 群计算结果成功推广到了更复杂的**联络（Connections）和希格斯丛（Higgs Bundles）**领域，特别是带有抛物线结构的情形。
2. 万有丛障碍的量化： 明确给出了这些模空间上存在万有丛的障碍（即 Brauer 群非零的条件），这对于理解模空间的几何结构至关重要。
3. 模叠与粗模空间的联系： 定理 1.2 建立了 $PGL$ 联络模叠与其粗模空间在 Brauer 群层面的等价性，简化了相关不变量的计算，并为研究有理性问题提供了新的视角。
4. 方法论的完善： 论文展示了如何结合谱曲线技术、Harder-Narasimhan 滤波和相干性定理来处理带有群作用的模空间问题，为后续研究其他类型的模空间（如 $G$-联络）提供了范例。

总结： 该论文通过精细的维数估计和模空间结构分析，完全确定了曲线上的稳定抛物线 $SL(r)$和$PGL(r)$ 联络及希格斯丛模空间的 Brauer 群，揭示了它们与底层向量丛模空间及数论不变量（最大公约数）之间的深刻联系。