Moments and joint nonvanishing of symplectic $L$-functions

이 논문은 **2 차 (genus 2) 홀로모픽 시겔 시그마 형식 (Siegel cusp forms)**에 대한 **스핀 L-함수 (spinor L-function)**와 **표준 L-함수 (standard L-function)**의 **혼합 모멘트 (mixed moment)**에 대한 점근적 공식을 유도하고, 이를 통해 두 L-함수의 **동시 비소멸 (simultaneous non-vanishing)**을 증명하는 것을 목표로 합니다.

저자 Valentin Blomer 와 Soumya Das 는 고차원 (higher rank) 스펙트럴 합 공식 (Kitaoka 공식) 을 활용하여, 기존에 알려지지 않았던 표준 L-함수의 모멘트 결과를 도출했습니다.

다음은 논문의 상세한 기술적 요약입니다.

1. 연구 문제 및 배경 (Problem Statement)

• 주제: $Sp(4, \mathbb{Z})$에 대한 가중치 $k$의 홀로모픽 시겔 시그마 형식 $F$에 부착된 두 가지 기본 L-함수:
  1. 스핀 L-함수 ($L(s, F)$): 차수 4, 컨덕터 $k^2$.
  2. 표준 L-함수 ($D(s, F)$): 차수 5, 컨덕터 $k^4$.
• 문제점:
  • 스핀 L-함수의 모멘트 연구는 기존에 존재했으나, 표준 L-함수는 디리클레 급수 전개가 복잡하고 차수가 높아 모멘트 연구가 거의 전무한 상태였습니다.
  • 특히, 표준 L-함수는 $SL_2(\mathbb{Z})$의 행렬에 대한 푸리에 계수 $a_F(MM^\top)$를 기반으로 하여, 스핀 L-함수 (방사형 계수 $a_F(mI)$만 사용) 보다 훨씬 분석이 어렵습니다.
• 목표: 가중치 $k$의 시그몰 시그마 형식 공간의 고유기저 $\mathcal{B}_k^{(2)}$에 대한 혼합 모멘트를 계산하고, 이를 통해 $L(1/2, F)$, $L(1/2, F \times \chi_{-4})$, $D(1/2, F)$가 동시에 0 이 아닌 값이 존재함을 증명하는 것입니다.

2. 주요 결과 (Key Results)

정리 1 (Theorem 1): 혼합 모멘트의 점근적 공식
가중치 $k$가 충분히 클 때, 다음과 같은 점근적 공식이 성립합니다:
$$M_k := \sum_{F \in \mathcal{B}_k^{(2)}} \omega_F D(1/2, F) = 2L(3/2, \chi_{-4}) \log k + c_0 + O(k^{-\eta})$$
여기서 $\omega_F$는 Kitaoka 의 Petersson 공식에서 유도된 조화 가중치 (harmonic weights) 이며, $c_0$는 상수항입니다.

• 이 공식은 Saito-Kurokawa 리프트 (lifts) 들의 기여가 무시할 수 있음을 보여줍니다.
• 이를 통해 Corollary 2가 도출됩니다: 충분히 큰 $k$에 대해, $L(1/2, F)$, $L(1/2, F \times \chi_{-4})$, $D(1/2, F)$가 동시에 0 이 아닌 고유형식 $F$가 존재합니다.

Corollary 3: 2 차 모멘트의 하한
$$\sum_{F \in \tilde{B}_k^{(2)}} \frac{|D(1/2, F)|^2}{L(1, \pi_F, \text{Ad})} \gg k^3$$
이는 코시 - 슈바르츠 부등식과 기존 스핀 L-함수의 2 차 모멘트 결과를 결합하여 얻어집니다.

3. 방법론 (Methodology)

이 연구는 **Kitaoka 의 Petersson 공식 (스펙트럴 합 공식)**을 기반으로 하며, 다음과 같은 단계로 진행됩니다.

3.1. 근사적 함수 방정식 (Approximate Functional Equation)

표준 L-함수 $D(s, F)$의 값 $D(1/2, F)$를 근사적 함수 방정식 (2.4) 을 사용하여 푸리에 계수와 가중 함수 $W(x)$의 합으로 표현합니다. 이를 Kitaoka 공식 (2.8) 에 대입합니다.

3.2. 항별 분석 (Term-by-Term Analysis)

Kitaoka 공식은 대각항 (diagonal term), 랭크 1 항 (rank one term), 랭크 2 항 (rank two term) 으로 나뉩니다.

1. 대각항 (Diagonal Term):

   • 주항 (main term) 을 제공합니다.
   • 적분 경로 이동 (contour shift) 을 통해 $u=0$에서의 이중 극점 (double pole) 을 계산하여 $\log k$ 항과 상수항 $c_0$를 유도합니다.
   • Saito-Kurokawa 리프트의 기여는 $O(k^{-1/2})$로 무시할 수 있음을 보입니다.

2. 랭크 1 항 (Rank One Term):

   • 행렬 클로스토만 합 (matrix Kloosterman sums) $H^\pm(P, S; c)$와 베셀 함수 $J_\ell$가 등장합니다.
   • 핵심 기술: 단순한 자명한 bound (trivial bound) 로는 부족하므로, **푸리에 합 (Poisson summation)**을 추가적으로 적용합니다.
   • Lemma 1: 지수 합 (exponential sums) 에서 **제곱근 상쇄 (square-root cancellation)**가 발생함을 증명합니다. 이는 Lemma 2 와 Lemma 3 (다변수 Parseval 등식 및 정적 위상법) 을 활용하여 증명됩니다.

3. 랭크 2 항 (Rank Two Term) - 가장 어려운 부분:

   • 행렬 $C$에 대한 합과 행렬 베셀 함수가 포함됩니다.
   • 전략:
     • 좌표계 변환: 행렬 $NJ^{-1}$가 직교 행렬 (orthogonal matrix) 에 얼마나 가까운지를 측정하기 위해 새로운 좌표계 $(a_+, a_-, b_+, b_-)$를 도입합니다. 이는 행렬이 직교에 가까울 때 베셀 함수의 진동이 줄어들어 분석이 어려워지는 문제를 해결하기 위함입니다.
     • 비동적 위상 (Non-stationary phase): 직교성에 가까운 영역을 제외하고, 위상 함수의 미분이 충분히 크다는 것을 보여 적분값이 작아짐을 증명합니다.
     • Poisson Summation: 긴 변수 (long variables) 에 대해서만 푸리에 합을 적용하고, 짧은 변수 (short variables) 에 대해서는 직접 합산하여 오차를 통제합니다.
   • 이 과정을 통해 랭크 2 항이 주항에 비해 무시할 수 있는 수준 ($O(k^{-\eta})$) 임을 보입니다.

4. 기술적 기여 및 의의 (Significance)

1. 표준 L-함수 모멘트의 첫 번째 결과: 차수 5 인 표준 L-함수에 대한 첫 번째 모멘트 점근 공식을 제시했습니다. 이는 차수 3 인 대칭 제곱 L-함수 (genus 1 경우) 와 유사한 난이도를 가진 문제입니다.
2. 고차원 스펙트럴 합 공식의 정교한 분석: Kitaoka 공식에 등장하는 복잡한 행렬 클로스토만 합과 행렬 베셀 함수를 분석하기 위해, **행렬의 기하학적 성질 (직교성 근접도)**과 **정적 위상법 (stationary phase method)**을 결합한 새로운 기법을 개발했습니다.
3. 동시 비소멸 증명: 스핀 L-함수와 표준 L-함수가 동시에 0 이 아닌 값을 가진다는 사실을 증명함으로써, 시겔 모듈러 형식의 L-함수 값에 대한 중요한 정보를 제공했습니다. 이는 Riemann 가설 (GRH) 하에서의 비음성 (non-negativity) 과 결합하여 더 강력한 결과를 이끌어냅니다.
4. 응용 가능성: 유도된 점근적 공식과 하한 bound 는 L-함수의 0 점 분포 (low-lying zeros) 연구나 다른 아벨/비아벨 L-함수의 모멘트 연구에 기초 자료로 활용될 수 있습니다.

요약

이 논문은 고차원 모듈러 형식의 L-함수 이론에서 중요한 난제 중 하나인 표준 L-함수의 모멘트 계산을 성공적으로 수행했습니다. 복잡한 행렬 합과 진동 적분을 정교하게 제어하는 새로운 분석 기법을 통해, 동시 비소멸 정리를 증명하고 해당 L-함수들의 통계적 성질에 대한 이해를 심화시켰습니다.