자기쌍대 GL₃ L 함수의 강력 혼합 서브컨벡스 경계

초록

자기쌍대 GL₃ cusp form을 원시 디리클레 문자 χ로 꼬인 경우, q와 t 두 변수에 대해 동시에 최적에 가까운 서브컨벡스 경계를 얻는다. 핵심은 GL₃×GL₂ ↔ GL₄×GL₁ 스펙트럴 상호보호 공식과 디리클레 L-함수의 평균 2차 모멘트에 대한 Lindelöf‑on‑average 추정이다.

상세 분석

본 논문은 자기쌍대 GL₃ cusp form F와 원시 디리클레 문자 χ(모듈러스 q) 를 곱한 L‑함수 L(½+it, F⊗χ)의 q‑aspect와 t‑aspect를 동시에 제어하는 새로운 서브컨벡스 경계를 제시한다. 기존의 Li·Blomer 방식은 1차 모멘트를 이용해 q‑aspect에서만 강력한 결과를 얻었으나, t‑aspect를 동시에 다루려면 모멘트 길이가 q와 t에 따라 복잡하게 변한다. 저자들은 이를 해결하기 위해 “GL₃×GL₂ ↔ GL₄×GL₁ 스펙트럴 상호보호 공식”(Theorem 6.4)을 구축한다. 이 공식은 GL₂‑모멘트(즉, ∑₍f₎ L(½,F⊗f)·L(1,ad f)·h(tf))를 GL₁‑모멘트(디리클레 문자 ψ와 실수 t에 대한 ∫ L(½+it,F⊗ψ)L(½‑it,ψ)·g(χ,ψ)·H(t) dt)와 연결한다. 여기서 g(χ,ψ)는 기존 연구(Petrow‑Young 등)에서 평균적으로 O(q₁) 크기를 갖는 문자합이며, H(t)는 테스트 함수의 푸리에 변환으로 |t|≲T/U 구간에 집중하고 크기가 ≍U가 된다.

핵심 기술은 다음과 같다. (1) w의 실수부를 크게 잡고 절대수렴 디리클레 급수를 사용해 L(w,F⊗f⊗χ₁)을 전개한 뒤, Kuznetsov·Petersson 공식과 GL₃ Voronoi 변환을 연속적으로 적용한다. (2) Kloosterman 항을 재배열해 두 개의 디리클레 급수를 얻고, 이를 각각 L(½+it,F⊗ψ)와 L(½‑it,ψ) 형태로 해석한다. (3) 복소수 w를 ½로 이동시키는 전 과정에서 절대수렴성을 유지하기 위해 섬세한 분석적 연속 절차를 도입한다. (4) 최종적으로 얻은 GL₁‑모멘트를 Cauchy‑Schwarz와 Dirichlet L‑함수의 2차 모멘트 평균(정리 9.4)으로 제어한다. 여기서 저자들은 “coset 제한”된 2차 모멘트에 대해 Lindelöf‑on‑average 추정(정리 9.2)을 새롭게 증명하여, 기존의 하이브리드 대형 체(large sieve) 결과보다 강력한 O(q^{3/2‑δ} T^{3/2‑δ}) 형태를 얻는다.

이러한 일련의 과정으로 얻어진 최종 경계는, 예를 들어 q₁=q, q₂=1, t≫1인 경우
L(½+it,F⊗χ) ≪ (q (|t|+1))^{3/5+ε}
이며, q와 t가 서로 독립적으로 커져도 (q (|t|+1))^{5/8+ε}·(|t|+1)^{3/5+ε} 정도의 강력한 하위 지수(5/8, 3/5)를 달성한다. 이는 기존의 Li·Blomer 결과(3/4 지수)보다 현저히 개선된 것이다. 또한, GL₃×GL₂ Rankin‑Selberg L‑함수 L(½,F⊗f)와 GL₃×GL₁ L‑함수에 대해서도 동일한 혼합 서브컨벡스 경계를 얻으며, 최소 파라볼릭 Eisenstein 급수를 대입하면 더 강한 결과를 얻는다.

결과적으로, 본 논문은 “첫 번째 모멘트 방법”의 한계를 극복하고, 스펙트럴 상호보호와 평균 2차 모멘트 추정을 결합함으로써 q‑aspect와 t‑aspect를 동시에 최적에 가깝게 제어하는 새로운 프레임워크를 제시한다. 이는 고차 자동형식 L‑함수의 하이브리드 서브컨벡스 문제에 대한 중요한 진전이며, 향후 n≥4 차원에 대한 일반화와 더 정교한 모멘트 분석에 대한 토대를 제공한다.