[논문 리뷰] Transfer of Siegel cusp forms of degree 2

Ameya Pitale, Abhishek Saha외 1명|Bristol Research (University of Bristol)|2011. 06. 28.

Advanced Algebra and Geometry참고 문헌 76인용 수 30

한 줄 요약

이 논문은 정수 표현과 당김 공식을 통해 차수 2의 전체 레벨 시겔 촉성형식에서 GL₄와 GL₅로의 함자성(functoriality)을 확립하며, 그 L함수들이 전체 함수임을 증명하고 표준 기능 방정식을 만족함을 보인다. 핵심 결과는 GSp₄ × GL₂ L함수에 대한 역정리 이론이며, 이는 임계 값 공식과 보처러의 중심 L값에 대한 추측에 대한 증거나를 제공한다.

ABSTRACT

Let $π$ be the automorphic representation of $\GSp_4(\A)$ generated by a full level cuspidal Siegel eigenform that is not a Saito-Kurokawa lift, and $τ$ be an arbitrary cuspidal, automorphic representation of $\GL_2(\A)$. Using Furusawa's integral representation for $\GSp_4 imes\GL_2$ combined with a pullback formula involving the unitary group $\GU(3,3)$, we prove that the $L$-functions $L(s,π imesτ)$ are "nice". The converse theorem of Cogdell and Piatetski-Shapiro then implies that such representations $π$ have a functorial lifting to a cuspidal representation of $\GL_4(\A)$. Combined with the exterior-square lifting of Kim, this also leads to a functorial lifting of $π$ to a cuspidal representation of $\GL_5(\A)$. As an application, we obtain analytic properties of various $L$-functions related to full level Siegel cusp forms. We also obtain special value results for $\GSp_4 imes\GL_1$ and $\GSp_4 imes\GL_2$.

연구 동기 및 목표

• 전체 레벨 시겔 촉성형식의 차수 2에 대응하는 자동형 표현을 GL₄(𝔸)와 GL₅(𝔸)로의 함자적 이행을 확립하기.
• GSp₄에서 π, GL₂에서 τ인 자동형 표현에 대해 L(s, π × τ)의 표준 L함수가 전체 함수임을 증명하고 표준 기능 방정식을 만족함을 보이기.
• L(s, π × τ)의 명시적 임계 값 공식을 유리 불변량과 푸리에 계수의 형태로 유도하기.
• Böcherer의 추측에 대한 증거를 제시하기 — GSp₄ × GL₂ L함수의 중심 L값에 대해

제안 방법

• GSp₄ × GL₂에 대한 후루사와의 정수 표현을 사용하여 L함수와 자동형 주기 사이의 관계를 설정하기.
• 유니타리 군 GU(3,3)를 통한 당김 공식을 적용하여 GSp₄ × GL₂ 정수 표현을 GL₄ × GL₂ 정수 표현으로 연결하기.
• 시겔-베일 공식과 웰 표현을 사용하여 L함수의 전체성을 증명하기.
• 코글델과 피아테츠키-샤피로의 역정리 이론을 적용하여 L함수의 해석적 성질로부터 함자성의 추론을 수행하기.
• 거의 해석적 모듈라 형식 이론과 가레트 및 하리스의 결과를 활용하여 특수값을 계산하기.
• 전역 정수 표현을 통해 특수값 주기의 유리성과 갈루아 불변성을 확립하기.

실험 결과

연구 질문

• RQ1 차수 2의 촉성형식 π와 GL₂에서의 촉성형 자동형 표현 τ에 대해 L(s, π × τ)의 표준 L함수가 유리형으로 계속되고 기능 방정식을 만족하는가?
• RQ2 Cogdell과 Piatetski-Shapiro의 역정리 이론을 적용하여 π가 GL₄(𝔸)로의 함자적 이행을 유도할 수 있는가?
• RQ3 L(s, π × τ)의 임계점에서 특수값의 유리성과 갈루아 불변성은 어떤 성질을 갖는가?
• RQ4 L(s, π × τ)의 임계 값은 시겔 촉성형식 F의 푸리에 계수와 어떻게 관련되는가?
• RQ5 구성된 정수 표현이 보처러의 중심 L값 추측에 대한 증거를 제공하는가?

주요 결과

• L함수 L(s, π × τ)는 전체 함수이며 표준 기능 방정식을 만족하며, 모든 GL₂에서의 촉성형 τ에 대해 '좋은 성질'을 지님을 증명함.
• Cogdell과 Piatetski-Shapiro의 역정리 이론에 의해 π는 GL₄(𝔸)의 촉성형 표현으로 함자적으로 이행됨을 유도함.
• 김의 외부 제곱 이행과 결합하여 π는 GL₅(𝔸)의 촉성형 표현으로도 함자적으로 이행됨을 보임.
• 특수값 A(F, g; k)는 ℚ(F, g, χ) 위에서 유리이며 갈루아 자동형사상에 대해 불변임을 증명하여 유리성과 갈루아 불변성을 입증함.
• L(ℓ/2 − k, π × π_g)의 임계 값 공식은 페르스폰 내적과 푸리에 계수의 형태로 표현되며, 이에 대한 유리성이 확립됨.
• 보조정리 5.3.5는 중심 L값이 서로 다른 이차 변형에 대해 ℚ(F)의 원소들에 의해 관련되어 있음을 보여, 보처러의 추측에 대한 증거를 제공함.