Une relation entre formes modulaires classiques (notamment les formes propres de poids deux), représentations galoisiennes l-adiques de dimension deux et la cohomologie (ou les jacobiennes) des courbes modulaires, qui relie des objets analytiques complexes et des données arithmétiques.

Principe

Les opérateurs de Hecke agissent sur les espaces de formes modulaires de façon compatible avec l’action de Frobenius en cohomologie étale ; ainsi des classes propres donnent des représentations galoisiennes de dimension deux, et réciproquement des formes propres apparaissent dans la cohomologie des courbes modulaires avec des valeurs propres correspondant aux traces de Frobenius.

Démonstration

Pour une nouvelle forme f de poids 2 et de niveau N avec valeurs propres rationnelles, la correspondance construit une représentation galoisienne l-adique rho_f : Gal(Qbar/Q) -> GL2(Q_l) telle que la trace de rho_f(Frob_p) est la valeur propre de Hecke ap(f) ; géométriquement, la même forme propre contribue un facteur de la jacobienne J0(N) dont la série L coïncide.

Mauvaise application

Considérer la correspondance Eichler–Shimura comme une bijection inconditionnelle dans des situations où les hypothèses manquent — par exemple identifier directement des formes de poids supérieur ou non cuspidales à des représentations galoisiennes 2‑dimensionnelles sans ajustements — conduit à des erreurs.

Conséquence

Elle fournit un pont concret entre données automorphes et données galoisiennes, permettant la construction de représentations galoisiennes à partir de formes modulaires, la comparaison de séries L et des applications aux théorèmes de modularité et de réciprocité.

Inversion

Inversement, on peut poser la question de savoir quand une représentation galoisienne 2‑dimensionnelle provient d’une forme modulaire ; cette réciproque, le problème de modularité, demande des hypothèses globales et locales supplémentaires et n’est pas automatique.

Limite

S’applique le plus directement aux formes modulaires classiques sur Q (en particulier poids 2 et certaines nouvelles formes) et à la cohomologie étale des courbes modulaires ; les généralisations en dimensions supérieures, sur d’autres corps ou aux familles p-adiques exigent des énoncés affinés et des hypothèses supplémentaires.

Tension sémantique

Voisine du programme de Langlands mais pas équivalente : Eichler–Shimura est un cas concret et peu dimensionnel reliant l’action de Hecke et la cohomologie, tandis que Langlands est un cadre conjectural beaucoup plus général.

Synthèse

La correspondance Eichler–Shimura met au grand jour le contenu arithmétique des formes modulaires analytiques en montrant que les classes propres en cohomologie des courbes modulaires codent des représentations galoisiennes de dimension deux, transformant de fait valeurs propres de Hecke en traces de Frobenius.