Homological vanishing theorems for locally analytic representations (Q422370): Difference between revisions

Let \(L\) be a \(p\)-adic local field of characteristic zero, and let \(G\) be the group of \(L\)-rational points of a split connected reductive group \(\mathbb G\) over \(L\). Let \(\Gamma\) be a discrete and cocompact subgroup of \(G\). Motivated by questions on the cohomology of \(p\)-adic symmetric spaces, the authors of the article study the \(\Gamma\)-homology of locally analytic \(G\)-representations in numerous important cases. Let \(K\) be a spherically complete non-Archimedean value field containing \(L\). Let \({\mathrm{val}}\) denote the valuations of \(L\), \(K\). Denote by \(C^{{\mathrm{an}}}(G,K)\) the locally convex \(K\)-vector space of all locally analytic \(K\)-valued functions of \(G\). Let \(T\) be the group of \(L\)-rational points of a maximal \(L\)-split torus \(\mathbb T\) of \(\mathbb G\), and let \(\chi\colon T\to K^\times\) denote a \(K\)-valued locally analytic character of \(T\). Let \(B\supset T\) be the group of \(L\)-rational points of a Borel subgroup \(\mathbb B\supset\mathbb T\) of \(\mathbb G\) over \(L\). Let \(U\) denote the unipotent radical of \(B\). Then the character \(\chi\) is viewed as a character of \(B\) via \(B\to B/U\simeq T\). Denote by \({\mathrm{Ind}}_B^G(\chi)\) the locally analytic principal series representations of \(G\) over \(K\) that is associated to \(\chi\): \[ {\mathrm{Ind}}_B^G(\chi):=\left\{f\in C^{{\mathrm{an}}}(G,K):f(gb)=\chi(b)^{-1}f(g)\quad \mathrm{for all}\, g\in G, b\in B\right\}, \] and \(G\) is acting on \({\mathrm{Ind}}_B^G(\chi)\) by left translations. Let \(\Phi=\Phi(\mathbb G,\mathbb T)\) denote the root system of \(\mathbb G\) determined by the adjoint action of \(\mathbb T\) on the Lie algebra of \(\mathbb G\), and let \(\Phi^+\) (resp., \(\Delta\)) denote the subset of positive (resp., positive simple) roots in \(\Phi\) with respect to \(\mathbb B\). Assume that \(\mathbb G\) is semisimple and adjoint. Then there are elements \(t_\alpha\), \(\alpha\in\Delta\), such that \[ {\mathrm{val}}(\beta(t_\alpha))=-\delta_{\alpha,\beta}\quad \mathrm{for all } \alpha,\beta\in\Delta. \] Assuming that \(\chi\) is the restriction of a locally analytic \(K\)-valued character of the group of \(L\)-rational points of a Levi subgroup of a maximal proper parabolic subgroup of \(\mathbb G\) containing \(\mathbb T\), the authors prove (Theorem 3.7) that \(H_\bullet(\Gamma,{\mathrm{Ind}}_B^G(\chi))\) vanishes in all degrees as long as \(\chi(t_\alpha^{-1})\) avoids a certain discrete subset of \(K\). In the case of an arbitrary character \(\chi\), the authors prove that the \(\Gamma\) Euler-Poincaré characteristic of \({\mathrm{Ind}}_B^G(\chi)\) is always trivial (Theorem 3.9), and that the \(\Gamma\)-homology of \({\mathrm{Ind}}_B^G(\chi)\) vanishes in all degrees, once it does in degree \(0\) or \(d\), where \(d\) is the semisimple rank of \(\mathbb G\) (Theorem~3.10). For technical reasons, the above results are formulated for semisimple and adjoint groups, but it is shown in the article that one can deduce from them vanishing and finiteness criteria for general \(L\)-split connected reductive groups. Such a vanishing result is explicitly formulated in the case where \(\chi\) is an integral linear combination of elements of \(\Delta\) with positive contribution for at least one positive simple root. In this situation, one has \(H_q(\gamma,{\mathrm{Ind}}_B^G(\chi))=0\) for all \(q\geq 0\) (Theorem 3.13). It is also shown that such a vanishing result may fail once the algebraic character \(\chi\) does not satisfy the above positivity condition. For instance, for \(\chi={\mathbf{1}}\), the trivial character of \(T\), it is proved that the inclusion \({\mathrm{Ind}}_B^G({\mathbf{1}})^\infty\subset{\mathrm{Ind}}_B^G({\mathbf{1}})\) of the smooth principal series representation induces an isomorphism between the respective \(\Gamma\)-homologies (Theorem 3.14). Making use of arguments of previous work by Schneider and Stuhler, Theorem~3.14 also shows that the dimension of the \(K\)-vector space \(H_q(\Gamma,{\mathrm{Ind}}_B^G({\mathbf{1}}))\) can be expressed in terms of a constant \(\mu(\Gamma)\) which also rules the dimension of the de Rham cohomology of the quotient of Drinfeld's upper half space by \(\Gamma\) if \(G=\mathrm{PGL}_{d+1}(L)\). In the last section of the article, the authors provide a new construction of Schneider's reduced Hodge-de Rham spectral sequence and show that the induced filtration is the Hodge-de Rham filtration, as it was conjectured by Schneider. The obtained vanishing theorems also imply two other Schneider's conjectures in a previously unknown case.