Projektive Varietät

In d​er klassischen algebraischen Geometrie, e​inem Teilgebiet d​er Mathematik, i​st eine projektive Varietät e​in geometrisches Objekt, d​as durch homogene Polynome beschrieben werden kann.

Definition

Es sei ein fest gewählter, algebraisch abgeschlossener Körper.

Der -dimensionale projektive Raum über dem Körper ist definiert als

für d​ie Äquivalenzrelation

.

Die Äquivalenzklasse des Punktes wird mit bezeichnet.

Für ein homogenes Polynom und einen Punkt ist die Bedingung unabhängig von den gewählten homogenen Koordinaten von .

Eine projektive algebraische Menge i​st eine Teilmenge d​es projektiven Raumes, d​ie die Form

für homogene Polynome in hat.

Eine projektive Varietät ist eine irreduzible projektive algebraische Menge, d. h., die Polynome sollen ein Primideal in erzeugen.

Beispiele

  • ist eine projektive Varietät mittels der Segre-Einbettung
(in lexikographischer Ordnung).
  • Das Faserprodukt zweier projektiver Varietäten ist eine projektive Varietät.
  • Hyperflächen sind Nullstellenmengen eines irreduziblen homogenen Polynoms. Jede irreduzible abgeschlossene Untermenge der Kodimension 1 ist eine Hyperfläche.
  • Eine glatte Kurve (d. h. Kurve ohne Singularitäten) ist genau dann eine projektive Varietät, wenn sie vollständig ist. Ein Beispiel sind elliptische Kurven, die sich in einbetten lassen. (Allgemein kann jede glatte vollständige Kurve in eingebettet werden.) Glatte vollständige Kurven vom Geschlecht größer als 1 heißen hyperelliptische Kurven, wenn es einen endlichen Morphismus vom Grad 2 auf den gibt.
  • Abelsche Varietäten besitzen ein amples Geradenbündel und sind deshalb projektiv. Beispiele sind elliptische Kurven, Jacobi-Varietäten und K3-Flächen.
  • Grassmann-Mannigfaltigkeiten sind projektive Varietäten mittels Plücker-Einbettung.
  • Fahnenmannigfaltigkeiten sind projektive Varietäten mittels Einbettung in ein Produkt von Graßmann-Mannigfaltigkeiten.
  • Kompakte Riemannsche Flächen (kompakte eindimensionale komplexe Mannigfaltigkeiten) sind projektive Varietäten. Nach dem Satz von Torelli werden sie durch ihre Jacobi-Varietät eindeutig bestimmt.
  • Eine kompakte zweidimensionale komplexe Mannigfaltigkeit mit zwei algebraisch unabhängigen meromorphen Funktionen ist eine projektive Varietät. (Chow-Kodaira)
  • Der Kodaira-Einbettungssatz gibt ein Kriterium, wann eine Kähler-Mannigfaltigkeit eine projektive Varietät ist.

Invarianten

  • Das Hilbert-Samuel-Polynom des homogenen Koordinatenringes , wenn die projektive Varietät durch das homogene Primideal definiert ist. Aus dem Hilbert-Samuel-Polynom ergeben sich insbesondere die Dimension, der Grad und das arithmetische Geschlecht der Varietät.
  • Die Picardgruppe (die Gruppe der Isomorphismenklassen von Linienbündeln) und die Jacobi-Varietät (der Kern von ).
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.