Algebraische Menge
In der Mathematik, genauer in der Algebraischen Geometrie, ist eine algebraische Menge ein Gebilde in der Ebene, im Raum, oder allgemeiner im -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 mit Mittelpunkt und Radius 2 eine algebraische Menge, denn es handelt sich um die Lösungsmenge der beiden Gleichungen und .
In älteren Quellen[1] und auch in einigen modernen Einführungen[2] werden algebraische Mengen auch Varietäten genannt. Nach dem modernen Gebrauch aber gelten nur die irreduziblen algebraischen Mengen als Varietäten.[3]
Definition
Sei ein Körper, und seien Elemente des Polynomrings in Unbestimmten. Die Verschwindungsmenge dieser Polynome ist dann die Teilmenge von gegeben durch
Eine Teilmenge heißt affine algebraische Menge, wenn es Polynome gibt derart, dass gilt.[4]
Zum Beispiel ist die Parabel die algebraische Menge .
Ist allgemeiner eine Menge von Polynomen aus , so setzt man . Nun sei das durch erzeugte Ideal. Man zeigt dann, dass gilt. Nach dem Hilbertschen Basissatz ist wiederum das Ideal durch endlich viele Polynome erzeugt. Somit gilt . 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 irreduzibel, wenn nicht leer ist und für jedes Paar algebraischer Mengen mit
gilt, dass oder ist.
Mit anderen Worten: ist eine irreduzible algebraische Menge, wenn irreduzibel bezüglich der Zariski-Topologie ist.
Zum Beispiel ist die Vereinigung der -Achse und der -Achse . Somit ist reduzibel.
Verschwindeideal
Ist eine algebraische Menge, so ist ihr Verschwindeideal definiert als
- .
ist ein Radikal-Ideal, es gilt also .
Primideale
Nehmen wir jetzt an, dass der Körper 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 bijektiv. Die Umkehrabbildung ist gegeben durch . Die Abbildungen tauschen Mengeninklusionen um; maximale Ideale entsprechen genau den Punkten des . Dies ist eine Konsequenz aus dem Hilbertschen Nullstellensatz.
Im Falle eines von einem Polynom erzeugten Hauptideals ist genau dann ein Primideal, wenn ein irreduzibles Polynom ist, sich also nicht als Produkt nichtkonstanter Faktoren zerlegen lässt.[5]
Zerlegung einer Varietät in irreduzible Komponenten
Jede algebraische Menge kann auf eindeutige Weise als endliche Vereinigung irreduzibler Untervarietäten mit für dargestellt werden.[6]
Beispiele
- Wenn eine reguläre Abbildung zwischen projektiven algebraischen Mengen ist, und wenn irreduzibel und alle Urbilder irreduzibel von derselben Dimension sind, dann ist irreduzibel.[7]
- Wenn eine Varietät und ihr universeller Hyperebenenschnitt ist, dann ist irreduzibel.[8]
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