[论文解读] Zeta Functions for Elliptic Curves I. Counting Bundles

Lin Weng|arXiv (Cornell University)|Feb 4, 2012

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

一句话总结

本文引入了一类新的纯zeta函数，用于定义在有限域上的椭圆曲线，其基于半稳定向量丛的模空间，并证明了在秩2和3时的有理性、函数方程以及黎曼猜想。该文证明了这些zeta函数与$SL_n$的群zeta函数一致，并揭示了一项深刻的“计数奇迹”，即自同构群与$h^0$不变量之间的深层联系，同时提供了高秩情形下黎曼猜想的渐近证据。

ABSTRACT

To count bundles on curves, we study zetas of elliptic curves and their zeros. There are two types, i.e., the pure non-abelian zetas defined using moduli spaces of semi-stable bundles, and the group zetas defined for special linear groups. In lower ranks, we show that these two types of zetas coincide and satisfy the Riemann Hypothesis. For general cases, exposed is an intrinsic relation on automorphism groups of semi-stable bundles over elliptic curves, the so-called counting miracle. All this, together with Harder-Narasimhan, Desale-Ramanan and Zagier's result, gives an effective way to count semi-stable bundles on elliptic curves not only in terms of automorphism groups but more essentially in terms of their $h^0$'s. Distributions of zeros of high rank zetas are also discussed.

研究动机与目标

• 基于有限域上椭圆曲线的半稳定向量丛模空间，定义并研究一类新的zeta函数。
• 建立这些zeta函数的有理性与函数方程，尤其关注低秩情形。
• 研究零点的分布，并证明秩2和3的zeta函数满足黎曼猜想。
• 揭示半稳定丛在椭圆曲线上自同构群与全局截面$h^0$之间的一种内在联系——“计数奇迹”。
• 提出一种有效计数半稳定丛的方法，利用$h^0$与自同构不变量，扩展了Harder-Narasimhan、Desale-Ramanan与Zagier的经典结果。

提出的方法

• 将纯zeta函数$\zeta_{E,r}(s)$定义为秩$r$、次数$rm$的半稳定丛的生成函数，权重为$\frac{q^{h^0(E,\mathcal{E})}-1}{\#\mathrm{Aut}(\mathcal{E})}$。
• 使用丰满模空间${\bf M}_{E,r}(d)$，其包含每个Seshadri类中的全部半稳定丛，以超越同构类的精细计数。
• 将zeta函数表示为$\alpha_{E,r}(0)$与$\beta_{E,r}(0)$的形式，其中$\beta_{E,r}(0)$由Harder-Narasimhan、Desale-Ramanan与Zagier的公式所控制。
• 通过证明$\widehat{Z}_{E,r}(t) = \frac{P_{E,r}(T)}{(1-T)(1-QT)}$（其中$T = t^r$，$Q = q^r$，且$P_{E,r}(T)$为二次多项式）来证明有理性。
• 建立函数方程$\widehat{Z}_{E,r}(1/qt) = \widehat{Z}_{E,r}(t)$，确认zeta函数的对称性。
• 通过二次多项式$P_{E,r}(T)$的判别式推导黎曼猜想条件，从而对比例$a_{E,r} = \beta_{E,r}(0)/\alpha_{E,r}(0)$给出约束。

实验结果

研究问题

• RQ1 通过椭圆曲线上半稳定丛的模空间定义的纯zeta函数，在低秩情形下是否满足黎曼猜想？
• RQ2 是否存在一种深刻的结构性联系——“计数奇迹”——将椭圆曲线上半稳定丛的自同构群与$h^0$不变量联系起来？
• RQ3 能否用经典不变量$\beta_{E,r}(0)$与$\alpha_{E,r}(0)$来表达椭圆曲线上$SL_n$-丛的zeta函数？
• RQ4 高秩zeta函数的零点如何分布？其分布是否与Artin的zeta函数有显著差异？
• RQ5 当$q^r \to \infty$时，比例$a_{E,r} = \beta_{E,r}(0)/\alpha_{E,r}(0)$是否趋近于1，从而支持黎曼猜想的渐近有效性？

主要发现

• 纯zeta函数$\zeta_{E,r}(s)$具有有理性，并满足函数方程$\widehat{Z}_{E,r}(1/qt) = \widehat{Z}_{E,r}(t)$，确认了对称性。
• 在秩2和3时，zeta函数满足黎曼猜想，因为当$\frac{\sqrt{Q}-1}{\sqrt{Q}+1} < a_{E,r} < \frac{\sqrt{Q}+1}{\sqrt{Q}-1}$时，二次多项式$P_{E,r}(T)$的判别式为负。
• 比例$a_{E,r} = \beta_{E,r}(0)/\alpha_{E,r}(0)$满足$1 - \frac{2}{\sqrt{q^r}+1} < a_{E,r} < 1 + \frac{2}{\sqrt{q^r}-1}$，这表明当$q^r \to \infty$时，黎曼猜想渐近成立。
• $\zeta_{E,1}(s) = \zeta_E(s)$，即Artin zeta函数，表明与经典情形一致。
• “计数奇迹”得以确立：$\alpha_{E,r}(0) = \beta_{E,r-1}(0)$，揭示了$h^0$加权计数与自同构计数之间的深层对偶性。
• 在黎曼猜想成立的前提下，高秩zeta函数的零点分布收敛于$\pi/2$处的狄拉克函数，表明非平凡零点的角度渐近趋近于$\pi/2$。