[논문 리뷰] The fourth moment of quadratic Dirichlet $L$-functions

Quanli Shen|arXiv (Cornell University)|2019. 07. 02.

Analytic Number Theory Research참고 문헌 19인용 수 8

한 줄 요약

이 논문은 일반화된 리만 가설(GRH) 하에서, 홀수 제곱-free인 $d$에 대해 $s = \frac{1}{2}$에서 이차 디리클레 $L$-함수 $L(\frac{1}{2}, \chi_{8d})$의 네 번째 모멘트에 대한 渐近 공식을 수립한다. 소운다라자잔과 영의 기법을 응용하여 앤드레이드와 키팅이가 $k=4$에 대해 제안한 추측을 확인하며, 다중 복소 적분에서 고차 극 기여를 평가하는 핵심 기술적 혁신을 제공하고, 추측된 주요 항과 일치하는 조건부 하한을 제시한다.

ABSTRACT

We study the fourth moment of quadratic Dirichlet $L$-functions at $s= \frac{1}{2}$. We show an asymptotic formula under the generalized Riemann hypothesis, and obtain a precise lower bound unconditionally. The proofs of these results follow closely arguments of Soundararajan and Young [19] and Soundararajan [17].

연구 동기 및 목표

• 홀수 제곱-free인 $d \leq X$에 대해 $L(\frac{1}{2}, \chi_{8d})$의 네 번째 모멘트에 대한 渐近 공식을 수립하여, 앤드레이드와 키팅이가 $k=4$에 대해 제안한 추측을 확인한다.
• 소운다라자잔과 영의 방법을 확장하여 네 번째 모멘트를 다루며, 특히 주요 항에 영향을 미치는 비대칭 항 기여를 다룬다.
• 추측된 渐近 공식의 주요 항과 일치하는, 조건부 하한을 제시한다.
• 모멘트의 일반적 성질과 중심점에서 $L$-값의 0이 아님을 연결하여, 초우라의 추측과 관련된 $L$-함수의 모멘트에 대한 보다 넓은 이해를 기여한다.

제안 방법

• 소운다라자잔(2000)과 소운다라자잔–영(2010)의 스펙트럴 방법 및 복소 적분 기법을 응용하여 $L(\frac{1}{2}, \chi_{8d})$의 네 번째 모멘트를 분석한다.
• 비대칭 항을 다중 복소 적분을 통해 평가하며, 이전 연구에서 오차 항이었던 고차 극의 철저한 처리를 통해 이 경우의 특수성을 확립한다.
• 일반화된 리만 가설(GRH)을 활용하여 영이 없는 영역을 제어하고 $L$-함수 평균을 추정함으로써 정밀한 渐近 분석을 가능하게 한다.
• 모멘트 방법 기법을 적용하여 $L$-값의 분포를 다루며, 특히 $|L(\frac{1}{2}+z_1, \chi_d)L(\frac{1}{2}+z_2, \chi_d)|$가 큰 $d$의 수를 모델링하는 함수 $\mathcal{N}(V; z_1, z_2, X)$를 사용한다.
• 로그 $L$-함수 값의 분산 $\mathcal{V}(z_1, z_2, X)$와 평균 $\mathcal{M}(z_1, z_2, X)$에 대한 경계를 적용하여 모멘트의 적분 표현을 제어한다.
• 확률론적 및 해석적 기법을 융합하여, $\mathcal{N}(V; z_1, z_2, X)$의 尾 확률 추정을 활용해 주요 渐近 및 하한 결과를 도출한다.

실험 결과

연구 질문

• RQ1 홀수 제곱-free인 $d \leq X$에 대해 $L(\frac{1}{2}, \chi_{8d})$의 네 번째 모멘트는 앤드레이드와 키팅이가 $k=4$에 대해 제안한 추측된 渐近 공식을 만족하는가?
• RQ2 이전 연구에서 오차 항이었던 비대칭 항의 기여가, 이 경우 주요 항으로 기여하는 것으로 보일 수 있는가?
• RQ3 추측된 渐近 공식의 주요 항과 일치하는, 네 번째 모멘트에 대한 가장 좋은 조건부 하한은 무엇인가?
• RQ4 소운다라자잔과 영의 방법이 비대칭 항이 무시할 수 없는 경우, 네 번째 모멘트에 어떻게 확장될 수 있는가?
• RQ5 이러한 $L$-함수의 클래스에 대해, 랜덤 매트릭스 모델의 예측이 GRH 하에서 어떻게 엄밀하게 확인될 수 있는가?

주요 결과

• GRH 하에서, $\sum_{\substack{0<d\leq X \\ (d,2)=1}} L(\frac{1}{2}, \chi_{8d})^4 = \frac{a_4}{2^6 \cdot 3^3 \cdot 5^2 \cdot 7 \cdot \pi^2} X (\log X)^{10} + O\left(X (\log X)^{9.75+\varepsilon}\right)$ 라는 渐近 공식이 성립하며, 이는 앤드레이드와 키팅이의 $k=4$에 대한 추측을 확인한다.
• 주요 항은 모멘트 전개에서 비대칭 항의 기여에서 기인하며, 이는 이전 연구에서 이러한 항이 오차 항으로 간주되었던 것과의 핵심적 차이점이다.
• 조건부 하한이 확립되었다: $\sum_{\substack{0<d\leq X \\ (d,2)=1}} L(\frac{1}{2}, \chi_{8d})^4 \geq \left(\frac{a_4}{2^6 \cdot 3^3 \cdot 5^2 \cdot 7 \cdot \pi^2} + o(1)\right) X (\log X)^{10}$, 이는 추측된 渐近 공식의 주요 항과 일치한다.
• 상수 $a_4$는 홀수 소수에 대한 오일러乘법을 통해 명시적으로 정의되며, 바르스 $G$-함수와 $L$-함수 모멘트와 관련된 국소 인자들을 포함한다.
• 증명은 고차 극을 포함한 다중 복소 적분의 새로운 평가에 의존하며, 이는 주요 항을 포착할 수 있게 해주는 중심적인 기술적 혁신이다.
• 결과는 소운다라자잔–영의 정리 1.2를 아이즈엔스타인 급수에 대한 형태로 해석하며, 스펙트럴 이론이 모멘트 문제에서 수행하는 역할을 부각한다.