[论文解读] Motivic complexes and special values of zeta functions

J. S. Milne, Niranjan Ramachandran|arXiv (Cornell University)|Nov 13, 2013

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

一句话总结

本文提出一个普遍猜想，将有限域上动机复形的L函数特殊值与诸如Ext群和Hodge数等算术不变量联系起来。构建了一个$$\mathbb{Z}{}[1/p]$-增强的平展动机复形范畴，证明该猜想可由Tate猜想和Beilinson猜想推出，并将该框架扩展至代数堆和对数概形。

ABSTRACT

Beginning with the conjecture of Artin and Tate in 1966, there has been a series of successively more general conjectures expressing the special values of the zeta function of an algebraic variety over a finite field in terms of other invariants of the variety. In this article, we present the ultimate such conjecture, and provide evidence for it. In particular, we enhance Voevodsky's Z[1/p]-category of etale motivic complexes with a p-integral structure, and show that, for this category, our conjecture follows from the Tate and Beilinson conjectures. As the conjecture is stated in terms of motivic complexes, it (potentially) applies also to algebraic stacks, log varieties, simplicial varieties, etc..

研究动机与目标

• 提出有限域上代数簇的L函数特殊值的Artin-Tate与Weil型猜想的最终推广形式。
• 将动机复形的框架扩展至包含$p$-进结构和有理Tate类，以支持代数堆和对数概形的应用。
• 通过证明该猜想可从增强的$$\mathbb{Z}{}[1/p]$-范畴中的Tate和Beilinson猜想推出，为该猜想提供证据。
• 为动机复形定义L函数，并将其极点与留数与算术不变量（如Ext群阶数和Hodge数）联系起来。

提出的方法

• 在具有Tate扭的三角范畴$\mathsf{DM}(k)$中，为动机复形$M,N$和扭$r$构造一个Ext群的典范复形$E(M,N,r)$。
• 在$\mathbb{Q}(t)$中定义动机复形$P = R\underline{\operatorname{Hom}}(M,N)$的L函数$Z(P,t)$，使其与$\ell$-进和$p$-进实现相容。
• 通过Raynaud环$R$引入$p$-进实现，从$R_1 \otimes_R^L P$的上同调定义Hodge数$h^{i,j}(P)$。
• 定义复形$E(M,N,r)$的上同调群阶数的交错积$\chi^\times(M,N(r))$，并将其与$Z(P,t)$在$t = q^{-r}$处的留数联系起来。
• 利用Tate和Beilinson猜想推导出如下猜想公式：$\left|\lim_{t\to q^{-r}} Z(P,t)(1 - q^r t)^\rho\right| = \chi^\times(M,N(r)) \cdot q^{\chi(P,r)}$，其中$\chi(P,r)$为Hodge数的加权和。
• 将$\mathsf{DM}(k)$构造为$\mathsf{DM}(k,\mathbb{Q})$与$\mathsf{D}_{c}^{b}(\mathbb{Z}^p) \times \mathsf{D}_{c}^{b}(R)$的同伦纤维积，以纳入$p$-整结构。

实验结果

研究问题

• RQ1 有限域上代数簇的L函数特殊值猜想的最一般形式是什么？
• RQ2 如何通过$p$-整结构增强动机复形，以捕捉$p$-进算术不变量？
• RQ3 能否从Tate和Beilinson猜想推导出L函数留数与Ext群阶数及Hodge数之间关系的猜想？
• RQ4 该框架在多大程度上可推广至非光滑或非射影对象，如代数堆或对数概形？
• RQ5 有理Tate类在构建与所有实现相容的普遍动机范畴中起什么作用？

主要发现

• 该猜想指出，$Z(P,t)$在$t = q^{-r}$处极点的阶数为$\rho = \sum_j (-1)^{j+1} j \cdot \operatorname{rank}_{\mathbb{Z}}(\operatorname{Ext}^j(M,N(r)))$，将L函数的极点与Ext群的秩联系起来。
• 在$t = q^{-r}$处，$Z(P,t)$的留数表达为$\chi^\times(M,N(r)) \cdot q^{\chi(P,r)}$，其中$\chi^\times$为有限Ext上同调群阶数的交错积。
• $p$-进Hodge数贡献项$\chi(P,r) = \sum_{i,j\,(i\leq r)} (-1)^{i+j} (r-i) h^{i,j}(r_p(P))$量化了特殊值公式中的$p$-进校正因子。
• 通过将$\mathsf{DM}(k)$构造为同伦纤维积，确保其与$\ell$-进和$p$-进实现相容，且在此设定下Tate猜想自动成立。
• 该猜想在增强范畴中可由Tate和Beilinson猜想推出，为该猜想的有效性提供了强有力证据。
• 该框架可能适用于代数堆，因为其L函数已被定义（尽管为幂级数），提示未来工作需引入无界动机复形。