Varietät/Glatter Punkt/Durchschnitt/Dimensionsverhalten/Textabschnitt

In einem ${}n$-dimensionalen Vektorraum ${}V$ mit Untervektorräumen ${}U_{1},U_{2}\subseteq V$ der Dimension ${}n-k_{1}$ bzw. ${}n-k_{2}$ ist nach Fakt der Durchschnitt ${}U_{1}\cap U_{2}$ ein Untervektorraum, dessen Dimension zumindest ${}n-k_{1}-k_{2}$ ist (die Kodimension des Durchschnittes ist also höchstens die Summe der beiden Kodimensionen). Wenn die Untervektorräume hinreichend generisch gewählt sind, so ist diese Dimension genau ${}n-k_{1}-k_{2}$. Wir fragen uns, ob die Dimensionen sich entsprechend verhalten, wenn man nicht den Durchschnitt von Untervektorräumen, sondern den Durchschnitt von abgeschlossenen Untervarietäten ${}Y,Z\subseteq V$ in einer Varietät ${}V$ betrachtet. Wenn beispielsweise ${}V$ zweidimensional (eine Fläche) ist, und ${}Y$ und ${}Z$ eindimensional sind (Kurven), so besteht der Durchschnitt ${}Y\cap Z$ aus einzelnen Punkten (er kann generell auch leer sein), es sei denn, die beiden Kurven haben eine gemeinsame irreduzible Komponente. Für verschiedene irreduzible Kurven besteht der Durchschnitt aus einzelnen Punkten und die Dimensionen verhalten sich wie im linearen Kontext. Man braucht keine weitere Bedingung an die Fläche stellen. Im Allgemeinen hängt das Dimensionsverhalten aber von den Singularitäten der umgebenden Varietät ${}V$, wie das folgende Beispiel zeigt.

Beispiel

Es sei ${}K$ ein Körper. Im Polynomring ${}K[X,Y,W,Z]$ betrachten wir die Primideale ${}(XY-ZW)\subset {\mathfrak {p}}=(X,Z),{\mathfrak {q}}=(Y,W)$. Hierbei ist ${}(XY-ZW)$ ein Primhauptideal und hat die Höhe ${}1$ und ${}(X,Z)$ und ${}(Y,W)$ sind Primideale der Höhe ${}2$. Die zugehörigen Varietäten ${}V(X,Z)$ und ${}V(Y,W)$ sind affine Ebenen im ${}{{\mathbb {A} }_{K}^{4}}$ und haben die Dimension ${}2$. Wir betrachten die entsprechende Situation im Restklassenring

${}R=K[X,Y,W,Z]/(XY-ZW)\,,$

der die Dimension ${}3$ besitzt. Die Dimensionen der beiden Primideale bzw. der dadurch definierten Ebenen sind nach wie vor ${}2$, allerdings ist ihre Höhe bzw. Kodimension jetzt ${}1$. Der Durchschnitt dieser beiden Ebenen ist

${}V({\mathfrak {p}})\cap V({\mathfrak {q}})=V({\mathfrak {p}}+{\mathfrak {q}})=V(X,Y,W,Z)=V({\mathfrak {m}})\,,$

also einfach ein Punkt der Kodimension ${}3$. Der Ring ${}R$ mit den beiden Untervarietäten ${}V({\mathfrak {p}})$ und ${}V({\mathfrak {q}})$ liefert also ein Beispiel, das zeigt, dass die Summe der Kodimensionen von Untervarietäten kleiner als die Kodimension ihres Schnittes sein kann. Dabei sind die Untervarietäten glatt, die Gesamtvarietät ${}V(XY-ZW)$ ist aber eine isolierte Hyperflächensingularität.

Über den reellen Zahlen gilt das erwähnte Dimensionsverhalten noch nicht einmal im ${}\mathbb {R} ^{3}$, wie das folgende Beispiel zeigt.

Beispiel

Im ${}\mathbb {R} ^{3}$ betrachten wir die Ebene ${}Y=V(z)$ und das Paraboloid ${}Z=V{\left(z-x^{2}-y^{2}\right)}$. Der Durchschnitt besteht allein aus dem Nullpunkt. Das bedeutet, dass der Durchschnitt der beiden Flächen, die jeweils die Kodimension ${}1$ haben, die Kodimension ${}3$ besitzt. Allerdings sieht diese Berechnung anders aus, wenn man die Krulldimensionen der Ringe und nicht die „sichtbaren“ reellen Punkte betrachtet. Es ist

${}Y\cap Z=V{\left(z,z-x^{2}-y^{2}\right)}=V{\left(z,x^{2}+y^{2}\right)}\,$

und der zugehörige Koordinatenring des Durchschnittes ist ${}K[x,y]/{\left(x^{2}+y^{2}\right)}$, der eindimensional ist.

Für einen glatten Punkt über einem algebraisch abgeschlossenen Körper gilt hingegen die Verallgemeinerung des erwähnten linearen Schnittverhaltens. Um dies zu zeigen bedarf es einiger Vorbereitungen. Das erste Lemma macht eine Aussage, wenn eine der beteiligten Untervarietäten geometrisch durch die minimal mögliche Anzahl von Gleichungen beschrieben wird (man spricht von einem lokal geometrisch vollständigen Durchschnitt). Im vorstehenden Beispiel können die beiden Flächen nicht durch eine Gleichung beschrieben werden.

Lemma

Es sei ${}K$ ein algebraisch abgeschlossener Körper, es sei ${}V$ eine Varietät über ${}K$ und ${}Y,Z\subseteq V$ affin-algebraische Teilmengen mit ${}Y$ irreduzibel. Es sei ${}P\in Y\cap Z\subseteq V$ ein Punkt und ${}{\mathfrak {p}}$ das zugehörige Primideal zu ${}Y$ im lokalen Ring ${}R={\mathcal {O}}_{V,P}$. Es sei ${}r$ die Höhe von ${}{\mathfrak {p}}$ und es gebe ${}h$ Elemente ${}f_{1},\ldots ,f_{r}\in R$ mit

${}\operatorname {rad} {\left(f_{1},\ldots ,f_{r}\right)}={\mathfrak {p}}\,.$

Dann erfüllt jede Komponente ${}W$ des Durchschnittes ${}Y\cap Z$ die Dimensionseigenschaft

${}\operatorname {dim} {\left(W\right)}\geq \operatorname {dim} {\left(Y\right)}+\operatorname {dim} {\left(Z\right)}-\operatorname {dim} {\left(V\right)}\,.$

Beweis

Ohne Einschränkung sei ${}Z=V({\mathfrak {q}})$ ebenfalls irreduzibel und entspreche einem Primideal ${}{\mathfrak {q}}\subseteq R$ der Höhe ${}s$. Es sei ${}W=V({\mathfrak {r}})$ mit einem Primideal ${}{\mathfrak {r}}\subseteq R$ der Höhe ${}m$, das minimal über ${}{\mathfrak {p}}+{\mathfrak {q}}$ ist. Wegen Fakt ist ${}m\leq r+s$ zu zeigen. In ${}R_{\mathfrak {r}}/{\mathfrak {q}}$ ist ${}{\mathfrak {r}}$ minimal über

${}{\mathfrak {q}}=\operatorname {rad} {\left(f_{1},\ldots ,f_{r}\right)}\,.$

Nach Fakt ist dort die Höhe von ${}{\mathfrak {r}}$ höchstens ${}r$. Zurückübersetzt nach ${}R_{\mathfrak {r}}$ bedeutet dies

${}\operatorname {ht} {\left({\mathfrak {r}}\right)}\leq r+s\,.$

$\Box$

Lemma

Es sei ${}K$ ein algebraisch abgeschlossener Körper, es seien ${}V$ und ${}W$ affine Varietäten und ${}P\in V,Q\in W$ glatte Punkte.

Dann ist ${}(P,Q)$ ein glatter Punkt der Produktvarietät ${}V\times W$.

Beweis

Es sei ${}P\in V\subseteq {{\mathbb {A} }_{K}^{m}}$ wobei ${}V$ durch die Polynome ${}f_{1},\ldots ,f_{r}$ auf dem affinen Raum ${}{{\mathbb {A} }_{K}^{m}}$ beschrieben werde, deren Jacobimatrix im Punkt ${}P$ einen Rang ${}\geq m-\operatorname {dim} V$ besitze. Entsprechend sei ${}Q\in W\subseteq {{\mathbb {A} }_{K}^{n}}$ wobei ${}W$ durch die Polynome ${}g_{1},\ldots ,g_{s}$ auf dem affinen Raum ${}{{\mathbb {A} }_{K}^{n}}$ beschrieben werde, deren Jacobimatrix im Punkt ${}Q$ einen Rang ${}\geq n-\operatorname {dim} {\left(W\right)}$ besitze. Dann beschreiben die Polynome

$(f,g)=(f_{1},\ldots ,f_{r},g_{1},\ldots ,g_{s})\colon {{\mathbb {A} }_{K}^{m}}\times {{\mathbb {A} }_{K}^{n}}\longrightarrow {\mathbb {A} }_{K}^{1}$

(wobei die ${}f_{i}$ nur von den vorderen und die ${}g_{j}$ nur von den hinteren Variablen abhängen) die Produktvarietät ${}V\times W$. Die Jacobimatrix zu ${}(f,g)$ ist eine Blockmatrix, deshalb ist ihr Rang gleich der Summe der Einzelränge und insbesondere ${}\geq m-\operatorname {dim} {\left(V\right)}+n-\operatorname {dim} {\left(W\right)}$. Die Dimension von ${}V\times W$ ist nach Fakt gleich ${}\operatorname {dim} {\left(V\right)}+\operatorname {dim} {\left(W\right)}$, daher erfüllen ${}(f_{1},\ldots ,f_{r},g_{1},\ldots ,g_{s})$ insgesamt die Rangbedingung und ${}(P,Q)$ ist ein glatter Punkt.

$\Box$

Unsere weitere Beweisstrategie läuft unter dem Stichwort Reduktion zur Diagonalen. Damit ist folgendes gemeint. Zu einer beliebigen Menge ${}V$ nennt man die Teilmenge

${}\Delta ={\left\{(P,P)\mid P\in V\right\}}\subseteq V\times V\,$

die Diagonale. Es gibt eine natürliche Bijektion

$V\longrightarrow \Delta ,\,P\longmapsto (P,P).$

Wenn ${}V$ ein topologischer Raum (Mannigfaltigkeit, Varietät) ist, so ist dies häufig eine abgeschlossene Einbettung und ${}V$ und ${}\Delta$ haben die gleichen Eigenschaften. Zu Teilmengen ${}Y,Z\subseteq V$ ergibt sich eine natürliche Bijektion zwischen ${}Y\cap Z\subseteq V$ einerseits und ${}\Delta \cap {\left(Y\times Z\right)}\subseteq V\times V$ andererseits. Insofern kann man Eigenschaften des Durchschnittes ${}Y\cap Z$ dadurch verstehen, dass man Eigenschaften des Durchschnittes ${}\Delta \cap {\left(Y\times Z\right)}$ versteht. Der Vorteil hierbei ist, dass die Diagonale ${}\Delta$ häufig schönere Eigenschaften als eine beliebige Teilmenge besitzt. Zunächst halten wir fest, dass die Diagonale isomorph zu ${}V$ selbst ist.

Lemma

Es sei ${}K$ ein Körper und sei ${}V$ eine affin-algebraische Menge über ${}K$.

Dann ist die Diagonale

$V\longrightarrow V\times V,\,P\longmapsto (P,P),$

eine abgeschlossene Einbettung.

Insbesondere ist das Bild ${}\Delta$ der Diagonalen homöomoph zu ${}V$.

Beweis

Siehe Aufgabe.

$\Box$

Lemma

Es sei ${}K$ ein algebraisch abgeschlossener Körper und sei ${}V$ eine affine Varietät der Dimension ${}n$. Es sei ${}P\in V$ ein glatter Punkt.

Dann wird die Diagonale ${}\Delta \subseteq V\times V$ im Punkt ${}(P,P)$ lokal durch ${}n$ Funktionen auf ${}V\times V$ beschrieben.

Beweis

Es sei ${}R=K[X_{1},\ldots ,X_{m}]/{\mathfrak {a}}$ der Koordinatenring von ${}V$ und sei ${}{\mathfrak {m}}_{P}$ das maximale Ideale zu ${}P$ in ${}R$. Im lokalen Ring ${}{\mathcal {O}}_{P}=R_{{\mathfrak {m}}_{P}}$ gibt es nach Voraussetzung und Fakt eine Beschreibung der Form ${}{\mathfrak {m}}_{P}={\left(f_{1},\ldots ,f_{n}\right)}$. Wir können nach Fakt ${}V$ verkleinern, d.h. zu einer affinen offenen Teilmenge

${}P\in U=D(g)\subseteq V\,$

übergehen und dann annehmen, dass ${}f_{1},\ldots ,f_{n}\in R$ und dort bereits ${}{\mathfrak {m}}_{P}={\left(f_{1},\ldots ,f_{n}\right)}$ gilt. Es ist ${}R\otimes _{K}R$ nach Fakt und Fakt der Koordinatenring des Produktes ${}V\times V$. Wir betrachten die Funktionen

${}h_{i}=f_{i}\otimes 1-1\otimes f_{i}\in R\otimes _{K}R\,,$

diese Funktionen wirken auf ${}V\times V$ durch

${}{\left(f_{i}\otimes 1-1\otimes f_{i}\right)}(Q,Q')=f_{i}(Q)-f_{i}(Q')\,.$

Bezüglich der Einbettung (vergleiche Fakt)

$V\cong V\times \{P\}\longrightarrow V\times V$

erhält man durch einschränken aus den ${}h_{i}$ die ${}f_{i}$ zurück. Da die ${}f_{i}$ modulo ${}{\mathfrak {m}}_{P}^{2}$ linear unabhängig sind, gilt dies auch für ${}h_{i}$ modulo ${}{\mathfrak {m}}_{(P,P)}^{2}$.

Für die Diagonale ist offenbar

${}\Delta \subseteq V(h_{1},\ldots ,h_{n})\,.$

Der Punkt ${}(P,P)\in \Delta$ ist in ${}V\times V$ nach Fakt ein glatter Punkt und damit ist der lokale Ring ${}{\mathcal {O}}_{(P,P)}$ regulär nach Fakt. Seine Dimension ist ${}2n$ nach Fakt. Nach Fakt ist ${}{\mathcal {O}}_{V\times V,(P,P)}/(h_{1},\ldots ,h_{n})$ regulär der Dimension ${}n$. Insbesondere ist ${}(h_{1},\ldots ,h_{n})$ nach Fakt ein Primideal in ${}{\mathcal {O}}_{V\times V,(P,P)}$ der Dimension ${}n$ und daher muss ${}\Delta =V(h_{1},\ldots ,h_{n})$ gelten.

$\Box$

Satz

Es sei ${}K$ ein algebraisch abgeschlossener Körper und ${}V$ eine affine Varietät über ${}K$ der Dimension ${}n$. Es sei ${}P\in V$ ein glatter Punkt und ${}Y,Z\subseteq V$ Untervarietäten der Dimension ${}r$ bzw. ${}s$.

Dann besitzt jede Komponente ${}W$ des Durchschnitts ${}Y\cap Z$ im Punkt ${}P$ eine Dimension ${}\geq r+s-n$.

Beweis

Wir betrachten die Diagonaleinbettung

$V\longrightarrow V\times V,\,Q\longmapsto (Q,Q),$

das Bild sei mit ${}\Delta$ bezeichnet. Es liegt dadurch nach Fakt ein Isomorphismus (insbesondere ein Homöomorphismus) ${}V\cong \Delta$ von Varietäten vor. Unter diesem Isomorphismus entsprechen sich die Mengen ${}Y\cap Z$ und ${}\Delta \cap (Y\times Z)$, wobei rechts das Produkt ${}Y\times Z$ in natürlicher Weise als abgeschlossene Untervarietät von ${}V\times V$ aufgefasst wird. Damit entsprechen sich auch die Komponenten des Schnittes ${}Y\cap Z$ im Punkt ${}P$ und die Komponenten des Schnittes ${}\Delta \cap (Y\times Z)$ im Punkt ${}(P,P)$. Nach Fakt besitzt ${}Y\times Z$ die Dimension ${}r+s$. Nach Fakt wird ${}\Delta$ im Punkt ${}(P,P)$ lokal durch ${}n$ Funktionen beschrieben. Nach Fakt ist daher

${}\operatorname {dim} _{(P,P)}{\left(\Delta \cap Y\times Z\right)}\geq r+s-n\,$

$\Box$

Satz

Es sei ${}K$ ein algebraisch abgeschlossener Körper und seien ${}Y,Z\subseteq {{\mathbb {A} }_{K}^{n}}$ abgeschlossene Untervarietäten der Dimension ${}r$ bzw. ${}s$.

Dann besitzt jede Komponente ${}W$ des Durchschnitts ${}Y\cap Z$ eine Dimension ${}\geq r+s-n$.

Beweis

Dies ist ein Spezialfall von Fakt.

$\Box$