Kurs:Elliptische Kurven (Osnabrück 2021-2022)/Vorlesung 1/latex
\setcounter{section}{1}
\zwischenueberschrift{Elliptische Kurven}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Ellipse.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Ellipse.svg } {} {Zorgit} {Commons} {CC-by-sa 3.0} {}
Dies ist eine Ellipse und auch eine Kurve. Es ist aber keine elliptische Kurve.
Dagegen zeigen die folgenden Bilder
\zusatzklammer {reelle affine Ausschnitte} {} {}
elliptische Kurven.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Elliptic_curve_y^2_%3D_x^3_-_x.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Elliptic_curve_y^2_%3D_x^3_-_x.svg } {} {YassineMrabet} {Commons} {CC-by-sa 3.0} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {ECClines-3-2.svg} }
\end{center}
\bildtext {} }
\bildlizenz { ECClines-3-2.svg } {} {Schinzo} {Commons} {CC-by-sa 3.0} {}
Ebenso zeigt das folgende Bild eine elliptsche Kurve. Gemeint ist die Oberfläche des Torus
\zusatzklammer {Reifens} {} {,}
die ja dem Anschein nach eher eine Fläche und weniger eine Kurve ist.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Torus full 3d.png} }
\end{center}
\bildtext {} }
\bildlizenz { Torus full 3d.png } {} {DemonDeLuxe} {Commons} {CC-by-sa 3.0} {}
Auch einzelne Punkte können eine geeignete Visualisierung einer elliptischen Kurve sein.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Point graph.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Point graph.svg } {} {OfficialURL} {Commons} {CC0 1.0} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Point set.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Point set.svg } {} {Ras67} {Commons} {CC-by sa 4.0} {}
Nun sind Bilder nicht unmittelbar hilfreich, sondern eine Illustration eines mathematischen Sachverhaltes. Aber auch der eigentliche mathematische Sachverhalt, der sich hinter einer elliptischen Kurve verbirgt, ist vielfältig, was sich schon darin zeigt, dass es ziemlich viele verschiedene Definitionen für eine elliptische Kurve gibt.
Elliptische Kurven bilden ein herausragendes Objekt an der Schnittstelle von algebraischer Geometrie, komplexer Analysis, Zahlentheorie. Diese Reichhaltigkeit zeigt sich auch in den vielfältigen Möglichkeiten, eine elliptische Kurve zu definieren. Diese Definitionen nehmen Bezug auf recht unterschiedliche geometrische, algebraische, gruppentheoretische, topologische, arithmetische Eigenschaften, und das Studium der elliptischen Kurven ist durch ein intensives Wechselspiel zwischen diesen Konzepten gekennzeichnet. Einige Definitionsmöglichkeiten sind \aufzaehlungdrei{Eine kubische glatte projektive Kurve. }{Eine projektive Kurve mit einer Gruppenstruktur. }{Eine glatte projektive Kurve vom Geschlecht $1$. } Dabei gibt es mehrere Möglichkeiten, das Geschlecht zu definieren: Als Dimension der globalen Differentialformen, als Dimension der ersten Kohomologie der Strukturgarbe, über topologische Eigenschaften.
Über den komplexen Zahlen ergeben sich weitere Definitionsmöglichkeiten.
\aufzaehlungsechs{Eine eindimensionale kompakte komplexe Lie-Gruppe.
}{Ein reell zweidimensionaler Torus mit einer komplexen Struktur.
}{Die komplexen Zahlen ${\mathbb C}$ modulo einem Gitter
\mavergleichskette
{\vergleichskette
{\Gamma
}
{ \cong }{ \Z^2
}
{ \subset }{ {\mathbb C}
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Eine kompakte Riemannsche Fläche mit trivialem Tangentialbündel.
}{Eine kompakte Riemannsche Fläche mit topologischem Geschlecht $1$.
}{Eine kompakte Riemannsche Fläche mit Fundamentalgruppe $\Z^2$.
}
Innerhalb der glatten projektiven Kurven nehmen die elliptischen Kurven eine mittlere Position ein. Die projektive Gerade ist als einfachste Kurve auf der einen Seite und die Kurven von einem Geschlecht $\geq 2$ sind auf der anderen Seite. Diese Mittelstellung bestätigt sich, wenn man Eigenschaften des Tangentialbündels oder Krümmungseigenschaften betrachtet. In einem gewissen Sinn spiegelt sich diese mittlere Stellung auch im Schwierigkeitsgrad wider. Es gibt viele Fragen, die für die projektive Gerade trivial sind, die man für elliptische Kurven mit einigem Aufwand versteht, und die man für andere Kurven nicht zu fragen wagt bzw. die dafür erst Jahrzehnte später beantwortet werden können. Da man aber eben für elliptische Kurven sich Fragen zu stellen wagt, vor denen man sonst zurückweicht \zusatzklammer {oder gar nicht weiß, wie die Frage zu formulieren wäre} {} {,} ist das Studium der elliptischen Kurven wiederum beliebig schwierig. Dies gilt insbesondere für arithmetisch angehauchte Probleme. Es hat sich nämlich herausgestellt, dass man Probleme aus der Zahlentheorie in Fragen über elliptische Kurven übersetzen und damit lösen kann. Das prominenteste Beispiel ist die Lösung des großen Fermat über die Modularitätseigenschaft von elliptischen Kurven über $\Q$ durch Andrew Wiles. Eine weiteres Problem, das eng mit elliptischen Kurven verbunden ist, ist das Problem der kongruenten Zahlen. Dieser enge Zusammenhang mit der Zahlentheorie hat sich auch darin niedergeschlagen, dass die Vermutung von Birch und Swinnerton-Dyer über den Rang von elliptischen Kurven in die Liste der sogenannten \zusatzklammer {sieben} {} {} Milleniums-Probleme aufgenommen wurde.
\zwischenueberschrift{Polynomringe}
Wir nähern uns zunächst den elliptischen Kurven im Rahmen der algebraischen Geometrie an, also als Lösungsmenge zu gewissen polynomialen Gleichungen. Wir beschränken uns zunächst auf die affine Situation, obwohl eine elliptische Kurve eine projektive Kurve. Wir erinnern an Polynomringe.
\inputdefinition
{}
{
Der \definitionswort {Polynomring}{} über einem
\definitionsverweis {kommutativen Ring}{}{}
$R$ besteht aus allen
\definitionswortenp{Polynomen}{}
\mathbedtermdisp { P=a_0 + a_1X+a_2X^2 + \cdots + a_nX^n }
{ mit } { a_i \in R }
{ } { i = 0 , \ldots , n } { } { n \in \N } { , }
und mit komponentenweiser Addition und einer Multiplikation, die durch distributive Fortsetzung der Regel
\mavergleichskettedisp
{\vergleichskette
{ X^n \cdot X^m
}
{ \defeq} { X^{n+m}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
definiert ist.
}
Darauf aufbauend kann man auch Polynomringe in mehreren Variablen definieren. Man setzt
\mathdisp {K[X,Y] \defeq (K[X] )[Y], \, K[X,Y,Z] \defeq (K[X,Y])[Z]} { , }
etc. Ein Polynom in $n$ Variablen hat die Gestalt
\mavergleichskettedisp
{\vergleichskette
{F
}
{ =} { \sum_{(\nu_1 , \ldots , \nu_n)} a_{(\nu_1 , \ldots , \nu_n)} X_1^{\nu_1} \cdots X_n^{\nu_n}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Es wird dabei summiert über eine endliche Familie von \stichwort {Exponententupel} {}
\mathl{(\nu_1 , \ldots , \nu_n)}{.} Die Ausdrücke
\mathl{X_1^{\nu_1} \cdots X_n^{\nu_n}}{}
nennt man auch \stichwort {Monome} {.} Ein Polynom schreibt man zumeist abkürzend als
\mavergleichskette
{\vergleichskette
{ F
}
{ = }{ \sum_{\nu} a_{\nu} X^{\nu}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Das Produkt von zwei Monomen bedeutet Addition der Exponententupel, also
\mavergleichskettedisp
{\vergleichskette
{ { \left( X_1^{\nu_1} \cdots X_n^{\nu_n} \right) } \cdot { \left( X_1^{\mu_1} \cdots X_n^{\mu_n} \right) }
}
{ \defeq} { X_1^{\nu_1+\mu_1} \cdots X_n^{\nu_n+ \mu_n}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Für uns, im Kontext der algebraischen Geometrie, ist hauptsächlich der Fall interessant, wo der Grundring $R$ ein Körper ist. In der algebraischen Geometrie interessiert man sich für die Gestalt von Nullstellengebilden von Polynomen in mehreren Variablen. Wir werden später sehen, dass die Beziehung zwischen algebraischen und geometrischen Eigenschaften besonders stark ist, wenn der Grundkörper algebraisch abgeschlossen ist.
\zwischenueberschrift{Affine Nullstellengebilde}
In der algebraischen Geometrie fixiert man einen \stichwort {Grundkörper} {} $K$. Wichtige Körper sind für uns die rationalen Zahlen $\Q$, weitere \definitionsverweis {Zahlkörper}{}{,} die reellen Zahlen $\R$ \zusatzklammer {insbesondere sind die Bilder meistens so zu verstehen} {!} {} oder die komplexen Zahlen ${\mathbb C}$, ferner die \definitionsverweis {endlichen Körper}{}{.}
\inputdefinition
{}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{.}
Eine \definitionswort {ebene affin-algebraische Kurve}{} über $K$ ist das
\definitionsverweis {Nullstellengebilde}{}{}
\mavergleichskette
{\vergleichskette
{V(F)
}
{ \subseteq }{K^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eines nicht-konstanten Polynoms $F$ in zwei Variablen, also
\mathdisp {F=\sum_{0 \leq i,j \leq m} \, a_{ij} X^{i}Y^{j} \, (\text{mit } a_{ij} \in K)} { . }
D.h. es ist
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ V(F)
}
{ =} { { \left\{ (x,y) \in K^2 \mid F(x,y) = \sum_{0 \leq i,j \leq m} \, a_{ij} x^{i}y^{j} = 0 \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
Es handelt sich also um gewisse, durch ein Polynom festgelegte Teilmengen des $K^2$, den man in diesem Zusammenhang auch die affine Ebene nennt und mit
\mathl{{\mathbb A}^{2}_{K}}{} bezeichnet. Das Polynom selbst definiert durch Einsetzen eine Abbildung
\maabbele {F} {K^2} {K
} {(x,y)} { F(x,y)
} {}
und die Kurve ist das
\definitionsverweis {Urbild}{}{}
über dem Nullpunkt.
Betrachten wir einige vergleichsweise einfach gebaute Polynome $F$ in zwei Variablen und versuchen das zugehörige Nullstellenmenge zu verstehen.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Polynomialdeg4.png} }
\end{center}
\bildtext {} }
\bildlizenz { Polynomialdeg4.png } {} {Derbeth} {Commons} {CC-BY-SA-2.5} {}
Wenn $F$ die Form
\mathl{Y-P(X)}{} mit einem Polynom $P$ in der einen Variablen $X$ besitzt, so ist das zugehörige Nullstellengebilde einfach der
\definitionsverweis {Graph}{}{}
dieses Polynoms. Für einen Punkt
\mavergleichskette
{\vergleichskette
{(x,y)
}
{ \in }{ K^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist ja
\mavergleichskette
{\vergleichskette
{F(x,y)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau dann, wenn
\mavergleichskettedisp
{\vergleichskette
{y
}
{ =} { P(x)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist, und dies charakterisiert die Zugehörigkeit zum Graphen. Ein solcher Graph ist insofern ein einfaches Gebilde, dass es zu jedem Wert für $X$ genau einen Wert für $Y$
\zusatzklammer {nämlich den Funktionswert} {} {}
gibt, und den man auch noch einfach ausrechnen kann, wenn man im gegebenen Körper rechnen kann. Der Graph ist in gewissem Sinne eine \anfuehrung{gebogene}{} Kopie der Grundlinie, der $X$-Achse.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {RationalDegree2byXedi.gif} }
\end{center}
\bildtext {} }
\bildlizenz { RationalDegree2byXedi.gif } {Sam Derbyshire} {Ylebru} {en-wikipedia.org} {CC-BY-SA-3.0} {}
Eine
\definitionsverweis {rationale Funktion}{}{}
in $X$ ist von der Form
\mathl{{ \frac{ P(X) }{ Q(X) } }}{} mit zwei Polynomen $P,Q$ in einer Variablen $X$, wobei der Ausdruck nur dort einen Sinn ergibt, wo der Nenner nicht $0$ ist, an den Nullstellen des Nennerpolynoms ist die rationale Funktion nicht definiert.Wenn der Nenner $0$ ist, der Zähler aber nicht, so ist die Undefiniertheitsstelle ein \anfuehrung{Pol}{}
\zusatzgs {der reelle Graph strebt nach $+ \infty$ bzw. $-\infty$} {}
Es ist verlockend zu sagen, dass der Wert der rationalen Funktion an diesen undefinierten Stellen \anfuehrung{unendlich}{} ist, und im Kontext der projektiven Geometrie macht das durchaus Sinn, wie wir später sehen werden. Die \anfuehrung{Graphengleichung}{}
\mavergleichskette
{\vergleichskette
{Y
}
{ = }{ { \frac{ P(X) }{ Q(X) } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist jedenfalls wegen den Undefinierbarkeitsstellen keine optimale Beschreibung für die Kurve. Wenn man sie hingegen mit dem Nennerpolynom multipliziert, so erhält man die Bedingung
\mathdisp {Y Q(X) = P(X) \text{ bzw. genauer } { \left\{ (x,y) \in K^2 \mid yQ(x) = P(x) \right\} }} { , }
in der links und rechts wohldefinierte Polynome stehen. Der Graph ist dann die Nullstellenmenge des Polynoms
\mavergleichskette
{\vergleichskette
{F
}
{ = }{ YQ(X) -P(X)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
In den bisherigen Beispielen kam die Variable $Y$ nur in ihrer esten Potenz vor, wobei $X$ beliebig kompliziert darin vorkam.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Disk 1.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Disk 1.svg } {} {Paris 16} {Commons} {CC-BY-SA-4.0} {}
Betrachten wir einen \stichwort {Kreis} {,} seine Gleichung ist
\mavergleichskette
{\vergleichskette
{ C
}
{ = }{ { \left\{ (x,y) \mid x^2+y^2 = r^2 \right\} }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
wobei $r$ den Radius des Kreises bezeichnet. Eine Kreisgleichung kann man als eine Gleichung der Form
\mavergleichskettedisp
{\vergleichskette
{ Y^2
}
{ =} { G(X)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
auffassen, wobei $G$ ein Polynom in der einen Variablen $X$ bezeichnet
\zusatzklammer {im Fall eines Kreises ist
\mavergleichskettek
{\vergleichskettek
{G
}
{ = }{ -X^2+1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {.}
Das ist kein Graph, aber die \anfuehrung{Wurzel}{} eines Graphen. Betrachten wir generell eine solche Situation, wo
\mathl{G(X)}{} auch komplizierter sein darf. Das Nullstellengebilde repräsentiert hier die Quadratwurzel
\mathl{\sqrt{G(X)}}{.} Wenn man sich für $X$ einen beliebigen Wert $x$ vorgibt, so gibt es
\zusatzklammer {im Reellen} {} {}
drei Möglichkeiten für zugehörige Lösungen:
\auflistungdrei{Wenn
\mathl{G(x)}{} negativ ist, so gibt es keine Lösung.
}{Wenn
\mavergleichskette
{\vergleichskette
{ G(x)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, so gibt es genau die Lösung
\mavergleichskette
{\vergleichskette
{y
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Wenn
\mathl{G(x)}{} positiv ist, so gibt es die beiden Lösungen
\mavergleichskette
{\vergleichskette
{y
}
{ = }{ \pm \sqrt{G(x)}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
Das gibt auch einen Ansatz, wie das reelle Bild aussieht: Für jedes $x$ berechnet man $G(x)$ und markiert bei
\mathl{(x, \pm \sqrt{G(x)})}{}
\zusatzklammer {falls der Radikand nichtnegativ ist} {} {}
einen Punkt. Im Komplexen sind nur die Fälle
\mavergleichskette
{\vergleichskette
{G(x)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
oder
\mavergleichskette
{\vergleichskette
{ G(x)
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zu unterscheiden.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Cusp.png} }
\end{center}
\bildtext {} }
\bildlizenz { Cusp.png } {} {Satipatthana} {Commons} {PD} {}
Mit dem Fall, dass $G(X)$ ein kubisches \zusatzklammer {reelles} {} {} Polynom ist \zusatzklammer {also den Grad drei besitzt} {} {,} hat sich bereits Isaac Newton intensiv beschäftigt. Dieses Beispielmaterial ist schon sehr reichhaltig und insbesondere in Hinblick auf elliptische Kurven relevant.
Betrachten wir den Fall
\mavergleichskette
{\vergleichskette
{G(X)
}
{ = }{ X^3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
also das durch
\mathdisp {{ \left\{ (x,y) \mid y^2=x^3 \right\} }} { }
beschriebene Gebilde. Dieses Gebilde nennt man die \stichwort {Neilsche Parabel} {.} Hier tritt ein neues Phänomen auf, nämlich, dass der Nullpunkt anders ist als alle anderen Punkte. Man spricht von einer \stichwort {Singularität} {;} im Gegensatz dazu nennt man die anderen Punkte \stichwort {glatt} {} oder \stichwort {nicht-singulär} {.} Eine genaue Definition zu geben ist Teil dieses Kurses, als erste ungenaue Formulierung kann man sagen, dass eine Kurve in einem glatten Punkt lokal und in geeigneten Koordinaten so aussieht wie der
\zusatzklammer {gedrehte} {} {}
Graph einer differenzierbaren Funktion. Die Singularität in der Neilschen Parabel nennt man auch eine \stichwort {Spitze} {}
\zusatzklammer {oder eine \stichwort {Kuspe} {,} was einfach Spitze bedeutet} {} {.}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Tschirnhausen_cubic.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Tschirnhausen cubic.svg } {Oleg Alexandrov} {Oleg Alexandrov} {Commons} {PD} {}
Auch der Fall
\mavergleichskette
{\vergleichskette
{G(X)
}
{ = }{ X^3 +3X^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
besitzt einen eigenen Namen, man spricht von der \stichwort {Tschirnhausen Kubik} {.} Die gezeigte
Singularität nennt man einen \stichwort {Kreuzungspunkt} {} oder einen \stichwort {Doppelpunkt} {.} In den beiden Beispielen mit Singularität besitzt das Polynom
\mathl{G(X)}{} eine zumindest doppelte Nullstelle
\zusatzklammer {im Fall der Kuspe sogar eine dreifache} {} {.}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Elliptic_curve_simple.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Elliptic curve simple.svg } {Sean κ.} {Giro720} {en-wikipedia.org} {CC-BY-SA-3.0} {}
Es sei nun $G(X)$ ein Polynom vom Grad $3$ ohne mehrfache Nullstelle. Das Nullstellengebilde zu
\mavergleichskette
{\vergleichskette
{Y^2
}
{ = }{ G(X)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
besitzt dann keine Singularität, siehe
Lemma 2.6.
Es handelt sich um einen affinen Ausschnitt einer elliptischen Kurve.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Conic_sections_2n.png} }
\end{center}
\bildtext {Kegelschnitte} }
\bildlizenz { Conic sections 2n.png } {} {NK} {Commons} {CC-BY-SA-3.0} {}
Auch wenn wir uns wie in diesem Kurs hauptsächlich für ebene Kurven interessieren, ist es für viele Begrifflichkeiten sinnvoll, beliebige durch Polynome gegebene Nullstellengebilde zu betrachten, nicht nur die Nullstellenmenge zu einem Polynom in zwei Variablen. Schon die Nullstellenmenge eines Polynoms in einer Variablen reflektiert wichtige Eigenschaften des Körpers, man kann sich für den Durchschnitt von zwei algebraischen Kurven in der Ebene interessieren, eine Kurve kann als Raumkurve gegeben sein und man interessiert sich für die Projektionen auf eine Ebene, Kegelschnitte sind gegeben als Durchschnitte von einem Kegel mit verschiedenen Ebenen im Raum, über einer projektiven Kurve liegt der zweidimensionale affine Kegel, etc. Dies führt zu den folgenden Begriffen.
\inputdefinition
{}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{}
und sei
\mathbed {F_j \in K[X_1, \ldots, X_n]} {}
{j \in J} {}
{} {} {} {,}
eine Familie von
\definitionsverweis {Polynomen}{}{}
in $n$ Variablen. Dann nennt man
\mathdisp {{ \left\{ P \in { {\mathbb A}_{ K }^{ n } } \mid F_j(P) = 0 \text { für alle } j \in J \right\} }} { }
das durch die Familie definierte \definitionswort {Nullstellengebilde}{}
\zusatzklammer {oder \definitionswort {Nullstellenmenge}{}} {} {.}
Es wird mit
\mathl{V(F_j, j \in J)}{} bezeichnet.
}
\inputdefinition
{}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{}
und sei
\mathl{K[X_1 , \ldots , X_n]}{} der
\definitionsverweis {Polynomring}{}{}
in $n$ Variablen. Dann heißt eine Teilmenge
\mavergleichskette
{\vergleichskette
{V
}
{ \subseteq }{ { {\mathbb A}_{ K }^{ n } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
im affinen Raum \definitionswort {affin-algebraisch}{,} wenn sie die
\definitionsverweis {Nullstellenmenge}{}{}
zu einer Familie
\mathbed {F_j} {}
{j \in J} {}
{} {} {} {,}
von Polynomen
\mavergleichskette
{\vergleichskette
{F_j
}
{ \in }{ K[X_1 , \ldots , X_n]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, wenn also
\mavergleichskette
{\vergleichskette
{ V
}
{ = }{ V(F_j, j \in J)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt.
}
Algebraisches oder polynomiales Nullstellengebilde und \zusatzklammer {affin} {} {-}algebraische Menge bzw. \zusatzklammer {affine} {} {} \stichwort {Varietät} {} sind im Wesentlichen austauschbare Begriffe, wobei bei Varietät oft irreduzibel gefordert wird. In diesen Definitionen sind sogar unendliche Polynomfamilien erlaubt, aus dem Hilbertschen Basissatz folgt aber, dass es stets auch eine endliche Polynomfamilie gibt, mit der die Varietät beschrieben werden kann. Der beliebige Durchschnitt und eine endliche Vereinigung von affin-algebraischen Mengen ist wieder affin-algebraisch,
Eine erste einfache Eigenschaft einer algebraischen Kurve betrifft das Schnittverhalten mit Geraden. Die Argumentation ist typisch für das Wechselspiel zwischen geometrischen und algebraischen Gesichtspunkten in der algebraischen Geometrie.
\inputfaktbeweis
{Ebene algebraische Kurven/Schnitt mit Geraden/Ist endlich oder voll/Fakt}
{Lemma}
{}
{
Es sei $C$ eine
\definitionsverweis {ebene affin-algebraische Kurve}{}{}
und sei $L$ eine Gerade in $K^2$. Dann ist der Durchschnitt
\mathl{C \cap L}{} die ganze Gerade, oder er besteht nur aus endlich vielen Punkten.
}
{
Eine ebene algebraische Kurve
\mavergleichskette
{\vergleichskette
{C
}
{ = }{V(F)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist nach Definition immer die Nullstelle eines Polynoms $F$ in zwei Variablen. Die Gerade $L$ sei durch die Gleichung
\mavergleichskette
{\vergleichskette
{ aX+bY+c
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegeben. Ohne Einschränkung sei
\mavergleichskette
{\vergleichskette
{a
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
dann kann man nach $X$ auflösen und erhält die Geradengleichung
\mavergleichskette
{\vergleichskette
{X
}
{ = }{ \alpha Y + \beta
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Ein Schnittpunkt
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{ C \cap L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
muss sowohl
\mavergleichskette
{\vergleichskette
{ F(P)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
als auch die Geradengleichung erfüllen. Mit der Geradengleichung kann man $X$ in $F$ durch
\mathl{\alpha Y + \beta}{} ersetzen. Dadurch wird $F$ zu einem Polynom in der einen Variablen $Y$, das wir $\tilde{F}$ nennen. Dann ist
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{ C \cap L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
äquivalent dazu, dass
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ \tilde{F}(P)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. D.h. die Schnittmenge wird durch das Polynom $\tilde{F}$ beschrieben. Bei
\mavergleichskette
{\vergleichskette
{ \tilde{F}
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist die ganze Gerade der Schnitt. Bei
\mavergleichskette
{\vergleichskette
{ \tilde{F}
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es nach
Korollar 19.9 (Lineare Algebra (Osnabrück 2024-2025))
nur endlich viele Nullstellen.
\zwischenueberschrift{Körperwechsel}
Betrachten wir die durch das Polynom
\mavergleichskettedisp
{\vergleichskette
{F
}
{ =} {X^2+Y^2+1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gegebene Nullstellengebilde im $\R^2$. Dieses ist offenbar leer, da ja für
\mavergleichskette
{\vergleichskette
{(x,y)
}
{ \in }{ \R^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
wegen der Nichtnegativität der Quadrate direkt
\mavergleichskette
{\vergleichskette
{F(x,y)
}
{ \geq }{1
}
{ > }{0
}
{ }{
}
{ }{
}
}
{}{}{}
gilt. Wenn man hingegen das gleiche Polynom über ${\mathbb C}$ auffasst und nach Lösungen in
\mathl{{\mathbb C}^2}{} sucht, so ergibt sich eine Vielzahl an Nullstellen. Oder betrachten wir das Polynom
\mavergleichskettedisp
{\vergleichskette
{G
}
{ =} { X^2Y+XY^2 +1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
über dem Körper $\Z/(2)$ mit zwei Elementen. Für jedes Punktepaar
\mavergleichskette
{\vergleichskette
{(x,y)
}
{ \in }{ \Z/(2) \times \Z/(2)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
besitzt dieses Polynom den Wert $1$ und besitzt keine Nullstelle. Wenn man aber zu dem Körper mit vier Elementen übergeht, also die
\definitionsverweis {endliche Körpererweiterung}{}{}
\mavergleichskettedisp
{\vergleichskette
{ \Z/(2)
}
{ \subseteq} { {\mathbb F}_{ 4 }
}
{ =} { \Z/(2)[T]/(T^2+T+1)
}
{ } {
}
{ } {
}
}
{}{}{}
durchführt, so findet man dort beispielsweise die Lösung
\mathl{(1,t)}{,} wobei $t$ die Restklasse von $T$ bezeichnet.
In der algebraischen Geometrie stellt man die Polynome bzw. die zugehörigen Gleichungen in den Mittelpunkt. Dazu braucht man zunächst einen Grundkörper $K$, über dem die Polynome definiert sind. Die zugehörige Nullstellenmenge betrachtet man aber nicht nur in $K^2$, sondern allgemeiner in $L^2$, wobei
\mavergleichskette
{\vergleichskette
{K
}
{ \subseteq }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\zusatzklammer {nicht notwendigerweise endliche} {} {}
Körpererweiterung bezeichnet. Wesentliche Eigenschaften der Polynome werden erst dann sichtbar, wenn man das Lösungsverhalten zu verschiedenen Körpererweiterungen untersucht. Dabei spielt der algebraische Abschluss des Körpers eine besondere Rolle
\zusatzklammer {siehe unten} {} {}. Es ist aber auch wichtig, sich zu fragen, welche Lösungen es über einem gegebenen Körper gibt. Der reelle Kreis
\mathl{{ \left\{ (x,y) \in \R^2 \mid x^2+y^2 = 1 \right\} }}{} ist ein geometrisch sehr einfaches Objekt. Dagegen ist der rationale Kreis
\mathl{{ \left\{ (x,y) \in \Q^2 \mid x^2+y^2 = 1 \right\} }}{,} das durch die gleiche Gleichung definiert wird, ein zahlentheoretisch recht subtiles Objekt, das eng mit
\definitionsverweis {pythagoreischen Tripeln}{}{}
zusammenhängt.
Wenn
\mavergleichskette
{\vergleichskette
{V
}
{ = }{ V( {\mathfrak a} )
}
{ \subseteq }{ { {\mathbb A}_{ K }^{ n } }
}
{ }{
}
{ }{
}
}
{}{}{}
die affin-algebraische Menge zum Ideal ${\mathfrak a}$ ist, so bezeichnen wir die entsprechende Menge über $L$ zu einer Körpererweiterung
\mavergleichskette
{\vergleichskette
{K
}
{ \subseteq }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit $V_L$, also
\mavergleichskettedisp
{\vergleichskette
{ V_L
}
{ =} { { \left\{ P \in { {\mathbb A}_{ L }^{ n } } \mid F(P) = 0 \text{ für alle } F \in {\mathfrak a} \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei das Ideal ${\mathfrak a}$
\zusatzklammer {als
\definitionsverweis {Erweiterungsideal}{}{}} {} {}
bzw. ein
\definitionsverweis {Erzeugendensystem}{}{}
davon in $L [ X_1 , \ldots , X_n ]$ aufzufassen ist. Für diese Bezeichnung ist es entscheidend, dass man bei $V({\mathfrak a})$ nicht nur die
\zusatzklammer {rein mengentheoretische} {} {}
Nullstellenmenge, sondern auch das definierende Ideal als Teil der Information betrachtet. Ein Extremfall ist, wenn zwei verschiedene Ideale
\mathkor {} {{\mathfrak a}} {und} {{\mathfrak b}} {}
beide eine leere Nullstellenmenge haben, da sind im Allgemeinen
\mathkor {} {V( {\mathfrak a} )_L} {und} {V( {\mathfrak b} )_L} {}
auch als Punktmenge verschieden. Die Notation
\mathl{{ {\mathbb A}_{ K }^{ n } }, { {\mathbb A}_{ L }^{ n } }}{} orientiert sich auch an dieser Bezeichnungsphilosophie. Einen Punkt
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{V_L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nennt man auch einen $L$-\stichwort {Punkt} {} oder einen $L$-\stichwort {rationalen Punkt} {} von $V$.
Zu einem Ideal
\mavergleichskette
{\vergleichskette
{ {\mathfrak a}
}
{ \subseteq }{ K[X_1 , \ldots , X_n ]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nennt man den Restklassenring
\mathl{K[X_1 , \ldots , X_n ]/ {\mathfrak a}}{} auch den \stichwort {Koordinatenring} {} der affinen Varietät
\mavergleichskette
{\vergleichskette
{ V
}
{ = }{ V { \left( {\mathfrak a} \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Der Koordinantering von $V_L$ ist dann
\mathl{L[X_1 , \ldots , X_n ]/ {\mathfrak a}L[X_1 , \ldots , X_n ]}{.} Da die Elemente des Ideals auf $V({\mathfrak a})$ zur Nullfunktion werden, beinhaltet der Koordinatenring die auf $V$ definierten polynomialen Funktionen. Speziell ist der Ring
\mathl{K[X,Y]/(F)}{} der Koordinatenring auf der algebraischen Kurve $V(F)$.
Das eben erwähnte Problem, dass die Existenz von Nullstellen zu Polynomen vom Körper abhängt, ist bereits in einer Variablen präsent, und bildet den Ausgangspunkt für folgende Definition.
\inputdefinition
{}
{
Ein
\definitionsverweis {Körper}{}{}
$K$ heißt \definitionswort {algebraisch abgeschlossen}{,} wenn jedes nichtkonstante
\definitionsverweis {Polynom}{}{}
\mavergleichskette
{\vergleichskette
{F
}
{ \in }{K[X]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Nullstelle in $K$ besitzt.
}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Carl_Friedrich_Gauss.jpg} }
\end{center}
\bildtext {Carl Friedrich Gauss (1777–1855)} }
\bildlizenz { Carl Friedrich Gauss.jpg } {} {Bcrowell} {Commons} {PD} {}
Der sogenannte \stichwort {Fundamentalsatz der Algebra} {} wurde erstmals von Gauss bewiesen.
{Fundamentalsatz der Algebra/Algebraisch abgeschlossen/Fakt}
{Satz}
{}
{
Der \definitionsverweis {Körper}{}{} $\mathbb C$ der \definitionsverweis {komplexen Zahlen}{}{} ist \definitionsverweis {algebraisch abgeschlossen}{}{.}
}}
{Wir werden den Satz hier nicht beweisen. Die Beweise dafür benutzen topologische oder analytische Mittel.
\inputdefinition
{}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{.}
Eine
\definitionsverweis {Körpererweiterung}{}{}
\mavergleichskette
{\vergleichskette
{K
}
{ \subseteq }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt
\definitionswort {algebraischer Abschluss}{}
von $K$, wenn die Erweiterung
\definitionsverweis {algebraisch}{}{}
und $L$
\definitionsverweis {algebraisch abgeschlossen}{}{}
ist.
}
Die komplexen Zahlen ${\mathbb C}$ sind der algebraische Abschluss von $\R$. Jeder Körper besitzt einen \zusatzklammer {bis auf Isomorphie} {} {} eindeutig bestimmten algebraischen Abschluss.
Wir werden die Begriffe \zusatzklammer {glatt, zusammenhängend, irreduzibel} {} {} zumeist so aufbauen, dass sie für alle Körpererweiterungen gelten.