[论文解读] Arithmetic homology and an integral version of Katos conjecture

Thomas Geisser|ArXiv.org|Apr 10, 2007

Geometry and complex manifolds被引用 7

一句话总结

本文引入了算术上同调（arithmetic homology），一种在有限域上的积分 Borel-Moore 上同调理论，以及 Kato 上同调的积分版本。通过将 Weil-etale 形式化方法应用于 Bloch 的循环复形，建立了连接高阶 Chow 上同调群、算术上同调与积分 Kato 上同调的长正合序列，证明了在曲线情形下积分 Kato 猜想成立，并为理解有限域上概形的有理与挠循环提供了框架。

ABSTRACT

We define an integral Borel-Moore homology theory over finite fields, called arithmetic homology, and an integral version of Kato homology. Both types of groups are expected to be finitely generated, and sit in a long exact sequence with higher Chow groups of zero-cycles.

研究动机与目标

• 定义有限域上的积分 Borel-Moore 上同调理论（即算术上同调），作为病态的 etale 高阶 Chow 上同调群的替代品。
• 构造 Kato 上同调的积分版本，用于度量高阶 Chow 上同调群与算术上同调之间的差异。
• 提出并研究光滑、射影、连通概形在有限域上积分版的 Kato 猜想。
• 在标准猜想下，建立连接高阶 Chow 上同调群、算术上同调与积分 Kato 上同调的长正合序列。
• 在度数 0 及曲线情形下证明积分 Kato 猜想，并在低度数下无条件验证长正合序列。

提出的方法

• 算术上同调定义为复形 $ R\tilde{\tau}_G R\tilde{\tau}(\bar{X}_{\text{et}}, \mathbb{Z}^c(0))[1] $ 的上同调，其中 $ G $ 是作用在 $ \bar{X} = X \times_{\mathbb{F}_q} \bar{\mathbb{F}}_q $ 上的 Weil 群。
• 该构造利用了应用于 Bloch 循环复形 $ \mathbb{Z}^c(0) $ 的 Weil-etale 形式化方法，得到群 $ H_i^c(X_{\text{ar}}, \mathbb{Z}) $，其预期为有限生成。
• 积分 Kato 上同调 $ H_i^K(X, \mathbb{Z}) $ 定义为涉及剩余域的 Milnor K-群与 $ \bar{\mathbb{F}}_q $ 的张量积的复形的同调，取 Frobenius 余不变量。
• 长正合序列由 Beilinson-Lichtenbaum 猜想及 etale 上同调与 Weil-etale 上同调中局部化序列的结构推导得出。
• 通过局部化与同伦公式，建立了算术上同调的射影与同伦包公式。
• 在度数 $ i \leq 1 $ 下，该猜想的长正合序列被无条件证明，且曲线情形下的积分 Kato 猜想已验证。

实验结果

研究问题

• RQ1 是否存在一个有限域上的积分 Borel-Moore 上同调理论，可替代行为异常的 etale 高阶 Chow 上同调群？
• RQ2 能否定义 Kato 上同调的积分版本，使其度量高阶 Chow 上同调群与算术上同调之间的差异？
• RQ3 对于有限域 $ \mathbb{F}_q $ 上的概形，是否存在一个长正合序列，连接 $ CH_0(X,i) $、$ H_{i+1}^c(X_{\text{ar}}, \mathbb{Z}) $ 与 $ H_{i+1}^K(X, \mathbb{Z}) $？
• RQ4 对于光滑、射影、连通的概形，积分 Kato 猜想是否成立，且满足 $ H_0^K(X, \mathbb{Z}) \cong \mathbb{Z} $ 与 $ H_i^K(X, \mathbb{Z}) = 0 $（当 $ i > 0 $）？
• RQ5 该长正合序列是否可在低度数下无条件建立，且该猜想是否在曲线情形下被验证？

主要发现

• 对于所有光滑、射影、连通的概形 $ X $ 在 $ \mathbb{F}_q $ 上，积分 Kato 猜想在度数 0 成立，且满足 $ H_0^K(X, \mathbb{Z}) \cong \mathbb{Z} $。
• 对于光滑射影曲线 $ C $，该猜想成立，且长正合序列退化为 $ 0 \to (k(C) \otimes_{\mathbb{F}_q} \bar{\mathbb{F}}_q)^\times_G \to \bigoplus_{x \in C_{(0)}} \mathbb{Z} \to \mathbb{Z} \to 0 $。
• 在 $ i \leq 1 $ 时，连接 $ CH_0(X,i) $、$ H_{i+1}^c(X_{\text{ar}}, \mathbb{Z}) $ 与 $ H_{i+1}^K(X, \mathbb{Z}) $ 的长正合序列无条件成立。
• 在 Beilinson-Lichtenbaum 猜想与奇点消解猜想成立的条件下，证明了三个命题的等价性：有理 Chow 上同调群的消失性、积分 Kato 猜想，以及长正合序列的存在性。
• 当 $ X $ 光滑射影时，积分 Kato 上同调群 $ H_i^K(X, \mathbb{Z}) $ 与 $ CH_0(X,i)_{\mathbb{Q}} $ 在 $ i = 1,2 $ 时同构。
• 建立了算术上同调的射影包与同伦公式，表明其与标准动机性质相容。