The Ranking-Selberg integral on ${\bf GSp(2)}$ for square free levels

"Seiji Kuga 와 Masao Tsuzuki 의 논문 'The Rankin-Selberg Integral on GSp(2) for Square Free Levels'에 대한 상세한 기술적 요약입니다.

1. 문제 제기 및 배경

이 논문은 대칭비례군 $G = GSp(2)$ 위의 제곱인수 없는 레벨 (square-free levels) $\Gamma_0(N)$을 갖는 **벡터 값 시겔 쌍곡형식 (vector-valued Siegel cusp forms)**에 대해 Piatetski-Shapiro 가 도입한 Rankin-Selberg 유형 적분의 명시적 계산을 다룹니다.

• 동기: $GSp(2)$ 위의 베셀 주기 (Bessel periods) 는 특히 Böcherer 추측 (Liu 에 의해 정제되고 Furusawa-Morimoto 에 의해 해결됨) 의 맥락에서 시겔 모듈러 형식의 산술적 성질에 핵심적입니다. 이 추측은 베셀 주기를 $L$-함수의 특수값과 연관시킵니다.
• 구체적 목표: 저자들은 에이스텐슈타인 급수 $E(s, \Lambda, \mu)$와 시겔 쌍곡형식 $\phi$ 사이의 내적 평균을 베셀 주기로 가중치하여 계산하고자 합니다. 구체적으로, 가중치 $l$은 고정된 채 레벨 $N$(제곱인수 없는 정수) 이 무한대로 발산할 때 이 평균의 점근적 거동을 조사합니다.
• 목표 응용: 이러한 결과는 저자들이 상대적 흔적 공식 (relative trace formula) 의 기하학적 측면을 분석하려는 차기 논문 [20] 의 기초가 됩니다. 중요한 요구 사항은 "오래된 형식 (old forms)", "요시다 리프트 (Yoshida lifts)", "사이토 - 쿠로카와 리프트 (Saito-Kurokawa lifts)"가 이 평균에 미미하게 기여하거나 (점근적으로 소거됨) "일반 유형 (general type)" 형식의 기여를 분리해 내는 것을 보이는 것입니다.

2. 방법론

저자들은 전역 자동형식 이론과 명시적 국소 계산을 결합한 **국소 - 전역 방법 (local-global method)**을 사용합니다.

A. 전역 설정

1. Rankin-Selberg 적분: 허수 이차체 $E$와 관련된 부분군 $G^\#$의 아델릭 몫 (adelic quotient) 위에서 적분 $\langle E(s, \Lambda, \mu), \phi \rangle$을 정의합니다.
2. 기본 항등식: Piatetski-Shapiro 의 보조정리를 사용하여, 이 전역 내적을 전역 베셀 함수 $B_{T_\theta, \Lambda}(\phi)$의 **멜린 변환 (Mellin transform)**과 연관시킵니다.
3. 분해: 전역 베셀 주기는 국소 베셀 함수들의 오일러 곱 (Euler product) 으로 분해됩니다. 이는 베셀 모델에 대한 **국소 중복성 1 정리 (local multiplicity one theorem)**에 의존합니다.
4. 새로운 형식 (Newforms): 각 자동형식 표현 $\pi$에 대해, 국소 베셀 데이터 $(\ell_p, \xi_p)$를 고정하여 "새로운 형식 (newform)" $\phi_\pi^0$을 정의합니다. 여기서 $\ell_p$는 국소 베셀 범함수이고 $\xi_p$는 국소 새로운 벡터이며, $\ell_p(\xi_p)=1$이 되도록 정규화됩니다.

B. 국소 계산 (핵심 기술 작업)

이 논문은 $G(\mathbb{Q}_p)$의 기약 가산 표현 (irreducible admissible representations) 에 대한 **국소 제타 적분 (local zeta-integrals)**의 명시적 평가를 제공합니다.

• 표현: 제곱인수 없는 레벨을 갖는 전역 형식의 국소 성분에 해당하는 Type I, IIb, IIIa, VIb (Schmidt/Atobe 에 의한 분류) 의 표현에 초점을 맞춥니다.
• 테스트 함수: 특정 슈바르츠 - 브루하트 함수와 베셀 벡터 (종종 새로운 벡터 또는 합동 부분군 $K_0(p)$ 하의 고정 벡터) 를 활용합니다.
• 다루는 경우:
  • 비분기 경우: 표준 계산.
  • 분기 경우: 자명하지 않은 컨덕터를 갖는 표현에 대한 명시적 계산으로, 문자 $\Lambda$나 레벨 $N$이 분기를 도입하는 경우를 포함합니다.
  • 오래된 형식 (Oldforms): 소수 $p$에서 새로운 형식이 아닌 표현에 대한 계산 (자명한 중심 문자를 갖는 Type I 및 IIb).
  • 새로운 형식 (Newforms): Type IIIa 및 VIb 새로운 형식에 대한 계산.
• Gross-Prasad 주기: 제 7 절에서 분기 문자에 대한 특정 국소 주기를 계산하여 Dickson 등 이전의 결과를 분기 설정으로 확장합니다.

3. 주요 기여 및 결과

A. 평균에 대한 명시적 공식 (Theorem 5.2 및 5.3)

저자들은 스펙트럼 평균 $I(s)(\lambda, N, f_S)$에 대한 완전히 명시적인 공식을 유도합니다. 이 결과는 평균을 다음 항들로 표현합니다:

1. 스피너 $L$-함수: 문자 $\mu$로 꼬인 $L(s, \pi, \mu)$.
2. 푸리에 계수: $E$의 광선 군 (ray class group) 위의 새로운 형식의 푸리에 계수 평균인 양 $R(\phi_\pi^0, E, \Lambda)$.
3. 국소 주기: 국소 제타 적분에서 비롯된 명시적 인자 $t(\pi_p, \mu_p)$.

이들은 자동형식 표현에 대한 합을 서로소인 부분집합으로 분리하여 이 공식을 정제합니다:

• 일반 유형 ($G$): 리프트에서 비롯되지 않은 형식.
• 요시다 리프트 ($Y$): $GL(2)$ 형식 쌍으로부터의 리프트.
• **사이토 - 쿠로카와 리프트 ($SK$):**$PGL(2)$ 형식으로부터의 리프트.
• 오래된 형식: 더 낮은 레벨에서 유도된 형식.

B. 점근적 소거 결과 (Theorem 5.4)

주요 기여는 $N \to \infty$일 때 ($N$이 소수이고 $E$에서 불변일 때) 다음이 증명된다는 점입니다:

• 오래된 형식의 기여는 $O(N^{-8})$로 감소합니다.
• 요시다 리프트의 기여는 $O(N^{-3/2})$로 감소합니다.
• 사이토 - 쿠로카와 리프트의 기여는 소거되거나 (또는 $\mu$에 따라 $O(N^{-3/2})$로 감소합니다).
• 결과적으로, 평균은 일반 유형 형식에 의해 지배됩니다.

C. 함수 방정식 및 국소 인자

• 그들은 Rankin-Selberg 적분으로부터 꼬인 스피너 $L$-함수 $L(s, \pi, \mu)$의 함수 방정식을 직접 유도하여, Piatetski-Shapiro 가 정의한 국소 인자가 문헌 (예: [38]) 의 것과 일치함을 확인합니다.
• 그들은 모든 관련 표현 유형, 특히 어려운 분기 경우에 대한 명시적 국소 $\epsilon$-인자 및 국소 주기 공식을 제공합니다.

4. 의의

1. 기술적 장애물 해결: 이 논문은 벡터 값 형식과 분기 문자에 대한 명시적 국소 계산을 제공함으로써 문헌의 중요한 공백을 메웁니다. 이전 연구들 (예: [7]) 은 주로 스칼라 값 형식이나 비분기 경우를 다뤘습니다.
2. 흔적 공식의 기초: 이 결과는 저자들의 차기 상대적 흔적 공식 연구에 필수적입니다. "나쁜" 기여 (오래된 형식, 리프트) 가 점근적으로 소거됨을 증명함으로써, $L$-값에 대한 부등식 (subconvexity) 경계나 비소거 결과를 증명하는 데 필요한 일반 유형 형식의 스펙트럼 기여를 분리하기 위해 이 특정 평균을 사용하는 것을 유효하게 만듭니다.
3. 추측의 검증: 명시적 공식은 시겔 모듈러 형식의 맥락에서 정제된 Gan-Gross-Prasad 추측에 대한 엄밀한 검증으로 작용하며, 그 범위를 제곱인수 없는 레벨과 벡터 값 형식으로 확장합니다.
4. 계산 도구 세트: 국소 제타 적분에 대한 상세한 표와 공식 (제 6 절 및 제 7 절) 은 $GSp(2)$ 및 관련 군 위의 자동형식 형식을 연구하는 향후 연구자들에게 귀중한 참고 자료가 됩니다.

요약하자면, Kuga 와 Tsuzuki 는 시겔 쌍곡형식에 대한 Rankin-Selberg 적분에 대한 엄밀하고 명시적이며 점근적인 분석을 제공하여, 추상적 자동형식 표현 이론과 $L$-함수 및 베셀 주기를 포함하는 구체적인 산술 응용 사이의 간극을 메웁니다."