[论文解读] Equivalence numérique et équivalence cohomologique pour les variétés abéliennes sur les corps finis

Laurent Clozel|arXiv (Cornell University)|Jul 1, 1999

Algebraic Geometry and Number Theory参考文献 2被引用 7

一句话总结

本文在ℓ-进上同调中素数ℓ具有正密度的条件下，证明了有限域上阿贝尔簇的代数循环的数值等价与上同调等价相吻合。通过ℓ-进上同调与伽罗瓦表示的技术，作者将特征零中的经典结果推广至正特征，证实了有限域上阿贝尔簇在算术几何中的一个关键猜想。

ABSTRACT

In characteristic zero, it was proven a long time ago by D. Lieberman that cohomological and numerical equivalence coincide for cycles on abelian varieties. In this paper we show this to be true also in a somewhat technical sense for abelian varieties defined over a finite field. The technicality is that the result is valid for l-adic cohomology for primes l of non-zero density.

研究动机与目标

• 将特征零中Lieberman关于循环等价的结果推广至有限域上的阿贝尔簇。
• 研究在正特征下，数值等价是否蕴含上同调等价。
• 利用ℓ-进上同调，建立有限域上阿贝尔簇的数值等价与上同调等价的重合性。
• 解决在正特征下经典方法失效的技术挑战。
• 为有限域上算术几何中标准猜想的更广泛理解作出贡献。

提出的方法

• 利用具有正密度的素数ℓ的ℓ-进上同调，分析有限域上阿贝尔簇的循环类。
• 应用伽罗瓦表示理论，将循环类与其上同调实现相联系。
• 运用有限域上阿贝尔簇的理论，包括其塔特模与自同态代数。
• 依赖于阿贝尔簇的ℓ-进上同调由弗罗贝尼乌斯及其幂作用决定的事实。
• 使用切包特列夫密度定理，确保所选素数ℓ在论证中足够通用。
• 将问题转化为ℓ-进上同调中循环类映射核的陈述，证明在给定条件下其平凡。

实验结果

研究问题

• RQ1 在有限域上定义的阿贝尔簇的代数循环中，数值等价是否蕴含上同调等价？
• RQ2 Lieberman在特征零下的经典结果能否推广至正特征？
• RQ3 具有正密度的素数在确保数值等价与上同调等价重合中起什么作用？
• RQ4 ℓ-进上同调在有限域上阿贝尔簇的伽罗瓦群作用下如何表现？
• RQ5 在有限域上阿贝尔簇的背景下，标准猜想在多大程度上可被验证？

主要发现

• 在有限域上阿贝尔簇的代数循环中，数值等价与上同调等价相吻合。
• 该结果对所有素数ℓ在全体素数集合中具有正密度的集合成立。
• 证明依赖于ℓ-进上同调的结构以及伽罗瓦群在塔特模上的作用。
• 在这些素数ℓ下，ℓ-进上同调中循环类映射的核是平凡的。
• 该结果证实了算术几何中标准猜想在有限域上阿贝尔簇的一个关键实例。
• 该工作将Lieberman的结果从特征零推广至正特征，但对ℓ的选择施加了技术性但关键的限制。