[논문 리뷰] The mean-square of Dirichlet L-functions

J. Brian Conrey|ArXiv.org|2007. 08. 20.

Analytic Number Theory Research참고 문헌 5인용 수 14

한 줄 요약

이 논문은 임계선에서 원시 디리클레 L-함수의 평균제곱에 대한 渐近 공식을 수립한다. 이 공식은 $1/\log q$에 비해 작은 상대적 이동 $\alpha, \beta$를 포함하며, 함수방정식, 직교성 관계, 특수한 문자합에 대한 명시적 공식을 사용하여 [CFKRS] 랜덤 행렬 프레임워크의 예측을 확인한다. 주항목은 $\phi^*(q)$ 크기이며, 오차항은 $q^{1/2+\epsilon}$ 크기이며, 소수 $p$와 $h$에 대해 $S(p,h)$에 대한 새로운 상호성 유사 관계를 도출한다.

ABSTRACT

We verify the conjecture of [CFKRS] for the mean square near the critical point of Dirichlet L-functions for a composite modulus q. We also prove a kind of reciprocity formula when the second moment for a prime modulus is twisted by a character evaluated at a different prime.

연구 동기 및 목표

• 모듈로 $q$의 원시 문자에 대해 $L(1/2+\alpha,\chi)L(1/2+\beta,\overline{\chi})$의 평균제곱에 대한 渐近 공식 유도, 이동 $\alpha, \beta \ll 1/\log q$를 고려하여.
• 모든 문자에 대한 히스-브라운의 결과(주항목으로 $q^{1/2+\epsilon}$ 포함)와 원시 가족에 대한 CFKRS 예측(주항목으로 $\phi^*(q)$와 $q^{1/2+\epsilon}$ 오차 기대) 간의 모순을 해결.
• 소수 $p,h$에 대해 $S(p,h)$와 $S(h,-p)$를 연결하는 상호성 공식 수립하여 문자합 행동의 더 깊은 구조 밝혀내기.

제안 방법

• L-함수의 함수방정식과 가우스 합을 이용해 $S_q^+(s,\alpha,\beta)$의 함수방정식 유도.
• 원시 문자에 대한 직교성 관계를 적용하여 $\chi$에 대한 합을 $q$의 약수 $d$에 대한 합으로 변환하고, $\phi(d)\mu(q/d)$로 가중치 부여.
• 명시적 공식 $T(k) = k\log k + Ak + B\sqrt{k} + \sum c_\ell k^{-\ell/2} + O(k^{-L})$ 를 사용하여 $q$를 나누는 $k$에 대한 합 전개, 여기서 $A = \gamma - \log 8\pi$, $B = 2\zeta(1/2)^2$.
• 함수방정식을 적용해 $L(1/2+\alpha,\chi)$를 $L(1/2-\alpha,\overline{\chi})$로 연결함으로써, 해석적 계속성과 渐近 평가 가능하게 함.
• 문자합 전개의 정교한 渐近 분석 수행하여 원시 문자 기여를 분리하고, 포함-배제 원리로 비원시 항 처리.
• $S(p,h) = \sum_{\chi^* \mod p} |L(1/2,\chi)|^2 \chi(h)$에 대해 상호성 공식 유도: $S(p,h) = \frac{\sqrt{p}}{\sqrt{h}} S(h,-p) + \frac{p}{\sqrt{h}}(\log\frac{p}{h} + A) + \frac{B}{2}\sqrt{p} + O(h + \log p + \sqrt{p/h}\log p)$.

실험 결과

연구 질문

• RQ1 소수 $\alpha, \beta$를 갖는 $s=1/2$ 근처 원시 디리클레 L-함수의 평균제곱이 CFKRS 예측인 주항목 $\phi^*(q)$와 오차 $O(q^{1/2+\epsilon})$를 만족하는가?
• RQ2 왜 히스-브라운의 모든 문자에 대한 결과는 $q^{1/2+\epsilon}$ 주항목을 포함하는 반면 원시 가족에서는 그렇지 않으며, 이는 渐近 구조에 어떤 영향을 미치는가?
• RQ3 소수 $p,h$에 대해 $S(p,h) = \sum_{\chi^* \mod p} |L(1/2,\chi)|^2 \chi(h)$에 대해 상호성 유사 공식을 유도할 수 있으며, 이는 문자합의 대칭성에 대해 무엇을 드러내는가?
• RQ4 특정 $h$가 $p^{2/3}$까지 범위를 가지는 경우 $S(p,h)$의 정확한 渐近 행동은 무엇이며, $S(h,-p)$에 어떻게 의존하는가?
• RQ5 비원시 문자의 기여와 가우스 합 항등식은 최종 평균제곱의 渐近 공식에 어떤 영향을 미치는가?

주요 결과

• 원시 디리클레 L-함수의 평균제곱은 $\sum_{\chi^* \mod q} L(1/2+\alpha,\chi)L(1/2+\beta,\overline{\chi}) = \frac{\phi^*(q)}{2}(\zeta_q(1+\alpha+\beta) + X^+(q,\alpha,\beta)\zeta_q(1-\alpha-\beta)) + O(q^{1/2+\epsilon})$ 를 만족하며, CFKRS 예측을 확인한다.
• 특수한 경우 $q = p_1 p_2$에서 $p_1, p_2 \sim \sqrt{q}$이면 오차항은 $O(q^{1/4})$로, $q^{1/2+\epsilon}$보다 훨씬 작아져 오차 성장의 구조적 의존성을 시사한다.
• 소수 $p,h$에 대해 $S(p,h) = \sum_{\chi^* \mod p} |L(1/2,\chi)|^2 \chi(h)$는 $S(p,h) = \frac{\sqrt{p}}{\sqrt{h}} S(h,-p) + \frac{p}{\sqrt{h}}(\log\frac{p}{h} + A) + \frac{B}{2}\sqrt{p} + O(h + \log p + \sqrt{p/h}\log p)$ 를 만족하며, 상호성 구조를 드러낸다.
• 주항목 $\phi^*(q)$가 확인되었으며, $\phi^*(q)$와 $q^{1/2+\epsilon}$ 오차항 사이에 중간 항이 존재하지 않으며, 이는 히스-브라운의 모든 문자 결과와 대조된다.
• 상수 $A = \gamma - \log 8\pi = 2\gamma - \log 2\pi + \Gamma'(1/2)/\Gamma(1/2)$ 와 $B = 2\zeta(1/2)^2$ 는 渐近 전개에서 자연스럽게 나타난다.
• $h = O(\sqrt{p})$ 인 경우 $\frac{p}{\sqrt{h}}\log\frac{p}{h}$ 항이 지배적이고, 더 큰 $h$에서는 $S(h,-p)$가 $h\log h$ 수준에 도달할 수 있어 첫 번째 항이 지배적이다.