[논문 리뷰] On the value-distribution of symmetric power L-functions

Kohji Matsumoto, Yumiko Umegaki|arXiv (Cornell University)|2018. 08. 17.

Analytic Number Theory Research참고 문헌 26인용 수 3

한 줄 요약

이 논문은 대칭 제곱 L-함수의 값 분포에 대한 극한 정리들을 수립하며, 보르-제센 프레임워크를 보다 일반화하여 자동형 L-함수로 확장한다. 이는 복소평면에서 수직선 위에서 log L(s, sym^k f)의 분포가 연속적인 밀도 함수를 가진 극한 확률 측도로 수렴함을 증명하며, 사토-테이트 등분포와 토르 위에서의 조화 해석을 활용한다.

ABSTRACT

We first briefly survey the value-distribution theory of L-functions of the Bohr-Jessen flavor (or the theory of "M-functions"). Limit formulas for the Riemann zeta-function, Dirichlet L-functions, automorphic L-functions etc. are discussed. Then we prove new results on the value-distribution of symmetric power L-functions, which are limit formulas involving associated M-functions.

연구 동기 및 목표

• 홀로모르픽 컷폼의 대칭 제곱 L-함수로 보르-제센 값 분포 이론을 일반화하는 것.
• 비판적 스트립 내 수직선에서 log L(σ + it, sym^k f)의 분포에 대한 극한 공식을 수립하는 것.
• 정규화된 분포 측도의 약한 극한으로서 관련 M-함수를 구성하는 것.
• 극한 밀도 함수가 연속적임을 증명하고, 토르 위에서의 조화 해석을 통해 명시적으로 기술하는 것.
• 사토-테이트 등분포를 활용하여 특정 삼각 조건을 만족하는 소수의 집합이 양의 밀도를 가짐을 보이는 것.

제안 방법

• 오일러乘법을 통해 로그 L-함수의 유한한 절단을 구성함으로써 고전적 보르-제센 방법을 변형한다.
• L-함수의 국소 인자들의 각도를 이용해 N차원 토르 T^N 위에 다변수 사상 S_N을 정의한다.
• 푸리에 계수의 사토-테이트 등분포를 이용해 각도 θ_f(p) mod 1의 분포를 제어한다.
• 제센-윈터 부등식과 평면 곡선 합의 기하학적 분석을 적용하여 측도의 수렴을 도출한다.
• 웨일 등분포 기준과 삼각합 추정을 활용하여 |sin((γ+1)θ_f(p))| ≥ η 인 집합의 측도를 분석한다.
• 클로젤, 하리스, 시더버그-바론, 테일러가 증명한 사토-테이트 추측과 명시적 적분 추정을 조합하여 관련 소수 집합의 양의 밀도를 보인다.

실험 결과

연구 질문

• RQ1 홀로모르픽 컷폼의 대칭 제곱 L-함수로 보르-제센 극한 정리가 확장될 수 있는가?
• RQ2 σ > 1/2 인 경우 수직선에서 log L(σ + it, sym^k f)의 극한 분포는 무엇인가?
• RQ3 관련 M-함수는 정규화된 분포 측도의 약한 극한으로 존재하는가?
• RQ4 대칭 제곱 L-함수의 극한 밀도 함수의 구조는 무엇인가?
• RQ5 사토-테이트 각도의 등분포는 대칭 제곱 L-함수의 값 분포에 어떻게 영향을 미치는가?

주요 결과

• 극한 측도 W_σ(R; L)는 존재하며, 직사각형 R 위에서 연속적이고 비음수인 밀도 함수 F_σ(z; L)의 적분과 같다.
• 극한 밀도 함수 F_σ(z; L)는 토르 위에서의 조화 해석을 통해 명시적으로 구성되며, C 위에서 연속적이다.
• |sin((γ+1)θ_f(p))| ≥ η 를 만족하는 소수 p의 집합은 양의 밀도를 가지며, 특히 점근적 밀도 1 − 2ξ/π > 0 이다.
• θ_f(p) ∈ I_ℓ 인 집합의 밀도는 1 − 2ξ/π + O((log x)^{-1/8 + ε}) 이며, 이는 홀수 및 짝수 γ 모두에 대해 양의 밀도임을 확인한다.
• log L(σ + it, sym^k f)의 분포가 M-함수로 수렴하는 것은 확률 측도의 약한 수렴을 통해 확립된다.
• 증명은 사토-테이트 등분포의 푸리에 계수와 삼각합 추정을 활용하여 각도 간격의 측도를 제어하는 데 의존한다.