TypeAdditive Multiplicative Elliptic 1-forms dz z n∈Z dz z+n λ∈Z+τ Z dz z+λwhere the above series have to be suitably regularised to make sense. These cocycles therefore reveal hidden relations between products of elementary functions as above, relations that are prescribed by the group homology of linear groups.5.1. Compactification de Satake 5.2. Compactification de Tits 5.3. Ensembles de Siegel généralisés 5.4. Comportement à l'infini de η 5.5. Symboles modulaires 5.6. Évaluation de η sur les symboles modulaires Chapitre 6. Cocycles de GL n (C) explicites 6.1. Forme simpliciale associée à η 6.2. Cocycle associé 6.3. Section simpliciale et homotopie 6.4. Calcul du cocycle 6.5. Démonstration du théorème 2.2 Chapitre 7. Séries d'Eisenstein associées à ψ 7.1. Quotients adéliques 7.2. Fonctions de Schwartz et cycles associés 7.3. Série theta adélique 7.4. Séries d'Eisenstein adéliques 7.5. Comportement à l'infini de E ψ (ϕ f ) 7.6. Évaluation de E ψ (ϕ f ) sur les symboles modulaires Chapitre 8. Cocycle multiplicatif du groupe rationnel GL n (Q) + 8.1. Forme simpliciale associée à E ψ 8.2. Les cocycles S mult,χ 0 , démonstration du théorème 2.3 8.3. Le cocycle S * mult Chapitre 9. Cocycle elliptique du groupe rationnel GL n (Q) + 9.1. Quotients adéliques 9.2. Fonctions de Schwartz et cycles 9.3. Séries theta et séries d'Eisenstein adéliques ; démonstration du théorème 2.8 9.4. Évaluation sur les symboles modulaires et démonstration du théorème 2.10 Annexe A. Cohomologie équivariante et complexe de de Rham simplicial A.1. Définition de la cohomologie équivariante A.2. La construction de Borel A.3. Formes différentielles simpliciales Annexe B. Classe d'Eisenstein affine et théorie de l'obstruction Bibliographie 14 INTRODUCTION : FONCTIONS TRIGONOMÉTRIQUES ET SYMBOLES MODULAIRESCette construction s'étend là encore à l'action de GL n (Z) sur le produit de n courbes elliptiques universelles ; voir chapitre 2. Les cocycles ainsi obtenus révèlent des relations cachées entre des produits de fonctions elliptiques classiques, relations gouvernées par l'homologie de sous-groupes de congruence dans GL n (Z). On peut tirer de cela un certain nombres de conséquences arithmétiques [6, 7] ; d'autres conséquences sont en préparation.
RemerciementsCe texte est l'aboutissement d'une réflexion entamée il y a quelques années avec Akshay Venkatesh. Plusieurs idées sont issues de discussions avec lui (ainsi que l'impulsion d'écrire en français), un grand merci à lui pour sa générosité.De toute évidence, ce travail doit beaucoup aux idées initiées et développées par Robert Sczech. Nous profitons de cette occasion pour lui exprimer notre gratitude.P.C. remercie Samit Dasgupta pour lui avoir posé une question étincelle il y a 10 ans.L.G. remercie l'IHES et le soutien de l'ERC de Michael Harris durant les premiers temps de ce projet.N.B. tient à remercier Olivier Benoist pour de nombreuses discussions autour du chapitre 3.Merci à Emma Bergeron pour les dessins. Enfin, c'est un plaisir de remercier Henri Darmon, Clément Dupont, Javier Fresan,...