[論文レビュー] Families of trianguline representations and finite slope spaces

Eugen Hellmann|arXiv (Cornell University)|Feb 20, 2012

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

ひとこと要約

この論文は、三角的$(\varphi,\Gamma)$-加群の族を用いてキシンの有限勾配空間を再定義し、ユニタリ群の固有多様体が閉部分空間として埋め込まれる新しい枠組みを確立する。p進アトムフォームの過収束$p$-進自己保型表現から得られる表現が、$p$-局所ガロア群に制限されたとき三角的であることを証明し、2次元の場合に有限勾配空間がキシンの定義と一致することを示す。

ABSTRACT

We apply the theory of families of (phi,Gamma)-modules to trianguline families as defined by Chenevier. This yields a new definition of Kisin's finite slope subspace as well as higher dimensional analogues. Especially we show that these finite slope spaces contain eigenvarieties for unitary groups as closed subspaces. This implies that the representations arising from overconvergent p-adic automorphic forms on certain unitary groups are trianguline when restricted to the local Galois group.

研究の動機と目的

• 三角的$(\varphi,\Gamma)$-加群の族を用いてキシンの有限勾配空間を再定義し、新たな幾何学的・表現論的枠組みを提供すること。
• ユニタリ群の固有多様体が、新しい有限勾配空間の構成内に閉部分空間として埋め込まれることを示すこと。
• ユニタリ群上での過収束$p$-進自己保型形式から生じるガロア表現が、$p$-局所ガロア群に制限されたときに三角的であることを確立すること。
• 有限勾配空間の局所幾何を、ベラッシュとシェニエの非臨界に特徴づけられた点における固有多様体の予想と関連させること。
• 最小有限勾配空間$X(\bar{\rho},x)$が、[BeCh, 定義7.6.2]で定義された変形函手を普遍代表することを証明し、グローバルと局所の変形理論を結びつけること。

提案手法

• シェニエの$(\varphi,\Gamma)$-加群の族の理論を用い、正則パラメータを備えた三角的$\mathcal{G}_p$-表現をパラメトライズする新しい有限勾配空間$\mathcal{S}^{\rm ns}(\bar{\tau})$を定義する。
• キドレーとリウの仕事に根拠を置き、$(\varphi,\Gamma)$-加群の族内にガロア表現の族を構成する。
• 有限勾配空間$X(\bar{\tau})$を、$\mathfrak{X}_{\bar{\tau}}$（普遍変形環の一般点）と$\mathcal{T}_d^{\rm reg}$の積内の$\mathcal{S}^{\rm ns}(\bar{\tau})$の像のザリスキ閉包として定義する。
• 有限かつ単射な準同型$\pi_{\bar{\tau}}: \mathcal{S}^{\rm ns}(\bar{\tau}) \to \mathfrak{X}_{\bar{\tau}} \times \mathcal{T}_d^{\rm reg}$を確立し、新しい空間が変形理論的データを捉えていることを示す。
• 局所空間$X(\bar{\tau}_p)$からのベースチェンジを用いて、グローバル版の有限勾配空間$X(\bar{\rho})$を定義し、ヘッケ作用とガロア共役を組み込む。
• 双対性およびインertie条件を満たす表現として、最小有限勾配空間$X(\bar{\rho},x)$を$X^\perp(\bar{\rho})$の閉部分空間として定義し、[BeCh]の変形函手と一致させる。

実験結果

リサーチクエスチョン

• RQ1 三角的$(\varphi,\Gamma)$-加群の族を用いて定義された新しい有限勾配空間が、2次元の場合にキシンの元の定義と一致するか？
• RQ2 ユニタリ群の固有多様体が、この新しい有限勾配空間の構成内に閉部分空間として実現可能か？
• RQ3 ユニタリ群上での過収束$p$-進自己保型形式に関連するガロア表現が、$p$-局所ガロア群に制限されたときに三角的か？
• RQ4 最小有限勾配空間$X(\bar{\rho},x)$が、ベラッシュとシェニエの予想する$\hat{\mathcal{O}}_{X(\bar{\rho},x),x}$によって普遍代表される変形空間と同型か？
• RQ5 Bloch-Katoの予想から、$Y_\pi(\bar{\rho}) \to X(\bar{\rho},z)$が既約成分の包含写像であるという予想が導かれるか？

主な発見

• 三角的族を用いて構成された有限勾配空間$X(\bar{\tau})$は、2次元の場合にキシンの元の有限勾配空間と同型である。
• $\pi_{\bar{\tau}}: \mathcal{S}^{\rm ns}(\bar{\tau}) \to \mathfrak{X}_{\bar{\tau}} \times \mathcal{T}_d^{\rm reg}$は有限かつ単射であるが、表現と擬似特徴標の違いにより、一般には閉埋め込みではない。
• $X(\bar{\tau})$の連結成分は、すべて次元$1 + \frac{d(d+1)}{2}$の既約的であり、$\mathrm{GL}_d$のボレル部分群のフラッグ多様体の次元と一致する。
• 少なくとも1つのクリスタル点を含む成分からなる部分空間$\tilde{X}(\bar{\tau})$は、ベラッシュとシェニエの意味での$\mathcal{G}_p$-表現の普遍微調整族である。
• ユニタリ群の固有多様体$Y_\pi(\bar{\rho})$は、最小有限勾配空間$X(\bar{\rho},z)$に閉部分空間として埋め込まれ、包含写像$Y_\pi(\bar{\rho}) \to X(\bar{\rho},z)$を通じて因数分解される。
• $Y_\pi(\bar{\rho}) \to X(\bar{\rho},z)$が既約成分の包含写像であるという予想は、ベラッシュとシェニエの非臨界に特徴づけられた点における固有多様体の局所幾何に関する予想と同値であり、Bloch-Katoの予想から従う。