[論文レビュー] From étale $P_{+}$-representations to $G$-equivariant sheaves on $G/P$

Peter Schneider, Marie‐France Vignéras+1 more|arXiv (Cornell University)|Jun 6, 2012

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

ひとこと要約

本稿は、単純根 $\alpha$ を固定することで、$T_+$ による Fontaine 環 $\mathcal{O}_{\mathcal{E}}$ 上の作用を介し、$G(\mathbb{Q}_p)$-不変な $o$-加群の層を、$G(\mathbb{Q}_p)/P(\mathbb{Q}_p)$ 上に、$T_+$-作用が半線形エタールであるように、有限生成な Fontaine 環上の加群に付随する。主な貢献は、Colmez の $\varphi$-加群対応を高ランク再帰的群へ一般化し、そのような層が存在するのは $G$ のランクが 1 である場合に限ることを特徴づけることである。

ABSTRACT

Let $K/\mathbb Q_{p}$ be a finite extension with ring of integers $o$, let $G$ be a connected reductive split $\mathbb Q_{p}$-group of Borel subgroup $P=TN$ and let $α$ be a simple root of $T$ in $N$. We associate to a finitely generated module $D$ over the Fontaine ring over $o $ endowed with a semilinear étale action of the monoid $T_{+} $ (acting on the Fontaine ring via $α$), a $G(\mathbb Q_{p})$-equivariant sheaf of $o$-modules on the compact space $G(\mathbb Q_{p})/P(\mathbb Q_{p})$. Our construction generalizes the representation $D\boxtimes \mathbb P^{1} $ of $ GL(2,\mathbb Q_{p})$ associated by Colmez to a $(φ,Γ)$-module $D$ endowed with a character of $\mathbb Q_{p}^{*}$.

研究の動機と目的

• Colmez の $(\varphi,\Gamma)$-加群と $GL(2,\mathbb{Q}_p)$-表現の間の対応を、高ランク再帰的 $\mathbb{Q}_p$-群へ拡張すること。
• Fontaine 環上の加群に $P_+$-エタール表現が与えられたとき、$G(\mathbb{Q}_p)/P(\mathbb{Q}_p)$ 上に $G(\mathbb{Q}_p)$-不変な層を構成すること。
• このような層が存在する条件を特徴づけ、$\mathrm{rk}(G) = 1$ のみで存在することを示すこと。
• 再帰的群作用の文脈で、微局所化環と基底変換ファンクターを用いて、$(\varphi,\Gamma)$-加群理論を一般化すること。

提案手法

• 固定された単純根 $\alpha$ を介し、$T_+$ が Fontaine 環 $\mathcal{O}_{\mathcal{E}}$ に作用させ、加群上の半線形エタール作用を誘導する。
• 残留写像 $\operatorname{Res}: C_c^\infty(N, o) \to \operatorname{End}_A(M^P)$ を用いて、$N_0$ 上に $P$-不変な層を定義し、$G/P$ 上に $G$-不変な層へ上昇させる。
• $(s,\operatorname{res},\mathfrak{C})$-積分と積分公式を用いて、誘導加群 $M^P$ 上の自己準同型 $\mathcal{H}_g$ を定義し、群作用と整合性を保証する。
• 微局所化環 $\Lambda_{\ell}(N_0)$ を導入し、基底変換ファンクターを用いて、エタール加群と層の間の圏同値を確立する。
• 単射性の証明は、特定の要素が $\Lambda_{\ell_\alpha}(N_0)$ の極大イデアルに属する $n_\gamma - 1$ で無限に可除であることを示すことにより、それらが消えることを導く。
• 最終的な特徴づけは、ワイル群作用の構造と、$\mathrm{rk}(G) > 1$ のとき $G$-不変層が存在しないことの背理法的証明と可除性の議論に基づく。

実験結果

リサーチクエスチョン

• RQ1 Fontaine 環上の加群に $P_+$-エタール表現が与えられたとき、それが $G(\mathbb{Q}_p)/P(\mathbb{Q}_p)$ 上に $G(\mathbb{Q}_p)$-不変な層へ上昇可能となる条件は何か？
• RQ2 この構成は、Colmez の $(\varphi,\Gamma)$-加群と $GL(2,\mathbb{Q}_p)$-表現の間の対応を、高ランク群へどのように一般化するか？
• RQ3 モノイド $T_+$ 及びその Fontaine 環上への作用が、層構造を定義する上で果たす役割は何か？
• RQ4 このような $G$-不変層はいつ存在し、群のランクはどのような制約を課えるか？
• RQ5 自己準同型 $\mathcal{H}_g$ と積分公式は、群作用と層の公理と整合性を保つためにどのように機能するか？

主な発見

• 本稿は、$T_+$-作用が半線形エタールである有限生成な Fontaine 環上の加群 $D$ から、$G(\mathbb{Q}_p)/P(\mathbb{Q}_p)$ 上に $G(\mathbb{Q}_p)$-不変な $o$-加群の層を構成する。
• この構成は、$GL(2,\mathbb{Q}_p)$ に対する Colmez の $D \boxtimes \mathbb{P}^1$ 対応を、任意の分離再帰的 $\mathbb{Q}_p$-群へ一般化する。
• $G/P$ 上に $G$-不変な層が存在することは、$\mathrm{rk}(G) = 1$ と同値であり、$\mathrm{rk}(G) > 1$ のときは存在しないことが示された。
• 証明の鍵となるステップは、加群内の特定の要素が $\Lambda_{\ell_\alpha}(N_0)$ の極大イデアルに属する $n_\gamma - 1$ で無限に可除であることの証明であり、それらが消えることを意味する。
• 層の構成は $N_0$ の作用と整合的であり、自己準同型 $\mathcal{H}_g$ は積分公式を満たし、$G$-不変性を保証する。
• エタール $A[P_+]$-加群と $G$-不変な層の間の圏同値は、微局所化環上の基底変換および連続性ファンクターを用いて確立された。