Kurs:Elliptische Kurven (Osnabrück 2021-2022)/Vorlesung 22/latex
\setcounter{section}{22}
\zwischenueberschrift{Die Höhe unter Morphismen}
\inputfaktbeweis
{Projektive Gerade/Zahlkörper/Absolute Höhe/Rationale Funktion/Abschätzung nach unten/Fakt}
{Satz}
{}
{
\faktsituation {Es sei
\maabbdisp {\varphi} { {\mathbb P}^{1}_{ { \overline{ \Q } } } } { {\mathbb P}^{1}_{ { \overline{ \Q } } }
} {}
ein Morphismus, der durch teilerfremde Polynome
\mavergleichskette
{\vergleichskette
{f,g
}
{ \in }{ { \overline{ \Q } }[X]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegeben ist. Es sei $d$ das Maximum der Grade der Polynome.}
\faktfolgerung {Dann gibt es eine positive Konstante $C$ derart, dass die
\definitionsverweis {absolute Höhe}{}{}
die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{ H( \varphi(P))
}
{ \geq} { C \cdot H(P)^d
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für jeden Punkt
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{ {\mathbb P}^{1}_{ { \overline{ \Q } } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
erfüllt.}
\faktzusatz {}
\faktzusatz {}
}
{
In der homogenen Realisierung des Morphismus seien
\mathl{F_0,F_1}{} die teilerfremden homogenen Polynome vom Grad $d$ in den Variablen $X_0,X_1$. Aufgrund der Teilerfremdheit erzeugen
\mathkor {} {F_0} {und} {F_1} {}
in ${ \overline{ \Q } } [X,Y]$ das maximale Ideal bis auf das
\definitionsverweis {Radikal}{}{,}
d.h. es gibt mit
dem Hilbertschen Nullstellensatz
ein
\mavergleichskette
{\vergleichskette
{e
}
{ \geq }{d
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und Polynome
\mavergleichskette
{\vergleichskette
{ A_{ij}
}
{ \in }{ { \overline{ \Q } } [X,Y]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{X_0^e
}
{ =} { A_{00} F_0+A_{01}F_1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{X_1^e
}
{ =} { A_{10} F_0+A_{11}F_1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Hierbei können wir direkt $A_{ij}$ als homogen vom Grad $e-d$ annehmen. Ferner können wir durch eine endliche Körpererweiterung annehmen, dass alle Polynome über $K$ definiert sind.
Es sei
\mavergleichskette
{\vergleichskette
{v
}
{ \in }{M_K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Betrag, wobei wir im nichtarchimedischen Fall
\mavergleichskette
{\vergleichskette
{ \delta
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und im archimedischen Fall
\mavergleichskette
{\vergleichskette
{ \delta
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
setzen. Es sei
\mavergleichskette
{\vergleichskette
{P
}
{ = }{ (x_0,x_1)
}
{ \in }{ {\mathbb P}^{1}_{K}
}
{ }{
}
{ }{
}
}
{}{}{}
ein Punkt. Es gilt dann
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ \betrag { x_0 }_v^e
}
{ =} { \betrag { A_{00}(P) F_0(P)+A_{01}(P)F_1 (P) }_v
}
{ \leq} { 2^\delta \operatorname{max} \left( \betrag { A_{00}(P) F_0(P) }_v ,\, \betrag { A_{01}(P)F_1 (P) }_v \right)
}
{ =} { 2^\delta \operatorname{max} \left( \betrag { A_{00}(P) }_v \cdot \betrag { F_0(P) }_v ,\, \betrag { A_{01} (P) }_v \cdot\betrag { F_1 (P) }_v \right)
}
{ \leq} { 2^\delta \operatorname{max} \left( \betrag { A_{00}(P) }_v ,\, \betrag { A_{01} (P) }_v \right) \cdot \operatorname{max} \left( \betrag { F_0(P) }_v ,\, \betrag { F_1 (P) }_v \right)
}
}
{}
{}{}
und entsprechend für $x_1^e$, was wir zu
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ \operatorname{max} \left( \betrag { x_0 }_v^e ,\, \betrag { x_1 }_v^e \right)
}
{ \leq} { 2^\delta \operatorname{max} \left( \betrag { A_{ij}(P) }_v {{|}} ij \right) \cdot \operatorname{max} \left( \betrag { F_0(P) }_v ,\, \betrag { F_1 (P) }_v \right)
}
{ } {}
{ } {}
{ } {}
}
{}
{}{}
zusammenfassen.
Wir setzen
\mavergleichskettedisp
{\vergleichskette
{ A_v
}
{ =} { \operatorname{max} \left( \betrag { a }_v {{|}} a \text{ ist Koeffizient von einem } A_{ij} \right)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Da die $A_{ij}$ alle den Grad $e-d$ besitzen, kommt in ihnen eine bestimmte Anzahl, sagen wir $m$ an Monomen vor. Es gilt dann
\mavergleichskettealign
{\vergleichskettealign
{ \betrag { A_{ij}(P) }_v
}
{ \leq} { \betrag { \sum_\mu a_{ij, \mu} x_0^{\mu_0} x_1^{\mu_1} }_v
}
{ \leq} { m^\delta \cdot \operatorname{max} \left( \betrag { a_{ij, \mu} x_0^{\mu_0} x_1^{\mu_1} }_v {{|}} \mu \right)
}
{ \leq} { m^\delta \cdot A_v \cdot \operatorname{max} \left( \betrag { x_0^{e-d} }_v ,\, \betrag { x_1^{e-d} }_v \right)
}
{ } {
}
}
{}
{}{.}
Einsetzen der zweiten Abschätzung in die erste ergibt
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ \operatorname{max} \left( \betrag { x_0 }_v^e ,\, \betrag { x_1 }_v^e \right)
}
{ \leq} { 2^\delta m^\delta \cdot A_v \cdot \operatorname{max} \left( \betrag { x_0^{e-d} }_v ,\, \betrag { x_1^{e-d} }_v \right) \cdot \operatorname{max} \left( \betrag { F_0(P) }_v ,\, \betrag { F_1 (P) }_v \right)
}
{ } {}
{ } {}
{ } {}
}
{}
{}{.}
Multiplikation mit der positiven Zahl
\mathl{\operatorname{max} \left( \betrag { x_0 }_v ,\, \betrag { x_1 }_v \right)^{d-e}}{} ergibt die Abschätzungen
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ \operatorname{max} \left( \betrag { x_0 }_v^d ,\, \betrag { x_1 }_v^d \right)
}
{ \leq} { 2^\delta \cdot m^\delta \cdot A_v \cdot \operatorname{max} \left( \betrag { F_0(P) }_v ,\, \betrag { F_1 (P) }_v \right)
}
{ } {}
{ } {}
{ } {}
}
{}
{}{.}
Es gibt nur endlich viele archimedische Beträge, für die nichtarchimedischen Beträge werden die Faktoren
\mathl{2^\delta \cdot m^\delta}{} zu $1$ und bis auf endlich viele Beträge ist auch
\mavergleichskette
{\vergleichskette
{A_v
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
da die Koeffizienten aller $A_{ij}$ jeweils nur für endlich viele Beträge $\neq 1$ sind. Die Abschätzungen bleiben erhalten, wenn man die Potenzen zu den Exponenten $n_v$ nimmt und man kann dann das Produkt über alle Beträge nehmen. Schließlich geht man durch Wurzelziehen zur absoluten Höhe über.
\inputdefinition
{}
{
Zu
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{ {\mathbb P}^{m}_{} ( { \overline{ \Q } })
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nennt man
\mavergleichskettedisp
{\vergleichskette
{ h(P)
}
{ \defeq} { \ln H(P)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei $H(P)$ die
\definitionsverweis {absolute Höhe}{}{}
von $P$ bezeichnet, die
\definitionswort {logarithmische Höhe}{}
von $P$.
} Für die logarithmische Höhe schreibt man also ein kleines $h$. Die Werte von $h$ liegen in $\R_{\geq 0}$. Wegen der strengen Monotonie des natürlichen Logarithmus gilt Satz 20.10 entsprechend.
\zwischenueberschrift{Die Höhenfunktion auf einer elliptischen Kurve}
Es sei
\mavergleichskettedisp
{\vergleichskette
{E
}
{ =} { V_+(F)
}
{ =} { {\mathbb P}^{2}_{K}
}
{ } {
}
{ } {
}
}
{}{}{}
eine über einem
\definitionsverweis {Zahlkörper}{}{}
$K$ definierte
\definitionsverweis {elliptische Kurve}{}{,}
gegeben durch eine kurze Weierstraßgleichung
\mavergleichskette
{\vergleichskette
{y^2
}
{ = }{ x^3+ax+b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wir wollen auf den Punkten von $E$ eine Höhenfunktion definieren, die im Beweis des Satzes von Mordell-Weil helfen soll. Dazu muss sie gewisse Eigenschaften bezüglich der Addition erfüllen. Wir arbeiten
\zusatzklammer {statt mit der durch die Einbettung gegebene Höhe} {} {}
mit der Abbildung
\maabbeledisp {} {E} { {\mathbb P}^{1}_{K}
} {(x,y,z)} { (x,z)
} {.}
Affin wird also ein Punkt $(x,y)$ einfach auf $x$ projiziert.
\inputfaktbeweis
{Elliptische Kurve/Zahlkörper/Höhenfunktion/Abschätzung für Addition/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $E$ eine
\definitionsverweis {elliptische Kurve}{}{}
über einem
\definitionsverweis {Zahlkörper}{}{}
$K$ und sei
\mavergleichskette
{\vergleichskette
{P
}
{ = }{(x,y,1)
}
{ \in }{E
}
{ }{
}
{ }{
}
}
{}{}{}
ein fixierter Punkt aus $E(K)$.}
\faktfolgerung {Dann gibt es eine Konstante $C$ derart, dass für jeden Punkt
\mavergleichskette
{\vergleichskette
{Q
}
{ \in }{E(K)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die
\definitionsverweis {absolute Höhe}{}{}
die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{H(P+Q)
}
{ \leq} {C \cdot H(Q)^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
erfüllt.}
\faktzusatz {}
\faktzusatz {}
}
{
Wir können annehmen, dass die $x$-Koordinate von $P$ gleich $0$ ist, die Gleichung habe die Form
\mavergleichskettedisp
{\vergleichskette
{y^2
}
{ =} {x^3+rx^2+sx+t
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\zusatzklammer {durch die Verschiebung können wir nicht davon ausgehend, dass
\mavergleichskettek
{\vergleichskettek
{r
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist} {} {,}
es ist also
\mavergleichskette
{\vergleichskette
{P(0,y_1,1)
}
{ = }{
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Es sei
\mavergleichskette
{\vergleichskette
{Q
}
{ = }{(x_2,y_2,1)
}
{ \in }{ E(K)
}
{ }{
}
{ }{
}
}
{}{}{,}
dessen Höhe ist also nach Definition die absolute Höhe von $(x_2,1)$. Es geht darum, eine Höhenabschätzung für $x_3$ zu zeigen, wobei
\mavergleichskettedisp
{\vergleichskette
{ P+Q
}
{ =} { (x_3,y_3,1)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist. Die expliziten Formel für die Koordinaten der Summe liefern
\mavergleichskettealign
{\vergleichskettealign
{x_3
}
{ =} { \alpha^2-r -x_2
}
{ =} { \left( \frac{ y_2-y_1 }{ x_2 } \right)^2 -r -x_2
}
{ =} { { \frac{ x_2^3+rx_2^2+sx_2+t-2y_1y_2 +y_1^2 }{ x_2^2 } } -r -x_2
}
{ } {}
}
{}
{}{,}
siehe
Aufgabe 6.20.
Die Summanden im Bruch haben die Form $x_2,r,sx_2^{-1}, cx_2^{-2}$ und $dy_2 x_2^{-2}$, es ist ja $y_1$ fixiert. Die Höhe dieser ersten Terme kann man wegen
Lemma 21.8
jeweils durch eine Konstante mal $H(x_2)^2$ nach oben abschätzen. Vom zuletzt genannten Term betrachten wir das Quadrat, also
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ y_2^2 }{ x_2^4 } }
}
{ =} { { \frac{ x_2^3 +rx_2^2+sx_2+t }{ x_2^4 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
und es geht wieder darum, die Höhe dieser Summanden nach oben abzuschätzen. Da die Summanden bis auf Konstanten die Form
\mathl{x_2^i}{} mit
\mavergleichskette
{\vergleichskette
{i
}
{ = }{-1,-2,-3,-4
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
besitzen, haben wir insgesamt eine Abschätzung nach oben der Form $\leq C \cdot H(x_2)^4$. Durch Ziehen der Quadratwurzel erhalten wir wieder eine Abschätzung der gewünschten Form.
De folgende Satz besagt, dass bei einer elliptischen Kurve über einem Zahlkörper die über die $x$-Projektion auf die projektive Gerade definierte logarithmische Höhe eine
\definitionsverweis {schwache Höhenfunktion}{}{}
ist.
\inputfaktbeweis
{Elliptische Kurve/Zahlkörper/Höhenfunktion/Existenz/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $E$ eine
\definitionsverweis {elliptische Kurve}{}{}
über einem
\definitionsverweis {Zahlkörper}{}{}
$K$ mit einer Weierstraßgleichung
\mavergleichskettedisp
{\vergleichskette
{y^2
}
{ =} { x^3+ax+b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und zugehöriger Projektion
\maabbele {} {E} { {\mathbb P}^{1}_{}
} {(x,y,z)} { (x,z)
} {.}}
\faktuebergang {Dann erfüllt die zugehörige logarithmische Höhe die folgenden Eigenschaften.}
\faktfolgerung {\aufzaehlungdrei{Zu jedem Punkt
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{E(K)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es eine Konstante $C$ derart, dass für jeden Punkt
\mavergleichskette
{\vergleichskette
{Q
}
{ \in }{E(K)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{h(P+Q)
}
{ \leq} { 2 h(Q) +C
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
erfüllt ist.
}{Es gibt eine Konstante $D$ derart, dass für alle
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{E(K)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{h(2P)
}
{ \geq} { 4 h(P) - D
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt.
}{Zu jeder Schranke $S$ ist
\mathdisp {{ \left\{ P \in E(K) \mid h(P) \leq S \right\} }} { }
endlich.
}}
\faktzusatz {}
\faktzusatz {}
}
{
\aufzaehlungdrei{Das ist die logarithmische Version von Lemma 22.3. }{Dies folgt über den Logarithmus aus Satz 22.1 und der expliziten Formel für die $x$-Koordinate bei der Verdoppelung, siehe Korollar 6.7. }{Dies folgt aus Satz 21.10, da die Abbildung \maabb {} {E} { {\mathbb P}^{1}_{} } {} den Grad $2$ besitzt. }
\zwischenueberschrift{Der Satz von Mordell-Weil}
\inputfaktbeweis
{Elliptische Kurve/Zahlbereich/Satz von Mordell-Weil/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $E$ eine
\definitionsverweis {elliptische Kurve}{}{}
über einem
\definitionsverweis {Zahlkörper}{}{}
$K$.}
\faktfolgerung {Dann ist
\mathl{E(K)}{}
\definitionsverweis {endlich erzeugt}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Dies folgt mit
Lemma 20.3
\zusatzklammer {für
\mavergleichskettek
{\vergleichskettek
{m
}
{ = }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
aus
Satz 19.8
und aus
Satz 22.4.
Der Satz bedeutet also, dass die Gruppe $E(K)$ der $K$-rationalen Punkte die Form
\mavergleichskettedisp
{\vergleichskette
{ E(K)
}
{ \cong} { T \times \Z^r
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
besitzt, wobei $T$ die endliche Torsionsuntergruppe und $r$ der endliche
\definitionsverweis {Rang}{}{}
der elliptischen Kurve ist. Es ist im Allgemeinen schwierig, zu einer gegebenen elliptischen Kurve die Gruppenstruktur und insbesondere den Rang zu bestimmen. Wir erwähnen einige Beispiele.
\inputbeispiel{}
{
Auf der durch
\mavergleichskette
{\vergleichskette
{ y^2
}
{ = }{ x^3-2x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegebenen
\definitionsverweis {elliptischen Kurve}{}{}
gibt es über $\Q$ die beiden
\definitionsverweis {Torsionspunkte}{}{}
\mathl{(0,0) ,\, {\mathfrak O }}{.} Daneben gibt es noch den Punkt
\mathl{(-1,1)}{,} der den torsionsfreien Teil erzeugt. Die Gruppenstruktur ist
\mavergleichskettedisp
{\vergleichskette
{ E(\Q)
}
{ \cong} { \Z/(2) \times \Z
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mathl{\left( -1 , \, 1 \right)}{} ist ein Erzeuger der torsionsfreien Komponente.
}
\inputbeispiel{}
{
Auf der durch
\mavergleichskette
{\vergleichskette
{ y^2
}
{ = }{ x^3+17
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegebenen
\definitionsverweis {elliptischen Kurve}{}{}
gibt es über $\Q$ die beiden unabhängigen Punkte
\mathkor {} {(-2,3)} {und} {(2,5)} {.}
Hier ist
\mavergleichskettedisp
{\vergleichskette
{E(\Q)
}
{ \cong} { \Z \times \Z
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und die angegebenen Punkte sind Erzeuger, der
\definitionsverweis {Rang}{}{}
ist also $2$.
}
\inputbeispiel{}
{
Auf der durch
\mavergleichskette
{\vergleichskette
{ y^2
}
{ = }{ x^3-(2 \cdot 3 \cdot 11 \cdot 19)^2x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegebenen
\definitionsverweis {elliptischen Kurve}{}{}
gibt es über $\Q$ neben den $2$-Torsionspunkten, die den Nullstellen des kubischen Polynoms in $x$ entsprechen
\zusatzklammer {siehe
Lemma 18.2
und
Satz 25.7} {} {,}
die drei unabhängigen Punkte
\mathkor {} {(-98,12376),\, (1650, 43560)} {und} {(109554,36258840)} {.}
Hier ist
\mavergleichskettedisp
{\vergleichskette
{E(\Q)
}
{ \cong} { \Z/(2) \times \Z/(2) \times \Z^3
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
der
\definitionsverweis {Rang}{}{}
ist also $3$.
}
\inputbemerkung
{}
{
Man vermutet, dass es keine allgemeine Schranke für den \definitionsverweis {Rang}{}{} einer \definitionsverweis {elliptischen Kurve}{}{} über $\Q$ gibt. Es ist aber schwierig, elliptische Kurven mit großen Rang anzugeben, der derzeitige Rekord liegt bei Rang $28$.
}
\inputbemerkung
{}
{
Der Satz von Mordell-Weil gilt auch für \definitionsverweis {abelsche Varietäten}{}{} über einem \definitionsverweis {Zahlkörper}{}{} $K$, d.h. auch in diesem Fall ist die Gruppe der $K$-rationalen Punkte $A(K)$ \definitionsverweis {endlich erzeugt}{}{.}
}
Auf der projektiven Geraden
\zusatzklammer {Geschlecht $0$} {} {,}
die ja die Vereinigung der affinen Geraden mit dem unendlich fernen Punkt ist, gibt es, egal über welchem Zahlkörper man sich bewegt, stets einen rationalen Punkt mehr als im Körper. Hier gibt es also keine interessanten Fragen über die Existenz oder die Verteilung von rationalen Punkten. Bei Geschlecht $1$, also den elliptischen Kurven, wird die Frage nach den rationalen Punkten grob durch den Satz von Mordell-Weil beantwortet, auch wenn die Frage nach dem Rang in jedem Einzelfall schwierig bleibt. Im Fall von höherem Geschlecht hat Mordell vermutet, dass es da stets zur endlich viele rationale Punkte gibt. Dies wurde um 1983 von Gerd Faltings bewiesen. Der Beweis geht weit über diese Vorlesung hinaus, er benutzt aber wesentlich abelsche Varietäten.
\inputfakt{Glatte projektive Kurve/Satz von Faltings/Fakt}{Satz}{}
{
\faktsituation {Es sei $C$ eine
\definitionsverweis {projektive}{}{}
\definitionsverweis {glatte Kurve}{}{}
vom
\definitionsverweis {Geschlecht}{}{}
\mavergleichskette
{\vergleichskette
{g(C)
}
{ \geq }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
über einem
\definitionsverweis {Zahlkörper}{}{}
$K$.}
\faktfolgerung {Dann ist die Menge der $K$-rationalen Punkte $K(C)$ endlich.}
\faktzusatz {}
\faktzusatz {}
}
Dies kann man beispielsweise für jede glatte ebene Kurve vom Grad $\geq 4$ anwenden.