Voir la source de Forme modulaire

En [[mathématiques]], une '''forme modulaire''' est une [[fonction analytique]] sur le [[demi-plan de Poincaré]] satisfaisant à une certaine sorte d'[[équation fonctionnelle]] et de condition de croissance. La théorie des formes modulaires est par conséquent dans la lignée de l'[[analyse complexe]] mais l'importance principale de la théorie tient dans ses connexions avec le [[théorème de modularité]] et la [[théorie des nombres]].

== En tant que fonction sur les réseaux ==

Au niveau le plus simple, une forme modulaire peut être pensée comme une fonction ''F'' de l'ensemble des [[Réseau (géométrie)|réseaux]] Λ dans ℂ, vers l'ensemble des [[Nombre complexe|nombres complexes]], qui satisfait les conditions suivantes :

# si nous considérons le réseau Λ = 〈α, ''z''〉 engendré par une constante α et une variable ''z'', alors ''F''(Λ) est une fonction analytique de ''z'' ;
# si α est un nombre complexe différent de zéro et αΛ est le réseau obtenu en multipliant chaque élément de Λ par α, alors ''F''(αΛ) = α''{{exp|–k}}F''(Λ) où ''k'' est une constante (généralement un [[Entier naturel|entier positif]]) appelé le ''poids'' de la forme ;
# la [[valeur absolue]] de ''F''(Λ) reste bornée inférieurement tant que la valeur absolue du plus petit élément différent de zéro dans Λ est loin de 0.

Lorsque ''k'' = 0, la condition 2 dit que ''F'' dépend seulement de la classe de [[similitude (géométrie)|similitude]] du réseau. Ceci est un cas particulier très important, mais les seules formes modulaires de poids 0 sont les constantes. Si nous éliminons la condition 3 et permettons à la fonction d'avoir des pôles, alors les exemples de poids 0 existent : elles sont appelées '' fonctions modulaires''. La situation peut être comparée avec profit à ce qui arrive dans la recherche de fonctions de l'[[espace projectif]] ''P''(''V''). Avec ces paramètres, on souhaiterait idéalement des fonctions ''F'' sur l'espace vectoriel ''V'' qui soient polynomiales en les coordonnées d'un vecteur non nul ''v'' de ''V'' et qui satisfont à l'équation ''F''(''cv'') = ''F''(''v'') pour tout ''c'' différent de zéro. Malheureusement, les seules fonctions de cette sorte sont les constantes. Si nous permettons les fonctions rationnelles à la place des polynômes, nous pouvons laisser ''F'' être le rapport de deux [[Polynôme homogène|polynômes homogènes]] de même degré. Ou nous pouvons garder les polynômes et perdre la dépendance de ''c'', laissant ''F''(''cv'') = ''c{{exp|k}}F''(''v''). Les solutions sont alors les polynômes homogènes de degré ''k''. D'un côté, celle-ci forment un [[espace vectoriel de dimension finie]] pour chaque ''k'', et de l'autre, si nous laissons ''k'' varier, nous pouvons trouver les numérateurs et les dénominateurs pour la construction de toutes les fonctions rationnelles qui sont les fonctions de l'espace projectif ''P''(''V''). On pourrait demander, puisque les polynômes homogènes ne sont pas réellement les fonctions sur ''P''(''V''), que sont-elles, géométriquement parlant ? La [[géométrie algébrique]] répond qu'elles sont des ''sections'' d'une gerbe (on peut dire aussi ''un faisceau de droites'' dans ce cas). La situation avec les formes modulaires est précisément analogue.

== En tant que fonction sur les courbes elliptiques ==

Chaque réseau Λ dans ℂ détermine une [[courbe elliptique]] ℂ/Λ sur ℂ ; deux réseaux déterminent des courbes elliptiques [[Isomorphisme|isomorphes]] si et seulement si l'une est obtenue à partir de l'autre en multipliant par un certain complexe non nul. Les fonctions modulaires peuvent être pensées comme des fonctions sur l'espace des modules des classes isomorphes des courbes elliptiques complexes. Par exemple, le [[j-invariant|''j''-invariant]] d'une courbe elliptique, regardé comme une fonction sur l'ensemble de toutes les courbes elliptiques, est modulaire. Les formes modulaires peuvent aussi être approchées avec profit à partir de cette direction géométrique, comme des sections de faisceaux de droites sur l'espace des modules des courbes elliptiques.

Convertir une forme modulaire ''F'' en une fonction de variable complexe unique est aisé. Soit ''z'' = ''x'' + i''y'', où ''y'' > 0, et soit ''f''(''z'') = ''F''(〈1, ''z''〉). (Nous ne pouvons pas permettre ''y'' = 0 parce qu'alors 1 et ''z'' n'engendreront pas de treillis, ainsi nous réduisons notre attention au cas ''y'' positif). La condition 2 sur ''F'' devient maintenant l'[[équation fonctionnelle]]

:<math>f\left({az+b\over cz+d}\right) = (cz+d)^k f(z)</math>

pour ''a'', ''b'', ''c'', ''d'' [[entier relatif|entiers]] avec ''ad – bc'' = 1 (le [[groupe modulaire]]). Par exemple,

:<math>f(-1/z) = F(\langle 1,-1/z\rangle) = z^k F(\langle z,-1\rangle) = z^k F(\langle 1,z\rangle) = z^k f(z).</math>

Les fonctions qui satisfont l'équation fonctionnelle modulaire pour toutes les matrices dans un sous-groupe d'indice fini de SL{{ind|2}}(ℤ) sont aussi comptés comme modulaires, habituellement avec un qualificatif indiquant le groupe. Ainsi, les formes modulaires de ''niveau N'' satisfont l'équation fonctionnelle pour les matrices congrues à la [[matrice identité]] modulo ''N'' (souvent en fait pour un plus grand groupe donné par des conditions (mod ''N'') sur les entrées de la matrice).

== Définitions générales ==

Soit ''N'' un entier positif. Le groupe modulaire Γ{{ind|0}}(''N'') est défini par

:<math>\Gamma_0 (N) = \left\{\left. 
\begin{pmatrix} a & b \\ c & d \end{pmatrix} \in SL_2(\Z)\right|
c \equiv 0 \pmod{N} \right\}.</math>

Soit ''k'' un entier positif. Une forme modulaire de poids ''k'' et de niveau ''N'' (ou groupe de niveau Γ{{ind|0}}(''N''))
est une [[fonction holomorphe]] ''f'' sur le [[demi-plan de Poincaré]] telle que pour tout

:<math>\begin{pmatrix} a & b \\ c & d \end{pmatrix} \in \Gamma_0(N)</math>

et tout ''z'' dans le demi-plan de Poincaré,
:<math>
f\left(\frac{az+b}{cz+d}\right) = (cz+d)^k f(z)
</math>

et ''f'' est [[holomorphe]] aux {{page h'|cusp|pointes}}.

Soit {{math|χ}} un [[caractère de Dirichlet]] mod ''N''.
Une forme modulaire de poids ''k'', de niveau ''N'' (ou groupe de niveau Γ{{ind|0}}(''N'')) avec caractère {{math|χ}} est une fonction holomorphe ''f'' sur le demi-plan de Poincaré telle que pour tout

:<math>\begin{pmatrix} a & b \\ c & d \end{pmatrix} \in \Gamma_0(N)</math>

et tout ''z'' dans le demi-plan de Poincaré,

:<math>
f\left(\frac{az+b}{cz+d}\right) = \chi(d)(cz+d)^k f(z)
</math>

et ''f'' est holomorphe aux pointes. Certains auteurs utilisent la convention différente

:<math>\chi^{-1}(d) (cz+d)^k f(z)</math>

pour le côté droit de l'équation ci-dessus.

== Exemples ==

Les exemples les plus simples pour ce point de vue sont les [[série d'Eisenstein|séries d'Eisenstein]] : pour chaque entier [[Parité (arithmétique)|pair]] ''k'' > 2, nous définissons ''E{{ind|k}}''(Λ) comme la somme de λ{{exp|–''k''}} sur tous les vecteurs λ différents de zéro de Λ
(la condition ''k'' > 2 est nécessaire pour la convergence et la condition ''k'' pair pour éviter l'annulation de λ{{exp|–''k''}} avec (–λ){{exp|–''k''}} et la production de la forme 0).

Un ''réseau pair unimodulaire L'' dans ℝ{{exp|''n''}} est un réseau engendré par ''n'' vecteurs formant les colonnes d'une matrice de déterminant 1 et satisfaisant la condition que le carré de la longueur de chaque vecteur dans ''L'' est un entier pair. Comme conséquence de la [[formule de sommation de Poisson]], la fonction ''theta''

:<math>\theta_L(z) = \sum_{\lambda\in L}e^{\pi i \Vert\lambda\Vert^2 z} </math>

est une forme modulaire de poids {{sfrac|''n''|2}}. Il n'est pas aussi facile de construire des réseaux unimodulaires pairs, mais il existe une manière : étant donné ''n'' un entier divisible par 8, on considère tous les vecteurs ''v'' de ℝ{{exp|''n''}} tels que 2''v'' possède des coordonnées entières, soit toutes paires, toutes impaires, et tels que la somme des coordonnées de ''v'' soit un entier pair. Nous appelons ce réseau ''L{{ind|n}}''. Lorsque ''n'' = 8, ceci est le réseau engendré par les racines du [[système de racines]] appelé [[E8 (mathématiques)|E{{ind|8}}]].

Puisque les deux termes de l'équation sont des formes modulaires de poids 8, et puisqu'il n'existe qu'une seule forme modulaire de poids 8 à multiplication par un scalaire près, on a
:<math>\theta_{L_8\times L_8}(z) = \theta_{L_{16}}(z),</math>
bien que les réseaux ''L''{{ind|8}} × ''L''{{ind|8}} et ''L''{{ind|16}} ne soient pas similaires. [[John Milnor]] observa que les [[tore]]s de dimension 16 obtenus en divisant ℝ{{16}} par ces deux réseaux sont des exemples de [[variété riemannienne|variétés riemanniennes]] compactes qui sont {{Lien|langue=en|fr=Isospectral|texte=isospectrales}} mais non [[Isométrie|isométriques]].

La [[fonction êta de Dedekind]] est définie par
:<math>\eta(z) = q^{1/24}\prod_{n=1}^\infty (1-q^n),\ q ={\rm e}^{2\pi{\rm i}z}.</math>

Le [[Fonction elliptique de Weierstrass|discriminant modulaire]] <math>\Delta(z)=\eta(z)^{24}</math> est alors une forme modulaire de poids 12. Une [[Conjecture de Ramanujan|conjecture célèbre de Ramanujan]] dit que, pour tout [[nombre premier]] ''p'', le coefficient {{math|τ}}{{ind|''p''}} de ''q{{exp|p}}'' dans le développement de Δ en puissances de ''q'' vérifie
:<math>|\tau_p|\le 2p^{\frac{11}2}.</math>
Ceci fut démontré par [[Pierre Deligne]] dans son travail sur les [[conjectures de Weil]].

Les deuxième et troisième exemples donnent certains indices sur la connexion entre les formes modulaires et les questions classiques de la théorie des nombres, telles que la représentation des entiers par les [[forme quadratique|formes quadratiques]] et la [[fonction partage d'un entier|fonction partage]]. Le lien conceptuel crucial entre les formes modulaires et la théorie des nombres est fourni par la théorie des [[Opérateur de Hecke|opérateurs de Hecke]], qui donne aussi le lien entre la théorie des formes modulaires et celle des [[Représentation de groupe|représentations de groupe]].

== Généralisations ==

Il existe diverses notions de formes modulaires plus générales que celle développée ci-dessus. L'hypothèse d'analyticité (complexe) peut être enlevée ; les ''formes de Maass'' sont des ''fonctions propres'' du [[laplacien]] mais ne sont pas holomorphes. Les groupes qui ne sont pas des sous-groupes de SL{{ind|2}}(ℤ) peuvent être examinés. Les ''[[Forme modulaire de Hilbert|formes modulaires de Hilbert]]'' sont des fonctions à ''n'' variables, chacune étant un nombre complexe du demi-plan de Poincaré, satisfaisant à une relation modulaire pour les matrices 2 × 2 à coefficients dans un [[corps de nombres totalement réel]]. Les ''{{Lien|langue=en|trad=Siegel modular form|fr=forme modulaire de Siegel|texte=formes modulaires de Siegel}}'' sont associées aux [[groupe symplectique|groupes symplectiques]] plus grands de la même manière que les formes que nous avons exposées sont associées à SL{{ind|2}}(ℝ) ; en d'autres termes, elles sont reliées aux [[variété abélienne|variétés abéliennes]] dans le même sens que nos formes (qui sont quelquefois appelées ''formes modulaires elliptiques'' pour accentuer le point) sont reliées aux courbes elliptiques. Les [[forme automorphe|formes automorphes]] étendent la notion des formes modulaires aux [[groupe de Lie|groupes de Lie]].

== Articles connexes ==

* [[Série d'Eisenstein]]
* [[Forme automorphe]]
* [[Conjecture de modularité de Serre]]
* [[Crochet de Rankin-Cohen]]

== Références ==
{{Traduction/Référence|en|Modular form|10451270}}
* Livres
** Pour une introduction élémentaire à la théorie des formes modulaires, voir le chapitre VII de {{Serre1}}
** On trouvera une autre approche élémentaire (sous forme d'exercices) dans le livre de [[Pierre Colmez]], ''Éléments d'analyse et d'algèbre (et de théorie des nombres)'', Éditions de l'École polytechnique, 2012 ({{2e}} éd), pages 423 à 428.
** Pour un traitement plus avancé, voir {{en}} [[Goro Shimura]], ''Introduction to the arithmetic theory of automorphic functions'', [[Princeton University Press|PUP]], 1971
** Pour une introduction aux formes modulaires à partir du point de vue de la théorie des représentations, on peut consulter {{en}} [[Stephen Gelbart]], ''Automorphic forms on adele groups'', Annals of Mathematics Studies 83, PUP, 1975
* Cours en ligne
** {{en}} Notes de [[William A. Stein|Stein]] d'un cours de [[Kenneth Alan Ribet|Ribet]], [http://modular.math.washington.edu/MF.html Modular Forms and Hecke Operators]
** {{en}} Notes de cours de [[James Milne|J. S. Milne]], [http://www.jmilne.org/math/CourseNotes/mf.html Modular functions and modular forms]

{{Portail|théorie des nombres|analyse}}

[[Catégorie:Théorie analytique des nombres]]
[[Catégorie:Géométrie arithmétique]]
[[Catégorie:Analyse complexe]]