Modulform - LinkFang.de





Modulform


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

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(ℤ)

Definition

Es sei

[math]\mathbb H:=\{z\in\mathbb C\mid\mathrm{Im}(z) \gt 0\}[/math]

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

Für eine ganze Zahl [math]k[/math] heißt eine holomorphe bzw. meromorphe Funktion [math]f[/math] auf der oberen Halbebene eine holomorphe bzw. meromorphe elliptische Modulform vom Gewicht [math]k[/math] zur Gruppe [math] \mbox{SL}_2(\mathbb{Z})[/math], wenn sie

[math]f\!\left(\frac{az+b}{cz+d}\right)=(cz+d)^kf(z)[/math] für alle [math]z\in\mathbb H[/math] und [math]a,b,c,d\in\mathbb Z[/math] mit [math]ad-bc=1[/math]
erfüllt und
  • „holomorph bzw. meromorph im Unendlichen“ ist. Das bedeutet, dass die Funktion
[math]\tilde f(q)=f(z)[/math] mit [math]q=\mathrm e^{2\pi\mathrm i \,z}[/math]
holomorph bzw. meromorph an der Stelle [math]q=0[/math] ist. Man beachte, dass aus der ersten Bedingung [math]f(z+1)=f(z)[/math] folgt. Daher ist [math]\tilde f(q)[/math] für [math]0\lt|q|\lt1[/math] wohldefiniert und holomorph bzw. meromorph.

Ist [math]f(z)[/math] meromorph und [math]k=0[/math], so nennt man [math]f[/math] 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

Für ungerades k ist stets [math]f = 0 [/math], die folgenden Aussagen gelten daher für gerades k.

Die Modulformen vom Gewicht k bilden einen [math]\mathbb{C}[/math]-Vektorraum, ebenso die ganzen Modulformen und auch die Spitzenformen.

Bezeichnet man diese Vektorräume mit [math]\mathbb{V}_k, \mathbb{M}_k[/math] und [math]\mathbb{S}_k[/math], so gilt:

[math]\mathbb{S}_k \subset \mathbb{M}_k \subset \mathbb{V}_k.[/math]

Für die Dimension dieser Vektorräume gilt:

[math]\mathrm{dim} \, \mathbb{M}_k = \begin{cases} [\frac{k}{12}], & \mathrm{falls} \; k\equiv 2 \; \mathrm{(mod} \, \mathrm{ 12)} \\ \mathrm{[}\frac{k}{12}]+1 & \mathrm{falls} \; k\not\equiv 2 \; \mathrm{(mod} \, \mathrm{ 12)} \end{cases}[/math]

Da durch die Multiplikation mit der Spitzenform [math]\Delta[/math] (Diskriminante) vom Gewicht 12 ein Isomorphismus von [math]\mathbb{M}_{k-12}[/math] nach [math]\mathbb{S}_k[/math] gegeben ist, gilt

[math]\mathrm{dim} \, \mathbb{S}_k = \mathrm{dim} \, \mathbb{M}_{k-12}, \quad \mathrm{ falls } \quad k \geq 12.[/math]

Beispiele

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

Literatur


Kategorien: Funktionentheorie | Gruppentheorie | Analytische Zahlentheorie

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Modulform (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.