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

技術的要約：有限体上の固有スキームのネロン・セヴェリ群

問題設定
本論文は、有限体 $k = \mathbb{F}_q$ 上の固有簡約スキーム $X$ に対するネロン・セヴェリ群 $NS(X)$の特徴付けを扱う。滑らかな射影複素多様体の文脈では、レフシェッツの$(1,1)$定理により、$NS(X)$は$H^2(X, \mathbb{Z})$の整数$(1,1)$ クラスと同一視される。特異な複素多様体の場合、この同一視は成立しないが、固有の半正規（seminormal）多様体については、ホッジ・フィルトレーションのレベル $F^1$ と、ザリスキー局所的に自明なクラスのサブグループとの共通部分が $NS(X)$ を正しく回収する（Barbieri-Viale, Rosenschon, Srinivas による結果）。

有限体の場合は、これに相当する問題として $\ell$ 進コホモロジー $H^2_{\text{ét}}(X, \mathbb{Z}_\ell(1))$ （ここで $\ell \neq \text{char}(k)$）が関わる。著者らは、$X$ が半正規であることや既約であることを仮定せずに、ザリスキー局所的に自明なクラスのサブグループ内における「ウェイト」に関する単一の条件によって、$NS(X) \otimes \mathbb{Z}_\ell$ を特徴付けられるか否かを調査している。

手法および戦略
証明戦略は、有限体の算術的な設定に適応させた、滑らかな固有ハイパーカバーによる降下（descent）議論に基づいている。

1. ザリスキー・コホモロジーによる有理的同型: 著者らは、前層 $U \mapsto H^1_{\text{ét}}(U, \mathbb{Q}_\ell(1))$ に随伴するザリスキー層 $H^1$ を用いて、有理不変量 $H^1_{\text{Zar}}(X, H^1)$ を定義する。そして、以下の同型を示すことを目的とする：
   $$NS(X) \otimes \mathbb{Q}_\ell \xrightarrow{\sim} H^1_{\text{Zar}}(X, H^1)^{w=0}$$
   ここで、上付き添字 $w=0$ は、幾何学的フロベニウスが絶対値 1 の固有値で作用する部分空間を表す。

2. ハイパーカバーによる降下: 証明は、まず滑らかな固有スキームに対して結果を確立し（これはBloch–Ogus理論から従う）、次に滑らかな固有ハイパーカバー $\pi_\bullet: X_\bullet \to X$ を用いて、任意の固有簡約スキームへと拡張する手順で行われる。

   • 単体的サイクル類: 著者らは単体的サイクル類写像を構成し、ハイパーカバーに関連する骨格スペクトル系列（skeletal spectral sequence）を解析する。
   • ウェイト分解: ウェイト成分を分離することが重要なステップである。著者らは、関連する写像の核（kernel）と余核（cokernel）が純粋なウェイト $-2$または$-1$ であることを示し、これによりウェイト 0 の部分が降下に対して良好に振る舞うことを保証している。

3. 位相幾何学的ツール:

   • sdh-位相: 一般的なスキームから半正規なものへの移行を扱うため、著者らは sdh-位相（エタール被覆および分離剰余体拡大を伴う固有射によって生成される）を利用する。Huber–Kelly の結果を用いて、半正規スキーム上では、単位（units）の $sdh$-層化が半正規化の単位を回収することを示す。
   • v-降下: 特性 $p$ におけるラインバンドル（ピカール群）の降下のために、著者らは Bhatt–Scholze のベクトルバンドルの $v$-降下を用いる。これにより、$\mathbb{Q}_\ell$ でテンソルした後、$X$ のピカール群が、滑らかな固有ハイパーカバーのピカール群の等式化子（equalizer）と同型であることを確立できる。
   • 半正規化: 著者らは、半正規化写像 $\rho: X^{sn} \to X$ によるプルバックが $NS(X) \otimes \mathbb{Q}_\ell$ 上の同型を誘導することを示すことにより、一般の場合を半正規の場合へと帰着させる。これは、単位層の余核が $p$ の冪によって消滅すること（$\ell \neq p$ であるため）に基づいている。

主要な貢献および結果

• 主定理 (Theorem 3.4): 有限体 $k$ 上の固有簡約スキーム $X$ に対して、$\ell$ 進サイクル類写像は $G_k$-equivariant な同型を誘導する：
  $$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$ のザリスキー・コホモロジーのウェイト 0 部分空間である。

• 整数的特徴付け (Corollary 3.6): 主定理は整数的な記述へと洗練される。第 1 チェルン類は、$NS(X) \otimes \mathbb{Z}_\ell$ を、$H^2_{\text{ét}}(X, \mathbb{Q}_\ell(1))$ におけるウェイト 0 の像を持つ、ザリスキー局所的に自明な $H^2_{\text{ét}}(X, \mathbb{Z}_\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\}$$

• テイト予想との関係: 本論文は、もし滑らかな固有多様体に対する因子（divisor）のテイト予想（$NS(Y) \otimes \mathbb{Q}_\ell$ をエタール・コホモロジーの有限位数部分と同一視するもの）が成立するならば、主定理はこの識別をすべての固有簡約スキームへと拡張することを述べている：
  $$NS(X) \otimes \mathbb{Q}_\ell \cong H^2_{\text{ét}}(X, \mathbb{Q}_\ell(1))_{\text{fo}}$$

• 条件の必要性: 著者らは、ザリスキー局所的な自明性とウェイト 0 の両方の条件が必要であることを示す例を提示している。

  • ザリスキー局所的な自明性の条件がない場合、 $H^2_{\text{ét}}$ のウェイト 0 部分空間は $NS(X) \otimes \mathbb{Q}_\ell$ よりも厳密に大きくなる可能性がある（例：非超特異なアーベル面やK3曲面）。
  • ウェイト 0 の条件がない場合、$H^1_{\text{Zar}}(X, H^1)$ は、正規な射影曲面においてさえ、非ゼロのウェイト $(-1)$ 成分を含むことがある（例 8.11）。

意義
本論文は、複素多様体に関する Barbieri-Viale, Rosenschon, Srinivas の定理の有限体における類似物を確立している。その主な意義は、制限的な仮定を取り除いた点にある。複素数の場合、半正規性が要求されるが、本結果は特性 $p$ 特有のツール（$v$-降下や $sdh$-位相など）を活用することで、すべての固有簡約スキームに対して成立する。著者らは、ウェイト・フィルトレーションと局所的な自明性の観点から、ネロン・セヴェリ群の精密なコホモロジー的特徴付けを実現しており、異なる幾何学的文脈における代数的サイクルの記述を統一している。