[논문 리뷰] Locally analytic vectors of unitary principal series of GL_2(Qp)

Ruochuan Liu, Bingyong Xie외 1명|arXiv (Cornell University)|2011. 03. 13.

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

한 줄 요약

이 논문은 p > 2일 때 GL₂(ℚₚ)의 유니타리 주요 시리즈 표현에서 국소적으로 해석 가능한 벡터의 구조에 대한 Emerton의 추측을 증명한다. Colmez의 p진 국소 Langlands 기계를 사용하여, 저자들은 국소적으로 해석 가능한 벡터가 주요 시리즈 표현과 계수 1 (φ,Γ)-모듈의 정확한 수열에 놓여 있음을 규명함으로써, GL₂(ℚₚ)의 p진 Langlands 프로그램에서 핵심적인 열린 문제를 해결한다.

ABSTRACT

The p-adic local Langlands correspondence for GL2(Qp) attaches to any 2-dimensional irreducible p-adic representation V of the absolute Galois groups of Qp an admissible unitary representation Pi(V) of GL2(Qp). The unitary principal series of GL2(Qp) are those Pi(V) corresponding to trianguline representations. In this article, for p>2, using the machinery of Colmez, we determine the space of locally analytic vectors for all non-exceptional unitary principal series of GL2(Qp) by proving a conjecture of Emerton.

연구 동기 및 목표

• GL₂(ℚₚ)의 유니타리 주요 시리즈 표현에서 국소적으로 해석 가능한 벡터의 구조에 대한 Emerton의 추측을 해결하기 위해.
• 비예외적 삼각형 표현에 대한 국소적으로 해석 가능한 벡터의 설정으로 Colmez의 p진 국소 Langlands 대응을 확장하기 위해.
• 쌍대성과 (φ,Γ)-모듈 이론을 통해 유니타리 주요 시리즈에 대해 Π(V)ₐₙ의 정확한 구조를 규명하기 위해.
• 국소적으로 해석 가능한 벡터가 주요 시리즈와 계수 1 모듈을 통해 정확한 수열로 기술되는 정확한 수열을 수립하기 위해.

제안 방법

• Colmez의 쌍대성 공식을 활용: (Π(∨V)ₐₙ)* ≅ Dₙₐₜᵣᵢg(∨V) ⊗ₚ¹으로, 국소적으로 해석 가능한 벡터를 에탈레 (φ,Γ)-모듈과 연결함.
• 국소적으로 해석 가능한 주요 시리즈 표현의 쌍대를 모델링하기 위해, 왜곡된 텐서곱 R(η) ⊗₆ P¹과 R⁺(η) ⊗₆ P¹을 구성함.
• 계수 1 (φ,Γ)-모듈 이론과 그 확장 이론을 적용하여, 삼각형 표현에 대해 Dₙₐₜᵣᵢg(s) ⊗ₚ¹의 구조를 분석함.
• P¹-쌍대 공간 내의 쌍대성과 수직성 원리를 활용하여 부분표현을 식별하고 정확한 수열 내에서 여수를 계산함.
• Colmez 이론의 핵심 결과를 적용하여 자연적 사상 jₚ¹의 상이 R⁺(δ) ⊗ₚ¹의 부분공간과 관련이 있음을 규명함.
• δ₁δ₂⁻¹ = xᵏ|x|인가 아닌가에 따라 사례 분석을 수행하여 이산 시리즈와 주요 시리즈의 구조를 구분함.

실험 결과

연구 질문

• RQ1 GL₂(ℚₚ)의 비예외적 유니타리 주요 시리즈에 대해 국소적으로 해석 가능한 벡터 공간 Π(V)ₐₙ의 정확한 구조는 무엇인가요?
• RQ2 Emerton의 추측하는 정확한 수열 0 → Σ(s) → Π(V(s))ₐₙ → (Ind_B GL₂(ℚₚ) δ₁⊗δ₂(x|x|)⁻¹)ₐₙ → 0은 비예외적 s ∈ ℒ_irr 전역에서 성립하는가요?
• RQ3 국소적으로 해석 가능한 벡터는 계수 1 (φ,Γ)-모듈의 쌍대와 그 확장과 어떻게 관련이 있나요?
• RQ4 δ₁δ₂⁻¹ = xᵏ|x|일 경우, 전체 국소적으로 해석 가능한 벡터 공간 내에서 국소적으로 해석 가능한 부분표현의 여수는 얼마인가요?
• RQ5 Breuil의 Π(V)ₐₙ의 구조에 대한 더 정밀한 추측은 비예외적 경우에서 Emerton의 추측으로부터 유도될 수 있는가요?

주요 결과

• p > 2일 때, 비예외적 유니타리 주요 시리즈에 대해 Emerton의 추측이 모든 경우에 참임을 증명함.
• 국소적으로 해석 가능한 벡터 공간 Π(V(s))ₐₙ은 정확한 수열 0 → Σ(s) → Π(V(s))ₐₙ → (Ind_B GL₂(ℚₚ) δ₁⊗δ₂(x|x|)⁻¹)ₐₙ → 0에 놓여 있으며, 여기서 Σ(s)는 Breuil의 국소적으로 해석 가능한 표현을 통해 정의됨.
• δ₁δ₂⁻¹ = xᵏ|x|일 경우, 표현 Σ(s)는 Σ(k+1, ℒ) ⊗ (δ₂|x|^(2−k)/²∘det)와 동형이며, 몫은 비자명한 확장 구조를 가짐.
• δ₁δ₂⁻¹ = xᵏ|x|일 경우, 몫 Π(V(s))ₐₙ / Σ(δ₁,δ₂)의 쌍대는 R(δ₂) ⊗ₚ¹ ∩ Dₙₐₜᵣᵢg(∨s) ⊗ₚ¹과 동형이며, 이는 R⁺(δ₂) ⊗ₚ¹에 k차원 공간이 추가된 확장임.
• δ₁δ₂⁻¹ ≠ xᵏ|x|일 경우, 국소적으로 해석 가능한 표현 Σ(s)의 쌍대는 R⁺(δ₁) ⊗ₚ¹과 동형이며, δ₁δ₂⁻¹ = xᵏ|x|일 경우 R⁺(δ₁) ⊗ₚ¹에 k차원 공간이 추가된 확장과 동형임.
• 결과적으로, 비예외적 표현에 대해 Breuil의 Π(V)ₐₙ의 구조에 대한 추측은 Emerton의 추측으로부터 유도됨을 시사하며, 이는 제1저자의 이전 결과를 일반화함.