In der klassischen algebraischen Geometrie, einem Teilgebiet der Mathematik, ist eine projektive Varietät ein geometrisches Objekt, das 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 die Ä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 ist eine Teilmenge des projektiven Raumes, die 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
- 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 ).
Weblinks
- Bauer et al.: Geometry and topology through projective spaces