[논문 리뷰] On the GL(3) Kuznetsov Formula with applications to Symmetry Types of families of $L$-functions

Dorian Goldfeld, Alex Kontorovich|arXiv (Cornell University)|2012. 03. 29.

Advanced Algebra and Geometry참고 문헌 22인용 수 12

한 줄 요약

이 논문은 L-함수 가족의 대칭 유형을 규명하는 데 적용 가능한, 처음으로 명시적인 GL(3) Kuznetsov 공식을 개발한다. 스펙트럴 이론과 Kloosterman 합 추정을 사용하여, GL(3) 임계 마스스 형식, 그들의 대칭 제곱 릿지(GL(6)), 그리고 인접 릿지(GL(8))에 대한 낮은 임계 영점 밀도를 계산하며, Ramanujan 및 Riemann 추측 하에 각각 유니터리, 유니터리, 심플렉틱 대칭 유형임을 보여준다.

ABSTRACT

We present an explicit approach to the GL(3) Kuznetsov formula. As an application, for a restricted class of test functions, we obtain the low-lying zero densities for the following three families: cuspidal GL(3) Maass forms phi, the symmetric square family sym^2 phi on GL(6), and the adjoint family Ad phi on GL(8). Hence we can identify their symmetry types; they are: unitary, unitary, and symplectic, respectively.

연구 동기 및 목표

• L-함수 가족을 분석하기 위해 정밀한 스펙트럴 가중치를 갖춘 명시적 GL(3) Kuznetsov 공식을 개발하기 위해.
• GL(3) 임계 마스스 형식, 그들의 대칭 제곱 릿지(GL(6)), 그리고 인접 릿지(GL(8))에 대한 낮은 임계 영점 밀도를 계산하기 위해.
• 낮은 임계 영점의 밀도와 푸리에 지지 분석을 통해 이러한 가족의 대칭 유형을 규명하기 위해.
• Katz-Sarnak 대칭 유형 분류 프레임워크를 GL(2)를 초월해 고차원 L-함수에까지 확장하기 위해.
• n ≥ 2 인 GL(n) 가족의 대칭 유형을 스펙트럴 방법을 사용하여 분석하기 위한 기초를 마련하기 위해.

제안 방법

• 스펙트럴 매개변수를 국소화하고 커프트 이동을 통해 수렴을 보장하는 가중 함수 h_{T,R}(ν)를 갖는 GL(3) Kuznetsov 공식을 유도한다.
• Stirling의 공식을 사용해 가중 함수 h_{T,R}(ν)를 추정하며, 이는 λ < T² 에서 주로 지지되며, 온전한 형태에서는 (1+|ν|)^R 과 유사하게 행동함을 보여준다.
• Kuznetsov 공식을 세 가족—φ (GL(3)), sym²φ (GL(6)), Adφ (GL(8))—에 적용하며, 스펙트럴 매개변수와 L-함수 잔여치를 고려한다.
• Bessel 함수와 지수 합에 대한 추정을 바탕으로 Kloosterman 및 Eisenstein 기여를 추정하며, Ramanujan 추측에 의존한다.
• 명시적 공식을 통해 낮은 임계 영점의 밀도를 분석하며, 스펙트럴 측면과 오차 항의 기여를 계산한다.
• 시험 함수의 푸리에 변환의 지지로 오차 항을 통제하고, 주된 항  ψ̂(0) 을 통해 대칭 유형을 규명한다.

실험 결과

연구 질문

• RQ1 L-함수 가족을 위한 스펙트럴 가중치를 갖춘 명시적 GL(3) Kuznetsov 공식의 형태는 무엇인가요?
• RQ2 GL(3) 임계 마스스 형식 가족, 그들의 대칭 제곱 릿지, 그리고 인접 릿지에 대한 낮은 임계 영점 밀도는 무엇인가요?
• RQ3 낮은 임계 영점의 밀도에 기반해 이러한 가족이 나타내는 대칭 유형은 무엇인가요?
• RQ4 시험 함수의 푸리에 변환의 지지가 영점 밀도 계산에서 오차 항에 미치는 영향은 무엇인가요?
• RQ5 GL(3) Kuznetsov 공식을 사용하여 고차원 L-함수 가족의 대칭 유형을 분류할 수 있나요?

주요 결과

• GL(3) 임계 마스스 형식 가족의 낮은 임계 영점 밀도는 ∫ψ̂(0) dμ + O((log log T)/(log T)) 로 점 渐진적으로 수렴하며, 이는 유니터리 대칭 유형을 시사한다.
• GL(6)의 대칭 제곱 가족 sym²φ 에서의 영점 밀도는 ∫ψ̂(0) dμ + o(1) 로 표현되며, 유니터리 대칭 유형을 확인한다.
• GL(8)의 인접 가족 Adφ 에서의 영점 밀도는 ∫ψ̂(0) dμ + o(1) 로 표현되며, 심플렉틱 대칭 유형을 시사한다.
• φ×φ̄ 가족의 경우 오차 항을 통제하기 위해 푸리에 변환  ψ̂ 의 지지가 (−δ, δ) 내에 있어야 하며, δ < 2/27 여야 하고, φ 가족의 경우 δ < 4/15 여야 한다.
• 대칭 제곱 및 인접 릿지의 기여는 스펙트럼 합에서 자가 dual 형식의 희귀성으로 인해 무시할 수 있는 오차 항을 기여한다.
• 이 방법은 가족의 대칭 유형이 영점 밀도 공식의 주요 항에 의해 결정되며, 오차 항은 스펙트럼 및 산술 추정을 통해 통제됨을 보여준다.