[論文レビュー] An identity for sums of polylogarithm functions

Steven J. Miller|arXiv (Cornell University)|Apr 22, 2008

Analytic Number Theory Research参考文献 21被引用数 9

ひとこと要約

本稿では、負の整数インデックスをもつ多ログ関数の線形結合についての恒等式を導出しており、これを単純な有理関数として表現する。主な結果として、これらの結合がオイラー数および正則尖型新形式のサタケパラメータと関連することを示し、L関数の中心点付近における1レベル密度の低次の項を明示的に計算可能にする。これにより、複素乗算をもつ家族と持たない家族の間の数論的差異が明らかになる。

ABSTRACT

We derive an identity for certain linear combinations of polylogarithm functions with negative exponents, which implies relations for linear combinations of Eulerian numbers. The coefficients of our linear combinations are related to expanding moments of Satake parameters of holomorphic cuspidal newforms in terms of the moments of the corresponding Fourier coefficients, which has applications in analyzing lower order terms in the behavior of zeros of L-functions near the central point.

研究の動機と目的

• 負の整数 r に対する多ログ関数 Li_{-r}(x) の線形結合についての恒等式を導出すること。
• これらの結合がオイラー数および正則尖型新形式のサタケパラメータのモーメントとどのように関連するかを特定すること。
• L関数の1レベル密度における低次の補正項を計算するための実用的な公式を提供すること。
• 特に、複素乗算をもつ家族と持たない家族の差を示すような、零点統計における数論的依存性を明らかにすること。

提案手法

• k における二次および一次多項式の積から得られる係数 a_{\ell,i} および b_{\ell,i} を用いた母関数を用いる。
• 帰納法と直接計算を適用し、特定の Li_{-r}(x) の線形結合が x^\ell(1+x)/(1-x)^{2\ell+1} の形をもつ有理関数に等しいことを証明する。
• オイラー数および有理関数を用いた Li_{-r}(x) の閉形式表現に依存する。
• 数論的文脈、特に新形式のフーリエ係数のモーメントにおいて自然に現れる係数 c_{m,r} を導入する。
• 1レベル密度の明示的公式における m と r の和の順序を入れ替える。多ログ関数の恒等式を用いて式を簡略化する。
• サタケパラメータの高次モーメントを、Sato-Tate やその他の既知または予想される分布に置き換えることで、低次の項のコンact表現を可能にする。

実験結果

リサーチクエスチョン

• RQ1 負のインデックスをもつ多ログ関数の線形結合を、有理関数に簡略化する方法は何か？
• RQ2 このような結合とオイラー数、あるいはサタケパラメータのモーメントとの関係は何か？
• RQ3 これらの恒等式は、中心点付近におけるL関数の1レベル密度における低次の項の計算をどのように支援するか？
• RQ4 これらの項は、楕円曲線族における複素乗算の有無といった、数論的構造をどのように反映するか？
• RQ5 この恒等式により、非ユニバーサルで数論的依存性を持つ補正項を捉えることで、L関数の零点分布のモデルがどのように改善されるか？

主な発見

• 恒等式は、|x|<1 に対して、Li_{-2\ell}(x) から Li_0(x) までの特定の線形結合が (2\ell)!/2 * x^\ell(1+x)/(1-x)^{2\ell+1} に等しいと述べている。
• 同様に、Li_{-2\ell-1}(x) から Li_0(x) までの線形結合は (2\ell+1)! * x^\ell(1+x)/(1-x)^{2\ell+2} に等しい。
• これらの恒等式は、有理関数展開における係数比較により、オイラー数の間の関係を示唆する。
• 線形結合における係数 a_{\ell,i} および b_{\ell,i} は、正則尖型新形式のサタケパラメータのモーメントの展開において現れる。
• 1レベル密度に適用した場合、恒等式により r≥3 の和を、モーメント M_\ell の母関数 g_M(x) を含むコンact表現に書き直すことができる。
• 得られた公式は、複素乗算をもつ家族と持たない家族を区別する低次の補正項を分離し、ランダム行列理論で観察されるユニバーサル性を破る。