[論文レビュー] Ordinary representations and companion points for U(3) in the indecomposable case

John Bergdall, Przemysław Chojecki|arXiv (Cornell University)|May 13, 2014

Algebraic Geometry and Number Theory参考文献 15被引用数 5

ひとこと要約

この論文は、BreuilとHerzigの予想を確認する。$p$-進Banach表現の特定の族は、$㼿$に対する一般型の通常型ガロア表現から構成され、3変数の定値ユニタリ群の完成コホモロジーに現れる。固有多様体と$p$-進自己尖形式を用いて、通常型表現のテンソル積が完成コホモロジーの$\ho$-同型成分に閉埋め込みとして現れることを確立し、$工$を超えた$p$-進Langlandsプログラムにおける重要な予測を検証する。この結果は、$p$における局所ガロア表現の完全非分解性の条件下で成り立つ。主な貢献は、固有多様体と完成コホモロジーを通じたBreuil–Herzigの通常型表現のグローバル実現である。

ABSTRACT

We prove that certain p-adic Banach representations, associated to local ordinary Galois representations, constructed by Breuil and Herzig appears in the completed cohomology of a definite unitary group in three variables. This confirms part of their conjecture. Our main technique is making use of p-adic automorphic forms for definite unitary groups and the eigenvarieties which parameterize them.

研究の動機と目的

• BreuilとHerzigが提唱した、$㼿$に対する通常型ガロア表現に関連する$p$-進Banach空間表現のグローバル実現に関する予想を検証すること。
• Breuil–Emertonの局所的・グローバル的整合性結果を、$工$から3変数の定値ユニタリ群へ拡張すること。
• 局所ガロア表現が完全非分解的であるという条件下で、通常型表現$㼿(\rho_v)^{\text{ord}}$が定値ユニタリ群$G = 㼿$の完成コホモロジーに現れることを確立すること。
• 固有多様体と$p$-進自己尖形式を用いて、完成コホモロジーの構造を分析し、これらの表現の存在を検出するための道具として用いること。

提案手法

• 著者たちは、3変数の定値ユニタリ群に対する$p$-進自己尖形式をパラメトライズする固有多様体を用いて、完成コホモロジーの構造を研究する。
• 固有多様体上でのガロア表現の精密ファミリーを分析し、重み写像の分岐を調べることで、同伴点および悪性点を同定する。
• 局所解析的表現のJacquetモジュールとコホモロジカルデータを関連付ける補題を用い、Verma加群とIwasawa理論を応用して証明を構築する。
• 固有多様体上の臨界点および非臨界点における局所解析的誘導$ I_{\text{an}}(z)^{\text{vee}} $のアーマルガメート結合を用いて、表現$㼿(\rho_v)^{\text{ord}}$を構成する。
• 鍵となる技術的道具は、完成コホモロジーのJacquetモジュールを用いて、$㼿(\rho_v)^{\text{ord}}$が部分表現として現れることを検出することである。
• 完成コホモロジーの$\rho$-同型成分と$㼿(\rho_v)^{\text{ord}}$との間のホモトピー空間を分析し、単射写像を確立することで埋め込みを証明する。

実験結果

リサーチクエスチョン

• RQ1 BreuilとHerzigが$㼿$に対して構成した通常型表現$㼿(\rho_v)^{\text{ord}}$は、3変数の定値ユニタリ群の完成コホモロジーに現れるか？
• RQ2 $p$上での点における局所ガロア表現$\rho_v$を、$p$-進自己尖形式をパラメトライズする固有多様体が検出できるか？
• RQ3 同伴点および悪性点は、完成コホモロジーおよび固有多様体の構造において果たす役割は何か？
• RQ4 $㼿(\rho_v)^{\text{ord}}$のソープフィルトレーションは、局所ガロア表現$\rho_v$の分解可能性をどのように反映するか？
• RQ5 どのような条件下で、表現$㼿(\rho_v)^{\text{ord}}$が完成コホモロジーの$\rho$-同型成分に埋め込まれるか？

主な発見

• 本論文は、一般型の通常型かつ完全非分解的であるガロア表現$㼿(\rho_v)$に対して、関連する通常型Banach表現$㼿(\rho_v)^{\text{ord}}$が、完成コホモロジー$㼿^0(K^p)_L$の$\rho$-同型成分に埋め込まれることを証明する。
• 埋め込みは閉埋め込みとして実現され、$\widehat{\bigotimes}_{v\mid p} \u3F3F(\rho_v)^{\text{ord}} \hookrightarrow \u3F3F^0(K^p)_L^\lambda$となる。これは[BH, 猜測4.2.2]の弱い形の確認である。
• 証明は、固有多様体上に同伴点が存在することと、完成コホモロジーのJacquetモジュールの構造に依存しており、これにより$㼿(\rho_v)^{\text{ord}}$が部分表現として検出可能である。
• 表現$㼿(\rho_v)^{\text{ord}}$は、ある条件$(\dagger)$を満たす点上の局所解析的誘導$ I_{\text{an}}(z)^\wedge $のアーマルガメート結合と同型であることが示され、ブルア・ブレア順序における最大元が重要な役割を果たす。
• 表現$㼿(\rho_v)^{\text{ord}}$が完全非分解的でない場合でも、2つの既約成分の直和として完成コホモロジーに埋め込まれ、それぞれの成分が固有多様体上の異なる点によって検出されることを著者らは示した。
• この結果により、固有多様体と完成コホモロジーを通じたBreuil–Herzigの通常型表現のグローバル実現が確立され、$\u2F2F$を超えた$p$-進Langlands対応に対する証拠が得られた。