On spectral sequences for semiabelian varieties over non-closed fields

技术摘要：关于非封闭域上半阿贝尔簇的谱序列

问题陈述
本文研究了非封闭域 $k$ 上代数簇 $X$ 的 étale 上同调复形 $R\Gamma_{\text{ét}}(X_{k^s}, \mathbb{Z}_\ell)$ 的结构。虽然 Deligne 的分解定理确保了对于光滑射影簇，其有理 étale 上同调复形与其各个上同调群的直和是拟同构的，但这一性质对于整系数而言并不成立。这种失效体现在 Hochschild–Serre 谱序列中：
$$E_2^{p,q} = H^p(k, H^q_{\text{ét}}(X_{k^s}, \mathbb{Z}_\ell)) \Rightarrow H^{p+q}_{\text{ét}}(X, \mathbb{Z}_\ell)$$
在一般情况下，该谱序列存在非零微分。作者旨在为半阿贝尔簇（阿贝尔簇与环的扩张）提供第一个潜在非零微分的精确描述，并确定这些微分消失或非零的条件。

方法论
作者结合了导出范畴技术、群上同调以及算术几何：

1. 导出范畴分析： 他们通过分析截断 $\tau^{[i, i+1]}R\Gamma_{\text{ét}}(X_{k^s}, \mathbb{Z}/n)$ 来识别对应于谱序列中微分的扩张类。
2. 归约为群上同调： 利用半阿贝尔簇是 étale $K(\pi, 1)$ 空间的性质，他们将 étale 上同调复形与 Tate 模（或对于环而言是特征标模）的连续群上同调复形联系起来。
3. 显式构造扩张： 他们构造了涉及二次函数和张量积的显式 2-扩张，以表示 $\text{Ext}^2_\Gamma$ 中的扩张类。具体而言，他们将微分 $\delta_2^{p,2}$ 与由二次函数序列 $0 \to M \to Q(M) \to M \otimes 2 \to \wedge^2 M \to 0$ 定义的扩张联系起来。
4. 算术配对： 对于阿贝尔簇，特别是雅可比簇，作者利用 Cassels–Tate 配对和 Poitou–Tate 对偶性来测试特定上同调类（与 theta 特征扭折 torsor 相关）对 2 的整除性。
5. Brauer–Manin 阻碍： 他们通过在局部可解簇上的 Brauer–Manin 配对来解释某些上同调阻碍，从而构造显式的反例。

主要贡献与结果

• 半阿贝尔簇微分的通解描述 (定理 1.6, 1.13)：
  作者提供了一个新的简短证明，描述了半阿贝尔簇 $A$ 的微分 $\delta_2^{p,2}: H^p(k, \wedge^2 M) \to H^{p+2}(k, M)$（其中 $M = H^1_{\text{ét}}(A_{k^s}, \mathbb{Z}_2)$）。他们表明该微分对应于一个涉及二次函数的特定 2-扩张的连接映射。通过 Bockstein 同态，这一描述被推广到系数 $\mathbb{Z}/2^m$。

• 阿贝尔曲面的非退化性 (定理 1, 定理 3.5)：
  与具有有理除子类的雅可比簇的行为相反，作者证明了 Hochschild–Serre 谱序列对于所有阿贝尔簇并不一定退化。他们构造了一个显式的定义在 $\mathbb{Q}$ 上的主极化阿贝尔曲面 $A$，其中微分 $\delta_2^{0,2}$ 非零。当 theta 特征的 torsor 类（或 Albanese torsor 类）在 Galois 上同调群 $H^1(k, J)$ 中不能被 2 整除时，就会发生这种情况。文中利用 Brauer–Manin 阻碍来验证非整除性，并提供了两个满足此条件的亏格 2 超椭圆曲线的具体例子。

• 具有有理除子的雅可比簇的退化性 (定理 3, 定理 2.1)：
  本文建立，如果一条曲线 $C$ 允许一个次数为 1 的 $k$-有理除子类，则其 étale 上同调复形在导出范畴 $D(\Gamma, \mathbb{Z}/n)$ 中可以分解。因此，对于此类雅可比簇，Hochschild–Serre 谱序列在第二页退化。这一结果推广了已知事实，但使用了在 $k$ 上定义的整 Künneth 投影进行证明。

• Torsors 与 Albanese Torsor (定理 4, 定理 5.1)：
  对于半阿贝尔簇 $A$ 的一个 torsor $X$，作者描述了分裂复形 $\tau^{[0,1]}R\Gamma_{\text{ét}}(X_{k^s}, \mathbb{Z}/n)$ 的阻碍。他们证明，对应于该阻碍在 $H^2(k, A[n])$ 中的类，恰好是 torsor 类 $[X] \in H^1(k, A)$ 在 Bockstein 同态下的像。这直接将上同调复性的非分裂性与 torsor 的非平凡性联系起来。

• 环的 Brauer 群 (定理 4.1)：
  作者描述了对于系数为 $\mathbb{G}_m$ 的环 $T$，Hochschild–Serre 谱序列中的微分 $d_3^{0,2}$。该微分计算了映射 $Br(T) \to Br(T_{k^s})^\Gamma$ 非单射性的阻碍。他们给出了该微分在 2-初元挠子部分上的显式公式，该公式利用了 Bockstein 映射和特征标模的扩张类。作为推论，他们确认了对于拟平凡环或在局部/全局域上的环，该映射是满射。

• 曲线的微分 (命题 6.1, 6.5, 推论 6.6)：
  对于光滑射影曲线，本文推广了 Suslin 引理。他们通过 Albanese torsor 表征了第二页上的微分；如果 Albanese torsor 能被 $n$ 整除，则第二页的微分消失，并且作者描述了第三页上的非零微分。这些第三页微分被证明是由源自曲线 Picard 叠层（stack）的特定类 $H^3(k, \mu_n)$ 诱导的。

意义与主张
本文声称为半阿贝尔簇的 Hochschild–Serre 谱序列第一个非零微分的公式提供了一个“新的、简短的证明”，统一了阿贝尔簇与环的处理方式。其主要意义在于：

1. 显式反例： 提供了首个已知的数域上阿贝尔簇（特别是阿贝尔曲面）使得谱序列失效退化的例子，挑战了“此类退化对所有阿贝尔簇均成立”的直觉。
2. 算术解释： 将微分的非消失性与深层的算术性质联系起来，特别是 theta 特征 torsor 类的 2-整除性以及 Brauer–Manin 阻碍。
3. 计算工具： 为计算环的 Brauer 群以及曲线的微分提供了显式公式，回答了先前文献（如 [CTS21]）中提出的特定问题。
4. 推广： 将上同调复形的分解结果推广到具有有理除子类的雅可比簇乘积的直因子，作者指出这一结果可能为专家所知，但在文献中此前是不可得的。

作者对于环的微分非消失性保持谦逊，指出虽然他们提供了一个公式，但目前尚不清楚是否存在环的非零例子（备注 4.2）。同样，对于阿贝尔曲面的构造依赖于 Creutz 和 Viray 现有的算术构造，作者通过综合这些构造来展示非退化现象。