[논문 리뷰] A classification of the irreducible mod-p representations of U(1,1)(Q_p^2/Q_p)

Karol Kozioł|arXiv (Cornell University)|2012. 10. 02.

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

한 줄 요약

이 논문은 비분비적 단위 유니타리 군 U(1,1)(ℚ_p²/ℚ_p)의 모든 매끄럽고 기약적인 mod-p 표현을 분류하며, 비초급 및 초급 표현 유형 간에 구분한다. 준순수한 Langlands 매개변수의 동치류와 준순수한 L-패킷의 동형류 사이의 대응을 확립하여, 표현과 Galois 자료의 명시적 파arameter화를 통해 이 군에 대한 mod-p 국지 Langlands 대응을 수립한다.

ABSTRACT

Let p be a prime number. We classify all smooth irreducible mod-p representations of the unramified unitary group U(1,1)(Q_p^2/Q_p) in two variables. We then investigate Langlands parameters in characteristic p associated to U(1,1)(Q_p^2/Q_p), and propose a correspondence between certain equivalence classes of Langlands parameters and certain isomorphism classes of semisimple L-packets on U(1,1)(Q_p^2/Q_p).

연구 동기 및 목표

• U(1,1)(ℚ_p²/ℚ_p)의 모든 매끄럽고 기약적인 mod-p 표현을 분류하는 것. 이는 상대 랭크 1인 p-진 재조합적 군이다.
• Galois 매개변수와 표현의 L-패킷 사이의 대응을 구성하여 mod-p 국지 Langlands 프로그램을 유니타리 군으로 확장하는 것.
• GL₂(ℚ_p)와 SL₂(ℚ_p)의 결과를 유니타리 군 설정으로 일반화하여, 특히 초급 표현에 중점을 두는 것.
• U(1,1)(ℚ_p²/ℚ_p)에 대해 특성 p에서의 Langlands 매개변수를 정의하고 분석하며, 안정성과 동치류를 포함한다.
• C-Galois 매개변수의 동치류와 준순수한 L-패킷의 동형류 사이의 준순수한 mod-p 대응을 수립하는 것.

제안 방법

• 𝔽̄_p 위의 pro-p-Iwahori-Hecke 대수를 사용하여, 유한차원 단순 모듈을 통한 기약 표현의 분류를 수행한다.
• 코homological 기법을 적용하고 SL₂(ℚ_p)에서의 제약을 통해 유도 부분군의 초급 표현을 U(1,1)(ℚ_p²/ℚ_p)로 올리는 데 사용한다.
• 0 ≤ r ≤ p−1 및 0 ≤ k < p+1인 경우, (ω^k∘det)⊗π_r 형태로 초급 표현을 명시적으로 구성한다.
• Galois 작용과 ℚ_p 및 ℚ_p²에서의 특성에 기반하여 ^C G 값의 Langlands 매개변수 φ_{k,ℓ} 및 ψ_{r,λ}를 정의한다.
• 지수와 쌍대 쌍의 조건을 통해 매개변수의 동치를 분류하며, 특히 r ≡ −pr − (p+1) mod (p²−1) 및 λ′ = λ⁻¹인 경우를 구분한다.
• 준순수한 Langlands 매개변수와 준순수한 L-패킷 사이의 대응을 수립하여, 매개변수 유형을 표현 유형(초급 대비 비초급)에 대응시킨다.

실험 결과

연구 질문

• RQ1 U(1,1)(ℚ_p²/ℚ_p)의 매끄럽고 기약적인 mod-p 표현은 어떻게 완전히 분류될 수 있으며, 특히 초급 표현과 비초급 표현을 어떻게 구분할 수 있는가?
• RQ2 U(1,1)(ℚ_p²/ℚ_p)의 L-패킷은 어떤 구조를 가지며, 특성 p에서의 Langlands 매개변수와 어떻게 관련되어 있는가?
• RQ3 U(1,1)(ℚ_p²/ℚ_p)의 Langlands 매개변수는 어떤 조건에서 동치이며, 언제 안정적인가?
• RQ4 SL₂(ℚ_p)의 표현은 어떻게 U(1,1)(ℚ_p²/ℚ_p)로 올라가며, 그 결과로 초급 표현의 분류는 어떻게 이루어지는가?
• RQ5 Galois 매개변수와 L-패킷을 매칭시켜 U(1,1)(ℚ_p²/ℚ_p)에 대해 mod-p 국지 Langlands 대응을 수립할 수 있는가?

주요 결과

• U(1,1)(ℚ_p²/ℚ_p)의 모든 매끄럽고 기약적인 비초급 표현은 파라볼릭 유도를 통해 문자로 명시적으로 분류되며, 정리 4.3에서 완전한 기술이 제공된다.
• U(1,1)(ℚ_p²/ℚ_p)의 모든 매끄럽고 기약적인 초급 표현은 0 ≤ r ≤ p−1 및 0 ≤ k < p+1인 경우 (ω^k∘det)⊗π_r 형태를 가지며, 정리 5.7에서 확립된다.
• Langlands 매개변수와 L-패킷 사이의 대응은 명시적으로 주어진다: k ≠ ℓ일 때 φ_{k,ℓ}은 L-패킷 {(ω^ℓ∘det)⊗π_{[k−ℓ−1]}, (ω^k∘det)⊗π_{[ℓ−k−1]}}에 대응한다.
• 비초급 케이스에서는 ψ_{(r−1)+(1−p)k,λ}이 L-패킷 {(ω^k∘det)⊗π(r,λ)^ss ⊕ (ω^{k+r+1}∘det)⊗π(p−1−r,λ⁻¹)^ss}에 대응한다.
• 매개변수의 동치는 다음과 같이 결정된다: φ_{k,ℓ} ≡ φ_{k',ℓ'} iff {k,ℓ} = {k',ℓ'}이며, ψ_{r,λ} ≡ ψ_{r',λ'} iff (r' = r, λ' = λ) 또는 (r' ≡ −pr − (p+1) mod (p²−1), λ' = λ⁻¹).
• U(1,1)(ℚ_p²/ℚ_p)에는 안정한 Langlands 매개변수가 존재하지 않으며, 모든 준순수한 매개변수는 φ_{k,ℓ} 또는 ψ_{r,λ}와 동치임을 제안사항 A.4에서 보였다.