[論文レビュー] A classification of the irreducible mod-p representations of U(1,1)(Q_p^2/Q_p)

Karol Kozioł|arXiv (Cornell University)|Oct 2, 2012

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

ひとこと要約

この論文は、分岐しないユニタリ群 U(1,1)(ℚ_p²/ℚ_p) のすべての滑らかで非可約な mod-p 表現を、非超臨界型と超臨界型に区別して分類する。半単純ラングランズパラメータの同値類と半単純 L-パケットの同型類の間の対応を確立し、表現とガロアデータの明示的パラメトライゼーションを通じて、この群に対する mod-p 局所ラングランズ対応を構築する。

ABSTRACT

Let p be a prime number. We classify all smooth irreducible mod-p representations of the unramified unitary group U(1,1)(Q_p^2/Q_p) in two variables. We then investigate Langlands parameters in characteristic p associated to U(1,1)(Q_p^2/Q_p), and propose a correspondence between certain equivalence classes of Langlands parameters and certain isomorphism classes of semisimple L-packets on U(1,1)(Q_p^2/Q_p).

研究の動機と目的

• U(1,1)(ℚ_p²/ℚ_p) のすべての滑らかで非可約な mod-p 表現を分類すること。これは相対ランク 1 の再帰的 p-進群である。
• ガロアパラメータと表現の L-パケットの間の対応を構築することで、ユニタリ群への mod-p 局所ラングランズプログラムを拡張すること。
• GL₂(ℚ_p) および SL₂(ℚ_p) における結果をユニタリ群の設定に一般化し、特に超臨界表現に注目すること。
• U(1,1)(ℚ_p²/ℚ_p) における特徴 p のラングランズパラメータを定義・解析し、その安定性と同値類を扱うこと。
• C-ガロアパラメータの同値類と半単純 L-パケットの同型類の間の半単純 mod-p 対応を確立すること。

提案手法

• 𝔽̄_p 上のプロ-p-イワハイリ-ヘッケ代数を用い、有限次元単純加群を通じて非可約表現を分類する。
• コhomological技法を用い、SL₂(ℚ_p) からの制限を適用することで、導来部分群の超臨界表現を U(1,1)(ℚ_p²/ℚ_p) に持ち上げる。
• 超臨界表現を明示的に構成する：0 ≤ r ≤ p−1 および 0 ≤ k < p+1 に対して (ω^k∘det)⊗π_r と表される。
• G の C-群 ^C G に値をとるラングランズパラメータ φ_{k,ℓ} および ψ_{r,λ} を、ℚ_p および ℚ_p² からのガロア作用と特徴を用いて定義する。
• 指数と双対対に関する条件を通じてパラメータの同値性を分類し、特に r ≡ −pr − (p+1) mod (p²−1) および λ′ = λ⁻¹ の場合を区別する。
• 半単純ラングランズパラメータと半単純 L-パケットの間の対応を、パラメータのタイプ（超臨界型対非超臨界型）に一致させることで確立する。

実験結果

リサーチクエスチョン

• RQ1 U(1,1)(ℚ_p²/ℚ_p) の滑らかで非可約な mod-p 表現は、超臨界型と非超臨界型を区別して完全に分類可能か？
• RQ2 U(1,1)(ℚ_p²/ℚ_p) の L-パケットの構造は何か？ また、特徴 p におけるラングランズパラメータとはどのように関係するか？
• RQ3 U(1,1)(ℚ_p²/ℚ_p) のラングランズパラメータが同値となる条件は何か？ また、安定性はいつ成立するか？
• RQ4 SL₂(ℚ_p) の表現はどのように U(1,1)(ℚ_p²/ℚ_p) に持ち上げられ、超臨界表現の分類にどのように寄与するか？
• RQ5 ガロアパラメータと L-パケットを対応させることで、U(1,1)(ℚ_p²/ℚ_p) に対して mod-p 局所ラングランズ対応を定式化できるか？

主な発見

• U(1,1)(ℚ_p²/ℚ_p) のすべての滑らかで非可約な非超臨界表現は、特徴の部分群からの誘導表現として明示的に分類され、定理 4.3 で完全に記述されている。
• U(1,1)(ℚ_p²/ℚ_p) のすべての滑らかで非可約な超臨界表現は、0 ≤ r ≤ p−1 および 0 ≤ k < p+1 に対して (ω^k∘det)⊗π_r の形をとり、定理 5.7 で確立されている。
• ラングランズパラメータと L-パケットの間の対応は明示的に与えられる：k ≠ ℓ のとき φ_{k,ℓ} は L-パケット {(ω^ℓ∘det)⊗π_{[k−ℓ−1]}, (ω^k∘det)⊗π_{[ℓ−k−1]}} に対応する。
• 非超臨界型の場合、ψ_{(r−1)+(1−p)k,λ} は L-パケット {(ω^k∘det)⊗π(r,λ)^ss ⊕ (ω^{k+r+1}∘det)⊗π(p−1−r,λ⁻¹)^ss} に対応する。
• パラメータの同値性は次のように決定される：φ_{k,ℓ} ≡ φ_{k',ℓ'} であることと {k,ℓ} = {k',ℓ'} であることは同値であり、ψ_{r,λ} ≡ ψ_{r',λ'} であることと (r' = r, λ' = λ) または (r' ≡ −pr − (p+1) mod (p²−1), λ' = λ⁻¹) であることは同値である。
• U(1,1)(ℚ_p²/ℚ_p) に対して安定なラングランズパラメータは存在せず、すべての半単純パラメータは φ_{k,ℓ} または ψ_{r,λ} に同値であることが、補題 A.4 で示されている。