[논문 리뷰] The p-adic local Langlands correspondence for GL_2(Q_p)

Pierre Colmez, Gabriel Dospinescu외 1명|arXiv (Cornell University)|2013. 10. 08.

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

한 줄 요약

이 논문은 특성 0 방법을 사용하여 GL₂(ℚₚ)에 대한 p진 국소 Langlands 대응을 수립한다. 몬트리올 함자 Π ↦ V(Π)가 절대적으로 기약적이며 비정상적인 단위 벤아흐 표현과 절대적으로 기약적인 2차원 p진 갈루아 표현 사이의 전단사 사상임을 증명한다. 이는 이전에 p ≥ 5인 경우에만 특성 p 방법으로 증명된 결과를 모든 소수로 확장한 것으로, 국소 클래스체이론 및 Hodge-Tate 무게와의 호환성까지 확인한다.

ABSTRACT

The p-adic local Langlands correspondence for GL_2(Q_p) is given by an exact functor from unitary Banach representations of GL_2(Q_p) to representations of the absolute Galois group G_{Q_p} of Q_p. We prove, using characteristic 0 methods, that this correspondence induces a bijection between absolutely irreducible non-ordinary representations of GL_2(Q_p) and absolutely irreducible 2-dimensional representations of G_{Q_p}. This had already been proved, by characteristic p methods, but only for p\geq 5.

연구 동기 및 목표

• GL₂(ℚₚ)에 대한 p진 국소 Langlands 대응을 단위 벤아흐 표현에서 갈루아 표현으로 가는 정확한 함자로 수립하는 것.
• 이 함자가 절대적으로 기약적이며 비정상적인 GL₂(ℚₚ)-표현과 절대적으로 기약적인 2차원 갈루아 표현 사이의 전단사 사상임을 증명하는 것.
• 이전에 특성 p 방법을 사용해 p ≥ 5인 경우에만 증명된 결과를 특성 0 기법을 활용해 모든 소수로 확장하는 것.
• 관련 갈루아 표현의 p진 Hodge 이론을 통해 국소 클래스체이론과의 호환성 및 Hodge-Tate 무게 일치 여부를 검증하는 것.

제안 방법

• 저자들은 GL₂(ℚₚ)의 적절한 단위 벤아흐 표현의 범주에서 연속적인 L-표현으로 가는 정확하고 공변 함자인 몬트리올 함자 Π ↦ V(Π)를 사용한다. 이는 절대 갈루아 군 Gℚₚ의 표현이다.
• 잔여적으로 유한 길이인 표현의 구조를 분석하고, 비정상적인 표현을 단위 파라보릭 유도 표현의 부분몫이 아닌 표현으로 정의한다.
• 증명은 특히 p진 벤아흐 공간 표현과 그들의 정수환의 최대 이상 아이디얼에 모듈로 줄인 표현을 사용하는 특성 0 방법에 기반한다.
• 갈루아 표현과 고전적 국소 Langlands 대응을 연결하기 위해 필터링된 (φ,N,Gℚₚ)-모듈과 약한 적합 필터링 이론을 활용한다.
• 핵심 기술 도구로는 (1+𝔪ₗ)² 내의 수열 (aⁿ,bⁿ)의 자리지 폐쇄와 형식적 Weierstrass 준비 정리를 사용하여 Frac(ℰ⁺) 위에서 (1+T)ˢ의 대수적 독립성을 증명하는 것이다.
• 대응이 p진 Hodge 이론적 불변량—특히 Hodge-Tate 무게와 기본 (φ,Gℚₚ)-모듈—을 유지함을 증명한다.

실험 결과

연구 질문

• RQ1 GL₂(ℚₚ)에 대한 p진 국소 Langlands 대응은 절대적으로 기약적이며 비정상적인 단위 벤아흐 표현과 절대적으로 기약적인 2차원 갈루아 표현 사이의 전단사 사상인가?
• RQ2 특성 p 기법이 아닌 특성 0 기법을 사용해 이 대응을 p ≥ 5를 초월하는 모든 소수로 확장할 수 있는가?
• RQ3 이 대응은 국소 클래스체이론과 호환되는가, 특히 갈루아 표현의 행렬식 측면에서?
• RQ4 갈루아 표현의 Hodge-Tate 무게는 벤아흐 표현의 무한소 특성과 어떻게 관련되는가?
• RQ5 주어진 스무스 표현에 대수적 표현을 곱한 후의 단위 완비화 집합의 정확한 구조는 무엇인가?

주요 결과

• 몬트리올 함자 Π ↦ V(Π)는 GL₂(ℚₚ)의 절대적으로 기약적이며 비정상적인 단위 벤아흐 표현의 동형류와 절대적으로 기약적인 2차원 연속적인 L-표현의 Gℚₚ 갈루아 표현 사이의 전단사 사상이다.
• 모든 절대적으로 기약적이며 비정상적인 Π ∈ Ban^adm_G(L)에 대해, 관련 갈루아 표현 V(Π)의 행렬식은 δε와 같다. 여기서 δ는 Π의 중심 특성이며, ε는 콘피큐클 캐릭터이다.
• 대응은 Hodge-Tate 무게를 유지한다: Π가 π⊗W의 단위 완비화이고 W = Sym^{k−1}(L²)⊗det^a이면, V(Π)는 Hodge-Tate 무게 a와 a+k를 가진다.
• 함자 Π ↦ D_pst(V(Π))는 π⊗W의 적절하고 절대적으로 기약적이며 비정상적인 단위 완비화와 주어진 Hodge 필터링 점프를 가진 약한 적합성, 절대적으로 기약적인 필터링된 (φ,N,Gℚₚ)-모듈의 집합 𝔽(Δ,W) 사이의 전단사 사상이다.
• 만약 log a와 log b가 ℚₚ 위에서 선형 독립이면, {(aⁿ,bⁿ) | n ≥ 1}의 자리지 폐쇄는 (1+𝔪ₗ)×(1+𝔪ₗ) 전체가 되며, 이는 Frac(ℰ⁺) 위에서 (1+T)ˢ의 대수적 독립성을 증명하는 데 필수적이다.
• s ∈ 𝒪 − ℤₚ이면 (1+T)ˢ는 Frac(ℰ⁺) 위에서 초월적이다. 이는 s ∈ ℤₚ가 아닐 경우 (1+T)ˢ의 최소 다항식이 존재할 수 없음을 의미하므로, 핵심적인 대수적 독립성 결과를 증명한다.