[论文解读] Lectures on zeta functions over finite fields

Daqing Wan|ArXiv.org|Nov 22, 2007

Coding theory and cryptography参考文献 29被引用 6

一句话总结

本文对有限域上的zeta函数提供了全面的导论，重点研究了矩矩zeta函数和仿射toric超曲面的zeta函数。文章建立了基础性质，引入矩矩zeta函数以研究纤维族中的算术变化，并利用凸剖分和p进方法证明了关于一般普通性和牛顿多边形的关键结果，最终通过斜率zeta函数提出了一个算术镜像对称的猜想。

ABSTRACT

These are the notes from the summer school in Göttingen sponsored by NATO Advanced Study Institute on Higher-Dimensional Geometry over Finite Fields that took place in 2007. The aim was to give a short introduction on zeta functions over finite fields, focusing on moment zeta functions and zeta functions of affine toric hypersurfaces.

研究动机与目标

• 为有限域上的zeta函数提供一个自包含的导论，特别强调矩矩zeta函数和仿射toric超曲面的zeta函数。
• 利用矩矩zeta函数研究纤维族中理性点的算术变化。
• 通过凸剖分和p进方法建立超曲面一般普通的条件。
• 通过斜率zeta函数提出并激发算术镜像猜想。
• 提出开放问题并提供具体例子，以说明有限域上zeta函数的一般理论。

提出的方法

• 本文通过有限域扩张上的指数生成级数定义zeta函数，使用在F_q^k上的概形上的点计数。
• 矩矩zeta函数作为纤维系统上的生成函数构造，用于度量纤维在更高次扩张上的有理点计数。
• 通过比较牛顿多边形与霍奇多边形来研究p进斜率和一般普通性，使用凸整数剖分将超曲面的多面体分解。
• 使用d(Δ)的概念来确定何时一个超曲面是普通的，特别是当剖分中的每个单形满足d(Δ_i) = 1时。
• 引入斜率zeta函数作为编码zeta函数零点的p进赋值的双变量生成函数，从而支持镜像对称猜想。
• 利用对偶多面体和反射多面体，将关于一般普通性的结果推广到高维，特别是对卡拉比-丘三流形。

实验结果

研究问题

• RQ1 矩矩zeta函数如何编码有限域上纤维族中理性点的算术变化？
• RQ2 在什么条件下，一个toric仿射超曲面的zeta函数是普遍普通的？
• RQ3 有限域上zeta函数的牛顿多边形与霍奇多边形之间有何关系？
• RQ4 斜率zeta函数能否用于为卡拉比-丘三流形精确地提出算术镜像对称猜想？
• RQ5 对于哪些素数p，由洛朗多项式定义的给定超曲面是普遍普通的？

主要发现

• 有限域F_q上仿射直线的zeta函数是有理函数，等于1/(1 - qT)，在T = 1/q处有唯一的倒数极点。
• 矩矩zeta函数Z_d(f,T)被证明是关于剩余域上扭的纤维化概形的zeta函数的乘积，其次数按d缩放。
• 若多面体Δ允许一个凸整数剖分为单形，且每个单形满足d(Δ_i) = 1，则当所有p ≡ 1 mod lcm(d(Δ_1), ..., d(Δ_m))时，该超曲面是普遍普通的。
• 对于一个4维的反射多面体Δ，当所有p > 12Vol(Δ)时，该超曲面是普遍普通的。
• 斜率zeta函数S(X,U,T)被定义为对p进斜率的双变量乘积，对于大p时，镜像族的Calabi-Yau三流形在F_p上，猜想有S(f,U,T) = 1/S(g,U,T)。
• 本文证明了在n个变量中次数为d的射影超曲面的普遍族在所有p ≡ 1 mod d时是普遍普通的，且更一般地，当剖分中所有i满足d(Δ_i) = 1时也成立。