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

K. Soundararajan|ArXiv.org|2005. 07. 07.

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

한 줄 요약

이 논문은 임계선에서 Dirichlet $L$-함수의 네 번째 모멘트에 대한 渐近 공식을 수립하여, Heath-Brown의 이전 결과에서의 한계를 해결한다. 이는 $q$가 많은 소인수를 가질 때조차도 작고 유지되는 균일한 오차 항을 제공함으로써 이루어진다. 스펙트럴 분해와 특성 합 추정을 사용하여, 주항목이 $\varphi^*(q)(\log q)^4$에 비례하고 상대 오차가 $O(\omega(q)/\log q \cdot \sqrt{q/\varphi(q)})$로 유계인 공식을 유도한다. 이 오차는 $\log\log q \to \infty$일 때 0으로 수렴하므로, 모든 큰 $q$에 대해 진정한 渐近 공식을 얻는다. 본 결과는 Dirichlet $L$-함수의 $q$-측면으로서 Ingham의 고전적 모멘트 공식을 확장한다.

ABSTRACT

Extending a result of Heath-Brown, we establish an asymptotic formula for the fourth moment of central values of Dirichlet $L$-functions attached to primitive characters $\pmod q$.

연구 동기 및 목표

• Heath-Brown의 Dirichlet $L$-함수에 대한 $q$-측면 네 번째 모멘트 공식을, 많은 소인수를 가진 $q$까지 포함하여 모든 큰 $q$로 확장한다.
• Heath-Brown의 오차 항 $O(2^{\omega(q)}q(\log q)^3)$가 $\omega(q) \geq (\log\log q)/\log 2$일 때 주항목보다 커지는 문제를 해결한다.
• 상대 오차 항이 $\log\log q \to \infty$일 때 0으로 수렴하는 균일한 渐近 공식을 수립하여, 모든 큰 $q$에 대해 공식이 성립함을 보장한다.
• Riemann zeta 함수의 Ingham 고전적 네 번째 모멘트에 대한 $q$-해석을 제공하여 $q$-측면에서 유효한 공식을 수립한다.

제안 방법

• L-함수 모멘트를 두 부분으로 분해한다: $B(\chi)$는 $ab \leq Z = q/2^{\omega(q)}$인 합이며, $C(\chi)$는 $ab > Z$인 합이다. 이는 감마 함수의 Barnes 적분 표현에서 유도된 부드러운 가중 함수 $W_{\mathfrak{a}}(x)$를 사용한다.
• 함수 방정식과 근사 함수 방정식을 적용하여 $|L(1/2, \chi)|^2$를 $2A(\chi)$로 표현한다. 여기서 $A(\chi)$는 $\chi(a)\overline{\chi}(b)$에 대한 이차형식이다.
• Dirichlet 특성의 직교성을 사용하여 $\sum_{\chi \text{ prim.}} |B(\chi)|^2$를 계산한다. 이는 $ac \equiv \pm bd \pmod{q}$를 통한 합을 구하고, 곱셈적 수론 및 특성 합 추정을 통해 결과 합을 추정한다.
• dyadic 분해와 특성 합 기법을 사용하여 $C(\chi)$의 기여를 추정한다. 그 결과 $\sum_{\chi} |C(\chi)|^2 \ll q(\varphi(q)/q)^5 (\omega(q)\log q)^2 + q(\log q)^3$임을 보인다.
• Cauchy-Schwarz 부등식을 적용하여 교차항 $\sum_{\chi} B(\chi)\overline{C(\chi)}$를 제어한다. $B$와 $C$의 추정치를 조합하여 최종 渐近 공식을 완성한다.
• Möbius 역전개와 특성 합 항등식을 사용하여 주항목을 평가한다. 이는 $\varphi^*(q)$의 곱셈적 구조와 $p \mid q$에 대한 오일러 곱을 활용한다.

실험 결과

연구 질문

• RQ1 Heath-Brown의 $L(1/2, \chi)$에 대한 $q$-측면 네 번째 모멘트 공식은 $\omega(q) \gg \log\log q$인 모든 큰 $q$로 확장될 수 있는가?
• RQ2 Dirichlet $L$-함수의 $q$-측면 네 번째 모멘트에서 최적의 오차 항은 무엇이며, 이를 항상 주항목의 $o(\text{main term})$로 만들 수 있는가?
• RQ3 모든 큰 $q$에 대해, 소인수의 수에 관계없이 $\sum_{\chi \text{ prim.}} |L(1/2, \chi)|^4$에 대한 균일한 渐近 공식이 존재하는가?
• RQ4 Heath-Brown 공식의 원래 오차 항이 주항목보다 우세해지는, 매우 복합한 $q$일 경우 네 번째 모멘트는 어떻게 행동하는가?

주요 결과

• 논문은 네 번째 모멘트에 대한 균일한 渐近 공식을 수립한다: $\sum_{\chi \text{ prim.}} |L(1/2, \chi)|^4 = \frac{\varphi^*(q)}{2\pi^2} \prod_{p \mid q} \frac{(1-p^{-1})^3}{(1+p^{-1})} (\log q)^4 \left(1 + O\left(\frac{\omega(q)}{\log q} \sqrt{\frac{q}{\varphi(q)}}\right)\right) + O(q(\log q)^{7/2})$.
• 상대 오차 항 $O\left(\frac{\omega(q)}{\log q} \sqrt{\frac{q}{\varphi(q)}}\right)$는 $\log\log q \to \infty$일 때 $o(1)$로 수렴하므로, 모든 큰 $q$에 대해 진정한 渐近 공식이 되며, $\omega(q)$가 크더라도 성립한다.
• 주항목은 $\asymp q (\varphi(q)/q)^6 (\log q)^4$로 표현되며, 이는 $q$-해석된 Ingham의 제타 함수 모멘트 공식의 예상 크기와 일치한다.
• 오차 항 $O(q(\log q)^{7/2})$는 큰 $q$에서는 주항목보다 작으며, $C(\chi)$의 기여에서 유래하는 보조 오차는 dyadic 분해와 특성 합 추정을 통해 제어된다.
• bound $\frac{\omega(q)}{\log q} \sqrt{\frac{q}{\varphi(q)}} \ll \frac{1}{\sqrt{\log\log q}}$는 상대 오차가 0으로 수렴함을 확인하여 공식의 渐近 성격을 검증한다.
• 본 결과는 오랜 동안 미해결이었던 문제를 해결하여, 오차 항이 주항목의 $o(\text{main term})$가 되는 $q$-측면 渐近 공식이 가능하다는 것을 보여주며, Heath-Brown의 원래 추정치를 향상시킨다.