{"title":"局部解析表示的分辨率","authors":"Shishir Agrawal, Matthias Strauch","doi":"arxiv-2409.05079","DOIUrl":null,"url":null,"abstract":"The purpose of this paper is to study resolutions of locally analytic\nrepresentations of a $p$-adic reductive group $G$. Given a locally analytic\nrepresentation $V$ of $G$, we modify the Schneider-Stuhler complex (originally\ndefined for smooth representations) so as to give an `analytic' variant\n${\\mathcal S}^A_\\bullet(V)$. The representations in this complex are built out\nof spaces of analytic vectors $A_\\sigma(V)$ for compact open subgroups\n$U_\\sigma$, indexed by facets $\\sigma$ of the Bruhat-Tits building of $G$.\nThese analytic representations (of compact open subgroups of $G$) are then\nresolved using the Chevalley-Eilenberg complex from the theory of Lie algebras.\nThis gives rise to a resolution ${\\mathcal S}^{\\rm CE}_{q,\\bullet}(V)\n\\rightarrow {\\mathcal S}^A_q(V)$ for each representation ${\\mathcal S}^A_q(V)$\nin the analytic Schneider-Stuhler complex. In a last step we show that the\nfamily of representations ${\\mathcal S}^{\\rm CE}_{q,j}(V)$ can be given the\nstructure of a Wall complex. The associated total complex ${\\mathcal S}^{\\rm\nCE}_\\bullet(V)$ has then the same homology as that of ${\\mathcal\nS}^A_\\bullet(V)$. If the latter is a resolution of $V$, then one can use\n${\\mathcal S}^{\\rm CE}_\\bullet(V)$ to find a complex which computes the\nextension group $\\underline{Ext}^n_G(V,W)$, provided $V$ and $W$ satisfy\ncertain conditions which are satisfied when both are admissible locally\nanalytic representations.","PeriodicalId":501038,"journal":{"name":"arXiv - MATH - Representation Theory","volume":"11 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Resolutions for Locally Analytic Representations\",\"authors\":\"Shishir Agrawal, Matthias Strauch\",\"doi\":\"arxiv-2409.05079\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The purpose of this paper is to study resolutions of locally analytic\\nrepresentations of a $p$-adic reductive group $G$. Given a locally analytic\\nrepresentation $V$ of $G$, we modify the Schneider-Stuhler complex (originally\\ndefined for smooth representations) so as to give an `analytic' variant\\n${\\\\mathcal S}^A_\\\\bullet(V)$. The representations in this complex are built out\\nof spaces of analytic vectors $A_\\\\sigma(V)$ for compact open subgroups\\n$U_\\\\sigma$, indexed by facets $\\\\sigma$ of the Bruhat-Tits building of $G$.\\nThese analytic representations (of compact open subgroups of $G$) are then\\nresolved using the Chevalley-Eilenberg complex from the theory of Lie algebras.\\nThis gives rise to a resolution ${\\\\mathcal S}^{\\\\rm CE}_{q,\\\\bullet}(V)\\n\\\\rightarrow {\\\\mathcal S}^A_q(V)$ for each representation ${\\\\mathcal S}^A_q(V)$\\nin the analytic Schneider-Stuhler complex. In a last step we show that the\\nfamily of representations ${\\\\mathcal S}^{\\\\rm CE}_{q,j}(V)$ can be given the\\nstructure of a Wall complex. The associated total complex ${\\\\mathcal S}^{\\\\rm\\nCE}_\\\\bullet(V)$ has then the same homology as that of ${\\\\mathcal\\nS}^A_\\\\bullet(V)$. If the latter is a resolution of $V$, then one can use\\n${\\\\mathcal S}^{\\\\rm CE}_\\\\bullet(V)$ to find a complex which computes the\\nextension group $\\\\underline{Ext}^n_G(V,W)$, provided $V$ and $W$ satisfy\\ncertain conditions which are satisfied when both are admissible locally\\nanalytic representations.\",\"PeriodicalId\":501038,\"journal\":{\"name\":\"arXiv - MATH - Representation Theory\",\"volume\":\"11 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-09-08\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - MATH - Representation Theory\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2409.05079\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - MATH - Representation Theory","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2409.05079","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
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_\sigma(V)$ for compact open subgroups
$U_\sigma$, indexed by facets $\sigma$ 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.