Kurs:Elliptische Kurven (Osnabrück 2021-2022)/Arbeitsblatt 18



Aufgaben


Eine kommutative Gruppe heißt torsionsfrei, wenn für jedes Element , , und gilt .


Aufgabe

Zeige, dass die Torsionsuntergruppe einer kommutativen Gruppe in der Tat eine Untergruppe ist.


Aufgabe

Es sei die Torsionsuntergruppe einer kommutativen Gruppe . Zeige, dass die Restklassengruppe torsionsfrei ist.


Aufgabe

Es sei eine kommutative Gruppe. Zeige, dass zu jedem eine kurze exakte Sequenz

vorliegt.


Aufgabe

Es sei ein kommutativer Ring. Zeige, dass die Einheitswurzeln in die Torsionsuntergruppe der Einheitengruppe ist.


Aufgabe

Es sei eine kommutative Gruppe und . Zeige, dass die Torsionsuntergruppe zur Ordnung in natürlicher Weise ein - Modul ist.


Aufgabe

Es sei eine kommutative Gruppe mit Elementen derart, dass für jedes Element die Beziehung gilt. Zeige


Aufgabe

Es sei eine kommutative Gruppe und seien teilerfremd. Zeige, dass die Torsionsuntergruppe zur Ordnung die direkte Summe aus den Torsionsuntergruppen und ist.


Aufgabe *

Zeige, dass es in der Restklassengruppe zu jedem Elemente gibt, deren Ordnung gleich ist.


Aufgabe

Zeige, dass die Restklassengruppe unendlich ist und jedes Element eine endliche Ordnung besitzt.


Aufgabe

Zeige, dass für die Torsionsuntergruppen von die Gleichheit

gilt.


Aufgabe

Zeige, dass ein Körper genau dann die Charakteristik besitzt, wenn die additive Gruppe torsionsfrei ist.


Aufgabe

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.


Aufgabe *

Wir betrachten die elliptische Kurve , die durch die affine Gleichung

gegeben ist.

  1. Bestimme die Torsionsuntergruppe der Ordnung für .
  2. Bestimme die Torsionsuntergruppe der Ordnung für .
  3. Parametrisiere den oberen Bogen von als Funktion über einem geeigneten Definitionsbereich.
  4. Bestimme die Koordinaten der Punkte von , wo die Funktion aus (3) lokale Extrema annimmt.
  5. Beschreibe eine endliche Körpererweiterung derart, dass die Punkte aus Teil (4) zu gehören.


Aufgabe

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.

Aufgabe

Es sei eine elliptische Kurve über , gegeben in kurzer Weierstraßform mit . Zeige, dass die folgenden Aussagen äquivalent sind.

  1. Das Polynom besitzt in genau eine Nullstelle.
  2. Die Torsionsuntergruppe zur Ordnung , , ist isomorph zu .
  3. Es ist als reelle Lie-Gruppe.
  4. Die Torsionsuntergruppe zur Ordnung , , ist isomorph zu für alle .


Aufgabe

Es sei eine elliptische Kurve über , gegeben in kurzer Weierstraßform mit . Zeige, dass die folgenden Aussagen äquivalent sind.

  1. Das Polynom besitzt in drei Nullstellen.
  2. Die Torsionsuntergruppe zur Ordnung , , ist isomorph zu .
  3. Es ist als reelle Lie-Gruppe.
  4. Die Torsionsuntergruppe zur Ordnung , , ist isomorph zu für alle geraden (und isomorph zu für ungerade).


Aufgabe

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.


Aufgabe *

Bestimme für die elliptische Kurve die reelle und die komplexe Torsionsuntergruppe zur Ordnung .


Aufgabe *

Bestimme für die elliptische Kurve die Torsionsuntergruppe zur Ordnung für die Körper


Aufgabe

Bestimme für die durch gegebene elliptische Kurve den kleinsten Zahlkörper , für den die Torsionsuntergruppe zur Ordnung von isomorph zu ist.


Aufgabe *

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.


Aufgabe

Es sei eine kommutative Gruppe, sei eine Primzahl. Zeige, dass der Tate-Modul in natürlicher Weise ein - Modul ist.


Aufgabe *

Es sei eine Primzahl. Zeige, dass für den Tate-Modul von die Gleichheit

gilt.


Aufgabe

Es sei eine Primzahl. Berechne den Tate-Modul zur Kreisgruppe .


Aufgabe

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.


Aufgabe *

Es sei ein Gitter und der zugehörige komplexe Torus. Es sei eine Primzahl. Zeige, dass ein Isomorphismus einen Isomorphismus

induziert.


Aufgabe

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.


Aufgabe *

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) | >>

PDF-Version dieses Arbeitsblattes

Zur Vorlesung (PDF)