arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2409.05079math.RTmath.NT
收藏

局部解析表示的消解

Resolutions for Locally Analytic Representations

Shishir Agrawal, Matthias Strauch

AI总结:

本文修改 Schneider-Stuhler 复形并结合 Chevalley-Eilenberg 与 Wall 复形,构造 p-adic 约化群局部解析表示的消解,用于计算扩张群。

摘要:

本文旨在研究 p-adic 约化群 G 的局部解析表示的消解。给定 G 的一个局部解析表示 V,我们修改 Schneider-Stuhler 复形(最初为光滑表示定义),以给出一个“解析”变体 S^A_•(V)。该复形中的表示由紧开子群 U_σ 的解析向量空间 A_σ(V) 构建,这些子群以 G 的 Bruhat-Tits 建筑的面 σ 为索引。随后,利用李代数理论中的 Chevalley-Eilenberg 复形,对这些(G 的紧开子群的)解析表示进行消解。这为解析 Schneider-Stuhler 复形中的每个表示 S^A_q(V) 给出了一个消解 S^CE_{q,•}(V) → S^A_q(V)。在最后一步,我们证明表示族 S^CE_{q,j}(V) 可以被赋予 Wall 复形的结构。于是,相关的总复形 S^CE_•(V) 具有与 S^A_•(V) 相同的同调。如果后者是 V 的消解,那么在 V 和 W 满足某些条件(当二者均为容许局部解析表示时这些条件成立)的前提下,可以使用 S^CE_•(V) 找到一个计算扩张群 Ext̲^n_G(V,W) 的复形。

英文摘要:

The purpose of this paper is to study resolutions of locally analytic representations of a $p$-adic reductive group $G$. Given a locally analytic representation $V$ of $G$, we modify the Schneider-Stuhler complex (originally defined for smooth representations) so as to give an `analytic' variant ${\mathcal S}^A_\bullet(V)$. The representations in this complex are built out of spaces of analytic vectors $A_σ(V)$ for compact open subgroups $U_σ$, indexed by facets $σ$ of the Bruhat-Tits building of $G$. These analytic representations (of compact open subgroups of $G$) are then resolved using the Chevalley-Eilenberg complex from the theory of Lie algebras. This gives rise to a resolution ${\mathcal S}^{\rm CE}_{q,\bullet}(V) \rightarrow {\mathcal S}^A_q(V)$ for each representation ${\mathcal S}^A_q(V)$ in the analytic Schneider-Stuhler complex. In a last step we show that the family of representations ${\mathcal S}^{\rm CE}_{q,j}(V)$ can be given the structure of a Wall complex. The associated total complex ${\mathcal S}^{\rm CE}_\bullet(V)$ has then the same homology as that of ${\mathcal S}^A_\bullet(V)$. If the latter is a resolution of $V$, then one can use ${\mathcal S}^{\rm CE}_\bullet(V)$ to find a complex which computes the extension group $\underline{Ext}^n_G(V,W)$, provided $V$ and $W$ satisfy certain conditions which are satisfied when both are admissible locally analytic representations.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑