J-Funktion
aus Wikipedia, der freien Enzyklopädie
Der korrekte Titel dieses Artikels lautet „j-Funktion“. Diese Schreibweise ist aufgrund technischer Einschränkungen nicht möglich. |
Die j-Funktion oder absolute Invariante spielt eine wichtige Rolle in der Theorie der elliptischen Funktionen und Modulformen.
[Bearbeiten] Definition
Für ist
- ,
dabei sind die Diskriminante,
g2(τ) = 60G4(τ) und g3(τ) = 140G6(τ) Eisensteinreihen zum Gitter .
[Bearbeiten] Eigenschaften
Die j-Funktion ist holomorph auf , die Bezeichnung absolute Invariante erklärt sich aus dem Transformationsverhalten unter den Substitutionen der Modulgruppe , es gilt nämlich:
- , d.h. j ist eine Modulfunktion.
Die j-Funktion bildet surjektiv auf ab. Für Punkte gilt j(z) = j(w) dann und nur dann wenn es eine komplexe Zahl gibt, die das Gitter auf das Gitter überführt, also genau dann wenn die Quotienten und als elliptische Kurven isomorph sind.
[Bearbeiten] Fourierentwicklung
Die j-Funktion lässt sich in eine Fourierreihe entwickeln:
mit q = e2πiτ.
Die Fourierkoeffizienten cn sind alle positive ganze Zahlen (Folge A000521 in OEIS). Für ihr Wachstum gilt die asymptotische Formel
- ,
die 1932 von Petersson und unabhängig davon 1938 von Rademacher bewiesen wurde.
Die Fourierkoeffizienten entsprechen den Dimensionen der irreduziblen Darstellungen der Monstergruppe ("monstrous moonshine", McKay, John Conway, Norton)