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

Glatte Punkte auf Achsenraumkonfigurationen

Beispiel Referenznummer erstellen

Zu

$K^{3}\longrightarrow K,\,(x,y,z)\longmapsto xyz,$

ist die Nullstellenmenge die Vereinigung der drei Achsenebenen, also zweidimensional. Die Jacobimatrix ist

$(yz,xz,xy).$

Im Nullpunkt ist das die Nullmatrix und es liegt ein singulärer Punkt vor. Aber auch in einem Punkt mit ${}x=y=0$ (unabhängig vom Wert von ${}z$) liegt die Nullmatrix vor und der Punkt ist singulär. Wenn hingegen ${}x=0$ ist und die beiden anderen Koordinaten ${}y,z$ nicht ${}0$ sind, so ist die Jacobimatrix gleich ${}(yz,0,0)$ und hat den Rang ${}1$, ein solcher Punkt ist also glatt.

Das vorstehende Beispiel kann man auch mit dem Satz über implizite Abbildungen behandeln, doch schon für das folgende brauchen wir das Glattheitskonzept, bei dem die Jacobimatrix nicht unbedingt surjektiv sein muss.

Beispiel Beispiel 4.2 ändern

Zu

$K^{3}\longrightarrow K^{3},\,(x,y,z)\longmapsto (yz,xz,xy),$

ist die Nullstellenmenge die Vereinigung der drei Achsen, also das eindimensionale Achsenkreuz im Raum. Die Jacobimatrix ist

${\begin{pmatrix}0&z&y\\z&0&x\\y&x&0\end{pmatrix}}.$

Im Nullpunkt ist das die Nullmatrix und es liegt ein singulärer Punkt vor. In einem Punkt mit ${}x=y=0$ und ${}z\neq 0$ ist die Matrix gleich

${\begin{pmatrix}0&z&0\\z&0&0\\0&0&0\end{pmatrix}}$

und ihr Rang ist ${}2=3-1$, also liegt ein glatter Punkt vor.

Lemma Referenznummer erstellen

Ein Punkt ${}P\in \Delta (K)=\bigcup _{F\in \Delta }K^{F}$ auf der Achsenraumkonfiguration zu einem simplizialen Komplex ${}\Delta$

ist genau dann glatt, wenn er auf ${}K^{F}$ zu einer einzigen Facette ${}F$ liegt.

Beweis

Es sei ${}V={\{1,\ldots ,n\}}$ die Grundmenge und ${}A_{1},\ldots ,A_{m}$ eine Aufzählung aller minimalen Nichtseiten. Nach Lemma 3.11 ist

$(\prod _{v\in A_{1}}X_{v},\ldots ,\prod _{v\in A_{m}}X_{v})\colon K^{n}\longrightarrow K^{m}$

eine Abbildung, deren Faser über ${}0$ die Achsenraumkonfiguration zum simplizialen Komplex ${}\Delta$ ist. Wir schreiben die Jacobimatrix als

${\begin{pmatrix}\prod _{v\in A_{1}\setminus \{1\}}X_{v}&\prod _{v\in A_{1}\setminus \{2\}}X_{v}&\ldots &\prod _{v\in A_{1}\setminus \{n\}}X_{v}\\\prod _{v\in A_{2}\setminus \{1\}}X_{v}&\prod _{v\in A_{2}\setminus \{2\}}X_{v}&\ldots &\prod _{v\in A_{2}\setminus \{n\}}X_{v}\\\vdots &\vdots &\vdots &\vdots \\\prod _{v\in A_{m}\setminus \{1\}}X_{v}&\prod _{v\in A_{m}\setminus \{2\}}X_{v}&\ldots &\prod _{v\in A_{m}\setminus \{n\}}X_{v}\end{pmatrix}},$

wobei ${}\prod _{v\in A_{i}\setminus \{j\}}X_{v}$ als ${}0$ zu verstehen ist, falls ${}j\notin A_{i}$. Es sei ${}P\in K^{n}$ ein Punkt, der auf ${}K^{F}$ zu genau einer Facette ${}F$ liegt. Es sei ${}S$ der Träger von ${}P$ (der in ${}F$ enthalten ist). Für jeden Index ${}z\notin F$ ist ${}S\cup \{z\}$ eine Nichtseite, da der Punkt sonst in einer weiteren Facette liegen müsste. Die Anzahl von ${}F$ sei ${}d$, was auch die Dimension von ${}K^{F}$ ist, also die Dimension der Achsenraumkonfiguration im Punkt ${}P$. Es gibt also ${}n-d$ solche Indizes. Nach Umnummerierung seien ${}\{1,\ldots ,n-d\}$ diese Indizes und seien ${}A_{1},\ldots ,A_{n-d}$ die Nichtseiten der Form

${}A_{j}=S\cup \{j\}\,$

zu ${}j=1,\ldots ,n-d$. Wir betrachten die ${}(n-d)\times (n-d)$-Untermatrix oben links der Jacobimatrix, also

${\begin{pmatrix}\prod _{v\in A_{1}\setminus \{1\}}X_{v}&\prod _{v\in A_{1}\setminus \{2\}}X_{v}&\ldots &\prod _{v\in A_{1}\setminus \{n-d\}}X_{v}\\\prod _{v\in A_{2}\setminus \{1\}}X_{v}&\prod _{v\in A_{2}\setminus \{2\}}X_{v}&\ldots &\prod _{v\in A_{2}\setminus \{n-d\}}X_{v}\\\vdots &\vdots &\vdots &\vdots \\\prod _{v\in A_{n-d}\setminus \{1\}}X_{v}&\prod _{v\in A_{n-d}\setminus \{2\}}X_{v}&\ldots &\prod _{v\in A_{n-d}\setminus \{n-d\}}X_{v}\end{pmatrix}}.$

In der Diagonalen ist stets

${}A_{j}\setminus \{j\}={\left(S\cup \{j\}\right)}\setminus \{j\}=S\,$

und die Auswertung der Monome im Punkt ${}P$ ergibt in der Diagonalen Werte ${}\neq 0$. An einer Stelle zum Index ${}(i,j)$ mit ${}i\neq j$ ist

${}A_{i}\setminus \{j\}={\left(S\cup \{i\}\right)}\setminus \{j\}\,.$

Der Index ${}i$ gehört nicht zu ${}S$ und taucht in der Indexmenge des Monoms auf, daher sind diese Einträge an der Stelle ${}P$ gleich ${}0$. Daher ist diese Untermatrix eine Diagonalmatrix mit von ${}0$ verschiedenen Diagonaleinträgen. Daher hat sie den vollen Rang ${}n-d$, und das bedeutet, dass der Rang der Jacobimatrix zumindest ${}n-d$ ist, also glatt nach der Definition.

Es sei nun vorausgesetzt, dass der Träger ${}S$ des Punktes ${}P$ in den zwei Facetten ${}F$ und ${}G$ liegt, und ${}F$ aus ${}d$ Indizes besteht. Wir können (nach Umbenennungen) ${}F$ als ${}F=\{n-d+1,\ldots ,n\}$ ansetzen und darüberhinaus annehmen, dass

${}n-d\in G\,$

liegt. Es sei nun ${}A$ eine Nichtseite, die von den ${}n-d-1$ Nichtseiten ${}S\cup \{j\}$, ${}j=1,\ldots ,n-d-1$, verschieden sei. Sei ${}k\in V$. Bei ${}k\notin A$ steht an der Stelle ${}(A,k)$ in der Jacobimatrix die ${}0$. Bei ${}k\in A$ ist

${}A\setminus \{k\}\not \subseteq S\,,$

da wir ${}A=S\cup \{k\}$ ausgeschlossen haben. Somit ist der Wert des Monoms zum Index ${}(A,k)$ an der Stelle ${}P$ gleich ${}0$. Daher ist überhaupt die Zeile zu ${}A$ in der Jacobimatrix ausgewertet am Punkt ${}P$ die Nullzeile. Die Jacobimatrix besitzt also höchstens ${}n-d-1$ Nichtnullzeilen und damit ist ihr Rang höchstens ${}n-d-1$. Der Punkt ist also nicht glatt.

$\Box$

Stanley-Reisner-Ringe

Wie in der ersten Vorlesung angekündigt, wollen wir einen singulären Raum immer auch über die auf ihm definierten Funktionen verstehen. Im algebraischen Kontext werden diese im affinen Koordinatenring zusammengefasst. Für die simplizialen Komplexe und ihre geometrische Realisierung als Achsenraumkonfigurationen führt das zu den Stanley-Reisner-Ringen.

Definition Referenznummer erstellen

Zu einem simplizialen Komplex ${}\Delta$ auf ${}V$ und einem kommutativen Ring ${}R$ nennt man den Restklassenring

${}R[\Delta ]=R[X_{v},\,v\in V]/{\left(\prod _{v\in A}X_{v}:\,A\subseteq V{\text{ ist keine Seite von }}\Delta \right)}\,$

den Stanley-Reisner-Ring zu ${}\Delta$ (über ${}R$).

Man macht also aus der Eckenmenge ${}V$ die Indexmenge für eine Variablenmenge, bildet den Polynomring ${}R[X_{v},\,v\in V]$ und macht das von allen Monomen ${}\prod _{v\in A}X_{v}$, wenn ${}A$ eine Nichtseite ist, erzeugte Ideal zu ${}0$. Dieses Ideal nennt man auch das Stanley-Reisner-Ideal zum simplizialen Komplex. Es wird mit ${}I_{\Delta }$ bezeichnet. Dieses Ideal wird bereits von den Monomen zu den minimalen Nichtseiten von ${}\Delta$ erzeugt.

Wichtig ist allein schon die Situation, wenn der Grundring ein Körper ist. Man interessiert sich insbesondere für solche ringtheoretischen Eigenschaften der Stanley-Reisner-Ring, die für alle Grundkörper gelten.

Beispiel Referenznummer erstellen

Zu einem Simplex ${}\Delta ={\mathfrak {P}}\,(V)$ ist der zugehörige Stanley-Reisner-Ring einfach der Polynomring ${}R[X_{v}:\,v\in V]$, da es keine Nichtseite gibt und daher das Stanley-Reisner-Ideal das Nullideal ist.

Beispiel Referenznummer erstellen

Zum leeren simplizialen Komplex ist der Stanley-Reisner-Ring der Nullring, da in diesem Fall die leere Menge eine Nichtseite ist und das Produkt über die leere Menge ${}1$ ist. Das Stanley-Reisner-Ideal ist also das Einheitsideal und somit ist der Restklassenring der Nullring.

Beispiel Referenznummer erstellen

Zu dem simplizialen Komplex, der allein aus der leeren Menge besteht, ist der Stanley-Reisner-Ring der Grundring ${}R$. In diesem Fall ist jede Ecke ${}v$ eine Nichtseite und daher gehören die Variablen ${}X_{v}$ zum Stanley-Reisner-Ideal und erzeugen dieses. Der Restklassenring ist daher der Grundring.

Diese drei angeführten Möglichkeiten nennt man auch die trivialen simplizialen Komplexe.

Beispiel Referenznummer erstellen

Auf einer zweielementigen Menge ${}V=\{e,f\}$ ist der einzige nichttriviale simpliziale Komplex gleich

${}\Delta =\{\emptyset ,\{e\},\{f\}\}\,.$

Die einzige Nichtseite ist ${}\{e,f\}$ und daher ist

${}R[\Delta ]=R[X_{e},X_{f}]/{\left(X_{e}X_{f}\right)}\cong R[X,Y]/(XY)\,.$

Beispiel Referenznummer erstellen

Auf einer dreielementigen Menge ${}V=\{e,f,g\}$ betrachten wir die nichttrivialen simplizialen Komplexe und ihre Stanley-Reisner-Ringe, wobei wir die Variablen mit ${}X,Y,Z$ bezeichnen.

Bei

${}\Delta =\{\emptyset ,\{e\},\{f\},\{g\}\}\,$

ist

${}R[\Delta ]=R[X,Y,Z]/{\left(XY,XZ,YZ\right)}\,.$

Bei

${}\Delta =\{\emptyset ,\{e\},\{f\},\{g\},\{e,f\}\}\,$

ist

${}R[\Delta ]=R[X,Y,Z]/{\left(XZ,YZ\right)}\,.$

Bei

${}\Delta =\{\emptyset ,\{e\},\{f\},\{g\},\{e,f\},\{e,g\}\}\,$

ist

${}R[\Delta ]=R[X,Y,Z]/{\left(YZ\right)}\,.$

Bei

${}\Delta =\{\emptyset ,\{e\},\{f\},\{g\},\{e,f\},\{e,g\},\{f,g\}\}\,$

ist

${}R[\Delta ]=R[X,Y,Z]/{\left(XYZ\right)}\,.$

Beispiel Referenznummer erstellen

Zu einem ungerichteten Graphen ${}(V,E)$, aufgefasst als simplizialer Komplex, besteht das Stanley-Reisner-Ideal aus sämtlichen Dreierprodukten ${}X_{u}X_{v}X_{w}$ mit ${}u,v,w$ paarweise verschieden und aus denjenigen Produkten ${}X_{u}X_{v}$ mit der Eigenschaft, dass ${}\{u,v\}$ keine Kante des Graphen ist (die Dreierprodukte, die eine Nichtkante beinhalten, braucht man nicht als Erzeuger).

Die Nullstellenmenge des Stanley-Reisner-Ideals ist die Achsenraumkonfiguration, also ${}V(I_{\Delta })=\Delta (K)$, wie in Lemma 3.11 gezeigt wurde. Die folgende Aussage zeigt, dass umgekehrt der Stanley-Reisner-Ring über einem unendlichen Körper der affine Koordinantenring der Achsenraumkonfiguration ist.

Lemma Referenznummer erstellen

Es sei ${}\Delta$ ein simplizialer Komplex auf der Grundmenge ${}V$, ${}\Delta (K)$ die zugehörige Achsenraumkonfiguration in ${}K^{V}$ und

${}K[\Delta ]=K[X_{v},\,v\in V]/I_{\Delta }\,$

der zugehörige Stanley-Reisner-Ring über einem unendlichen Körper ${}K$.

Dann definiert ein Polynom ${}F\in K[X_{v},\,v\in V]$ genau dann die Nullfunktion auf ${}\Delta (K)$, wenn ${}F\in I_{\Delta }$ ist.

Beweis

Die Inklusion ${}I_{\Delta }\subseteq \operatorname {Id} \,{\left(\Delta (K)\right)}$ ist klar nach Lemma 3.11. Es sei nun

${}f\notin I_{\Delta }\,.$

Wir schreiben

${}f=\sum _{\nu }a_{\nu }X^{\nu }\,,$

wobei wir direkt davon ausgehen können, dass nur solche Monome ${}X^{\nu }$ mit einem Koeffizienten ${}a_{\nu }\neq 0$ auftreten, deren Träger eine Seite des simplizialen Komplexes ist (da die Monome zu Nichtseiten die Nullfunktion induzieren). Dabei sei ${}S$ eine Seite des simplizialen Komplexes, die als Träger eines Monoms in ${}f$ vorkommt. Es sei ${}S\subseteq F$ eine Facette und ${}K^{F}$ der zugehörige Achsenraum, der nach Korollar 3.12 eine irreduzible Komponente der Achsenraumkonfiguration ist. Ein Monom ${}X^{\nu }$, das in ${}f$ vorkommt und dessen Träger nicht in ${}F$ liegt, induziert auf dem Achsenraum ${}K^{F}$ die Nullfunktion und man kann es weglassen, da dies den Wert der Polynomfunktion auf diesem Achsenraum nicht ändert. Ohne Einschränkung liege also der Träger eines jedes Monoms von ${}f$ in ${}F$. Dann ist aber ${}f$ einfach ein Polynom in den Variablen ${}X_{v}$, ${}v\in F$, und der ${}K^{F}$ ist der natürliche affine Raum, auf dem diese Polynome als Funktionen wirken. Bei einem unendlichen Körper ist aber nach Aufgabe 2.35 ein vom Nullpolynom verschiedenes Polynom nicht die Nullfunktion auf dem affinen Raum.

$\Box$

Lokale Ringe

Der Satz über implizite Abbildung macht eine Aussage über die lokale Gestalt der Faser in einem regulären Punkt, nämlich, dass lokal eine Mannigfaltigkeit vorliegt. Es wird keine Aussage über die globale Gestalt der Faser gemacht, ob es dort auch noch singuläre Punkte gibt. In der Singularitätentheorie interessiert man sich entsprechend für die lokale Gestalt eines geometrischen Objektes in einem singulären Punkt. Man möchte wissen, wie das geometrische Objekt in einem fixierten Punkt ${}P$ aussieht, und damit meint man, wie das geometrische Objekt in der Nachbarschaft des Punktes aussieht, in einer offenen Umgebung. Geometrische Phänome des Objektes, die keine Auswirkung auf die Nachbarschaft des Punktes haben, sind für das Verständnis der Singularität irrelevant. Bei ${}\mathbb {R}$ oder ${}{\mathbb {C} }$ versteht man unter einer offenen Umgebung typischerweise eine offene Ballumgebung zu einem „kleinen“ Radius. Bei einem beliebigen Körper meint man eine Zariski-offene Umgebung des Punktes.

Das Konzept Nachbarschaft zeigt sich deutlich auch für die Funktionsklassen. Eine (je nach Kontext, stetige, differenzierbare, polynomiale) Funktion besitzt in ${}P$ den Wert ${}f(P)$. Wenn ${}f(P)\neq 0$ ist, so ist wegen der Stetigkeit von ${}f$, die in allen angesprochenen Beispielklassen gegeben ist, die Funktion auch in einer gewissen Umgebung von ${}P$ nullstellenfrei. Auf einer solchen Umgebung ist dann auch die invertierte Funktion ${}1/f$ definiert und wieder stetig oder stetig differenzierbar, auch wenn ${}f$ außerhalb der Umgebung Nullstellen hat und dort ${}1/f$ nicht definiert ist. Die im Punkt ${}P$ nullstellenfreien Funktionen sind also lokal invertierbar. Für den algebraischen Kontext bedeutet dies, dass zu einem Punkt ${}P\in V\subseteq {{\mathbb {A} }_{K}^{n}}$ und eine durch ein Polynom

${}F\in K[X_{1},\ldots ,X_{n}]\,$

gegebene Funktion des affinen Koordinatenringes ${}R=K[X_{1},\ldots ,X_{n}]/\operatorname {Id} \,{\left(V\right)}$ mit ${}F(P)\neq 0$ die inverse Funktion ${}1/F$ zu den in ${}P$ definierten Funktionen gehören sollte. Dies wird durch die algebraische Konstruktion Nenneraufnahme und Lokalisierung realisiert.

Definition Referenznummer erstellen

Ein kommutativer Ring ${}R$ heißt lokal, wenn ${}R$ genau ein maximales Ideal besitzt.

Dazu ist äquivalent, dass das Komplement der Einheitengruppe von ${}R$ abgeschlossen unter der Addition ist. Die einfachsten lokalen Ringe sind die Körper. Zu jedem lokalen Ring ${}R$ gehört der Restklassenkörper ${}R/{\mathfrak {m}}$, den man den Restekörper von ${}R$ nennt.

Definition Referenznummer erstellen

Es sei ${}R$ ein kommutativer Ring und sei ${}{\mathfrak {p}}$ ein Primideal. Dann nennt man die Nenneraufnahme an ${}S=R\setminus {\mathfrak {p}}$ die Lokalisierung von ${}R$ an ${}{\mathfrak {p}}$. Man schreibt dafür ${}R_{\mathfrak {p}}$. Es ist also

${}R_{\mathfrak {p}}:={\left\{{\frac {f}{g}}\mid f\in R,\,g\not \in {\mathfrak {p}}\right\}}\,.$

Der folgende Satz zeigt, dass diese Namensgebung Sinn macht.

Satz Referenznummer erstellen

Es sei ${}R$ ein kommutativer Ring und sei ${}{\mathfrak {p}}$ ein Primideal in ${}R$.

Dann ist die Lokalisierung ${}R_{\mathfrak {p}}$ ein lokaler Ring mit maximalem Ideal

${}{\mathfrak {p}}R_{\mathfrak {p}}:={\left\{{\frac {f}{g}}\mid f\in {\mathfrak {p}},\,g\notin {\mathfrak {p}}\right\}}\,.$

Beweis

Die angegebene Menge ist in der Tat ein Ideal in der Lokalisierung

${}R_{\mathfrak {p}}={\left\{{\frac {f}{g}}\mid f\in R,\,g\not \in {\mathfrak {p}}\right\}}\,.$

Wir zeigen, dass das Komplement von ${}{\mathfrak {p}}R_{\mathfrak {p}}$ nur aus Einheiten besteht, sodass es sich um ein maximales Ideal handeln muss. Es sei also ${}q={\frac {f}{g}}\in R_{\mathfrak {p}}$, aber nicht in ${}{\mathfrak {p}}R_{\mathfrak {p}}$. Dann sind ${}f,g\notin {\mathfrak {p}}$ und somit gehört der inverse Bruch ${}{\frac {g}{f}}$ ebenfalls zur Lokalisierung.

$\Box$

Definition Referenznummer erstellen

Es sei ${}K$ ein algebraisch abgeschlossener Körper, ${}V\subseteq {{\mathbb {A} }_{K}^{n}}$ eine affin-algebraische Teilmenge mit affinem Koordinatenring ${}R=K[X_{1},\ldots ,X_{n}]/\operatorname {Id} \,{\left(V\right)}$. Es sei ${}P\in V$ ein Punkt mit zugehörigem maximalen Ideal ${}{\mathfrak {m}}_{P}\subseteq R$. Dann nennt man die Lokalisierung ${}R_{{\mathfrak {m}}_{P}}$ den lokalen Ring von ${}V$ im Punkt ${}P$. Er wird mit ${}{\mathcal {O}}_{V,P}$ bezeichnet.