Le théorème affirmant que toute courbe elliptique définie sur Q est modulaire : sa fonction L de Hasse–Weil coïncide avec la fonction L d'une forme cuspidale nouvelle de poids deux de niveau égal au conducteur de la courbe, établissant une correspondance entre courbes elliptiques rationnelles et formes modulaires appropriées.

Principe

Les objets arithmétiques (courbes elliptiques sur Q) admettent des avatars analytiques (formes modulaires) dont les coefficients de Fourier et les séries L codent l'arithmétique de la courbe, permettant un transfert d'informations entre géométrie algébrique et théorie analytique.

Démonstration

Pour une courbe elliptique E/Q de conducteur N, il existe une nouvelle forme f de poids 2 pour Γ_0(N) telle que L(E,s)=L(f,s). Par exemple, des paramétrisations modulaires explicites envoient X_0(N) sur E et font coïncider les facteurs d'Euler locaux pour presque tous les premiers.

Mauvaise application

Étendre l'énoncé mot pour mot aux courbes elliptiques sur corps de nombres arbitraires ou aux variétés abéliennes de dimension supérieure sans préciser les hypothèses ; supposer que la modularité permet de calculer facilement les rangs dans tous les cas sans analyser la série L associée.

Conséquence

Fournit la prolongation analytique et l'équation fonctionnelle pour les fonctions L des courbes elliptiques, permet la construction de représentations galoisiennes associées aux courbes et sous-tend de nombreux résultats profonds liant invariants arithmétiques et propriétés analytiques.

Inversion

Si une courbe elliptique n'était pas modulaire, sa fonction L ne découlerait pas d'une forme modulaire et de nombreux outils (paramétrisations modulaires, arguments de relèvement) ne seraient pas disponibles, rompant le lien analytique–arithmétique.

Limite

L'énoncé concerne les courbes elliptiques définies sur Q et les formes modulaires de poids deux pour des sous-groupes de congruence ; les généralisations (modularité potentielle, modularité de Hilbert) nécessitent des hypothèses distinctes et sont hors du théorème central.

Tension sémantique

Tension avec la réciprocité de Langlands au sens large : le théorème de modularité est un cas spécifique de faible dimension des correspondances attendues entre formes automorphes et représentations galoisiennes, et il interagit avec les notions de modularité potentielle et de relèvement.

Synthèse

Le théorème de modularité associe à chaque courbe elliptique rationnelle une forme modulaire concrète dont la série L coïncide avec celle de la courbe ; cette correspondance traduit les questions géométriques et arithmétiques en langage analytique des formes modulaires et réciproquement.