Siegel modular varieties and the Eisenstein cohomology of \(\mathrm{PGL}_{2g+1}\) (Q403150)

The author builds on his work in [Compos. Math. 148, No. 1, 65-120 (2012); Zbl 1282.11055], which develops a topological picture for the trace formula and applies this to get a lifting theorem from \(\mathrm{Sp}_{2g}\) to \(\mathrm{PGL}_{2g+1}\) over the rationals. He now gets a description of the image of this lift on the \(L^2\)-cohomology in terms of Eisenstein cohomology of \(\mathrm{PGL}_{2g+1}\). The ingredients in getting Eisenstein cohomology are cuspidal representations of Levi subgroups of the parabolic groups corresponding to cusps. Representations of \(\mathrm{Sp}_{2g}\) are then studied by looking at the cuspidal support of their lift to \(\mathrm{PGL}_{2g+1}\), where multiplicity one can be used in order to find cohomological packets in the discrete spectrum of \(\mathrm{Sp}_{2g}.\) The main ingredients in the paper are \textit{J. Franke}'s [Ann. Sci. Éc. Norm. Supér. (4) 31, No. 2, 181--279 (1998; Zbl 0938.11026)], information on the discrete spectrum of \(\mathrm{GL}_n\) as developed by \textit{C. Moeglin} and \textit{J. L. Waldspurger} [Ann. Sci. Éc. Norm. Supér. (4) 22, No. 4, 605--674 (1989; Zbl 0696.10023)] as well as a profound and very stunning ability to perform detailed concrete calculations with all the objects involved.