Homological multiplicities in representation theory of p-adic groups

From MaRDI portal
Publication:2287991



Abstract: We study homological multiplicities of spherical varieties of reductive group G over a p-adic field F. Based on Bernstein's decomposition of the category of smooth representations of a p-adic group, we introduce a sheaf that measures these multiplicities. We show that these multiplicities are finite whenever the usual mutliplicities are finite, in particular this holds for symmetric varieties, conjectured for all spherical varieties and known for a large class of spherical varieties. Furthermore, we show that the Euler-Poincar'e characteristic is constant in families induced from admissible representations of a Levi M. In the case when M=G we compute these multiplicities more explicitly.


Let \(G\) be a reductive group over a non-Archimedean local field \(F\), and \(X\) be an \(F\)-spherical \(G\)-variety. Suppose that \(\pi\) is a smooth \(G\)-representation of finite length. In the paper under review, the authors obtain the following results. (Theorem A) They show that the homological multiplicities \(m_X^i(\pi):= \dim \mathrm{Ext}^i_G(\mathcal{S}(X),\pi)\) are finite for all \(i\geq 0\) whenever \(m_X^0(\pi)\) is. Here \(\mathcal{S}(X)\) is the space of Schwartz functions on \(X\). (Theorem D) They also provide a method for computing these multiplicities if \(\pi\) is a parabolically induced representation \(i_M^G\rho\), by first regarding \(\pi\) as a member of a family of representations \(\pi_\chi:=i_M^G(\rho\chi)\) where \(\chi\in \mathfrak{X}_M\), the complex torus of unramified characters of \(M\), and then equating \(m_X^i(\pi_\chi)\) with the sheaf theoretic homological multiplicities \(\dim \mathrm{Ext}^i_{O({\mathfrak{X}_M})}(\mathcal{F}_{\mathcal{S}(X)}((M,\rho)),\delta_\chi)\). Here \(\delta_\chi\) is the skyscraper sheaf over \(\chi\), and \(\mathcal{F}_{\mathcal{S}(X)}((M,\rho)):=\mathrm{Hom}_G(\bar{i}_M^G (\rho\otimes \mathcal{O}(\mathfrak{X}_M)),\mathcal{S}(X))\), where \(\bar{i}_M^G \) is the normalized parabolic induction. (Theorem B) They show that the Euler-Poincaré characteristic \(\sum_i (-1)^i m_X^i(\pi_\chi)\) is constant as a function of \({\chi\in {\mathfrak{X}_M}}\). The transition between representations and sheaves is proved in Theorem 4.3. Some representation theoretic and homological backgrounds are referred to Bernstein's notes and the results of Prasad.



Cites work









This page was built for publication: Homological multiplicities in representation theory of \(p\)-adic groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2287991)