Néron--Severi groups of proper schemes over finite fields

技术摘要：有限域上良性方案的 Néron–Severi 群

问题陈述
本文研究了有限域 $k = \mathbb{F}_q$ 上良性还原方案 $X$ 的 Néron–Severi 群 $NS(X)$ 的特征化问题。在光滑射影复簇的语境下，Lefschetz $(1,1)$ 定理将 $NS(X)$识别为$H^2(X, \mathbb{Z})$中的整$(1,1)$-类。对于奇异复簇，这种识别并不成立；然而，对于良性（seminormal）簇，Hodge 过滤层 $F^1$ 与 Zariski 本地平凡类的交集可以正确恢复 $NS(X)$（这是 Barbieri-Viale, Rosenschon 和 Srinivas 的结果）。

在有限域上，类似的问题涉及 $\ell$-adic 上同调 $H^2_{\text{ét}}(X, \mathbb{Z}_\ell(1))$（其中 $\ell \neq \text{char}(k)$）。作者研究了是否可以在不假设方案是良性或不可约的情况下，通过在 Zariski 本地平凡类子群内施加单一的权重条件来刻画 $NS(X) \otimes \mathbb{Z}_\ell$。

方法论与策略
证明策略依赖于通过光滑良性超覆盖进行的下降论证，并将其适配到有限域的算术环境下。

1. 通过 Zariski 上同调实现的有理同构： 作者定义了一个有理不变量 $H^1_{\text{Zar}}(X, H^1)$，其中 $H^1$ 是与预层 $U \mapsto H^1_{\text{ét}}(U, \mathbb{Q}_\ell(1))$ 相关的 Zariski 层。他们旨在证明一个同构：
   $$NS(X) \otimes \mathbb{Q}_\ell \xrightarrow{\sim} H^1_{\text{Zar}}(X, H^1)^{w=0}$$
   其中上标 $w=0$ 表示几何 Frobenius 作用特征值为绝对值 1 的子空间（即权重为零）。

2. 通过超覆盖进行下降： 证明过程首先在光滑良性方案上建立结果（这遵循 Bloch–Ogus 理论），然后通过光滑良性超覆盖 $\pi_\bullet: X_\bullet \to X$ 将其推广到任意良性还原方案。

   • 单纯循环类： 他们构造了一个单纯循环类映射，并分析了与该超覆盖相关的骨架谱序列。
   • 权重分解： 一个关键步骤是分离权重分量。作者表明相关映射的核与余核是纯权重 $-2$或$-1$ 的，从而确保权重为零的部分在下降过程中表现良好。

3. 拓扑工具：

   • sdh-拓扑： 为了处理从任意方案到良性方案的过渡，作者利用了 sdh-拓扑（由 étale 覆盖和具有可分剩余域扩张的紧致态射生成）。他们利用 Huber–Kelly 的结果表明，在良性方案上，$sdh$-层化后的单位元恢复了良性化的单位元。
   • v-下降： 对于特征 $p$ 下线丛（Picard 群）的下降，作者采用了 Bhatt–Scholze 的 $v$-下降理论用于向量丛。这使得他们能够建立：在与 $\mathbb{Q}_\ell$ 结合后，一个方案的 Picard 群同构于其光滑良性超覆盖的 Picard 群的等化器。
   • 良性化（Seminormalization）： 作者通过证明沿良性化映射 $\rho: X^{sn} \to X$ 的拉回在 $NS(X) \otimes \mathbb{Q}_\ell$ 上诱导同构，从而将一般情况简化为良性情况。这依赖于单位元层映射的余核被 $p$ 的幂次湮灭这一事实（由于 $\ell \neq p$，在与 $\mathbb{Q}_\ell$ 结合后该项消失）。

主要贡献与结果

• 主定理 (Theorem 3.4)： 对于有限域 $k$ 上的良性还原方案 $X$，$\ell$-adic 循环类映射诱导一个 $G_k$-等变同构：
  $$c_1: NS(X) \otimes \mathbb{Q}_\ell \xrightarrow{\sim} H^1_{\text{Zar}}(X, H^1)^{w=0}$$
  此处，$H^1_{\text{Zar}}(X, H^1)^{w=0}$ 是层 $H^1$ 的 Zariski 上同调的权重为零子空间。

• 整特征化 (Corollary 3.6)： 主定理可以精炼为一个整结论。第一 Chern 类将 $NS(X) \otimes \mathbb{Z}_\ell$ 识别为 $H^2_{\text{ét}}(X, \mathbb{Z}_\ell(1))$ 中 Zariski 本地平凡类的子群，且该子群在 $H^2_{\text{ét}}(X, \mathbb{Q}_\ell(1))$ 中的像具有权重零：
  $$NS(X) \otimes \mathbb{Z}_\ell \xrightarrow{\sim} \left\{ \alpha \in H^2_{\text{ZL}}(X, \mathbb{Z}_\ell(1)) : \alpha \otimes \mathbb{Q}_\ell \in H^2_{\text{ét}}(X, \mathbb{Q}_\ell(1))^{w=0} \right\}$$

• 与 Tate 猜想的关系： 文中指出，如果光滑良性簇的除子 Tate 猜想成立（即将 $NS(Y) \otimes \mathbb{Q}_\ell$ 识别为 étale 上同调的有限阶部分），那么主定理将此识别扩展到所有良性还原方案：
  $$NS(X) \otimes \mathbb{Q}_\ell \cong H^2_{\text{ét}}(X, \mathbb{Q}_\ell(1))_{\text{fo}}$$

• 条件的必要性： 作者通过示例证明了两个条件——即 being Zariski-locally trivial（Zariski 本地平凡性）和 having weight zero（权重为零）——都是必要的。

  • 如果没有 Zariski 本地平凡性条件，$H^2_{\text{ét}}$ 的权重零子空间可能严格大于 $NS(X) \otimes \mathbb{Q}_\ell$（例如，对于非超奇异阿贝尔曲面或 K3 曲面）。
  • 如果没有权重为零的条件，$H^1_{\text{Zar}}(X, H^1)$ 即使对于正规射影曲面也可能包含非零的权重 $(-1)$ 分量（示例 8.11）。

意义
本文建立了复簇情形下由 Barbieri-Viale, Rosenschon 和 Srinivas 提出的定理在有限域上的类似物。其主要意义在于移除了限制性假设：与要求良性性的复情形不同，该结果对于有限域上的所有良性还原方案均成立。作者通过利用特征 $p$ 特有的工具（如 $v$-下降和 $sdh$-拓扑）绕过了对良性性的需求。这项工作通过权重过滤和局部平凡性，为 Néron–Severi 群提供了一个精确的上同调特征化，统一了不同几何语境下代数循环的描述。