Kurs:Elliptische Kurven (Osnabrück 2021-2022)/Vorlesung 27

Modulfunktionen

Wir erinnern an die Modulsubstitution, also an die Gruppenoperation der speziellen linearen Gruppe ${}\operatorname {SL} _{2}\!{\left(\mathbb {Z} \right)}$ auf der oberen Halbebene ${}{\mathbb {H} }$ durch

${}{\begin{pmatrix}a&b\\c&d\end{pmatrix}}\tau :={\frac {a\tau +b}{c\tau +d}}\,.$

Ein Punkt ${}\tau \in {\mathbb {H} }$ legt das Gitter ${}\Lambda =\langle 1,\tau \rangle$ und damit den komplexen Torus ${}{\mathbb {C} }/\Lambda$ bzw. die zugehörige elliptische Kurve fest. Wir interessieren uns für Funktionen ${}f\colon {\mathbb {H} }\rightarrow {\mathbb {C} }$, die mit der Gruppenoperation (in einem gewissen Sinne) verträglich sind. Wegen der angegebenen Bedeutung eines Punktes der oberen Halbebene sollte man solche Funktionen stets auch so interpretieren, dass sie komplexen Tori bzw. elliptischen Kurven einen Wert zuweisen.

Definition

Es sei ${}k\in \mathbb {Z}$. Eine meromorphe Funktion ${}f\colon {\mathbb {H} }\rightarrow {\mathbb {C} }$ auf der oberen Halbebene ${}{\mathbb {H} }$ heißt schwach modular vom Gewicht ${}k$, wenn

${}f(Mz)=(cz+d)^{k}f(z)\,$

für alle

${}M={\begin{pmatrix}a&b\\c&d\end{pmatrix}}\in \operatorname {SL} _{2}\!{\left(\mathbb {Z} \right)}\,$

gilt, wobei ${}M$ durch Modulsubstitution auf ${}{\mathbb {H} }$ operiert.

Explizit bedeutet die Bedingung, dass

${}f{\left({\frac {az+b}{cz+d}}\right)}=(cz+d)^{k}f(z)\,$

für alle ${}z\in {\mathbb {H} }$ gilt. Ein direktes Korollar aus Satz 9.2 ist die folgende Aussage.

Lemma

Es sei ${}f\colon {\mathbb {H} }\rightarrow {\mathbb {C} }$ eine meromorphe Funktion auf der oberen Halbebene ${}{\mathbb {H} }$.

Dann ist ${}f$ genau dann schwach modular vom Gewicht ${}k$, wenn sie die beiden Bedingungen ${}f(z+1)=f(z)$ und ${}f{\left(-{\frac {1}{z}}\right)}=z^{k}f(z)$ für alle ${}z\in {\mathbb {H} }$ erfüllt.

Beweis

Siehe Aufgabe 26.1.

$\Box$

Wir betrachten die komplexe Exponentialfunktion auf der oberen Halbebene in der Form

$\psi \colon {\mathbb {H} }\longrightarrow {\mathbb {C} },\,z\longmapsto e^{2\pi {\mathrm {i} }z}.$

Das Bild dieser Abbildung ist die punktierte offene Einheitskreisscheibe ${}U{\left(0,1\right)}\setminus \{0\}$. Mit

${}z=a+b{\mathrm {i} }\,$

gilt ja

${}{\begin{aligned}e^{2\pi {\mathrm {i} }z}&=e^{2\pi {\mathrm {i} }(a+b{\mathrm {i} })}\\&=e^{2\pi {\mathrm {i} }a-2b\pi }\\&=e^{2\pi {\mathrm {i} }a}\cdot e^{-2b\pi }\\&=e^{-2b\pi }\cdot \left(\cos a,\,\sin a\right)\end{aligned}}$

und wegen ${}b>0$ ist ${}e^{-2b\pi }<1$. Es gilt die Periodizitätsbedingung

${}\psi (z+n)=\psi (z)\,$

für ${}n\in \mathbb {Z}$. Wenn man den Wertebereich auf ${}U{\left(0,1\right)}\setminus \{0\}$ einschränkt, so erhält man eine holomorphe Überlagerung. Die Geraden parallel zur ${}x$-Achse werden zu Kreisen aufgewickelt, wobei die Geraden nah an der Achse auf einen Kreis nah an der Einheitssphäre abgebildet werden und die fernen Geraden auf kleine Kreise um den Nullpunkt. Die Halbgeraden parallel zur ${}y$-Achse werden auf eine offene Radiusstrecke abgebildet.

Wenn ${}f\colon {\mathbb {H} }\rightarrow {\mathbb {C} }$ eine Funktion ist, die die Periodizitätsbedingung ${}f(z)=f(z+n)$ zu ${}n\in \mathbb {Z}$ erfüllt, so gibt es eine Faktorisierung von ${}f$ über die Exponentialabbildung

${\begin{matrix}{\mathbb {H} }&{\stackrel {e^{2\pi {\mathrm {i} }z}}{\longrightarrow }}&U{\left(0,1\right)}\setminus \{0\}\subseteq {\mathbb {C} }&\\&\!\!\!\!\!f\searrow &\downarrow {\tilde {f}}\!\!\!\!\!&\\&&{\mathbb {C} }&\!\!\!\!\!\!\!\!\\\end{matrix}}$

mit einer eindeutig bestimmten Funktion

${\tilde {f}}\colon U{\left(0,1\right)}\setminus \{0\}\longrightarrow {\mathbb {C} }.$

Dabei ist ${}f$ genau dann holomorph oder meromorph, wenn ${}{\tilde {f}}$ holomorph oder meromorph auf der punktierten Kreisscheibe ist. Man bezeichnet in dieser Situation die Variable der komplexen Zahlen rechts oben oft mit ${}q$ und hat dann die Beziehung ${}{\tilde {f}}(q)=f(z)$, ${}q=e^{2\pi {\mathrm {i} }z}$. Diesen Übergang kann man insbesondere für eine schwache Modulfunktion ${}f$ machen, für die es somit eine meromorphe Funktion

${\tilde {f}}\colon U{\left(0,1\right)}\setminus \{0\}\longrightarrow {\mathbb {C} }$

gibt, die wegen der Modularitätsbedingung noch weitere Bedingungen erfüllen muss. Dabei ist es für ${}{\tilde {f}}$ eine natürliche Frage, ob man sie in den Nullpunkt hinein sinnvoll meromorph oder holomorph fortsetzen kann.

Definition

Es sei ${}f\colon {\mathbb {H} }\rightarrow {\mathbb {C} }$ eine meromorphe Funktion, die die Periodizität ${}f(z)=f(z+1)$ für alle ${}z\in {\mathbb {H} }$ erfüllt und sei

${\tilde {f}}\colon U{\left(0,1\right)}\setminus \{0\}\longrightarrow {\mathbb {C} }$

die zugehörige Funktion auf der punktierten Einheitskreisscheibe. Man sagt, dass ${}f$ meromorph im Unendlichen ist, wenn sich ${}{\tilde {f}}$ meromorph in den Nullpunkt fortsetzen lässt.

Definition

Es sei ${}f\colon {\mathbb {H} }\rightarrow {\mathbb {C} }$ eine meromorphe Funktion, die die Periodizität ${}f(z)=f(z+1)$ für alle ${}z\in {\mathbb {H} }$ erfüllt und sei

${\tilde {f}}\colon U{\left(0,1\right)}\setminus \{0\}\longrightarrow {\mathbb {C} }$

die zugehörige Funktion auf der punktierten Einheitskreisscheibe. Man sagt, dass ${}f$ holomorph im Unendlichen ist, wenn sich ${}{\tilde {f}}$ holomorph in den Nullpunkt fortsetzen lässt.

In diesem Fall setzt man ${}f(\infty )={\tilde {f}}(0)$. Im Fall der meromorphen Fortsetzbarkeit von ${}{\tilde {f}}$ im Nullpunkt liegt dort eine Laurent-Entwicklung der Form

${}{\tilde {f}}(q)=\sum _{n=n_{0}}^{\infty }a_{n}q^{n}\,$

vor, wobei im holomorphen Fall ${}n_{0}\geq 0$ ist. Es ist dann ${}f(z)=\sum _{n=n_{0}}^{\infty }a_{n}e^{2\pi {\mathrm {i} }n}$ und die ${}a_{n}$ nennt man auch Fourierkoeffizienten von ${}f$.

Definition

Es sei ${}k\in \mathbb {Z}$. Eine meromorphe Funktion ${}f\colon {\mathbb {H} }\rightarrow {\mathbb {C} }$ auf der oberen Halbebene ${}{\mathbb {H} }$ heißt Modulfunktion vom Gewicht ${}k$, wenn

${}f(Mz)=(cz+d)^{k}f(z)\,$

für alle

${}M={\begin{pmatrix}a&b\\c&d\end{pmatrix}}\in \operatorname {SL} _{2}\!{\left(\mathbb {Z} \right)}\,$

gilt und wenn ${}f$ meromorph in ${}\infty$ ist.

Es handelt sich also einfach um eine schwache Modulfunktion, die zusätzlich meromorph im Unendlichen ist.

Definition

Eine Modulfunktion ${}f\colon {\mathbb {H} }\rightarrow {\mathbb {C} }$ auf der oberen Halbebene ${}{\mathbb {H} }$ vom Gewicht ${}k$ heißt Modulform, wenn sie holomorph in ${}{\mathbb {H} }$ und holomorph in ${}\infty$ ist.

Lemma

Die ${}k$-te Eisenstein-Reihe

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

zu ${}k\geq 3$

ist eine Modulform vom Gewicht ${}k$.

Beweis

Die Funktionalgleichung folgt aus

${}{\begin{aligned}G_{k}\left({\frac {a\tau +b}{c\tau +d}}\right)&=\sum _{(m,n)\neq (0,0)}{\frac {1}{(m+n{\frac {a\tau +b}{c\tau +d}})^{k}}}\\&=(c\tau +d)^{k}\sum _{(m,n)\neq (0,0)}{\frac {1}{(m(c\tau +d)+n(a\tau +b))^{k}}}\\&=(c\tau +d)^{k}\sum _{(m,n)\neq (0,0)}{\frac {1}{((mc+na)\tau +(md+nb))^{k}}}\\&=(c\tau +d)^{k}\sum _{(r,s)\neq (0,0)}{\frac {1}{(r\tau +s)^{k}}}\\&=(c\tau +d)^{k}G_{k}(\tau ),\end{aligned}}$

wobei die vorletzte Gleichung darauf beruht, dass

${}{\begin{pmatrix}r\\s\end{pmatrix}}={\begin{pmatrix}a&c\\b&d\end{pmatrix}}{\begin{pmatrix}n\\m\end{pmatrix}}\,$

stets eine eindeutige Lösung besitzt. Die Holomorphie beruht aus Sätzen der Funktionentheorie.

$\Box$

Wir erinnern an die Festlegungen aus der zwölften Vorlesung, geschrieben in der Variablen ${}\tau \in {\mathbb {H} }$, ${}g_{2}(\tau )=60G_{4}(\tau )$, ${}g_{3}(\tau )=140G_{6}(\tau )$, die Diskriminante ${}\Delta (\tau )=g_{2}^{3}(\tau )-27g_{3}^{2}(\tau )$ und die ${}j$- Invariante ${}j(\tau ):={\frac {{\left(12g_{2}(\tau )\right)}^{3}}{\Delta (\tau )}}$.

Satz

Die ${}j$- Invariante ${}j\colon {\mathbb {H} }\rightarrow {\mathbb {C} }$ ist eine Modulfunktion vom Gewicht ${}0$, die auf ${}{\mathbb {H} }$ holomorph und im Unendlichen einen einfachen Pol besitzt.

Kongruenzuntergruppen

Wir möchten eine Reihe von Untergruppen der speziellen linearen Gruppe ${}\operatorname {SL} _{2}\!{\left(\mathbb {Z} \right)}$ einführen, die durch gewisse modulare Bedingungen charakterisiert sind und Kongruenzuntergruppen heißen. Es sei eine natürliche Zahl ${}N$ fixiert. Zunächst induziert der Ringhomomorphismus ${}\mathbb {Z} \rightarrow \mathbb {Z} /(N)$ einen Gruppenhomomorphismus

$\operatorname {SL} _{2}\!{\left(\mathbb {Z} \right)}\longrightarrow \operatorname {SL} _{2}\!{\left(\mathbb {Z} /(N)\right)},$

bei dem einfach sämtliche Einträge modulo ${}N$ genommen werden. Da die Matrizenmultiplikation und die Determinante durch polynomiale Ausdrücke gegeben sind, folgt direkt, dass dies ein wohldefinierter Gruppenhomomorphismus ist.

Definition

Es sei ${}N\in \mathbb {N}$. Die Untergruppe

$\Gamma (N)={\left\{M={\begin{pmatrix}a&b\\c&d\end{pmatrix}}\in \operatorname {SL} _{2}\!{\left(\mathbb {Z} \right)}\mid M=E_{2}\mod N\right\}}={\left\{M={\begin{pmatrix}a&b\\c&d\end{pmatrix}}\in \operatorname {SL} _{2}\!{\left(\mathbb {Z} \right)}\mid a,d=1\mod N,\,b,c=0\mod N\right\}}\subseteq \operatorname {SL} _{2}\!{\left(\mathbb {Z} \right)}\,$

heißt Hauptkongruenzgruppe zur Stufe ${}N$.

Es geht also einfach um die Matrizen, deren Diagonalelemente modulo ${}N$ zu ${}1$ und deren Nebendiagonalelemente modulo ${}N$ zu ${}0$ werden. Als Kern eines Gruppenhomomorphismus handelt es sich um eine Untergruppe und um einen Normalteiler. Da die Bildgruppe bei ${}N\geq 1$ endlich ist und die spezielle lineare Gruppe unendlich, ist ${}\Gamma (N)$ unendlich. Beispielsweise ist ${}{\begin{pmatrix}N+1&N\\-N&1-N\end{pmatrix}}\in \Gamma (N)$.

Wir interessieren uns nun für Untergruppen

${}\Gamma (N)\subseteq \Gamma \subseteq \operatorname {SL} _{2}\!{\left(\mathbb {Z} \right)}\,,$

wovon es bei gegebenem ${}N$ endlich viele gibt. Solche Untergruppen nennt man Kongruenzuntergruppen. Neben der Hauptkongruenzgruppe erwähnen wir die folgenden.

Definition

Es sei ${}N\in \mathbb {N}$. Die Untergruppe

${}\Gamma _{0}(N)={\left\{M={\begin{pmatrix}a&b\\c&d\end{pmatrix}}\in \operatorname {SL} _{2}\!{\left(\mathbb {Z} \right)}\mid c=0\mod N\right\}}\subseteq \operatorname {SL} _{2}\!{\left(\mathbb {Z} \right)}\,$

heißt Hecke-Kongruenzgruppe zur Stufe ${}N$.

Definition

Zu ${}N\in \mathbb {N}$ setzt man

$\Gamma _{1}(N)={\left\{M={\begin{pmatrix}a&b\\c&d\end{pmatrix}}\in \Gamma _{0}(N)\mid a=1\mod N\right\}}={\left\{M={\begin{pmatrix}a&b\\c&d\end{pmatrix}}\in \operatorname {SL} _{2}\!{\left(\mathbb {Z} \right)}\mid a=d=1\mod N,\,c=0\mod N\right\}}\subseteq \operatorname {SL} _{2}\!{\left(\mathbb {Z} \right)}\,.$

Es ist

${}\Gamma (N)\subseteq \Gamma _{1}(N)\subseteq \Gamma _{0}(N)\,.$

Bei ${}N\geq 2$ ist beispielsweise ${}{\begin{pmatrix}1&N\\0&1\end{pmatrix}}\in \Gamma (N)$, ${}T={\begin{pmatrix}1&1\\0&1\end{pmatrix}}\in \Gamma _{1}(N)$, aber ${}{\begin{pmatrix}1&1\\0&1\end{pmatrix}}\notin \Gamma (N)$, ${}{\begin{pmatrix}-1&0\\0&-1\end{pmatrix}}\in \Gamma _{0}(N)$, aber ${}{\begin{pmatrix}-1&0\\0&-1\end{pmatrix}}\notin \Gamma _{1}(N)$. Ferner ist ${}S={\begin{pmatrix}0&-1\\1&0\end{pmatrix}}\notin \Gamma _{1}(N)$.

Kongruenzuntergruppen und Torsion

Eine reelle Basis ${}u,v$ von ${}{\mathbb {C} }$ legt ein Gitter ${}\Lambda =\mathbb {Z} u+\mathbb {Z} v$ und einen komplexen Torus ${}{\mathbb {C} }/\Lambda$ fest, siehe Satz 8.6, wobei der komplexe Torus nur vom Gitter, nicht aber von den Erzeugern abhängt. Wir besprechen eine Sichtweise, in der eine Teilinformation, die in den Erzeugern drinsteckt, beibehalten wird und die die Rolle der Kongruenzuntergruppen erläutert. Dazu fixieren wir eine positive natürliche Zahl ${}N$. Die Erzeuger werden unter der kanonischen Abbildung auf das neutrale Element des Torus abgebildet. Die Punkte ${}{\frac {u}{N}}$ und ${}{\frac {v}{N}}$ werden unter der kanonischen Abbildung auf ${}N$- Torsionspunkte des komplexen Torus abgebildet. Wegen Lemma 18.1 ist ${}\operatorname {Tor} _{N}{\left({\mathbb {C} }/\Lambda \right)}\cong \mathbb {Z} /(N)\times \mathbb {Z} /(N)$ und diese Elemente werden durch ${}i[{\frac {u}{N}}]+j[{\frac {v}{N}}]$, ${}0\leq i,j<N$, repräsentiert. D.h. die Erzeuger definieren in kanonischer Weise eine Basis des ${}\mathbb {Z} /(N)$- Moduls ${}\operatorname {Tor} _{N}{\left({\mathbb {C} }/\Lambda \right)}$. Wenn ${}N$ eine Primzahl ist, so handelt es sich um eine Basis eines zweidimensionalen Vektorraumes. In diesem Sinne liefert ein (geordnetes) Erzeugendensystem eines Gitters einen Datensatz bestehend aus einem komplexen Torus (bzw. der zugehörigen elliptischen Kurve) ${}E$ und einem (geordneten) Punktepaar ${}(P,Q)$, das ein Erzeugendensystem für die ${}N$-Torsion ist. Nach Korollar 8.5 definieren zwei reelle Basen das gleiche Gitter, wenn sie durch eine ganzzahlige invertierbare Matrix ineinander überführt werden können. Dabei wird aber nicht nur die Basis selbst, sondern im Allgemeinen auch die durch die Basis definierte ${}N$-Torsionsbasis verändert. Da es aber nur endlich viele ${}N$-Torsionsbasen gibt, gibt es wiederum eine Vielzahl an ganzzahligen invertierbaren Matrizen, die eine ${}N$-Torsionsbasis in sich selbst überführen. Wir beschränken uns auf die spezielle lineare Gruppe, wo sich ein direkter Zusammenhang zu den Hauptkongruenzgruppen ergibt.

Lemma

Es sei ${}N$ eine positive natürliche Zahl. Es sei ${}M\in \operatorname {SL} _{2}\!{\left(\mathbb {Z} \right)}$ und sei ${}u,v$ eine reelle Basis von ${}{\mathbb {C} }$ mit dem zugehörigen Gitter ${}\Lambda$ und dem zugehörigen komplexen Torus ${}{\mathbb {C} }/\Lambda$.

Dann definieren ${}u,v$ und die durch ${}M$ transformierte Basis ${}u',v'$ genau dann die gleiche ${}N$-Torsionsbasis von ${}{\mathbb {C} }/\Lambda$, wenn ${}M$ zur Hauptkongruenzgruppe ${}\Gamma (N)$ gehört.

Beweis

Es sei

${}M={\begin{pmatrix}a&b\\c&d\end{pmatrix}}\,.$

Die transformierte Basis ist ${}u'=au+bv$ und ${}v'=cu+dv$. In ${}{\mathbb {C} }/\Lambda$ gelten dann die Beziehungen

${}[{\frac {u'}{N}}]=a[{\frac {u}{N}}]+b[{\frac {v}{N}}]\,$

und

${}[{\frac {v'}{N}}]=c[{\frac {u}{N}}]+d[{\frac {v}{N}}]\,.$

Dies ist eine Identität im ${}\mathbb {Z} /(N)$-Modul

${}\operatorname {Tor} _{N}{\left({\mathbb {C} }/\Lambda \right)}\cong \mathbb {Z} /(N)\times \mathbb {Z} /(N)\,,$

daher können wir die Zahlen ${}a,b,c,d$ modulo ${}N$ nehmen. Die Gleichheit der Basen bedeutet dann einfach, dass modulo ${}N$ die Gleichheiten ${}a=d=1$ und ${}b=c=0$ vorliegen. Dies bedeutet ${}M\in \Gamma (N)$.

$\Box$

Zu einer Streckung mit ${}s\in {\mathbb {C} }^{\times }$ sind ${}\Lambda$ und ${}s\Lambda$ verschiedene Gitter, es gibt aber nach Lemma 9.11 einen kanonischen Isomorphismus

${}{\mathbb {C} }/\Lambda \cong {\mathbb {C} }/s\Lambda \,.$

Eine Gitterbasis ${}u,v$ wird auf die Gitterbasis ${}su,sv$ abgebildet und die zugehörige ${}N$-Torsionsbasis des komplexen Torus wird auf die entsprechende Torsionsbasis abgebildet.

Zu ${}\tau \in {\mathbb {H} }$ besteht der Datensatz aus dem komplexen Torus ${}{\mathbb {C} }/\langle 1,\tau \rangle$ und der ${}N$-Torsionsbasis ${}[{\frac {1}{N}}],\,[{\frac {\tau }{N}}]$. Für die Wirkungsweise der Hauptkongruenzgruppe auf ${}{\mathbb {H} }$ durch Modulsubstitution gilt Lemma 27.12 entsprechend. Man beachte, dass die Beziehung ${}M\tau =\tau '$ nach Lemma 9.6 bedeutet, dass ${}{\mathbb {C} }/\langle 1,\tau \rangle$ und ${}{\mathbb {C} }/\langle 1,\tau '\rangle$ streckungsäquivalent sind, nicht, dass sie gleich sind. Insbesondere dürfen die beiden ${}[{\frac {1}{N}}]$ nicht miteinander identifiziert werden.

Auch für die Wirkungsweise von ${}\Gamma _{0}(N)$ und ${}\Gamma _{1}(N)$ auf Gittern gibt es ähnliche Interpretationen, die auf Torsionseigenschaften des Torus Bezug nehmen, siehe Aufgabe 27.16 und Aufgabe 27.17.

<< | Kurs:Elliptische Kurven (Osnabrück 2021-2022) | >> PDF-Version dieser Vorlesung Arbeitsblatt zur Vorlesung (PDF)