Modulform

aus Wikipedia, der freien Enzyklopädie

Du hast neue Nachrichten auf deiner Diskussionsseite.

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.

[Bearbeiten] 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.

[Bearbeiten] Elliptische Modulformen für $\mbox{SL}_2(\mathbb{Z})$

Es sei

$\mathbb H=\{\tau\in\mathbb C\mid\mathrm{Im}\,\tau>0\}$

die obere Halbebene.

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

die Funktionalgleichung

$f\!\left(\frac{az+b}{cz+d}\right)=(cz+d)^kf(z)$ für alle $z\in\mathbb H$ und $a,b,c,d\in\mathbb Z$ mit

a d - b c = 1

erfüllt und

"holomorph bzw. meromorph im Unendlichen" ist: Das bedeutet, dass die Funktion

$\tilde f(q)=f(z)$ mit

q = e 2πi z

für

0 < | q | < 1

bei

q = 0

holomorph bzw. meromorph auf die Einheitskreisscheibe fortsetzbar ist.

Man beachte, dass aus der ersten Bedingung $f (z + 1) = f (z)$ folgt; deshalb ist $\tilde f(q)$ wohldefiniert.

Im Falle $k = 0$ nennt man f eine Modulfunktion.

Ist die Funktion $f (z)$ holomorph im Unendlichen, so heißt f eine ganze Modulform.

Hat darüber hinaus $f (z)$ eine Nullstelle bei $z=\infty$ , so nennt man f eine Spitzenform.

[Bearbeiten] Eigenschaften

Für ungerades k ist stets $f = {0}$ , die folgenden Aussagen gelten daher für gerades k.

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

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

$\mathbb{S}_k \subset \mathbb{M}_k \subset \mathbb{V}_k.$

Für die Dimension dieser Vektorräume gilt:

$\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}$

$\mathrm{dim} \, \mathbb{S}_k = \mathrm{dim} \, \mathbb{M}_{k-12} \quad \mathrm{ falls } \quad k \geq 12$

[Bearbeiten] Beispiele

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

Von „http://de.wikipedia.org../../../m/o/d/Modulform.html“

Kategorien: Funktionentheorie | Zahlentheorie | Gruppentheorie