[论文解读] Derived $\ell$-adic zeta functions

Jonathan A. Campbell, Jesse Wolfson+1 more|arXiv (Cornell University)|Mar 29, 2017

Algebraic Geometry and Number Theory参考文献 25被引用 4

一句话总结

该论文通过将经典 motivic 测度——特别是 ℓ-进 zeta 函数和紧支集欧拉示性数——提升为谱之间的映射，首次在有限域及其子域 C 上的 Grothendieck 变换谱的高阶同伦群中构造出非平凡类。利用导出函子框架，证明了导出 ℓ-进 zeta 函数在高阶 K-理论上诱导出非平凡映射，表明该谱编码了超越 Grothendieck 环的丰富几何信息。

ABSTRACT

We lift the classical Hasse--Weil zeta function of varieties over a finite field to a map of spectra with domain the Grothendieck spectrum of varieties constructed by Campbell and Zakharevich. We use this map to prove that the Grothendieck spectrum of varieties contains nontrivial geometric information in its higher homotopy groups by showing that the map $\mathbb{S} o K(Var_k)$ induced by the inclusion of $0$-dimensional varieties is not surjective on $π_1$ for a wide range of fields $k$. The methods used in this paper should generalize to lifting other motivic measures to maps of $K$-theory spectra.

研究动机与目标

• 为有限域或 C 的子域 k 构造 Grothendieck 变换谱 K(Vk) 的高阶同伦群中的非平凡类。
• 将经典 motivic 测度——如 ℓ-进 zeta 函数和紧支集欧拉示性数——提升为谱之间的映射。
• 证明导出 ℓ-进 zeta 函数捕获了经典 Grothendieck 环中不可见的几何信息。
• 确立当 k 为有限域时，S → K(Vk) 在高维上非平凡，且在高阶同伦群上不是满射。
• 建立将从代数簇到伽罗瓦表示的链复形的 W-正合函子提升为 K-理论映射的一般框架。

提出的方法

• 将函子 X ↦ [Gal(ks/k) ⟳ H•c(X; Zℓ)] 构造为 Waldhausen 范畴之间 W-正合函子的跨度，形成严格模型。
• 利用 Beke 定理在有界连续 ℓ-进伽罗瓦表示链复形范畴上建立纤维生成的模型结构。
• 利用这些模型范畴中的函子性分解，构造 motivic 测度的谱提升。
• 对所得函子应用 K-理论，得到 refine 经典 zeta 函数的谱映射 K(Vk) → K(Aut(Zℓ))。
• 证明导出 zeta 函数是典范的，且完全由原始函子性赋值决定。
• 利用导出结构证明 S → K(Vk) 在高阶同伦群中非平凡。

实验结果

研究问题

• RQ1 经典 motivic 测度（如 ℓ-进 zeta 函数）能否以揭示 K(Vk) 中高阶同伦信息的方式被提升为谱之间的映射？
• RQ2 当 k 为有限域或 C 的子域时，Grothendieck 谱 K(Vk) 是否包含非平凡的高阶同伦群？
• RQ3 导出 ℓ-进 zeta 函数是否为经典 zeta 函数的典范提升，能够编码超越 Grothendieck 环的几何数据？
• RQ4 紧支集欧拉示性数能否被提升为能检测非平凡高阶 K-理论类的谱映射？
• RQ5 S → K(Vk) 在高维上是否非平凡？当 k 为有限域时，其在高阶同伦群上是否为满射？

主要发现

• 导出 ℓ-进 zeta 函数 ζ: K(VFq) → K(Aut(Zℓ)) 被构造为一个典范的谱映射，refine 经典 zeta 函数。
• 当 k 为有限域或 C 的子域时，S → K(Vk) 在高阶同伦群中非平凡，证明该谱携带非平凡的几何数据。
• 当 k = Fq 时，πi 上的诱导映射对 i > 0 不是满射，表明 K(Vk) 的高阶同伦群非平凡且结构丰富。
• 导出 zeta 函数与韦特定律上的行列式映射构成交换正方形，表明其与经典不变量相容。
• 该构造首次系统地提供了在 πi(K(Vk)) 中产生非平凡类的方法（i > 0）。
• 该方法可推广至定义任意 g ∈ Gal(ks/k) 的导出 g-Zeta 函数，通过 cohomology 上的伽罗瓦作用 refine 经典 zeta 函数。