[論文レビュー] Generalization on the higher moments of the Fourier coefficients of symmetric power $L$-functions

K. Venkatasubbareddy|arXiv (Cornell University)|Jan 23, 2026

Advanced Mathematical Identities被引用数 0

ひとこと要約

この論文は、対称べき L-functions のフーリエ係数のべき乗の和の一般的な平均値公式を証明し、誤差項を鋭くし、 lj ≥ 4 に対して明示的なべき根を持つ既存結果を拡張します。

ABSTRACT

For an even integer $k\geq 2$, let $f$ be a primitive holomorphic cusp form of weight $k$ for the full modular group $SL(2,\mathbb{Z})$ and let $λ_{ m{sym}^jf}(n)$ denote the $n^ ext{th}$ normalized Fourier coefficient of the $j^{ ext{th}}$ symmetric power $L$-function $L(s,{ m{sym}}^j f)$. It has been an interesting problem to study the average behaviour of $λ_{ m{sym}^jf}(n)$ and their higher powers, and many researchers in the literature have studied the sum \begin{equation*} \sum_{n\leq x} λ_{ m{sym}^j}^l(n), \end{equation*} for various values of $l$ and $j$. In this paper, we improve and generalize previously known results concerning the sum above for positive integers $l$ and $j$ such that $lj\geq 4$.

研究の動機と目的

• 対称べき L-function の係数の高次モーメントの平均的挙動を研究する動機づけ。
• lj ≥ 4 の和 λ_sym^j(n)^l に対する既存の平均値結果を一般化。
• L_{l,j}(s) 構成を介して j と l に依存する明示的な漸近形と誤差項を提供。
• lj が偶数・奇数の場合を含めた解析的枠組みを拡張し、従来の特別ケースを統一する。

提案手法

• λ_sym^j(n) を j 番目の対称べき L-function L(s, sym^j f) の正規化されたフーリエ係数として定義。
• 対応する L-function L_{l,j}(s) を λ_sym^j(n)^l のディリクレ級数として構築し、L(s, sym^{·} f) およびゼータ因子のべきの積を含むオイラー積に分解する。
• ペロンの公式と解析連続性を適用して積分線を動かし、L_{l,j}(s) の特異点から主項と誤差項を抽出する。
• λ_sym^j(p)^l を λ_sym^{lj-2m}(p) の線形結合として表現し、構築された L_{l,j}(s) の次数 D = (j+1)^l を導く。
• 垂直線上の L-関数の境界を境界で評価し、平均二乗型の境界と Heath–Brown 型の推定を適用し、円環パラメータ T を最適化して指標 θ_{l,j} を得る。
• 偶数・奇数の lj を別々に扱い、lj=4 および lj≥6 の場合を個別に処理し、l=j=2 の特別な扱いを行う。

実験結果

リサーチクエスチョン

• RQ1 lj ≥ 4 のとき ∑_{n≤x} λ_sym^j(n)^l の平均値はどうなるか？
• RQ2 これらの高次モーメントを標準的な L-function およびゼータ因子の積とべき乗でどのように表現できるか？
• RQ3 既知の誤差指数 θ_{l,j} はどれくらいで、どのように改善できるか？
• RQ4 lj が偶数・奇数の双方を統一できるか、 lj=4 および l=j=2 のような特別ケースを含めて？
• RQ5 関連する L_{l,j}(s) の構造的特性が漸近の主項と誤差項をどのように支配するか？

主な発見

• lj が偶数の場合、 ∑_{n≤x} λ_sym^j(n)^l(n) は x に対して log x の次数 d_{lj/2}-1 の多項式と誤差项 x^{θ_{l,j}+ε} によって表される。
• lj が奇数の場合、和は主項を持たず x^{θ_{l,j}+ε} で有界。
• 構築された L_{l,j}(s) の次数は D = (j+1)^l であり、係数は (c_m, d_m, e_m) の詳細な組合せ関係を満たす（(1+x^2+...+x^{2j})^l の展開から生じる）。
• θ_{l,j} の明示的な式は lj が偶数か奇数かによって異なり、以前の指数より改善を示す。
• l=j=2 の場合の扱いを別個に詳述し、特定の円断層と極の解析を行う。
• 全体として、結果は離散的な平均平方型の推定を対称べき係数の広範な族へ拡張し、既知の誤差項を改善する。