Eisensteinreihe

aus Wikipedia, der freien Enzyklopädie
(Weitergeleitet von Eisenstein-Reihe)
Zur Navigation springen Zur Suche springen

Eisensteinreihen (nach dem deutschen Mathematiker Gotthold Eisenstein) sind verschiedene Reihen aus der Theorie der Modulformen bzw. automorphen Formen.

Holomorphe Eisensteinreihen

[Bearbeiten | Quelltext bearbeiten]

Eisensteinreihen auf dem Raum der Gitter

[Bearbeiten | Quelltext bearbeiten]

Seien zwei komplexe Zahlen mit . Das von und erzeugte Gitter ist

.

Die Eisensteinreihe vom Gewicht zum Gitter in ist die unendliche Reihe der Form

.

Diese Reihen sind absolut konvergent für ; für ungerades ist .

Eisensteinreihen auf der oberen Halbebene

[Bearbeiten | Quelltext bearbeiten]

Die Untersuchung der Eisensteinreihen lässt sich oBdA auf Gitter der Form mit beschränken, denn für ein Gitter mit Basis gilt stets:

,

und da die Basis so gewählt werden kann, dass gilt, kann man die Eisensteinreihen jedes Gitters berechnen, sobald man sie für diejenigen mit Basis kennt. Für letztere schreibt man auch abkürzend:

.

Man kann die Eisensteinreihe also als eine Funktion auf der oberen Halbebene auffassen.

Eisenstein-Reihen sind holomorph in der oberen Halbebene und in der Spitze ().

Die Eisensteinreihe ist eine Modulform vom Gewicht zur Gruppe , das heißt für mit gilt

Für sind die Polynome mit rationalen Koeffizienten in und , d. h. , es gilt die Rekursionsformel:

Speziell für ergibt sich hieraus und durch einen Koeffizientenvergleich der Fourierentwicklungen (siehe unten) die bemerkenswerte zahlentheoretische Hurwitz-Identität (nach Adolf Hurwitz):

,

dabei ist die Teilerfunktion

die Summe der -ten Potenzen der Teiler von . Diese Formel lässt sich aber auch elementar (das heißt nicht funktionentheoretisch) beweisen.

Da in der Spitze für alle gilt, dass , folgt aus der Rekursionsformel, dass für alle gilt:

[1]

Fourierentwicklung

[Bearbeiten | Quelltext bearbeiten]

Die Eisensteinreihen lassen sich in eine Fourierreihe entwickeln:

,

dabei ist die Riemannsche Zetafunktion. Eine weitere übliche Darstellung ist die der normierten Eisensteinreihe

Dabei sind die die Bernoulli-Zahlen. Diese Fourierreihe hat ausschließlich rationale Fourierkoeffizienten.

Bezug zu elliptischen Funktionen

[Bearbeiten | Quelltext bearbeiten]

Es sei und . Dann erfüllt die Weierstraßsche ℘-Funktion zum Gitter die Differentialgleichung

Umgekehrt gibt es zu jeder elliptischen Kurve über

ein Gitter mit und . Die elliptische Kurve wird dann parametrisiert durch

mit . Insbesondere ist jede elliptische Kurve über homöomorph zu einem Torus .

Einzelnachweise

[Bearbeiten | Quelltext bearbeiten]
  1. Freitag, Busam, Funktionentheorie 1, 4. Aufl., S. 319