[論文レビュー] Kirillov models and the Breuil-Schneider conjecture for GL_2(F)

Eran Assaf, David Kazhdan+1 more|arXiv (Cornell University)|Feb 13, 2013

Advanced Algebra and Geometry参考文献 2被引用数 7

ひとこと要約

この論文は、GL₂(F) におけるBreuil-Schneider予想を2つの場合について証明する：主系列の特徴が非分岐で、重みが小さい（n < q）場合、および特徴が正則に分岐し、対称冪表現が自明である場合。キリロフモデルと、ベクトル展開における係数に関する再帰的推定を用いて、局所代数的表現における整数構造の存在を確立し、平滑表現に関する先行結果をp進解析的手法を用いて局所代数的設定へと拡張する。

ABSTRACT

Let F be a local field of characteristic 0. The Breuil-Schneider conjecture for GL_2(F) predicts which locally algebraic representations of this group admit an integral structure. We extend the methods of [K-dS12], which treated smooth representations only, to prove the conjecture for some locally algebraic representations as well.

研究の動機と目的

• 平滑表現にのみ適用可能であった[K-dS12]の手法を、GL₂(F) の局所代数的表現へと拡張すること。
• 主系列表現の特徴が非分岐または正則に分岐し、代数的部が対称冪または自明な行列式である場合に、GL₂(F) におけるBreuil-Schneider予想を証明すること。
• キリロフモデルの明示的解析と係数推定を用いて、既約な局所代数的表現における整数構造の存在を確立すること。
• p進局所Langlands対応やグローバル手法に依存しない、直接的な局所的証明を提供すること。

提案手法

• 主系列表現に対してキリロフモデルを構成し、それをFに値をとる代数的表現τへのコンパクト台付き関数の空間として実現する。
• キリロフモデルにおけるベクトルを環状に展開し、異なるトーラス作用に対応する成分C_l'とC_l''に係数を分解する。
• ボレル部分群の作用とトーラスの構造を用いて、C_l'とC_l''の再帰的関係を導出し、[K-dS12]の技術を適応する。
• 重みと分岐の仮定を用いて、p進推定を適用し、係数C_l'とC_l''の成長をπ^{-m}、λ、μ、およびτ(ε⁻¹)の項で有界化する。
• lに関する帰納法を用いて、係数が整数構造の存在を保証するように有界のままであることを示す。
• 例外的な場合χ₁ = ωχ₂では再帰を修正し、同じ条件のもとで同じ推定が成り立つことを示し、すべての場合の証明を完了する。

実験結果

リサーチクエスチョン

• RQ1 特徴χ₁、χ₂および代数的表現τがどのような条件下で、GL₂(F) の局所代数的表現ρ = τ ⊗ σが整数構造をもつのか。
• RQ2 Breuil-Schneider予想は、p進局所Langlands対応やグローバル手法に依存せずに、GL₂(F) に対して直接証明可能か。
• RQ3 キリロフモデルは、GL₂(F) の局所代数的表現における整数構造の解析をどのように支援するか。
• RQ4 キリロフモデルにおける係数成長に関するどの再帰的推定が、表現空間における最小整数構造の存在を保証するか。
• RQ5 χ₁ = ωχ₂の場合に、同じ手法が同じ有界性をもたらし、したがって整数構造の存在について同じ結論を導くか。

主な発見

• χ₁とχ₂が非分岐で、τ = det^m ⊗ Sym^n、かつn < qのとき、係数推定を用いて整数構造の存在が示され、Breuil-Schneider予想が成立する。
• χ₁、χ₂が正則に分岐し、τ = det^mの場合、[K-dS12]よりも洗練された証明により、整数構造の存在が確認される。
• キリロフモデル展開における係数C_l'とC_l''は、O(q^{-1}π^{-ml})のオーダーの再帰的有界性を満たし、表現が最小整数構造をもつことを保証する。
• 例外的な場合χ₁ = ωχ₂では、係数再帰を修正した後も、同じ再帰的推定が成り立つため、この場合に対しても予想が証明される。
• 証明により、整数構造の存在がこれらの係数列の有界性と同値であることが示され、局所p進解析的基準が得られる。
• 結果として、GL₂(F) の既約な局所代数的表現において、整数構造の存在は代数的部の分岐と重み、および中心特徴の条件によって決定されることが確認される。