Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 22/kontrolle

Schnittverhalten von Untervarietäten

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 Korollar 9.8 (Lineare Algebra (Osnabrück 2024-2025)) 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 Referenznummer erstellen

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 Referenznummer erstellen

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 Lemma 22.3 ändern

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 Korollar 19.6 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 Satz 18.7 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 Lemma 22.4 ändern

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 Satz 20.8 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 Lemma 22.5 ändern

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 22.7.

$\Box$

Lemma Lemma 22.6 ändern

Es sei ${}R$ ein kommutativer Ring, ${}{\mathfrak {a}}\subseteq R$ ein Ideal und ${}S\subseteq R$ ein multiplikatives System. In der Nenneraufnahme ${}R_{S}$ gelte

${}{\mathfrak {a}}R_{S}={\left(f_{1},\ldots ,f_{n}\right)}\,.$

Dann gibt es ein ${}g\in S$ und Elemente ${}a_{1},\ldots ,a_{n}\in R$ mit

${}{\mathfrak {a}}R_{g}={\left(a_{1},\ldots ,a_{n}\right)}\,.$

Beweis

Siehe Aufgabe 22.11.

$\Box$

Lemma Lemma 22.7 ändern

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 Satz 21.6 eine Beschreibung der Form ${}{\mathfrak {m}}_{P}={\left(f_{1},\ldots ,f_{n}\right)}$. Wir können nach Lemma 22.6 ${}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 Lemma 20.2 und Lemma 20.4 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 Lemma 20.6)

$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 Lemma 22.4 ein glatter Punkt und damit ist der lokale Ring ${}{\mathcal {O}}_{(P,P)}$ regulär nach Satz 21.6. Seine Dimension ist ${}2n$ nach Satz 20.8. Nach Lemma 21.4 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 Satz 21.5 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 Satz 22.8 ändern

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 Lemma 22.5 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 Satz 20.8 besitzt ${}Y\times Z$ die Dimension ${}r+s$. Nach Lemma 22.7 wird ${}\Delta$ im Punkt ${}(P,P)$ lokal durch ${}n$ Funktionen beschrieben. Nach Lemma 22.3 ist daher

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

$\Box$

Satz Satz 22.9 ändern

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 Satz 22.8.

$\Box$

Korollar Korollar 22.10 ändern

Es sei ${}K$ ein algebraisch abgeschlossener Körper, sei ${}V\subseteq {{\mathbb {A} }_{K}^{n}}$ eine abgeschlossene Untervarietät und ${}P\in V$ ein Punkt der lokalen Dimension ${}r$.

Dann besitzt jede irreduzible Komponente ${}W$ durch ${}P$ des Durchschnittes von ${}V$ mit jedem linearen Unterraum der Dimension ${}\geq n+1-r$ eine Dimension ${}\geq 1$ (${}P$ ist also kein isolierter Punkt des Durchschnittes), und es gibt lineare Unterräume der Dimension ${}n-r$ durch ${}P$, deren Durchschnitt mit ${}V$ den Punkt ${}P$ isolieren.

Beweis

Die erste Aussage folgt aus Satz 22.9. Für die andere Richtung verwenden wir Induktion über ${}n$, wobei die Aussage bei ${}n=0$ klar ist. Wenn ${}V$ der ganze Raum ist, so ist die Aussage ebenfalls wahr, da dann der Durchschnitt mit dem nulldimensionalen Raum ${}\{P\}$ den Punkt selbst herausschneidet. Es sei also ${}V$ nicht der ganze Raum und ${}Q\notin V$. Wir können annehmen, dass jede irreduzible Komponente von ${}V$ durch den Punkt ${}P$ verläuft. Für eine Hyperebene ${}H$ durch ${}P$ und ${}Q$ gilt, dass der Durchschnitt ${}V\cap H$ eine Dimension besitzt, die kleiner als die Dimension von ${}V$ ist, da dies für jede Komponente gilt. Die Induktionsvoraussetzung, angewendet auf ${}V\cap H\subset H$, liefert die Behauptung.

$\Box$

Die vorstehende Aussage ermöglicht eine weitere Definition für die Dimension einer affinen Varietät

${}V\subseteq {{\mathbb {A} }_{K}^{n}}\,,$

nämlich als

$\operatorname {dim} {\left(V\right)}=n-\max {\left\{c\mid {\text{es gibt lineare Unterräume der Dimension }}c{\text{ durch }}P,{\text{ die den Punkt }}P{\text{ isolieren}}\right\}}\,.$

Man betrachte unter diesem Aspekt Aufgabe 5.7, Aufgabe 5.8, Aufgabe 5.9, Aufgabe 5.12 und Aufgabe 5.20.