Brauer group of moduli of parabolic symplectic bundles

技术摘要：抛物型辛对称丛模空间之布劳尔群

问题陈述
本文研究了抛物型辛对称丛（parabolic symplectic bundles）模空间光滑部分的上同调布劳尔群（Brauer group）的计算，该群记作 $Br(Y) \cong H^2_{\text{ét}}(Y, \mathbb{G}_m)_{\text{tor}}$。设 $X$ 为亏格 $g \geq 3$ 的光滑连通复射影曲线，$r \geq 2$ 为偶数秩，$D \subset X$ 为有限个抛物点集，$L$ 为 $X$ 上的一个线丛。研究对象是抛物型辛丛 $(E_*, \phi_*, L(D))$，其中辛形式 $\phi_*$ 取值于 $L(D)$（配备特定的抛物结构），且在 $D$ 处的抛物数据在重数（multiplicities）与权重（weights）上满足特定的对称条件。目标是确定对于集中权重（concentrated weights）和任意泛型权重（generic weights）系统，该模空间光滑部分 $(M^{m,\alpha}_{L(D)})^{\text{sm}}$ 的布劳尔群。

方法论与设置
作者结合使用了几何不变理论（GIT）、过滤层（filtered sheaves）理论以及壁越（wall-crossing）技术。

1. 抛物型辛结构： 本文利用抛物型向量丛作为过滤层（遵循 Maruyama 和 Yokogawa 的框架）来定义抛物型辛丛。一个关键的设置是使用“对称类型”的重数 $m$ 和权重 $\alpha$ 系统。这种对称性要求：对于每个抛物点 $p$，重数满足 $m_{p,j} = m_{p, \ell(p)+1-j}$，且权重满足 $\alpha_{p,j} = 1 - \alpha_{p, \ell(p)+1-j}$。在这些条件下，抛物型辛形式 $\phi_*$ 会诱导底层向量丛 $E$ 上一个取值于 $L$ 的非退化辛形式 $\phi$。

2. 简化为集中权重： 证明策略首先处理权重 $\alpha$ 为“集中型”（见定义 3.7）的情况，即权重足够接近 $1/2$，使得特定不等式成立。在此情形下，引理 3.8 建立了抛物型辛稳定性与标准辛稳定性之间的对应关系。这使得可以构造一个从抛物型模空间 $M^{m,\alpha}_{L(D)}$ 到半稳定辛丛模空间 $M_L$（扭曲的 $Sp(r, \mathbb{C})$-丛）的映射 $\pi_0$。

3. 纤维化与谱序列： 对于集中权重，映射 $\pi$ 在稳定部分被证明是一个纤维丛，其纤维同构于旗簇的乘积 $\prod Sp(r, \mathbb{C})/P_i$。作者利用与该纤维化相关的 $\mathbb{G}_m$ 层型的 Leray 谱序列。由此得到了一个 5 项正合序列，将纤维的 Picard 群、基空间（辛丛的模空间）的布劳尔群以及全空间的布劳尔群联系起来。

4. 针对泛型权重的壁越： 为了将从集中权重到任意泛型权重的结论进行推广，作者引用了变分 GIT（几何不变理论）原理，特别是 Thaddeus 关于壁越的工作。他们证明了在权重充盈锥（ample cone）中跨越单个壁会诱导模空间光滑部分之间的同构（在余维数至少为 2 的子集意义下）。由于布劳尔群在移除余维数 $\geq 2$ 的子集时保持不变，因此布劳尔群在泛型权重的不同室（chambers）之间保持不变。

核心贡献与结果
主要贡献是显式计算了在对称权重条件下，抛物型辛丛模空间光滑部分的布劳尔群。主要结果定理 1.1（详见定理 4.3 和推论 4.6）指出：

设 $M^{m,\alpha}_{L(D)}$ 是具有对称重数 $m$ 和权重 $\alpha$ 的模空间。其光滑部分的布劳尔群为：

1. 若 $\deg(L)$ 为偶数：
   $$Br((M^{m,\alpha}_{L(D)})^{\text{sm}}) \simeq \mathbb{Z} / \gcd(2, m_{p_1,1}, \dots, m_{p_n, \ell(p_n)})\mathbb{Z}$$

2. 若 $\deg(L)$ 为奇数：
   $$Br((M^{m,\alpha}_{L(D)})^{\text{sm}}) \simeq \begin{cases} 0 & \text{若 } r/2 \geq 3 \text{ 为奇数}, \\ \mathbb{Z} / \gcd(2, m_{p_1,1}, \dots, m_{p_n, \ell(p_n)})\mathbb{Z} & \text{若 } r/2 \geq 3 \text{ 为偶数}. \end{cases}$$

作者指出，在非平凡情况下，布劳尔群的生成元与限制在曲线上一点处的投影庞卡莱丛（projective Poincaré bundle）的类有关，这类似于无抛物结构的辛丛模空间的研究结果（引用 [BHl]）。

意义与范围
本文声称将之前关于辛丛模空间布劳尔群的研究（特别是 [BHl] 的工作）推广到了抛物型情形。其意义在于：

• 确立了在对称权重条件下，抛物型辛稳定性与标准辛稳定性之间的关系。
• 对这些模空间的布劳尔群进行了完整的计算，表明其取决于线丛 $L$ 的次数的奇偶性、秩 $r$ 以及 2 与抛物重数的最大公约数。
• 展示了在保证权重保持泛型的前提下，布劳尔群在充盈锥内的权重变分下的不变性。

作者明确将结果限制在权重和重数均为“对称类型”且不包含 0 的情况下。他们并未声称对非对称权重或模空间奇异部分的研究结果。该工作高度依赖于辛群 $Sp(r, \mathbb{C})$ 的单连通性质以及底层辛模空间的已知布劳尔群结构。