[論文レビュー] Zeta Functions for Elliptic Curves I. Counting Bundles

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

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

ひとこと要約

本稿は、有限体上の楕円曲線に対して、半安定ベクトル束のモジュライ空間を介して定義される、純粋ゼータ関数の新しいクラスを導入し、ランク2および3においてその有理性、関数等式、およびリーマン予想を確立する。これらのゼータ関数が $SL_n$ の群ゼータ関数と一致することを証明し、自己同型群と $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.

研究の動機と目的

• 有限体上の楕円曲線に対して、半安定ベクトル束のモジュライ空間に基づく新しいゼータ関数の定義とその研究を行う。
• これらのゼータ関数の有理性および関数等式を、特に低ランクにおいて確立する。
• 零点の分布を調査し、ランク2および3のゼータ関数に対してリーマン予想を証明する。
• 楕円曲線上の半安定束の自己同型群と全空間切断 $h^0$ の間の本質的関係——「数え上げの奇跡」——を解明する。
• Harder-Narasimhan、Desale-Ramanan、Zagierの古典的結果を拡張し、$h^0$ と自己同型不変量を用いた半安定束の有効な数え上げ法を提供する。

提案手法

• ランク $r$ および次数 $rm$ の半安定束の上での生成関数として、$\frac{q^{h^0(E,\mathcal{E})}-1}{\#\mathrm{Aut}(\mathcal{E})}$ を重みとする純粋ゼータ関数 $\zeta_{E,r}(s)$ を定義する。
• 各セーシャドリ類に属する半安定束の完全な集合を含む「太った」モジュライ空間 ${\bf M}_{E,r}(d)$ を用い、同型類を超えた精細な数え上げを実現する。
• $\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)$ を確立し、ゼータ関数の対称性を確認する。
• 二次多項式 $P_{E,r}(T)$ の判別式を用いてリーマン予想の条件を導出し、$a_{E,r} = \beta_{E,r}(0)/\alpha_{E,r}(0)$ の比に対する境界を得る。

実験結果

リサーチクエスチョン

• RQ1 楕円曲線上の半安定束のモジュライを介して定義された純粋ゼータ関数は、低ランクにおいてリーマン予想を満たすか？
• RQ2 楕円曲線上の半安定束の自己同型群と $h^0$ 不変量の間には、「数え上げの奇跡」として知られる深い構造的関係が存在するか？
• RQ3 楕円曲線上の $SL_n$-束のゼータ関数は、$\beta_{E,r}(0)$ および $\alpha_{E,r}(0)$ のような古典的不変量で表現可能か？
• RQ4 高ランクゼータ関数の零点はどのように分布し、アーティンのゼータ関数とは顕著に異なるか？
• RQ5 $q^r \to \infty$ のとき、比 $a_{E,r} = \beta_{E,r}(0)/\alpha_{E,r}(0)$ は 1 に近づくか？ これは、リーマン予想の漸近的妥当性を支持するか？

主な発見

• 純粋ゼータ関数 $\zeta_{E,r}(s)$ は有理的であり、関数等式 $\widehat{Z}_{E,r}(1/qt) = \widehat{Z}_{E,r}(t)$ を満たし、対称性が確認された。
• ランク2および3において、二次多項式 $P_{E,r}(T)$ の判別式が負である限り、リーマン予想が成立する。条件は $\frac{\sqrt{Q}-1}{\sqrt{Q}+1} < a_{E,r} < \frac{\sqrt{Q}+1}{\sqrt{Q}-1}$ である。
• $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)$ が成り立ち、古典的ケースと整合的である。
• 数え上げの奇跡が確立された：$\alpha_{E,r}(0) = \beta_{E,r-1}(0)$ であり、$h^0$ 重み付き数え上げと自己同型数え上げの間の深い双対性が明らかになった。
• リーマン予想のもと、高ランクゼータ関数の零点の分布は $\pi/2$ におけるディラックデルタ関数に収束する。これは、非自明な零点の偏角が漸近的に $\pi/2$ に近づくことを示している。