Dichotomy for the p-primary Brauer-Manin obstruction in characteristic p

技术摘要：特征 $p$ 下 $p$-初 Brauer–Manin 阻碍的二分性

问题陈述
本文研究了在特征为 $p > 0$ 的全局函数域 $k$ 上，光滑、射影、几何连通的簇 $X$ 的 Brauer–Manin 阻碍的行为。具体而言，本文探讨了哪些地方 $v$ 对 $p$-初 Brauer–Manin 阻碍是“潜在相关”的。若存在有限扩张 $L/k$、 $L$ 上 $v$ 之上的位置 $w$，以及元素 $A \in \text{Br}(X_L)$，使得求值映射 $\text{ev}_A: X(L_w) \to \text{Br}(L_w)$ 是非常数的，则称该位置 $v$ 是潜在相关的。

这一探究受到数域情形中近期研究结果（Bright 和 Newton；Ambrosi, Newton 和 Pagano）的启发，这些研究表明，若 $H^0(X, \Omega^2) \neq 0$，则几乎所有位置都是潜在相关的。作者试图确定在正特征情况下，是否存在类似的二分性，并特别关注单连通部分（unipotent part）对 Brauer 群的作用。

数学框架与方法论
分析依赖于几何 Brauer 群 $p$-初挠部分 $\text{Br}(X_{\bar{k}})[p^\infty]$ 的结构。根据 Milne 和 Serre 的结论，该群对可除子群的商可以被识别为拟代数群 $G_X$ 的 $\bar{k}$-点。该群 $G_X$ 是一个由有限 étale 群 $D_X$ 扩张而成的光滑连通单连通群 $U_X$。作者将 $U_X$ 定义为 $X$ 的单连通 Brauer 群（unipotent Brauer group）。

该方法结合了两个主要的技术工具：

1. 平坦上同调的可表示性： 本文利用了 Bragg 和 Olsson [BO] 关于与 $X$ 的展开（spreading out）$\pi: \mathcal{X} \to C$ 相关联的平坦上同调层 $R^q\pi_*\mu_{p^n}$ 的广义可表示性结果。
2. 求值过滤（Evaluation Filtration）： 对于 $U_X \neq 0$ 的情况，作者采用了 Krishna 和 Majumder [KM] 关于等特征 $p$ 下 Kato 局部 Brauer 群过滤的最新结果。这种过滤允许对产生非常数求值映射的 Brauer 元素进行刻画。

证明过程涉及构造光滑模型 $\pi: \mathcal{X} \to C$（其中 $C$ 是函数域为 $k$ 的曲线），并分析层 $R^2\pi_*\mu_{p^n}$ 和 $R^3\pi_*\mu_{p^n}$ 在 $C$ 上的行为。$U_X$ 的维数与 $X_{\bar{k}}$ 的晶体上同调群的斜率（slopes）有关。

核心贡献与结果
核心结果是基于单连通 Brauer 群 $U_X$ 消失与否的一个二分性：

• 定理 A (i)： 若 $U_X = 0$ 且 Picard 方案是 $p$-无挠的，那么只有有限个 $k$ 的位置对于 $p$-初 Brauer–Manin 阻碍是潜在相关的。在这种情况下，潜在相关位置的集合包含在如下集合内：即特定的光滑展开 $\pi: \mathcal{X} \to C$ 未能满足 $R^2\pi_*\mu_p$ 是有限平坦群方案且 $R^3\pi_*\mu_p$ 是仿射群方案的位置。
• 定理 A (ii)： 若 $U_X \neq 0$，则几乎所有 $k$ 的位置对于 $p$-初 Brauer–Manin 阻碍是潜在相关的。证明表明，对于合适模型支持集中的任何位置，都可以通过利用单连通群方案 $R^2\pi_*\mu_p$ 的非平凡性，构造出一个求值映射为非常数的 Brauer 类。

推论与特例：

• 推论 B： 结合 $p$-初结果与已知的 $\ell$-初结果（$\ell \neq p$），若 $U_X = 0$ 且 Picard 方案是无挠的，则只有有限个位置对全 Brauer–Manin 阻碍是相关的。
• 常数簇（定理 C）： 若 $X$ 定义在有限域 $\mathbb{F}$ 上（即 $X$ 是 $k$ 上的常数簇）：
  • 若 $U_X = 0$ 且 Picard 方案是无挠的，则 Brauer–Manin 配对恒为零。
  • 若 $U_X \neq 0$，则每个 $k$ 的位置都是潜在相关的。
• 几何 $p$-无挠 Brauer 群（命题 4.1）： 若 $\text{Br}(X_{\bar{k}})[p^\infty] = 0$（这意味着 $U_X=0$），任何 $X$ 具有良好还原的位置都不是潜在相关的。论文提供了满足这些条件的非等变（non-isotrivial）K3 曲面的例子，表明此情形与常数簇的情形不同。

意义与主张
本文声称确立了正特征下 Brauer–Manin 阻碍行为的一个基本二分性，该二分性由单连通 Brauer 群的存在与否所驱动。

• 当 $U_X = 0$ 时，阻碍是“微小的”，即只有有限个位置可能通过 $p$-初部分来阻碍哈塞原理。
• 当 $U_X \neq 0$ 时，阻碍是“巨大的”，即几乎所有位置都是潜在相关的。

作者指出，虽然证明所需的曲线 $C$ 的存在性由 Bragg–Olsson 保证，但除了常数簇或具有良好还原的情况外，精确确定异常位置集通常很难显式化。这项工作扩展了对数域中 Brauer–Manin 阻碍的理解，强调了单连通现象在特征 $p$ 下的独特作用。