[論文レビュー] Kato conjecture and motivic cohomology over finite fields

Uwe Jannsen, Shuji Saito|ArXiv.org|Oct 15, 2009

Algebraic Geometry and Number Theory参考文献 24被引用数 9

ひとこと要約

この論文は、特異点の解消を仮定して、有限体上のGersten-Bloch-Ogus型複体のホモロジーに関するKatoの予想を証明し、有限体上の滑らかで射影的なスキームについて、Katoホモロジーが次数4まで消えることを確立する。この結果を応用して、標準的予想のもとで、有限係数をもつモチーフ的コホモロジー群の有限性を示す。

ABSTRACT

For an arithmetical scheme X, K. Kato introduced a certain complex of Gersten-Bloch-Ogus type whose component in degree a involves Galois cohomology groups of the residue fields of all the points of X of dimension a. He stated a conjecture on its homology generalizing the fundamental exact sequences for Brauer groups of global fields. We prove the conjecture over a finite field assuming resolution of singularities. Thanks to a recently established result on resolution of singularities for embedded surfaces, it implies the unconditional vanishing of the homology up to degree 4 for X projective smooth over a finite field. We give an application to finiteness questions for some motivic cohomology groups over finite fields.

研究の動機と目的

• 有限体上のスキームに対して、剰余体のガロアコホモロジーから構成される複体のホモロジーに関するKatoの予想を証明すること。
• 特異点の解消を仮定して、有限体上の滑らかで射影的なスキームについて、Katoホモロジーが次数4まで消えることを確立すること。
• 消滅結果を用いて、有限係数をもつモチーフ的コホモロジー群の有限性に関する問題を扱うこと。
• エタールサイクル写像とモチーフ的コホモロジーを関連づけ、コホモロジー的予想のもとで同型または完全系列を示すこと。

提案手法

• 有限体上のスキームのホモロジー理論 $H$ を用いて、各点における剰余体のガロアコホモロジーから Kato 複体 $KC_H(X)$ を構成する。
• レベルスペクトル系列を適用して、モチーフ的コホモロジーとエタールコホモロジーを関連づけ、サイクル写像を解析する。
• 局所化系列と次元に関する帰納法を用いて、有限性結果を滑らかさのケースに還元する。
• Bloch-Kato 予想 $\mathbf{(BK)_{q+1,\ell}}$ と特異点の解消を用いて、高次チャウ群を制御する。
• 高次チャウ群とエタールコホモロジーのスペクトル系列を分析し、$E^1$-項と $E^\infty$-項を比較する。
• サイクル写像を介して、Katoホモロジー、高次チャウ群、エタールコホモロジーを結ぶ完全系列を確立する。

実験結果

リサーチクエスチョン

• RQ1 滑らかで射影的なスキームについて、有限体上でのKatoの予想（Gersten複体のホモロジーに関する）は成り立つか？
• RQ2 滑らかで射影的なスキームについて、Katoホモロジー $KH^{{\text{ét}}}_a(X,\mathbb{Z}/n\mathbb{Z})$ の消滅挙動はいかなるものか？
• RQ3 有限体上のスキームについて、有限係数をもつモチーフ的コホモロジー群が有限になる条件は何か？
• RQ4 Bloch-Kato 予想の文脈において、エタールサイクル写像は高次チャウ群とどのように関係するか？
• RQ5 特異点の解消は、モチーフ的コホモロジーの有限性および消滅結果を示す際に果たす役割は何か？

主な発見

• 特異点の解消を仮定すれば、有限体上でのKatoの予想が証明され、Kato複体のホモロジーは $a \neq 0$ の次数で消える。
• 特異点の解消に関する最近の進展（特に曲面について）のおかげで、滑らかで射影的なスキームについて、Katoホモロジーは無条件で次数4まで消える。
• 有限体上の次元 $d$ の滑らかなスキーム $X$ に対して、Bloch-Kato 予想が $q+1$ について成り立つ限り、$r > d$ かつ $t \leq q$ のとき、エタールサイクル写像 $\rho^{r,t}_X$ は同型である。
• $r = d$ のとき、$KH^{{\text{ét}}}_a(X,\mathbb{Z}/n\mathbb{Z})$、高次チャウ群 $\mathrm{CH}^d(X,t;\mathbb{Z}/n\mathbb{Z})$、エタールコホモロジー群の間の長い完全系列が存在する。
• 特異点の解消仮定 $\mathbf{(RS)_d}$ と Bloch-Kato 予想 $\mathbf{(BK)_{q+2,\ell}}$ の下で、すべての $t \leq q$ に対して、モチーフ的コホモロジー群 $\mathrm{CH}^d(X,t;\mathbb{Z}/n\mathbb{Z})$ は有限である。
• 次元に関する帰納法を用い、局所化系列とエタールコホモロジーの有限性を利用して、有限係数をもつモチーフ的コホモロジー群の有限性が示される。