Cohomology of Drinfeld symmetric spaces and harmonic cochains (Q5907069)

Let \(F\) be a local field and let \(G\) denote \(\text{GL}_N(F)\). The Drinfeld symmetric space \(\Omega^N\) of dimension \(N-1\) is the complement in \(\mathbb P^{N-1}_{/F}\) of the union of all the \(F\)-rational hyperplanes. Let \(B\) be the upper-triangular Borel subgroup of \(G\), and for any subset of \(\{1,\ldots,N-1\}\), let \(P_I\supset B\) be the corresponding standard parabolic subgroup of \(G\). Let \(M\) be a commutative ring on which \(G\) acts trivially, let \(C^\infty(G/P_I,M)\) be the space of locally constant functions on \(G/P_I\) with values in \(M\). The action of \(G\) on \(C^\infty(G/P_I,M)\) is induced by its action by left translations. For any integer \(k\), \(0\leq k\leq N-1\), if \(J\) denotes the subset \(\{1,2,\ldots,N-k-1\}\) of \(\{1,2,\ldots,N-1\}\), the special representation space of degree \(k\) of \(G\) is defined to be the \(M[G]\)-module \[ \text{SP}^k(M):=\frac{C^\infty(G/P_I,M)}{\sum_{j=n-k}^{N-1} C^\infty(G/P_{J\cup\{j\}},M)}. \] \textit{P. Schneider} and \textit{U. Stuhler} [Invent. Math. 105, 47--122 (1991; Zbl 0751.14016)] studied the cohomology of \(\Omega^N\) for any cohomology theory satisfying certain natural axioms and proved the existence of a canonical \(G\)-isomorphism \[ H^k(\Omega^N,\mathcal F)\simeq\Hom_M(\text{SP}^k(\mathbb Z),A), \] where \(\mathcal F\) is a complex of sheaves on the category of smooth separated rigid analytic varieties over \(F\) equipped with a suitable Grothendieck topology, and \(A=H^0(\text{SP}(F),\mathcal F)\) is the cohomology of the point. In the paper under review the author sketches the proof of the existence of a \(G\)-isomorphism between the dual spaces of the special representation spaces and certains spaces of harmonic cochains on the Bruhat-Tits building. The main result is the \(G\)-isomorphism \[ \Hom_M(\text{SP}^k(\mathbb Z),L)\simeq\mathcal H^k(M,L), \] where \(L\) is an \(M\)-module equipped with an \(M\)-linear action of \(G\) and \(\mathcal H^k(M,L)\) denotes the space of harmonic cochains, \(M\)-linear, with values in \(L\) and satisfying some properties. The result was proved by \textit{E. de Shalit} [Duke Math. J. 106, 123--191 (2001; Zbl 1103.14010)] in zero characteristic. The present proof is valid in any characteristic and uses a new method. From his isomorphism, and those of Schneider-Stuhler [loc. cit.], the author deduces (in all characteristics) a \(G\)-invariant isomorphism between the cohomology groups of \(\Omega^N\) and the spaces of harmonic cochains over the Bruhat-Tits building: \[ H^k(\Omega^N,\mathcal F)\simeq\mathcal H^k(\mathbb Z,L). \]