Modulform

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche
Dieser Artikel oder Abschnitt ist nicht allgemeinverständlich formuliert. Die Mängel sind unter Diskussion:Modulform beschrieben. Wenn du diesen Baustein entfernst, begründe dies bitte auf der Artikeldiskussionsseite und ergänze den automatisch erstellten Projektseitenabschnitt Wikipedia:Unverständliche Artikel#Modulform um {{Erledigt|1=~~~~}}.

Der klassische Begriff einer Modulform ist der Oberbegriff für eine breite Klasse von Funktionen auf der oberen Halbebene (Elliptische Modulformen) und deren höherdimensionalen Verallgemeinerungen (z. B. Siegelsche Modulformen), der in den mathematischen Teilgebieten der Funktionentheorie und Zahlentheorie betrachtet wird. Der moderne Begriff einer Modulform ist dessen umfassende Neuformulierung in Termen der Darstellungstheorie (automorphe Darstellungen) und arithmetischen Geometrie (p-adische Modulformen). Klassische Modulformen sind Spezialfälle der sogenannten automorphen Formen.

Geschichte[Bearbeiten | Quelltext bearbeiten]

Begründer der klassischen (rein analytischen) Theorie der Modulformen des 19. Jahrhunderts sind Richard Dedekind, Felix Klein, Gotthold Eisenstein und Henri Poincaré. Die moderne Theorie der Modulformen entstand in der ersten Hälfte des zwanzigsten Jahrhunderts durch Erich Hecke und Carl Ludwig Siegel. Modulformen in Termen der Darstellungstheorie stammen von Robert Langlands. p-adische Modulformen treten zuerst bei Nicholas Katz und Jean-Pierre Serre auf.

Elliptische Modulformen für SL2(ℤ)[Bearbeiten | Quelltext bearbeiten]

Definition[Bearbeiten | Quelltext bearbeiten]

Es sei

die obere Halbebene, d. h. die Menge aller komplexen Zahlen mit positivem Imaginärteil.

Für eine ganze Zahl heißt eine holomorphe bzw. meromorphe Funktion auf der oberen Halbebene eine holomorphe bzw. meromorphe elliptische Modulform vom Gewicht zur Gruppe , wenn sie

für alle und mit
erfüllt und
  • „holomorph bzw. meromorph im Unendlichen“ ist. Das bedeutet, dass die Funktion
mit
holomorph bzw. meromorph an der Stelle ist. Man beachte, dass aus der ersten Bedingung folgt. Daher ist für wohldefiniert und holomorph bzw. meromorph.

Ist meromorph und , so nennt man eine Modulfunktion. Die einzigen holomorphen Modulfunktionen sind die konstanten Funktionen. Man nennt die holomorphen Modulformen auch ganze Modulform. Verschwindet eine solche ganze Modulform darüber hinaus im Unendlichen, so nennt man sie Spitzenform.

Eigenschaften[Bearbeiten | Quelltext bearbeiten]

Für ungerades k ist stets , die folgenden Aussagen gelten daher für gerades k.

Die Modulformen vom Gewicht k bilden einen -Vektorraum, ebenso die ganzen Modulformen und auch die Spitzenformen.

Bezeichnet man diese Vektorräume mit und , so gilt:

Für die Dimension dieser Vektorräume gilt:

Da durch die Multiplikation mit der Spitzenform (Diskriminante) vom Gewicht 12 ein Isomorphismus von nach gegeben ist, gilt

Beispiele[Bearbeiten | Quelltext bearbeiten]

Die einfachsten Beispiele für ganze Modulformen vom Gewicht k sind die sogenannten Eisensteinreihen , für eine Modulfunktion die j-Funktion oder absolute Invariante und für eine Spitzenform die Diskriminante .

Literatur[Bearbeiten | Quelltext bearbeiten]