Siegelsche Modulform

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

Siegelsche Modulformen sind Verallgemeinerungen von Modulformen in mehreren komplexen Variablen und Beispiele für Automorphe Formen und Shimura-Varietäten.

Sie sind auf dem Siegelschen Halbraum definiert, dem Raum der komplexen symmetrischen -Matrizen mit positiv definitem Imaginärteil. Siegelsche Modulformen sind holomorphe Funktionen auf dem Siegelschen Halbraum, die eine Automorphiebedingung erfüllen.

Sie stehen in ähnlicher Relation zu Abelschen Varietäten wie elliptische Modulformen zu elliptischen Kurven. Ursprünglich wurden sie von Carl Ludwig Siegel 1935 eingeführt im Rahmen seiner analytischen Theorie quadratischer Formen und finden Anwendungen in der Zahlentheorie.

Es gibt Siegelsche Modulformen, die analog Eisensteinreihen bei Modulformen konstruiert sind, und solche, die Thetafunktionen zu quadratischen Formen sind. Die Theorie wurde in möglichst weitgehender Anlehnung an die der elliptischen Modulformen aufgebaut.

Sei

die Gruppe symplektischer Matrizen mit Werten in den ganzen Zahlen (Siegelsche Modulgruppe). Dabei ist die -Einheitsmatrix. Beispiele sind die Matrizen , und mit einer symmetrischen Matrix bzw. einer Matrix . Diese 3 Matrix-Typen bilden ein Erzeugendensystem der Gruppe.

Die Gruppe operiert auf dem Siegelschen Halbraum über

.

Eine Siegelsche Modulform ist eine im Siegelschen Halbraum holomorphe Funktion mit

.

heißt der Grad (manchmal auch Geschlecht), das Gewicht.

Zusätzlich wird noch verlangt, dass die Modulform im Siegelschen Halbraum beschränkt ist (für folgt das aus dem sogenannten Koecher-Prinzip).

Es gilt:

für alle ganzzahligen symmetrischen -Matrizen
für alle

Das liefert das Transformationsverhalten unter den Erzeugenden der Siegelschen Modulgruppe .

Es lässt sich zeigen, dass Siegelsche Modulformen eine Fourierentwicklung besitzen.

mit symmetrischen () positiv semidefiniten Matrizen T (kurz: ).

In arithmetischen Anwendungen wird statt der symplektischen Gruppe auch eine Kongruenzuntergruppe genommen (mit einer natürlichen Zahl , der Stufe):

Bemerkung: Es gibt auch eine erweiterte Definition, in der die Siegelsche Modulform vektorwertig ist (die oben definierte Siegelsche Modulform heißt dann skalarwertig).

Dazu wird für die Definition des Gewichts eine rationale Darstellung

in einem komplexen Vektorraum herangezogen. Mit der Definition

ist die holomorphe Funktion

eine Siegelsche Modulform vom Grad , falls

für alle .

  • Eberhard Freitag: Siegelsche Modulformen, Springer 1983
  • Eberhard Freitag: Siegelsche Modulfunktionen, Jahresbericht DMV, Band 79, 1977, S. 79–86, pdf
  • Helmut Klingen: Introductory Lectures on Siegel Modular Forms, Cambridge University Press 1990