[論文レビュー] Bloch's formula for 0-cycles with modulus

Rahul Gupta, Amalendu Krishna|arXiv (Cornell University)|Aug 13, 2020

Algebraic Geometry and Number Theory参考文献 11被引用数 5

ひとこと要約

本稿は、有限体上の滑らかで射影的な多様体における0次元サイクルのモジュラス付きチョウ群に対するブロッホの公式を、高次元の分岐幾何的類体論における新規な結果を用いて確立する。主な貢献は、サイクル類写像と再帰性同型写像を用いた、モジュラス付き0次サイクルのチョウ群の構造的特徴付けである。

ABSTRACT

We prove Bloch's formula for the Chow group of 0-cycles with modulus on smooth projective varieties over finite fields. The proof relies on some new results in higher dimensional ramified geometric class field theory that we also prove.

研究の動機と目的

• 有限体上の多様体における通常の0次サイクルのブロッホの公式を、モジュラス付き0次サイクルの設定に拡張すること。
• 高次元多様体に対するモジュラス付きの幾何的類体論の欠如を解消すること。
• 古典的類体論に類似した、モジュラス付き0次サイクルの双対性理論を確立すること。
• サイクル類写像を用いた、モジュラス付き0次サイクルのチョウ群のコhomological記述を提供すること。
• 主結果に必要な、分岐幾何的類体論における基礎的道具を構築すること。

提案手法

• コンパクトな補助を持つあるコhomology群への、モジュラス付き0次サイクルのチョウ群からのサイクル類写像を用いる。
• 関数体のモジュラス付きガロアコhomology群とチョウ群を関連付ける再帰性同型写像を適用する。
• 相対的K理論の層を係数とする多様体のコhomologyに対する双対性定理を採用する。
• 高次元の分岐類体論における再帰性写像の新規な構成に依拠する。
• 特異点の解消と純度定理を用いて、問題を滑らかな多様体の場合に還元する。
• 再帰性写像を介して、モジュラス付き0次サイクルのチョウ群とあるコhomology群の双対群との同型を確立する。

実験結果

リサーチクエスチョン

• RQ1 有限体上の滑らかで射影的な多様体におけるモジュラス付き0次サイクルのブロッホの公式を一般化できるか？
• RQ2 高次元類体論の文脈において、モジュラス付き0次サイクルのチョウ群の構造はいかなるものか？
• RQ3 高次元において、モジュラス付き0次サイクルの再帰性同型写像をどのように構成できるか？
• RQ4 モジュラス付き0次サイクルのチョウ群を制御するコhomological不変量は何か？
• RQ5 この結果は、多様体のモジュラス付き幾何的類体論にどのような意味を持つか？

主な発見

• 有限体上の滑らかで射影的な多様体における、モジュラス付き0次サイクルのチョウ群に対して、ブロッホの公式が成り立つ。
• モジュラス付き0次サイクルのチョウ群は、あるコンパクト補助を持つコhomology群の双対群に同型である。
• チョウ群からガロアコhomology群への再帰性写像は同型であり、双対性が確立される。
• 証明は、特に再帰性同型写像の構成を含む、高次元の分岐幾何的類体論における新規な結果に依拠している。
• モジュラス付きチョウ群の構造は、多様体とそのモジュラスのコhomologicalデータによって完全に記述される。
• この結果は、古典的ブロッホの公式をモジュラス条件の設定に拡張し、算術的双対性定理の適用範囲を拡大する。