[论文解读] The Tate conjecture over finite fields (AIM talk)

J. S. Milne|ArXiv.org|Sep 19, 2007

Algebraic Geometry and Number Theory参考文献 43被引用 19

一句话总结

本文全面回顾并展望了有限域上 Tate 猜想的研究，聚焦于平展上同调中 Tate 类的结构及其与代数循环的关系。论文提出，所有在所有 Frobenius 映射下固定的有理 Tate 类是代数的，并表明若在 CM 椭圆阿贝尔簇上证明此结论，将蕴含弱有理性猜想，从而将 Tate 猜想与 Hodge 猜想及标准猜想联系起来。

ABSTRACT

These are my notes for a talk at the The Tate Conjecture workshop at the American Institute of Mathematics in Palo Alto, CA, July 23--July 27, 2007, somewhat revised and expanded. The intent of the talk was to review what is known and to suggest directions for research. v2: Revised expanded (24 pages).

研究动机与目标

• 回顾有限域上 Tate 猜想的现状，并识别未来研究的开放问题。
• 研究 Tate 类的有理性，特别是 CM 椭圆阿贝尔簇与 Weil 类的背景。
• 探讨 Tate 猜想对 Hodge 标准猜想与 Hodge 猜想的含义。
• 考察 Frobenius 作用与上同调结构中半单性的角色。
• 通过有理 Tate 类建立 Tate 猜想、Hodge 猜想与标准猜想之间的联系。

提出的方法

• 使用具有 ℓ-进系数的平展上同调框架，将 Tate 类定义为 H^{2r}(X, ℚ_ℓ(r))′ 中在伽罗瓦群作用下不变的上同调类。
• 应用循环类映射，将代数循环与上同调类关联，特别关注 Z^r(X) 在 c^r 下的像。
• 引入有理 Tate 类的概念，即在所有 Frobenius 映射下固定的类，并研究其代数性。
• 通过余维数的归纳法与 Lefschetz 分解，将有理性猜想约化为低维情形。
• 利用 Deligne（1982）与 André（2006）关于 CM 椭圆阿贝尔簇的结果，将 Hodge 类约化为分裂 Weil 类的原像。
• 分析具有 Weil 类型的阿贝尔簇上 Weil 类的结构，特别关注使厄米形式分裂的极化。

实验结果

研究问题

• RQ1 在何种条件下，有理 Tate 类是代数的，特别是在 CM 椭圆阿贝尔簇上？
• RQ2 能否利用 Deligne（1982）与 André（2006）的阿贝尔簇族证明 Weil 类的弱有理性猜想？
• RQ3 是否存在一个良好的有理 Tate 类理论，可蕴含所有代数簇上的 Tate 猜想？
• RQ4 Frobenius 作用在上同调上的半单性在多大程度上支持 Tate 猜想？
• RQ5 在有限域上，Tate 猜想、Hodge 猜想与标准猜想之间如何相互关联？是否可由一个推出另一个？

主要发现

• 有限域上 Tate 猜想等价于：H^{2r}(X, ℚ_ℓ(r))′ 中所有伽罗瓦不变上同调类均为代数类。
• 对于有限域上的阿贝尔簇，Frobenius 在所有上同调群上作用半单，支持猜想 S(X)。
• 若某个循环提升问题（问题 10.4）有正解，则 CM 椭圆阿贝尔簇的有理性猜想可得证。
• 若问题 10.6 有正解，则 CM 椭圆阿贝尔簇上分裂 Weil 类的弱有理性猜想可被推出。
• 有限域上阿贝尔簇的 Hodge 标准猜想，由 CM 变量的 Hodge 猜想与 Tate 猜想共同蕴含。
• 在假设 CM 变量的 Hodge 猜想成立的前提下，三个猜想——Hodge、Tate 与标准——可统一为一个，如本文所展示的推导关系所示。