[论文解读] 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

一句话总结

本文通過證明蒙特婁函子將 GL₂(ℚₚ) 的絕對不可約非典型單位 Banach 表示與絕對不可約二維 p 進伽羅瓦表示之間建立雙射，從而確立了 GL₂(ℚₚ) 上的 p 進局部 Langlands 對應。利用特徵 0 方法，將此前僅對 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.

研究动机与目标

• 確立 GL₂(ℚₚ) 上的 p 進局部 Langlands 對應作為單位 Banach 表示到伽羅瓦表示的精確函子。
• 證明該函子在絕對不可約非典型 GL₂(ℚₚ)-表示與絕對不可約二維伽羅瓦表示之間誘導出雙射。
• 透過使用特徵 0 技術，將此前僅用特徵 p 方法證明的結果（僅適用於 p ≥ 5）推廣至所有素數。
• 透過 p 進 Hodge 理論分析相關伽羅瓦表示，驗證對應與局部類域論及 Hodge-Tate 權重匹配的相容性。

提出的方法

• 作者使用蒙特婁函子 Π ↦ V(Π)，這是從 GL₂(ℚₚ) 的可容許單位 Banach 表示類別到 Gℚₚ 的連續 L-表示的精確、協變函子。
• 他們分析了殘基有限長度表示的結構，並定義非典型表示為不屬於單位 parabolic 構造的子商表示。
• 證明依賴於特徵 0 方法，特別是 p 進 Banach 空間表示及其模 L 的整環最大理想約化。
• 他們運用濾子 (φ,N,Gℚₚ)-模理論與弱可接受濾子，將伽羅瓦表示與經典局部 Langlands 對應聯繫起來。
• 關鍵技術工具包括研究序列 (aⁿ,bⁿ) 在 (1+𝔪ₗ)² 中的 Zariski 闭包，以及使用形式 Weierstrass 準備定理證明 (1+T)ˢ 在 Frac(ℰ⁺) 上的代數獨立性。
• 他們證明了 p 進 Hodge 理論不變量——特別是 Hodge-Tate 權重與底層 (φ,Gℚₚ)-模——在對應下保持不變。

实验结果

研究问题

• RQ1 GL₂(ℚₚ) 上的 p 進局部 Langlands 對應是否在絕對不可約非典型 Banach 表示與絕對不可約二維伽羅瓦表示之間誘導出雙射？
• RQ2 是否可使用特徵 0 方法而非特徵 p 技術來建立對應，從而將其有效性範圍從 p ≥ 5 延伸至所有素數？
• RQ3 對應是否與局部類域論相容，特別是在伽羅瓦表示的行列式方面？
• RQ4 伽羅瓦表示的 Hodge-Tate 權重與 Banach 表示的無窮小特徵之間有何關係？
• RQ5 給定一個光滑表示在代數表示作用下的單位完備化集合的精確結構是什麼？

主要发现

• 蒙特婁函子 Π ↦ V(Π) 將 GL₂(ℚₚ) 的絕對不可約非典型單位 Banach 表示的同構類與 Gℚₚ 的絕對不可約二維連續 L-表示的同構類之間建立雙射。
• 對於任意絕對不可約非典型的 Π ∈ Ban^adm_G(L)，其關聯的伽羅瓦表示 V(Π) 的行列式等於 δε，其中 δ 為 Π 的中心特徵標，ε 為 cyclotomic 特徵標。
• 對應保持 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+𝔪ₗ)² 中的 Zariski 闭包為整個群 (1+𝔪ₗ)×(1+𝔪ₗ)，這在證明 (1+T)ˢ 在 Frac(ℰ⁺) 上的代數獨立性中至關重要。
• 當 s ∈ 𝒪 − ℤₚ 時，(1+T)ˢ 在 Frac(ℰ⁺) 上是超越的，這意味著 (1+T)ˢ 在 Frac(ℰ⁺) 上的最小多項式不存在，除非 s ∈ ℤₚ，從而證明了關鍵的代數獨立性結果。