Nonabelian Lubin-Tate theory and elliptic representations (Q948620)

This article is a continuation of the author's article [Ann. Sci. Éc. Norm. Supér. (4) 39, 1--74 (2006; Zbl 1141.22004)]. Let \(K\) be a non-archimedean local field and fix \(d\geq 1\). Put \(G=\text{GL}_d(K)\) and let \(D\) be the central division algebra over \(K\) with invariant \(1/d\). Let \(W_K\) be the Weil group of \(K\). In [loc. cit.] the author studied the cohomology complex \(R\Gamma_c(X, \overline{\mathbf Q}_\ell)\), where \(X\) is Drinfeld's symmetric space \(\Omega_K^{d-1}\). In the present article, the same strategy as in [loc. cit.] is followed, now taking for \(X\) either the Drinfeld tower or the Lubin-Tate tower of analytic spaces over \(K\). Both towers are supplied with an action of \(G\times D^\times \times W_K\) and \(R\Gamma_c(X,\overline{\mathbf Q}_\ell)\) is defined as a complex in the derived category of \(\overline{\mathbf Q}_\ell(G\times D^\times\times W_K)\)-modules (representations over \(\overline{\mathbf Q}_\ell\) of \(G\times D^\times\times W_K\), which are smooth as representation of \(G\times D^\times)\). Consider, for any irreducible smooth representation \(\pi\) of \(G\), the complex \[ {\mathcal C}(\pi)=R \Hom_{D^b(G)}(R\Gamma_c\left(X,\overline{\mathbf Q}_\ell),\pi \right) \] with the action of \(D^\times\times W_K\) on it. Put \(H^*({\mathcal C}(\pi)) =\oplus H^i({\mathcal C}(\pi))\). So we have a representation of \(D^\times \times W_K\) on the \(\overline{\mathbf Q}_\ell\)-vector space \(H^*({\mathcal C}(\pi))\) (forget the grading). The main theorem of the article is the following. There is an isomorphism of linear representations of \(D^\times \times W_K\): \[ H^*({\mathcal C} (x))\cong LJ_d(\pi)\otimes\sigma_d(\pi) \|^{\frac{d-1}{2}}. \] Here \(\sigma_d\) is the Langlands correspondence and \(LJ_d\) is an extension of the Jacquet-Langlands correspondence. \(LJ_d(\pi)\neq 0\) if and only if \(\pi\) is elliptic. So we have a realisation of both the Langlands correspondence and the Jacquet-Langlands correspondence for elliptic representations. The \(D^\times\times W_K\)-modules \(\Hom_G(H^i_c(X,\overline{\mathbf Q}_\ell),\pi)\), determined by Boyer, however, are non-zero only for certain elliptic representations \(\pi\). The study of the complex \({\mathcal C}(\pi)\) requires the complete computation of \(\text{Ext}^i_G (\pi,\pi')\) for elliptic representations \(\pi\) and \(\pi'\) of \(G\) and of their cup-products. By the theory of Bushnell-Kutzko this is reduced to the case of principal elliptic representations, which was done in [loc. cit.]. The most difficult part of the proof of the main theorem is the exact determination of the action of \(W_K\), in particular the quasi-unipotent monodromy. Here global results of Boyer on certain Shimura varieties are used. It can be deduced from the proof that varieties uniformized by the coverings of Drinfeld's symmetric space satisfy the weight-monodromy conjecture.