[논문 리뷰] The sixth power moment of Dirichlet L-functions

J. Brian Conrey, Henryk Iwaniec외 1명|arXiv (Cornell University)|2007. 10. 26.

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

한 줄 요약

이 논문은 모듈로 q에 대한 원시 짝수 캐릭터 위에서 Dirichlet L-함수의 여섯 번째 모멘트에 대한 최초의 점점 큰 값의 공식을 수립하며, Conrey, Farmer, Keating, Rubinstein, Snaith가 예측한 주요 순서 행동을 확인한다. 다중 Dirichlet 급수와 복잡한 잔여 계산을 포함하는 하이브리드 스펙트럼- multiplicative 방법을 사용하여, 계수들이 소수에 대한 오일러 곱으로 결정되는 log q의 9차 다항식 형태로 예상되는 주요 항을 유도한다.

ABSTRACT

We prove a formula, with power savings, for the sixth moment of Dirichlet L-functions averaged over moduli $q$, over primitive characters $χ$ modulo $q$, and over the critical line. Our formula agrees precisely with predictions motivated by random matrix theory. In particular, the constant 42 appears as a factor in the leading order term, exactly as is predicted for the sixth moment of the Riemann zeta-function.

연구 동기 및 목표

• 모듈로 q에 대한 원시 짝수 Dirichlet 캐릭터 위에서 Dirichlet L-함수의 여섯 번째 모멘트에 대한 점점 큰 값의 공식을 수립하기 위해.
• Conrey, Farmer, Keating, Rubinstein, Snaith의 예측과 일치하는 여섯 번째 모멘트의 주요 순서 점점 큰 값 행동을 확인하기 위해.
• 자연수 행렬 모델 히우리스틱을 제타 함수 모멘트에 대해 확장하여 Dirichlet L-함수의 가족에 적용하기 위해.
• 스펙트럼 및 곱셈 기법을 사용하여 L-함수의 가족에서 고차 모멘트의 구조를 체계적으로 분석하는 엄밀한 해석적 프레임워크를 제공하기 위해.

제안 방법

• 원시 짝수 Dirichlet 캐릭터 위의 가중 스펙트럼 합을 사용하며, q ≤ Q 범위에 국한시키기 위해 부드러운 절단 함수 Ψ(q/Q)를 포함한다.
• 근사 함수 방정식과 Voronoi 합성을 적용하여 모멘트를 클루스터만 합과 베셀 함수로 이루어진 합으로 변환한다.
• 얻어진 합을 세 부분으로 분해한다: D(대각선), S(비대각선), G(기하학적). 각각 다른 분석 기법을 사용하여 다룬다.
• 복소해석학을 통해 S 및 G 성분의 주요 항을 추출하며, 다중 Dirichlet 급수에 대한 경로 이동과 잔여 계산을 사용한다.
• 9개의 매개변수 전환에 해당하는 세부 잔여 계산을 통해 주요 항을 평가하며, 이는 log q의 9차 다항식에 대응한다.
• p-진 제타 함수 및 L-함수에 대한 파르세발 유사 항등식을 증명하여 각 소수에서의 국소 인자들이 일치하는 지를 검증한다.

실험 결과

연구 질문

• RQ1 모듈로 q에 대한 원시 짝수 캐릭터 위에서 Dirichlet L-함수의 여섯 번째 모멘트는 자연수 행렬 모델과 Conrey-Farmer-Keating-Rubinstein-Snaith 추측이 예측한 것과 같은 점점 큰 값의 구조를 보일까?
• RQ2 다중 Dirichlet 급수의 맥락에서 스펙트럼 및 곱셈 기법을 사용하여 여섯 번째 모멘트의 주요 순서 점점 큰 값 행동을 엄밀히 확립할 수 있을까?
• RQ3 log q의 9차 다항식 항에서 계수의 정확한 산술적 구조는 무엇일까?
• RQ4 각 소수 p에서의 국소 인자는 전체 점점 큰 값 공식에 어떻게 기여하며, 추측된 오일러 곱 구조와 일치할까?
• RQ5 점점 큰 전개의 오차 항은 충분히 잘 제어되어 있어 주요 항 전체, 특히 정확한 산술 계수를 추출할 수 있을까?

주요 결과

• 원시 짝수 캐릭터 위에서 평균화된 Dirichlet L-함수의 여섯 번째 모멘트는 다음 점점 큰 값 공식을 만족한다: ∑_{q≤Q} ∑_{χ mod q} ∫_{-∞}^{∞} |Λ(1/2 + it, χ)|⁶ dt ∼ 42a₃ ∑_{q≤Q} ∏_{p|q} (1−1/p)⁵ / (1+4/p+1/p²) ⋅ φ⁴(q) ⋅ (log Q)⁹ / 9!, 여기서 a₃ = ∏_p (1−1/p)⁴(1+4/p+1/p²).
• 주요 항은 Conrey, Farmer, Keating, Rubinstein, Snaith의 추측된 주요 순서 점점 큰 값과 정확히 일치하며, 소수에 대한 무한 곱으로 주어진 계수를 가진 log q의 9차 다항식의 구조를 확인한다.
• 점점 큰 값 공식의 오차 항은 O(Q¹⁹/¹⁰+ε)이며, 이는 주요 항을 분리하고 추측된 계수 구조를 확인하기에 충분히 작다.
• 저자들은 오일러 곱에서 각 소수 p에 대한 국소 인자가 예상되는 산술 인자와 일치함을 검증하였으며, 파르세발 항등식과 잔여 계산을 통해 전역 추측과의 일致성을 확인하였다.
• 하이브리드 스펙트럼-곱셈 기법을 통해 주요 항 전체를 성공적으로 추출하였으며, 이러한 기법을 고차 모멘트로 확장할 수 있음을 보였다.
• 결과는 다양한 L-함수 가족에 걸쳐 추측된 모멘트 공식의 보편성을 강력히 뒷받침하며, 자연수 행렬 이론과 다중 Dirichlet 급수 모델과 일치한다.