[논문 리뷰] On local zeta-integrals for GSp(4) and GSp(4) x GL(2)

David Loeffler|arXiv (Cornell University)|2020. 11. 30.

Advanced Algebra and Geometry참고 문헌 11인용 수 4

한 줄 요약

이 논문은 비아르키메데스 현지 필드에서 $\mathrm{GSp}(4) \times \mathrm{GL}(2)$의 일반 표현에 대해 노보드보르스키의 국소 zeta-적분 정의가 표준 $L$-인자와 호환됨을 증명한다. 이는 $\mathrm{GL}(2)$ 표현이 초임계적이지 않은 경우에 해당하며, $L$-인자의 예외적 및 하위정규 극점의 근본 원인을 랭랜즈 매개변수 조건으로 규명하고, 특히 가역적 또는 비일반 표현에 대해 감마-그룹의 분해 법칙에 미치는 영향을 도출한다.

ABSTRACT

We prove that Novodvorsky's definition of local L-factors for generic representations of GSp(4) x GL(2) is compatible with the local Langlands correspondence when the GL(2) representation is non-supercuspidal. We also give an interpretation in terms of Langlands parameters of the "exceptional" poles of the GSp(4) x GL(2) L-factor, and of the "subregular" poles of the GSp(4) L-factor studied in recent work of Roesner and Weissauer.

연구 동기 및 목표

• Novodvorsky의 $\mathrm{GSp}(4) \times \mathrm{GL}(2)$에 대한 $L$-인자에 대한 zeta-적분 정의가 $\mathrm{GL}(2)$ 표현이 초임계적이지 않은 경우 표준 $L$-인자와 일치함을 증명하는 것.
• 특히 $\mathrm{GSp}(4)$와 $\mathrm{GL}(2)$ 매개변수의 텐서곱에서의 비분할 합성항을 통해, $\mathrm{GSp}(4) \times \mathrm{GL}(2)$ $L$-인자의 예외적 극점을 랭랜즈 매개변수의 관점에서 해석하는 것.
• 랭랜즈 매개변수를 사용하여 $\mathrm{GSp}(4)$ $L$-인자의 하위정규 극점에 대한 개념적 해석을 제공하고, 1차원 및 2차원 자기쌍대 비분할 합성항을 구분하는 것.
• 특히 $\mathrm{GSp}(4)$의 가역적 또는 비일반 표현에 대해 감마-그로스-프라스드 유형의 분해 법칙에 미치는 영향을 도출하는 것.

제안 방법

• Novodvorsky의 $\mathrm{GSp}(4) \times \mathrm{GL}(2)$에 대한 zeta-적분과 Piatetski-Shapiro의 $\mathrm{GSp}(4)$에 대한 zeta-적분 사이의 관계를, 분할 Bessel 모델의 선택에 따라 활용한다.
• 지역 랭랜즈 대응과 샤히디의 방법을 적용하여 $L$-인자를 비교하고, 이러한 구성 간의 이미 알려진 일致를 활용한다.
• 조건 $\chi_\pi \chi_\sigma |\cdot|^{2s_0} = 1$를 통해 $L$-인자의 극점을 분석하고, 랭랜즈 매개변수 $\phi_\pi \otimes \phi_\sigma$의 비분할 합성항과 예외적 극점 간의 연결 고리를 설정한다.
• 레마 7.1에 기반하여, 비율 $\frac{L(\pi \times \sigma, s) L(\pi \times \sigma, s+1)}{L(\pi \times \sigma \times \mathrm{St}, s+\frac{1}{2})}$을 사용하여 예외적 극점을 탐지하는 기준으로 활용한다.
• Rösner와 Weissauer의 $\mathrm{GSp}(4)$ $L$-인자 결과 및 Moeglin–Waldspurger의 다중도 결과를 활용하여, $\mathrm{SO}(4,F)$-불변 호모모르피즘에 대한 분해 법칙을 분석한다.
• 표현 $\Xi = \Sigma \boxtimes \Sigma$에 대한 필터링 기법을 적용하여, $\mathrm{Hom}_H(\pi \otimes \Xi, \mathbb{C})$의 차원을 연구하고, 특히 $s = -\frac{1}{2}$에서의 행동에 집중한다.

실험 결과

연구 질문

• RQ1 Novodvorsky의 $\mathrm{GSp}(4) \times \mathrm{GL}(2)$에 대한 $L$-인자에 대한 zeta-적분 정의가 $\mathrm{GL}(2)$ 표현이 초임계적이지 않은 경우 표준 $L$-인자와 일치하는가?
• RQ2 $\mathrm{GSp}(4) \times \mathrm{GL}(2)$ $L$-인자의 예외적 극점은 랭랜즈 매개변수 이론적으로 어떻게 해석될 수 있는가?
• RQ3 $\pi$의 랭랜즈 매개변수에 어떤 조건이 성립할 경우 $s_0$가 $\mathrm{GSp}(4)$ $L$-인자의 하위정규 극점이 되는가?
• RQ4 이러한 $L$-인자 극점의 구조가 $\mathrm{SO}(4,F)$-불변 호모모르피즘의 다중도에 미치는 영향은 무엇인가?

주요 결과

• 정리 A는 $\mathrm{GL}(2)$ 표현이 초임계적이지 않은 경우, Novodvorsky의 $L^\mathrm{Nov}$-인자가 $\mathrm{GSp}(4) \times \mathrm{GL}(2)$에 대해 표준 $L$-인자와 일치함을 확인한다. 이는 주요 시리즈 및 스타인베르크 표현을 포함한다.
• 정리 B는 예외적 극점 $L^\mathrm{Nov}(\pi \times \sigma, s)$가 동일한 초임계성이 아닌 조건 하에서 비율 $\frac{L(\pi \times \sigma, s) L(\pi \times \sigma, s+1)}{L(\pi \times \sigma \times \mathrm{St}, s+\frac{1}{2})}$의 극점과 정확히 일치함을 증명한다.
• 정리 C는 $\mathrm{GSp}(4)$ $L$-인자의 극점 $s_0$가 하위정규 극점임과 동시에 $\pi$의 랭랜즈 매개변수에 1차원 비분할 합성항 또는 스타인베르크 매개변수의 2차원 자기쌍대 비분할 변형이 포함되어 있을 때에만 성립함을 보여준다.
• 만약 $\pi$가 일반적이고 $\sigma = \Sigma \boxtimes \sigma$이며 $\Sigma$가 $\mathrm{SO}(3,F)$의 스타인베르크 표현이라면, $\mathrm{Hom}_{\mathrm{SO}(4,F)}(\pi \otimes \sigma, \mathbb{C})$의 차원은 1 이하이며, $s = -\frac{1}{2}$가 $L(\pi, s)$의 하위정규 극점이 아닐 경우 정확히 1이다.
• 표준적인 비영 호모모르피즘 $\mathfrak{z}$는 $\mathrm{Hom}_H(\pi \otimes \Xi, \mathbb{C})$에 속해 있으며, $s = -\frac{1}{2}$가 $L(\pi, s)$의 하위정규 극점이 아닐 경우에만 $\Xi_{00} = \mathrm{St} \boxtimes \mathrm{St}$에 비영으로 제한된다.
• 만약 $s = -\frac{1}{2}$가 하위정규 극점이 아니면, $\mathrm{Hom}_H(\pi \otimes \Xi, \mathbb{C})$는 1차원이며 $\mathfrak{z}$에 의해 생성되며, $\Xi$의 모든 비일반 부분몫표현은 $\pi$와의 $H$-불변 호모모르피즘 공간이 자명하다.