[论文解读] 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}}$ 和奇异点解析来控制高阶 Chow 群。
• 分析高阶 Chow 群和平展上同调的谱序列，比较其 $E^1$-项与 $E^\infty$-项。
• 通过循环映射建立 Kato 同调、高阶 Chow 群和平展上同调之间的正合序列。

实验结果

研究问题

• RQ1 Kato 关于 Gersten 复形同调的猜想是否对有限域上的光滑射影概形成立？
• RQ2 光滑射影概形在有限域上，Kato 同调 $KH^{{\text{ét}}}_a(X,\mathbb{Z}/n\mathbb{Z})$ 的消失行为如何？
• RQ3 在何种条件下，有限域上概形的有限系数动机上同调群是有限的？
• RQ4 在 Bloch-Kato 猜想的背景下，平展循环映射如何与高阶 Chow 群关联？
• 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})$、高阶 Chow 群 $\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})$ 是有限的。
• 通过局部化序列和平展上同调的有限性，利用维数的归纳法，建立了有限系数动机上同调群的有限性。