[논문 리뷰] The image of Colmez's Montreal functor

Vytautas Paškūnas|arXiv (Cornell University)|2010. 05. 12.

Advanced Algebra and Geometry참고 문헌 35인용 수 10

한 줄 요약

이 논문은 $p \geq 5$ 인 경우 $\mathrm{GL}_2(\mathbb{Q}_p)$의 기약 단위 $p$-진 바나흐 공간 표현의 $\mathcal{O}$-정수 격자에 대한 mod-$p$ 축소에 대해 콜메즈의 추측을 증명한다. 이 결과로 축소는 초순수하거나 주요 시리즈의 부분몫이 되며, 이는 $p$-진 국지 Langlands 상호작용의 청결한 재구성과 브뤼아의 국소 대수적 표현의 단위 완비화에 대한 추측을 확인하는 데 기여한다.

ABSTRACT

We prove a conjecture of Colmez concerning the reduction modulo $p$ of invariant lattices in irreducible admissible unitary $p$-adic Banach space representations of $GL_2(Q_p)$ with $p\ge 5$. This enables us to restate nicely the $p$-adic local Langlands correspondence for $GL_2(Q_p)$ and deduce a conjecture of Breuil on irreducible admissible unitary completions of locally algebraic representations.

연구 동기 및 목표

• 기약 단위 $p$-진 바나흐 공간 표현 $\mathrm{GL}_2(\mathbb{Q}_p)$의 $\mathcal{O}$-정수 격자에 대한 mod-$p$ 축소에 관한 콜메즈의 추측을 증명한다.
• 축소 결과를 이용하여 $p$-진 국지 Langlands 상호작용을 더 청결하고 체계적인 형태로 재기본한다.
• 주요 정리로부터 국소 대수적 표현의 기약 적응 가능한 단위 완비화에 대한 브뤼아의 추측을 도출한다.
• mod-$p$ 축소의 구조와 변형 링, 갈루아 표현의 기하학 사이의 정확한 연결 고리를 확립한다.

제안 방법

• 콜메즈의 몬트리올 함자 $\mathbf{V}$를 사용한다. 이는 $\mathcal{O}$- torsion 표현에서 갈루아 표현으로 가는 정확한 공변 $\mathcal{O}$-선형 함자이다.
• 단위 적응 바나흐 공간 표현 $\Pi$의 열린 유계 $G$-불변 격자 $\Theta$의 mod-$p$ 축소를 분석한다.
• 갈루아 표현의 변형 이론과 확장 이론을 적용하여 $\mathbf{V}(\Pi) = \varinjlim \mathbf{V}(\Theta / \varpi^n \Theta)$의 구조를 연구한다.
• mod-$p$ 표현의 범주에서 케일리-해밀턴 몫과 블록 이론을 활용하여 가역적인 경우를 분석한다.
• 헤케 대수의 구조와 변형 링의 기하학을 이용하여 $\mathbf{V}(\Pi)$가 2차원 갈루아 표현이며 행렬식이 $\zeta \varepsilon$임을 증명한다.
• 트레이스와 행렬식 조건을 통해 변형 링과 갈루아 변형 공간 간의 동형사상을 확립하여 $\alpha: R_{21} \to R_{12}$가 동형임을 증명한다.

실험 결과

연구 질문

• RQ1 기약 단위 $p$-진 바나흐 공간 표현 $\mathrm{GL}_2(\mathbb{Q}_p)$의 $\mathcal{O}$-정수 격자의 mod-$p$ 축소의 구조는 어떻게 되는가?
• RQ2 $p$-진 국지 Langlands 상호작용은 비보통 표현에서 어떻게 행동하는가? 그리고 이를 더 청결하게 재기본할 수 있는가?
• RQ3 몬트리올 함자 $\mathbf{V}$는 매 기약 단위 바나흐 표현에 대해 2차원 갈루아 표현을 부여하는가?
• RQ4 국소 대수적 표현의 단위 완비화에 대한 브뤼아의 추측은 mod-$p$ 축소의 구조로부터 도출될 수 있는가?

주요 결과

• 모든 $p \geq 5$ 에 대해, 기약 단위 바나흐 표현 $\Pi$의 열린 유계 $G$-불변 격자 $\Theta$에 대한 mod-$p$ 축소 $\Theta \otimes_{\mathcal{O}} k$ 는 유한 길이를 가진다.
• 축소 결과는 절대적으로 기약이면서 초순수이거나, 주요 시리즈 표현 $\operatorname{Ind}_P^G(\chi_1 \otimes \chi_2 \omega^{-1}) \oplus \operatorname{Ind}_P^G(\chi_2 \otimes \chi_1 \omega^{-1})$ 의 부분몫이다.
• 축소 결과가 합과 동형이 아닐 때이고, 그 경우에 $\Pi$가 보통이면 $\dim_L \mathbf{V}(\Pi) < 2$ 이다.
• 함자 $\mathbf{V}$ 는 중심 문자 $\zeta$를 가진 절대적으로 기약적이며 비보통인 단위 바나흐 표현의 동형류와 중심 문자 $\zeta \varepsilon$를 가지며 2차원 $L$-표현인 절대적으로 기약적인 갈루아 표현의 동형류 사이의 전단사 사상이다.
• $\operatorname{End}_{\mathcal{G}_{\mathbb{Q}_p}}(\tilde{\rho}_{ij} \oplus \tilde{\rho}_{ji})[1/c]$ 는 $R^{\mathrm{ps}}_{\chi}[1/c]$ 위의 $2 \times 2$ 행렬의 링과 동형이다. 여기서 $c$ 는 가역성 이상을 생성한다.
• $\operatorname{End}_{\mathcal{G}_{\mathbb{Q}_p}}(\tilde{\rho}_{ij} \oplus \tilde{\rho}_{ji})$ 의 중심은 $R^{\mathrm{ps}}_{\chi}$ 와 동형이며, 엔도모르피즘 링은 $R^{\mathrm{ps}}_{\chi}$-모듈로서 계수 4의 자유 모듈로 표현된다.