Modulární funkce je meromorfní funkce definovaná na horní komplexní polorovině (tedy na množině ), která je invariantní při transformacích modulární grupy nebo některé její podgrupy a splňuje podmínky holomorfie v parabolických bodech. Modulární funkce a modulární formy , které je zobecňují, jsou široce používány v teorii čísel , stejně jako v algebraické topologii a teorii strun .
Formálně je modulární funkce meromorfní funkce, která splňuje podmínku:
pro každou matrici:
,patřící do modulární skupiny .
Modulární váhová forma pro skupinu je holomorfní funkce , která splňuje podmínku:
pro jakékoli aa holomorfní ve všech parabolických bodech [1] [2] .
Dovolit být horní komplexní polorovina: . Maticová skupina pro přirozené číslo je definována jako:
.Skupina působí pomocí lineárně-zlomkových transformací kde a . [3]
Modulární formy liché hmotnosti se rovnají nule. Modulární forma závaží je (at ) série Eisenstein :
,kde .
Nechat
— modulární invarianty, — modulární diskriminant. Definováním základního modulárního invariantu ( j-invariant ) takto:
,rovnost je splněna:
, .Také tyto funkce splňují odpovídající vlastnosti holomorfie. To je - modulární forma závaží 4, - modulární forma závaží 12. V souladu s tím - modulární forma závaží 12 a - modulární funkce. Tyto funkce mají důležité aplikace v teorii eliptických funkcí a eliptických křivek .