[論文レビュー] The p-adic local Langlands correspondence for GL_2(Q_p)

Pierre Colmez, Gabriel Dospinescu+1 more|arXiv (Cornell University)|Oct 8, 2013

Advanced Algebra and Geometry参考文献 41被引用数 13

ひとこと要約

この論文は、特徴的0の手法を用いて、GL₂(ℚₚ)におけるp進局所Langlands対応を確立し、絶対的単純で非通常でないユニタリBanach表現と、絶対的単純な2次元p進ガロア表現との間で、 Montreal関手が全単射を誘導することを証明する。p ≥ 5に限られていた従来の結果を、すべての素数にまで拡張する。この対応の全単射性と、局所クラス体論および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.

研究の動機と目的

• ユニタリBanach表現からガロア表現への正確な関手として、GL₂(ℚₚ)におけるp進局所Langlands対応を確立すること。
• この関手が、絶対的単純で非通常でないGL₂(ℚₚ)-表現と、絶対的単純な2次元ガロア表現との間で全単射を誘導することを証明すること。
• 従来は特徴的pの手法を用いてp ≥ 5に限って証明されていた結果を、特徴的0の技法を用いてすべての素数にまで拡張すること。
• 関連するガロア表現のp進Hodge理論を用いて、局所クラス体論およびHodge-Tate重みの一致に関する整合性を検証すること。

提案手法

• 著者たちは、GL₂(ℚₚ)の適切なユニタリBanach表現の圏から、絶対ガロア群Gℚₚの連続的L表現への正確で共変な関手であるMontreal関手Π ↦ V(Π)を用いる。
• 有限長の残渣的表現の構造を分析し、非通常の表現を、ユニタリパラボリック誘導の部分商でないものとして定義する。
• 証明は特徴的0の手法に依拠しており、特にp進Banach空間表現と、Lの整数環の最大イデアルを法としたその還元を用いる。
• フィルター付き(φ,N,Gℚₚ)-加群と弱い適応性フィルターの理論を用いて、ガロア表現と古典的局所Langlands対応を関連付ける。
• 主な技術的道具は、(1+𝔪ₗ)²内の列(aⁿ,bⁿ)のZariski閉包の研究と、形式的Weierstrass準備定理を用いたFrac(ℰ⁺)上での(1+T)ˢの代数的独立性の証明である。
• p進Hodge理論的不変量—特にHodge-Tate重みと基礎となる(φ,Gℚₚ)-加群—が、この対応で保存されることを確立する。

実験結果

リサーチクエスチョン

• RQ1 GL₂(ℚₚ)におけるp進局所Langlands対応は、絶対的単純で非通常でないBanach表現と、絶対的単純な2次元ガロア表現との間に全単射を誘導するか？
• RQ2 特徴的pの技法ではなく、特徴的0の手法を用いることで、p ≥ 5に限らない範囲にまでこの対応を拡張可能か？
• RQ3 この対応は局所クラス体論と整合するか、特にガロア表現の行列式に関してどうか？
• RQ4 ガロア表現のHodge-Tate重みは、Banach表現の無限小的特徴の何と関係するか？
• RQ5 与えられた滑らかな表現に代数的表現を引き伸ばしたもののユニタリ完備化の集合の正確な構造は何か？

主な発見

• Montreal関手Π ↦ V(Π)は、GL₂(ℚₚ)の絶対的単純で非通常でないユニタリBanach表現の同型類と、Gℚₚの連続的L表現の絶対的単純な2次元表現との間に全単射を誘導する。
• 任意の絶対的単純で非通常でないΠ ∈ 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}のZariski閉包は(1+𝔪ₗ)²の全群に等しくなる。これはFrac(ℰ⁺)上での(1+T)ˢの代数的独立性を示す上で不可欠である。
• s ∈ 𝒪 − ℤₚならば、(1+T)ˢはFrac(ℰ⁺)上超越的である。これは、(1+T)ˢのFrac(ℰ⁺)上での最小多項式が存在しない（s ∈ ℤₚでない限り）ことを意味し、したがって核心的な代数的独立性の結果が証明される。