Cohomological Obstructions for Varieties over $p$-adic Function Fields

技术摘要：$p$-进函数域上簇的上同调阻碍

问题陈述
本文研究了定义在 $p$-进函数域（$p$-进域上光滑射影曲线的函数域）上的光滑整簇的算术性质。具体而言，本文调查了局部-整体原理（local-global principle）和弱逼近（weak approximation）的阻碍。虽然 Brauer–Manin 阻碍在数域上已有深入研究，但本文旨在建立一种针对 $p$-进函数域的系统性阻碍理论。一个核心问题是：确定由算术对偶性产生的“最精细”的阻碍，并确定无分歧上同调阻碍（unramified cohomological obstruction）是否比经典的 Manin 阻刻（通过 $H^3_{\text{ét}}$ 定义）或下降阻碍（descent obstructions）提供更强的约束。

方法论
作者结合使用了 étale 上同调、动机复形（motivic complexes）和算术对偶理论。

1. 上同调框架： 研究利用了 étale 层 $\mathbb{Q}/\mathbb{Z}(2)$ 和动机复形 $\mathbb{Z}(2)$。作者通过在阿代尔点 $X(\mathbb{A})$ 与上同调群之间的配对来定义阻碍，具体为 $H^3_{\text{ét}}(X, \mathbb{Q}/\mathbb{Z}(2))$（Manin 阻碍）和无分歧上同调群 $H^3_{\text{nr}}(X, \mathbb{Q}/\mathbb{Z}(2))$。
2. 函子化方法： 通过使用从 $K$-方案范畴到集合的逆变函子，将阿代尔点的求值映射图像与局部-整体相容性条件进行比较，从而构造阻碍。
3. 谱序列： 利用 Čech 谱序列和 Hochschild–Serre 谱序列来计算特定几何构造（特别是仿射空间由群作用生成的商空间）的上同调群。
4. 上同调不变量： 本文利用上同调不变量理论（特别是 Rost 不变量）将无分歧上同调群与半单单连通群的不变量群联系起来。
5. 算术对偶性： 分析依赖于 Poitou–Tate 序列和局部不变量（$H^3(K_v, \Lambda)$ 与 $\mathbb{Q}/\mathbb{Z}$ 之间的同构）来建立精确序列和对偶配对。

主要贡献与结果

• 阻碍的比较（定理 1.1）：
  本文建立了上同调阻碍的层级关系。它证明了对于光滑整 $K$-方案 $X$ 和交换线性代数 $K$-群 $M$：

  • 无分歧阻碍比 Manin 阻碍更精细：$X(\mathbb{A})^{H^3_{\text{nr}}} \subseteq X(\mathbb{A})^{H^3_{\text{ét}}}$。
  • 无分歧阻碍比任何由 $\alpha \in H^i_{\text{ét}}(X, M)$ （其中 $i \ge 1$）产生的阻碍更精细。
  • 对于有限群 $M$，无分歧阻碍比来自无分歧上同调类的阻碍更精细。
  • 本文证明了无分歧阻碍与通过动机复形定义的 $H^4_{\text{ét}}(X, \mathbb{Z}(2))$ 阻碍一致。

• 存在严格更强的无分歧阻碍（定理 1.2）：
  作者构造了一个显式的簇 $X = Y/G$ 的例子（其中 $G$ 是一个半单单连通群，在仿射空间的开集上自由作用），使得：

  • Manin 阻碍是平凡的（$X(\mathbb{A})^{H^3_{\text{ét}}} = X(\mathbb{A})$）。
  • 无分歧阻碍是非平凡的（$X(\mathbb{A})^{H^3_{\text{nr}}} \subsetneq X(\mathbb{A})$）。
    该结果依赖于 Rost 不变量 $R$ 的性质，以及存在使得 $H^1(K_v, G) \neq 1$ 但 Rost 核（Rost kernel）为平凡的局部处 $v$。

• 与下降阻碍的关系（定理 1.3）：
  本文将无分歧阻碍与下降阻碍进行了比较。它证明了对于嵌入在 $SL_n$ 中的线性 $K$-群 $G$，以下各项是等价的：

  • 商空间 $X = SL_n/G$ 上的无分歧阻碍与由 $SL_n(\mathbb{A})$ 和有理点 $X(K)$ 生成的阿代尔点集一致。
  • 对于任何光滑整方案 $Z$ 以及任何 $G$-挠锥（$G$-torsor）$f: Y \to Z$，无分歧阻碍包含在下降阻碍中（$Z(\mathbb{A})^{H^3_{\text{nr}}} \subseteq Z(\mathbb{A})_f$）。
    证明过程利用了收缩积（contracted products）以及挠锥扭转下无分歧上同调的同构性。

意义与主张
本文声称提供了对 $p$-进函数域上阻碍理论的系统性理解，这与数域上的发展相类比。

• 阻碍的精细化： 它确定了无分歧阻碍是该语境下由算术对偶性和 Brauer 群产生的阻碍中最精细的一个。
• 反例： 它通过一个具体的反例解决了无分歧阻碍是否严格强于 Manin 阻碍的问题；在该反例中，Manin 阻碍未能检测出局部-整体原理的失效，而无分歧阻碍则成功检测到了。
• 动机联系： 它通过动机复形澄清了不同上同调次数（$H^3_{\text{nr}}$ vs. $H^4_{\text{ét}}$）之间的关系，表明它们定义了相同的阻碍集。
• 局限性： 本文谦虚地指出，由于目前缺乏适用于 $p$-进函数域的合适的 Kottwitz 精确序列推广，因此与一般下降阻碍的完整比较目前仍受限制。

这项工作建立并扩展了 Harari, Scheiderer, Szamuely, Tian 等人关于还原群局部-整体原理的研究，并与 Colliot-Thélène 关于弱逼近的猜想相联系。