[论文解读] A sheaf-theoretic reformulation of the Tate conjecture

Bruno Kahn|arXiv (Cornell University)|Jan 6, 1998

Algebraic Geometry and Number Theory参考文献 23被引用 13

一句话总结

本文提出了在特征 p 的有限域上光滑射影概形上强 Tate 猜想的层论重构，表明 Hasse-Weil zeta 函数在 s=n 处极点的极点阶等于模数值等价的余维数 n 代数循环的秩。关键贡献在于证明该猜想蕴含了正特征中一系列深刻的算术与几何猜想，包括弱 Tate 猜想、Beilinson 的滤子猜想、有理 Bass 猜想以及 Soule 对 zeta 函数零点的猜想。

ABSTRACT

Let p be a prime number. We give a conjecture of a sheaf-theoretic nature which is equivalent to the strong form of the Tate conjecture for smooth, projective varieties X over F_p: for all n>0, the order of pole of the Hasse-Weil zeta function of X at s=n equals the rank of the group of algebraic cycles of codimension n modulo numerical equivalence. Our main result is that this conjecture implies other well-known conjectures in characteristic p, among which: - The (weak) Tate conjecture for smooth, projective varieties X over any finitely generated field of characteristic p: given a prime l different from p, the geometric cycle map from algebraic cycles over X to the Galois invariants of the l-adic cohomology of the geometric fibre of X, tensored by Q_l, is surjective. - For X as above, the algebraicity of the Kunneth components of the diagonal and the hard Lefschetz theorem for cycles modulo numerical equivalence. - For X as above, the existence of a filtration conjectured by Beilinson on the Chow groups of X. - The rational Bass conjecture: for any smooth variety X over F_p, the algebraic K-groups of X have finite rank. - The Bass-Tate conjecture: for F a field of characteristic p, of absolute transcendence degree d, the i-th Milnor K-group of F is torsion for i>d. - Soule's conjecture: given a quasi-projective variety over F_p, the order of the zero of its Hasse-Weil zeta function at an integer n is given by the alternating sum of the ranks of the weight n part of its algebraic K'-groups.

研究动机与目标

• 在 F_p 上的概形上以层论框架形式化强 Tate 猜想。
• 建立一个统一并蕴含有限域上算术几何中多个核心猜想的新猜想。
• 证明该层论重构蕴含弱 Tate 猜想、Beilinson 的滤子猜想、有理 Bass 猜想以及 Soule 的猜想。
• 在正特征中为 zeta 函数、代数循环与 Galois 上同调之间建立概念性桥梁。
• 提供一个统一框架，将多个深刻猜想的验证简化为单一的层论陈述。

提出的方法

• 在 F_p 上的概形上构造一个涉及构造性层上同调的猜想，将其与 Hasse-Weil zeta 函数极点阶联系起来。
• 利用 l 进上同调与 Galois 表示，将代数循环与 étale 上同调中的不变量联系起来。
• 在层论背景下应用对偶性与迹结构，以分析 zeta 函数及其特殊值。
• 运用权重理论与混合层理论，控制上同调不变量在基变换下的行为。
• 利用动机的 Grothendieck 群结构，将 K-理论与循环类联系起来。
• 在层论对偶的背景下，利用 Néron 模型与 Néron-Tate 高度配对的理论。

实验结果

研究问题

• RQ1 强 Tate 猜想能否以捕捉 Hasse-Weil zeta 函数极点阶的层论语言重新表述？
• RQ2 该层论重构是否蕴含在特征 p 的有限生成域上光滑射影概形上的弱 Tate 猜想？
• RQ3 该重构能否导致正特征中 Beilinson 对 Chow 上同调群的猜想滤子的证明？
• RQ4 该层论猜想是否蕴含关于 F_p 上光滑概形的代数 K-群有限秩的有理 Bass 猜想？
• RQ5 Soule 猜想（即 Hasse-Weil zeta 函数在整数点 n 处零点的阶与 K'-群中权重 n 部分的秩的交错和相关）是否与该层论表述等价？

主要发现

• 所提出的层论猜想蕴含了在任意特征 p 的有限生成域上光滑射影概形的弱 Tate 猜想。
• 该猜想蕴含了 Beilinson 所猜想的 Chow 上同调群上的滤子，为代数循环的结构提供了理解。
• 有理 Bass 猜想——即 F_p 上光滑概形的代数 K-群具有有限秩——可由该层论重构推出。
• Bass-Tate 猜想（关于特征 p 的域且绝对超越次数为 d 的 Milnor K-群中挠部分的猜想）在 i > d 时成立。
• Soule 猜想——即 Hasse-Weil zeta 函数在整数 n 处零点的阶等于 K'-群中权重 n 部分的秩的交错和——是新猜想的推论。
• 该层论框架提供了一个统一机制，将算术几何中多个深刻猜想简化为一个单一而连贯的陈述。