[論文レビュー] The image of Colmez's Montreal functor

Vytautas Paškūnas|arXiv (Cornell University)|May 12, 2010

Advanced Algebra and Geometry参考文献 35被引用数 10

ひとこと要約

この論文は、$p \geq 5$ に対して、$\mathrm{GL}_2(\mathbb{Q}_p)$ の非可約ユニタリ $p$-進バナッハ空間表現における不変格子の mod-$p$ 細分について、Colmezの予想を証明する。その結果、細分は常に超特異的であるか、主系列の部分商であることが示され、$p$-進局所Langlands対応の明確な再定式化を可能にするとともに、Breuilの局所代数的表現のユニタリ完備化に関する予想を確認する。

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)$ における不変格子の mod-$p$ 細分に関する Colmez の予想を証明すること。
• 細分の結果を用いて、$p$-進局所Langlands対応をより明確で構造的な形に再定式化すること。
• 主定理から、局所代数的表現の非可約適切ユニタリ完備化に関する Breuil の予想を導出すること。
• mod-$p$ 細分の構造と変形環およびガロア表現の幾何学的性質との間の明確な関係を確立すること。

提案手法

• Colmez の Montreal関手 $\mathbf{V}$ を用いる。これは、$\mathcal{O}$- torsion表現からガロア表現への完全かつ共変的な $\mathcal{O}$-線形関手である。
• ユニタリ適切バナッハ空間表現 $\Pi$ における開有界 $G$-不変格子 $\Theta$ の $p$ を法とする細分を分析する。
• ガロア表現の変形理論および拡張理論を用いて、$\mathbf{V}(\Pi) = \varinjlim \mathbf{V}(\Theta / \varpi^n \Theta)$ の構造を研究する。
• mod-$p$ 表現の圏における Cayley-Hamilton 商およびブロックの理論を用いて、可約な場合を分析する。
• ヘッケ代数の構造と変形環の幾何学を用いて、$\mathbf{V}(\Pi)$ が行列式 $\zeta \varepsilon$ の2次元ガロア表現であることを証明する。
• トレースおよび行列式の条件を通じて、変形環とガロア変形空間の間の同型を確立し、$\alpha: R_{21} \to R_{12}$ が同型であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 非可約ユニタリ $p$-進バナッハ空間表現 $\mathrm{GL}_2(\mathbb{Q}_p)$ における不変格子の mod-$p$ 細分の構造は何か？
• RQ2 非通常表現に対して $p$-進局所Langlands対応はどのように振る舞い、それを明確に再定式化できるか？
• RQ3 Montreal関手 $\mathbf{V}$ は、すべての非可約ユニタリバナッハ表現に2次元ガロア表現を割り当てるか？
• RQ4 局所代数的表現のユニタリ完備化に関する Breuil の予想は、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$-表現をもつ $\mathcal{G}_{\mathbb{Q}_p}$ の絶対的に非可約2次元表現の同型類との間の双対写像を誘導する。
• $\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の自由加群である。