Affine Räume/Polynomiale Abbildungen/Lineare Äquivalenz/Einführung/Textabschnitt

Wir betrachten Abbildungen

$\varphi \colon {{\mathbb {A} }_{K}^{r}}\longrightarrow {{\mathbb {A} }_{K}^{n}},\,(t_{1},\ldots ,t_{r})\longmapsto (\varphi _{1}(t_{1},\ldots ,t_{r}),\ldots ,\varphi _{n}(t_{1},\ldots ,t_{r}))=(x_{1},\ldots ,x_{n}),$

wobei die Komponentenfunktionen ${}\varphi _{i}\in K[X_{1},\ldots ,X_{r}]$ Polynome sind. Die Abbildung wird also in jeder Komponenten durch ein Polynom in ${}r$ Variablen gegeben. Der Fall ${}n=1$ ist der eines Polynoms in ${}r$ Variablen, der Fall ${}r=1$ und ${}n=2$ ist der Fall der Parametrisierung von algebraischen Kurven. Später werden wir allgemeiner Morphismen zwischen affin-algebraischen Mengen definieren.

Eine wichtige „Begleiterscheinung“ einer polynomialen Abbildung ${}\varphi \colon {{\mathbb {A} }_{K}^{r}}\rightarrow {{\mathbb {A} }_{K}^{n}}$ ist, dass sie einen ${}K$-Algebrahomomorphismus zwischen den zugehörigen Polynomringen in die entgegengesetzte Richtung induziert, nämlich den durch ${}X_{i}\mapsto \varphi _{i}$ definierten Einsetzungshomomorphismus. Diesen bezeichnen wir mit

${\tilde {\varphi }}\colon K[X_{1},\ldots ,X_{n}]\longrightarrow K[T_{1},\ldots ,T_{r}],\,F\longmapsto F\circ \varphi =F(\varphi _{i}/X_{i})$

(die Schreibweise $\varphi _{i}/X_{i}$ bedeutet, dass die Variable ${}X_{i}$ durch ${}\varphi _{i}$ zu ersetzen ist). Als Funktion auf ${}{{\mathbb {A} }_{K}^{r}}$ betrachtet ist ${}F\circ \varphi$ die hintereinandergeschaltete Abbildung

${{\mathbb {A} }_{K}^{r}}{\stackrel {\varphi }{\longrightarrow }}{{\mathbb {A} }_{K}^{n}}{\stackrel {F}{\longrightarrow }}{\mathbb {A} }_{K}^{1}.$

Für die Nullstellenmenge ${}V(F)\subseteq {{\mathbb {A} }_{K}^{n}}$ gilt dabei

${}\varphi ^{-1}(V(F))=V({\tilde {\varphi }}(F))\,.$

Die einfachsten polynomialen Abbildungen sind, neben den konstanten Abbildungen, die affin-linearen Abbildungen, die durch affin-lineare Polynome gegeben sind, also

${}\varphi _{i}=a_{i1}T_{1}+\cdots +a_{ir}T_{r}+c_{i}\,.$

Man beachte, dass dies keine linearen Abbildungen sind, da der Nullpunkt nicht auf den Nullpunkt gehen muss, sondern auch Verschiebungen zugelassen sind. Eine affin-lineare Abbildung ist die Hintereinanderschaltung einer linearen Abbildung und einer Verschiebung. Im Fall ${}r=n$ betrachtet man eine solche affin-lineare Abbildung, wenn sie zusätzlich bijektiv ist, als eine (Koordinaten- oder Variablen-)Transformation des Raumes.

Definition

Es sei ${}K$ ein Körper. Dann nennt man eine Abbildung ${}\varphi \colon {{\mathbb {A} }_{K}^{n}}\rightarrow {{\mathbb {A} }_{K}^{n}}$ der Form

${}\varphi (x_{1},\ldots ,x_{n})=M{\begin{pmatrix}x_{1}\\\vdots \\x_{n}\end{pmatrix}}+(v_{1},\ldots ,v_{n})\,,$

wobei ${}M$ eine invertierbare Matrix ist, eine affin-lineare Variablentransformation .

Man kann sich dabei darüber streiten, ob bei einer linearen Variablentransformation im Raum etwas bewegt wird oder ob sich nur die Koordinaten ändern. Jedenfalls sind solche Transformationen wichtige Hilfsmittel, um ein Polynom, ein algebraisches Gleichungssystem oder eine affin-algebraische Menge auf eine einfachere Gestalt zu bringen. Unter einer Variablentransformation wird eine affin-algebraische Menge ${}V=V(F_{1},\ldots ,F_{m})$ zu ${}{\tilde {V}}=V({\tilde {F}}_{1},\ldots ,{\tilde {F}}_{m})$ (mit ${}{\tilde {F}}_{i}={\tilde {\varphi }}(F_{i})$) transformiert, und zwar ist dann ${}{\tilde {V}}$ das Urbild unter der Abbildung ${}\varphi$.

Definition

Zwei affin-algebraische Mengen ${}V,{\tilde {V}}\subseteq {{\mathbb {A} }_{K}^{n}}$ heißen affin-linear äquivalent, wenn es eine affin-lineare Variablentransformation ${}\varphi \colon {{\mathbb {A} }_{K}^{n}}\rightarrow {{\mathbb {A} }_{K}^{n}}$ mit

${}\varphi ^{-1}(V)={\tilde {V}}\,$

gibt.

Dies ist also ein Begriff, der Bezug darauf nimmt, wie die Situation eingebettet ist. Wir werden später sehen, dass die Parabel und eine Gerade in der Ebene „isomorph“ sind (da sie beide isomorph zur affinen Geraden sind), aber nicht linear-äquivalent.

Die wesentlichen algebraischen und topologischen Eigenschaften einer affin-algebraischen Menge bleiben unter einer affin-linearen Variablentransformation erhalten: Irreduzibilität, Singularitäten, Überschneidungen, Zusammenhang, Kompaktheit. Dagegen verändern sich typische Eigenschaften der reell-metrischen Geometrie: Winkel, Längen und Längenverhältnisse, Volumina, Formen. Diese zuletzt genannten Begriffe sind nicht relevant für die algebraische Geometrie. Wir werden von nun an ohne große Betonung eine Situation in eine gewünschte Gestalt transformieren, so fern das möglich ist.

Satz

Es sei ${}K$ ein Körper und seien ${}V,{\tilde {V}}\subseteq {{\mathbb {A} }_{K}^{n}}$ zwei affin-algebraische Teilmengen, die affin-linear äquivalent seien. Es seien ${}\operatorname {Id} \,(V),\operatorname {Id} \,({\tilde {V}})$ die zugehörigen Verschwindungsideale.

Dann sind die Restklassenringe (als ${}K$-Algebren) isomorph, also

${}K[X_{1},\ldots ,X_{n}]/\operatorname {Id} \,(V)\cong K[X_{1},\ldots ,X_{n}]/\operatorname {Id} \,({\tilde {V}})\,.$

Beweis

Nach Definition von affin-linear äquivalent gibt es eine affin-lineare Variablentransformation

${{\mathbb {A} }_{K}^{n}}\longrightarrow {{\mathbb {A} }_{K}^{n}},\,P\longmapsto \varphi (P),$

mit ${}\varphi ^{-1}(V)={\tilde {V}}$. Es sei ${}{\tilde {\varphi }}$ der zugehörige Automorphismus des Polynomrings ${}K[X_{1},\ldots ,X_{n}]$. Dabei ist

${}{\tilde {\varphi }}^{-1}\,(\operatorname {Id} ({\tilde {V}}))=\operatorname {Id} \,(V)\,.$

Nach dem Isomorphiesatz folgt die Isomorphie der Restklassenringe.

$\Box$

Bemerkung  

In Fakt kommt ein wichtiges Prinzip der algebraischen Geometrie zum Ausdruck, nämlich, dass das algebraische Objekt, das zu einer Nullstellenmenge gehört, der Restklassenring des Polynomringes nach dem Verschwindungsideal ist. Dies ist eine „intrinsische Invariante“ der Nullstellenmenge, d.h., unabhängig von einer Einbettung. Unter dieser Betrachtungsweise rückt auch die Noethersche Normalisierung im ebenen Fall in ein neues Licht. Man kann unter den Voraussetzungen der Aussage annehmen, dass die Kurvengleichung die Form

${}F=X^{d}+P_{d-1}(Y)X^{d-1}+\cdots +P_{1}(Y)X+P_{0}(Y)\,$

besitzt. Wenn man dieses Polynom „gleich null setzt“, so bedeutet dies eine Ganzheitsgleichung für ${}X$. Genauer, über dem Polynomring ${}K[Y]$ in einer Variablen ist die Restklasse von ${}X$ im Restklassenring ${}K[X,Y]/(F)$ ganz. Diese Begriffe sind vielleicht aus der elementaren Zahlentheorie bekannt und werden auch hier wieder eine wichtige Rolle spielen. Da ${}X$ über ${}K[Y]$ den Polynomring erzeugt, liegt überhaupt eine ganze (sogar endliche) Ringerweiterung

$K[Y]\longrightarrow K[X,Y]/(X^{d}+P_{d-1}(Y)X^{d-1}+\cdots +P_{1}(Y)X+P_{0}(Y))$

vor. Damit kann man den Noetherschen Normalisierungssatz auch so formulieren, dass sich über einem algebraisch abgeschlossenen Körper zu jeder algebraischen Kurve der zugehörige Restklassenring als endliche Erweiterung des Hauptidealbereiches ${}K[Y]$ realisieren lässt. Dies ist eine direkte Analogie zu den Ganzheitsringen der Zahlentheorie, die ebenfalls endliche Erweiterungen über dem Hauptidealbereich ${}\mathbb {Z}$ sind.

Unter beliebigen polynomialen Abbildungen zwischen affinen Räumen können sich, im Gegensatz zu affin-linearen Transformationen, viele algebraische Eigenschaften ändern, die Dimension kann sich ändern, Singularitäten können entstehen, etc. Dagegen überträgt sich die Irreduzibilität auf (den Zariski-Abschluss des) das Bild der Abbildung.

Satz

Es sei ${}K$ ein unendlicher Körper und

$\varphi \colon {{\mathbb {A} }_{K}^{r}}\longrightarrow {{\mathbb {A} }_{K}^{n}}$

sei eine durch ${}n$ Polynome in ${}r$ Variablen gegebene Abbildung.

Dann ist der Zariski-Abschluss des Bildes der Abbildung irreduzibel.

Beweis

Es sei ${}B=\varphi ({{\mathbb {A} }_{K}^{r}})$ das Bild der Abbildung. Nach Fakt ist

${}{\overline {B}}=V(\operatorname {Id} \,(B))\,.$

Nun gilt für ${}P=\varphi (Q)$ mit ${}Q\in {{\mathbb {A} }_{K}^{r}}$ und für ${}F\in K[X_{1},\ldots ,X_{n}]$ die Beziehung

${}F(P)=F(\varphi (Q))=(F\circ \varphi )(Q)\,,$

wobei ${}F\circ \varphi \in K[T_{1},\ldots ,T_{r}]$ das Polynom ist, das sich ergibt, wenn man in ${}F$ die Variable ${}X_{i}$ durch die ${}i$-te Koeffizientenfunktion ${}\varphi _{i}\in K[T_{1},\ldots ,T_{r}]$ ersetzt. Daher ist ${}F(P)=0$ genau dann, wenn ${}(F\circ \varphi )(Q)=0$ ist, und ${}F$ verschwindet auf ganz ${}B$ genau dann, wenn ${}F\circ \varphi$ auf dem ganzen ${}{{\mathbb {A} }_{K}^{r}}$ verschwindet. Da ${}K$ unendlich ist, bedeutet dies, dass ${}F\circ \varphi$ das Nullpoynom ist. Daher gilt, dass ${}F\in \operatorname {Id} \,(B)$ genau dann ist, wenn ${}F$ unter dem zugehörigen Ringhomomorphismus

${\tilde {\varphi }}\colon K[X_{1},\ldots ,X_{n}]\longrightarrow K[T_{1},\ldots ,T_{r}]$

auf ${}0$ abgebildet wird. Damit ist ${}\operatorname {Id} \,(B)$ das Urbild eines Primideals (nämlich des Nullideals) und somit nach Aufgabe selbst ein Primideal. Aufgrund von Fakt ist ${}V(\operatorname {Id} \,(B))$ irreduzibel.

$\Box$