[論文レビュー] A Finiteness theorem for zero-cycles over $p$-adic fields

Shuji Saito, Kanetomo Sato|University of Regensburg Publication Server (University of Regensburg)|May 6, 2006

advanced mathematical theories被引用数 4

ひとこと要約

本稿は、$p$-進体上の滑らかで射影的な多様体におけるゼロサイクルの有限性定理を証明し、モデル理論的仮定を若干設けることで、次数ゼロのゼロサイクルの群 $A_0(V)$ が、有限群と $p'$-可除群の直和に同型であることを確立する。主な結果は、Colliot-Thélène が提起した $A_0(V)$ の構造に関する予想を裏付けるものであり、有理的連結性やほとんどすべての $\\-ell$ における $\bmod \ell$ 可除性への応用を含む。証明は特異点の解消、爆発公式、および離散値整域上での移動補題に依拠する。

ABSTRACT

In this paper we prove a finiteness result concerning the Chow group of zero-cycles for varieties over $p$-adic local fields. In this final version, there are several corrections concerning mathematical symbols and reference to related known results.

研究の動機と目的

• $p$-進体上の滑らかで射影的な多様体 $V$ におけるゼロサイクルの有限性定理を証明し、$A_0(V)$ の構造に関する予想を確認すること。
• $\mathfrak{O}_k$ 上の正規モデルが単純な交わりを持つ場合に、$A_0(V)$ が有限群と $p'$-可除群の直和に同型であることを確立すること。
• de Jong の変形と主定理を用いて、既知の $\bmod \ell$ 可除性に関する結果をほとんどすべての素数 $\ell$ にまで拡張すること。
• $p$-進体上での高次元におけるアーベル積分写像の核を理解するための幾何的基盤を提供すること。
• 離散値整域上での反復爆発と移動補題を用いて、$\mathfrak{O}_k$ 上の正規モデルにおける曲線の特異点を解消すること。

提案手法

• 離散値整域上での正規モデル内の曲線を、特異点を避けるように変形するための移動補題を用いる。
• 連続的な爆発における固有変換の下でのゼロサイクルの振る舞いを制御するための爆発公式を適用する。
• 離散値整域上でのバーティニ型定理を用い、モデル内に滑らかな超平面切断が存在することを保証する。
• 埋め込まれた曲線の特異点を反復爆発により解消することで、厳密変換の正規性を達成する。
• ある点での接合度が高ければ、曲線と除数の交点多重度が爆発によって減少することを示す重要な補題を適用する。
• 主定理と de Jong の変形を組み合わせ、一般の場合を厳密に半安定還元の状況に還元し、$\bmod \ell$ 可除性の証明を可能にする。

実験結果

リサーチクエスチョン

• RQ1 $p$-進体上の滑らかで射影的な多様体 $V$ に対して、次数ゼロのゼロサイクルの群 $A_0(V)$ は、有限群と $p'$-可除群の直和に同型であるか？
• RQ2 $V$ が単純な交わりを持つ正規で固有なモデルを持つ場合、$A_0(V)$ はほとんどすべての素数 $\ell$ に対して $\bmod \ell$ 可除になるか？
• RQ3 $p$-進体上でのアーベル積分写像 $\phi_V: A_0(V) \to \operatorname{Alb}_V(k)$ の核は、有限群と可除群の直和として記述可能か？
• RQ4 $A_0(V)$ の構造は、有限体拡張や一般に有限な準同型に関して安定するか。特に $V$ が有理的連結な場合にそのような性質が成り立つか？
• RQ5 $\mathfrak{O}_k$ 上の正規モデルにおける曲線の特異点は、反復爆発を用いて解消可能であり、かつ全空間の交わりが保存されるか？

主な発見

• $V$ が $\mathfrak{O}_k$ 上で正規で、特異ファイバーに単純な交わりを持つ射影的平坦モデルを持つ場合、群 $A_0(V)$ は有限群と $p'$-可除群の直和に同型である。
• 任意の滑らかで射影的な多様体 $V$ に対して、$p$-進体上では $A_0(V)$ はほとんどすべての素数 $\ell$ に対して $\ell$-可除である。これは主定理と de Jong の変形の結果である。
• $V$ が有理的連結な場合、$A_0(V)$ は有限群と、有限指数の $p$-主 torsion 群の直和に同型である。
• アーベル積分写像 $\phi_V$ の核が有限であることは、$A_0(V)$ が有限であることと同値であり、この定理により $A_0(V)$ が可除であるだけでなく、ほとんどすべての $\ell$ に対して有限な $\ell$-主 torsion を持つことが確認される。
• 証明により、厳密変換の特異点を有限回の爆発で解消した後、厳密変換された曲線は正規となり、例外除数と横断的に交わることを示した。
• 接合度が $\geq 2$ である点での爆発により、曲線と除数の交点多重度は減少し、これが特異点解消プロセスの終了を保証する。