Zum Inhalt springen

Isogenie

aus Wikipedia, der freien Enzyklopädie

In der algebraischen Geometrie, einem Teilgebiet der Mathematik, nennt man einen Homomorphismus ϕ:A→B von Abelschen Varietäten A und B eine Isogenie, wenn ϕ surjektiv ist und einen endlichen Kern besitzt. Gibt es eine Isogenie ϕ:A→B, so heißen die Abelschen Varietäten A und B isogen. Speziell sind Isogenien „rationale“ Abbildungen zwischen elliptischen Kurven, welche das Gruppengesetz respektieren.[1]

Sind A und B Abelsche Varietäten, so sind die folgenden Aussagen über einen Homomorphismus ϕ:A→B äquivalent[2]:

  • ϕ ist eine Isogenie, das heißt ϕ ist surjektiv und der Kern von ϕ ist endlich.
  • A und B besitzen die gleiche Dimension und ϕ ist surjektiv.
  • A und B besitzen die gleiche Dimension und der Kern von ϕ ist endlich.

Ist eine (und damit jede) dieser Bedingungen erfüllt, so nennt man A und B isogen.

Der in diesem Artikel behandelte Begriff einer Isogenie Abelscher Varietäten lässt sich verallgemeinern zum Begriff einer Isogenie von Gruppenschemata.

Einzelnachweise

[Bearbeiten | Quelltext bearbeiten]
  1. ↑ F. Lemmermeyer: Elliptische Kurven 1.
  2. ↑ James Milne: Abelian Varieties. Course Notes, version 2.0, 2008, Proposition 7.1. (englisch)