[论文解读] A conjecture of Deligne on one-motives

Niranjan Ramachandran|arXiv (Cornell University)|Jun 22, 1998

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

一句话总结

本文為完美域上概形引入了新的motif不变量，其取值于模同源的1-动机范畴。它给出了Deligne关于1-动机猜想的同源版本的代数证明，建立了代数几何与étale上同调之间的基础联系，并将结果应用于证明有限域上概形的étale上同调中部分的ℓ-独立性。

ABSTRACT

Abstract. We introduce new motivic invariants of schemes over a perfect field. These cohomological invariants take values in the category of 1-motives (considered up to isogeny). The algebraic definition of these invariants presented here proves a isogeny version of a conjecture of Deligne. We also present an application to the independence of ℓ of parts of the étale cohomology of arbitrary schemes over finite fields. Version II: Submitted for publication 19 June 1998 Recall the purely algebraic construction of the Jacobian of a curve (previously described by transcendental means) due to A. Weil. This was the main ingredient in his proof of the Riemann hypothesis for curves over finite fields. The Jacobian is the only motivic invariant of a smooth projective

研究动机与目标

• 通过代数方法为完美域上概形构造新的motif不变量。
• 在同源范畴中解决Deligne关于1-动机的猜想。
• 通过这些不变量在代数几何与étale上同调之间建立联系。
• 将结果应用于证明有限域上概形的étale上同调中某些部分的ℓ-独立性。

提出的方法

• 使用代数构造定义motif不变量，避免使用超越方法。
• 在模同源的1-动机范畴中工作，以实现所需的不变性性质。
• 以Weil的工作为启发，将代数雅可比构造作为关键组成部分。
• 将不变量应用于研究有限域上概形的étale上同调。
• 利用同源范畴证明猜想的弱化但充分形式。
• 建立motif不变量与étale上同调群结构之间的联系。

实验结果

研究问题

• RQ1 如何为完美域上概形代数地构造1-动机，而无需依赖超越方法？
• RQ2 1-动机的同源范畴在多大程度上实现了Deligne关于motif不变量的猜想？
• RQ3 这些motif不变量能否用于证明有限域上概形的étale上同调中ℓ-独立性？
• RQ4 雅可比在曲线的motif不变量代数构造中起什么作用？
• RQ5 这些不变量如何与有限域上任意概形的上同调结构相关？

主要发现

• 本文构造了取值于模同源的1-动机范畴的motif不变量，为此前仅通过超越手段已知的概念提供了纯粹代数的实现。
• 证明了Deligne关于1-动机猜想的同源版本，建立了motif上同调中的基础性结果。
• 该构造将Weil的代数雅可比推广至motif框架，扩展了其适用范围。
• 证明了motif不变量能够提供关于有限域上概形的étale上同调的信息。
• 结果表明，étale上同调的某些部分与ℓ的选择无关，这是算术几何中的关键性质。
• 该框架为研究étale上同调背后motif结构提供了新的代数工具。