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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

\setcounter{section}{19}

In den folgenden Vorlesungen werden wir den Satz von Mordell-Weil beweisen, der besagt, dass zu einer elliptischen Kurve $E$ über einem Zahlbereich $K$ die Gruppe der $K$-rationalen Punkte $E(K)$ eine endlich erzeugte Gruppe ist. Wir zeigen zuerst den sogenannten schwachen Satz von Mordell-Weil, der die Endlichkeit der Restklassengruppe
\mathl{E(K)/2E(K)}{} besagt. Mittels Höhenfunktionen werden wir darauf die endliche Erzeugtheit zurückführen können. Zu diesem Zweck müssen wir Bewertungen und Beträge auf Zahlkörpern studieren und die dadurch gegebenen Höhenfunktionen auf dem projektiven Raum und auf elliptischen Kurven verstehen.






\zwischenueberschrift{Der schwache Satz von Mordell-Weil}

Zu einer \zusatzklammer {additiv geschriebenen} {} {} Gruppe $G$ bezeichnet $2 G$ die Untergruppe derjenigen Elemente, die das Doppelte eines Elementes sind, die also eine Halbierung besitzen. Im Folgenden wird die Restklassengruppe $G/2G$ eine wichtige Rolle spielen. Bei der multiplikativen Gruppe eines \definitionsverweis {Körpers}{}{} ist dies die Restklassengruppe
\mathl{K^{\times} / { \left( K^{\times} \right) }^2}{,} also die Gruppe der Einheiten modulo der Quadrate.




\inputdefinition
{}
{

Es sei
\mavergleichskettedisp
{\vergleichskette
{Y^2 }
{ =} {(X- \lambda_1)(X-\lambda_2)(X-\lambda_3) }
{ } { }
{ } { }
{ } { }
} {}{}{} die Gleichung einer \definitionsverweis {elliptischen Kurve}{}{} $E$ in \definitionsverweis {Zerlegungsform}{}{} über einem \definitionsverweis {Körper}{}{} $K$ mit
\mavergleichskette
{\vergleichskette
{\lambda_1,\lambda_2,\lambda_3 }
{ \in }{K }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Wir definieren die Abbildung \zusatzklammer {und entsprechend $\varphi_2, \varphi_3$} {} {} \maabbdisp {\varphi_1} {E(K) } { K^{\times} / { \left( K^{\times} \right) }^2 } {} durch
\mavergleichskettedisp
{\vergleichskette
{ \varphi_1(P) }
{ =} { \begin{cases} 1, \text{ wenn } P= {\mathfrak O } , \\ (\lambda_1 -\lambda_2)(\lambda_1 - \lambda_3) , \text{ wenn } P= (\lambda_1,0) \, , \\ x- \lambda_1 \text{ sonst } (P = (x,y)) \, .\end{cases} }
{ } { }
{ } { }
{ } { }
} {}{}{}

}





\inputfaktbeweis
{Elliptische Kurve/Produktform/Abbildung/Quadratrestgruppe/Gruppenhomomorphismus/Fakt}
{Lemma}
{}
{

\faktsituation {Es sei
\mavergleichskettedisp
{\vergleichskette
{Y^2 }
{ =} {(X- \lambda_1)(X-\lambda_2)(X-\lambda_3) }
{ } { }
{ } { }
{ } { }
} {}{}{} die Gleichung einer \definitionsverweis {elliptischen Kurve}{}{} $E$ in \definitionsverweis {Zerlegungsform}{}{} über einem \definitionsverweis {Körper}{}{} $K$ mit
\mavergleichskette
{\vergleichskette
{\lambda_1,\lambda_2,\lambda_3 }
{ \in }{K }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.}}
\faktfolgerung {Dann ist die Abbildung \maabbdisp {\varphi_1} {E(K) } { K^{\times} / { \left( K^{\times} \right) }^2 } {} ein \definitionsverweis {Gruppenhomomorphismus}{}{.}}
\faktzusatz {}
\faktzusatz {}

}
{

Seien \mathkor {} {(x_1,y_1)} {und} {(x_2,y_2)} {} Punkte auf $E(K)$ \zusatzklammer {für den unendlich fernen Punkt sind kleine Sonderüberlegungen nötig} {} {.} Es sei
\mavergleichskette
{\vergleichskette
{y }
{ = }{ \alpha x+ \beta }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} eine Gleichung für die Verbindungsgerade zwischen den beiden Punkten bzw. der Tangente. Die Schnittpunkte dieser Geraden mit der Kurve sind durch die Bedingung
\mavergleichskettedisp
{\vergleichskette
{ ( \alpha x + \beta)^2 }
{ =} { (x- \lambda_1)(x- \lambda_2)(x-\lambda_3) }
{ } { }
{ } { }
{ } { }
} {}{}{} gegeben. Dies wird durch \mathkor {} {x_1} {und} {x_2} {} und von der $x$-Koordinate des dritten Schnittpunktes und des Summenpunktes
\mathl{(x_3,y_3)}{} erfüllt. Es ist also
\mavergleichskettedisp
{\vergleichskette
{(x- \lambda_1)(x- \lambda_2)(x-\lambda_3) - ( \alpha x + \beta)^2 }
{ =} { (x-x_1)(x-x_2)(x-x_3) }
{ } { }
{ } { }
{ } { }
} {}{}{.} Wenn man darin
\mavergleichskette
{\vergleichskette
{x }
{ = }{ \lambda_1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} setzt, so erhält man
\mavergleichskettedisp
{\vergleichskette
{ ( \alpha \lambda_1 + \beta)^2 }
{ =} { (x_1- \lambda_1)(x_2 -\lambda_1)(x_3-\lambda_1 ) }
{ } { }
{ } { }
{ } { }
} {}{}{,} also ist
\mavergleichskettedisp
{\vergleichskette
{ x_3 - \lambda_1 }
{ =} { { \frac{ ( \alpha \lambda_1 + \beta)^2 }{ (x_1- \lambda_1)(x_2 -\lambda_1) } } }
{ =} { (x_1- \lambda_1)(x_2 -\lambda_1) }
{ } { }
{ } { }
} {}{}{} modulo der Quadrate.

}






\inputfaktbeweis
{Elliptische Kurve/Produktform/Halbierung/Charakterisierung/Fakt}
{Satz}
{}
{

\faktsituation {Es sei
\mavergleichskettedisp
{\vergleichskette
{ Y^2 }
{ =} { (X- \lambda_1)(X-\lambda_2)(X-\lambda_3) }
{ } { }
{ } { }
{ } { }
} {}{}{} die Gleichung einer \definitionsverweis {elliptischen Kurve}{}{} $E$ in \definitionsverweis {Zerlegungsform}{}{} über einem \definitionsverweis {Körper}{}{} $K$ mit
\mavergleichskette
{\vergleichskette
{\lambda_1,\lambda_2,\lambda_3 }
{ \in }{K }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.}}
\faktfolgerung {Dann ist ein Punkt
\mavergleichskette
{\vergleichskette
{(x,y) }
{ \in }{E(K) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} genau dann ein Verdoppelungspunkt auf $E(K)$, also von der Form
\mavergleichskettedisp
{\vergleichskette
{ (x,y) }
{ =} { 2(z,w) }
{ =} { (z,w) +(z,w) }
{ } { }
{ } { }
} {}{}{} mit
\mavergleichskette
{\vergleichskette
{(z,w) }
{ \in }{E(K) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} wenn die drei Elemente
\mathl{x- \lambda_1, x- \lambda_2 , x-\lambda_3}{} allesamt Quadrate in $K$ sind.}
\faktzusatz {}
\faktzusatz {}

}
{

Es sei $(x,y)$ ein fixierter Punkt der Kurve. Mit der verschobenen Variablen
\mavergleichskettedisp
{\vergleichskette
{X' }
{ =} {X-x }
{ } { }
{ } { }
{ } { }
} {}{}{} können wir die Gleichung als
\mavergleichskettedisp
{\vergleichskette
{Y^2 }
{ =} { (X'+x- \lambda_1) (X'+x- \lambda_2) (X'+x- \lambda_3) }
{ } { }
{ } { }
{ } { }
} {}{}{} schreiben mit den neuen Nullstellen
\mathl{\lambda_i -x}{} der rechten Seite. Die beiden als äquivalent nachzuweisenden Aussagen des Satzes ändern sich bei dieser Transformation nicht. Wir können also annehmen, dass
\mavergleichskette
{\vergleichskette
{x }
{ = }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist. Es ist somit zu zeigen, dass ein Punkt der Form
\mathl{(0,y)}{} genau dann eine Halbierung auf der elliptischen Kurve besitzt, wenn $- \lambda_1, -\lambda_2, -\lambda_3$ Quadrate in $K$ sind.

Unter den Gruppenhomomorphismen $\varphi_1, \varphi_2, \varphi_3$ \zusatzklammer {siehe Lemma 19.2} {} {} wird der Punkt
\mathl{(0,y)}{} auf
\mathl{(- \lambda_1,- \lambda_2, -\lambda_3)}{} abgebildet. Wenn der Punkt eine Halbierung besitzt, so gilt dies auch für den Bildpunkt, und das heißt, dass diese drei Zahlen eine Quadratwurzel besitzen.

Es seien nun umgekehrt $- \lambda_1,-\lambda_2,-\lambda_3$ Quadrate in $K$ und zwar sei
\mavergleichskettedisp
{\vergleichskette
{ - \lambda_i }
{ =} { \mu_i^2 }
{ } { }
{ } { }
{ } { }
} {}{}{.} Es ist dann
\mavergleichskette
{\vergleichskette
{y }
{ = }{ \pm \mu_1 \mu_2 \mu_2 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} wir betrachten den positiven Fall, im negativen Fall kann man ein $\mu_i$ durch $- \mu_i$ ersetzen. Wir behaupten, dass der Punkt
\mathl{(w,z)}{} mit
\mavergleichskettedisp
{\vergleichskette
{w }
{ =} { \mu_1\mu_2 + \mu_1\mu_3 + \mu_2\mu_3 }
{ } { }
{ } { }
{ } { }
} {}{}{} und
\mavergleichskettedisp
{\vergleichskette
{ z }
{ =} { -( \mu_1+\mu_2+\mu_3) w + \mu_1 \mu_2\mu_3 }
{ } { }
{ } { }
{ } { }
} {}{}{} ein Halbierungspunkt von $(0,y)$ ist. Dass dieser Punkt zur Kurve gehört wird in Aufgabe 18.9 gezeigt. Für die Gleichung
\mavergleichskette
{\vergleichskette
{ 2(z,w) }
{ = }{ (0,y) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} siehe Aufgabe 18.10.

}






\inputfaktbeweis
{Elliptische Kurve/Produktform/Faktorieller Ring/Ordnung/Fakt}
{Lemma}
{}
{

\faktsituation {Es sei $R$ ein \definitionsverweis {faktorieller Bereich}{}{,}
\mavergleichskette
{\vergleichskette
{K }
{ = }{Q(R) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} sein \definitionsverweis {Quotientenkörper}{}{} und sei
\mavergleichskettedisp
{\vergleichskette
{Y^2 }
{ =} { (X- \lambda_1)(X-\lambda_2)(X-\lambda_3) }
{ } { }
{ } { }
{ } { }
} {}{}{} die Gleichung einer \definitionsverweis {elliptischen Kurve}{}{} $E$ in \definitionsverweis {Zerlegungsform}{}{} über $K$ mit
\mavergleichskette
{\vergleichskette
{ \lambda_1,\lambda_2,\lambda_3 }
{ \in }{ R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Es sei $p$ ein \definitionsverweis {Primelement}{}{} von $R$, das keines der Elemente
\mathl{\lambda_1-\lambda_2,\, \lambda_1-\lambda_3,\, \lambda_2-\lambda_3}{} teile. Es sei
\mavergleichskette
{\vergleichskette
{P }
{ = }{ (x,y) }
{ \in }{ E(K) }
{ }{ }
{ }{ }
} {}{}{} ein Punkt der Kurve.}
\faktuebergang {Dann ist die \definitionsverweis {Ordnung}{}{} von
\mathl{x -\lambda_j}{} in $p$ gerade.}
\faktfolgerung {}
\faktzusatz {}
\faktzusatz {}

}
{

Wir schreiben
\mathl{\operatorname{ord} \, (f)}{} für die Ordnung eines Elementes
\mathbed {f\in K} {}
{f \neq 0} {}
{} {} {} {,} in $p$. Dies ist die \definitionsverweis {Ordnung}{}{} von $f$ im \definitionsverweis {diskreten Bewertungsring}{}{} $R_{(p)}$ bzw. dessen Quotientenkörper \zusatzklammer {siehe Aufgabe 2.36 und Aufgabe 2.37} {} {.} Aufgrund der Kurvengleichung gilt die Ordnungsbeziehung
\mavergleichskettedisp
{\vergleichskette
{ 2 \operatorname{ord} \, (y ) }
{ =} { \operatorname{ord} \, (y^2 ) }
{ =} { \operatorname{ord} \, ((x-\lambda_1 )(x-\lambda_2 )(x-\lambda_3 )) }
{ =} { \operatorname{ord} \, (x-\lambda_1 ) + \operatorname{ord} \, (x-\lambda_2 ) + \operatorname{ord} \, (x-\lambda_3 ) }
{ } { }
} {}{}{.} Es sei zuerst
\mavergleichskette
{\vergleichskette
{ \operatorname{ord} \, (x-\lambda_1) }
{ < }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Dann ist
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{ord} \, (x-\lambda_1) }
{ =} { \operatorname{ord} \, (x ) }
{ =} { \operatorname{ord} \, (x-\lambda) }
{ } { }
{ } { }
} {}{}{} für überhaupt alle
\mavergleichskette
{\vergleichskette
{\lambda }
{ \in }{R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Somit ist
\mavergleichskettedisp
{\vergleichskette
{ 2 \operatorname{ord} \, (y ) }
{ =} { \operatorname{ord} \, (x-\lambda_1 ) + \operatorname{ord} \, (x-\lambda_2 ) + \operatorname{ord} \, (x-\lambda_3 ) }
{ =} { 3\operatorname{ord} \, (x-\lambda_1 ) }
{ } {}
{ } {}
} {}{}{,} also sind die
\mathl{\operatorname{ord} \, (x-\lambda_j )}{} gerade. Wir können also
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{ord} \, (x-\lambda_1),\operatorname{ord} \, (x-\lambda_2),\operatorname{ord} \, (x-\lambda_3) }
{ \geq} {0 }
{ } { }
{ } { }
{ } { }
} {}{}{} annehmen. Aus
\mavergleichskette
{\vergleichskette
{ \operatorname{ord} \, (x-\lambda_1),\operatorname{ord} \, (x-\lambda_2) }
{ \geq }{1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} würde
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{ord} \, ( \lambda_2-\lambda_1 ) }
{ =} { \operatorname{ord} \, ( -(x-\lambda_2)+(x-\lambda_1) ) }
{ \geq} { 1 }
{ } { }
{ } { }
} {}{}{} folgen im Widerspruch dazu, dass $p$ kein Teiler der Differenzen der Nullstellen ist. Also ist
\mavergleichskette
{\vergleichskette
{ \operatorname{ord} \, (x-\lambda_2), \operatorname{ord} \, (x-\lambda_3) }
{ = }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Dann ist aber
\mavergleichskettedisp
{\vergleichskette
{ 2 \operatorname{ord} \, (y ) }
{ =} { \operatorname{ord} \, (x-\lambda_1 ) + \operatorname{ord} \, (x-\lambda_2 ) + \operatorname{ord} \, (x-\lambda_3 ) }
{ =} { \operatorname{ord} \, (x-\lambda_1 ) }
{ } { }
{ } {}
} {}{}{,} also hat $x-\lambda_1$ wieder gerade Ordnung.

}


Mit der Hilfe von Lemma 19.4 können wir im Zahlkörperfall das Bild von $\varphi_j$ in
\mathl{K^{\times} / { \left( K^{\times} \right) }^2}{} besser eingrenzen. Hierfür sind zwei Hauptergebnisse zu der algebraischen Zahlentheorie entscheidend, nämlich die Endlichkeit der Klassengruppe und der Dirichletsche Einheitensatz.





\inputfaktbeweis
{Elliptische Kurve/Produktform/Gesamtabbildung/Quadratrestgruppe/Faktorieller Ganzheitsring/Fakt}
{Lemma}
{}
{

\faktsituation {Es sei
\mavergleichskettedisp
{\vergleichskette
{Y^2 }
{ =} {(X- \lambda_1)(X-\lambda_2)(X-\lambda_3) }
{ } { }
{ } { }
{ } { }
} {}{}{} die Gleichung einer \definitionsverweis {elliptischen Kurve}{}{} $E$ in \definitionsverweis {Zerlegungsform}{}{} über einem \definitionsverweis {Zahlkörper}{}{} $K$ mit
\mavergleichskette
{\vergleichskette
{\lambda_1,\lambda_2,\lambda_3 }
{ \in }{K }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.}}
\faktfolgerung {Dann gibt es einen \definitionsverweis {faktoriellen Bereich}{}{}
\mavergleichskette
{\vergleichskette
{R }
{ \subseteq }{K }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} mit den folgenden Eigenschaften. \aufzaehlungvier{Es ist
\mavergleichskette
{\vergleichskette
{ Q(R) }
{ = }{ K }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }{Es ist
\mavergleichskette
{\vergleichskette
{ \lambda_1,\lambda_2,\lambda_3 }
{ \in }{ R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }{Die \definitionsverweis {Einheitengruppe}{}{}
\mathl{R^{\times}}{} ist \definitionsverweis {endlich erzeugt}{}{.} }{Zu jedem Punkt
\mavergleichskette
{\vergleichskette
{P }
{ = }{(x,y) }
{ \in }{E(K) }
{ }{ }
{ }{ }
} {}{}{} besitzt
\mavergleichskette
{\vergleichskette
{ \varphi_i(P) }
{ \in }{ K^{\times}/ { \left( K^{\times} \right) }^2 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} eine Darstellung
\mavergleichskette
{\vergleichskette
{ \varphi_i(P) }
{ = }{ u }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} mit
\mavergleichskette
{\vergleichskette
{u }
{ \in }{ R^{\times} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }}
\faktzusatz {}
\faktzusatz {}

}
{

Wir starten mit dem \definitionsverweis {Ganzheitsring}{}{} $A$ von $K$, so dass (1) direkt erfüllt ist. Nach Satz 26.6 (Algebraische Zahlentheorie (Osnabrück 2020-2021)) ist die \definitionsverweis {Klassengruppe}{}{} von $A$ endlich, deshalb gibt es eine \definitionsverweis {Nenneraufnahme}{}{} an einem Element $f$ derart, dass $A_f$ faktoriell ist. Durch eine weitere Nenneraufnahme am Hauptnenner der $\lambda_i$ erreichen wir (2) und durch eine weitere Nenneraufnahme an einem Element erreichen wir, dass die Primteiler von
\mathl{\lambda_i - \lambda_j}{} für
\mavergleichskette
{\vergleichskette
{i }
{ \neq }{j }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} Einheiten im Ring werden. Diese Nenneraufnahme nennen wir $R$. Es ist
\mavergleichskettedisp
{\vergleichskette
{ \varphi_j (P) }
{ =} { [u \cdot p_1^{\alpha_1} \cdots p_n^{\alpha_n} ] }
{ } { }
{ } { }
{ } { }
} {}{}{} in
\mathl{K^{\times} / { \left( K^{\times} \right) }^2}{} mit
\mavergleichskette
{\vergleichskette
{u }
{ \in }{ R^{\times} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und gewissen Primelementen aus $R$ und Exponenten aus $\Z$. Nach Lemma 19.4 sind diese Exponenten aber gerade, also ist (4) erfüllt. Die Eigenschaft (3) folgt aus Satz 28.7 (Algebraische Zahlentheorie (Osnabrück 2020-2021)) in der Version Aufgabe 28.30 (Algebraische Zahlentheorie (Osnabrück 2020-2021)).

}






\inputfaktbeweis
{Elliptische Kurve/Produktform/Gesamtabbildung/Quadratrestgruppe/Eigenschaften/Fakt}
{Lemma}
{}
{

\faktsituation {Es sei
\mavergleichskettedisp
{\vergleichskette
{Y^2 }
{ =} {(X- \lambda_1)(X-\lambda_2)(X-\lambda_3) }
{ } { }
{ } { }
{ } { }
} {}{}{} die Gleichung einer \definitionsverweis {elliptischen Kurve}{}{} $E$ in \definitionsverweis {Zerlegungsform}{}{} über einem \definitionsverweis {Zahlkörper}{}{} $K$ mit
\mavergleichskette
{\vergleichskette
{\lambda_1,\lambda_2,\lambda_3 }
{ \in }{K }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.}}
\faktuebergang {Dann besitzt die Abbildung \maabbdisp {\varphi = (\varphi_1, \varphi_2, \varphi_3)} { E(K)} { K^{\times}/ { \left( K^{\times} \right) }^2 \times K^{\times}/ { \left( K^{\times} \right) }^2 \times K^{\times}/ { \left( K^{\times} \right) }^2 } {} mit $\varphi_i$ wie in Definition 19.1 folgende Eigenschaften.}
\faktfolgerung {\aufzaehlungdrei{$\varphi$ ist ein \definitionsverweis {Gruppenhomomorphismus}{}{.} }{Der Kern von $\varphi$ ist $2 E(K)$. }{Das Bild von $\varphi$ ist endlich. }}
\faktzusatz {}
\faktzusatz {}

}
{

\aufzaehlungdrei{Dies folgt aus Lemma 19.2. }{Es sei
\mavergleichskette
{\vergleichskette
{P }
{ \in }{ E(K) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Bei
\mavergleichskette
{\vergleichskette
{ P }
{ = }{ {\mathfrak O } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} sind beide Seiten der Aussage erfüllt. Sei also
\mavergleichskette
{\vergleichskette
{P }
{ = }{ (x,y) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Nach Satz 19.3 ist $P$ genau dann ein Verdoppelungspunkt auf der Kurve, wenn alle
\mathl{x- \lambda_i}{} Quadrate in $K$ sind. Dies ist bei
\mavergleichskette
{\vergleichskette
{x }
{ \neq }{ \lambda_i }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} direkt die Behauptung. Bei
\mavergleichskette
{\vergleichskette
{x }
{ = }{ \lambda_1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist
\mavergleichskettedisp
{\vergleichskette
{ \varphi( (\lambda_1,0)) }
{ =} { \left( (\lambda_1- \lambda_2) ( \lambda_1- \lambda_3) , \, \lambda_1- \lambda_2 , \, \lambda_1- \lambda_3 \right) }
{ } { }
{ } { }
{ } { }
} {}{}{} und sowohl die Kernbedingung als auch die Halbierungsbedingung aus Satz 19.3 sind genau dann erfüllt, wenn \mathkor {} {\lambda_1- \lambda_2} {und} {\lambda_1- \lambda_3} {} Quadrate sind. }{Nach Lemma 19.5 wird jedes Element des Bildes von einer endlich erzeugten Gruppe repräsentiert. Da
\mathl{K^{\times}/ { \left( K^{\times} \right) }^2}{} eine \definitionsverweis {Torsionsgruppe}{}{} ist, ist das Bild endlich. }

}






\inputfaktbeweis
{Elliptische Kurve/Modulo 2/Körpererweiterung/Fakt}
{Lemma}
{}
{

\faktsituation {Es sei $E$ eine \definitionsverweis {elliptische Kurve}{}{} über einem \definitionsverweis {Körper}{}{} $K$ und es sei
\mavergleichskette
{\vergleichskette
{K }
{ \subseteq }{L }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} eine \definitionsverweis {Galoiserweiterung}{}{.}}
\faktvoraussetzung {Es sei
\mathl{E(L)/2E(L)}{} endlich.}
\faktfolgerung {Dann ist auch
\mathl{E(K)/2E(K)}{} endlich.}
\faktzusatz {}
\faktzusatz {}

}
{

Wir zeigen, dass der Kern $H$ der natürlichen Abbildung \maabbdisp {} { E(K)/2E(K)} { E(L)/2E(L) } {} endlich ist, woraus die Behauptung folgt. Es sei $\operatorname{Tor}_{ 2 } { \left( E (L) \right) }$ die Untergruppe der Torsionselemente zur Ordnung $2$, die nach Korollar 18.4 endlich ist und es sei $G$ die Galoisgruppe von $L$ über $K$. Es sei
\mavergleichskette
{\vergleichskette
{P }
{ \in }{H }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} repräsentiert durch
\mavergleichskette
{\vergleichskette
{P }
{ \in }{E(K) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Nach Voraussetzung ist $P$ in $E(L)$ das Doppelte eines Punktes
\mavergleichskette
{\vergleichskette
{Q }
{ \in }{E(L) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Wir wählen zu jedem $P$ einen solchen Punkt $Q$ und definieren damit die Abbildung \maabbeledisp {\theta_P} { G } {\operatorname{Tor}_{ 2 } { \left( E (L) \right) } } {\varphi} { \varphi^*(Q)-Q } {,} wobei wir die zu $\varphi$ gehörigen Automorphismen $\varphi^*$ auf der Kurve betrachten, siehe Aufgabe 13.27. Wir behaupten, dass die Zuordnung \maabbeledisp {} { H} { \operatorname{Abb} \, { \left( G , \operatorname{Tor}_{ 2 } { \left( E (L) \right) } \right) } } {P} { \theta_p } {,} injektiv ist. Seien also
\mavergleichskette
{\vergleichskette
{P,P' }
{ \in }{H }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} repräsentiert von
\mavergleichskette
{\vergleichskette
{P,P' }
{ \in }{E(K) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und mit Halbierungspunkten
\mavergleichskette
{\vergleichskette
{Q,Q' }
{ \in }{E(L) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Die Gleichheit
\mavergleichskette
{\vergleichskette
{ \theta_P }
{ = }{ \theta_{P'} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} bedeutet
\mavergleichskettedisp
{\vergleichskette
{ \varphi^*(Q)-Q }
{ =} { \varphi^*(Q') - Q' }
{ } { }
{ } { }
{ } { }
} {}{}{} für alle
\mavergleichskette
{\vergleichskette
{\varphi }
{ \in }{G }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Dies bedeutet nach Aufgabe 13.28
\mavergleichskettedisp
{\vergleichskette
{ \varphi^*(Q'-Q) }
{ =} { Q'-Q }
{ } { }
{ } { }
{ } { }
} {}{}{} für alle
\mavergleichskette
{\vergleichskette
{\varphi }
{ \in }{G }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} D.h., dass $Q'-Q$ invariant unter der Galoisgruppe ist und daher gemäß Aufgabe 13.25 zu $E(K)$ gehört. Also ist
\mavergleichskettedisp
{\vergleichskette
{ P'-P }
{ =} { 2Q'-2Q }
{ =} { 2(Q'-Q) }
{ } { }
{ } { }
} {}{}{} und somit ist
\mavergleichskette
{\vergleichskette
{ [P'] }
{ = }{ [P] }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} in
\mathl{E(K)/2E(K)}{.} Wegen der Endlichkeit der Abbildungsmenge zwischen den endlichen Mengen \mathkor {} {G} {und} {\operatorname{Tor}_{ 2 } { \left( E (L) \right) }} {} ist auch
\mathl{E(K)/2E(K)}{} endlich.

}







\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Louis Mordell.eps} }
\end{center}
\bildtext {Louis Mordell (1888-1972)} }

\bildlizenz { Louis Mordell.jpeg } {} {Momotaro} {Commons} {CC-by-sa2.0} {}

Der folgende Satz heißt der schwache Satz von Mordell-Weil.





\inputfaktbeweis
{Elliptische Kurve/Zahlkörper/Mordell-Weil/Schwach/Fakt}
{Satz}
{}
{

\faktsituation {Es sei $E$ eine \definitionsverweis {elliptische Kurve}{}{} $E$ über einem \definitionsverweis {Zahlkörper}{}{} $K$.}
\faktfolgerung {Dann ist
\mathl{E(K)/2 E(K)}{} endlich.}
\faktzusatz {}
\faktzusatz {}

}
{

Es sei
\mavergleichskettedisp
{\vergleichskette
{y^2 }
{ =} {x^3+ax+b }
{ } { }
{ } { }
{ } { }
} {}{}{} eine kurze Weierstraßgleichung für $E$ über $K$. Das Polynom
\mathl{x^3+ax+b}{} besitzt in einer endlichen Galoiserweiterung \zusatzklammer {siehe Lemma 11.5 (Körper- und Galoistheorie (Osnabrück 2018-2019)) und Satz 16.6 (Körper- und Galoistheorie (Osnabrück 2018-2019))} {} {}
\mavergleichskette
{\vergleichskette
{K }
{ \subseteq }{L }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} drei Nullstellen. Nach Lemma 19.7 können wir die Endlichkeit über $L$ nachweisen, d.h. wir können davon ausgehen, dass die Gleichung in der Form
\mavergleichskettedisp
{\vergleichskette
{ y^2 }
{ =} { (x- \lambda_1) (x- \lambda_2) (x- \lambda_3) }
{ } { }
{ } { }
{ } { }
} {}{}{} vorliegt. Den neuen Körper nennen wir wieder $K$. Nach Lemma 19.6 ist
\mavergleichskettedisp
{\vergleichskette
{ E(K)/2E(K) }
{ \cong} { \operatorname{bild} \varphi }
{ } { }
{ } { }
{ } { }
} {}{}{} endlich.

}