[논문 리뷰] On sums of Fourier coefficients of cusp forms

Aleksandar Ivić|ArXiv.org|2003. 11. 25.

Analytic Number Theory Research참고 문헌 6인용 수 38

한 줄 요약

이 논문은 마스 촌형식과 헬름홀트 촌형식의 푸리에 계수의 제곱에서의 합계 함수에 대해 날카운 상계를 확립하며, $\sum_{n \leq x} t_j(n^2) \ll \alpha_j^{-1}x \exp\left(-A\log^{3/5}x (\log\log x)^{-1/5}\right)$임을 보이고, 헬름홀트 형식의 경우 유사한 감쇠를 보인다. 이 결과는 소수 정리의 오차 항과 히케 고유값의 곱셈적 성질에 기반한다.

ABSTRACT

The summatory function of $t_j(n^2)$ is estimated, where $H_j(s) = \sum_{n=1}^\infty t_j(n)n^{-s}$ is the Hecke series of a non-holomorphic cusp form. The analogous problem of holomorphic cusp forms is also treated.

연구 동기 및 목표

• 마스 또는 헬름홀트 촌형식의 $n$-번째 푸리에 계수인 $f(n)$에 대해 $\sum_{n \leq x} f(n^2)$의 점근적 상계를 유도하는 것.
• 히케 고유값의 진동적 성격으로 인해 이러한 합계에 주항등항이 존재하지 않는 문제를 다루는 것.
• 랭킨-셀버그 방법과 모비우스 역행렬을 사용하여 이전의 $\sum t_j^2(n)$ 및 $\sum \tilde{a}^2(n)$ 결과를 통합하고 확장하는 것.
• 스펙트럼 매개변수 $\kappa_j$와 라마누잔 지수 $\alpha$에 대한 의존성을 정량화하는 것.
• 리만 가설과의 연결을 위해 $\zeta(s)$의 개선된 영역 없는 영역이 더 강력한 상계를 제공할 수 있음을 보여주는 것.

제안 방법

• 곱셈적 항등식 $t_j(n^2) = \sum_{d|n} \mu(d) t_j^2(n/d)$를 사용하여 합계를 $m,n$에 대한 이중 합으로 표현하고, $mn \leq x$로 나누어 $m \leq \sqrt{x}$와 $n \leq \sqrt{x}$로 분할하는 것.
• 랭킨-셀버그 이론로부터 유도된, $\kappa_j \leq x^c$에 대해 균일하게 $\sum_{n \leq x} t_j^2(n) = \frac{12x}{\pi^2 \alpha_j} + O(x^\beta)$ ($\beta < 1$)인 알려진 점근적 표현을 적용하는 것.
• 소수 정리의 오차 항을 활용하여 $\sum_{m \leq \sqrt{x}} \mu(m)/m \ll \exp(-C \log^{3/5}x (\log\log x)^{-1/5})$를 이용해 주요 합계 $\sum_1$를 추정하는 것.
• 동일한 지수 감쇠와 $t_j^2(n)$의 성장률을 사용하여 보조 합계 $\sum_2$를 유계로 제한하여 $O(\alpha_j^{-1}x \exp(-C\eta(x)))$임을 보이는 것.
• 모비우스 역행렬과 정규화된 히케 고유값 $\tilde{a}(n) = a(n)n^{-(\kappa-1)/2}$를 사용하여 결과를 헬름홀트 촌형식으로 확장하는 것.
• 부분 합계를 적용하여 $\sum \tilde{a}(n^2)$에 대한 유계를 $\sum a(n^2)$로 이 trasfer하여 $x^\kappa$-가중 감쇠를 도출하는 것.

실험 결과

연구 질문

• RQ1 마스 촌형식의 히케 고유값 $t_j(n)$에 대해 $\sum_{n \leq x} t_j(n^2)$의 최고 가능한 상계는 무엇인가요?
• RQ2 스펙트럼 매개변수 $\kappa_j$는 $t_j(n^2)$의 합계 함수의 오차 항에 어떻게 영향을 미치나요?
• RQ3 히케 고유값 $t_j(n)$의 진동적 성격을 활용하여 주항등항이 없는 상황에서 상쇄 효과를 보일 수 있으며, 만약 그렇다면 합계는 얼마나 빠르게 감쇠합니까?
• RQ4 라마누잔-피터슨 추측($\alpha = 0$)이 성립할 경우, 유의미한 범위가 어떻게 향상되나요?
• RQ5 헬름홀트 촌형식의 유계와 마스 형식의 유계는 어떻게 비교되며, 무게 $\kappa$는 어떤 역할을 하나요?

주요 결과

• 마스 촌형식의 경우, $\sum_{n \leq x} t_j(n^2) \ll \alpha_j^{-1}x \exp\left(-A\log^{3/5}x (\log\log x)^{-1/5}\right)$는 $\kappa_j \leq x^c$에 대해 균일하게 성립하며, $0 < c < \min\left(\frac{3+6\alpha}{2+20\alpha}, 1-\alpha\right)$이다.
• 만약 $\alpha \leq \frac{5}{28}$이면, $c < \frac{57}{78}$까지 범위가 확장되어 $\kappa_j$에 대한 의존성 범위가 향상된다.
• 라마누잔-피터슨 추측이 성립할 경우($\alpha = 0$), 유계는 $\kappa_j \leq x^c$에 대해 임의의 $0 < c < 1$로 확장되며, 최적의 스펙트럼 범위를 보여준다.
• 무게 $\kappa$의 헬름홀트 촌형식에 대해 $\sum_{n \leq x} a(n^2) \ll x^\kappa \exp\left(-C(\log x)^{3/5}(\log\log x)^{-1/5}\right)$ ($C > 0$)이며, 이는 $\tilde{a}(n^2)$에 대한 부분 합계를 적용하여 도출된다.
• 지수 감쇠 요소는 소수 정리에서 알려진 가장 날카운 오차 항과 관련되며, 자동형식과 $\zeta(s)$의 영역 없는 영역을 연결한다.
• 합계에 주항등항이 없는 것은 $t_j(n)$의 진동적 성격 때문이며, 이는 $d(n^2)$와 같은 약수 유형 산술 함수와 대조적으로, 이들에는 주항등항이 존재한다.