O funcție modulară este o funcție meromorfă definită pe semiplanul complex superior (adică pe mulțimea ), care este invariantă la transformările grupului modular sau ale unora dintre subgrupurile sale și satisface condițiile holomorfiei în puncte parabolice. Funcțiile modulare și formele modulare care le generalizează sunt utilizate pe scară largă în teoria numerelor , precum și în topologia algebrică și teoria corzilor .
Formal, o funcție modulară este o funcție meromorfă care satisface condiția:
pentru fiecare matrice:
,aparţinând grupului modular .
O formă de greutate modulară pentru un grup este o funcție holomorfă care satisface condiția:
pentru orice șiși holomorf în toate punctele parabolice [1] [2] .
Fie semiplanul complex superior: . Grupul de matrice pentru un număr natural este definit ca:
.Grupul acţionează asupra cu ajutorul transformărilor liniar-fracţionale unde şi . [3]
Formele modulare de greutate impară sunt egale cu zero. Forma modulară a greutății este (la ) seria Eisenstein :
,unde .
Lăsa
— invarianți modulari; — discriminant modular. Prin definirea invariantului modular de bază ( j-invariant ) după cum urmează:
,egalitățile sunt îndeplinite:
, .De asemenea, aceste funcții satisfac proprietățile corespunzătoare ale holomorfiei. Adică - o formă modulară de greutate 4, - o formă modulară de greutate 12. În consecință - o formă modulară de greutate 12 și - o funcție modulară. Aceste funcții au aplicații importante în teoria funcțiilor eliptice și a curbelor eliptice .