Lefschetz trace formula and \(\ell\)-adic cohomology of Lubin-Tate tower (Q2391587)

This paper studies the alternating sum of the \(\ell\)-adic cohomology of the Lubin-Tate tower using Lefschetz trace formula. The method of this paper allows one to slightly improve on the proceeding work of \textit{M. Strauch} [Adv. Math. 217, No. 3, 889--951 (2008; Zbl 1140.22017)]. Let \(F\) be a finite extension of \(\mathbb Q_p\) with valuation ring \(\mathcal O\). For a fixed integer \(d\geq 1\), the Lubin-Tate space is the universal deformation space of the one-dimensional formal \(\mathcal O\)-module of height \(d\) over \(\overline {\mathbb F}_p\). By adding Drinfeld level structures one obtains the Lubin-Tate tower. It was conjectured by P. Deligne and \textit{H. Carayol} [Perspect. Math. 11, 15--39 (1990; Zbl 0704.11049)] and proved by \textit{M. Harris} and \textit{R. Taylor} [The geometry and cohomology of some simple Shimura varieties. Princeton, NJ: Princeton University Press (2001; Zbl 1036.11027)] using a global method that the alternating sum of the cohomology of the Lubin-Tate tower \(H_{\mathrm{LT}} = \sum_i(-1)^iH^i_{\mathrm{LT}}\) realizes the local Langlands correspondence and the Jacquet Langlands correspondence at the same time, when considering the natural action of \(\mathrm{GL}_d(F) \times D^\times \times W_F\) on it, where \(D^\times\) is the central division algebra over \(F\) with invariant \(1/d\) and \(W_F\) is the Weil group of \(F\). This paper uses purely local method to study the Jacquet-Langlands correspondence that is realized on the Lubin-Tate tower, using Lefschetz trace formula. This paper differs from the prior approach by Strauch in that, Strauch studies \(H_{\mathrm{LT}}[\pi]\) for a supercuspidal representation \(\pi\) of \(\mathrm{GL}_d(F)\) and this paper considers \(H_{\mathrm{LT}}[\rho]\) for an irreducible representation \(\rho\) of \(D^\times\). The slight advantage of this approach is to cover some cases when the Jacquet Langlands correspondence of \(\rho\) is not supercuspidal. The main result states that for an irreduible representation \(\rho\), \(H_{\mathrm{LT}}[\rho]-(-1)^{d-1}d \mathrm{JL}(\rho)\) is a linear combination of parabolically induced representations. In particular, it recovers the main result of Strauch: for an irreducible supercuspidal representation \(\pi\) of \(\mathrm{GL}_d(F)\), \(H_{\mathrm{LT}}[\pi]\) is isomorphic to \(\mathrm{LJ}(\pi)^{\oplus d}\). Another novelty of this paper is that it makes use of local harmonic analysis such as transfer of orbital integral. This can be seen as a toy model for the study of Rapoport-Zink space of higher rank groups, such as \(\mathrm{GSp}(4)\), which is advertised as a forthcoming work of the author. The paper is well-organized and clearly written.