有限域上一类代数簇ζ函数的计算.pdfVIP

第44卷第4期 数 学 进 展 V0l_44．NO．4 2015年7月 ADVANCESINMATHEMATICS(CHINA) July，2015 doi：10．11845／sxjz．2013125b 有限域上一类代数簇 函数的计算 徐 浪，曹 炜 (宁波大学数学系，宁波，浙江，315211) 摘要：对于有限域上给定代数簇的e函数，Weil提出了著名的系列猜想，其中 有“理性”和 黎“ 曼猜想的模拟”先后被Dwork和 Deligne用P—adic分析和 -／adic上同调等高深的代数几何工具所 解决．本文发现，若代数簇的增广次数矩阵的 Smith标准形满足一定的条件，则可计算出其 e函数， 从而用初等的方法证明了Weil猜想中的 “有理性”和 “黎曼猜想的模拟”对于这类代数簇是成立的． 关键词：(函数；黎曼猜想；次数矩阵；Smith标准形 MR(2010)主题分类：11T06；11C20／中图分类号：O156．2 文献标识码：A 文章编号：1000—0917(2015)04—0530—07 0引言 设F 是特征为P的q元有限域， 为其代数封闭域．对任意的正整数r，用Fr表示Fq在 中的r次扩张．设 ^(，X2，… ， )(i=1，2，… ，s)为砸Ix1，X2，… ，X]中的一组多项式． 用 V表示 由^({=1，2，… ，s)的公共零点在仿射空间 n()中所确定的代数簇．用 Ⅳqr() 表示 中F。r一有理点的个数，即 Ⅳ口r()= {(1，X2，… ，)∈F》f^(1，X2，… ，n)=0，Vi：1，2，’一，8) 若 是由单个多项式 厂‘所确定的超曲面 (即s：1)，则将 r()简记为 Ⅳ口r(厂)‘．代数簇 V的 函数，记作 z(t)，定义为生成函数 删…p(委 )． ㈩ z(t)包含有关于代数簇 V的算术和几何方面的重要信息．在经过实例计算之后，Weil[M】 对 (函数 z(t)提出如下猜想： (I)有理性 z(t)是 t的有理函数，即是有理系数多项式之商 删 = ， (2) 其中 t与 的个数有限且均为代数整数； (II)黎曼猜想的模拟 上式 (2)中的 t与 分别满足 ll：qi， lI：q于， 收稿 日期：201309—22．修改稿收到 日期：2014—05—17． 基金项 目：国家 自然科学基金 (No和宁波市自然科学基金 (No．2013A610102，No．2014A610017) E—mail： caowei@nbu．edu．an 4期 徐浪，曹炜：有限域上一类代数簇 e函数的计算 531 其中ut，”j为非负整数，且 t与 j的Galois共轭均有相同的复绝对值．这样的数又称为 Well q一整数． 注 如果 是定义在射影空间p ()中的非奇异不可约代数簇，Weil[M】对 (函数z(t) 还提出了关于 “函数方程”和 B“etti ’的猜想 (详见文献 1【11)．Well的系列猜想影响深远，它 揭示了有限域上代数簇的算术与复数域上代数簇的拓扑之间的深刻联系．注意，黎曼 函数是定 义在复数域上的；另外在有向图上亦可定义离散的e函数 (参见文献 [9，13])． 但是，Weil本人只对代数曲线及一些特殊情形 (如对角方程)验证了他的猜想．1959年， Dwork7【]用 p-adic分析方法证明了Weil猜想的 有“理性”部分．1964年，Grothendieck等 1【0] 利用 ／-adic上同调 (这里f表示与