Normale Varietät

In der algebraischen Geometrie, einem Teilgebiet der Mathematik, sind normale Varietäten algebraische Varietäten mit nur milden Singularitäten.

Der Begriff wurde von Oscar Zariski im Zusammenhang mit seiner rein algebraischen, auf kommutativer Algebra beruhenden Grundlegung der algebraischen Geometrie und seinen Arbeiten zur Auflösung von Singularitäten eingeführt.

Definition

Eine algebraische Varietät $X$, oder allgemeiner ein Schema, ist eine normale Varietät bzw. ein normales Schema, wenn der lokale Ring ${\mathcal {O}}_{x}(X)$ jedes Punktes $x\in X$ ganzabgeschlossen in seinem Quotientenkörper ist.

(Die Bezeichnung normal erklärt sich daraus, dass man Ringe, die in ihrem Quotientenkörper ganzabgeschlossen sind, ebenfalls normal nennt.)

Kriterien

Die Kurve $x^{3}-y^{2}=0$ ist nicht normal, denn $t\to (t^{2},t^{3})$ ist ein endlicher birationaler Morphismus von A¹ auf die Kurve, der kein Isomorphismus ist.

Die folgenden Kriteria sind äquivalent dazu, dass eine algebraische Varietät $X$ normal ist.

• Der Ring der regulären Funktionen ${\mathcal {O}}(X)$ ist in seinem Quotientenkörper ganzabgeschlossen.
• Jede endliche birationale Abbildung $f\colon Y\to X$ von einer algebraischen Varietät $Y$ auf $X$ ist ein Isomorphismus.

Eigenschaften

• Jedes reguläre Schema, d. h. jedes Schema ohne Singularitäten ist normal. Umgekehrt hat eine normale Varietät nur Singularitäten der Kodimension mindestens 2. Insbesondere sind die Singularitäten einer algebraischen Kurve nicht normal.
• Für eine normale Varietät über $\mathbb {C}$ ist (in der klassischen Topologie als Teilmenge des $\mathbb {C} ^{n}$) der Link jedes Punktes zusammenhängend, d. h. jeder Punkt hat beliebig kleine Umgebungen $U$ so dass $U\setminus \left\{x\right\}$ zusammenhängend ist.

Literatur

• Oscar Zariski: Some Results in the Arithmetic Theory of Algebraic Varieties., Amer. J. Math., 61 (2), 249–294, 1939.