[논문 리뷰] The Local Langlands Conjecture for GSp(4)

Wee Teck Gan, Shuichiro Takeda|arXiv (Cornell University)|2007. 06. 07.

Advanced Algebra and Geometry참고 문헌 26인용 수 3

한 줄 요약

이 논문은 특성 0인 비아르키메데스 국소체 F 위에서 심플렉틱군 GSp(4)에 대한 국소 L-언어 추측을 증명하며, GSp(4)(F)의 기약 스무스 표현에서 Langlands 쌍대군 GSp(4)∨로의 유한-일대 사상이 존재함을 보장한다. 주요 결과는 L-패킷의 완전한 특성화로, 일반성 조건, 중심 및 유사성 문자와의 호환성, 그리고 일반 및 비일반 초등표준 표현에 대한 γ-인자와 플랑커렐 측도의 일치를 포함한다.

ABSTRACT

We prove the local Langlands conjecture for $GSp_4(F)$ where $F$ is a non-archimedean local field of characteristic zero.

연구 동기 및 목표

• GSp₄(F)에 대한 국소 L-언어 대응을 확립한다. 여기서 GSp₄는 특성 0인 비아르키메데스 국소체 위의 재수군이다.
• GSp(4)(F)의 기약 스무스 표현에서 Langlands 쌍대군 GSp(4)∨로의 유한-일대 사상 L: Π(GSp₄) → Φ(GSp₄)를 정의한다.
• 이 대응이 중심 및 유사성 문자, L-인자, ε-인자, 플랑커렐 측도와 같은 핵심 불변량을 유지함을 검증한다.
• L-패킷 내에서 일반성 및 이산계열 표현을 성분군 Aϕ를 통해 특성화한다.
• 글로벌 θ-상승의 이미지가 특정 L-함수 및 주기 조건을 만족하는 자동형 표현임을 보여준다.

제안 방법

• GLₙ에 대한 국소 L-언어 대응 및 자동형 형식 이론을 이용하여 L-파arameter 사상 L: Π(GSp₄) → Φ(GSp₄)를 구성한다.
• GSp₄와 GSO(V) 사이의 글로벌 θ-대응을 이용하여 자동형 표현을 연결하고 국소 L-파arameter의 성질을 검증한다.
• 비일반 초등표준 표현에 대한 플랑커렐 측도 이론을 적용하여 정의되지 않은 γ-인자를 대체한다.
• θ-대응의 함수적 성질을 이용하여 글로벌 상승의 표준 L-함수가 ζ^S(s) · L^S(s, π, std)로 인수분해됨을 도출하며, 이는 이미지의 외적 제곱 L-함수와 연결된다.
• L-패킷이 일반 표현을 포함하는 것은 유일하게 Ad ∘ φ의 L-인자 L(s, Ad ∘ φ)가 s = 1에서 해석적임과 동치임을 증명한다.
• Harris-Taylor, Henniart, Adams-Barbasch의 GLₙ 및 실수군에 대한 국소 L-언어 대응 결과를 활용하여 GSp₄로의 대응을 확장한다.

실험 결과

연구 질문

• RQ1 GSp₄(F)의 기약 스무스 표현에서 GSp₄∨(C)로의 값들을 갖는 L-파arameter로의 표준적인 유한-일대 사상 L: Π(GSp₄) → Φ(GSp₄)가 존재하는가?
• RQ2 L-패킷 내에서 표현이 일반적인 조건은 무엇이며, 이는 성분군 Aϕ에 의해 어떻게 결정되는가?
• RQ3 표현의 중심 문자와 유사성 문자가 해당 L-파arameter와 어떻게 관련되어 있는가?
• RQ4 대표 이론적 측면과 L-파arameter 측면 간의 쌍에 대한 국소 γ-인자 및 L-인자를 일치시킬 수 있는가, 특히 비일반 초등표준 표현의 경우에 대해 어떻게 되는가?
• RQ5 글로벌 θ-상승의 이미지가 자동형 L-함수 및 주기 조건을 통해 정확히 어떻게 특성화되는가?

주요 결과

• 국소 L-언어 대응이 L: Π(GSp₄) → Φ(GSp₄)로의 surjective finite-to-one 사상으로 확립되었으며, r ≤ 2 조건 하에 (i), (iii), (v), (vi)의 성질에 의해 유일하게 결정된다.
• 표현 π가 이산계열 표현임은 유일하게 L-파arameter φπ가 GSp₄(C)의 어떤 진부분 리 군으로의 인자분해를 하지 않는 것과 동치이다.
• L-사상의 섬세한 층 Lϕ는 성분군 Aϕ의 기약 문자로 매개화되며, Aϕ는 자명군 또는 ℤ/2ℤ이다; 자명한 문자는 패킷 내에서 유일한 일반 표현을 인덱싱한다.
• L-파arameter φπ의 유사성 문자는 국소 클래스 체계 이론을 통해 π의 중심 문자 ωπ와 일치한다.
• 일반 또는 비초등표준 표현의 경우, π × σ의 γ-, L-, ε-인자는 φπ ⊗ φσ의 것과 일치하며, Shahidi 및 Artin의 인자 정의와 호환됨을 보여준다.
• 비일반 초등표준 표현의 경우, 플랑커렐 측도 μ(s, π ⋉ σ, ψ)는 L-파arameter의 쌍대 및 대칭 제곱을 포함하는 네 개의 γ-인자의 곱으로 표현되며, 부족한 γ-인자 이론의 대체를 제공한다.