AnalyseNotion · Glossaire
forme modulaire
Une forme modulaire de poids entier k pour un sous-groupe de congruence Γ de SL₂(ℤ) est une fonction holomorphe sur le demi-plan de Poincaré qui, sous toute transformation z ↦ (az + b)/(cz + d) de Γ, est multipliée par (cz + d)^k. Elle doit aussi être holomorphe aux pointes, ce qui impose l’absence de puissances négatives dans ses développements de Fourier locaux. Ces fortes symétries analytiques permettent d’obtenir des informations arithmétiques.
Sommaire
Ce que vous allez apprendre
- Situer le demi-plan de Poincaré et la loi de transformation.
- Lire le rôle du poids sur l’exemple exact de la série d’Eisenstein E₄.
- Distinguer forme modulaire, fonction modulaire, série de Fourier et forme quasi-modulaire.
- Repérer les contrôles nécessaires aux pointes et les effets du groupe choisi.
En clair
Imaginez un point qui se déplace dans la moitié supérieure du plan complexe. Certaines transformations le déplacent sans changer l’information mathématique observée. Une forme modulaire est une fonction qui réagit à ces déplacements selon une règle précise, déterminée par son poids.
Elle reste sans singularité dans ce demi-plan et conserve un comportement régulier près de ses bords idéalisés, appelés pointes. Sa série de Fourier permet alors de lire ce comportement comme une suite de coefficients.
Définition
Le demi-plan de Poincaré, noté H, est l’ensemble des nombres complexes dont la partie imaginaire est strictement positive. Une forme modulaire de poids entier k pour un sous-groupe de congruence Γ de SL₂(ℤ) est une fonction f holomorphe sur H. Les matrices de Γ ont des coefficients entiers a, b, c et d, ainsi qu’un déterminant ad − bc égal à 1. Elles agissent sur un point z de H par une transformation fractionnaire.
La loi de transformation exige, pour chaque matrice de Γ :
Le facteur (cz + d)k enregistre le poids. Le groupe choisi fixe le niveau et les symétries imposées ; le poids et le niveau font donc partie de l’identité de la forme.
La fonction doit aussi être holomorphe aux pointes du quotient associé à Γ. À la pointe située à l’infini, si h désigne sa largeur, on introduit la variable . La forme possède alors un développement convergent en puissances entières non négatives de qh. Pour chaque poids et chaque niveau fixés, ces formes constituent un espace vectoriel de dimension finie.
Un exemple, pas à pas
Prenons la série d’Eisenstein E4, une forme modulaire de poids 4 pour SL₂(ℤ). Les données sont le poids k = 4, le point z = 2i et l’inversion S qui envoie z sur −1/z. Pour sa série de Fourier, on pose et l’on utilise la somme σ3(n) des cubes des diviseurs positifs de n.
1. L’inversion envoie 2i sur i/2, car −1/(2i) = i/2.
2. La loi de poids 4 donne E4(−1/z) = z4E4(z).
3. Comme (2i)4 = 16, on obtient E4(i/2) = 16E4(2i).
4. Les premières sommes valent σ3(1) = 1, σ3(2) = 9 et σ3(3) = 28.
2. La loi de poids 4 donne E4(−1/z) = z4E4(z).
3. Comme (2i)4 = 16, on obtient E4(i/2) = 16E4(2i).
4. Les premières sommes valent σ3(1) = 1, σ3(2) = 9 et σ3(3) = 28.
Le développement commence donc par :
Les coefficients se contrôlent directement : 240 × 9 = 2160 et 240 × 28 = 6720.
La relation entre 2i et i/2 rend visible le rôle du poids : l’inversion ne conserve pas la valeur, elle la multiplie ici exactement par 16.
En pratique
Pour tester une fonction candidate, on fixe d’abord le groupe et le poids. On contrôle ensuite sa loi de transformation, son holomorphie dans H et son développement à chaque pointe. Une simple fonction holomorphe convient à la place si aucune symétrie modulaire n’est recherchée.
Pour calculer près d’une pointe, la série de Fourier remplace l’évaluation directe par l’étude de ses coefficients. Cette représentation est particulièrement adaptée lorsque la variable q a un petit module ; sinon, une transformation du groupe peut ramener le point dans une région plus favorable.
En théorie des nombres, les formes modulaires servent de passerelle vers les courbes elliptiques et les fonctions L. La structure pertinente se choisit grâce aux invariants à relier, plutôt que par la seule ressemblance d’une équation.
Dans le cadre du dernier théorème de Fermat, leur rôle vient précisément de cette passerelle avec les courbes elliptiques. Une preuve élémentaire est à privilégier lorsqu’elle suffit ; l’outil modulaire intervient quand cette correspondance structurelle est indispensable.
À ne pas confondre
Fonction modulaire. Pour un groupe donné, une fonction modulaire est de poids 0 et peut être méromorphe, donc avoir des pôles. Une forme modulaire est holomorphe sur H et aux pointes. Un pôle est compatible avec une fonction modulaire, mais incompatible avec une forme modulaire.
Série de Fourier. Une série de Fourier est ici une représentation locale à une pointe, pas la notion complète. Une série en q ne devient une forme modulaire que si la fonction obtenue satisfait aussi la loi de transformation et les conditions d’holomorphie.
Forme quasi-modulaire. Sa transformation comporte un terme correctif supplémentaire. La série d’Eisenstein E2 fournit le cas classique : l’échec de la loi homogène de poids 2 empêche de la classer comme forme modulaire pour SL₂(ℤ).
Limites et pièges
Holomorphe dans H ne suffit pas. Une fonction peut être régulière dans le demi-plan mais présenter un pôle à une pointe. Il faut examiner le développement local à chacune des pointes du groupe, et vérifier l’absence de puissances négatives.
La variable q dépend de la largeur de la pointe. La formule convient à l’infini lorsque la largeur vaut 1. Pour une largeur h différente, il faut employer , après avoir choisi une coordonnée adaptée à la pointe.
Le groupe ne peut pas être omis. Une même fonction peut respecter la loi pour un sous-groupe et échouer pour un groupe plus grand. Le symptôme est une matrice supplémentaire qui invalide l’équation ; il faut alors annoncer explicitement le groupe et le niveau.
Le poids impair peut forcer la nullité. Si le groupe contient la matrice −I et qu’aucun caractère ne modifie la loi, celle-ci impose f(z) = (−1)kf(z). Pour k impair, seule la fonction nulle subsiste ; il faut changer de groupe, ajouter un caractère admissible ou accepter ce cas trivial.
Pour aller plus loin
Série de Fourier — pour approfondir la représentation en coefficients utilisée au voisinage des pointes.
Courbe elliptique — pour suivre l’un des liens majeurs entre formes modulaires et équations algébriques.
Théorème de Fermat — pour replacer les formes modulaires dans l’histoire de sa démonstration.
Explorez les mathématiques autrement
Retrouvez nos magazines, podcasts et jeux pour explorer les mathématiques autrement.
Découvrir les offres