The unramified computation of a Shimura integral for $\mathrm{SL}(2)\times \mathrm{GL}(2)$

기술적 요약: $SL(2) \times GL(2)$에 대한 Shimura 적분의 비램피파이드(Unramified) 계산

문제 정의
본 논문은 Ginzburg, Rallis, 그리고 Soudry [4]에 의해 원래 구성된, Shimura 유형의 특정 랭킨-셀베르그(Rankin-Selberg) 적분의 국소 비램피파이드 계산을 다룬다. 이 적분은 $SL_2$와 $GL_2$의 두 기약 자가동형 큐스피달 제너릭 표현(irreducible automorphic cuspidal generic representations)에 대한 부분 텐서 곱 $L$-함수를 나타낸다. 구체적으로 저자들은 심플렉틱 랭크(symplectic rank) $n=1$이고 일반 선형 랭크(general linear rank) $k=2$인 저차원 랭크 케이스에 집중한다. 언폴딩(unfolding) 후의 전역 적분은 $SL_2$의 휘터 함수(Whittaker function), 바일 표현(Weil representation)과 관련된 세타 급수(theta series), 그리고 $Sp_4$의 메타플렉틱 이중 피복(metaplectic double cover) 상의 시겔 아이젠슈타인 급수(Siegel Eisenstein series)를 포함하는 국소 적분으로 축소된다. 본 연구의 목적은 이 국소 적분이 다음의 $L$-함수 비율과 같음을 증명하는 것이다:
$$\frac{L(\pi_\nu \times \tau_\nu, s + 1/2)}{L(\tau_\nu, \text{Sym}^2, 2s + 1)}$$
여기서 $\pi_\nu$는 $SL_2(F)$의 비램피파이드 표현이고 $\tau_\nu$는 $GL_2(F)$의 비램피파이드 표현이다.

방법론
본 논문은 [4]에서 취해진 접근 방식과는 구별되는, 이 비램피파이드 계산에 대한 직접적이고 "내재적인(intrinsic)" 증명을 제공한다.

• 함수 방정식의 회피: [4]의 증명과 달리, 본 논문은 [9]에서 개발된 $GL_n \times GL_k$의 국소 함수 방정식과 같은 기제에 의존하지 않고 이를 완전히 회피한다.
• Casselman-Shalika 공식에 대한 의존: 방법론의 핵심은 $SL_2$와 $GL_2$ 양측 모두에서 비램피파이드 휘터 함수에 대한 Casselman-Shalika 공식을 활용하는 것이다 (Lemma 3.2).
• 명시적 언폴딩 및 적분: 저자들은 다음 단계들을 통해 국소 적분을 명시적으로 계산한다:
  1. $SL_2(F)$에 대한 이와사와 분해(Iwasawa decomposition)를 활용한다.
  2. 스코츠 함수(Schwartz function)에 대해 준직접 곱 $\widetilde{SL_2} \ltimes H$ ($H$는 하이젠베르크 군)의 바일 표현 $\omega_\psi$를 적용한다.
  3. 하이젠베르크 군 변수에 대한 적분 영역을 비램피파이드($OF$) 부분과 램피파이드($F \setminus OF$) 부분으로 분해한다.
  4. 바일 인자(Weil factor) $\gamma_\psi$의 성질과 캐릭터 합(character sums)을 사용하여 결과 적분을 평가하며, 특히 특정 고차 항들이 소거됨을 증명한다 (Lemma 3.5).
• 급수 합산: 최종 결과는 생성 함수가 완전 동차 대칭 다항식(complete homogeneous symmetric polynomials)임을 식별함으로써 얻어지는 기하급수의 합을 통해 얻어진다.

주요 기여 및 결과

• 정리 3.1: 본 논문은 비램피파이드 데이터와 $\text{Re}(s) \gg 0$에 대하여, 국소 적분 $I(W^0_\pi, \Phi^0, \tilde{f}^0_{W(\tau, \psi_2), s})$가 절대 수렴하며 $\frac{L(\pi \times \tau, s + 1/2)}{L(\tau, \text{Sym}^2, 2s + 1)}$와 같음을 확립한다.
• 동형 사상 수정: 저자들은 [4]와 비교하여 유니포텐트 군 $N_Q$와 하이젠베르크 군 $H$ 사이의 동형 사상에 차이가 있음을 언급한다. 이 차이로 인해 언폴딩된 적분 내에 $\tilde{f}_{W(\tau, \psi), s}$ 대신 섹션 $\tilde{f}_{W(\tau, \psi_2), s}$ (캐릭터 $\psi_2(x) = \psi(2x)$를 포함하는)가 등장하게 된다.
• 직접 계산: 본 논문의 증명은 $n = k-1$ (여기서는 $1 = 2-1$)인 경우, 일반적인 $n < k$ 케이스에서 복잡함을 야기하는 유니포텐트 적분이 존재하지 않음을 보여준다. 이를 통해 저자들은 일반 선형 군에 대한 무거운 함수 방정식 기제를 필요로 하지 않고, 짝수 랭크 케이스에서 사용되는 기법들을 모사하는 직접적인 계산을 수행할 수 있다.

의의 및 주장
본 논문은 이 특정 Shimura 적분의 비램피파이드 계산에 대해 "다르고 더 내재적인" 증명을 제공한다고 주장한다. 일반 선형 군에 대한 국소 함수 방정식을 우회함으로써, 저자들은 오로러 그룹들의 표현론적 성질(구체적으로 Casselman-Shalika 공식)에만 의존하는 계산을 제공하고자 한다.

저자들은 자신들이 $n=1, k=2$인 저차원 랭크 케이스만을 다루고 있다는 점을 겸허히 밝히면서도, 이 계산이 더 일반적인 설정에서의 직접적인 비램피파이드 계산 기법에 "빛을 비추어 줄 수 있기를" 희망한다고 기술한다. 또한 Kaplan [10, 11]에 의해 직교 군(orthogonal groups)에 대해 유사한 직접 계산이 이루어졌음을 인정하면서도, 본 연구가 Ginzburg, Rallis, 그리고 Soudry의 원래 $SL_2 \times GL_2$ 증명에서 사용된 함수 방정식을 피했다는 점을 강조한다. 본 논문은 이 특정 계산적 증명의 범위를 넘어서는 새로운 응용이나 미래의 확장을 제안하지 않는다.