Kurs:Elliptische Kurven (Osnabrück 2021-2022)/Arbeitsblatt 18
- Aufgaben
Eine kommutative Gruppe heißt torsionsfrei, wenn für jedes Element , , und gilt .
Zeige, dass die Torsionsuntergruppe einer kommutativen Gruppe in der Tat eine Untergruppe ist.
Es sei die Torsionsuntergruppe einer kommutativen Gruppe . Zeige, dass die Restklassengruppe torsionsfrei ist.
Es sei ein kommutativer Ring. Zeige, dass die Einheitswurzeln in die Torsionsuntergruppe der Einheitengruppe ist.
Es sei eine kommutative Gruppe und . Zeige, dass die Torsionsuntergruppe zur Ordnung in natürlicher Weise ein - Modul ist.
Es sei eine kommutative Gruppe mit Elementen derart, dass für jedes Element die Beziehung gilt. Zeige
Es sei eine kommutative Gruppe und seien teilerfremd. Zeige, dass die Torsionsuntergruppe zur Ordnung die direkte Summe aus den Torsionsuntergruppen und ist.
Zeige, dass es in der Restklassengruppe zu jedem Elemente gibt, deren Ordnung gleich ist.
Zeige, dass die Restklassengruppe unendlich ist und jedes Element eine endliche Ordnung besitzt.
Zeige, dass ein Körper genau dann die Charakteristik besitzt, wenn die additive Gruppe torsionsfrei ist.
Es sei ein Gitter und der zugehörige komplexe Torus. Zeige, dass die Torsionsuntergruppe zur Ordnung von in kanonischer Weise isomorph zur Restklassengruppe ist, und das diese wiederum isomorph zu ist.
Wir betrachten die elliptische Kurve , die durch die affine Gleichung
gegeben ist.
- Bestimme die Torsionsuntergruppe der Ordnung für .
- Bestimme die Torsionsuntergruppe der Ordnung für .
- Parametrisiere den oberen Bogen von als Funktion über einem geeigneten Definitionsbereich.
- Bestimme die Koordinaten der Punkte von , wo die Funktion aus (3) lokale Extrema annimmt.
- Beschreibe eine endliche Körpererweiterung derart, dass die Punkte aus Teil (4) zu gehören.
Es sei
die Gleichung einer elliptischen Kurve über einem algebraisch abgeschlossenen Körper und es sei die Untergruppe der Elemente der Ordnung . Man beschreibe einen Hauptdivisor, bei dem genau diese vier Punkte nichttrivial vorkommen.
Für die beiden folgenden Aufgaben ziehe man
Aufgabe 6.7
und
Aufgabe 6.8
heran.
Es sei eine elliptische Kurve über , gegeben in kurzer Weierstraßform mit . Zeige, dass die folgenden Aussagen äquivalent sind.
- Das Polynom besitzt in genau eine Nullstelle.
- Die Torsionsuntergruppe zur Ordnung , , ist isomorph zu .
- Es ist als reelle Lie-Gruppe.
- Die Torsionsuntergruppe zur Ordnung , , ist isomorph zu für alle .
Es sei eine elliptische Kurve über , gegeben in kurzer Weierstraßform mit . Zeige, dass die folgenden Aussagen äquivalent sind.
- Das Polynom besitzt in drei Nullstellen.
- Die Torsionsuntergruppe zur Ordnung , , ist isomorph zu .
- Es ist als reelle Lie-Gruppe.
- Die Torsionsuntergruppe zur Ordnung , , ist isomorph zu für alle geraden (und isomorph zu für ungerade).
Es sei eine elliptische Kurve über , gegeben in kurzer Weierstraßform und Zerlegungsform mit und . Begünde durch eine Skizze, dass einen Halbierungspunkt besitzt und dass und keinen Halbierungspunkt besitzen.
Bestimme für die elliptische Kurve die reelle und die komplexe Torsionsuntergruppe zur Ordnung .
Bestimme für die elliptische Kurve die Torsionsuntergruppe zur Ordnung für die Körper
Bestimme für die durch gegebene elliptische Kurve den kleinsten Zahlkörper , für den die Torsionsuntergruppe zur Ordnung von isomorph zu ist.
Es sei eine elliptische Kurve über einem Körper , die durch eine affine Gleichung
gegeben sei. Es sei der Funktionenkörper in einer Variablen über . Es sei ein Punkt der Kurve über einem Erweiterungskörper . Zeige, dass in unendliche Ordnung besitzt.
Es sei eine kommutative Gruppe, sei eine Primzahl. Zeige, dass der Tate-Modul in natürlicher Weise ein - Modul ist.
Es sei eine Primzahl. Berechne den Tate-Modul zur Kreisgruppe .
Es sei ein Gitter und der zugehörige komplexe Torus. Es sei eine Primzahl. Zeige, dass unter den natürlichen Identifizierungen
mit (vergleiche Aufgabe 18.12) die Diagramme
kommutieren, wobei oben die natürliche Restklassenabbildung zur Untergruppe steht. Man folgere, dass der Tate-Modul kanonisch isomorph zu ist.
Es sei ein Gitter und der zugehörige komplexe Torus. Es sei eine Primzahl. Zeige, dass ein Isomorphismus einen Isomorphismus
induziert.
Es seien Gitter und , , die zugehörigen komplexen Tori. Es sei , , mit und es sei
die zugehörige Isogenie (vergleiche Lemma 10.7). Es sei eine Primzahl. Zeige, dass der zugehörige Homomorphismus der Tate-Moduln
(siehe Satz 18.13) unter den kanonischen Isomorphismen und aus Aufgabe 18.25 mit dem projektiven Limes zu übereinstimmt.
Es sei ein Gitter und der zugehörige komplexe Torus. Es sei , , mit und es sei
die zugehörige Isogenie. Zeige, dass der Grad von mit der Determinante von
und mit der Determinante des zugehörigen Endomorphismus des Tate-Moduls
für jede Primzahl übereinstimmt.
<< | Kurs:Elliptische Kurven (Osnabrück 2021-2022) | >> |
---|