[논문 리뷰] Algebraic twists of $\mathrm{GL}_3 imes \mathrm{GL}_2$ $L$-functions

Yongxiao Lin, Philippe Michel외 1명|arXiv (Cornell University)|2019. 12. 19.

Advanced Algebra and Geometry참고 문헌 21인용 수 7

한 줄 요약

이 논문은 소수 모듈로에서 '좋은' 층의 추적 함수와 GL₃ × GL₂ 랭킨-셀버그 L-함수의 대수적 토핑 계수 간 상관관계가 없음을 증명함으로써, GL₃ × GL₂ Rankin–Selberg L-함수에 대한 하위볼록 경계를 확립한다. 고도의 층 이론적 방법과 지수 합 추정을 사용하여, X ≈ q³ 일 때, Z q^{3 - 1/16 + o(1)} 형태의 비자명한 하위볼록 경계를 달성한다. 이는 이전의 딜리클 캐릭터와 클루스트르만 합수에 대한 결과를 더 넓은 범위의 대수적 토핑으로 확장한다.

ABSTRACT

We prove that the coefficients of a $\mathrm{GL}_3 imes \mathrm{GL}_2$ Rankin--Selberg $L$-function do not correlate with a wide class of trace functions of small conductor modulo primes, generalizing the corresponding result \cite{FKM1} for~$\mathrm{GL}_2$ and \cite{KLMS} for $\mathrm{GL}_3$. This result is inspired by a recent work of P. Sharma who discussed the case of a Dirichlet character of prime modulus.

연구 동기 및 목표

• GL₃ × GL₂ L-함수에 대한 하위볼록성 결과를 딜리클 캐릭터에서 '좋은' 층의 추적 함수를 통한 대수적 토핑으로 일반화하는 것.
• GL₃ × GL₂ 자동형계수와 소수 모듈로에서 '좋은' 층의 추적 함수 간 상관관계가 없음을 입증하는 것.
• 이러한 토핑에 대해 볼록 경계 q^{3/2+o(1)}를 q^{3 - 1/16 + o(1)}로 향상시키는 것.
• 일반적인 단일성과 기울기 조건을 만족하는 층으로 하위볼록성 프레임워크를 확장하여, 하이퍼-클루스트르만 및 대칭 거듭제곱 층을 포함하는 것.
• 산술 등차수열에서 계수의 분포 수준 및 덧셈 토핑이 있는 지수 합에 응용을 제공하는 것.

제안 방법

• 하위볼록성 문제를 가중치 합 S_V^t(K, X) = \sum_{r,n} \lambda(r,n)\lambda_f(n) K(nr^2) V(nr^2/X) 의 유계성으로 줄이기 위해 근사 함수 방정식을 사용하는 것.
• 층 이론적 프레임워크 적용: K는 \mathbb{P}^1_{\mathbb{F}_q} 상의 '좋은' 층 \mathcal{F} 의 추적 함수이며, (MO), (SL) 조건을 만족하고 푸리에 성질을 가짐.
• Mellin 변환과 L(\phi \times f \times K, s) 의 함수방정식을 사용하여 GL₆ 변환 K^\vee_6 와 연관짓는 것.
• ℓ-아디크 푸리에 변환과 ℓ-아디크 층 이론을 활용하여 층 \mathcal{F} 와 그 모노드로미 성질을 통해 합을 분석하는 것.
• 델리뉴의 경계와 라만두잔–피터슨 추측(\theta_3 = 5/14)을 사용하여 개별 지수 합을 제어하는 것.
• GL₆-토핑과 GL₃-토핑 기법을 사용하여 ℓ-아디크 코hom로지와 그로텐디크–레프셰츠 추적 공식을 통해 합을 다루는 것.

실험 결과

연구 질문

• RQ1 GL₃ × GL₂ L-함수에 대해 딜리클 캐릭터를 초월한 대수적 토핑에 대해 하위볼록 경계를 확립할 수 있는가?
• RQ2 ℓ-아디크 층에 대한 어떤 조건이 그들의 추적 함수가 GL₃ × GL₂ 자동형계수와 상관관계를 가지지 않음을 보장하는가?
• RQ3 층의 모노드로미와 기울기 구조가 토핑된 L-함수에서의 상쇄 효과에 어떻게 영향을 주는가?
• RQ4 대수적 토핑을 사용하여 산술 등차수열에서 계수의 분포 수준을 2/7 초과로 향상시킬 수 있는가?
• RQ5 합 \sum \lambda(r,n)\lambda_f(n) K(nr^2) V(nr^2/X) 에서 비자명한 상쇄가 발생하는 X 의 최적 범위는 무엇인가?

주요 결과

• 저자들은 X ≈ q^3 일 때, K가 '좋은' 층의 추적 함수이면, S_V^t(K, X) \ll Z q^{3 - 1/16 + o(1)} 형태의 비자명한 하위볼록 경계를 증명한다.
• 이 경계는 X \gg q^{3 - 1/4 + \eta} (어느 \eta > 0) 를 만족할 경우 비자명하며, 합에서 상쇄가 발생함을 보여준다.
• X = q^3 일 때, 이 경계는 볼록 경계 q^{3/2+o(1)} 를 q^{3 - 1/16 + o(1)} 로 향상시키며, 딜리클 캐릭터에 대한 최고의 알려진 하위볼록성과 일치한다.
• 이 결과는 k ≥ 3 일 때 '좋은' 층이 되는 하이퍼-클루스트르만 층 K\ell_k 에 적용되며, k=2 일 경우를 제외한다. 또한 대칭 거듭제곱 층 \mathrm{Sym}^k \circ [\times\lambda]^* K\ell_2 에도 적용된다.
• 덧셈 토핑 K(n) = e(an/q) 일 경우, 이 방법은 X \gg q^{3 - 1/16 + \delta} 일 때 S_V^t(K, X) \ll q^{3 - 1/16 + o(1)} 를 도출하며, 이는 이전 방법의 범위를 초월한다.
• 산술 등차수열에서 계수 \lambda_F(m) 의 분포 수준은 \vartheta_6 = 2/7 으로 향상되었으며, 더 짧은 합에 대한 비자명한 경계를 통해 향후 개선 가능성이 있다.