Résumé
En nous basant sur les résultats d’Arthur et de Mok, nous étendons aux variétés hyperboliques de volume fini complexes et quaternioniennes les résultats de (Bergeron and Clozel, Invent Math 192(3):505–532, 2013). Dans le cas du spectre sur les fonctions, nous montrons que nos résultats de quantification des valeurs propres sont optimaux. En guise d’application, on démontre enfin une propriété de Lefschetz pour l’application de restriction en cohomologie d’un quotient arithmétique non compact d’une boule vers un quotient d’une boule de dimension plus petite. Nous donnons une démonstration très différente d’un résultat récent de Nair (Journal für die reine und angewandte Mathematik, 2015, Manuscr Math, 2016). [Les résultats de (Nair, Manuscr Math, 2016) sont plus complets.]
Similar content being viewed by others
Notes
Les résultats de Pedon [27] montrent que ceci est déjà très difficile pour le spectre tempéré.
N.B. : dans tous les calculs relatifs aux laplaciens, il s’agit du laplacien positif : celui (normalisé de la façon indiquée) dont les valeurs propres sont positives.
Merci encore au rapporteur de nous avoir signalé cet exemple.
Valable elle aussi seulement lorsque l’une des deux classes est une classe de cohomologie intérieure. Le cas où les deux classes sont des classes “à l’infini” est encore élémentaire, le lecteur intéressé par plus de détails est renvoyé à [24].
Faraut [15] note \(\pi _{\rho + 2r}\) cette représentation, avec \(\rho = 2n+1\) et \(0< \rho + 2r < \rho \); de sorte que \(a=n+r+1\) et \(\lambda _\pi = \rho ^2 - (\rho +2r)^2= (2n+1)^2 - (2a-1)^2\).
Le morphisme \(\eta \) est non trivial si \(a=1\).
L’argument relatif à la surjectivité de la norme était omis dans [9, Lemme 3.4]. Pour ce cas voir Kottwitz-Shelstad [19, §3.2–3.3]. Plus précisément, ceux-ci démontrent la surjectivité si toute classe de conjugaison tordue, fortement régulière, et rationnelle, de \(\mathrm {GL}(N)\) contient un élément réel. Le seul cas utilisé dans [9] et non traité par Waldspurger [32] est celui où \(G=\mathrm {SO}^*(2n)\), \(\widehat{G}= \mathrm {SO}(2n,\mathbf C)\). Mais l’assertion résulte alors de la construction par Waldspurger de la norme pour \(G=\mathrm {SO}^*(2n+1)\), \(\widehat{G}= \mathrm {Sp}(n,\mathbf C)\).
References
Arthur, J.: An introduction to the trace formula. In: Harmonic analysis, the trace formula, and Shimura varieties, Clay Math. Proc., vol. 4, pp. 1–263. Amer. Math. Soc., Providence (2005)
Arthur, J.: The endoscopic classification of representations, American Mathematical Society Colloquium Publications, Orthogonal and symplectic groups, vol. 61. American Mathematical Society, Providence (2013)
Arthur, J., Clozel, L.: Simple algebras, base change, and the advanced theory of the trace formula. In: Annals of Mathematics Studies, vol. 120. Princeton University Press, Princeton (1989)
Baldoni Silva, M.W.: The unitary dual of \({\rm Sp}(n,\,1)\), \(n\ge 2\). Duke Math. J. 48(3), 549–583 (1981)
Bergeron, N.: Lefschetz properties for arithmetic real and complex hyperbolic manifolds. Int. Math. Res. Not. 20, 1089–1122 (2003)
Bergeron, N.: Représentations cohomologiques isolées, applications cohomologiques. J. Inst. Math. Jussieu 7(2), 205–246 (2008)
Bergeron, N.: Propriétés de Lefschetz automorphes pour les groupes unitaires et orthogonaux. Mém. Soc. Math. Fr. (N.S.) 106, vi+125 (2006)
Bergeron, N., Clozel, L.: Spectre automorphe des variétés hyperboliques et applications topologiques. Astérisque (303), xx+218 (2005)
Bergeron, N., Clozel, L.: Quelques conséquences des travaux d’Arthur pour le spectre et la topologie des variétés hyperboliques. Invent. Math. 192(3), 505–532 (2013)
Borel, A., Harder, G.: Existence of discrete cocompact subgroups of reductive groups over local fields. J. Reine Angew. Math. 298, 53–64 (1978)
Burger, M., Li, J.-S., Sarnak, P.: Ramanujan duals and automorphic spectrum. Bull. Am. Math. Soc. (N.S.) 26(2), 253–257 (1992)
Clozel, L., Delorme, P.: Le théorème de Paley-Wiener invariant pour les groupes de Lie réductifs. Invent. Math. 77(3), 427–453 (1984)
Clozel, L.: Changement de base pour les représentations tempérées des groupes réductifs réels. Ann. Sci. École Norm. Sup. (4) 15(1):45–115 (1982)
Deraux, M.: Forgetful maps between Deligne-Mostow ball quotients. Geom. Dedic. 150, 377–389 (2011)
Faraut, J.: Distributions sphériques sur les espaces hyperboliques. J. Math. Pures Appl. (9) 58(4), 369–444 (1979)
Harder, G.: Eisensteinkohomologie für Gruppen vom Typ \({\rm GU}(2,1)\). Math. Ann. 278(1–4), 563–592 (1987)
Harris, M., Li, J.-S.: A Lefschetz property for subvarieties of Shimura varieties. J. Algebraic Geom. 7(1), 77–122 (1998)
Helgason, S.: Differential geometry, Lie groups, and symmetric spaces, Pure and Applied Mathematics, vol. 80. Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York-London (1978)
Kottwitz, R.E., Shelstad, D.: Foundations of twisted endoscopy. Astérisque 255, vi+190 (1999)
Langlands, R.P.: On the classification of irreducible representations of real algebraic groups. In: Representation theory and harmonic analysis on semisimple Lie groups, Math. Surveys Monogr., vol. 31, pp. 101–170. Amer. Math. Soc., Providence (1989)
Moeglin, C., Waldspurger, J.-L.: Stabilisation de la formule des traces tordue X: stabilisation spectrale (2014)
Mok, C.P.: Endoscopic classification of representations of quasi-split unitary groups. Mem. Am. Math. Soc. 235(1108), vi+248 (2015)
Nair, A.: Lefschetz properties for noncompact arithmetic ball quotients. Journal für die reine und angewandte Mathematik (Crelles Journal). ISSN (Online) 1435-5345, ISSN (Print) 0075-4102 (2015). doi:10.1515/crelle-2014-0131
Nair, A.: Lefschetz properties for noncompact arithmetic ball quotients ii. Manuscr. Math. (2016). http://www.math.tifr.res.in/~arvind/
Oda, T.: A note on the Albanese variety of an arithmetic quotient of the complex hyperball. J. Fac. Sci. Univ. Tokyo Sect. IA Math. 28(3), 481–486 (1982) [1981]
Pedon, E.: Analyse harmonique des formes différentielles sur l’espace hyperbolique réel. Thèse de doctorat. Université Henri Poincaré (Nancy 1) (1997)
Pedon, E.: The differential form spectrum of quaternionic hyperbolic spaces. Bull. Sci. Math. 129(3), 227–265 (2005)
Shelstad, D.: Tempered endoscopy for real groups. II. Spectral transfer factors. In: Automorphic forms and the Langlands program, Adv. Lect. Math. (ALM), vol. 9, pp. 236–276. Int. Press, Somerville (2010)
Tits, J.: Reductive groups over local fields. In: Automorphic forms, representations and \(L\)-functions (Proc. Sympos. Pure Math., Oregon State Univ., Corvallis, Ore., 1977), Part 1, Proc. Sympos. Pure Math., vol. XXXIII, pp. 29–69. Amer. Math. Soc., Providence (1979)
Venkataramana, T.N.: Cohomology of compact locally symmetric spaces. Compos. Math. 125(2), 221–253 (2001)
Vogan, D.A., Jr.: Isolated unitary representations. In: Automorphic forms and applications, IAS/Park City Math. Ser., vol. 12, pp. 379–398. Amer. Math. Soc., Providence (2007)
Waldspurger, J.-L.: Le groupe \({ GL}_N\) tordu, sur un corps \(p\)-adique. I. Duke Math. J. 137(2), 185–234 (2007)
Zucker, S.: On the reductive Borel-Serre compactification: \(L^p\)-cohomology of arithmetic groups (for large \(p\)). Am. J. Math. 123(5), 951–984 (2001)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by A. Venkatesh.
Rights and permissions
About this article
Cite this article
Bergeron, N., Clozel, L. Sur le spectre et la topologie des variétés hyperboliques de congruence: les cas complexe et quaternionien. Math. Ann. 368, 1333–1358 (2017). https://doi.org/10.1007/s00208-016-1492-0
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-016-1492-0