Kurs:Elliptische Kurven (Osnabrück 2021-2022)/Vorlesung 27/latex
\setcounter{section}{27}
\zwischenueberschrift{Modulfunktionen}
Wir erinnern an die
\definitionsverweis {Modulsubstitution}{}{,}
also an die
\definitionsverweis {Gruppenoperation}{}{}
der
\definitionsverweis {speziellen linearen Gruppe}{}{}
$\operatorname{SL}_{ 2 } \! { \left( \Z \right) }$ auf der
\definitionsverweis {oberen Halbebene}{}{}
${\mathbb H}$ durch
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} a & b \\ c & d \end{pmatrix} \tau
}
{ \defeq} { { \frac{ a \tau +b }{ c \tau +d } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Ein Punkt
\mavergleichskette
{\vergleichskette
{\tau
}
{ \in }{ {\mathbb H}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
legt das
\definitionsverweis {Gitter}{}{}
\mavergleichskette
{\vergleichskette
{ \Lambda
}
{ = }{ \langle 1, \tau \rangle
}
{ }{
}
{ }{
}
{ }{}
}
{}{}{}
und damit den
\definitionsverweis {komplexen Torus}{}{}
\mathl{{\mathbb C}/\Lambda}{} bzw. die zugehörige
\definitionsverweis {elliptische Kurve}{}{}
fest. Wir interessieren uns für Funktionen
\maabb {f} { {\mathbb H} } { {\mathbb C}
} {,}
die mit der Gruppenoperation
\zusatzklammer {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.
\inputdefinition
{}
{
Es sei
\mavergleichskette
{\vergleichskette
{k
}
{ \in }{\Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Eine
\definitionsverweis {meromorphe Funktion}{}{}
\maabb {f} { {\mathbb H} } { {\mathbb C}
} {}
auf der
\definitionsverweis {oberen Halbebene}{}{}
${\mathbb H}$ heißt
\definitionswort {schwach modular}{}
vom Gewicht $k$, wenn
\mavergleichskettedisp
{\vergleichskette
{f(Mz)
}
{ =} { (cz+d)^k f(z)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für alle
\mavergleichskettedisp
{\vergleichskette
{M
}
{ =} { \begin{pmatrix} a & b \\ c & d \end{pmatrix}
}
{ \in} { \operatorname{SL}_{ 2 } \! { \left( \Z \right) }
}
{ } {
}
{ } {
}
}
{}{}{}
gilt, wobei $M$ durch
\definitionsverweis {Modulsubstitution}{}{}
auf ${\mathbb H}$ operiert.
}
Explizit bedeutet die Bedingung, dass
\mavergleichskettedisp
{\vergleichskette
{ f { \left( { \frac{ az+b }{ cz+d } } \right) }
}
{ =} { (cz+d)^k f(z)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{z
}
{ \in }{ {\mathbb H}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt. Ein direktes Korollar aus
Satz 9.2
ist die folgende Aussage.
{Meromorphe Modulfunktion/Schwach/Gewicht k/Erzeuger/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei
\maabb {f} { {\mathbb H} } { {\mathbb C}
} {}
eine
\definitionsverweis {meromorphe Funktion}{}{}
auf der
\definitionsverweis {oberen Halbebene}{}{}
${\mathbb H}$.}
\faktfolgerung {Dann ist $f$ genau dann
\definitionsverweis {schwach modular}{}{}
vom Gewicht $k$, wenn sie die beiden Bedingungen
\mavergleichskette
{\vergleichskette
{f(z+1)
}
{ = }{ f(z)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ f { \left( - { \frac{ 1 }{ z } } \right) }
}
{ = }{ z^k f(z)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{z
}
{ \in }{ {\mathbb H}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
erfüllt.}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 26.1. }
Wir betrachten die komplexe Exponentialfunktion auf der oberen Halbebene in der Form
\maabbeledisp {\psi} { {\mathbb H} } { {\mathbb C}
} {z} { e^{2 \pi { \mathrm i} z}
} {.}
Das Bild dieser Abbildung ist die punktierte offene Einheitskreisscheibe
\mathl{U { \left( 0,1 \right) } \setminus \{0\}}{.} Mit
\mavergleichskettedisp
{\vergleichskette
{z
}
{ =} { a+b { \mathrm i}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt ja
\mavergleichskettealign
{\vergleichskettealign
{ e^{2 \pi { \mathrm i} z}
}
{ =} { e^{2 \pi { \mathrm i} (a+b { \mathrm i} )}
}
{ =} { e^{2 \pi { \mathrm i} a -2 b \pi }
}
{ =} { e^{2 \pi { \mathrm i} a} \cdot e^{-2 b \pi }
}
{ =} { e^{-2 b \pi } \cdot \left( \cos a , \, \sin a \right)
}
}
{}
{}{}
und wegen
\mavergleichskette
{\vergleichskette
{b
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{ e^{-2 b \pi }
}
{ < }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Es gilt die Periodizitätsbedingung
\mavergleichskettedisp
{\vergleichskette
{ \psi (z+n)
}
{ =} { \psi (z)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{ \Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wenn man den Wertebereich auf
\mathl{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
\maabb {f} { {\mathbb H} } { {\mathbb C}
} {}
eine Funktion ist, die die Periodizitätsbedingung
\mavergleichskette
{\vergleichskette
{ f(z)
}
{ = }{ f(z +n)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zu
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{\Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
erfüllt, so gibt es eine Faktorisierung von $f$ über die Exponentialabbildung
\mathdisp {\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
\maabbdisp {\tilde{f}} { U { \left( 0,1 \right) } \setminus \{0\} } { {\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
\mavergleichskette
{\vergleichskette
{ \tilde{f} (q)
}
{ = }{ f(z)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{ q
}
{ = }{e^{2\pi { \mathrm i} z}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Diesen Übergang kann man insbesondere für eine
\definitionsverweis {schwache Modulfunktion}{}{}
$f$ machen, für die es somit eine meromorphe Funktion
\maabbdisp {\tilde{f}} { U { \left( 0,1 \right) } \setminus \{0\} } { {\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.
\inputdefinition
{}
{
Es sei
\maabb {f} { {\mathbb H} } { {\mathbb C}
} {}
eine
\definitionsverweis {meromorphe Funktion}{}{,}
die die Periodizität
\mavergleichskette
{\vergleichskette
{ f(z)
}
{ = }{ f(z+1)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{z
}
{ \in }{ {\mathbb H}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
erfüllt und sei
\maabbdisp {\tilde{f}} { U { \left( 0,1 \right) } \setminus \{0\} } { {\mathbb C}
} {}
die zugehörige Funktion auf der punktierten Einheitskreisscheibe. Man sagt, dass $f$
\definitionswort {meromorph im Unendlichen}{}
ist, wenn sich $\tilde{f}$ meromorph in den Nullpunkt fortsetzen lässt.
}
\inputdefinition
{}
{
Es sei
\maabb {f} { {\mathbb H} } { {\mathbb C}
} {}
eine
\definitionsverweis {meromorphe Funktion}{}{,}
die die Periodizität
\mavergleichskette
{\vergleichskette
{ f(z)
}
{ = }{ f(z+1)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{z
}
{ \in }{ {\mathbb H}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
erfüllt und sei
\maabbdisp {\tilde{f}} { U { \left( 0,1 \right) } \setminus \{0\} } { {\mathbb C}
} {}
die zugehörige Funktion auf der punktierten Einheitskreisscheibe. Man sagt, dass $f$
\definitionswort {holomorph im Unendlichen}{}
ist, wenn sich $\tilde{f}$
\definitionsverweis {holomorph}{}{}
in den Nullpunkt fortsetzen lässt.
}
In diesem Fall setzt man
\mavergleichskette
{\vergleichskette
{ f(\infty)
}
{ = }{ \tilde{f} (0)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Im Fall der meromorphen Fortsetzbarkeit von $\tilde{f}$ im Nullpunkt liegt dort eine
\definitionsverweis {Laurent-Entwicklung}{}{}
der Form
\mavergleichskettedisp
{\vergleichskette
{ \tilde{f} (q)
}
{ =} { \sum_{n = n_0}^\infty a_n q^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
vor, wobei im holomorphen Fall
\mavergleichskette
{\vergleichskette
{n_0
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. Es ist dann
\mavergleichskette
{\vergleichskette
{ f (z)
}
{ = }{ \sum_{n = n_0}^\infty a_n e^{2 \pi { \mathrm i} n }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und die $a_n$ nennt man auch \stichwort {Fourierkoeffizienten} {} von $f$.
\inputdefinition
{}
{
Es sei
\mavergleichskette
{\vergleichskette
{k
}
{ \in }{\Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Eine
\definitionsverweis {meromorphe Funktion}{}{}
\maabb {f} {{\mathbb H}} { {\mathbb C}
} {}
auf der
\definitionsverweis {oberen Halbebene}{}{}
${\mathbb H}$ heißt
\definitionswort {Modulfunktion}{}
vom Gewicht $k$, wenn
\mavergleichskettedisp
{\vergleichskette
{ f(Mz)
}
{ =} { (cz+d)^k f(z)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für alle
\mavergleichskettedisp
{\vergleichskette
{M
}
{ =} { \begin{pmatrix} a & b \\ c & d \end{pmatrix}
}
{ \in} { \operatorname{SL}_{ 2 } \! { \left( \Z \right) }
}
{ } {
}
{ } {
}
}
{}{}{}
gilt und wenn $f$
\definitionsverweis {meromorph}{}{}
in $\infty$ ist.
}
Es handelt sich also einfach um eine \definitionsverweis {schwache Modulfunktion}{}{,} die zusätzlich meromorph im Unendlichen ist.
\inputdefinition
{}
{
Eine \definitionsverweis {Modulfunktion}{}{} \maabb {f} {{\mathbb H}} { {\mathbb C} } {} auf der \definitionsverweis {oberen Halbebene}{}{} ${\mathbb H}$ vom Gewicht $k$ heißt \definitionswort {Modulform}{,} wenn sie \definitionsverweis {holomorph}{}{} in ${\mathbb H}$ und \definitionsverweis {holomorph}{}{} in $\infty$ ist.
}
\inputfaktbeweis
{Eisensteinreihe/Modulform/Fakt}
{Lemma}
{}
{
\faktsituation {Die $k$-te
\definitionsverweis {Eisenstein-Reihe}{}{}
\mavergleichskettedisp
{\vergleichskette
{G_k (\tau)
}
{ =} { G_k ( \langle 1, \tau \rangle)
}
{ =} { \sum_{ (m,n) \neq 0} { \frac{ 1 }{ (m+n \tau)^k } }
}
{ } {
}
{ } {
}
}
{}{}{}
zu
\mavergleichskette
{\vergleichskette
{k
}
{ \geq }{3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}}
\faktfolgerung {ist eine
\definitionsverweis {Modulform}{}{}
vom Gewicht $k$.}
\faktzusatz {}
\faktzusatz {}
}
{
Die Funktionalgleichung folgt aus
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ 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 }{ ( (m c +na) \tau +(md+nb ) )^k } }
}
{ =} { (c \tau +d)^k \sum_{ (r,s) \neq (0,0)} { \frac{ 1 }{ ( r \tau +s )^k } }
}
}
{
\vergleichskettefortsetzungalign
{ =} { (c \tau +d)^k G_k(\tau)
}
{ } {}
{ } {}
{ } {}
}
{}{,}
wobei die vorletzte Gleichung darauf beruht, dass
\mavergleichskettedisp
{\vergleichskette
{ \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.
Wir erinnern an die Festlegungen aus der zwölften Vorlesung, geschrieben in der Variablen
\mavergleichskette
{\vergleichskette
{ \tau
}
{ \in }{ {\mathbb H}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{g_2(\tau)
}
{ = }{ 60 G_4 (\tau)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{ g_3(\tau)
}
{ = }{ 140 G_6 (\tau)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
die
\definitionsverweis {Diskriminante}{}{}
\mavergleichskette
{\vergleichskette
{\Delta(\tau)
}
{ = }{ g_2^3(\tau)-27g_3^2(\tau)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und die
$j$-\definitionsverweis {Invariante}{}{}
\mavergleichskette
{\vergleichskette
{j (\tau)
}
{ \defeq }{ { \frac{ { \left( 12 g_2(\tau) \right) }^3 }{ \Delta(\tau) } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
\inputfakt{J-Invariante/Modulfunktion/Fakt}{Satz}{}
{
\faktsituation {}
\faktfolgerung {Die
$j$-\definitionsverweis {Invariante}{}{}
\maabb {j} { {\mathbb H} } { {\mathbb C}
} {}
ist eine
\definitionsverweis {Modulfunktion}{}{}
vom Gewicht $0$, die auf ${\mathbb H}$
\definitionsverweis {holomorph}{}{}
und im Unendlichen einen einfachen Pol besitzt.}
\faktzusatz {}
\faktzusatz {}
}
\zwischenueberschrift{Kongruenzuntergruppen}
Wir möchten eine Reihe von Untergruppen der speziellen linearen Gruppe
\mathl{\operatorname{SL}_{ 2 } \! { \left( \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
\definitionsverweis {Ringhomomorphismus}{}{}
\maabb {} {\Z} { \Z/(N)
} {}
einen
\definitionsverweis {Gruppenhomomorphismus}{}{}
\maabbdisp {} {\operatorname{SL}_{ 2 } \! { \left( \Z \right) } } { \operatorname{SL}_{ 2 } \! { \left( \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.
\inputdefinition
{}
{
Es sei
\mavergleichskette
{\vergleichskette
{N
}
{ \in }{\N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Die
\definitionsverweis {Untergruppe}{}{}
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ \Gamma (N)
}
{ =} { { \left\{ M = \begin{pmatrix} a & b \\ c & d \end{pmatrix} \in \operatorname{SL}_{ 2 } \! { \left( \Z \right) } \mid M = E_2 \mod N \right\} }
}
{ =} { { \left\{ M = \begin{pmatrix} a & b \\ c & d \end{pmatrix} \in \operatorname{SL}_{ 2 } \! { \left( \Z \right) } \mid a, d = 1\mod N,\, b, c = 0 \mod N \right\} }
}
{ \subseteq} { \operatorname{SL}_{ 2 } \! { \left( \Z \right) }
}
{ } {
}
}
{}{}{}
heißt
\definitionswort {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
\definitionsverweis {Normalteiler}{}{.}
Da die Bildgruppe bei
\mavergleichskette
{\vergleichskette
{N
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
endlich ist und die spezielle lineare Gruppe unendlich, ist $\Gamma(N)$ unendlich. Beispielsweise ist
\mavergleichskette
{\vergleichskette
{ \begin{pmatrix} N+1 & N \\ -N & 1-N \end{pmatrix}
}
{ \in }{ \Gamma(N)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wir interessieren uns nun für Untergruppen
\mavergleichskettedisp
{\vergleichskette
{\Gamma (N)
}
{ \subseteq} { \Gamma
}
{ \subseteq} { \operatorname{SL}_{ 2 } \! { \left( \Z \right) }
}
{ } {
}
{ } {
}
}
{}{}{,}
wovon es bei gegebenem $N$ endlich viele gibt. Solche Untergruppen nennt man \stichwort {Kongruenzuntergruppen} {.} Neben der Hauptkongruenzgruppe erwähnen wir die folgenden.
\inputdefinition
{}
{
Es sei
\mavergleichskette
{\vergleichskette
{N
}
{ \in }{\N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Die
\definitionsverweis {Untergruppe}{}{}
\mavergleichskettedisp
{\vergleichskette
{ \Gamma_0(N)
}
{ =} { { \left\{ M = \begin{pmatrix} a & b \\ c & d \end{pmatrix} \in \operatorname{SL}_{ 2 } \! { \left( \Z \right) } \mid c = 0\mod N \right\} }
}
{ \subseteq} {\operatorname{SL}_{ 2 } \! { \left( \Z \right) }
}
{ } {
}
{ } {
}
}
{}{}{}
heißt
\definitionswort {Hecke-Kongruenzgruppe}{}
zur Stufe $N$.
}
\inputdefinition
{}
{
Zu
\mavergleichskette
{\vergleichskette
{ N
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
setzt man
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ \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( \Z \right) } \mid a = d = 1 \mod N, \, c = 0 \mod N \right\} }
}
{ \subseteq} { \operatorname{SL}_{ 2 } \! { \left( \Z \right) }
}
{ } {
}
}
{}{}{.}
}
Es ist
\mavergleichskettedisp
{\vergleichskette
{\Gamma (N)
}
{ \subseteq} {\Gamma_1(N)
}
{ \subseteq} { \Gamma_0(N)
}
{ } {
}
{ } {
}
}
{}{}{.}
Bei
\mavergleichskette
{\vergleichskette
{N
}
{ \geq }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist beispielsweise
\mavergleichskette
{\vergleichskette
{ \begin{pmatrix} 1 & N \\ 0 & 1 \end{pmatrix}
}
{ \in }{ \Gamma(N)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{ T
}
{ = }{ \begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix}
}
{ \in }{ \Gamma_1(N)
}
{ }{
}
{ }{
}
}
{}{}{,}
aber
\mavergleichskette
{\vergleichskette
{ \begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix}
}
{ \notin }{ \Gamma(N)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{ \begin{pmatrix} -1 & 0 \\ 0 & -1 \end{pmatrix}
}
{ \in }{ \Gamma_0(N)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
aber
\mavergleichskette
{\vergleichskette
{ \begin{pmatrix} -1 & 0 \\ 0 & -1 \end{pmatrix}
}
{ \notin }{ \Gamma_1(N)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Ferner ist
\mavergleichskette
{\vergleichskette
{ S
}
{ = }{ \begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix}
}
{ \notin }{ \Gamma_1(N)
}
{ }{
}
{ }{
}
}
{}{}{.}
\zwischenueberschrift{Kongruenzuntergruppen und Torsion}
Eine reelle Basis $u,v$ von ${\mathbb C}$ legt ein
\definitionsverweis {Gitter}{}{}
\mavergleichskette
{\vergleichskette
{\Lambda
}
{ = }{ \Z u + \Z v
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und einen
\definitionsverweis {komplexen Torus}{}{}
\mathl{{\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
\mathkor {} {{ \frac{ u }{ N } }} {und} {{ \frac{ v }{ N } }} {}
werden unter der kanonischen Abbildung auf
$N$-\definitionsverweis {Torsionspunkte}{}{}
des komplexen Torus abgebildet. Wegen
Lemma 18.1
ist
\mavergleichskette
{\vergleichskette
{ \operatorname{Tor}_{ N } { \left( {\mathbb C}/\Lambda \right) }
}
{ \cong }{ \Z/(N) \times \Z/(N)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und diese Elemente werden durch
\mathbed {i [ { \frac{ u }{ N } } ] + j [ { \frac{ v }{ N } } ]} {}
{0 \leq i,j < N} {}
{} {} {} {,}
repräsentiert. D.h. die Erzeuger definieren in kanonischer Weise eine
\definitionsverweis {Basis}{}{}
des
$\Z/(N)$-\definitionsverweis {Moduls}{}{}
\mathl{\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
\zusatzklammer {geordnetes} {} {}
Erzeugendensystem eines Gitters einen Datensatz bestehend aus einem komplexen Torus
\zusatzklammer {bzw. der zugehörigen elliptischen Kurve} {} {}
$E$ und einem
\zusatzklammer {geordneten} {} {}
Punktepaar
\mathl{(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
\definitionsverweis {Hauptkongruenzgruppen}{}{}
ergibt.
\inputfaktbeweis
{Hauptkongruenzgruppe/Basis für Torsion/Wirkungsweise/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $N$ eine positive natürliche Zahl. Es sei
\mavergleichskette
{\vergleichskette
{M
}
{ \in }{ \operatorname{SL}_{ 2 } \! { \left( \Z \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und sei $u,v$ eine reelle
\definitionsverweis {Basis}{}{}
von ${\mathbb C}$ mit dem zugehörigen
\definitionsverweis {Gitter}{}{}
$\Lambda$ und dem zugehörigen
\definitionsverweis {komplexen Torus}{}{}
${\mathbb C} /\Lambda$.}
\faktfolgerung {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
\definitionsverweis {Hauptkongruenzgruppe}{}{}
$\Gamma(N)$ gehört.}
\faktzusatz {}
\faktzusatz {}
}
{
Es sei
\mavergleichskettedisp
{\vergleichskette
{M
}
{ =} { \begin{pmatrix} a & b \\ c & d \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die transformierte Basis ist
\mavergleichskette
{\vergleichskette
{ u'
}
{ = }{ au+bv
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ v'
}
{ = }{ cu +dv
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
In
\mathl{{\mathbb C}/\Lambda}{} gelten dann die Beziehungen
\mavergleichskettedisp
{\vergleichskette
{ [ { \frac{ u' }{ N } } ]
}
{ =} { a [ { \frac{ u }{ N } } ] +b [ { \frac{ v }{ N } } ]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ [ { \frac{ v' }{ N } } ]
}
{ =} { c [ { \frac{ u }{ N } } ] +d [ { \frac{ v }{ N } } ]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dies ist eine Identität im $\Z/(N)$-Modul
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{Tor}_{ N } { \left( {\mathbb C}/\Lambda \right) }
}
{ \cong} { \Z/(N) \times \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
\mavergleichskette
{\vergleichskette
{ a
}
{ = }{ d
}
{ = }{ 1
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ b
}
{ = }{ c
}
{ = }{ 0
}
{ }{
}
{ }{
}
}
{}{}{}
vorliegen. Dies bedeutet
\mavergleichskette
{\vergleichskette
{ M
}
{ \in }{ \Gamma(N)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Zu einer Streckung mit
\mavergleichskette
{\vergleichskette
{ s
}
{ \in }{ {\mathbb C} ^{\times}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sind
\mathkor {} {\Lambda} {und} {s \Lambda} {}
verschiedene Gitter, es gibt aber nach
Lemma 9.11
einen kanonischen Isomorphismus
\mavergleichskettedisp
{\vergleichskette
{ {\mathbb C} / \Lambda
}
{ \cong} { {\mathbb C} /s \Lambda
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Eine Gitterbasis $u,v$ wird auf die Gitterbasis
\mathl{su,sv}{} abgebildet und die zugehörige $N$-Torsionsbasis des komplexen Torus wird auf die entsprechende Torsionsbasis abgebildet.
Zu
\mavergleichskette
{\vergleichskette
{\tau
}
{ \in }{ {\mathbb H}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
besteht der Datensatz aus dem komplexen Torus
\mathl{{\mathbb C}/ \langle 1, \tau \rangle}{} und der $N$-Torsionsbasis
\mathl{[ { \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
\mavergleichskette
{\vergleichskette
{M \tau
}
{ = }{ \tau'
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nach
Lemma 9.6
bedeutet, dass
\mathkor {} {{\mathbb C}/ \langle 1, \tau \rangle} {und} {{\mathbb C}/ \langle 1, \tau' \rangle} {}
\definitionsverweis {streckungsäquivalent}{}{}
sind, nicht, dass sie gleich sind. Insbesondere dürfen die beiden
\mathl{[ { \frac{ 1 }{ N } } ]}{} nicht miteinander identifiziert werden.
Auch für die Wirkungsweise von
\mathl{\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.