Brauer groups of smooth loci in linear systems and torsors over Jacobians of plane curves

技术摘要：线性系统中光滑集的 Brauer 群与平面曲线 Jacobian 上的 Torsor

问题陈述
本文研究了位于单连通光滑射影簇 $X$ 上的线性系统 $|L|$ 的光滑集 $|L|_{sm}$ 的上同调 Brauer 群 $Br(|L|_{sm}) := H^2_{\text{ét}}(|L|_{sm}, \mathbb{G}_m)$。此处，$|L|_{sm}$ 参数化光滑除子，其补集为奇异除子的判别集 $\Delta_L$。一个主要的动机是理解 Tate–Shafarevich 群 $\text{X}(\mathcal{J}) := H^1(B, \text{Pic}^0_{\mathcal{C}/B})$ 的结构，该群分类了关于通用光滑曲线 $\mathcal{C} \to B$（其中 $B = |L|_{sm}$）的相对 Jacobian $\mathcal{J} \to B$ 的 Torsor。作者旨在确定这些在特定几何设定下的群，包括平面曲线、原初极化的 K3 曲面以及三次四维流形。

方法论
该方法依赖于基于奇异点数量的判别集 $\Delta_L$ 的分层。作者定义 $\Delta_k$ 为具有恰好 $k$ 个奇异点（在曲面情形下特指普通节点）的超曲面构成的集合，并分析了通用奇异集 $\Sigma \subset |L| \times X$。

1. 充足性条件（Ampleness Conditions）： 作者引入了一组关于线丛 $L$ 的“充足性条件”（记作 $\dagger$）。这些条件确保判别集是不可约的，且具有两个节点的集合（$\Delta_2$）是一个不可约除子，以及通用二节点集合 $\Sigma_2$ 是不可约的。这些条件通过利用关于 Severi 簇和 jet 充足性（例如 5-very ampleness）的结果得到了验证。
2. 同调计算： 利用 Brauer 群的纯粹性和 Gysin 序列，作者将 $Br(|L|_{sm})[n]$ 的计算与判别集的 Borel–Moore 同调联系起来。具体而言，他们将计算简化为确定类 $[\Sigma_2]$ 在 $H^2(\Sigma, \mathbb{Z}/2\mathbb{Z})$ 中是否消失。
3. 相对对称积： 为了计算 Tate–Shafarevich 群，作者研究了相对对称积 $C^{(n)}_B$ 的 Brauer 群。他们利用了对于足够大的 $n$，Abel–Jacobi 映射 $C^{(n)}_B \to \mathcal{J}$ 是一个 Brauer–Severi 簇（即射影空间的纤维化）这一事实。通过建立不同 $n$ 之间 Brauer 群之间的同构关系（通过添加点诱导的闭浸入），他们将相关 Brauer 类的周期与曲线的几何性质联系起来。
4. 精确序列： 通过结合计算出的 Brauer 群与来自 Leray 光谱序列及 étale 层短正合序列 $0 \to \text{Pic}^0_{\mathcal{J}/B} \to \text{Pic}_{\mathcal{J}/B} \to \text{NS}_{\mathcal{J}/B} \to 0$ 的精确序列，推导出 $\text{X}(\mathcal{J})$ 的最终计算。

关键结果

• Brauer 群的一般定理： 对于单连通光滑射影簇 $X$ 和满足条件 $\dagger$ 的“充分充足”线丛 $L$，Brauer 群 $Br(|L|_{sm})$ 至多为 $\mathbb{Z}/2\mathbb{Z}$。具体而言，如果类 $[\Sigma_2]$ 在 $H^2(\Sigma, \mathbb{Z}/2\mathbb{Z})$ 中非零，则该群消失；否则为 $\mathbb{Z}/2\mathbb{Z}$。
• 平面曲线：
  • 对于次数 $d \ge 3$ 的平面曲线线性系统，$Br(|L|_{sm}) \cong 0$ 若 $d$ 为奇数，若 $d$ 为偶数则 $\cong \mathbb{Z}/2\mathbb{Z}$。
  • 对于 $d \ge 4$，相对 Jacobian 的 Tate–Shafarevich 群由 Torsor $\text{Pic}^1_{\mathcal{C}/B}$ 生成，从而得到 $\text{X}(\mathcal{J}) \cong \mathbb{Z}/d\mathbb{Z}$。
  • 对于 $d=3$（三次曲线），Tate–Shafarevich 群为 $\text{X}(\mathcal{J}) \cong \mathbb{Z}/6\mathbb{Z}$。由于二节点集合的可约性，此情况需要单独处理。
• K3 曲面：
  • 对于 Picard 数为 1 且次数 $L^2 \ge 20$ 的原初极化 K3 曲面 $(S, L)$，$Br(|L|_{sm}) = 0$。条件 $L^2 \ge 20$ 确保了 $L$ 是 5-very ample。
  • 文中提供了低次数 K3 曲面的反例：对于次数为 2 的情况，Brauer 群很大（对于任何素数 $p$，其在 $\mathbb{F}_p$ 上至少是 343 维的）；对于次数为 4 的情况，$Br(|L|_{sm}) \cong \mathbb{Z}/2\mathbb{Z}$。
• 三次四维流形： 对于一般的光滑三次四维流形 $X$，线性系统 $|\mathcal{O}_X(1)|$ 的光滑集的 Brauer 群消失，即 $Br(|\mathcal{O}_X(1)|_{sm} = 0$。

意义与主张
作者将他们的工作描述为对线性系统基底的 Brauer 群提供了“出人意料地有效的控制”，这在研究 K3 曲面和超凯勒簇时是一个常见的技术障碍。其主要贡献是显式计算了通用光滑平面曲线的相对 Jacobian 的 Tate–Shafarevich 群，并识别了其生成元和结构。

论文指出，这些结果适用于与 $K3^{[n]}$ 和 $OG10$ 型紧致超凯勒簇相关的拉格朗日纤维化的光滑集（特别是 Laza–Saccà–Voisin 纤维化）。在高次数或一般情形下 Brauer 群的消失表明，一般拉格朗日纤维化的光滑集通常可能具有平凡的 Brauer 群，这一性质有助于研究扭曲层（twisted sheaves）和模空间。作者明确表示，他们并未处理偶数次数下非平凡 Brauer–Severi 簇的几何实现，也未处理三次曲线中特定的 2-阶扭曲，并将这些留作开放问题。