×

Residual automorphic forms and spherical unitary representations of exceptional groups. (English) Zbl 1269.22009

Arthur’s description of the discrete automorphic spectrum of an adèlic classical group via endoscopy, obtained using the trace formula, is now almost complete [J. Arthur, The endoscopic classification of representations: orthogonal and symplectic groups. Providence, RI: American Mathematical Society, to appear (2013); C. P. Mok, “Endoscopic classification of representations of quasi-split unitary groups”, arXiv:1206.0882, Mem. Am. Math. Soc., to appear], although it is still conjectural subject to the stabilization of the twisted trace formula for the general linear group. As a part of his conjectures, J. Arthur [Astérisque 171–172, 13–71 (1989; Zbl 0728.22014)] has suggested that unramified constituents of local principal series representations at a certain point of reducibility are unitary. This conjecture also makes sense for exceptional groups. The idea behind this claim is a simple observation that a local component of a discrete spectrum automorphic representation must be unitary, as it appears discretely in the \(L^2\)-spectrum. This observation was first used by B. Speh [Math. Ann. 258, 113–133 (1981; Zbl 0483.22005)] to prove the unitarizability of certain representations of general linear groups over the reals, and later by M. Tadić in the appendix of [Ann. Sci. Éc. Norm. Supér. (4) 19, No. 3, 335–382 (1986; Zbl 0614.22005)] for general linear groups over \(p\)-adic fields.
There is another way to construct automorphic representations. It uses the Langlands spectral theory [R. P. Langlands, On the functional equations satisfied by Eisenstein series. Berlin-Heidelberg-New York: Springer-Verlag (1976; Zbl 0332.10018)], which implies that certain residues of Eisenstein series span automorphic representations in the residual spectrum. Hence, Arthur’s conjecture on the unitarizability of unramified constituents of principal series representation can be proved by constructing an Eisenstein series, which is everywhere unramified, and shows that it has a pole with a square-integrable residue at the point suggested by Arthur. This method has been already applied for the general linear groups [H. Jacquet, Lect. Notes Math. 1041, 185–208 (1984; Zbl 0539.22016); C. Moeglin and J.-L. Waldspurger, Ann. Sci. Éc. Norm. Supér. (4) 22, No. 4, 605–674 (1989; Zbl 0696.10023)], other classical groups [C. Moeglin, Forum Math. 6, No. 6, 651–744 (1994; Zbl 0816.11034)], and the exceptional Chevalley group \(G_2\) [H. H. Kim, Can. J. Math. 48, No. 6, 1245–1272 (1996; Zbl 0879.11024); S. Žampera, J. Math. Pures Appl., IX. Sér. 76, No. 9, 805–835 (1997; Zbl 0886.11030)]. The paper under review applies the same method to the remaining cases, that is, the Chevalley groups of type \(E_6\), \(E_7\), \(E_8\), and \(F_4\), and thus proves that the unramified constituents in question are indeed unitarizable.
The crucial obstacle in the study of the analytic properties of the everywhere unramified Eisenstein series on these exceptional groups is the complicated combinatorics and possible cancellations in the expression for the constant term of the Eisenstein series as a sum over the Weyl group (which is large) of certain ratios of the Dedekind zeta functions of the underlying number field. The author overcomes this difficulty by replacing the point suggested by Arthur with another point of a special form in the same Weyl group orbit. This does not change the unramified constituent, and the form of this new point of evaluation for the Eisenstein series simplifies the computation considerably. Essentially it reduces the computation to the case of the Eisenstein series associated to the trivial representation of a maximal proper parabolic subgroup.
Even after this reduction, the explicit calculation has to be done by a computer. The author used exact symbolic calculation in Mathematica 8, and the programs are available for download as an on-line supplement to the paper. The computer calculations required further rewriting of the problem using some software tricks.

MSC:

22E55 Representations of Lie and linear algebraic groups over global fields and adèle rings
22E50 Representations of Lie and linear algebraic groups over local fields
11F70 Representation-theoretic methods; automorphic representations over local and global fields

References:

[1] J. Adams, M. van Leeuwen, P. Trapa, and D. A. Vogan Jr., Unitary representations of real reductive groups, 2012.
[2] J. Arthur, ”Unipotent automorphic representations: conjectures,” in Orbites unipotentes et représentations, II, , 1989, vol. 171-172, pp. 13-71. · Zbl 0728.22014
[3] Atlas, Atlas of Lie Groups and Representations software.
[4] D. Barbasch and A. Moy, ”A unitarity criterion for \(p\)-adic groups,” Invent. Math., vol. 98, iss. 1, pp. 19-37, 1989. · Zbl 0676.22012 · doi:10.1007/BF01388842
[5] D. Bump, Automorphic Forms and Representations, Cambridge: Cambridge Univ. Press, 1997, vol. 55. · Zbl 0911.11022 · doi:10.1017/CBO9780511609572
[6] D. H. Collingwood and W. M. McGovern, Nilpotent Orbits in Semisimple Lie Algebras, New York: Van Nostrand Reinhold Co., 1993. · Zbl 0972.17008
[7] D. Ginzburg, S. Rallis, and D. Soudry, ”On the automorphic theta representation for simply laced groups,” Israel J. Math., vol. 100, pp. 61-116, 1997. · Zbl 0881.11050 · doi:10.1007/BF02773635
[8] M. B. Green, S. D. Miller, J. G. Russo, and P. Vanhove, ”Eisenstein series for higher-rank groups and string theory amplitudes,” Commun. Number Theory Phys., vol. 4, iss. 3, pp. 551-596, 2010. · Zbl 1218.83034 · doi:10.4310/CNTP.2010.v4.n3.a2
[9] M. B. Green, S. D. Miller, and P. Vanhove, Small representations, string instantons, and Fourier modes of Eisenstein series. · Zbl 1366.11098
[10] H. Jacquet, ”On the residual spectrum of \({ GL}(n)\),” in Lie Group Representations, II, New York: Springer-Verlag, 1984, vol. 1041, pp. 185-208. · Zbl 0539.22016 · doi:10.1007/BFb0073148
[11] H. H. Kim, ”The residual spectrum of \(G_2\),” Canad. J. Math., vol. 48, iss. 6, pp. 1245-1272, 1996. · Zbl 0879.11024 · doi:10.4153/CJM-1996-066-3
[12] R. P. Langlands, On the Functional Equations Satisfied by Eisenstein Series, New York: Springer-Verlag, 1976, vol. 544. · Zbl 0332.10018 · doi:10.1007/BFb0079929
[13] C. Moeglin, ”Représentations unipotentes et formes automorphes de carré intégrable,” Forum Math., vol. 6, iss. 6, pp. 651-744, 1994. · Zbl 0816.11034 · doi:10.1515/form.1994.6.651
[14] C. Moeglin and J. -L. Waldspurger, ”Le spectre résiduel de \({ GL}(n)\),” Ann. Sci. École Norm. Sup., vol. 22, iss. 4, pp. 605-674, 1989. · Zbl 0696.10023
[15] C. Moeglin and J. -L. Waldspurger, Spectral Decomposition and Eisenstein Series, Cambridge: Cambridge Univ. Press, 1995. · Zbl 0846.11032 · doi:10.1017/CBO9780511470905
[16] F. Shahidi, Eisenstein Series and Automorphic \(L\)-Functions, Providence, RI: Amer. Math. Soc., 2010. · Zbl 1215.11054
[17] B. Speh, ”The unitary dual of \({ Gl}(3,\,{\mathbf R})\) and \({ Gl}(4,\,{\mathbf R})\),” Math. Ann., vol. 258, iss. 2, pp. 113-133, 1981/82. · Zbl 0483.22005 · doi:10.1007/BF01450529
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.