[논문 리뷰] Divisors of Fourier coefficients of modular forms

Sanoli Gun, M. Ram Murty|arXiv (Cornell University)|2014. 03. 19.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 3

한 줄 요약

이 논문은 정수 계수를 가진 $̲\Gamma_0(N)̲$에 대한 정규화된 히케 고유형식의 푸리에 계수에 적용된 약수 함수의 평균 순서를 조사한다. 일반화된 리만 가설(GRH) 하에, 합 $̲\sum_{p \leq x,\, a(p) \neq 0} d(a(p))̲$가 어떤 상수 $A$에 대해 $x (\log x)^{A}$의 점근적 성장을 보임을 입증하며, 체보타레프 밀도와 해석적 수론 기법을 통해 명시적인 상한을 도출한다.

ABSTRACT

Let $d(n)$ denote the number of divisors of $n$. In this paper, we study the average value of $d(a(p))$, where $p$ is a prime and $a(p)$ is the $p$-th Fourier coefficient of a normalized Hecke eigenform of weight $k \ge 2$ for $Γ_0(N)$ having rational integer Fourier coefficients.

연구 동기 및 목표

• 정수 계수를 가진 정규화된 히케 고유형식의 $p$번째 푸리에 계수에 대해 약수 함수 $d(a(p))$의 평균 순서를 연구하는 것.
• 일반화된 리만 가설(GRH)을 가정할 때 $\sum_{p \leq x} d(a(p))$에 대한 점근적 추정을 수립하는 것.
• 갈루아 표현과 체보타레프 밀도를 이용해 히케 고유값의 약수 분포를 분석함으로써 모듈라 형식의 산술 함수에 대한 결과를 확장하는 것.
• 형태 $\sum_{p \leq x} d(a(p)) \sim Bx (\log x)^v$를 갖는 점근 공식이 존재하는지 탐색하는 것. 여기서 $v$는 0일 수도 있다.

제안 방법

• 모듈라 형식에 연결된 표현 $\rho_\delta$를 이용해 $a(p) \equiv 0 \pmod{\delta}$를 갈루아 확장에서의 프로베니우스 공轭류와 연결한다.
• 체보타레프 밀도 정리를 적용하여, $a(p) \equiv 0 \pmod{\delta}$인 소수 $p \leq x$의 수인 $\pi(x,\delta)$를 밀도 $h(\delta) = |C_\delta| / |G_\delta|$를 통해 추정한다.
• 프리드랜더와 아이와니에츠의 반드시 코르푸트 방법의 개선을 활용해, 약수 함수 $d(n)$을 짧은 지수 합으로 상계한다.
• 해석적 성질을 갖는 디리클레 급수 $F(s) = \sum d(n)^c h(n)/n^s$와 $G(s) = \sum d(n)^c / n^s$를 사용하여 복소해석학을 통해 부분합을 상한한다.
• 완전한 GRH가 가정되지 않을 경우에도 효과적인 상한을 도출하기 위해 준-GRH를 적용한다.
• GRH에서 유도된 오차항과 $Z(x)$, 즉 $a(p) = 0$인 소수의 집합에 대한 0의 밀도 추정치를 조합하여 주합을 제어한다.

실험 결과

연구 질문

• RQ1 GRH 하에, 소수 $p$에 대한 $d(a(p))$의 평균 값이 점근적으로 상한될 수 있는가?
• RQ2 상수 $B$와 $v$에 대해 형태 $\sum_{p \leq x} d(a(p)) \sim Bx (\log x)^v$를 갖는 점근 공식이 존재하는가?
• RQ3 $a(p) \equiv 0 \pmod{\delta}$인 소수의 밀도 $h(\delta)$는 어떻게 행동하며, 이는 약수 합의 추정에 어떤 역할을 하는가?
• RQ4 GRH의 전반적인 강도를 얼마나 완화시켜도 여전히 약수 함수 합에 대해 거듭제곱-로그 상한을 확보할 수 있는가?

주요 결과

• GRH 하에, $\sum_{p \leq x,\, a(p) \neq 0} d(a(p)) \ll x (\log x)^{2^c - 1}$이 되며, 이때 상수 $c > 0$는 무게 $k$에 따라 달라진다.
• 하한은 $\sum_{p \leq x,\, a(p) \neq 0} d(a(p)) \gg x$로 주어지며, 이는 합이 $x$에 대해 최소한 선형적으로 증가함을 보여준다.
• 체보타레프 밀도 추정의 오차항은 $O(\delta^3 x^{1/2} \log(\delta N x))$이며, 이는 $\delta$에 대한 합 제어에 핵심적이다.
• 디리클레 급수 $F(s) = \sum d(n)^c h(n)/n^s$는 $\sum_{n \leq z} d(n)^c h(n) \ll (\log z)^{2^c}$를 만족함이 입증되어, 효과적인 부분합 상한을 가능하게 한다.
• $G(s) = \sum d(n)^c / n^s$를 통해 $\sum_{n \leq z} d(n)^c \ll z (\log z)^{2^c}$가 확립되며, 이 급수는 $\Re(s) \geq 1$에서 해석적이다.
• 결과는 준-GRH 가정 하에서도 유효하며, $x (\log x)^A$ 형태의 상한을 얻을 수 있으나, 명시적인 상수는 더 약해진다.