[논문 리뷰] Weak subconvexity for central values of $L$-functions

K. Soundararajan|ArXiv.org|2008. 09. 09.

Analytic Number Theory Research참고 문헌 20인용 수 4

한 줄 요약

이 논문은 중심 $L$-함수 값에 대한 약한 하위볼록성 경계를 설정하는 새로운 방법을 제시하며, 볼록성 경계를 $1/( ext{log} C(π))^{1-\epsilon}$만큼 개선한다. 이 방법은 푸리에 분석, 플랑카렐의 정리 및 약한 라만두잔 가설을 활용하여 대칭 제곱 $L$-함수, 삼중 곱 $L$-함수, $t$-측면에서의 자동형 양식의 $L$-함수에 대해 향상된 추정치를 도출한다.

ABSTRACT

We describe a general method to obtain weak subconvexity bounds for many classes of $L$-functions. This has applications to a conjecture of Rudnick and Sarnak for the mass equidistribution of Hecke eigenforms (see arxiv.org:math/0809.1636).

연구 동기 및 목표

• 볼록성 경계를 초월하면서도 완전한 하위볼록성에 이르지 않는 중심 $L$-값에 대한 개선된 경계를 도출하는 방법을 개발한다.
• 진정한 하위볼록성이 확보되지 않는 경우이지만 약한 하위볼록성이 응용에 충분한 경우를 다룬다.
• 다양한 $L$-함수에 대해 $L(\frac{1}{2}, \pi) \ll C(\pi)^{\frac{1}{4}} / (\log C(\pi))^{1-\epsilon}$ 형태의 경계를 확립한다.
• 완전한 라만두잔 추측이 증명되지 않은 경우에도 적용 가능한 약한 라만두잔 가설에 기반한 일반적인 프레임워크를 제공한다.
• 약한 하위볼록성이 히케 고유형식의 질량 균일분포 문제 해결에 어떻게 기여하는지 보여준다.

제안 방법

• 푸리에 분석적 접근을 통해 $L$-함수 평균을 $y = \log t$에 대한 적분으로 변환하고, $\tilde{\mathcal{O}}_{\underline{L}}(e^y, w)$에 대해 플랑카렐의 정리를 적용한다.
• 이중 분할과 $t = e^y$의 치환을 통해 원래 적분을 $L^2$-추정에 적합한 형태로 변환한다.
• 핵심 기법은 von Mangoldt 유형의 합 $\sum_{n \leq e^y} \Lambda_f(n)$의 푸리에 변환을 이용해 매끄러운 오차 항의 $L^2$-노름을 제한하는 데 있다.
• 플랑카렐의 정리를 두 번 적용한다: 먼저 매끄러운 오차 연산자에 대해, 그 다음 로그 도함수 $F'(1+\alpha+it)/F(1+\alpha+it)$에 대해 적용한다.
• 완전한 라만두잔 추측이 필요 없이 계수의 크기를 제어하기 위해 약한 라만두잔 가설을 사용한다.
• 적분을 $t$의 저주파수 및 고주파수 영역으로 나누어 분석하고, $F'(s)/F(s)$ 및 $|1 - w^{-\alpha - it + i\tau_k}|$에 대한 기존의 경계를 활용한다.

실험 결과

연구 질문

• RQ1 완전한 하위볼록성이 확보되지 않는 경우 중심 자동형 $L$-함수 값에 대해 약한 하위볼록성 경계를 확립할 수 있는가?
• RQ2 해석적 도함수에 대해 거듭제곱 savings 없이 로그 인자로 볼록성 경계를 얼마나 개선할 수 있는가?
• RQ3 이러한 약한 하위볼록성 경계는 예를 들어 질량 균일분포 문제와 같은 산술 양자 유일에르고디시티 문제를 해결하는 데 응용될 수 있는가?
• RQ4 큰 무게를 가진 정수형 형태의 대칭 제곱 $L$-함수에 대해 이 방법은 어떻게 성능을 발휘하는가?
• RQ5 이 프레임워크는 삼중 곱 $L$-함수 및 $GL(m)$ 자동형 표현의 $L$-함수로 확장될 수 있는가?

주요 결과

• 대칭 제곱 $L$-함수 $L(\frac{1}{2}+it, \text{sym}^2 f)$에 대해, $|L(\frac{1}{2}+it, \text{sym}^2 f)| \ll_{\epsilon} \frac{k^{1/2}(1+|t|)^{3/4}}{(\log k)^{1-\epsilon}}$ 라는 경계가 확립되었으며, 볼록성 경계를 로그 인자로 개선한다.
• 삼중 곱 $L$-함수 $L(\frac{1}{2}, f \times f \times \phi)$에 대해, $L(\frac{1}{2}, f \times f \times \phi) \ll_{\phi,\epsilon} \frac{k}{(\log k)^{1-\epsilon}}$ 라는 경계가 도출되었으며, 다시 한번 볼록성 경계를 로그 인자로 개선한다.
• 고정된 $\pi_0$가 $GL(m_0)$에 대해 정의된 $L(\frac{1}{2}+it, \pi_0)$에 대해, $|L(\frac{1}{2}+it, \pi_0)| \ll_{\pi_0,\epsilon} \frac{(1+|t|)^{m_0/4}}{(\log(1+|t|))^{1-\epsilon}}$ 라는 경계가 성립한다.
• 모듈로 $q$의 원시 딜라이흐레 문자차수 $\chi$에 대해 $L(\frac{1}{2}, \pi_0 \times \chi)$에 대해, $L(\frac{1}{2}, \pi_0 \times \chi) \ll_{\pi_0,\epsilon} \frac{q^{m_0/4}}{(\log q)^{1-\epsilon}}$ 라는 경계가 증명되었다.
• 약한 라만두잔 가설을 만족하는 $L$-함수에 대해 이 방법이 적용 가능하며, 완전한 라만두잔 추측이 증명되지 않은 경우에도 결과를 도출할 수 있다.
• 이 프레임워크는 홀로위누스의 篩법과 결합하여 루딘-사르나크 질량 균일분포 추측을 해결하는 데 기여한다.