[論文レビュー] Cohomology of arithmetic families of (phi,Gamma)-modules

Kiran S. Kedlaya, Jonathan Pottharst+1 more|arXiv (Cornell University)|Mar 26, 2012

Algebraic Geometry and Number Theory参考文献 25被引用数 13

ひとこと要約

本稿は、$p$-進解析的空間上の算術的家族の$(\varphi,\Gamma)$-モジュールについて、$(\varphi,\Gamma)$-コホロジーおよびIwasawaコホロジーの有限性と基底変換の整合性を確立する。点で精錐なガロア表現の族が、大きな部分空間上で三角分解可能であることを証明し、Coleman-Mazurの固有曲線における三角分解の挙動を完全に記述する。特に、古典的モジュラー形式に対応する点および$\theta^{k-1}$-写像の像にある点についても考察する。

ABSTRACT

We prove the finiteness and compatibility with base change of the (phi,Gamma)-cohomology and the Iwasawa cohomology of arithmetic families of (phi,Gamma)-modules. Using this finiteness theorem, we show that a family of Galois representations that is densely pointwise refined in the sense of Mazur is actually trianguline as a family over a large subspace. In the case of the Coleman-Mazur eigencurve, we determine the behavior at all points.

研究の動機と目的

• $p$-進解析的空間上の算術的家族の$(\varphi,\Gamma)$-モジュールについて、$(\varphi,\Gamma)$-コホロジーおよびIwasawaコホロジーの有限性と基底変換の整合性を確立すること。
• 尤てColeman-Mazur固有曲線の文脈において、ガロア表現の家族への三角分解理論を拡張すること。
• 特に、$\theta^{k-1}$-写像の像にある点に対応する過収束モジュラー形式における三角分解の挙動を解明すること。
• 相対Robba環と完全複体を用いて、家族におけるコホロジーの導来カテゴリカル枠組みを提供すること。
• 相対的設定における$\psi$-作用素を通じて、$(\varphi,\Gamma)$-モジュールとIwasawa理論との間の構造的関係を明確にすること。

提案手法

• 導来カテゴリおよび導来函手の形式的論法を用いて、特に$\mathbf{D}_{\mathrm{perf}}^\flat$-カテゴリを用いて家族におけるコホロジーを扱う。
• フロベニウス$\varphi$の左逆元である$\psi$-作用素を適用し、家族におけるIwasawaコホロジーを定義・計算する。
• デビッサージュ技術と特殊な場合への還元を用いて、$\mathbb{Q}_p$-アフィノイド代数上のコホロジーの有限性定理を証明する。
• 傾きフィルトレーションおよび弱適性の理論を用いて、固有多様体上の特定の点における三角分解とその挙動を分析する。
• BergerおよびColmezの結果を応用し、ガロア表現から相対$(\varphi,\Gamma)$-モジュールへの函手を家族の文脈で用いる。
• 継続的特徴のモジュライ空間を用いたグローバル三角分解定理と、特徴型の相対$(\varphi,\Gamma)$-モジュールの構成に依存する。

実験結果

リサーチクエスチョン

• RQ1 一点で精錐なガロア表現の族が、実際に家族として三角分解可能である条件は何か？
• RQ2 $p$-進家族の$(\varphi,\Gamma)$-モジュールの文脈において、$\psi$-コホロジーは基底変換に関してどのように振る舞うか？
• RQ3 Coleman-Mazur固有曲線における三角分解の正確な挙動は何か、特に古典的モジュラー形式に対応する点についてどうか？
• RQ4 グローバル三角分解が点で飽和されないのはいつか？その飽和のインデックスは何か？
• RQ5 $\theta^{k-1}$-写像は、整数重$k \geq 2$の点における三角分解の存在および構造にどのように影響するか？

主な発見

• ガロアコホロジー複体$\mathrm{C}_{\varphi,\gamma_K}^\bullet(M)$とIwasawaコホロジー複体$\mathrm{C}_\psi^\bullet(M)$は、それぞれ$\mathbf{D}_{\mathrm{perf}}^\flat(A)$および$\mathbf{D}_{\mathrm{perf}}^\flat(\mathcal{R}_A^\infty(\Gamma_K))$に属し、 quasi-isomorphic である。
• 基底変換の整合性が成り立つ：自然な写像$\mathrm{C}_{\varphi,\gamma_K}^\bullet(M) \otimes_A^\mathbf{L} B \to \mathrm{C}_{\varphi,\gamma_K}^\bullet(M \widehat{\otimes}_A B)$および$\mathrm{C}_\psi^\bullet(M) \otimes_{\mathcal{R}_A^\infty}^\mathbf{L} \mathcal{R}_B^\infty \to \mathrm{C}_\psi^\bullet(M \widehat{\otimes}_A B)$は、導来カテゴリにおいて同型である。
• 濃度的に点で精錐なガロア表現の族は、パrameter空間の大きな部分空間上で三角分解可能である。
• 修正済み固有曲線$X'$において、グローバルな三角分解が存在し、非古典的または非整数重の形式に対応する点で飽和されている。
• 整数重$k \geq 2$の過収束モジュラー形式に対応する点$z$が$\theta^{k-1}$-写像の像にあるとき、三角分解はその飽和においてファイバー指数$t^{k-1}$の部分モジュールへ拡張される。
• $z$が$\theta^{k-1}$-写像の像にあるならば、$k_{z,\mathrm{id}} = k-1$であり、$U_p$-固有値は$\operatorname{ord}_p \alpha_z = k-1$を満たす。これは非分裂性と矛盾するが、$k_{z,\mathrm{id}} = 0$でなければ成立しない。その矛盾から、$k_{z,\mathrm{id}} = k-1$が導かれる。