[논문 리뷰] Algebraic twists of modular forms and Hecke orbits

Étienne Fouvry, Emmanuel Kowalski외 1명|arXiv (Cornell University)|2012. 07. 03.

Advanced Algebra and Geometry인용 수 5

한 줄 요약

이 논문은 ℓ-진 푸리에 변환과 유한체 위의 리만 가설을 이용하여, 모듈러 형식의 푸리에 계수의 대수적 추적 함수에 의한 스위치된 합에 대해 에너지 절약형 취소 경계를 수립한다—예를 들어 지수 합, 특성 스위치, 하이퍼-클로오스터만 합 등—. 핵심 결과는 추적 함수의 도함수에 대해 균일하게 유한한 지수 δ > 0를 갖는 비상관도 추정이며, 이는 스위치된 헤이크 궤도의 등분포를 이끈다.

ABSTRACT

We consider the question of the correlation of Fourier coefficients of modular forms with functions of algebraic origin. We establish the absence of correlation in considerable generality (with a power saving of Burgess type) and a corresponding equidistribution property for twisted Hecke orbits. This is done by exploiting the amplification method and the Riemann Hypothesis over finite fields, relying in particular on the ell-adic Fourier transform introduced by Deligne and studied by Katz and Laumon.

연구 동기 및 목표

• 소수 모듈로에서 모듈러 형식의 푸리에 계수와 대수적 추적 함수 사이의 비상관도를 수립하기 위해.
• 이러한 스위치된 합에 대해 보다 흔한 경계보다 향상된 에너지 절약형 취소 경계(S(f, K; p) ≪ p^{1−δ})를 증명하기 위해.
• 증폭 방법과 ℓ-진 셰브 이론을 이용해 모듈러 곡선 위의 스위치된 헤이크 궤도의 등분포를 보여주기 위해.
• 추적 함수의 도함수를 정량화하고, 합에서의 취소 강도와의 관계를 규명하기 위해.
• 디리클레 특성 이외의 더 넓은 범주—예를 들어 하이퍼-클로오스터만 합과 유리 함수 지수 합 포함—로 확장된 스위치된 L-함수의 부분결정 경계를 확장하기 위해.

제안 방법

• 스위치된 합의 제곱모멘트에 증폭 방법을 적용하여 취소를 탐지하기 위해.
• ℓ-진 푸리에 변환과 유한체 위의 리만 가설(델리뉴 이론)을 사용하여 제곱근 취소를 갖는 지수 합을 추정하기 위해.
• 스위칭 함수를 도함수의 복소도를 측정하는 ℓ-진 셰브의 추적 함수로 모델링하기 위해.
• 관련 셰브의 도함수를 추정(예: 섬수 계수 함수, 클로오스터만 합, 혼합 특성 포함)하여 오차 항을 통제하기 위해.
• ℓ-진 셰브 이론에서의 푸리에 역변환 공식과 쌍대성 관계를 활용하여 쌍대 셰브의 추적 함수를 연결하기 위해.
• 셰브의 기하학적 기약성과 단일성 군 성질(예: 온전한 분기, 가짜 반사 단일성 군)을 이용하여 도함수를 제한하고 비퇴화된 취소를 보장하기 위해.

실험 결과

연구 질문

• RQ1 소수 p 모듈로에서 K(n)이 대수적 추적 함수일 때, 합 ∑ₙ ϱ_f(n)K(n)V(n/p)에 대해 에너지 절약형 취소를 확립할 수 있는가?
• RQ2 취소 지수 δ가 추적 함수 K의 도함수에 어떻게 의존하는가?
• RQ3 관련 ℓ-진 셰브의 단일성 군(G_F)이 취소 강도에 어떻게 영향을 주는가?
• RQ4 디리클레 특성 이외의 더 일반적인 대수적 스위치로 L(f⊗χ,s)에 대한 부분결정 경계를 얼마나 넓힐 수 있는가?
• RQ5 스위치된 L-함수에서의 취소로부터 모듈러 곡선 위의 스위치된 헤이크 궤도의 등분포를 유도할 수 있는가?

주요 결과

• 모든 고정된 모듈러 형식 f와 미세하게 컴actsupport된 V에 대해, 합 S(f, K; p) = ∑ₙ ϱ_f(n)K(n)V(n/p)는 f와 V에만 의존하는 δ > 0에 대해 S(f, K; p) ≪ p^{1−δ}를 만족하며, 도함수가 유한한 추적 함수 K에 대해 균일하게 성립한다.
• 취소 지수 δ는 버거스 유형(δ > 0)이며, 특정 범주—예를 들어 유리 함수 지수 합(1.6)—에서는 δ = 1/8로 성립하며, 이는 현재 알려진 최고의 부분결정 경계와 일치한다.
• 하이퍼-클로오스터만 합 K(n) = Φ(Klm(φ(n); p), Klm(φ(n); p))에 대해, 다항식 Φ와 유리 함수 φ가 고정되어 있을 경우, 합 S(f, K; p)는 동일한 에너지 절약형 경계를 만족하며 δ > 0이다.
• 관련 셰브의 도함수는 취소 강도를 제어한다: 도함수가 유한하면 δ > 0인 비상관도가 성립한다.
• 섬수 계수 함수 K(n) = N(φ; n) −1에 대해, 셰브 ˜F의 도함수는 deg(φ) + |S| 이하로 유계이며, 여기서 S는 임계값의 집합이다. 이 경우 합은 에너지 절약형 경계를 만족한다.
• 셰브 F의 갈루아 군 G_F는 추적 함수의 대칭성을 결정한다. 예를 들어, 클로오스터만 셰브의 대칭 제곱에 대해 GK(2)는 순서 8의 이면군이며, d ≥ 3일 경우 GK(d) = 1이다.