Equivariant vector bundles on Drinfeld's upper half space (Q926270)

Let \(K\) be a finite extension of \({\mathbb Q}_p\), let \({\mathcal X}\) be Drinfeld's symmetric space of dimension \(d\) over \(K\), the complement of all \(K\)-rational hyperplanes in projective \(d\)-space \({\mathbb P}_K^d\). This is a \(K\)-rigid analytic space, and the action of the \(p\)-adic group \(G=\text{ GL}_{d+1}(K)\) on \({\mathbb P}_K^d\) induces an action of \(G\) on \({\mathcal X}\). Let \({\mathcal F}\) be a \(G\)-equivariant vector bundle on \({\mathbb P}_K^d\). Its space \(H^0({\mathcal X},{\mathcal F})\) of sections on \({\mathcal X}\) becomes a \(K\)-Fréchet space endowed with a \(G\)-action. The purpose of this paper is to construct a (finite) \(G\)-equivariant filtration of \(H^0({\mathcal X},{\mathcal F})\) by closed subspaces and to identify the resulting graded pieces as \(G\)-representations. Namely, the graded pieces of the strong dual of this filtration are certain subspaces, cut out by the vanishing of certain differential equations, in locally analytic representations which are induced from locally algebraic representations with respect to maximal parabolic subgroups. The case where \({\mathcal F}\) is the canonical bundle had been treated earlier by \textit{P. Schneider} and \textit{J. Teitelbaum} [Astérisque 278, 51--125 (2002); correction Astérisque 295, 191--299 (2004; Zbl 1051.14024)] (and Pohlkamp used their methods to deal with the case where \({\mathcal F}\) is the structure sheaf). The case of dimension \(d=1\) had been analysed by Morita. The approach taken here is different from the more explicit one followed by Schneider and Teitelbaum. It is based on the long exact exicision sequence comparing the cohomology of \({\mathcal F}\) on \({\mathbb P}_K^d\), on \({\mathcal X}\) and (the local cohomology) on \({\mathbb P}_K^d-{\mathcal X}\subset {\mathbb P}_K^d\). The filtration \({\mathcal F}({\mathcal X})^{\bullet}\) on \(H^0({\mathcal X},{\mathcal F})\) is then induced from a spectral sequence which results from a certain acyclic resolution of the constant sheaf \({\mathbb Z}\) on (the adic space associated to) \({\mathbb P}_K^d-{\mathcal X}\). The filtration has length \(d+1\). The strong dual \(({\mathcal F}({\mathcal X})^j/{\mathcal F}({\mathcal X})^{j+1})'\) of a typical graded piece is then shown to sit in an exact sequence \[ 0\to v_{P(j+1,1,\ldots,1)}^G (H^{d-j}( {\mathbb P}_K^d,{\mathcal F})')\to ({\mathcal F}({\mathcal X})^j/{\mathcal F}({\mathcal X})^{j+1})'\to C^{an}(G,P_{\underline{j+1}};U'_j)^{\partial_j=0}\to0. \] Here \(v_{P(j+1,1,\ldots,1)}^G(H^{d-j}( {\mathbb P}_K^d,{\mathcal F})')\) is what the author calls a generalized Steinberg representation with coefficients in the finite dimensional algebraic \(G\)-module \(H^{d-j}( {\mathbb P}_K^d,{\mathcal F})'\). The representation \(C^{an}(G,P_{\underline{j+1}};U'_j)^{\partial_j=0}\) is, as indicated above, the subspace cut out by an annhilation condition \(\partial_j=0\) of certain differential opertors, inside a locally analytic representation \(C^{an}(G,P_{\underline{j+1}};U'_j)\) induced from a locally algebraic representation \(U'_j\) of a maximal parabolic subgroup \(P_{\underline{j+1}}\) in \(G\). In the case where \({\mathcal F}\) arises from an irreducible representation of the Levi subgroup of a maximal parabolic subgroup \(P_{(1,d)}\) for which \({\mathbb P}_K^d\cong G/P_{(1,d)}\), more details on \(C^{an}(G,P_{\underline{j+1}};U'_j)^{\partial_j=0}\) are worked out.