Kurs:Funktionentheorie (Osnabrück 2023-2024)/Vorlesung 28

Eisensteinreihen

Definition

Es sei ${}\Gamma \subseteq {\mathbb {C} }$ ein Gitter und ${}k\in \mathbb {N} _{\geq 3}$. Dann heißt

${}G_{k}(\Gamma ):=\sum _{z\in \Gamma '}{\frac {1}{z^{k}}}\,$

die Eisensteinreihe zum Gitter ${}\Gamma$ und zum Gewicht ${}k$.

Lemma

Es sei ${}\Gamma \subseteq {\mathbb {C} }$ ein Gitter und ${}k\in \mathbb {N} _{\geq 3}$. Dann erfüllen die Eisensteinreihen folgende Eigenschaften.

1. Die Eisensteinreihen ${}G_{k}(\Gamma )$ sind für ${}k\geq 3$ absolut konvergent.
2. Bei ${}\Gamma =\langle u,v\rangle$ ist

   ${}G_{k}(\Gamma )=\sum _{n,m\in \mathbb {Z} ,(n,m)\neq (0,0)}{\frac {1}{{\left(nu+mv\right)}^{k}}}\,.$

3. Für ungerades ${}k\geq 3$ ist

   ${}G_{k}(\Gamma )=0\,.$

4. Für ${}s\in {\mathbb {C} }^{\times }$ ist

   ${}G_{k}(s\Gamma )=s^{-k}G_{k}(\Gamma )\,.$

Beweis

1. Dies ist ein Spezialfall von Lemma 27.7.
2. Das ist klar.
3. Es sei ${}k$ ungerade. Auf ${}\Gamma '$ ist durch die Punktsymmetrie eine Äquivalenzrelation gegeben, bei der jedes ${}z$ mit sich und mit ${}-z$ äquivalent ist. Wir summieren gemäß diesen Äquivalenzklassen und erhalten

   ${}{\begin{aligned}G_{k}(\Gamma )&=\sum _{z\in \Gamma '}{\frac {1}{z^{k}}}\\&=\sum _{[z]\in \Gamma '/\pm }{\left({\frac {1}{z^{k}}}+{\frac {1}{(-z)^{k}}}\right)}\\&=\sum _{[z]\in \Gamma '/\pm }{\left({\frac {1}{z^{k}}}-{\frac {1}{z^{k}}}\right)}\\&=0.\end{aligned}}$

4. Es ist

   ${}{\begin{aligned}G_{k}(s\Gamma )&=\sum _{w\in (s\Gamma )'}{\frac {1}{w^{k}}}\\&=\sum _{z\in \Gamma '}{\frac {1}{(sz)^{k}}}\\&={\frac {1}{s^{k}}}\sum _{z\in \Gamma '}{\frac {1}{z^{k}}}\\&={\frac {1}{s^{k}}}G_{k}(\Gamma ).\end{aligned}}$

$\Box$

Die Eisensteinreihen sind Invarianten, die den Gittern zugeordnet sind. Allerdings haben streckungsäquivalente Gitter nicht die gleichen Werte für die Eisensteinreihen, sondern es liegt das in Lemma 28.2  (4) beschriebene Transformationsverhalten vor. Für ein Gitter mit einer Basis der Form ${}1,\tau$ mit ${}\tau \in {\mathbb {H} }$ ist

${}G_{k}(\Gamma )=\sum _{(m,n)\neq (0,0)}{\frac {1}{(m+n\tau )^{k}}}\,,$

insofern kann man eine Eisensteinreihe auch als abhängig vom Parameter ${}\tau$ und damit als Funktion auf ${}{\mathbb {H} }$ auffassen.

Die ${}j$-Invariante

Es sei ${}\Gamma \subseteq {\mathbb {C} }$ ein Gitter. Ausgehend von den Eisensteinreihen legt man weitere Invarianten zu ${}\Gamma$ fest. Die Wahl der Normierungen durch relativ große Zahlen scheint zunächst willkürlich, wird aber einsichtig(er), wenn man die algebraische Gleichung für den zugehörigen komplexen Torus ${}{\mathbb {C} }/\Gamma$ (siehe Satz 12.14 (Elliptische Kurven (Osnabrück 2021-2022))) berücksichtigt.

Definition

Es sei ${}\Gamma \subseteq {\mathbb {C} }$ ein Gitter. Wir setzen

${}g_{2}=g_{2}(\Gamma )=60G_{4}(\Gamma )\,$

und

${}g_{3}=g_{3}(\Gamma )=140G_{6}(\Gamma )\,,$

wobei ${}G_{4}$ und ${}G_{6}$ die Werte der Eisensteinreihen sind.

Definition

Es sei ${}\Gamma \subseteq {\mathbb {C} }$ ein Gitter. Wir setzen

${}\Delta (\Gamma ):=g_{2}^{3}(\Gamma )-27g_{3}^{2}(\Gamma )\,$

und nennen dies die Diskriminante des Gitters ${}\Gamma$.

Definition

Es sei ${}\Gamma \subseteq {\mathbb {C} }$ ein Gitter. Man nennt

${}j(\Gamma ):={\frac {{\left(12g_{2}(\Gamma )\right)}^{3}}{\Delta (\Gamma )}}\,$

die absolute Invariante oder die ${}j$-Invariante des Gitters ${}\Gamma$.

Statt von der absoluten Invarianten spricht man auch von der ${}j$-Invarianten oder der universellen Invarianten.

Bemerkung  

Für ein Gitter der Form ${}\Gamma =\mathbb {Z} \tau \oplus \mathbb {Z} \subseteq {\mathbb {C} }$ setzt man ${}g_{2}(\tau )=g_{2}(\Gamma )$, ${}g_{3}(\tau )=g_{3}(\Gamma )$, ${}\Delta (\tau )=\Delta (\Gamma )$ und ${}j(\tau )=j(\Gamma )$.

Lemma

Für ein Gitter ${}\Gamma \subseteq {\mathbb {C} }$ und ${}s\in {\mathbb {C} }^{\times }$ gelten die folgenden Regeln.

1. Es ist

   ${}g_{2}(s\Gamma )=s^{-4}g_{2}(\Gamma )\,.$

2. Es ist

   ${}g_{3}(s\Gamma )=s^{-6}g_{3}(\Gamma )\,.$

3. Es ist

   ${}\Delta (s\Gamma )=s^{-12}\Delta (\Gamma )\,.$

4. Es ist

   ${}j(s\Gamma )=j(\Gamma )\,.$

Beweis

Die ersten beiden Aussagen folgen direkt aus Lemma 28.2  (4). Daraus ergeben sich auch die beiden anderen Aussagen.

$\Box$

Die Eigenschaft Lemma 28.7  (4) besagt, dass die ${}j$-Invariante von streckungsäquivalenten Gittern gleich ist.

Beispiel

Wir betrachten das Gitter ${}\Gamma =\mathbb {Z} +\mathbb {Z} {\mathrm {i} }$, für das die Multiplikation mit ${}{\mathrm {i} }$ das Gitter bijektiv in sich selbst überführt. Wir wenden Lemma 28.7  (2) auf ${}s={\mathrm {i} }$ an und erhalten

${}g_{3}(\Gamma )=g_{3}({\mathrm {i} }\Gamma )={\mathrm {i} }^{-6}g_{3}(\Gamma )\,.$

Daraus folgt ${}g_{3}(\Gamma )=0$.

Beispiel

Wir betrachten das Gitter ${}\Gamma =\mathbb {Z} +\mathbb {Z} {\frac {-1+{\sqrt {3}}{\mathrm {i} }}{2}}$, für das die Multiplikation mit ${}{\frac {-1+{\sqrt {3}}{\mathrm {i} }}{2}}$ das Gitter bijektiv in sich selbst überführt. Wir wenden Lemma 28.7  (1) auf ${}s={\frac {-1+{\sqrt {3}}{\mathrm {i} }}{2}}$ an und erhalten

${}g_{2}(\Gamma )=g_{2}{\left(\left({\frac {-1+{\sqrt {3}}{\mathrm {i} }}{2}}\right)\Gamma \right)}=\left({\frac {-1+{\sqrt {3}}{\mathrm {i} }}{2}}\right)^{-4}g_{2}(\Gamma )\,.$

Daraus folgt ${}g_{2}(\Gamma )=0$.

Die Differentialgleichung für die Weierstraßfunktion

Mit Hilfe der Eisensteinreihen können wir die Laurent-Entwicklung der Weierstraßschen Funktion ${}\wp$ beschreiben.

Lemma

Die Laurent-Entwicklung der Weierstraßschen ${}\wp$-Funktion ${}\wp$ im Nullpunkt ist

${}\wp (z)=z^{-2}+\sum _{k=1}^{\infty }(2k+1)G_{2k+2}(\Gamma )z^{2k}\,.$

Beweis

Für die Summanden in der Weierstraßschen ${}\wp$-Funktion gilt unter der Bedingung ${}\vert {z}\vert <\vert {w}\vert$ nach der Ableitung von Satz 7.3 die Gleichung

${}{\begin{aligned}{\frac {1}{(z-w)^{2}}}-{\frac {1}{w^{2}}}&={\frac {1}{w^{2}}}{\left({\frac {1}{(1-{\frac {z}{w}})^{2}}}-1\right)}\\&={\frac {1}{w^{2}}}\sum _{n=1}^{\infty }(n+1)\left({\frac {z}{w}}\right)^{n}\\&=\sum _{n=1}^{\infty }(n+1){\frac {z^{n}}{w^{n+2}}}.\end{aligned}}$

Somit gilt für alle ${}z$, die betragsmäßig kleiner als alle Gitterpunkte ${}\neq 0$ sind, die Beschreibung

${}{\begin{aligned}\wp (z)&={\frac {1}{z^{2}}}+\sum _{w\in \Gamma '}{\left({\frac {1}{(z-w)^{2}}}-{\frac {1}{w^{2}}}\right)}\\&={\frac {1}{z^{2}}}+\sum _{w\in \Gamma '}{\left(\sum _{n=1}^{\infty }(n+1){\frac {z^{n}}{w^{n+2}}}\right)}\\&={\frac {1}{z^{2}}}+\sum _{n=1}^{\infty }(n+1){\left(\sum _{w\in \Gamma '}{\frac {1}{w^{n+2}}}\right)}z^{n}\\&={\frac {1}{z^{2}}}+\sum _{n=1}^{\infty }(n+1)G_{n+2}(\Gamma )z^{n}\\&={\frac {1}{z^{2}}}+\sum _{k=1}^{\infty }(2k+1)G_{2k+2}(\Gamma )z^{2k},\end{aligned}}$

da nach Lemma 28.2  (2) die Eisenstein-Werte zu ungeradem Index ${}0$ sind.

$\Box$

Satz

Es sei ${}\Gamma \subseteq {\mathbb {C} }$ ein Gitter.

Dann besitzt der Körper der elliptischen Funktionen die Beschreibung

${}{\mathbb {C} }(\wp ,\wp ')={\mathbb {C} }(\wp )[\wp ']/(\wp '^{2}-g(\wp ))\,$

mit dem kubischen Polynom

${}g(\wp )=4\wp ^{3}-60G_{4}(\Gamma )\wp -140G_{6}(\Gamma )=4\wp ^{3}-g_{2}\wp -g_{3}\,$

in der Weierstraßschen ${}\wp$-Funktion, wobei ${}G_{4}(\Gamma )$ und ${}G_{6}(\Gamma )$ die Werte der Eisensteinreihen für ${}\Gamma$ bezeichnen.

Beweis

Es wurde bereits in Lemma 27.13 gezeigt, dass der Körper der elliptischen Funktionen von ${}\wp$ und ${}\wp '$ erzeugt wird. Die Weierstraßsche Funktion ${}\wp$ ist definitiv nicht konstant, somit ist ${}{\mathbb {C} }(\wp )\cong {\mathbb {C} }(T)\subseteq {\mathbb {C} }(\wp ,\wp ')$. Wenn wir die angesprochene algebraische Relation zwischen ${}\wp$ und ${}\wp '$ etabliert haben, so folgt, da diese irreduzibel ist, die Beschreibung des Körpers.

Nach Lemma 28.10 ist

${}\wp (z)=z^{-2}+3G_{4}z^{2}+5G_{6}z^{4}+\ldots \,.$

Daraus ergibt sich

${}\wp '(z)=-2z^{-3}+6G_{4}z+20G_{6}z^{3}+\ldots \,$

und

${}(\wp (z))^{3}=z^{-6}+9G_{4}z^{-2}+15G_{6}+\ldots \,$

und

${}(\wp '(z))^{2}=4z^{-6}-24G_{4}z^{-2}-80G_{6}+\ldots \,,$

wobei die weggelassenen höheren Terme holomorph sind. Wir betrachten die zusammengesetzte Funktion

${}h(z)=(\wp '(z))^{2}-4\wp (z)^{3}+60G_{4}\wp (z)+140G_{6}\,,$

die als polynomiale Kombination von elliptischen Funktionen wieder elliptisch ist, und allenfalls in den Gitterpunkten Pole besitzt. Die Laurent-Entwicklung dieser Funktion im Nullpunkt ist

${}{\begin{aligned}h(z)&=4z^{-6}-24G_{4}z^{-2}-80G_{6}+\ldots -4{\left(z^{-6}+9G_{4}z^{-2}+15G_{6}+\ldots \right)}+60G_{4}{\left(z^{-2}+3G_{4}z^{2}+5G_{6}z^{4}+\ldots \right)}+140G_{6}\\&=(4-4)z^{-6}+(-24-36+60)G_{4}z^{-2}+(-80-60+140)G_{6}z^{0}+\ldots .\end{aligned}}$

Da sich hier die Polstellenterme wegheben, ist dies eine holomorphe elliptische Funktion, die im Nullpunkt den Wert ${}0$ besitzt. Daher ist die Funktion nach Lemma 27.3 konstant gleich ${}0$ und beschreibt eine algebraische Relation zwischen ${}\wp$ und ${}\wp '$.

$\Box$

Bemerkung  

Die Differentialgleichung

${}(\wp ')^{2}=4\wp ^{3}-g_{2}\wp -g_{3}\,$

aus Satz 28.11 heißt Differentialgleichung für die Weierstraßsche Funktion ${}\wp$. Dies sieht schon ziemlich stark wie die Gleichung einer elliptischen Kurve in kurzer Weierstraßform aus.

Wir betrachten die Faktorisierung

${}(\wp ')^{2}=4\wp ^{3}-g_{2}\wp -g_{3}=4(\wp -e_{1})(\wp -e_{2})(\wp -e_{3})\,$

mit komplexen Zahlen ${}e_{1},e_{2},e_{3}$. Wenn ${}\Gamma =\langle v_{1},v_{2}\rangle$ das Gitter ist, so sind nach Aufgabe 27.8 die Halbierungspunkte ${}{\frac {v_{1}}{2}},{\frac {v_{2}}{2}},{\frac {v_{1}+v_{2}}{2}}$ die Nullstellen von ${}\wp '$ und damit auch der rechten Seite der obigen Gleichung. Man hat also ${}e_{i}=\wp {\left({\frac {v_{i}}{2}}\right)}$, wenn man ${}v_{3}=v_{1}+v_{2}$ setzt, und die ${}e_{i}$ werden unter ${}\wp$ nur von diesen Halbierungspunkten aus einer halboffenen Fundamentalmasche getroffen. Nach Lemma 27.11 wird auf der halboffenen Fundamentalmasche jeder Wert ${}w$ von ${}\wp$ zweifach (mit Vielfachheiten gezählt) angenommen. Wenn ${}\wp (z)=w$ ist, so auch ${}\wp (-z)=w$. Dies wenden wir auf ${}w=e_{i}$ an, wo wir ein Urbild, nämlich ${}{\frac {v_{i}}{2}}$ schon kennen. Das andere Urbild stimmt aber, in die Fundamentalmasche verschoben, wieder mit ${}{\frac {v_{i}}{2}}$ überein. Daher sind die ${}e_{i}$ verschieden, was nach Lemma 4.8 (Elliptische Kurven (Osnabrück 2021-2022)) die Glattheit der Kurve bedeutet.

<< | Kurs:Funktionentheorie (Osnabrück 2023-2024) | >> PDF-Version dieser Vorlesung Arbeitsblatt zur Vorlesung (PDF)