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

Die zuletzt besprochene Gruppenstruktur ist eine Abbildung

die durch rationale Ausdrücke, also Quotienten aus Polynomen gegeben sind. Dabei haben wir auch gesehen, dass diese Darstellung als Quotient, anders als nach Kürzung bei einem Polynomring, nicht eindeutig ist. Entsprechend sind die Negationsabbildung

und die Vervielfachungen

durch rationale Ausdrücke geben. Eine elliptische Kurve in Weierstraßform kann man auf die projektive Gerade projizieren, indem man nur die -Koordinate betrachtet (bzw. projektiv betrachtet). All diese Abbildungen werden in der Welt der Varietäten durch eine geeignete Klasse von Abbildungen beschrieben, den Morphismen. Da wir in diesem Kurs weder die Garben- noch die Schematheorie systematisch entwickeln, werden wir im Folgenden den Grundkörper als algebraisch abgeschlossen voraussetzen und die meisten Resultate nicht beweisen. Dagegen betonen wir, wie in der Welt der Kurven Morphismen mit Körpererweiterungen der Funktionenkörper zusammenhängen. Im Fall eines nicht algebraisch abgeschlossenen Körpers sind die Begriffe so zu verstehen, dass sie nach Übergang zu einem algebraischen Abschluss gelten.



Reguläre Funktionen

Definition  

Es sei ein algebraisch abgeschlossener Körper und sei eine affine Varietät. Es sei ein Punkt, eine Zariski-offene Menge mit und es sei eine Funktion. Dann heißt algebraisch (oder regulär oder polynomial) im Punkt , wenn es Elemente gibt mit und mit

Die Funktion heißt algebraisch (oder algebraisch auf ), wenn in jedem Punkt von algebraisch ist.

Sämtliche Polynome aus kann man direkt als reguläre Funktionen auf einer affinen Teilmenge

und ebenso auf einer jeden offenen Teilmenge auffassen. Hier braucht man keine Nenner und auch keine von den Punkten abhängige Darstellung. Man kann sogar zeigen, dass auf einer affinen Varietät die Menge der regulären Funktionen mit dem Restklassenring übereinstimmt, falls ein Radikalideal ist, siehe Satz 14.9 (Algebraische Kurven (Osnabrück 2017-2018)).

Die Beschreibung der regulären Funkionen auf einer offenen Teilmenge

ist besonders einfach, wenn der affine Koordinatenring faktoriell ist, da dann die Bruchdarstellung nach Kürzung eindeutig ist. Der maximale Definitionsbereich von ist gleich .


Beispiel  

Zu einer elliptischen Kurve in affiner kurzer Weierstraßform

besitzen die regulären Funktionen auf einer offenen Menge im Allgemeinen keine eindeutige Darstellung als Bruch. Die Kurvengleichung kann man beispielsweise direkt als

interpretieren, und dies ergibt eine reguläre Funktion auf . Diese Funktion ist allein im Punkt nicht definiert.



Definition  

Es sei ein algebraisch abgeschlossener Körper, eine projektive Varietät, eine offene Teilmenge und ein Punkt. Dann heißt eine Funktion

algebraisch (oder regulär oder polynomial) im Punkt , wenn es eine offene affine Umgebung

derart gibt, dass die auf die eingeschränkte Funktion algebraisch im Punkt ist. heißt algebraisch auf , wenn in jedem Punkt aus algebraisch ist.

Zu einer offenen Menge bildet die Menge der auf definierten regulären Funktionen wieder eine kommutative -Algebra, die mit bezeichnet wird. Zu offenen Teilmengen gibt es die natürliche Restriktionsabbildung

die ein Ringhomomorphismus ist. Von nun an verstehen wir unter einer projektiven Varietät ein projektives Nullstellengebilde zusammen mit der induzierten Zariski-Topologie und versehen mit der Strukturgarbe der regulären Funktionen. Diese Konzepte übertragen sich sofort auf offene Teilmengen, was zum Begriff der quasiprojektiven Varietät führt.


Definition  

Eine offene Teilmenge einer projektiven Varietät zusammen mit der induzierten Zariski-Topologie und versehen mit der Strukturgarbe der algebraischen Funktionen nennt man eine quasiprojektive Varietät.

Insbesondere ist eine projektive Varietät aber auch eine affine Varietät quasiprojektiv. Letzteres folgt daraus, dass man eine affine Varietät zu einer projektiven Varietät fortsetzen kann, in der eine offene Teilmenge ist.



Funktionenkörper

Zu einer irreduziblen quaiprojektiven Varietät über einem algebraisch abgeschlossenen Körper kann man reguläre Funktionen und auf nichtleeren offenen Mengen miteinander addieren und multiplizieren, indem man beide Funktion über die Restriktionen in auffasst, wobei ebenfalls nicht leer ist, und dort die Operationen durchführt. Dabei muss man reguläre Funktionen mit ihren Einschränkungen auf nichtleeren Teilmengen identifizieren (diese natürliche Identifzierung ist im Folgenden mit Kolimes gemeint). Diese Überlegung ist die Grundlage für die folgende Definition.


Definition  

Es sei eine irreduzible quasiprojektive Varietät. Dann ist der Kolimes der über alle nichtleeren offenen Mengen ein Körper, den man den Funktionenkörper von nennt.

Wir bezeichnen den Funktionenkörper zumeist mit . Die Körpereigenschaft beruht darauf, dass man von einer Darsellung (mit ) auf einer affinen Teilmenge ausgehen kann und dann auf der Teilmenge davon, die entsteht, wenn man die Nullstellenmenge von herausnimmt, die reguläre Funktion zur Verfügung hat.

Bei einer irreduziblen Varietät liegen alle auf irgendwelchen offenen Mengen definierten regulären Funktionen in dem einen Funktionenkörper. Wenn eine offene affine Teilmenge mit globalem Schnittring ist, so ist der Funktionenkörper gleich dem Quotientenkörper von . Für eine elliptische Kurve in Weierstraßform ist der Funktionenkörper gleich . Das ist eine endliche Körpererweiterung vom Grad über dem Körper der rationalen Funktionen .

Im Fall einer irreduziblen Varietät der Dimension ist der Funktionenkörper zu ein Körper über mit dem Transzendenzgrad , d.h. es gibt eine endliche Körpererweiterung . Speziell haben bei irreduziblen Kurven die Funktionenkörper den Transzendenzgrad . Im Kurvenfall gilt sogar der folgende Satz.


Satz

Es sei ein algebraisch abgeschlossener Körper.

Dann gibt es eine Entsprechung zwischen den glatten projektiven Kurven über und den Körpern über vom Transzendenzgrad .

Ohne die beiden Voraussetzungen glatt und projektiv stimmt diese Aussage hochgradig nicht. Man sollte diese Aussage als einen deutlichen Hinweis darauf verstehen, dass die Eigenschaften glatt und projektiv eine optimale geometrische Realisierung des Funktionenkörpers liefern. Die Grundidee für den Beweis dieses Satzes ist, in dem Körper mit Transzendenzgrad die Menge aller diskreten Bewertungsringe oberhalb von zu nehmen und aus diesen die Punkte einer Kurve zu machen.

In höherer Dimension gilt die Aussage nicht, man kann zwar jede Körpererweiterung von mit endlichem Transzendenzgrad als Funktionenkörper einer -dimensionalen (auch projektiven) Varietät realisieren. Man kann auch, zumindest in Charakteristik (Singularitätenauflösung) Glattheit erreichen, es gibt aber verschiedene konkurrierende Modelle. Die Menge aller diskreten Bewertungsringe ist hier viel zu groß und kann nicht zu einer Varietät gemacht werden.



Morphismen

Definition  

Es seien und quasiprojektive Varietäten über einem algebraisch abgeschlossenen Körper und sei

eine stetige Abbildung. Dann nennt man einen Morphismus (von quasiprojektiven Varietäten), wenn für jede offene Teilmenge und jede algebraische Funktion gilt, dass die zusammengesetzte Funktion

zu gehört.

Jede reguläre Funktion auf definiert einen Morphismus

Ein Morphismus

ist nichts anderes als ein Tupel von regulären Funktionen. Ein Morphismus

ist einfach ein Morphismus nach , dessen Bild in der abgeschlossenen Teilmenge landet. Für affine Varietäten

und

ist ein Morphismus

äquivalent zu einem - Algebrahomomorphismus

also gegeben durch Polynome in Variablen , die für erfüllen müssen. Da ein Morphismus ein lokales Konzept ist, kann man einen Morphismus

auf diese affine Situation zurückführen. Zu einer offenen affinen Überdeckung

und einer affinen Überdeckung

muss

ein Morphismus zwischen affinen Varietäten sein, also durch einen Ringhomomorphismus zwischen -Algebren und damit durch Polynome festgelegt sein.

Zu irreduziblen Varietäten und einem Morphismus

mit der Eigenschaft, dass das Bild von in dicht ist, ist zu jeder offenen Teilmenge der Ringhomomorphismus

injektiv ist. In dieser Situation erhält man einen Ringhomomorphismus

der zugehörigen Funktionenkörper.

Bemerkung  

Eine glatte Varietät über kann man als eine komplexe Mannigfaltigkeit auffassen, wobei sich die komplexe (feine) Topologie und die holomorphe Struktur lokal aus der Situation

ergibt. Zu einem Morphismus

zwischen glatten Varietäten über gehört auch eine holomorphe Abbildung

Dies beruht darauf, dass rationale Funktionen, also Quotienten aus Polynomen in mehreren Variablen, holomorph sind.



Endliche Morphismen

Definition  

Es seien und quasiprojektive Varietäten über einem algebraisch abgeschlossenen Körper und sei

ein Morphismus. Man nennt endlich, wenn es eine offene affine Überdeckung derart gibt, dass auch die Urbilder affin sind und die zugehörigen Ringhomomorphismen

endlich sind.

Zu einem endlichen Morphismus ist für jeden Punkt die Faser endlich. Bei einem endlichen surjektiven Morphismus zwischen irreduziblen Varietäten ist die zugehörige Erweiterung der Funktionenkörper eine endliche Körpererweiterung.


Beispiel  

Es sei die kubische Gleichung einer elliptischen Kurve in kurzer homogener Weierstraßform, also . Wir betrachten die Abbildung

Diese ist die Einschränkung des Morphismus (einer Projektion weg von einem Punkt)

und damit selbst ein Morphismus. Auf der affinen Gerade ist diese Abbildung mit und gleich

Dies ist eine endliche Abbildung, da

eine endliche Ringerweiterung mit der Basis ist. Auf der affinen Gerade ist diese Abbildung mit und gleich

Dies ist ebenfalls eine endliche Erweiterung mit einer Basis aus Elementen.

Wir betrachten nun die Abbildung

die auf die Einschränkung des Morphismus

sei und die darüberhinaus auf abbildet. Die Stetigkeit ist klar. Auf der affinen Gerade ist diese Abbildung mit und gleich

was der endlichen Ringerweiterung

mit der Basis entspricht. Oberhalb von betrachten wir nicht (die scheinbar natürlichere Definitionsmenge) , da dies nicht enthält, sondern . Der zugehörige Ring ist schwieriger zu beschreiben, aber auch endlich vom Grad .



Satz

Es seien und irreduzible projektive Kurven über einem algebraisch abgeschlossenen Körper und sei ein Morphismus.

Dann ist entweder konstant oder aber ein endlicher Morphismus.

Ein endlicher Morphismus

zwischen irreduziblen Kurven führt in natürlicher Weise zu einer endlichen Körpererweiterung der Funktionenkörper. Diese Erweiterung kann man durch die Quotientenkörper zu beliebigen offenen affinen Teilmengen erhalten. Über diese Beobachtung kann man viele Begrifflichkeiten aus der Körpertheorie in die Theorie der Kurven überführen, beispielsweise Grad und Separabilität. Es gilt sogar der folgende Zusammenhang.


Satz

Es sei ein algebraisch abgeschlossener Körper.

Dann gibt es eine Entsprechung zwischen den glatten projektiven Kurven über und den Körpern über vom Transzendenzgrad , wobei sich endliche Morphismen und endliche Körpererweiterungen entsprechen.


Lemma

Es sei eine glatte irreduzible Kurve über einem algebraisch abgeschlossenen Körper und sei der Funktionenkörper von .

Dann definiert jede rationale Funktion in natürlicher Weise einen Morphismus

in die projektive Gerade .



Lemma  

Es sei ein algebraisch abgeschlossener Körper und sei

eine elliptische Kurve über mit einem fixierten Punkt .

Dann sind die Addition

die Negation

und die Vervielfachung

Morphismen.

Beweis  

Dies folgt aus den expliziten Beschreibungen in Satz 6.5.


Eine Varietät, die diese Eigenschaften erfüllt, heißt Gruppenvarietät. Man verlangt also, dass es eine Verknüpfungsabbildung und eine Inversenbildung gibt, die einerseits Morphismen sind und andererseits die Gruppeneigenschaften erfüllen.


Definition  

Es sei eine elliptische Kurve über einem Körper und sei . Man nennt die zusammengesetzte Abbildung

die Translation mit . Sie wird mit bezeichnet.

Aufgrund von Lemma 7.14 handelt es sich bei einer Translation um einen Morphismus. Translationen sind Automorphismen, die Umkehrabbildung zu ist . Da mittels der Translation der Punkt in den Punkt ismorph überführt wird, sieht eine elliptische Kurve in jedem Punkt gleich aus. Man spricht von einem homogenen Objekt. Die affinen Räume und die projektiven Räume sind ebenfalls in diesem Sinne homogen, die meisten Varietäten sind es aber nicht, häufig ist die Automorphismusgruppe endlich.


Definition  

Eine abelsche Varietät über einem algebraisch abgeschlossenen Körper ist eine irreduzible projektive Varietät , die zugleich eine Gruppenvarietät ist.

Man kann zeigen, dass auf einer abelschen Varietät die Gruppenstruktur stets kommutativ ist und dass es sich um eine glatte Varietät handelt. Elliptische Kurven sind einfach die eindimensionalen abelschen Varietäten. Statt irreduzibel genügt es, zusammenhängend zu fordern. Nichtprojektive Gruppenvarietäten müssen nicht kommutativ sein, beispielsweise ist die allgemeine lineare Gruppe eine irreduzible nichtkommutative Gruppenvarietät. Ein großer Unterschied zwischen elliptischen Kurven und abelschen Varietäten höherer Dimension ist, dass letztere nicht durch einfache Gleichungen beschrieben werden können. Insbesondere können sie nicht durch eine einzige Gleichung beschrieben werden.

Aufgrund von Bemerkung 7.8 kann eine abelsche Varietät und insbesondere eine elliptische Kurve über auch als eine komplexe Lie-Gruppe aufgefasst werden, siehe die folgenden Vorlesungen.

<< | Kurs:Elliptische Kurven (Osnabrück 2021-2022) | >>

PDF-Version dieser Vorlesung

Arbeitsblatt zur Vorlesung (PDF)