p-Primary Torsion of the Brauer Group in Characteristic p

技术摘要：特征 $p$ 下 Brauer 群的 $p$-初元扭：

问题陈述
本论文研究了在特征为 $p > 0$ 的代数封闭域 $k$ 上，光滑完备簇 $X$ 的 Brauer 群 $p$-初元分量（记作 $\text{Br}(X)[p^\infty]$）的结构。虽然对于 $\ell \neq p$ 的 $\ell$-初元扭通过 étale 上同调和 Kummer 序列已有成熟的理解，但 $p$-初元部分则要复杂得多。群 $\text{Br}(X)[p^\infty]$ 分解为一个除部分 $(\mathbb{Q}_p/\mathbb{Z}_p)^{r-\rho}$（其中 $r$ 是晶体上同调中斜率 1 的重数，$\rho$ 是 Picard 数）和一个扭部分 $H^3(X, \mathbb{Z}_p(1))[p^\infty]$。本文解决的核心挑战是对后者进行精确描述，该部分符合如下正合序列：
$$0 \to U(k) \to H^3(X, \mathbb{Z}_p(1))[p^\infty] \to J \to 0$$
其中 $U$ 是一个连通交换幺正代数群，$J$ 是一个有限群。本论文旨在确定 $U$ 和 $J$ 的维数、同构类以及显式结构，特别是针对阿贝尔簇的情况。

研究方法
本研究综合运用了算术几何领域的多种先进工具：

1. Illusie 的对数 de Rham-Witt 层理论： 论文利用 de Rham-Witt 复形 $W\Omega^\bullet_{X/k}$ 及其对数子层 $W\Omega^i_{X/k, \log}$，将平坦上同调 $H^i_{fppf}(X, \mu_{p^n})$ 与晶体上同调联系起来。
2. 斜率谱序列与多米诺数（Domino Numbers）： 分析依赖于斜率谱序列 $E_1^{pq} = H^q(X, W\Omega^p_{X/k}) \Rightarrow H^{p+q}_{\text{cris}}(X/W)$。由于 $p$-扭的存在，该序列在 $E_1$ 页并不退化，其程度由 Crew 和 Ekedahl 引入的“多米诺数” $T^{ij}$ 来衡量。幺正群 $U$ 的维数被确定为多米诺数 $T^{0,2}$。
3. Dieudonné 模理论： 对于阿贝尔簇，论文将几何问题转化为 Cartier-Dieudonné 环 $W\sigma[F, V]$ 上的线性代数问题。它采用了 Kraft 对有限交换群模式的分类，以及基于 Ekedahl-Oort 型的模空间分层。
4. Skorobogatov 公式： 一个关键的方法论工具是 Skorobogatov 的公式（针对 $p \neq 2$），它通过对称同态群 $\text{Hom}(A[p^n], A^\vee[p^n])_{\text{sym}}$ 来表达 $\text{Br}(A)[p^n]$。这使得通过 Dieudonné 模的关系进行计算 $p$-扭子群 $U[p]$ 成为可能。
5. 平坦对偶与形式群： 本工作应用了 Milne 关于曲面的平坦对偶定理，并研究了在不依赖 Ekedahl 的对角 $t$-结构的情况下，平坦 Artin-Mazur 形式群的光滑性。

核心贡献与结果

第一部分：一般理论与初步应用

• 结构定理： 论文确认了分裂正合序列 $0 \to (\mathbb{Q}_p/\mathbb{Z}_p)^{r-\rho} \to \text{Br}(X)[p^\infty] \to H^3(X, \mathbb{Z}_p(1))[p^\infty] \to 0$。
• 幺正维数： 它确立了幺正群 $U$ 的维数由多米诺数 $T^{0,2}$ 给出。对于曲面，这恢复了 Crew 的公式：$\dim U = (h_{0,2} - h_{0,1}) - (m_{0,2} - m_{0,1})$。
• 平凡簇（Ordinary Varieties）： 研究表明，若 $X$ 是平凡的，则 $U = 0$，且 $J$ 是 $\text{NS}(X)[p^\infty]$ 的 Pontryagin 对偶。
• 曲面： 对于满足 $q = -p_a$ 的曲面（包括 Enriques、Godeaux 和超椭圆曲面），$U=0$。有限群 $J$ 被识别为 Neron-Severi 群 $p$-扭的对偶。
• 乘积： 利用 Ekedahl 的 Künneth 公式，证明了若 $X$ 是平凡的，则 $\text{Br}(X \times Y)$ 的幺正部分同构于 $\text{Br}(Y)$ 的幺正部分。

第二部分：阿贝尔簇

• Skorobogatov 公式的应用： 论文利用对称同态群显式计算了主极化阿贝尔簇的 $\text{Br}(A)[p^n]$。
• $U[p]$ 的维数： 对于具有 Ekedahl-Oort 型 $\phi$ 的 $g$ 维主极化阿贝尔簇，$U[p]$ 的维数可以通过组合方式基于该类型进行计算。
• 三维情形的分类： 论文提供了所有阿贝尔三维簇的 $U$ 同构类的完整分类。结果按 Newton 多边形和 $a$-数进行列表。一个重要的发现是：$U$ 不是加法群 $\mathbb{G}_a$ 的乘积，当且仅当 $A$ 是 $a$-数为 1 的超奇异（supersingular）阿贝尔簇（称为“超一般型”，supergeneral）。在这种特定情况下，$U$ 与 $\mathbb{G}_a \times W_2$（其中 $W_2$ 是长度为 2 的 Witt 群）同构。
• 显式同态群： 对于超一般主极化阿贝尔三维簇，$\text{Hom}(A[p^2], A^\vee[p^2])_{\text{sym}}$ 的连通分量被显式计算。结果显示它是一个幺正群 $W(b,c)_2 \oplus \mathbb{G}_a$，并在模空间中表现出良好的连续性。
• 猜想： 论文提出了一个猜想：对于任意超一般阿贝尔簇 $g$，$U$ 与 $\prod_{i=1}^{g-1} W_i$ 同构。

第三部分：进一步课题与应用

• 单射判别准则： 论文通过证明在 Frölicher 谱序列在 $E_1$ 页退化且 $H^1_{\text{cris}}$ 无扭的情况下，映射 $d\log: H^2_{fppf}(X, \mu_{p^n}) \to H^2_{\text{cris}}(X/W_n)$ 的单射性，推广了 Ogus 的结果。这适用于阿贝尔簇和 K3 曲面。
• 形式群的光滑性： 在不调用 Ekedahl 深奥的对角 $t$-结构的情况下，论文确立了所有阿贝尔三维簇以及一大类阿贝尔四维簇的平坦 Artin-Mazur 形式群 $\Phi^i_{fl}(A, \mathbb{G}_m)$ 的光滑性。
• Tate 猜想类比： 最后一部分讨论了关于除子的 Tate 猜想作为 Hodge 猜想的类比，利用 Artin-Hasse 指数映射和 Witt 向量的结构，将问题框架化为晶体上同调中的“一致有限”元素。

意义与主张
本文声称提供了一个对 Braer 群 $p$-初元扭的全面结构描述，不仅限于维数公式，还确定了幺正分量的具体同构类。

• 它解决了所有阿贝尔三维簇的 $\text{Br}(A)[p^\infty]$ 结构问题，识别出了 $U$ 为非平凡且非 $\mathbb{G}_a$ 乘积的唯一情况（即超一般情形）。
• 它提供了基于 Ekedahl-Oort 型的 $U[p]$ 维数的显式组合公式。
• 它为某些形式群的光滑性提供了一个新的、更基础的证明，绕过了对对角 $t$-结构的需求。
• 该工作提出了一个关于超一般情形下 $U$ 的同构类的猜想，并得到了三维情形下的显式计算及高维情形的部分结果支持。

论文强调，虽然 Crew 和 Ekedahl 已知 $U$ 的维数，但特征 $p$ 下幺正群的复杂行为（特别是其同构类）需要本文所呈现的显式 Dieudonné 模计算和 Skorobogatov 公式的应用。