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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

\setcounter{section}{25}


Ein Polynom
\mavergleichskette
{\vergleichskette
{ F(X,Y) }
{ \in }{ \Z[X,Y] }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} kann man als ein Polynom über jedem Körper auffassen. Zu einem Körper $K$ gibt es einen eindeutig bestimmten \definitionsverweis {Ringhomomorphismus}{}{} \maabb {} {\Z} {K } {} und dieser legt einen Ringhomomorphismus \maabbdisp {} { \Z[X,Y]} { K[X,Y] } {} und somit ein Polynom
\mavergleichskette
{\vergleichskette
{ F(X,Y) }
{ \in }{ K[X,Y] }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} fest. Hierbei werden einfach die Koeffizienten des Polynoms als Elemente in dem Körper $K$ interpretiert. Je nachdem, ob $K$ Charakteristik $0$ oder positive Charakteristik $p$ besitzt, liegt eine Faktorisierung
\mathdisp {\Z \longrightarrow \Q \longrightarrow K} { }
bzw.
\mathdisp {\Z \longrightarrow \Z/(p) \longrightarrow K} { }
vor, wobei die hintere Abbildung eine Körpererweiterung ist. Somit ist es erst einmal wichtig zu verstehen, was mit $F$ geschieht, wenn man zu den Primkörpern \mathkor {} {\Q} {bzw.} {\Z/(p)} {} übergeht. Im zweiten Fall spricht man davon, das Polynom $F$ \zusatzklammer {bzw. die Gleichung bzw. die Kurve} {} {} modulo $p$ zu betrachten. Ein Extremfall liegt vor, wenn in $F$ alle Koeffizienten Vielfache einer Primzahl $p$ sind, denn dann wird $F$ modulo $p$ zum Nullpolynom. Dies kann nicht passieren, wenn die Koeffizienten zusammen teilerfremd sind. Es ist aber ein typisches Phänom, dass modulo $p$ gewisse Koeffizienten bzw. andere Invarianten des Polynoms zu $0$ werden. Da aber eine ganze Zahl nur endlich viele Primteiler besitzt, ist dieses Verhalten ein Ausnahmeverhalten für gewisse Primzahlen. Im Allgemeinen gilt das Prinzip, dass das Verhalten in Charakteristik $0$ mit dem Verhalten modulo $p$ für alle Primzahlen bis auf endlich viele Ausnahmen weitgehend übereinstimmt. Statt für alle Primzahlen bis auf endlich viele Ausnahmen spricht man auch von für fast alle Primzahlen oder für hinreichend große Primzahlen. Dabei hängt aber die Ausnahmemenge stets von der in Frage stehenden Eigenschaft ab.







\zwischenueberschrift{Rationale Punkte und Reduktion}

Bisher haben wir elliptische Kurven über einem Körper betrachtet einschließlich der Frage, wie sich Eigenschaften der Kurve \zusatzklammer {wie der Anzahl der rationalen Punkte} {} {} bei einer Körpererweiterung verhalten. In nahezu allen Beispielen waren aber die elliptische Kurven durch eine Gleichung gegeben, deren Koeffizienten in $\Z$ lagen. Eine solche Gleichung definiert einerseits eine elliptische Kurve über $\Q$ und dann über $\R$, ${\mathbb C}$ und über \zusatzklammer {sämtlichen endlichen oder unendlichen} {} {} Körpererweiterungen von $\Q$ und andererseits, wenn man die Koeffizienten modulo einer Primzahl $p$ auffasst, über den endlichen Körpern $\Z/(p)$ und damit über beliebigen endlichen Körpern. Bei diesem Reduktionsprozess kann für einzelne Primzahlen die Kurve singulär werden, bis auf endlich viele Primzahlen entsteht aber wieder eine glatte Kurve. In dieser Situation kann man Eigenschaften der elliptischen Kurve in Charakteristik $0$ mit Eigenschaften der elliptischen Kurven in positiven Charakteristiken in Verbindung bringen.

Eine wichtige Technik für diese Verbindung ist, dass $\Q$-rationale Punkte der Kurve auch $\Z/(p)$-rationale Punkte definieren. Diese Beziehung gilt, wie Lemma 25.1 zeigt, nicht nur für Kurven, sondern für beliebige projektive Varietäten, und nicht nur, wenn die Koeffizienten aus $\Z$ sind, sondern allgemeiner, wenn sie aus einem \definitionsverweis {Dedekindbereich}{}{} sind.





\inputfaktbeweis
{Projektive Varietät/Dedekindbereich/Rationale Punkte/Fortsetzung/Fakt}
{Lemma}
{}
{

\faktsituation {Es sei $R$ ein \definitionsverweis {Dedekindbereich}{}{} mit \definitionsverweis {Quotientenkörper}{}{}
\mavergleichskette
{\vergleichskette
{Q }
{ = }{Q(R) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und es sei ${\mathfrak m}$ ein \definitionsverweis {maximales Ideal}{}{} von $R$ mit \definitionsverweis {Restekörper}{}{}
\mavergleichskette
{\vergleichskette
{ K }
{ = }{ R/ {\mathfrak m} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.}}
\faktuebergang {Dann gelten folgende Aussagen.}
\faktfolgerung {\aufzaehlungzwei {Es gibt eine natürliche wohldefinierte Abbildung \maabbeledisp {} { {\mathbb P}^{n}_{Q} } { {\mathbb P}^{n}_{K} } { \left( a_0 , \, a_1 , \, \ldots , \, a_n \right) } { \left( ha_0 \mod {\mathfrak m} , \, ha_1\mod {\mathfrak m} , \, \ldots , \, ha_n\mod {\mathfrak m} \right) } {,} wobei $h$ so zu wählen ist, dass
\mavergleichskette
{\vergleichskette
{ha_i }
{ \in }{R_{\mathfrak m} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} für alle $i$ und eines der $ha_i$ in $R_{\mathfrak m}$ eine \definitionsverweis {Einheit}{}{} ist. } {Für eine über $R$ definierte \definitionsverweis {projektive Varietät}{}{}
\mavergleichskette
{\vergleichskette
{Y }
{ \subseteq }{ {\mathbb P}^{n}_{R} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gibt es eine natürliche Abbildung \maabb {} {Y(Q)} {Y(K) } {.} }}
\faktzusatz {}
\faktzusatz {}

}
{

\aufzaehlungzwei {Es sei
\mavergleichskette
{\vergleichskette
{ \left( a_0 , \, a_1 , \, \ldots , \, a_n \right) }
{ \in }{{\mathbb P}^{n}_{Q} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Durch Multiplikation mit einem \definitionsverweis {Hauptnenner}{}{} können wir annehmen, dass alle $a_i$ zu $R$ gehören. Diese Multiplikation ändert nicht den projektiven Punkt. Da $R_{\mathfrak m}$ nach Korollar 22.18 (Zahlentheorie (Osnabrück 2016-2017)) ein \definitionsverweis {diskreter Bewertungsring}{}{} ist, gilt dort mit einer \definitionsverweis {Ortsuniformisierenden}{}{}
\mavergleichskette
{\vergleichskette
{ \pi }
{ \in }{R_{\mathfrak m} }
{ \subseteq }{ Q }
{ }{ }
{ }{ }
} {}{}{} die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ a_i }
{ =} { \pi^{r_i} u_i }
{ } { }
{ } { }
{ } { }
} {}{}{} mit Einheiten
\mavergleichskette
{\vergleichskette
{u_i }
{ \in }{R_{\mathfrak m} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Es sei $r$ das Minimum der $r_i$. Wir multiplizieren das Tupel mit $\pi^{-r}$ und erhalten eine weitere Realisierung des gegebenen Punktes mit der verlangten Eigenschaft \zusatzklammer {nicht alle Koeffizienten gehören notwendigerweise zu $R$, aber zu $R_{\mathfrak m}$} {} {.} Von diesem Tupel kann man koeffizientenweise die Reduktion modulo ${\mathfrak m}$ nehmen. Da ein Koeffizient eine Einheit ist, ist auch die Reduktion eines Koeffizienten eine Einheit und so handelt es sich in der Tat um das homogene Koordinatentupel eines projektiven Punktes über $K$. Wenn man eine weitere Realisierung des Punktes mit den verlangten Eigenschaften betrachtet, so unterscheiden sich diese um einen Faktor, der eine Einheit in $R_{\mathfrak m}$ und somit in $K$ ist. Daher definieren sie den gleichen projektiven Punkt über $K$. } {Die projektive Varietät $Y$ ist durch homogene Polynome mit Koeffizienten aus $R$ gegeben. Diese Polynome kann man modulo ${\mathfrak m}$ interpretieren. Aus
\mavergleichskette
{\vergleichskette
{ F \left( a_0 , \, a_1 , \, \ldots , \, a_n \right) }
{ = }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} folgt direkt, wenn die $a_i$ die Bedingungen aus (1) erfüllen und der Überstrich Restklassenbildung bezeichnet,
\mavergleichskettedisp
{\vergleichskette
{ \overline{ F \left( a_0 , \, a_1 , \, \ldots , \, a_n \right) } }
{ =} { \overline{F} \left( \overline{a_0} , \, \overline{a_1} , \, \ldots , \, \overline{a_n} \right) }
{ =} { 0 }
{ } { }
{ } { }
} {}{}{,} also erfüllt der Punkt modulo ${\mathfrak m}$ die entsprechende Gleichung und gehört zu $Y(K)$. }

}







\inputbemerkung
{}
{

Im Fall
\mavergleichskette
{\vergleichskette
{R }
{ = }{ \Z }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} kann man die Konstruktion aus Lemma 25.1 einfach dadurch realisieren, dass man zu einem Punkt
\mavergleichskette
{\vergleichskette
{ \left( a_0 , \, a_1 , \, \ldots , \, a_n \right) }
{ \in }{ {\mathbb P}^{n}_{\Q} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} \zusatzklammer {bzw. in $Y(\Q)$} {} {} zu einem teilerfremden Tupel aus $\Z$ übergeht und dann die Reduktion modulo einer Primzahl $p$ bestimmt. Dabei ist das teilerfremde Tupel unabhängig von $p$.

}




\inputbeispiel{}
{

Die Aussage Lemma 25.1 gilt nicht, wenn $R$ ein \definitionsverweis {eindimensionaler}{}{} \definitionsverweis {noetherscher}{}{} \definitionsverweis {Integritätsbereich}{}{} ist. Wenn \maabb {} {R} {S } {} die \definitionsverweis {Normalisierung}{}{} ist und über dem \definitionsverweis {maximalen Ideal}{}{}
\mavergleichskette
{\vergleichskette
{ {\mathfrak m} }
{ \subseteq }{ R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} zwei maximale Ideale
\mavergleichskette
{\vergleichskette
{ {\mathfrak p} , {\mathfrak q} }
{ \subseteq }{S }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} liegen \zusatzklammer {siehe Beispiel 2.8 für ein konkretes Beispiel} {} {,} mit
\mavergleichskette
{\vergleichskette
{f }
{ \in }{ {\mathfrak p} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,}
\mavergleichskette
{\vergleichskette
{f }
{ \notin }{ {\mathfrak q} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{ f }
{ = }{ a/b }
{ \in }{ S }
{ }{ }
{ }{ }
} {}{}{} mit
\mavergleichskette
{\vergleichskette
{ a,b }
{ \in }{ R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} so kann man den rationalen Punkt
\mavergleichskette
{\vergleichskette
{ \left( a , \, b \right) }
{ \in }{ {\mathbb P}^{1}_{Q(R)} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} betrachten. Aufgefasst in ${\mathbb P}^{1}_{Q(S)}$ ist
\mavergleichskette
{\vergleichskette
{ \left( a , \, b \right) }
{ = }{ \left( f , \, 1 \right) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} mit dieser Darstellung kann man direkt die Fortsetzungen in
\mathl{{\mathbb P}^{1}_{S/{\mathfrak p}}}{} und in
\mathl{{\mathbb P}^{1}_{S/{\mathfrak q}}}{.} Im ersten Fall ist der Wert der Reduktion von $f$ gleich $0$, im zweiten Fall $\neq 0$, und so kann es keine wohlbestimmte Fortsetzung nach
\mathl{{\mathbb P}^{1}_{R/{\mathfrak m}}}{} geben.


}





\inputfaktbeweis
{Projektive Varietät/Z/Endliche Punktmenge/Reduktion/Fakt}
{Lemma}
{}
{

\faktsituation {Es sei $Y$ eine \definitionsverweis {projektive Varietät}{}{} über $\Z$ und es sei
\mavergleichskette
{\vergleichskette
{ P_1 , \ldots , P_m }
{ \in }{ Y(\Q) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} eine endliche Punktmenge.}
\faktfolgerung {Dann sind für hinreichend große Primzahlen $p$ die Punkte
\mavergleichskette
{\vergleichskette
{\overline{P}_1 , \ldots , \overline{P}_m }
{ \in }{ Y_{ {\mathbb F}_{ p } } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} alle untereinander verschieden.}
\faktzusatz {}
\faktzusatz {}

}
{

Wir können direkt mit Lemma 25.1 annehmen, dass $Y$ der projektive Raum
\mathl{{\mathbb P}^{n}_{\Z}}{} über $\Z$ ist. Ferner können wir jeden Punkt nach Bemerkung 25.2 durch ein teilerfremdes ganzzahliges Tupel repräsentieren, in diesem Fall kann man alle Reduktionen direkt ausrechnen. Die Gleichheit von Punkten
\mavergleichskette
{\vergleichskette
{ P_i }
{ = }{\left( a_{i0} , \, a_{i1} , \, \ldots , \, a_{in} \right) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{ P_j }
{ = }{\left( a_{j0} , \, a_{j1} , \, \ldots , \, a_{jn} \right) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} kann man über die Minoren testen, siehe Aufgabe 3.3. Zu jedem Punkteindexpaar
\mavergleichskette
{\vergleichskette
{1 }
{ \leq }{i }
{ < }{j }
{ \leq }{m }
{ }{ }
} {}{}{} ist für zumindest ein Koeffizientenindexpaar
\mavergleichskette
{\vergleichskette
{0 }
{ \leq }{r }
{ < }{s }
{ \leq }{n }
{ }{ }
} {}{}{} der Ausdruck
\mavergleichskette
{\vergleichskette
{ a_{ir } a_{js} - a_{jr} a_{is} }
{ \neq }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Wenn man $p$ so wählt, dass $p$ kein Teiler von diesen Minoren $\neq 0$ ist, so ergibt sich, dass modulo $p$ die Punkte verschieden bleiben.

}





\inputfaktbeweis
{Elliptische Kurve/Dedekindbereich/Rationale Punkte/Gruppenhomomorphismus/Fakt}
{Korollar}
{}
{

\faktsituation {Es sei $R$ ein \definitionsverweis {Dedekindbereich}{}{} und sei
\mavergleichskette
{\vergleichskette
{E }
{ = }{ V_+(F) }
{ \subseteq }{ {\mathbb P}^{2}_{R} }
{ }{ }
{ }{ }
} {}{}{} durch ein \definitionsverweis {homogenes Polynom}{}{} der Form
\mathl{Y^2Z- X^3-aXZ^2-bZ^3}{} mit
\mavergleichskette
{\vergleichskette
{a,b }
{ \in }{ R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gegeben, das über $Q(R)$ eine \definitionsverweis {elliptische Kurve}{}{} definiert.}
\faktfolgerung {Dann liegt für jedes \definitionsverweis {maximale Ideal}{}{}
\mavergleichskette
{\vergleichskette
{ {\mathfrak m} }
{ \subseteq }{ R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} für das $F$ eine elliptische Kurve über $R/ {\mathfrak m}$ definiert, ein \definitionsverweis {Gruppenhomomorphismus}{}{} \maabbdisp {} { E(Q(R))} { E( R/ {\mathfrak m} ) } {} vor \zusatzklammer {wobei jeweils der Punkt
\mathl{(0,1,0)}{} als neutrales Element genommen wird} {} {.}}
\faktzusatz {}
\faktzusatz {}

}
{

Die Abbildung gibt es aufgrund von Lemma 25.1. Da die Gruppenaddition unter Bezug auf Geraden definiert wird, und da, wieder nach Lemma 25.1, die Eigenschaft, auf einer Geraden zu liegen, unter der Reduktion erhalten bleibt, verträgt sich die Reduktion mit der Gruppenoperation. Dabei ist die Geradengleichung
\mavergleichskette
{\vergleichskette
{ rX+sY+tZ }
{ = }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} so anzusetzen, dass die Koeffizienten in $R_{\mathfrak m}$ teilerfremd sind.

}







\inputbemerkung
{}
{

Eine \definitionsverweis {elliptische Kurve}{}{} über $\Q$ kann man, vorausgesetzt, sie besitzt einen Wendepunkt, nach Lemma 5.3 in einer \definitionsverweis {kurzen Weierstraßform}{}{}
\mavergleichskette
{\vergleichskette
{Y^2 }
{ = }{X^3+aX+b }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} mit
\mavergleichskette
{\vergleichskette
{a,b }
{ \in }{\Z }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} realisieren und erhält so ein Modell der Kurve über $\Z$ und auch für die zugehörigen kubischen Kurven über $\Z/(p)$. Eine Kurve über $\Q$ kann aber durch verschiedene Gleichungen mit ganzzahligen Koeffizienten beschrieben werden, die zu verschiedenen kubischen Kurven über $\Z$ führen. Es ist keineswegs klar, ob und in welchem Sinne es eine optimale Realisierung einer elliptischen Kurve über $\Q$ als eine elliptische Kurve über $\Z$ gibt. Es gibt keine elliptische Kurve über $\Z$, die für jede Primzahl eine glatte Kurve definiert. Ein naheliegender Ansatz ist, dass die realisierende Kurve über $\Z$ für möglichst viele Primzahlen zu einer glatten Kurve führt. Dies ist durchführbar, allerdings darf man sich dabei nicht auf kurze Weierstraßgleichungen beschränken, siehe Aufgabe 25.18. Ein anderer Ansatz, der sich nicht an optimalen kubischen Gleichungen, sondern an der Eigenschaft, überall eine glatte \zusatzklammer {aber nicht notwendigerweise projektive} {} {} Gruppe zu liefern, orientiert, firmiert unter dem Namen \stichwort {Neron-Modell} {.}

}






\zwischenueberschrift{Kongruente Zahlen und der Rang von elliptischen Kurven}

Wir untersuchen weiter den Zusammenhang zwischen kongruenten Zahlen und elliptischen Kurven und knüpfen dabei an Lemma 4.13 und Lemma 4.14 an. Zuerst zeigen wir mit Hilfe der Reduktionstechniken, dass die Torsionsuntergruppen der für die kongruenten Zahlen relevanten elliptischen Kurven minimal sind.





\inputfaktbeweis
{Elliptische Kurve/Kongruente Zahl/Torsion/Fakt}
{Satz}
{}
{

\faktsituation {Es sei
\mavergleichskette
{\vergleichskette
{n }
{ \in }{ \N_+ }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und sei $E$ die durch
\mavergleichskette
{\vergleichskette
{y^2 }
{ = }{x^3-n^2x }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gegebene \definitionsverweis {elliptische Kurve}{}{} über $\Q$.}
\faktfolgerung {Dann ist die \definitionsverweis {Torsionsuntergruppe}{}{} von $E(\Q)$ gleich
\mathl{\Z/(2) \times \Z/(2)}{.}}
\faktzusatz {}
\faktzusatz {}

}
{

Die Punkte
\mathl{(0,0),\, (n,0),\, (-n,0),\, {\mathfrak O }}{} sind vier Punkte, die die angegebene Gruppe bilden, siehe Lemma 18.2. Es ist zu zeigen, dass es darüber hinaus keine weiteren Torsionselemente gibt. Nehmen wir an, dass es weitere Torsionspunkte gibt. Dann gibt es ein Torsionselement ungerader Ordnung oder aber, wenn es kein Torsionselement ungerader Ordnung gibt, ein weiteres Torsionselement, dessen Ordnung eine Zweierpotenz ist. Im ersten Fall besitzt $E(\Q)$ eine Untergruppe ungerader Ordnung und im zweiten Fall eine Untergruppe der Ordnung $8$. Es sei
\mavergleichskettedisp
{\vergleichskette
{ H }
{ =} { \{ P_1 , \ldots , P_m \} }
{ \subseteq} { E(\Q) }
{ } { }
{ } { }
} {}{}{} diese endliche Untergruppe. Nach Lemma 25.4 und Korollar 25.5 ist für jede hinreichend große Primzahl $p$ die Einschränkung der natürlichen Abbildung \maabbdisp {} { E(\Q) } { E( \Z/(p) ) } {} auf $H$ ein injektiver Gruppenhomomorphismus und daher enthält
\mathl{E( \Z/(p) )}{} eine zu $H$ isomorphe Untergruppe. Nach Beispiel 23.12 besitzt
\mathl{E( \Z/(p) )}{} für
\mavergleichskettedisp
{\vergleichskette
{ p }
{ =} { 3 \mod 4 }
{ } { }
{ } { }
{ } { }
} {}{}{} genau $p+1$ Punkte. Für diese Primzahlen muss also $m$ nach Satz 4.16 (Körper- und Galoistheorie (Osnabrück 2018-2019)) ein Teiler von $p+1$ sein, also
\mavergleichskettedisp
{\vergleichskette
{ p }
{ =} { -1 \mod m }
{ } { }
{ } { }
{ } { }
} {}{}{} gelten. Im ersten Fall, also bei $m$ ungerade, führt jede hinreichend große Primzahl, die modulo $4$ den Rest $3$ und modulo $m$ den Rest $1$ besitzt, zu einem Widerspruch. Im zweiten Fall, also bei
\mavergleichskette
{\vergleichskette
{m }
{ = }{8 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} führt jede Primzahl
\mavergleichskettedisp
{\vergleichskette
{p }
{ =} { 3 \mod 8 }
{ } { }
{ } { }
{ } { }
} {}{}{} zu einem Widerspruch. Nach dem Satz von Dirichlet über Primzahlen in arithmetischen Progressionen gibt es jeweils unendlich viele Primzahlen mit den geforderten Eigenschaften, so dass sich also stets ein Widerspruch ergibt.

}






\inputbemerkung
{}
{

Nach einem Satz von Barry Mazur sind die möglichen \definitionsverweis {Torsionsuntergruppen}{}{} von \definitionsverweis {elliptischen Kurven}{}{,} die über $\Q$ definiert sind, bekannt. Es handelt sich um die \definitionsverweis {zyklischen Gruppen}{}{}
\mathl{\Z/(n)}{} mit
\mavergleichskette
{\vergleichskette
{n }
{ = }{ 1,2 , \ldots , 10 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} oder
\mavergleichskette
{\vergleichskette
{n }
{ = }{12 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und die Produktgruppen
\mathl{\Z/(2) \times \Z/(2k)}{} mit
\mavergleichskette
{\vergleichskette
{k }
{ = }{1,2,3,4 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.}

}





\inputfaktbeweis
{Elliptische Kurve/Kongruente Zahl/Eigenschaft zu Verdoppelungspunkt/Fakt}
{Lemma}
{}
{

\faktsituation {Es sei
\mavergleichskette
{\vergleichskette
{n }
{ \in }{ \N_+ }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und sei $E$ die durch
\mavergleichskette
{\vergleichskette
{ y^2 }
{ = }{ x^3-n^2x }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gegebene \definitionsverweis {elliptische Kurve}{}{} über $\Q$. Es sei $P$ ein $\Q$-\definitionsverweis {rationaler Punkt}{}{} auf $E$ mit
\mavergleichskette
{\vergleichskette
{ 2P }
{ \neq }{ {\mathfrak O } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.}}
\faktfolgerung {Dann ist $2P$ ein rationaler Punkt von $E$ mit der Eigenschaft, dass der Nenner der $x$-Koordinate von $2P$ das Quadrat einer rationalen Zahl ist. In diesem Fall ist $n$ eine \definitionsverweis {kongruente Zahl}{}{.}}
\faktzusatz {}
\faktzusatz {}

}
{

Es sei
\mavergleichskette
{\vergleichskette
{ P }
{ = }{ (x,y) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} nach Voraussetzung ist wegen Lemma 18.2
\mavergleichskette
{\vergleichskette
{y }
{ \neq }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Nach der Verdoppelungsformel ist die $x$-Koordinate von $2P$ gleich
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ -2x + \left( \frac{ 3x^2-n^2 }{ 2y } \right)^2 }
{ =} { { \frac{ -8xy^2 + 9x^4 -6x^2n^2 +n^4 }{ (2y)^2 } } }
{ =} { { \frac{ -8x { \left( x^3-n^2x \right) } + 9x^4 -6x^2n^2 +n^4 }{ (2y)^2 } } }
{ =} { { \frac{ -8x^4 + 8 x^2n^2 + 9x^4 - 6x^2n^2 +n^4 }{ (2y)^2 } } }
{ =} { { \frac{ x^4 + 2x^2n^2 + n^4 }{ (2y)^2 } } }
} {
\vergleichskettefortsetzungalign
{ =} { { \frac{ (x^2+n^2)^2 }{ (2y)^2 } } }
{ } {}
{ } {}
{ } {}
} {}{.} Das Ergebnis folgt somit aus Lemma 4.14.

}






\inputfaktbeweis
{Elliptische Kurve/Kongruente Zahl/Rangcharakterisierung/Fakt}
{Satz}
{}
{

\faktsituation {Es sei
\mavergleichskette
{\vergleichskette
{n }
{ \in }{ \N_+ }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und sei $E$ die durch
\mavergleichskette
{\vergleichskette
{y^2 }
{ = }{ x^3-n^2x }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gegebene \definitionsverweis {elliptische Kurve}{}{} über $\Q$.}
\faktfolgerung {Dann ist $n$ genau dann eine \definitionsverweis {kongruente Zahl}{}{,} wenn der \definitionsverweis {Rang}{}{} von $E(\Q)$ zumindest $1$ ist.}
\faktzusatz {}
\faktzusatz {}

}
{

Es sei $n$ eine kongruente Zahl. Nach Lemma 4.13 gibt es einen Punkt auf $E(\Q)$, für den die zweite Koordinate definitiv nicht $0$ ist. Nach Lemma 18.2 ist es daher kein Torsionspunkt der Ordnung $2$ und nach Satz 25.7 kann es sich dabei überhaupt nicht um einen Torsionspunkt der Kurve handeln. Es ist also ein torsionsfreier Punkt und damit ist der Rang zumindest $1$.

Wenn $E(\Q)$ keine Torsionsgruppe ist, so gibt es insbesondere einen Punkt
\mavergleichskette
{\vergleichskette
{ P }
{ \in }{ E(\Q) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} mit
\mavergleichskette
{\vergleichskette
{ 2P }
{ \neq }{ {\mathfrak O } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Nach Lemma 25.9 bedeutet dies, dass $n$ eine kongruente Zahl ist.

}