Algebraische Menge

In der Mathematik, genauer in der Algebraischen Geometrie, ist eine algebraische Menge ein Gebilde in der Ebene, im Raum, oder allgemeiner im $n$ -dimensionalen Raum, die durch eine oder mehrere Polynomgleichungen gegeben ist. Das heißt, eine algebraische Menge ist die Lösungsmenge eines Systems von Polynomgleichungen.

Im dreidimensionalen Raum zum Beispiel ist der Kreis in der Ebene $z = 1$ mit Mittelpunkt $(0, 0, 1)$ und Radius 2 eine algebraische Menge, denn es handelt sich um die Lösungsmenge der beiden Gleichungen $x^{2} + y^{2} = 4$ und $z = 1$ .

In älteren Quellen und auch in einigen modernen Einführungen werden algebraische Mengen auch Varietäten genannt. Nach dem modernen Gebrauch aber gelten nur die irreduziblen algebraischen Mengen als Varietäten.

Definition

Sei $k$ ein Körper, und seien $f_{1}, f_{2}, \dots, f_{s}$ Elemente des Polynomrings $k [X_{1}, X_{2}, \dots, X_{n}]$ in $n$ Unbestimmten. Die Verschwindungsmenge $V (f_{1}, f_{2}, \dots, f_{s})$ dieser Polynome ist dann die Teilmenge von $k^{n}$ gegeben durch

V (f_{1}, f_{2}, \dots, f_{s}) = {P \in k^{n} ∣ f_{1} (P) = f_{2} (P) = \dots = f_{s} (P) = 0} .

Eine Teilmenge $V \subseteq k^{n}$ heißt affine algebraische Menge, wenn es Polynome $f_{1}, f_{2}, \dots, f_{s}$ gibt derart, dass $V = V (f_{1}, f_{2}, \dots, f_{s})$ gilt.

Zum Beispiel ist die Parabel $y = x^{2}$ die algebraische Menge $V (Y - X^{2}) \subseteq ℝ^{2}$ .

Ist allgemeiner $T$ eine Menge von Polynomen aus $k [X_{1}, X_{2}, \dots, X_{n}]$ , so setzt man $V (T) = {P \in k^{n} ∣ \forall f \in T : f (P) = 0}$ . Nun sei $I ⊴ k [X_{1}, X_{2}, \dots, X_{n}]$ das durch $T$ erzeugte Ideal. Man zeigt dann, dass $V (T) = V (I)$ gilt. Nach dem Hilbertschen Basissatz ist wiederum das Ideal $I$ durch endlich viele Polynome $g_{1}, g_{2}, \dots, g_{t} \in k [X_{1}, X_{2}, \dots, X_{n}]$ erzeugt. Somit gilt $V (T) = V (I) = V (g_{1}, g_{2}, \dots, g_{t})$ . Das heißt, jede algebraische Menge lässt sich durch endlich viele Polynome beschreiben.

Irreduzibilität

Eine algebraische Menge heißt irreduzibel, wenn sie sich nicht in einfachere Teile zerlegen lässt. Genauer ist eine algebraische Menge $V$ irreduzibel, wenn $V$ nicht leer ist und für jedes Paar algebraischer Mengen $U, W \subset V$ mit

U \cup W = V

gilt, dass $U = V$ oder $W = V$ ist.

Mit anderen Worten: $V$ ist eine irreduzible algebraische Menge, wenn $V$ irreduzibel bezüglich der Zariski-Topologie ist.

Zum Beispiel ist $V (X Y) \subseteq ℝ^{2}$ die Vereinigung der $x$ -Achse $V (Y)$ und der $y$ -Achse $V (X)$ . Somit ist $X Y$ reduzibel.

Verschwindeideal

Ist $V \subset k^{n}$ eine algebraische Menge, so ist ihr Verschwindeideal definiert als

I (V) := {f (X_{1}, \dots, X_{n}) \in k [X_{1}, \dots, X_{n}] ∣ \forall (α_{1}, \dots, α_{n}) \in V : f (α_{1}, \dots, α_{n}) = 0}

.

$I (V)$ ist ein Radikal-Ideal, es gilt also $\sqrt{I (V)} = I (V)$ .

Primideale

Nehmen wir jetzt an, dass der Körper $k$ algebraisch abgeschlossen ist. Es stellt sich dann heraus, dass eine algebraische Menge genau dann irreduzibel ist, wenn ihr Verschwindeideal ein Primideal des Polynomrings ist. Ferner ist die Abbildung der Radikalideale auf Varietäten, gegeben durch $J \to V (J)$ bijektiv. Die Umkehrabbildung ist gegeben durch $V \to I (V)$ . Die Abbildungen tauschen Mengeninklusionen um; maximale Ideale entsprechen genau den Punkten des $k^{n}$ . Dies ist eine Konsequenz aus dem Hilbertschen Nullstellensatz.

Im Falle eines von einem Polynom $P \in K [x_{1}, \dots, x_{n}]$ erzeugten Hauptideals $I (X) = (P)$ ist $(P)$ genau dann ein Primideal, wenn $P$ ein irreduzibles Polynom ist, sich also nicht als Produkt nichtkonstanter Faktoren zerlegen lässt.

Zerlegung einer Varietät in irreduzible Komponenten

Jede algebraische Menge kann auf eindeutige Weise als endliche Vereinigung irreduzibler Untervarietäten $X_{i}$ mit $X_{i} \subset̸ X_{j}$ für $i ≠ j$ dargestellt werden.

Beispiele

Wenn $π : X \to Y$ eine reguläre Abbildung zwischen projektiven algebraischen Mengen ist, und wenn $Y$ irreduzibel und alle Urbilder $π^{- 1} (p)$ irreduzibel von derselben Dimension sind, dann ist $X$ irreduzibel.
Wenn $X \subset P^{n}$ eine Varietät und $Ω_{X} \subset P^{n *} \times X$ ihr universeller Hyperebenenschnitt ist, dann ist $Ω_{X}$ irreduzibel.

Literatur

Harris, Joe: Algebraic geometry. A first course. Corrected reprint of the 1992 original. Graduate Texts in Mathematics, 133. Springer-Verlag, New York, 1995. ISBN 0-387-97716-3
Klaus Hulek: Elementare Algebraische Geometrie. Grundlegende Begriffe und Techniken mit zahlreichen Beispielen und Anwendungen. 2., überarbeitete Auflage. Springer Spektrum, 2012, ISBN 978-3-8348-1964-2.
David Cox, John Little, Donal O’Shea: Ideals, Varieties and Algorithms. An Introduction to Computational Algebraic Geometry and Commutative Algebra. 3. Auflage. Springer, 2007, ISBN 978-0-387-35650-1.
Joachim Hilgert: Mathematische Strukturen. Von der linearen Algebra über Ringen zur Geometrie mit Garben. Springer Spektrum, Berlin 2016, ISBN 978-3-662-48869-0.

Einzelnachweise

↑ Jean Dieudonné: The historical development of algebraic geometry. In: American Mathematical Monthly. Band 97, Nr. 8, Oktober 1972, S. 827–866, S. 838, JSTOR:2317664: „… it was for the first time possible to give a precise meaning to the concepts of dimension and of irreducible variety“
↑ Hulek, S. 20; Cox–Little–O’Shea, S. 5
↑ Robin Hartshorne: Algebraic Geometry (= Graduate Texts in Mathematics. Nr. 52). Springer, 1977, ISBN 1-4419-2807-3, S. 3. David Mumford: The Red Book of Varieties and Schemes (= Lecture Notes in Mathematics. Nr. 1358). Springer, Berlin 1999, ISBN 3-540-63293-X, S. 30.
↑ Hilgert, S. 238; Cox–Little–O'Shea S. 5
↑ Oprea: Irreducibility and Dimension
↑ Harris, Theorem 5.7
↑ Harris, Theorem 11.14
↑ Harris, Theorem 5.8

[1] Jean Dieudonné: The historical development of algebraic geometry. In: American Mathematical Monthly. Band 97, Nr. 8, Oktober 1972, S. 827–866, S. 838, JSTOR:2317664: „… it was for the first time possible to give a precise meaning to the concepts of dimension and of irreducible variety“

[2] Hulek, S. 20; Cox–Little–O’Shea, S. 5

[3] Robin Hartshorne: Algebraic Geometry (= Graduate Texts in Mathematics. Nr. 52). Springer, 1977, ISBN 1-4419-2807-3, S. 3. David Mumford: The Red Book of Varieties and Schemes (= Lecture Notes in Mathematics. Nr. 1358). Springer, Berlin 1999, ISBN 3-540-63293-X, S. 30.

[4] Hilgert, S. 238; Cox–Little–O'Shea S. 5

[5] Oprea: Irreducibility and Dimension

[6] Harris, Theorem 5.7

[7] Harris, Theorem 11.14

[8] Harris, Theorem 5.8