[논문 리뷰] Low-lying Zeros of Cuspidal Maass Forms

Nadine Amersi, Geoffrey Iyer외 3명|arXiv (Cornell University)|2011. 11. 28.

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

한 줄 요약

이 논문은 $\mathrm{SL}_2(\mathbb{Z})$ 상의 수준 1 쿠스피달 마스 폼의 낮은 에너지 상태의 영점들이 중심점 근처에서 정규직교행렬의 고유값과 동일한 분포 행동을 보임을 입증하며, 이는 이 가족의 $\mathrm{GL}_2$ $L$-함수에 대해 케츠-사르낙 밀도 추측을 확인하는 것이다. 명시적 공식과 부드러운 가중 함수를 사용한 쿠즈네츠로프 추적 공식을 통해, 클루스터만 합의 경계와 특수 함수를 이용하여 베텔-클루스터만 항을 제어하고, 적절한 시험 함수에 대해 1레벨 밀도가 정규직교군의 극한으로 수렴함을 보였다.

ABSTRACT

The Katz-Sarnak Density Conjecture states that the behavior of zeros of a family of $L$-functions near the central point (as the conductors tend to zero) agree with the behavior of eigenvalues near 1 of a classical compact group (as the matrix size tends to infinity). Using the Petersson formula, Iwaniec, Luo and Sarnak \cite{ILS} proved that the behavior of zeros near the central point of holomorphic cusp forms agree with the behavior of eigenvalues of orthogonal matrices for suitably restricted test functions. We prove a similar result for level 1 cuspidal Maass forms, the other natural family of ${ m GL}_2$ $L$-functions. We use the explicit formula to relate sums of our test function at scaled zeros to sums of the Fourier transform at the primes weighted by the $L$-function coefficients, and then use the Kuznetsov trace formula to average the Fourier coefficients over the family. There are numerous technical obstructions in handling the terms in the trace formula, which are surmounted through the use of smooth weight functions for the Maass eigenvalues and results on Kloosterman sums and Bessel and hyperbolic functions.

연구 동기 및 목표

• 수준 1 쿠스피달 마스 폼의 가족, 즉 힐버트형 쿠스피달 형태와 보완적인 자연스러운 $\mathrm{GL}_2$ $L$-함수 가족인 케츠-사르낙 밀도 추측을 검증하기 위해.
• 헤르무이트 쿠스피달 형태에 대해 알려진 1레벨 밀도 결과를 명시적 공식과 추적 공식 기법을 사용하여 마스 폼으로 확장하기 위해.
• 쿠즈네츠로프 추적 공식을 통한 마스 폼에 기인한 베텔-클루스터만 항과 스펙트럼 합을 다루는 데 발생하는 기술적 과제를 극복하기 위해.
• 이 가족의 낮은 에너지 상태의 영점에 대한 1레벨 밀도가 적절한 시험 함수에 대해 정규직교군의 극한으로 수렴함을 입증함으로써 대칭 유형이 정규직교임을 확인하기 위해.

제안 방법

• 시험 함수의 스케일링된 영점에서의 합을 소수에 가중된 푸리에 계수에 대한 합으로 연결하기 위해 명시적 공식을 적용한다.
• 수준 1 쿠스피달 마스 폼의 가족을 평균화하기 위해 쿠즈네츠로프 추적 공식을 사용한다.
• 스펙트럼 합을 제어하고 복소 평면 이동 시의 극을 피하기 위해 마스 폼 고유값에 대해 부드러운 가중 함수를 도입한다.
• 클루스터만 합의 경계와 특수 함수의 성질을 이용하여 베텔-클루스터만 항을 제어한다. 이는 감쇠성질 $c \geq T^{2013}$, 감마 함수의 성질, 그리고 쌍곡선 및 베텔 함수의 추정치를 활용한다.
• 복소 적분의 윤곽을 이동시켜 지수 감쇠를 확보하고, $k=3/4$를 사용하여 극을 피하고 $c$-의존도를 향상시킨다.
• 푸리에 역변환과 부분적 적분을 적용하여 스펙트럼 합에서의 가중 함수의 지지 집합과 감쇠성을 제어한다.

실험 결과

연구 질문

• RQ1 케츠-사르낙 밀도 추측이 예측한 바와 같이, 수준 1 쿠스피달 마스 폼의 낮은 에너지 상태의 영점은 중심점 근처에서 정규직교 행렬의 고유값과 동일한 분포 행동을 보이나?
• RQ2 마스 폼에 대해 페테르슨 유형의 공식이 존재하지 않음에도 불구하고, 이 가족의 1레벨 밀도가 적절한 시험 함수에 대해 정규직교군의 극한으로 수렴함을 입증할 수 있는가?
• RQ3 쿠즈네츠로프 추적 공식을 통한 마스 폼에 대한 베텔-클루스터만 합 분석에서 발생하는 기술적 과제는 무엇이며, 이를 어떻게 극복할 수 있는가?
• RQ4 마스 폼에 대한 스펙트럼 합은 평균화 시 어떻게 행동하는가? 부드러운 가중 함수는 오차 항을 제어하는 데 어떤 역할을 하는가?
• RQ5 1레벨 밀도 전개의 주요 항의 渐近 행동은 무엇이며, 이는 정규직교 예측과 일치하는가?

주요 결과

• 수준 1 쿠스피달 마스 폼의 낮은 에너지 상태의 영점에 대한 1레벨 밀도는 판정자가 무한대에 접근함에 따라 정규직교군의 극한으로 수렴하며, 이는 이 가족에 대해 케츠-사르낙 밀도 추측을 확인하는 것이다.
• 1레벨 밀도 전개의 주요 항은 정규직교 예측과 일치하며, 오차 항은 $O\left(\frac{(mn)^{3/8}L^2T^{\frac{3}{2}(1-η)}}{c^{3/4}}\right)$ 로 경계된다. 여기서 $c \geq T^{2013}$ 이다.
• 쿠즈네츠로프 추적 공식에 나타나는 베텔-클루스터만 항은 $c^{-3/4}$ 인자와 $T$-의존 경계 덕분에 1레벨 밀도에 미치는 영향이 무시 가능할 정도로 작다.
• 부드러운 가중 함수와 복소 평면에서의 윤곽 이동을 통해 스펙트럼 합을 효과적으로 제어하고 극을 피할 수 있었으며, 이는 주요 항의 유도를 가능하게 하였다.
• 분석 결과 이 수준 1 쿠스피달 마스 폼의 가족의 대칭 유형은 정규직교임을 확인하였으며, 케츠-사르낙 프레임워크와 일치한다.
• 이 결과는 케츠-사르낙 추측이 성립하는 $\mathrm{GL}_2$ $L$-함수 가족의 범위를 확장하며, 힐베르트형 및 마스 폼에 대해 완전한 그림을 완성한다.