[論文レビュー] An explicit formula for Hecke $L$-functions

Xian‐Jin Li|arXiv (Cornell University)|Mar 6, 2004

Advanced Algebra and Geometry参考文献 10被引用数 6

ひとこと要約

この論文は、カスプ形式に関連するヘッケ $L$-関数の非自明な零点の位置を決定する列 $\tau_N(n)$ の明示的公式を導出する。エイクラー＝ゼルバーグのトレース公式およびヘッケ固有形式の性質を用いて、完成化された $L$-関数 $\xi_N(s)$ のすべての零点が臨界帯内で臨界線 $\Re(s) = 1/2$ 上にあるのは、すべての $n \geq 1$ に対して $\tau_N(n) \geq 0$ であるときかつそのときに限ることを示し、これらの $L$-関数に対する一般化されたリーマン予想の基準を提供する。

ABSTRACT

In this paper an explicit formula is given for a sequence of numbers. The positivity of this sequence of numbers implies that zeros in the critical strip of the Euler product of Hecke polynomials, which are associated with the space of cusp forms of weight $k$ for Hecke congruence subgroups, lie on the critical line.

研究の動機と目的

• カスプ形式の重さ $k$ およびレベル $N$ のヘッケ $L$-関数に対する一般化されたリーマン予想の基準を確立すること。
• 完成化された $L$-関数 $\xi_N(s)$ の零点に関する和を用いて定義される列 $\tau_N(n)$ の明示的公式を導出すること。
• 新形式 $S_k(N,\chi)$ の $L$-関数に対する臨界線仮説と $\tau_N(n)$ の非負性を結びつけること。
• エイクラー＝ゼルバーグのトレース公式を用いて、ヘッケ作用素のトレースデータおよびモジュラー形式の算術的不変量を用いて $\tau_N(n)$ を表現すること。

提案手法

• 非自明な零点 $\rho$ を臨界帯にわたって和をとる $\tau_N(n) = \sum_{\rho} \left[1 - \left(1 - \frac{1}{\rho}\right)^{-n}\right]$ を定義する。
• ヘッケ作用素 $S_k(N,\chi)$ 上での $\operatorname{tr}(T(p^m))$ の計算にエイクラー＝ゼルバーグのトレース公式を用い、固有値トレースの明示的計算を可能にする。
• 再帰的定義 $S(p^m) = T(p^m) - \chi(p)p^{k-1}T(p^{m-2})$ で定義される補助的作用素 $S(p^m)$ を導入し、そのトレースが固有値和 $\sum_j b_{g_j}(p^m)$ に一致することを示す。
• ボンビエリ＝ラガリアスの基準を適用し、$\tau_N(n)$ の非負性と臨界線 $\Re(s) = 1/2$ 上の零点位置を結びつける。
• トレース公式および新形式からの算術的データを用いて、$N$, $k$, $\chi$, $h(f)$, および除数関数を用いた $\tau_N(n)$ の明示的代数的表現を導出する。
• $\xi_N(s)$ の関数等式および $\xi_N(s)$ が整関数であることから、零点が $\Re(s) = 1/2$ を中心に対称であることを保証し、問題を $\tau_N(n)$ の符号制御に還元する。

実験結果

リサーチクエスチョン

• RQ1 完成化された $L$-関数 $\xi_N(s)$ のすべての非自明な零点が臨界線 $\Re(s) = 1/2$ 上にあるのはどのような条件下か？
• RQ2 列 $\tau_N(n)$ の非負性が、ヘッケ $L$-関数の臨界線仮説に対して十分かつ必要条件となるか？
• RQ3 $\tau_N(n)$ の明示的代数的表現は、モジュラー形式の不変量およびヘッケ作用素のトレースデータを用いてどのように表されるか？
• RQ4 エイクラー＝ゼルバーグのトレース公式を用いて、任意のレベルおよび重さのカスプ形式の $L$-関数の $\tau_N(n)$ をどのように計算できるか？
• RQ5 新形式およびそれらに付随する $L$-関数は、$\xi_N(s)$ のグローバルな零点分布にどのような役割を果たすか？

主な発見

• $\tau_N(n)$ は算術的関数、ヘッケ作用素のトレース、$\Lambda(m)$ および $\ln m$ を含むゼータ型和の組み合わせとして明示的に計算される。
• Corollary 1.2 より、$S_k(N,\chi)$ 内のカスプ形式の $L$-関数に対する一般化されたリーマン予想は、すべての正の整数 $n$ に対して $\tau_N(n) \geq 0$ であることと同値である。
• 完成化された $L$-関数 $\xi_N(s)$ は整関数であり、関数等式 $\xi_N(s) = w \overline{\xi_N(1 - \overline{s})}$ を満たし、零点が $\Re(s) = 1/2$ を中心に対称であることを保証する。
• ヘッケ作用素 $T(p^m)$ の $S_k(N,\chi)$ 上でのトレースは、エイクラー＝ゼルバーグの公式により明示的に与えられ、類数 $h(f)$ およびガウス和を含む。
• $\tau_N(n)$ の式には $\sum_{l=1}^\infty \frac{k+1}{l(2l + k + 1)}$ を含む項が含まれており、これは収束し、公式の定数項に寄与する。
• $\tau_N(n)$ の公式は、$S_k(N,\chi)$ 内のすべての新形式からの寄与を考慮し、$\prod_{\mathfrak{f}|m|m|N} m^{\nu_m d(N/m)}$ を用いてそのレベル $N_j$ の積を要因分解することで、グローバル $L$-関数と局所データを結びつける。