Affin-algebraische Mengen/Einführung/Textabschnitt

Aus Wikiversity


Definition  

Es sei ein Körper. Dann nennt man den affinen Raum über der Dimension .

Der affine Raum ist also zunächst einfach eine Menge aus Punkten. Ein Punkt im affinen Raum ist einfach ein -Tupel mit Koordinaten aus . Warum dann ein neuer Begriff? Mit dem Begriff „affiner Raum“ wird angedeutet, dass wir den als Objekt der algebraischen Geometrie verstehen wollen. D.h. wir betrachten den affinen -dimensionalen Raum als das natürliche geometrische Objekt, auf dem Polynome in Variablen (als Funktionen) operieren. Wir werden zunehmend den affinen Raum um weitere Strukturen (Zariski-Topologie, Strukturgarbe) ergänzen, die deutlich machen, dass er „mehr“ ist als „nur“ ein . Für spricht man von der affinen Geraden und für von der affinen Ebene.

Ein Polynom fasst man in natürlicher Weise als Funktion auf dem affinen Raum auf: Einem Punkt mit wird der Wert zugeordnet, indem die Variable durch ersetzt wird und alles in ausgerechnet wird. Zu einen Polynom kann man insbesondere fragen, ob ist oder nicht. Zu rückt dann insbesondere das dadurch definierte „Nullstellengebilde“ ins Interesse, nämlich

Davon haben wir schon einige in der ersten Vorlesung kennengelernt. Es ist aber auch sinnvoll, zu untersuchen, wie das gemeinsame (simultane) Nullstellengebilde zu mehreren Polynomen aussieht. Dieses beschreibt den Durchschnitt der einzelnen beteiligten Nullstellengebilde (wie beispielsweise bei Kegelschnitten, wo man einen Kegel im dreidimensionalen Raum mit verschiedenen Ebenen schneidet).

Kegelschnitte


Daher definieren wir allgemein.


Definition  

Es sei ein Körper und sei , , eine Familie von Polynomen in Variablen. Dann nennt man

das durch die Familie definierte Nullstellengebilde (oder Nullstellenmenge). Es wird mit bezeichnet.

Diejenigen Teilmengen des affinen Raumes, die als Nullstellenmengen auftreten, verdienen einen eigenen Namen.


Definition  

Es sei ein Körper und sei der Polynomring in Variablen. Dann heißt eine Teilmenge im affinen Raum affin-algebraisch, wenn sie die Nullstellenmenge zu einer Familie , , von Polynomen ist, wenn also gilt.

Die einfachsten Beispiele sind eine endliche Punktemenge auf der affinen Geraden , die durch ein einzelnes Polynom gegeben sind, und affin-lineare Unterräume im , die ja als Lösungesmenge eines inhomogenen linearen Gleichungssystems über gegeben sind.


Beispiel  

Wir betrachten die affine Ebene und darin einige affin-algebraische Teilmengen, die durch die Variablen und definiert sind. Das Nullstellengebilde besteht einfach aus dem Nullpunkt . Die Bedingung sagt ja hier, dass beide Variablen null sein müssen. Die Menge ist die - Achse (alle Punkte der Form ) und ist die -Achse. Die Menge besteht aus allen Punkten mit . Das ist also die Gegendiagonale. Die Menge besteht aus den Punkten , wo das Produkt sein muss. Über einem Körper kann ein Produkt aber nur dann null sein, wenn einer der Faktoren null ist. D.h. es ist und es liegt das Achsenkreuz vor.


Die Punkte in einem affinen Raum oder auf einer affin-algebraischen Menge interpretiert man häufig so, dass sie selbst ein gewisses komplizierteres mathematisches Objekt repräsentieren. Eigenschaften der Objekte werden dann dadurch reflektiert, dass die repräsentierenden Punkte gewisse algebraische Gleichungen erfüllen oder nicht, oder, was äquivalent ist, auf gewissen affin-algebraischen Mengen liegen oder nicht. Dies soll durch das nächste Beispiel illustriert werden.


Beispiel  

Eine -Matrix

ist durch die vier Zahlen eindeutig festgelegt. Man kann eine solche Matrix also mit einem Punkt im identifizieren. Bei dieser Interpretation ist es sinnvoll, die Variablen mit zu bezeichnen. Man kann sich dann fragen, welche Eigenschaften von Matrizen sich durch algebraische Gleichungen beschreiben lassen. Wir diskutieren dazu einige typische Eigenschaften.

Eine obere Dreiecksmatrix liegt genau dann vor, wenn ist. Die Menge der oberen Dreiecksmatrizen ist also die Nullstellenmenge von .

Eine invertierbare Matrix liegt vor, wenn ist. Die Menge der nicht invertierbaren Matrizen wird also durch die algebraische Determinantenbedingung beschrieben.

Eine Matrix beschreibt die Multiplikation mit einem Skalar, wenn sie eine Diagonalmatrix mit konstantem Diagonaleintrag ist. Diese Menge wird durch die drei Gleichungen und beschrieben.

Ein Element ist nach Fakt ein Eigenwert einer Matrix genau dann, wenn eine Nullstelle des charakteristischen Polynoms der Matrix ist, d.h. wenn

ist. In der linearen Algebra ist normalerweise die Matrix vorgegeben und man sucht nach Nullstellen dieses Polynoms in einer Variablen. Man kann es aber auch umgekehrt sehen und vorgeben, und das Nullstellengebilde

in den vier Variablen untersuchen. Diese Gleichung beschreibt also die Menge aller Matrizen, die als Eigenwert besitzen.

Entsprechend besitzt eine Matrix genau dann die beiden Eigenwerte , wenn

ist. Die Differenz der beiden Gleichungen ist

die eine solche Matrix erst recht erfüllen muss. Wegen kann man das als

schreiben. Für eine Matrix nennt man die Summe der Diagonaleinträge die Spur der Matrix. Die zuletzt hingeschriebene Gleichung besagt also, dass für eine Matrix mit Eigenwerten die Spur die Summe dieser Eigenwerte sein muss.

Das charakteristische Polynom einer Matrix kann man auch schreiben als

mit

Insbesondere haben Matrizen genau dann das gleiche charakteristische Polynom, wenn ihre Spur und ihre Determinante übereinstimmen. Damit kann man auch sagen, dass die Menge der Matrizen mit einem vorgegebenen charakteristischen Polynom die Faser unter der Abbildung

ist. Diese Abbildung ist durch einfache polynomiale Ausdrücke gegeben. Ist diese Abbildung surjektiv? Sehen die Fasern immer gleich aus, d.h., besitzt die Menge der Matrizen mit vorgegebener Spur und Determinante immer die gleiche Struktur, oder gibt es da Unterschiede? Es sei und vorgegeben. Dann geht es um die Lösungsmenge zu

Hierbei ist durch eindeutig festgelegt, und umgekehrt. Man kann daher eine Variable eliminieren, indem man setzt. Dann ergibt sich das „äquivalente“ System in den drei Variablen , mit der einzigen Gleichung

Unter „äquivalent“ verstehen wir hier, dass die Lösungen des einen Systems mit den Lösungen des anderen Systems in einer Bijektion stehen, die durch Polynome gegeben ist. An dieser letzten Umformung sieht man, dass es stets eine Lösung geben muss: Man kann für einen beliebigen Wert vorgeben und erhält eine Gleichung der Form , die Lösungen besitzt.

Durch eine lineare Variablentransformation kann man die Gleichung noch weiter vereinfachen. Sie vorausgesetzt, dass in invertierbar ist (dass also die Charakteristik von nicht ist). Dann kann man mit (und mit )

mit schreiben. Daraus sieht man, dass die Gestalt der Matrizenmenge mit vorgegebener Spur und Determinante nur von abhängt. In der Tat ist nun, wenn dieser Term null ist oder nicht, das Nullstellengebilde verschieden. Im ersten Fall hat es eine Singularität, im zweiten Fall nicht, wie wir später sehen werden.