Benutzer:Suhagja/Projektive Varietät

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 $K$ ein fester, algebraisch abgeschlossener Körper.

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

$P^{n}:=(K^{n+1}\setminus \{(0,\ldots ,0)\})/\sim$

für die Äquivalenzrelation

$(x_{0},\ldots ,x_{n})\sim (y_{0},\ldots ,y_{n})\Leftrightarrow \exists \lambda \in K\setminus \{0\}\colon x_{i}=\lambda y_{i},i=0,\ldots ,n$.

Die Äquivalenzklasse des Punktes $(x_{0},\ldots ,x_{n})$ wird mit $\left[x_{0}:\ldots :x_{n}\right]$ bezeichnet.

Für ein homogenes Polynom $f\in K[X_{0},\ldots ,X_{n}]$ und einen Punkt $x=[x_{0}:\ldots :x_{n}]$ ist die Bedingung $f(x_{0},\ldots ,x_{n})=0$ unabhängig von den gewählten homogenen Koordinaten von $x$.

Eine projektive algebraische Menge ist eine Teilmenge des projektiven Raumes, die die Form

$\{x\in P^{n}\mid f_{1}(x)=\ldots =f_{k}(x)=0\}$

für homogene Polynome $f_{1},\ldots ,f_{k}$ in $K[X_{0},\ldots ,X_{n}]$ hat.

Eine projektive Varietät ist eine irreduzible projektive algebraische Menge, d.h. die Polynome $f_{1},\ldots ,f_{k}$ sollen ein Primideal in $K[X_{0},\ldots ,X_{n}]$ erzeugen.

Beispiele

• $P^{n}\times P^{m}$ ist eine projektive Varietät mittels der Segre-Einbettung

$\mathbf {P} ^{n}\times \mathbf {P} ^{m}\to \mathbf {P} ^{(n+1)(m+1)-1},(x_{i},y_{j})\mapsto x_{i}y_{j}$ (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 $P^{2}$ einbetten lassen. (Allgemein kann jede glatte vollständige Kurve in $P^{3}$ eingebettet werden.) Glatte vollständige Kurven vom Geschlecht größer als 1 heißen hyperelliptische Kurven, wenn es einen [[Endlicher Morphismus|endlichen Morphismus vom Grad 2 auf den $P^{1}$ gibt.
• Abelsche Varietäten besitzen ein amples Linienbü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.
• Kompakte Riemannsche Flächen (kompakte 1-dimensionale komplexe Mannigfaltigkeiten) sind projektive Varietäten. Nach dem Satz von Torelli werden sie durch ihre Jacobi-Varietät eindeutig bestimmt.
• Eine kompakte 2-dimensionale 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-Polynom des homogenen Koordinatenringes $k\left[x_{0},\ldots ,x_{n}\right]/I$, wenn die projektive Varietät durch das homogene Primideal $I$ definiert ist. Aus dem Hilbert-Polynom ergeben sich insbesondere die Dimension, der Grad und das arithmetische Geschlecht der Varietät.
• Die Picard-Gruppe (die Gruppe der Isomorphismenklassen von Linienbündeln) und die Jacobi-Varietät (der Kern von $deg:Pic(X)\rightarrow \mathbb {Z}$).