技術的概要：p 進体上の準射影曲面における 0-サイクル

1. 問題の提示と背景

本論文は、p 進体 $\mathbb{Q}_p$ の有限拡大 $k$ 上で定義された滑らかな射影多様体 $X$ に対する 0-サイクルのチャウ群 $CH_0(X)$ の構造を取り扱います。研究の中心的な対象は、$CH_0(X)$ の濾過です：
$$0 \subseteq F^2(X) \subseteq F^1(X) \subseteq CH_0(X)$$
ここで、$F^1(X)$ は次数写像の核であり、$F^2(X)$ はアルベナ写像 $alb_X: F^1(X) \to Alb_X(k)$ の核です。

著者らは、**Colliot-Thélène の予想（予想 1.1）**に焦点を当てています。この予想は、そのような多様体に対して、群 $F^2(X)$ が有限群と可除群の直和として分解されることを予測しています：
$$F^2(X) \cong F \oplus D$$
この予想は、曲線の場合（アルベナ写像が同型となる）や、曲線の積やクンマー曲面の特定のケースについては知られていますが、一般的な曲面については未解決のままです。Raskind と Spiess ([RS00]) ならびに Saito と Sato ([SS10]) による先行研究は、特定の縮小型を持つ曲線の積に対する $F^1(X)$ および $F^2(X)$ のねじれ性質に関して、部分的な結果を確立しました。

本論文はまた、この問題の準射影的なアナロジーも調査します。開部分多様体 $U \subset X$ に対して、著者らは $CH_0(X)$ を Suslin の特異ホモロジー $H^{sus}_0(U)$ に置き換え、半アーベル多様体 $Alb_U$ に対する一般化されたアルベナ写像 $alb_U: F^1(U) \to Alb_U(k)$ の核 $F^2(U)$ を考察します。

2. 手法

著者らは、モチーフコホモロジー、類体論、および代数群論を組み合わせた多面的なアプローチを採用しています：

• モチーフコホモロジーと Suslin ホモロジー： 著者らは、Suslin のホモロジー $H^{sus}_0(U)$ をモチーフコホモロジー群 $H^{2d}_{M,c}(U, \mathbb{Z}(d))$ と同一視することを利用します（定理 2.8）。これにより、モチーフ複素の機構と六関手形式を用いることが可能になります。
• 曲線に対する類体論： 重要な要素は、Bloch ([Blo81]) および Saito ([Sai85]) によって開発された p 進体上の曲線に対する類体論の応用です。具体的には、群 $SK_1(C)$（$CH_2(C,1)$ と同一視される）の構造、およびそのアーベルエタール基本群やヤコビアンに対する Tate 加群との関係を分析します。
• 一般化されたアルベナ多様体： 本論文は、除子 $D$ に対する開部分多様体 $U = X - D$ に対して、一般化されたアルベナ多様体 $Alb_U$ を構成し、分析します。この多様体は、標準的なアルベナ多様体 $Alb_X$ をトーラス $T$ によって拡張したものです。著者らは、$Alb_U$ のトーリック部分と、除子 $D$ に対する $SK_1(D)$ の構造との関係を研究します。
• 分解可能なサイクル： 一般化されたアルベナ写像の「トーリック部分」を処理するために、著者らは分解可能な $(2,1)$-サイクルを利用します。Neron-Severi 群を $k^\times$ についてテンソルしたものを $SK_1(D)$ へ写す写像の像が、写像の核における問題となるトーリック成分を消去するのに十分であることを示します。

3. 主要な貢献と結果

A. 射影的および準射影的予想の同等性

中心的な技術的結果は定理 4.5であり、これは射影曲面とその開部分多様体に対する $F^2$ の非可除部分の有限性との間の同等性を確立します。

• 定理 4.5： $X$ を滑らかな射影曲面、$U$ を補集合 $D$（0 次元または単純正規交差除子）を持つ稠密な開部分多様体とする。このとき、すべての有限拡大 $L/k$ に対して $F^2(X_L)/F^2(X_L)_{div}$ が有限であることは、すべての $L/k$ に対して $F^2(U_L)/F^2(U_L)_{div}$ が有限であることと同値である。
• 系 4.9： したがって、Colliot-Thélène の予想 (1.1) がすべての滑らかな射影曲面に対して成り立つことは、その準射影的なアナロジー（予想 4.8）がすべての滑らかな準射影曲面に対して成り立つことと同値である。

B. 有理写像を通じた予想の転送

上記の同等性に基づき、著者らは定理 1.2（定理 5.2 として再提示）を証明します：

• 滑らかな射影曲面間の一般的に有限な有理写像 $\pi: X \dashrightarrow Y$ が存在し、かつその予想が $X$（およびその有限拡大）に対して成り立つならば、それは $Y$ に対しても成り立ちます。
• この結果は、クンマー曲面に対して用いられてきた従来のプッシュフォワードの議論を、写像の分解における特異点を避けるために開部分多様体を扱える限り、より広範な曲面のクラスに一般化します。

C. 新たな曲面のクラスに対する検証

転送定理と曲線の積に対する既知の結果（Raskind-Spiess）を用いて、著者らはいくつかの新しい曲面のクラスに対して予想 1.1 を検証します（系 1.3 および節 5.2）：

1. 幾何学的に支配される曲面： ヤコビアンが良好な通常縮小と分裂乗法的縮小の混合を持つ曲線の積 $C_1 \times C_2$ によって幾何学的に支配される任意の滑らかな射影曲面 $X$。
2. 等変性ファイバー束： これには等変性楕円曲面や、非対称自己同型（多くの場合、曲線の積の商の分解）を許容する広範な K3 曲面が含まれます。
3. 対称積： 縮小の仮定の下での、種数 2 の曲線 $C$ の対称積 $Sym^2(C)$（および関連するアーベル曲面 $J_C$）。
4. フェルマー曲面： 次数 $m \ge 4$ の対角超曲面 $X_m \subset \mathbb{P}^3$、特に $p \equiv 1 \pmod m$ の場合。
5. 積・商曲面： 有限群 $G$ に対する $(C_1 \times C_2)/G$ の分解として現れる曲面。これにより、以前知られていた特定のクンマーの場合を超えて拡張されます。

D. 開多様体に対する Suslin ホモロジーの構造

本論文は、開部分多様体に対する $F^2(U)$ の詳細な構造分析を提供します：

• $F^2(X)$ との比較： $X-U$ が 0 次元である場合、$F^2(U) \cong F^2(X)$ です。しかし、$X-U$ が除子である場合、$F^2(U)$ は著しく大きくなり得ます。
• トーリックな寄与： 著者らは、$F^2(U)$ と $F^2(X)$ の差が、一般化されたアルベナ多様体のトーリック部分によって支配されることを示します。
• 例：
  • $U = \mathbb{G}_m \times \mathbb{G}_m$ の場合、$F^2(U) \cong K_2^M(k)$ となり、これは非可算な可除群を含みます。
  • $U = C \times \mathbb{G}_m$ の場合、$F^2(U) \cong V(C)$ となり、$C$ が Mumford 曲線であれば無限のねじれを持つ可能性があります。
  • 命題 5.17： 特定の幾何学的設定（例えば、ファイバー束の切断 $s$ に対して $U = X - s(C)$ となる場合）では、等式 $F^2(U) = F^2(X)$ が回復され、開多様体であっても有限性が保証されることが示されます。

4. 意義と主張

著者らは、予想が成り立つことが知られている曲面のクラスを大幅に拡大することで、Colliot-Thélène の予想に対する「新たな証拠」を提供すると主張しています。

• 手法の転換： 本論文は、クンマー曲面のような単純な分解を持つ場合にのみ機能する「単純なプッシュフォワード」の議論に依存するだけでなく、開部分多様体と Suslin ホモロジーを含むより堅牢な手法へと移行することを強調しています。これにより、著者らはより複雑な特異点や商（例えば、一般的な積・商曲面）を扱うことが可能になりました。
• 統合： 射影的ケースと準射影的ケースの間の同等性（定理 4.5）を証明することで、著者らはこれらの異なる種類の多様体上の 0-サイクルの研究を統合しました。これは、予想の妥当性が、開埋め込みおよび支配的な有理写像の下で保存される幾何学的性質であることを示唆しています。
• 限界： 著者らは控えめに、彼らの結果は依然としてヤコビアンの縮小型に関する仮定（具体的には、良好な通常縮小と分裂乗法的縮小の混合）に依存していると指摘しています。この仮定を除去すること（例えば、超特異縮小を含むようにすること）は、超特異楕円曲線の積の場合でさえ困難であるとして、微妙で困難な未解決問題であると認めています。

要約すると、本論文は、曲線の積によって支配される多様な曲面のクラスに対して Colliot-Thélène 予想を証明するために、射影曲面上の 0-サイクルの算術とそれらの開な対応物との間の架け橋を確立しています。