[논문 리뷰] Generalization on the higher moments of the Fourier coefficients of symmetric power $L$-functions

K. Venkatasubbareddy|arXiv (Cornell University)|2026. 01. 23.

Advanced Mathematical Identities인용 수 0

한 줄 요약

이 논문은 대칭 차수 L-함수의 푸리에 계수의 거듭제곱 합에 대한 일반적인 평균값 공식을 입증하고 오차항을 개선하며, 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-함수 계수의 고차 모멘트의 평균적 거동 연구를 동기화한다.
• lj ≥ 4에 대해 λ_sym^j(n)^l의 합으로 기존 평균값 결과를 일반화한다.
• L_{l,j}(s) 구성에 따라 j와 l에 의존하는 명시적 점근적 형태와 오차항을 제공한다.
• 짝수 및 홀수 lj 케이스를 포괄하도록 해석적 프레임워크를 확장하고 이전의 특수 사례를 일원화한다.

제안 방법

• λ_sym^j(n)을 j-th 대칭 차수 L-함수 L(s, sym^j f)의 정규화된 푸리에 계수로 정의한다.
• λ_sym^j(n)^l의 디리클리 합으로 구성된 연관 L-함수 L_{l,j}(s)를 구성하고 이를 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-함수 및 지타 함수의 곱과 거듭제곱으로 표현하는 방법은 무엇인가?
• 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로 곱해진 항 plus 오차항이 x^{θ_{l,j}+ε}로 한정된다.
• lj가 홀수일 때, 합은 주항 없이 x^{θ_{l,j}+ε}로 한정된다.
• 구성된 L_{l,j}(s)의 차수는 D = (j+1)^l이며, 계수는 (1+x^2+...+x^{2j})^l의 전개에서 유래하는 자세한 조합 관계(c_m, d_m, e_m)를 만족한다.
• θ_{l,j}에 대한 구체적 식은 lj가 짝수인지 홀수인지에 따라 달라지며, 이전 지수들에 비해 개선된 값을 보인다.
• l=j=2 케이스에 대한 정교한 처리가 별도로 제시되며, 특화된 테두리와 극점 분석이 수행된다.
• 전반적으로, 이 연구는 이산 평균 제곱 형태의 추정치를 대칭 차수 계수의 광범위한 가족으로 확장하고 기존의 오차항을 개선한다.