2. Formes modulaires
• Définition
Soit H l'ensemble des nombres complexes z de partie imaginaire strictement positive. On appelle H (qui est donc inclus dans ℂ) le demi-plan de Poincaré. Le groupe SL2(ℤ) des matrices



Les formes modulaires sont certaines fonctions holomorphes sur H vérifiant une équation fonctionnelle liée au choix d'un groupe Γ0(N). Leur définition, donnée ci-dessous en poids 2, est peu éclairante quant à leur formidable richesse.
On appelle forme modulaire de poids 2 et niveau N une fonction analytique (ou holomorphe) f de H dans ℂ vérifiant les deux propriétés suivantes : (7)

Expliquons la propriété (8). En appliquant (7) à

… pour nos abonnés, l'article se prolonge sur 6 pages…



