[논문 리뷰] On the density function for the value-distribution of automorphic $L$-functions

Kohji Matsumoto, Yumiko Umegaki|arXiv (Cornell University)|2017. 07. 14.

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

한 줄 요약

이 논문은 Γ₀(N) 위의 원시 형식에 부착된 자동형 L-함수의 값 분포에 대한 극한 측도의 존재성을 확립하고, 명시적으로 구성된 밀도 함수 $\mathcal{M}_\sigma(z, L_f)$ 를 이용하여 이 측도의 적분 표현을 증명한다. 이는 볼록 오일러 곱을 초월하여 자동형 L-함수에 대해 새로운 젠센-윈터 타입 부등식을 도입함으로써 보어-제센 극한 정리의 일반화를 이루었다.

ABSTRACT

The Bohr-Jessen limit theorem is a probabilistic limit theorem on the value-distribution of the Riemann zeta-function in the critical strip. Moreover their limit measure can be written as an integral involving a certaindensity function. The existence of the limit measure is now known for a quite general class of zeta-functions, but the integral expression has been proved only for some special cases (such as Dedekind zeta-functions). In this paper we give an alternative proof of the existence of the limit measure for a general setting, and then prove the integral expression, with an explicitly constructed density function, for the case of automorphic L-functions attached to primitive forms with respect to congruence subgroups Gamma_0(N).

연구 동기 및 목표

• 볼록 오일러 곱의 경우를 초월하여 극한 측도의 적분 표현을 확장함으로써 보어-제센 극한 정리를 자동형 $L$-함수로 일반화한다.
• Γ₀(N) 위의 원시 형식에 부착된 자동형 $L$-함수에 대해 극한 측도 $W_\sigma(R; L_f)$ 의 존재성을 확립한다.
• 모든 $R$ 에 대해 $W_\sigma(R; L_f) = \int_R \mathcal{M}_\sigma(z, L_f) \, |dz|$ 를 만족하는 명시적 밀도 함수 $\mathcal{M}_\sigma(z, L_f)$ 를 구성한다.
• 이전 방법이 볼록성 또는 젠센-윈터 부등식에 의존하는 한계를 극복하기 위해 자동형 설정에 특화된 새로운 부등식을 증명한다.

제안 방법

• 볼록성에 의존하지 않는 매쓰모토 [11] 의 일반화된 방법을 사용하여 극한 측도 $W_\sigma(R; L_f)$ 의 존재성을 증명한다.
• 오일러 곱을 가진 일반적인 리만-유사 zeta-함수의 클래스를 도입하고, 매쓰모토 [12] 의 프레임워크를 이 클래스로 확장한다.
• 자기의 $L$-함수에 대해 새로운 젠센-윈터 타입 부등식(정리 7.3)을 확립하며, 이는 적분 표현을 증명하는 데 핵심적인 역할을 한다.
• 로그arithmic $L$-함수와 관련된 평면 곡선 $\Gamma_n$ 의 탄젠트 선의 기울기 각도 $\Xi(\theta)$ 를 분석하여, 큰 $n$ 에서는 단조 증가함을 보인다.
• 변수 $q = e^{-2\pi t / n}$ 에 대한 점근 전개를 이용하여 $x(\theta)$ 와 $y(\theta)$ 의 도함수를 제어하고, 핵심 추정식 $\Xi'(\theta) = 1 + \frac{u_1^2}{v_1^2} + O(q)$ 를 도출한다.
• 탄젠트 각도의 단조 증가를 통해 곡선 $\Gamma_n$ 이 볼록임을 증명하며, 이는 자동형 케이스에서 젠센-윈터 부등식이 성립함을 의미한다.

실험 결과

연구 질문

• RQ1 보어-제센의 적분 표현 $W_\sigma(R; \zeta) = \int_R \mathcal{M}_\sigma(z, \zeta) \, |dz|$ 는 자동형 $L$-함수로 확장될 수 있는가?
• RQ2 자동형 $L$-함수의 값 분포에 대해 명시적 밀도 함수 $\mathcal{M}_\sigma(z, L_f)$ 를 구성할 수 있는가?
• RQ3 젠센-윈터 부등식은 갈로아적이지도, 볼록 오일러 곱의 설정도 아닌, 예를 들어 자동형 $L$-함수와 같은 설정으로 일반화될 수 있는가?
• RQ4 자동형 $L$-함수의 값 분포 극한 측도는 존재하며, 관련된 오일러 곱의 볼록성을 가정하지 않고도 적분 표현을 가질 수 있는가?

주요 결과

• 모든 $\sigma > 1/2$ 에 대해 극한 측도 $W_\sigma(R; L_f)$ 가 존재하며, 명시적으로 구성된 밀도 함수 $\mathcal{M}_\sigma(z, L_f)$ 를 사용하여 $\int_R \mathcal{M}_\sigma(z, L_f) \, |dz|$ 로 표현된다.
• 논문은 자동형 $L$-함수에 대해 새로운 젠센-윈터 타입 부등식(정리 7.3)을 증명하였으며, 이는 적분 표현에 필수적이며 볼록성에 의존하지 않는다.
• 로그arithmic $L$-함수와 관련된 곡선 $\Gamma_n$ 은 큰 $n$ 에서 볼록임이 입증되었으며, 이는 $\Xi'(\theta) = 1 + \frac{u_1^2}{v_1^2} + O(q)$ 로 인해 탄젠트 각도 $\Xi(\theta)$ 가 단조 증가하기 때문이다.
• $\Xi'(\theta)$ 의 점근 분석은 곡률 행동이 밀도 함수의 존재를 뒷받침함을 확인하며, 오차 항은 작은 $q$ 에 대해 $O(q)$ 로 제어된다.
• 이 방법은 자동형 $L$-함수의 오일러 곱이 볼록이 아니더라도, 볼록성 대신 새로운 해석적 부등식을 도입함으로써 보어-제센 이론을 성공적으로 일반화한다.