[논문 리뷰] Theta correspondences for GSp(4)

Wee Teck Gan, Shuichiro Takeda|arXiv (Cornell University)|2010. 06. 17.

Advanced Algebra and Geometry참고 문헌 14인용 수 20

한 줄 요약

이 논문은 비아르키메데스 현지체 위의 4차원 및 6차원 이차형식에 관련된 GSp(4)와 올림피아 군 사이의 θ 대응을 명시적으로 결정한다. L-함수와 L-매개변수를 통한 표현의 명시적 특성화를 이용하여, GSp(4)의 자동 표현들과 GSO_{4,0}, GSO_{2,2}, GSO_{3,3}의 자동 표현들 사이의 전단사 및 단사 사상 수립함으로써, GSp(4)의 국소 Langlands 대응에 대한 비초등표현의 완전하고 투명한 매개변수화를 제공한다.

ABSTRACT

We explicitly determine the theta correspondences for $\GSp_4$ and orthogonal similitude groups associated to various quadratic spaces of rank $4$ and $6$. The results are needed in our proof of the local Langlands correspondence for $\GSp_4$.

연구 동기 및 목표

• 비아르키메데스 현지체 위에서 GSp(4)와 올림피아 군 GSO_{4,0}, GSO_{2,2}, GSO_{3,3} 사이의 θ 대응을 완전히 규명하는 것.
• Kudla-Rallis 이론의 격차를 메우기 위해, 그들의 결과로 커버되지 않은 GSp(4)의 잔여 표현들을 명시적으로 분류하는 것.
• θ 대응을 통해 GSp(4)의 비초등표현에 대한 국소 Langlands 매개변수화를 완전히 명시적이고 투명하게 만드는 것.
• 표현 유형(예: 이산계열, 비이산계열)을 포함한 L-함수, L-매개변수 및 표현 유형에 기반해 θ 이행의 이미지를 정확히 특성화하는 것.

제안 방법

• 4차원 및 6차원 이차형식에 관련된 GSp(4)와 올림피아 군 사이의 올림피아 θ 대응 이론을 활용한다.
• GSO_{2,2} ≅ (GL_2 × GL_2)/{z, z^{-1}}, GSO_{4,0} ≅ (D^× × D^×)/{z, z^{-1}}, GSO_{3,3} ≅ (GL_4 × GL_1)/{z, z^{-2}} 등의 동형을 이용하여 표현을 텐서곱 형태로 매개변수화한다.
• 정규화된 Jacquet 모듈 필터링을 적용하고, 치우침 부분군과 올림피아 특성의 작용을 통해 유도된 표현을 계산한다.
• 표현의 등급을 표준 형태로 줄이기 위해 등급의 특성 흡수 보조정리를 사용하여 올림피아 군의 작용을 단순화한다.
• 자동 표현의 L-매개변수와 표준 L-요소를 이용하여, θ 이행의 이미지를 극점과 분해에 기반해 특성화한다.
• 소형 θ 이행 이론과 상호연결 연산자를 적용하여, 인자 순열에 대한 행동을 포함한 대응의 명시적 공식 유도.

실험 결과

연구 질문

• RQ1 GSp(4)(F)의 어떤 기약적이고 매끄러운 표현들이 GSO_{4,0}(F), GSO_{2,2}(F), 또는 GSO_{3,3}(F)와 θ 대응에 참여하는가?
• RQ2 GSp(4)(F)의 비일반적이고 본질적으로 온도가 높은 표현들은 GSO_{4,0}(F)와 GSO_{2,2}(F)로의 θ 이행을 통해 어떻게 특성화될 수 있는가?
• RQ3 GSO_{3,3}(F)에서 GSp(4)(F)로의 θ 대응의 정확한 이미지는 무엇이며, 관련 표현의 L-매개변수와는 어떻게 관련되어 있는가?
• RQ4 GSp(4)(F)의 표현 π가 GSO_{4,0}(F)와 GSO_{3,3}(F) 양쪽으로 비자명하게 이행되는 조건은 무엇이며, 그 소형 θ 이행의 구조는 어떻게 되는가?
• RQ5 표준 L-함수와 외적 제곱 L-함수의 극점은 θ 대응의 이미지에 속한 표현의 성격을 어떻게 결정하는가?

주요 결과

• GSO_{4,0}과 GSp(4) 사이의 θ 대응은 GO_{4,0}(F)의 작용 하에 표현의 동치류 집합과 GSp(4)(F)의 비일반적이고 본질적으로 온도가 높은 표현 집합 사이의 전단사를 유도한다.
• τ₁^D ⊠ τ₂^D (τ₁^D ≠ τ₂^D)의 표현들이 GSp(4)(F)로의 θ 대응에서 유도하는 이미지는 정확히 비일반적 초등표현의 집합이다.
• GSO_{2,2}에서 GSp(4)로의 θ 대응은 단사이며, 그 이미지는 s=0에서 표준 L-함수에 극점이 있는 일반적 이산계열 표현들과 일부 비이산계열 표현을 포함한다.
• GL_2(F)의 이산계열 표현 τ₁ ≠ τ₂에 대해 τ₁ ⊠ τ₂로 표현된 표현들은 정확히 s=0에서 L(s,π,std)에 극점이 있는 GSp(4)(F)의 일반적 이산계열 표현으로 사상된다.
• GSp(4)에서 GSO_{3,3}로의 θ 대응은 단사이며, 그 이미지에는 L(s,⋀²φ_Π ⊗ μ^{-1})가 s=0에서 극점을 가지는 일반적 이산계열 표현 π가 포함된다. 여기서 φ_Π는 Π의 L-매개변수이다.
• 표 1의 비이산계열 표현 NDS(a)는 GL_4(F) × GL_1(F)의 표현 Π ⊠ μ로 사상되며, 여기서 φ_Π = ρ ⊕ ρ·χ 이고 μ = detρ·χ 이다. 여기서 ρ는 2차원의 기약 표현이며, χ ≠ 1이다.