Zero-cycles on varieties over a $\mathfrak{B}_s$-field

以下は、Toshiro Hiranouchi と Rin Sugiyama による論文「ZERO-CYCLES ON VARIETIES OVER A Bs-FIELD」の技術的な要約です。

1. 研究の背景と問題設定

背景:
代数幾何学における「高次チャウ群（Higher Chow groups）」$CH^m(X, n)$ は、モチフィックコホモロジーの理解や数論幾何への応用において中心的な役割を果たします。特に、有限体上の滑らかな射影多様体 $X$ における零次元サイクル（0-cycles）の構造は、高次元類体論によってよく理解されています（例：$CH^d(X, 0)$ の構造）。

問題:
本研究は、有限体よりも広いクラスの体（$B_s$-体）上で定義された多様体 $X$ における高次チャウ群 $CH^{d+n}(X, n)$ の構造、特に $n \ge s$ の場合の性質を明らかにすることを目的としています。ここで $d = \dim(X)$ です。
具体的には、以下の条件を満たす体 $F$ を考えます：
任意の有限拡大 $E'/E$ に対して、ミルナー K 群 $K^M_s$ 上のノルム写像 $N_{E'/E}: K^M_s(E') \to K^M_s(E)$ が全射である。
このような体を $B_s$-体 と呼びます。

• $s=1$: 有限体、局所体など。
• $s=2$: 局所体、虚二次体、有限体上の 1 変数関数体など。
• $s=0$: 代数的閉体。

本研究の核心は、$B_s$-体 $F$ 上の多様体 $X$ において、$CH^{d+n}(X, n)$ がどのような分解構造を持つのか、またその核（構造射 $f: X \to \text{Spec}(F)$ によって誘導される写像の核）がどのような性質を持つかを記述することです。

2. 主要な手法と理論的枠組み

本研究では、以下の理論的道具を駆使して証明を行っています。

1. Mackey 積（Mackey product）の理論:

   • 体 $F$ 上の Mackey 関手（Mackey functor）の圏におけるテンソル積（Mackey 積）を導入し、高次チャウ群を Mackey 関手の積として記述します。
   • 特に、Somekawa 型の K 群 $K(F; CH_0(X), G_m, \dots, G_m)$ と高次チャウ群の同型（Theorem 2.3）を利用します。

2. $B_s$-体の性質とノルム写像:

   • $B_s$-体の定義（ミルナー K 群におけるノルム写像の全射性）を、Mackey 積の転送写像（transfer map）の全射性を示すために利用します。
   • 補題 3.1 や 3.2 において、$B_s(l)$-体（$l$-部分群に関する条件）上で、特定の Mackey 積が $l$-可除（$l$-divisible）であることを示します。

3. 幾何学的還元（Geometric Reduction）:

   • 高次元多様体 $X$ の問題を、曲線（1 次元）のケースに還元する手法を採用します（補題 3.3, 3.4, 命題 3.5）。
   • 特異点を持つ曲線を正規化し、さらに有限拡大を施して滑らかな曲線に還元するプロセスを通じて、Mackey 積の可除性を証明します。

4. Kato ホモロジー群との関連:

   • Bloch-Ogus 型の複素数を用いて定義される Kato ホモロジー群 $KH^{(n)}_j(X, \mathbb{Z}/l^r\mathbb{Z})$ と高次チャウ群の関係を、Bloch-Kato 予想（ノルム剰余同型定理）を介して結びつけます。

3. 主要な結果（定理と系）

定理 1.2（主定理、Theorem 3.6, Corollary 3.7）:
$F$ を $B_s$-体、$X$ を $F$ 上の $d$ 次元の滑らかで射影的かつ幾何学的に既約なスキームとする。

1. 可除性: $n \ge s+1$ に対して、高次チャウ群 $CH^{d+n}(X, n)$ は可除群（divisible group）である。
2. 構造分解: $n = s$ の場合、構造射 $f: X \to \text{Spec}(F)$ が誘導する写像 $f_*: CH^{d+s}(X, s) \to CH^s(\text{Spec}(F), s) \cong K^M_s(F)$ は全射であり、その核は可除群である。
   • したがって、次の分解が成り立つ：
     $$CH^{d+s}(X, s) \cong K^M_s(F) \oplus D$$
     ここで $D$ は可除群である。

応用結果:

• 局所体の場合（Corollary 3.9）: $F$ が局所体の場合、$n > 2$ で $CH^{d+n}(X, n)$ は可除であり、$n=2$ では $CH^{d+2}(X, 2) \cong \mu(F) \oplus m K^M_2(F) \oplus D$ と分解される（$\mu(F)$ は $F$ 内の単位根の群）。
• 高次元局所体（Corollary 3.10）: $N$ 次元局所体 $F$ に対して、$n > N+1$ で可除、$n=N+1$ で上記と同様の分解が得られる。
• 数体・関数体（Corollary 3.12）: 全虚数体や有限体上の関数体（$B_2$-体）に対して、$CH^{d+2}(X, 2)$ のねじれ部分（torsion part）が $K^M_2(F)$ と一致し、それが有限群であることが示される。

Kato ホモロジー群への応用（Theorem 4.9）:
$F$ が $B_s(l)$-体（$l \neq \text{char}(F)$）であるとき、構造射 $f$ によって誘導される Kato ホモロジー群の写像
$$f_*: KH^{(s-1)}_0(X, \mathbb{Z}/l^r\mathbb{Z}) \xrightarrow{\sim} KH^{(s-1)}_0(\text{Spec}(F), \mathbb{Z}/l^r\mathbb{Z})$$
は同型である。

• これは、$s=1$（有限体）のとき、$KH^{(0)}_0(X) \cong \mathbb{Z}/l^r\mathbb{Z}$ となることを意味し、Kato 予想（Conjecture 4.1）の一部を証明する。
• $s=2$（局所体や数体）のとき、$KH^{(1)}_0(X) \cong \text{Br}(F)[l^r]$（Brauer 群の $l^r$-ねじれ部分）となる。

数体上の Kato 予想の完全な証明（Corollary 4.11）:
$F$ を数体（または有限体上の関数体）とし、$l \neq \text{char}(F)$ とする。このとき、以下の短完全系列が成り立つ（Hasse-Brauer-Noether 定理の一般化）：
$$0 \to KH^{(1)}_0(X, \mathbb{Z}/l^r\mathbb{Z}) \to \bigoplus_v KH^{(1)}_0(X_v, \mathbb{Z}/l^r\mathbb{Z}) \to \mathbb{Z}/l^r\mathbb{Z} \to 0$$
ここで $v$ は $F$ のすべての素点（finite places）を走り、$X_v$ は $F_v$ 上の底変換である。

4. 意義と貢献

1. 高次チャウ群の構造の一般化:
   有限体上の既知の結果（Theorem 1.1）を、$B_s$-体という広範なクラス（局所体、数体、高次元局所体など）に一般化しました。特に、$CH^{d+s}(X, s)$ が $K^M_s(F)$ と可除群の直和に分解するという明確な構造定理を提供しました。

2. Kato 予想への決定的な進展:
   Kato ホモロジー群に関する Kato 予想（Conjecture 4.1, 4.3）について、$B_s$-体という条件下で、特に $j=0$ のケースにおいて完全な解決（同型の証明）を与えました。これは、数体上の Brauer 群の局所 - 大域原理（Hasse 原理）を高次チャウ群・Kato ホモロジーの文脈で再確認・一般化したものと言えます。

3. 手法の革新:
   Mackey 関手と Mackey 積の圏論的な性質を、幾何学的な還元（曲線への還元）と組み合わせることで、高次元多様体の複雑なサイクル群の可除性を証明する新しいアプローチを確立しました。

4. 数論幾何への応用:
   得られた結果は、数論的対象（数体、局所体）上の代数多様体の有理点や零次元サイクルの分布、およびそれらが持つコホモロジー的不変量（Brauer 群など）との関係を理解する上で重要な基礎を提供します。

要約すると、この論文は、特定の体論的性質（$B_s$-条件）を満たす体上の代数多様体において、高次チャウ群と Kato ホモロジー群が「ミルナー K 群」と「可除群」の単純な構造に帰着されることを示し、数論幾何における重要な予想を解決した画期的な研究です。