[论文解读] 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

一句话总结

本文建立了一個函子性構造，將具有 $T_+$-半線性 étale 作用的 Fontaine 環模上的有限生成模，對應到 $G(\mathbb{Q}_p)/P(\mathbb{Q}_p)$ 上的 $G(\mathbb{Q}_p)$-等變 $o$-模層。主要貢獻是將 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 對於 \/$(GL(2,\mathbb{Q}_p)$-表示與 \/$(\varphi,\Gamma)$-模之間的對應關係，推廣至高秩 $\mathbb{Q}_p$-半單群。
• 從 Fontaine 環模上的 étale $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}}$ 上的作用，誘導出模上 $T_+$-半線性 étale 作用。
• 透過餘值映射 $\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)$，並透過基變換函子建立 étale 模與層之間的等價類。
• 證明單射性時，關鍵步驟為證明某些元素被 $n_\gamma - 1$ 無限可除，而 $n_\gamma - 1$ 屬於 $\Lambda_{\ell_\alpha}(N_0)$ 的極大理想，因此必須為零。
• 最終的刻畫利用 Weyl 群作用結構，並透過反證法與可除性論證，證明當 $\mathrm{rk}(G) > 1$ 時，不存在 $G$-等變層。

实验结果

研究问题

• RQ1 何種條件下，Fontaine 環模上的 étale $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_+$-半線性 étale 作用的 Fontaine 環模上有限生成模 $D$，構造出 $G(\mathbb{Q}_p)/P(\mathbb{Q}_p)$ 上的 $G(\mathbb{Q}_p)$-等變 $o$-模層。
• 此構造將 Colmez 對 $GL(2,\mathbb{Q}_p)$ 的 $D \boxtimes \mathbb{P}^1$ 對應關係，推廣至任意分裂半單 $\mathbb{Q}_p$-群。
• 證明此類 $G$-等變層在 $G/P$ 上存在的充要條件為 $\mathrm{rk}(G) = 1$，當 $\mathrm{rk}(G) > 1$ 時則不存在。
• 證明中的關鍵步驟在於證明模中某些元素被 $n_\gamma - 1$ 無限可除，而 $n_\gamma - 1$ 屬於 $\Lambda_{\ell_\alpha}(N_0)$ 的極大理想，因此必為零。
• 層的構造與 $N_0$ 的作用相容，且自同態 $\mathcal{H}_g$ 滿足乘積公式，確保 $G$-等變性。
• 透過微局部化環上的基變換與連續性函子，建立了 étale $A[P_+]$-模與 $G$-等變層之間的等價類。