[論文レビュー] Reduction modulo p of two-dimensional crystalline representations of G_{Q_p} of slope less than three

Bodan Arsovski|arXiv (Cornell University)|Mar 28, 2015

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

ひとこと要約

この論文は、$\mathrm{GL}_2(\mathbb{Q}_p)$ における $p$-進局所Langlands対応を用いて、$G_{\mathbb{Q}_p}$ の2次元クリスタリンガロア表現の mod $p$ 細分を、傾きが3未塔のものについて計算する。傾きが1より大きく3未満の範囲について、Breuil, Buzzard, Emerton の予想を解決し、表現論的技法と二項係数和および $p$-進モジュラー形式の明示的計算を用いて、傾き1について部分的な分類を提供する。

ABSTRACT

We use the p-adic local Langlands correspondence for GL_2(Q_p) to find the reduction modulo p of certain two-dimensional crystalline Galois representations. In particular, we resolve a conjecture of Breuil, Buzzard, and Emerton in the case when the slope is strictly between one and three, and prove partial results towards this conjecture for arbitrary slopes. Moreover, we partially classify the reduction modulo p of these representations when the slope is equal to one.

研究の動機と目的

• 2次元クリスタリンガロア表現 $G_{\mathbb{Q}_p}$ の mod $p$ 細分を、傾きが3未塔のものについて特定すること。
• Breuil, Buzzard, Emerton が提起した、傾きが $ (1,3) $ の範囲にある場合のこれらの細分の構造に関する予想を解明すること。
• 傾きがちょうど1の場合の細分を部分的に分類すること。
• クリスタリン表現の文脈における $p$-進局所Langlands対応の理解を拡張すること。
• Sage を用いた明示的計算ツールを提供し、特定の mod $p$ 表現の非可約性に関する予想を検証すること。

提案手法

• $\mathrm{GL}_2(\mathbb{Q}_p)$ における $p$-進局所Langlands対応を適用し、ガロア表現と mod $p$ 表現を関連付ける。
• $V = \mathrm{Symm}^r(\overline{\mathbb{F}}_p^2)$ に対して $I(V) = \mathrm{ind}_{KZ}^G(V)$ の構成を用い、ヘッケ作用素 $T$ が特定の行列式で作用することを用いる。
• $\pi(\nu, \lambda, \chi) = (\chi \circ \det) \otimes (I(\sigma_\nu)/(T - \lambda))$ が非可約であるか、既知のJordan–Hölder因子を持つことの分類を用いる。
• 還元の核 $X(r+2,a)$ を分析し、二項係数和に関する恒等式を用いて mod $p$ 表現の構造を研究する。
• Sage を用いた明示的計算により、行列式の消滅および非可約性条件に関する予想を検証する。
• $\sigma_m(n) = \det^n \otimes \sigma_m$ のねじれ理論と $\omega$, $\omega_2$, $\mu_t$ の作用を用いて、可能な還元型を分類する。

実験結果

リサーチクエスチョン

• RQ1 $G_{\mathbb{Q}_p}$ の2次元クリスタリン表現の mod $p$ 細分は、傾きが $ (1,3) $ の範囲にある場合、どのように記述できるか？
• RQ2 Breuil, Buzzard, Emerton が提起した、このような細分の構造に関する予想は、傾きが1より大きく3未満の範囲で成り立つか？
• RQ3 傾きがちょうど1の場合、mod $p$ 細分はどのように分類できるか？
• RQ4 ホッジ＝テイト重みと傾きにどのような条件が、mod $p$ 細分の非可約性を決定づけるか？
• RQ5 $r$ の $p$ による合同類のうち、どのクラスが $\overline{\Theta}_{r+2,a}$ を可約にするか？

主な発見

• この論文は、傾きが1より大きく3未満の範囲について、Breuil, Buzzard, Emerton の予想を解決し、適切な条件下で、mod $p$ 細分が $\pi(\nu, \lambda, \chi)$ に同型であることを示した。ここで $\nu \in \{0, p-1\}$ かつ $\lambda \neq 0$ である。
• 傾き1の場合、論文は mod $p$ 細分の部分的な分類を提供し、可能なJordan–Hölder因子とその構造を特定した。
• Sage を用いた明示的計算により、$\overline{\Theta}_{r+2,a}$ が $r$ が $p$ を法としてある多項式の根によって定まる特定の合同条件を満たさない限り、非可約であることが確認された。
• 論文は、$\lambda \neq 0$ の場合、$\pi(\nu, \lambda, \chi)$ が非可約であることを証明した。ただし $\nu \in \{0, p-1\}$ かつ $\lambda = \pm 1$ の場合は、可約である可能性がある。
• 還元の核 $X(r+2,a)$ が非ゼロかつ有限長であることが示され、$T$ の作用と $\pi(\nu, \lambda, \chi)$ モジュールを用いてその構造が分析された。
• Sage を用いたプログラム的検証により、予想8の最初の2部が $m \leq 6$ で成り立つことが確認され、$\overline{\Theta}_{r+2,a}$ の非可約性をテストする計算フレームワークが提供された。