[논문 리뷰] On the asymptotic distribution of zeros of modular forms

Zeév Rudnick|ArXiv.org|2005. 06. 14.

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

한 줄 요약

이 논문은 일반화된 리만 가설(GRH) 하에서, 모듈라 군에 대한 커푸실 히케 고유형식의 영점들이 무게 $k$가 무한으로 갈 때 모듈라 영역에서 쌍곡 측도에 대해 등분포함을 증명한다. 이 결과는 $L^2$-정규화된 질량 측도 $y^k |f_k(z)|^2 \, dV(z)$가 쌍곡 측도로 약수렴함을 보여 이로부터 양자 체조의 일반 원리에 의해 영점의 등분포가 유도됨을 의미한다.

ABSTRACT

We study the distribution of zeros of holomorphic modular forms. Assuming the Generalized Riemann Hypothesis we show that the zeros of Hecke eigenforms for the modular group become equidistributed with respect to the hyperbolic measure on the modular domain as the weight grows.

연구 동기 및 목표

• 무게 $k$가 증가함에 따라 정칙 모듈라 형식의 영점의 점점 수렴하는 분포를 조사한다.
• 모듈라 영역 $\Gamma \backslash \mathbb{H}$ 내에서 커푸실 히케 고유형식의 영점의 등분포를 확립한다.
• 영점의 등분포를 $L^2$-정규화된 질량 측도 $y^k |f_k(z)|^2 \, dV(z)$의 약수렴과 연결한다.
• 양자 체조와 선다발의 절단 등분포 이론의 아이디어를 비콤팩트인 모듈라 형식의 설정으로 확장한다.

제안 방법

• 영점의 등분포가 질량 측도 $y^k |f_k(z)|^2 \, dV(z)$가 쌍곡 측도 $dV(z)$로 약수렴함에 따라 유도된다는 일반 원리를 사용한다.
• 비콤팩트인 모듈라 영역에 적합하게 조정된 실프만–젤디치–노넨마처–보로스의 접근 방식의 변종을 적용한다.
• 피터슨 내적과 푸리에 전개를 활용하여 불완전 감마 함수 $\Gamma(k-1,n)$ 를 통해 $y^k |f(z)|^2$ 의 성장률을 제어한다.
• 중앙극한정리로부터 유도된 渐近적 표현 $\Gamma(k-1,k) \sim \frac{1}{2} \Gamma(k-1)$ 를 이용하여 $L^2$-노름을 유계화한다.
• GRH를 이용하여 질량 측도의 약수렴을 도출하고, 이로부터 영점의 등분포를 유도한다.
• 시겔 집합과 적분 추정을 통해 컴팩트 부분집합에서 $y^k |f(z)|^2 / \langle f,f \rangle$ 에 대한 균일한 상한을 확립한다.

실험 결과

연구 질문

• RQ1 무게 $k$가 무한으로 갈 때, 히케 고유형식의 영점들이 모듈라 영역에서 등분포하는가?
• RQ2 질량 분포 $y^k |f_k(z)|^2 \, dV(z)$ 가 어떤 조건을 만족하면 영점의 등분포가 유도되는가?
• RQ3 비콤팩트인 모듈라 영역 설정에서 질량 측도의 약수렴으로부터 영점의 등분포를 유추할 수 있는가?
• RQ4 일반화된 리만 가설은 모듈라 형식의 질량과 영점의 등분포와 어떻게 관련되어 있는가?

주요 결과

• GRH 하에서, 커푸실 히케 고유형식의 영점들은 $\Gamma \backslash \mathbb{H}$ 에서 정규화된 쌍곡 측도 $dV(z) = \frac{3}{\pi} \frac{dx\,dy}{y^2}$ 에 대해 등분포한다.
• 영점의 등분포는 질량 측도 $y^k |f_k(z)|^2 \, dV(z) \rightharpoonup c \cdot dV(z)$ (어느 $c>0$ 에 대해) 의 약수렴에 의해 유도되며, 이는 GRH 하에서 $c=1$ 이다.
• asymptotic $\Gamma(k-1,k) \sim \frac{1}{2} \Gamma(k-1)$ 는 $e^{-k} \sum_{m=0}^k \frac{k^m}{m!} \sim \frac{1}{2}$ 와 동치이며, 중심극한정리에 의해 증명된다.
• $L^2$-정규화된 질량 $y^k |f(z)|^2 / \langle f,f \rangle$ 는 $\mathbb{H}$ 의 컴팩트 부분집합에서 $O(k)$ 로 균일하게 유계화되어 있다.
• 가정 $\nu(f_k) \sim k/12$ 는 서로 동치가 아닌 영점의 수가 $k$ 와 선형적으로 증가함을 보장하며, 이는 등분포를 위해 필수적이다.
• 이 결과는 기존의 콤팩트 설정(예: 곡선, 리만 곡면)에서의 등분포 원리를 비콤팩트인 모듈라 영역으로 확장한다.