Elliptische Kurve

Die Theorie der elliptischen Kurven entwickelte sich zunächst im Kontext der Funktionentheorie. Bei verschiedenen geometrischen oder physikalischen Problemen – so zum Beispiel bei der Bestimmung der Bogenlänge von Ellipsen – treten elliptische Integrale auf. Zu diesen Integralfunktionen konnten Umkehrfunktionen bestimmt werden. Diese meromorphen Funktionen wurden aufgrund dieses Kontextes als elliptische Funktionen bezeichnet (für deren Geschichte siehe dort). Wie weiter unten dargestellt wird, kann man mittels elliptischer Funktionen auf eindeutige Weise jeder elliptischen Kurve über dem Körper der komplexen Zahlen ${\displaystyle \mathbb {C} }$ einen Torus zuordnen. Auf diese Weise können dann die elliptischen Kurven klassifiziert werden und aufgrund dieses Zusammenhangs haben sie ihren Namen erhalten.

Seit dem Ende des 19. Jahrhunderts stehen arithmetische und zahlentheoretische Fragestellungen im Zentrum der Theorie. Es konnte gezeigt werden, dass elliptische Kurven sinnvoll auf allgemeinen Körpern definiert werden können, und es wurde – wie zuvor schon beschrieben – gezeigt, dass eine elliptische Kurve als kommutative Gruppe interpretiert werden kann (was auf Henri Poincaré zurückgeht).[1]

In den 1990er Jahren konnte Andrew Wiles nach Vorarbeiten von Gerhard Frey und anderen mittels der Theorie der elliptischen Kurven die fermatsche Vermutung aus dem 17. Jahrhundert beweisen.

Der zweidimensionale Raum der ${\displaystyle K}$-rationalen projektiven Punkte ist definiert als

${\displaystyle \mathbb {P} ^{2}(K)=\{(X,Y,Z)|X,Y,Z\in K{\text{ nicht alle gleich 0}}\}/\!{\sim }}$

mit der Äquivalenzrelation

${\displaystyle (X_{1},Y_{1},Z_{1})\sim (X_{2},Y_{2},Z_{2})\Leftrightarrow \exists \lambda \in K^{\ast }:(X_{1},Y_{1},Z_{1})=(\lambda X_{2},\lambda Y_{2},\lambda Z_{2})}$.

Punkte aus ${\displaystyle \mathbb {P} ^{2}(K)}$ werden üblicherweise als ${\displaystyle (X:Y:Z)}$ notiert, um sie von Punkten im dreidimensionalen affinen Raum zu unterscheiden.

Die projektive Ebene ${\displaystyle \mathbb {P} ^{2}(K)}$ kann dargestellt werden als Vereinigung der Menge

${\displaystyle \{(X:Y:1)|X,Y\in K\}}$

mit der durch ${\displaystyle Z=0}$ erzeugten Hyperebene ${\displaystyle H}$ von ${\displaystyle \mathbb {P} ^{2}(K)}$:

${\displaystyle H=\{(X:Y:0)|X,Y\in K{\text{ nicht beide gleich 0}}\}}$

Um projektive Kubiken in der affinen Ebene darzustellen, identifiziert man dann für ${\displaystyle Z\neq 0}$ den projektiven Punkt ${\displaystyle (X:Y:Z)=\left({\frac {X}{Z}}:{\frac {Y}{Z}}:1\right)=(x:y:1)}$ mit dem affinen Punkt ${\displaystyle (x,y)}$.

Im Fall einer elliptischen Kurve hat die (projektive) Polynomgleichung genau eine Lösung mit ${\displaystyle Z=0}$, nämlich den Punkt im Unendlichen ${\displaystyle {\mathcal {O}}=(0:1:0)}$.

${\displaystyle E}$ heißt elliptische Kurve über dem Körper ${\displaystyle K}$, falls eine der folgenden (paarweise äquivalenten) Bedingungen erfüllt ist:

• ${\displaystyle E}$ ist eine glatte projektive Kurve über ${\displaystyle K}$ vom Geschlecht 1 mit einem Punkt ${\displaystyle {\mathcal {O}}}$, dessen Koordinaten in ${\displaystyle K}$ liegen.
• ${\displaystyle E}$ ist eine glatte projektive Kubik über ${\displaystyle K}$ mit einem Punkt ${\displaystyle {\mathcal {O}}}$, dessen Koordinaten in ${\displaystyle K}$ liegen.
• ${\displaystyle E}$ ist eine glatte, durch eine Weierstraß-Gleichung

${\displaystyle Y^{2}Z+a_{1}XYZ+a_{3}YZ^{2}=X^{3}+a_{2}X^{2}Z+a_{4}XZ^{2}+a_{6}Z^{3}}$

gegebene projektive Kurve mit Koeffizienten ${\displaystyle a_{i}\in K}$. Schreibt man

${\displaystyle F(X,Y,Z)=Y^{2}Z+a_{1}XYZ+a_{3}YZ^{2}-X^{3}-a_{2}X^{2}Z-a_{4}XZ^{2}-a_{6}Z^{3},}$

so ist ${\displaystyle E}$ gerade die Nullstellenmenge des homogenen Polynoms ${\displaystyle F\in K[X,Y,Z]}$. (Beachte: Der Punkt ${\displaystyle (0:1:0)={\mathcal {O}}}$ erfüllt auf jeden Fall die Polynomgleichung, liegt also auf ${\displaystyle E}$.)

Fasst man ${\displaystyle E}$ als affine Kurve auf, so erhält man eine affine Weierstraß-Gleichung

${\displaystyle y^{2}+a_{1}xy+a_{3}y=x^{3}+a_{2}x^{2}+a_{4}x+a_{6}}$

(in langer Weierstraß-Form / Weierstraßnormalform) bzw. ein affines Polynom ${\displaystyle f(x,y)=y^{2}+a_{1}xy+a_{3}y-x^{3}-a_{2}x^{2}-a_{4}x-a_{6}\in K[x,y]}$. In diesem Fall ist ${\displaystyle E}$ gerade die Menge der (affinen) Punkte, die die Gleichung erfüllen, zusammen mit dem sogenannten „unendlich fernen Punkt“ ${\displaystyle {\mathcal {O}}}$, auch als ${\displaystyle \infty }$ geschrieben.

Schaubild beispielhafter Kurven

• ${\displaystyle E_{1}\colon y^{2}=x^{3}-x+1}$ und ${\displaystyle E_{2}\colon y^{2}=x^{3}+2x-{\sqrt {3}}}$ sind elliptische Kurven über ${\displaystyle \mathbb {R} }$, da ${\displaystyle \Delta _{E_{1}}=4-27=-23\neq 0}$ und ${\displaystyle \Delta _{E_{2}}=-32-81=-113\neq 0}$ sind.
• ${\displaystyle E\colon y^{2}=x^{3}-x}$ ist eine elliptische Kurve sowohl über ${\displaystyle \mathbb {Q} }$ als auch über ${\displaystyle \mathbb {R} }$, da die Diskriminante ${\displaystyle \Delta _{E}=4\neq 0}$ ist. Über einem Körper mit Charakteristik ${\displaystyle 2}$ dagegen ist ${\displaystyle \Delta _{E}=0}$ und ${\displaystyle E}$ singulär, also keine elliptische Kurve.
• ${\displaystyle E\colon y^{2}=x^{3}+1}$ ist über jedem Körper mit Charakteristik ungleich ${\displaystyle 3}$ eine elliptische Kurve, da ${\displaystyle \Delta _{E}=-27=-3^{3}\neq 0}$ ist.

Über den reellen Zahlen gibt die Diskriminante eine Information über die Form der Kurve in der affinen Ebene. Für ${\displaystyle \Delta _{E}>0}$ besteht der Graph der elliptischen Kurve ${\displaystyle E}$ aus zwei Komponenten (linke Abbildung), für ${\displaystyle \Delta _{E}<0}$ hingegen nur aus einer einzigen Komponente (rechte Abbildung).

Elliptische Kurven haben die Besonderheit, dass sie bezüglich der in diesem Abschnitt beschriebenen punktweisen Addition kommutative Gruppen sind. Im ersten Unterabschnitt wird diese Addition geometrisch veranschaulicht, bevor sie dann in den folgenden Abschnitten weiter formalisiert wird.

Addition zweier verschiedener Punkte

Addition auf der elliptischen Kurve ${\displaystyle y^{2}=x^{3}+1}$

Seien ${\displaystyle P=(x_{P},y_{P})}$ und ${\displaystyle Q=(x_{Q},y_{Q})}$ die Komponenten der Punkte ${\displaystyle P}$ und ${\displaystyle Q}$. Mit ${\displaystyle R}$ wird das Ergebnis der Addition ${\displaystyle R:=P+Q:=(x_{R},y_{R})}$ bezeichnet. Dieser Punkt ${\displaystyle R}$ hat also die Komponenten ${\displaystyle (x_{R},y_{R})}$. Außerdem setze

${\displaystyle s:={\frac {y_{P}-y_{Q}}{x_{P}-x_{Q}}}}$.

Dann ist die Addition ${\displaystyle P+Q=(x_{R},y_{R})}$ durch

• ${\displaystyle x_{R}:=s^{2}-x_{P}-x_{Q}}$ und
• ${\displaystyle y_{R}:=-y_{P}+s(x_{P}-x_{R})}$

definiert.

Die beiden Punkte ${\displaystyle P}$ und ${\displaystyle Q}$ dürfen nicht dieselbe ${\displaystyle x}$-Koordinate besitzen, da es sonst nicht möglich ist, die Steigung ${\displaystyle s}$ zu berechnen, da dann entweder ${\displaystyle P=Q}$ oder ${\displaystyle P=-Q}$ gilt. Bei der Addition ${\displaystyle P+(-P)}$ erhält man ${\displaystyle s={\tfrac {2y_{P}}{0}}}$, wodurch das Ergebnis als ${\displaystyle \infty }$ (neutrales Element) definiert ist. Dadurch ergibt sich auch, dass ${\displaystyle P}$ und ${\displaystyle -P}$ zueinander invers bezüglich der Punktaddition sind. Ist ${\displaystyle P=Q}$, handelt es sich um eine Punktverdoppelung.

Interpretiert man wie üblich die komplexen Zahlen als Elemente der gaußschen Zahlenebene, so stellen elliptische Kurven über den komplexen Zahlen eine zweidimensionale Fläche dar, die in den vierdimensionalen ${\displaystyle \mathbb {C} ^{2}}$ eingebettet ist. Obwohl sich solche Flächen der Anschauung entziehen, lassen sich dennoch Aussagen über ihre Gestalt treffen, wie zum Beispiel über das Geschlecht der Fläche, in diesem Fall (Torus) vom Geschlecht 1.

Bezug zu ebenen Kubiken

Eine elliptische Kurve ist in der komplexen Ebene durch eine elliptische Funktion definiert über deren Werte in einem Gitter ${\displaystyle \Gamma }$, das durch die komplexen Perioden ${\displaystyle \omega _{1}}$ und ${\displaystyle \omega _{2}}$ aufgespannt ist. Eingezeichnet sind auch die Torsionspunkte vierter Ordnung, die einem Gitter ${\displaystyle 1/4\ \Gamma }$ entsprechen

Die Funktionen, die elliptische Kurven parametrisieren, bilden eine große Familie und haben besondere Eigenschaften. Da sie auf einer Ebene und nicht nur auf einer Zahlengeraden definiert sind, kann man ihnen sogar Periodizität in zwei Richtungen gleichzeitig abverlangen. Genannt werden diese Funktionen auch p-Funktionen. Man verwendet für sie die Bezeichnung ${\displaystyle \wp (z)}$, wobei für den komplexen Parameter die Bezeichnung ${\displaystyle z}$ üblicher als ${\displaystyle t}$ ist.[2]

Ist ${\displaystyle \Gamma }$ ein Gitter in der komplexen Zahlenebene, so definieren die zugehörige Weierstraßsche ℘-Funktion und ihre Ableitung eine Einbettung

${\displaystyle \mathbb {C} /\Gamma \to \mathbb {P} ^{2}(\mathbb {C} ),\quad z\mapsto (1:\wp (z):\wp '(z))}$,

deren Bild die nichtsinguläre Kubik

${\displaystyle y^{2}=4x^{3}-g_{2}(\Gamma )x-g_{3}(\Gamma )}$

ist. Jede nichtsinguläre ebene Kubik ist isomorph zu einer Kubik, die auf diese Weise entsteht.

• 
  Im Gegensatz zum Sinus oder Kosinus sind ${\displaystyle p}$-Funktionen sogar doppeltperiodisch, wie man an diesem Bild erkennen kann
• 
  Es ist für jede ${\displaystyle p}$-Funktion nur entscheidend, welche Werte sie auf einer Periodenmasche annimmt. In alle Richtungen werden sich die Ausgaben wiederholen. Daher bildet eine solche Masche den Parametervorrat für eine elliptische Kurve.
• 
  Die Masche kann wie folgt zu einem Donut verformt werden. Wegen der Periodizität lassen sich gegenüberliegende Seiten zusammenkleben, da die dortigen Parameter die gleichen Punkte auf der Kurve liefern. Es kann argumentiert werden, dass es eine vollkommene 1:1-Beziehung zwischen Punkten auf der Periodenmasche und der elliptischen Kurve gibt, womit es legitim ist, sich eine elliptische Kurve wie eine perfekte Donutoberfläche vorzustellen.

Auch analog zu Sinus und Kosinus findet man, dass die zu ${\displaystyle x=\wp (z)}$ gehörige ${\displaystyle y}$-Koordinate die Ableitung von ${\displaystyle \wp (z)}$ ist, also ${\displaystyle y=\wp '(z)}$. Diese ist wieder eine doppeltperiodische Funktion und es gilt ${\displaystyle \wp '(z)^{2}=4\wp (z)^{3}+a\wp (z)+b}$ (hier ist zwar noch eine 4 vor dem ${\displaystyle x}$, aber diese kann durch Umformungen eliminiert werden). Diese Gleichung ähnelt ${\displaystyle \sin(z)^{2}+\cos(z)^{2}=1}$ und kann über den Ansatz ${\displaystyle \wp '(z)^{2}-4\wp (z)^{3}-a\wp (z)-b=0}$ begründet werden. Es lässt sich zeigen, dass die linke Funktion auf der Periodenmasche beschränkt ist und eine Nullstelle hat, und aus einem Satz der Funktionentheorie folgt dann mittels der Doppeltperiodizität bereits, dass sie konstant den Wert 0 annimmt.

Bei diesem Verfahren muss darauf geachtet werden, dass die Wahl der p-Funktion (und damit die Wahl der passenden Periodenmasche) entscheidend von den Zahlen ${\displaystyle a}$ und ${\displaystyle b}$ in der Gleichung ${\displaystyle y^{2}=4x^{3}+ax+b}$ abhängt.[3]

Die elliptische Funktion ist über ihre Weierstraßform in einem Gitter ${\displaystyle \Gamma }$ der komplexen Ebene definiert, da die Funktion doppeltperiodisch ist (Perioden ${\displaystyle \omega _{1}}$, ${\displaystyle \omega _{2}}$, beides komplexe Zahlen, ${\displaystyle r\cdot \omega _{1}\neq \omega _{2}}$ für ein reelles ${\displaystyle r}$). Die Ränder des Gitters werden identifiziert, was geometrisch einen Torus ergibt. Durch die obige Abbildung wird das Gitter in die komplexe projektive Ebene abgebildet und die Addition von Punkten im Quotientenraum (Torus) ${\displaystyle \mathbb {C} /\Gamma }$ überträgt sich als Gruppenhomomorphismus auf die elliptische Kurve in der projektiven Ebene, was das oben erläuterte „Additionsgesetz“ von Punkten auf der Kurve ergibt.

Punkte von endlicher Ordnung im Gitter heißen Torsionspunkte. Ein Torsionspunkt ${\displaystyle n}$-ter Ordnung entspricht den Punkten

${\displaystyle {\frac {k}{n}}\omega _{1}+{\frac {l}{n}}\omega _{2}}$

mit ${\displaystyle k,l=0,\dotsc ,n-1}$. In der Abbildung ist der Fall ${\displaystyle n=4}$ dargestellt. Bezüglich des oben definierten Additionsgesetzes für Punkte auf elliptischen Kurven gilt für einen ${\displaystyle n}$-Torsionspunkt ${\displaystyle P}$ die Gleichung ${\displaystyle n\cdot P=\infty }$.

Die Addition von Punkten elliptischer Kurven ermöglicht es, aus einfachen (geratenen) Lösungen einer kubischen Gleichung weitere Lösungen zu berechnen, die in der Regel weitaus größere Zähler und Nenner ${\displaystyle (n^{2},n^{3})}$ haben als die Ausgangslösungen (und deshalb kaum durch systematisches Probieren zu finden wären).

Zum Beispiel für die über ${\displaystyle \mathbb {Q} }$ definierte elliptische Kurve

${\displaystyle y^{2}=x^{3}-63}$

findet man durch Raten die Lösung ${\displaystyle P=(x,y)=(4,1)}$ und daraus durch Addition auf der elliptischen Kurve die Lösung ${\displaystyle 2P=(568,-13537)}$ sowie durch weitere Addition auf der elliptischen Kurve dann noch erheblich „größere“ Lösungen. Das ergibt sich aus

${\displaystyle h(2P)=4h(P)+O(1)}$

für Punkte mit ganzzahligen Koordinaten auf elliptischen Kurven über ${\displaystyle \mathbb {Q} }$ unter Verwendung der Koordinatenform des Additionsgesetzes (siehe oben). Dabei ist ${\displaystyle h}$ die für ganzzahlige Punkte durch ${\displaystyle h(x,y)=\log \left|x\right|}$ definierte Höhe.

Die Gruppe der rationalen Punkte ${\displaystyle P}$ auf ${\displaystyle E}$ einschließlich ${\displaystyle \infty }$ ist die Mordell-Weil-Gruppe ${\displaystyle E(\mathbb {Q} )}$. Nach dem Satz von Mordell-Weil ist ${\displaystyle E(\mathbb {Q} )}$ endlich erzeugt und es gilt ${\displaystyle E(\mathbb {Q} )=\mathbb {T} \times \mathbb {Z} ^{r}}$, wobei ${\displaystyle \mathbb {T} =E(\mathbb {Q} )_{\text{tors}}}$ die Torsionsuntergruppen sind und ${\displaystyle r}$ den (algebraischen) Rang[4] der elliptischen Kurve bezeichnet. Somit kann jeder Punkt ${\displaystyle P=n_{1}P_{1}+...+n_{r}P_{r}+Q}$ mit festen ${\displaystyle P_{1},\ldots ,P_{r}}$ sowie ${\displaystyle Q}$ aus einem endlichen Lösungsvorrat geschrieben werden.[5] Allgemeiner für einen Körper ${\displaystyle K}$ bezeichnet die Gruppe ${\displaystyle E(K)[N]}$ alle K-rationalen Punkte, deren Ordnung ein Teiler von ${\displaystyle N\in \mathbb {N} }$ ist.

Nach dem Satz von Lutz und Nagell (Élisabeth Lutz, Trygve Nagell, Mitte der 1930er Jahre) gilt für die Torsionspunkte, also die Punkte ${\displaystyle P=(x,y)}$ endlicher Ordnung (also die Elemente der Torsionsuntergruppen), dass ${\displaystyle x,y\in \mathbb {Z} }$ und entweder ${\displaystyle y=0}$ (dann ist ${\displaystyle P}$ von der Ordnung 2) oder ${\displaystyle y^{2}\mid D}$, das heißt, ${\displaystyle y^{2}}$ teilt ${\displaystyle D}$ (wobei ${\displaystyle D}$ die Diskriminante ist). Das ermöglicht es, die Torsionsuntergruppen ${\displaystyle \mathbb {T} }$ zu berechnen.

Die möglichen Torsionsuntergruppen für elliptische Kurven über den rationalen Zahlen wurden von Barry Mazur klassifiziert in einem schwierigen Beweis (Satz von Mazur (Elliptische Kurven)). Danach kann bei einem Punkt der Ordnung ${\displaystyle N}$ die Zahl ${\displaystyle N}$ einen der Werte 1 bis 10 oder 12 annehmen.

Mit dem Satz von Lutz und Nagell und dem von Mazur hat man einen Algorithmus zur Bestimmung der Elemente ${\displaystyle P=(x,y)}$ der Torsionsgruppe ${\displaystyle \mathbb {T} }$ einer elliptischen Kurve ${\displaystyle y^{2}=f(x)}$ über den rationalen Zahlen ${\displaystyle \mathbb {Q} }$:[6]

• Man finde ${\displaystyle y^{2}\mid D}$ mit der Diskriminante ${\displaystyle D}$ der Kurve.
• Man bestimme die zugehörigen ${\displaystyle x}$ aus der Gleichung der Kurve und hat so die Koordinaten von ${\displaystyle P}$.
• Man berechne ${\displaystyle nP}$ mit ${\displaystyle n=1,\dotsc ,10,12}$ (nach dem Satz von Mazur), ist ${\displaystyle nP=\infty }$ (wobei hier die Notation ${\displaystyle \infty }$ für das neutrale Element verwendet wird), so hat man einen Torsionspunkt. Hat dagegen ${\displaystyle nP}$ keine ganzzahligen Koordinaten, gehört er nicht zu den Torsionspunkten.

Elliptische Kurven nehmen nach der Vermutung von Mordell (Satz von Faltings, sie entsprechen dort dem Fall des Geschlechts ${\displaystyle g=1}$) eine Sonderstellung ein, sie können unendlich viele (Rang ungleich null) oder endlich viele rationale Lösungen (Torsionsuntergruppen) haben. Kurven mit ${\displaystyle g>1}$ haben dagegen nur endlich viele Lösungen. Im Fall ${\displaystyle g=0}$ gibt es keine oder unendlich viele Lösungen (zum Beispiel beim Kreis unendlich viele pythagoreische Tripel).

Die Theorie elliptischer Kurven über dem Körper der rationalen Zahlen ist ein aktives Forschungsgebiet der Zahlentheorie (arithmetische algebraische Geometrie) mit einigen berühmten offenen Vermutungen wie der Vermutung von Birch und Swinnerton-Dyer, die eine Aussage über das analytische Verhalten die Hasse-Weil-L-Funktion ${\displaystyle L(E,s)}$ einer elliptischen Kurve macht, in deren Definition die Anzahl der Punkte der Kurve über endlichen Körpern einfließt. Nach der Vermutung in ihrer einfachsten Form ist der Rang der elliptischen Kurve gleich der Ordnung der Nullstelle von ${\displaystyle L(E,s)}$ bei ${\displaystyle s=1}$.

Affine Punkte der elliptischen Kurve ${\displaystyle y^{2}=x^{3}-x}$ über ${\displaystyle \mathbf {F} _{61}}$

Statt über den rationalen Zahlen kann man elliptische Kurven auch über endlichen Körpern betrachten. In diesem Falle besteht die Ebene, genauer gesagt die projektive Ebene, in der die elliptische Kurve liegt, nur noch aus endlich vielen Punkten. Daher kann auch die elliptische Kurve selbst nur endlich viele Elemente enthalten, was viele Betrachtungen vereinfachen kann. Für die Anzahl ${\displaystyle N}$ der Punkte einer elliptischen Kurve ${\displaystyle E}$ über einem Körper mit ${\displaystyle q}$ Elementen zeigte Helmut Hasse (1936) die Abschätzung (riemannsche Vermutung)[7]

${\displaystyle |N-(q+1)|\leq 2{\sqrt {q}}}$

und bewies damit eine Vermutung aus der Dissertation von Emil Artin (1924).[8]

Allgemeiner folgt aus den Weil-Vermutungen (einer Reihe von Vermutungen zur Hasse-Weil-Zetafunktion, bewiesen in den 1960er und 1970er Jahren) für die Anzahl ${\displaystyle N_{m}}$ der Punkte von ${\displaystyle E}$ über einer Körpererweiterung mit ${\displaystyle q^{m}}$ Elementen die Gleichung[9]

${\displaystyle N_{m}=q^{m}+1-\alpha ^{m}-\beta ^{m}}$,

wobei ${\displaystyle \alpha }$ und ${\displaystyle \beta }$ die beiden Nullstellen des charakteristischen Polynoms des Frobeniushomomorphismus ${\displaystyle \phi _{q}}$ auf der elliptischen Kurve über ${\displaystyle \mathbf {F} _{q^{m}}}$ sind. René Schoof (1985) entwickelte den ersten effizienten Algorithmus zur Berechnung von ${\displaystyle N_{m}}$. Es folgten Verbesserungen von A. O. L. Atkin (1992) und Noam Elkies (1990).

Elliptische Kurven über endlichen Körpern werden z. B. in der Kryptographie (Elliptische-Kurven-Kryptosystem) eingesetzt.

Die (bisher noch unbewiesene) Vermutung von Birch und Swinnerton-Dyer versucht, Aussagen über gewisse Eigenschaften elliptischer Kurven über den rationalen Zahlen zu erhalten, indem entsprechende Eigenschaften elliptischer Kurven über endlichen Körpern (sogenannte „reduzierte elliptische Kurven“) untersucht werden.

Die elliptische Kurve ${\displaystyle E}$ über ${\displaystyle \mathbb {Q} }$ sei durch die Gleichung

${\displaystyle y^{2}+a_{1}xy+a_{3}y=x^{3}+a_{2}x^{2}+a_{4}x+a_{6}}$

mit ganzzahligen Koeffizienten ${\displaystyle a_{i}}$ gegeben. Die Reduktion der Koeffizienten modulo einer Primzahl ${\displaystyle p}$ definiert eine elliptische Kurve über dem endlichen Körper ${\displaystyle \mathbb {F} _{p}}$ (mit Ausnahme einer endlichen Menge von Primzahlen ${\displaystyle p}$, für welche die reduzierte Kurve Singularitäten aufweist und deshalb nicht elliptisch ist; in diesem Fall sagt man, ${\displaystyle E}$ habe schlechte Reduktion bei ${\displaystyle p}$).

Die Zetafunktion einer elliptischen Kurve über einem endlichen Körper ist die formale Potenzreihe

${\displaystyle Z(E(\mathbb {F} _{p}))=\exp \left(\sum \mathrm {card} \left[E({\mathbb {F} }_{p^{n}})\right]{\frac {T^{n}}{n}}\right).}$

Sie ist eine rationale Funktion der Form

${\displaystyle Z(E(\mathbb {F} _{p}))={\frac {1-a_{p}T+pT^{2}}{(1-T)(1-pT)}}.}$

(Diese Gleichung definiert den Koeffizienten ${\displaystyle a_{p}}$, falls ${\displaystyle E}$ gute Reduktion bei ${\displaystyle p}$ hat, die Definition im Fall schlechter Reduktion ist eine andere.)

Die ${\displaystyle L}$-Funktion von ${\displaystyle E}$ über ${\displaystyle \mathbb {Q} }$ speichert diese Information für alle Primzahlen ${\displaystyle p}$. Sie ist definiert durch

${\displaystyle L(E(\mathbb {Q} ),s)=\prod _{p}\left(1-a_{p}p^{-s}+\varepsilon (p)p^{1-2s}\right)^{-1}}$

mit ${\displaystyle \varepsilon (p)=1}$, falls ${\displaystyle E}$ gute Reduktion bei ${\displaystyle p}$ hat, und ${\displaystyle \varepsilon (p)=0}$ sonst.

Das Produkt konvergiert für ${\displaystyle \textstyle \Re (s)>{\frac {3}{2}}}$. Hasse vermutete (Riemannsche Vermutung für Elliptische Kurven), dass die ${\displaystyle L}$-Funktion eine analytische Fortsetzung auf die gesamte komplexe Ebene besitzt und eine Funktionalgleichung mit einem Zusammenhang zwischen ${\displaystyle L(E,s)}$ und ${\displaystyle L(E,2-s)}$ erfüllt. Hasses Vermutung wurde 1999 als Konsequenz des Beweises des Modularitätssatzes bewiesen. Dieser besagt, dass jede elliptische Kurve über ${\displaystyle \mathbb {Q} }$ eine modulare Kurve ist (also durch Modulfunktionen parametrisiert werden kann), und für die ${\displaystyle L}$-Funktionen modularer Kurven ist die analytische Fortsetzbarkeit bekannt.

Der US-Auslandsgeheimdienst NSA empfahl im Januar 2009, Verschlüsselung im Internet bis 2020 von RSA auf ECC (Elliptic Curve Cryptography) umzustellen.[10]

ECC ist ein Public-Key-Kryptosystem (oder asymmetrisches Kryptosystem), bei dem im Gegensatz zu einem symmetrischen Kryptosystem die kommunizierenden Parteien keinen gemeinsamen geheimen Schlüssel kennen müssen. Asymmetrische Kryptosysteme allgemein arbeiten mit Falltürfunktionen, also Funktionen, die leicht zu berechnen, aber ohne ein Geheimnis (die „Falltür“) praktisch unmöglich zu invertieren sind.

Die Verschlüsselung mittels elliptischer Kurven funktioniert im Prinzip so, dass man die Elemente der zu verschlüsselnden Nachricht (d. h. die einzelnen Bits) auf irgendeine Weise den Punkten ${\displaystyle P}$ einer (festen) elliptischen Kurve zuordnet und dann die Verschlüsselungsfunktion ${\displaystyle P\mapsto nP}$ mit einer (festen) natürlichen Zahl ${\displaystyle n>1}$ anwendet. Damit dieses Verfahren sicher ist, muss die Entschlüsselungsfunktion ${\displaystyle (nP,P)\mapsto n}$ schwer zu berechnen sein.

Da das Problem des diskreten Logarithmus in elliptischen Kurven (ECDLP) deutlich schwerer ist als die Berechnung des diskreten Logarithmus in endlichen Körpern oder die Faktorisierung ganzer Zahlen, kommen Kryptosysteme, die auf elliptischen Kurven beruhen – bei vergleichbarer Sicherheit – mit erheblich kürzeren Schlüsseln aus als die herkömmlichen asymmetrischen Kryptoverfahren, wie z. B. das RSA-Kryptosystem. Die derzeit schnellsten Algorithmen sind der Babystep-Giantstep-Algorithmus und die Pollard-Rho-Methode, deren Laufzeit bei ${\displaystyle O\left(2^{n/2}\right)}$ liegt, wobei ${\displaystyle n}$ die Bitlänge der Größe des zugrundeliegenden Körpers ist.

• Annette Werner: Elliptische Kurven in der Kryptographie. Springer, 2002, ISBN 978-3-540-42518-2.
• Peter Meier, Jörn Steuding und Rasa Steuding: Elliptische Kurven und eine kühne Vermutung. In: Spektrum der Wissenschaft. Dossier: „Die größten Rätsel der Mathematik“ (6/2009), ISBN 978-3-941205-34-5, Seite 40–47.
• Joseph H. Silverman: The Arithmetic of Elliptic Curves. Springer, 2009, ISBN 978-0-387-09493-9.

Commons: Elliptic curves – Sammlung von Bildern, Videos und Audiodateien

Wikiversity: Eine Vorlesung über elliptische Kurven – Kursmaterialien

• Einfache Einführung in elliptische Kurven (in Zusammenhang mit ECC) (englisch)
• Umfassende Einführung in elliptische Kurven und ECC als Sage-Notebook (englisch). (Memento vom 21. Juni 2010 im Internet Archive)
• Software zur Veranschaulichung von elliptischen Kurven und deren Gruppenstruktur. (Memento vom 14. März 2010 im Internet Archive)
• F. Lemmermeyer: Elliptische Kurven I (PDF; 1,1 MB).
• A. Huber-Klawitter: Was wir alles für Gleichungen vom Grad drei (nicht) wissen – elliptische Kurven und die Vermutung von Birch und Swinnerton-Dyer.
• Johann Wiesenbauer: Elliptische Kurven in Theorie und Anwendung, TU Wien, 2003
• Don Zagier: Elliptische Kurven: Fortschritte und Anwendungen, MPIM Bonn, Uni Maryland, 1989

1. Elliptische Kurve. In: Guido Walz (Hrsg.): Lexikon der Mathematik. 1. Auflage. Spektrum Akademischer Verlag, Mannheim/Heidelberg 2000, ISBN 3-8274-0439-8.
2. Neal Koblitz: Introduction to Elliptic Curves and Modular Forms. Springer-Verlag New York, S. 16.
3. Neal Koblitz: Introduction to Elliptic Curves and Modular Forms. Springer-Verlag New York, S. 24.
4. History of elliptic curves rank records
5. Don Zagier: "Lösungen von Gleichungen in ganzen Zahlen", S. 311–326
6. Zachary DeStefano: On the torsion subgroup of an elliptic curve. Vorlesung, New York University 2010, PDF.
7. Helmut Hasse: Zur Theorie der abstrakten elliptischen Funktionenkörper. I, II & III. In: Journal für die reine und angewandte Mathematik. Band 1936, Nr. 175, 1936, doi:10.1515/crll.1936.175.193.
8. Emil Artin: Quadratische Körper im Gebiete der höheren Kongruenzen. II. Analytischer Teil. In: Mathematische Zeitschrift. Band 19, Nr. 1, 1924, S. 207–246, doi:10.1007/BF01181075.
9. Kapitel V, Theorem 2.3.1 in Joseph H. Silverman: The Arithmetic of Elliptic Curves. 2. Auflage. Springer, 2009, ISBN 978-0-387-09493-9.
10. The Case for Elliptic Curve Cryptography. In: nsa.gov. 15. Januar 2009, archiviert vom Original am 19. Januar 2009; abgerufen am 28. April 2016 (englisch).