Modulform


aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

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

Es sei

<math>\mathbb H=\{z\in\mathbb C\mid\mathrm{Im}\,z>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> für <math>0<|q|<1</math>
holomorph bzw. meromorph auf die Einheitskreisscheibe, insbesondere auf <math>q=0</math>, fortsetzbar ist.

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

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.

Ist die Funktion <math>f(z)</math> holomorph auf der oberen Halbebene und im Unendlichen, so heißt <math>f</math> eine ganze Modulform.

Hat darüber hinaus <math>f(z)</math> eine Nullstelle bei <math>z=\mathrm i\infty</math>, so nennt man <math>f</math> eine 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