Insufficiency of the algebraic Brauer--Manin obstruction for homogeneous spaces

技术摘要：齐次空间中代数 Brauer–Manin 阻碍的不足性

问题陈述
本文探讨了有理点（rational points）在代数簇上不满足哈塞原理（Hasse principle，即局部-整体原理）的问题。具体而言，本文研究了 Brauer–Manin 阻碍（由 Manin 引入的一种上同调机制）是否足以解释连通线性代数群的齐次空间中所有此类失效情况。

虽然对于具有“驯 tame”几何性质的簇（例如几何上有理连通的簇）以及具有连通或交换稳定子的齐次空间，Brauer–Manin 阻碍的充分性已经得到确立，但对于有限非交换稳定子的情形，该问题在很大程度上仍是开放的。Demarche、Lucchini Arteche、Neftin、Demeio 和 Lagarde 先前的研究表明，在有限常数亚幂（metabelian）稳定子的情形下，代数部分的 Brauer–Manin 阻碍对于弱逼近（weak approximation）是不充分的。然而，此前尚不知道是否存在连哈塞原理本身失效的齐次空间，且其原因在于代数阻碍。本文旨在构造这样一个反例。

方法论
作者利用包含一个原始 $p$ 次单位根（其中 $p$ 为奇素数）的数域 $k$ 上的特殊线性群 $SL_n$ 的一个特定齐次空间 $X$ 来构造反例。该构造依赖于 Borovoi 和 Kunyavskii 开发的理论框架，并由作者在之前的研究 [Lin24] 中进行了进一步完善。

1. 群构造： 齐次空间的几何稳定子 $F$ 被构造为 $M \oplus M$ 关于 $Z$ 的一个中心扩张，其中 $M = \mathbb{F}_p^d$，而 $Z$ 是 $M \otimes M$ 的一个商。该扩张是通过一个满射、非退化的同态 $\phi: M \otimes M \to Z$ 来定义的。
2. 数值数据： 作者选择 $d = [k:\mathbb{Q}] + 3$，并定义包含关系 $A \otimes A \to M \otimes M$（其中 $A=\mathbb{F}_p$），通过将生成元映射到单位矩阵 $Id$。因此，群$F$的幂零类为 2，阶数为$p^{d^2+2d-1}$。
3. 上同调设置： 利用全局类域论构造了一个类 $\beta \in H^2(k, Z)$。该类在除了一组不同的有限处 $\{v_1, \dots, v_d\}$ 之外的所有处都消失，而在这些处的局部不变量对应于 $\phi$ 下秩为 1 的矩阵 $e_i \otimes e_i$ 的像。
4. 局部与全局分析：
   • 局部存在性： 利用 Tate 的局部对偶性以及局部上同调群 $H^1(k_v, \mathbb{F}_p)$ 的秩很小（对于不整除 $p$ 的处，其秩不超过 2）这一事实，作者证明了方程 $\beta|_{k_v} = \phi^*(x_v \cup y_v)$ 在每个处 $v$ 都有局部解 $x_v, y_v$。这确保了对于所有处 $v$，都有 $X(k_v) \neq \emptyset$。
   • 全局不存在性： 作者证明了不存在全局解。他们利用从 $H^1(k_v, \mathbb{F}_p)$ 的维数导出的关于矩阵 $A_v = \text{Inv}_v(x \cup y)$ 的秩的一致界限。对于足够大的 $d$，局部约束迫使 $A_v$ 在特定的处恰好为 $e_i \otimes e_i$，而在其他处为 $0$。这些局部不变量之和产生单位矩阵$Id$，该矩阵非零，这与全局互反律（要求局部不变量之和为零）相矛盾。

主要贡献与结果
本文确立了以下主要结果（定理 1）：

• 反例构造： 存在一个 $SL_n$ 在数域 $k$ 上的齐次空间 $X$，其具有幂零类为 2 的有限 $p$ 群稳定子，使得：

  1. $X$ 在每个完备化 $k_v$ 中都有点（局部可解性）。
  2. $X$ 没有有理点（$X(k) = \emptyset$）。
  3. 无亏代数 Brauer 群满足 $Br_{nr,1}(X) = Br_0(X)$。

• 超越阻碍： 由于代数部分的 Brauer–Manin 阻碍是平凡的（等于常数部分），因此哈塞原理的失效不能由代数类来解释。作者证明了完整的无亏 Brauer 群 $Br_{nr}(X)$ 与常数部分相比同构于 $\mathbb{Z}/p$。通过使用线性型 $L: M \otimes M \to \mathbb{F}_p$ 构造一个显式的超越类 $A_L \in Br_{nr}(X)$，他们展示了该类会产生一个非零的 Brauer–Manin 配对：
  $$\sum_v \text{inv}_v(A_L(P_v)) = 1 \in \mathbb{Z}/p$$
  这证实了哈塞原理的失效是由一个超越 Brauer–Manin 阻碍所解释的。

意义
本文提供了第一个关于连通线性代数群的齐次空间的反例，其中哈塞原理的失效是由超越 Brauer–Manin 阻碍引起的，而代数阻碍在此并不充分。这一结果强调了在具有有限非交换稳定子的齐次空间算术研究中考虑超越类的必要性。它证实了对于此类空间，“驯 tame”几何猜想（通常依赖于阿贝尔对偶性）并不充分，必须利用包括超越元素在内的完整 Brauer–Manin 阻碍来控制有理点。该方法利用了稳定子的幂零类、局部上同调群的秩以及全局互反律之间的相互作用。