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

In den verbleibenden Vorlesungen konzentrieren wir uns auf den holomorphen Standpunkt, insbesondere deshalb, weil man in der holomorphen Kategorie deutlich mehr Isomorphismen zur Verfügung habt, mit deren Hilfe man nahe verwandte Situationen ineinander überführen kann. Der hier relevante Unterschied zwischen der polynomialen (algebraischen) und der holomorphen Situation kommt schon darin zum Ausdruck, dass es zwar eine holomorphe Version des Satzes über implizite Abbildungen gibt, aber keine algebraische. Deshalb kann man rein algebraisch verschiedene glatte gleichdimensionale Punkte auf Varietäten nicht ineinander überführen, oft sind verschiedene Funktionenkörper der Varietäten ein Hindernis dafür (formal algebraisch, wenn man mit Komplettierungen arbeitet, ist das wiederum möglich). Wir besprechen hier die sogenannte Rechtsäquivalenz von holomorphen Funktionen (und der Singularitäten auf den dadurch definierten Hyperflächen) und Kriterien dafür, wann Rechtsäquivalenz vorliegt. Die Theorie der endlichen Bestimmtheit erlaubt es in vielen Fällen, zu zeigen, dass „kleine“ algebraische Manipulationen den Rechtsäquivalenztyp nicht ändern. Die Frage, wie viele unterschiedliche Singularitäten bei einer Deformation einer holomorphen Funktion bzw. einer Hyperfläche auftreten können, führt zum Konzept der einfachen Singularitäten. Damit ergibt sich überraschenderweise eine neue Charakterisierung der ADE-Singularitäten.

Rechtsäquivalenz

Definition

Es seien ${}f_{1}\colon U_{1}\rightarrow {\mathbb {C} }$ und ${}f_{2}\colon U_{2}\rightarrow {\mathbb {C} }$ holomorphe Funktionen mit ${}U_{1},U_{2}\subseteq {\mathbb {C} }^{n}$ offen, mit ${}0\in U_{1},U_{2}$ und ${}f_{1}(0)=f_{2}(0)=0$ . Dann heißen ${}f_{1},f_{2}$ rechtsäquivalent (im Nullpunkt), wenn es offene Teilmengen ${}0\in V_{1}\subseteq U_{1}$ und ${}0\in V_{2}\subseteq U_{2}$ und eine biholomorphe Abbildung

\varphi \colon V_{1}\longrightarrow V_{2}

mit

{}f_{1}=f_{2}\circ \varphi \,

gibt.

Es liegt dann ein kommutatives Diagramm

{\begin{matrix}V_{1}&{\stackrel {\varphi }{\longrightarrow }}&V_{2}&\\&\!\!\!\!\!f_{1}\searrow &\downarrow f_{2}\!\!\!\!\!&\\&&{\mathbb {C} }&\!\!\!\!\!\!\!\!\\\end{matrix}}

vor. Man beachte, dass man dabei die offenen Definitionsbereiche durch kleinere ersetzen darf. Typischerweise wird diese Verkleinerung stillschweigend durchgenommen, man ändert die Bezeichnung der offenen Menge nicht. Statt von einer biholomorphen Abbildung spricht man auch von einer (holomorphen) Transformation oder einem (holomorphen) Koordinatenwechsel. Von Rechtsäquivalenz spricht man, da die vermittelnde biholomorphe Abbildung rechts steht. Mit der Umkehrabbildung ${}\varphi ^{-1}$ gilt dann die Beziehung ${}f_{1}\circ \varphi ^{-1}=f_{2}$ , was die Symmetrie dieses Konzeptes sicherstellt. Insgesamt liegt eine Äquivalenzrelation auf der Menge der Paare ${}(U,f)$ bzw. auf der Menge der holomorphen Abbildungskeime vor.

Wenn man sich nicht auf den Nullpunkt konzentrieren möchte, so gilt eine entsprechende Definition, bei der dann ${}\varphi$ den Punkt ${}P_{1}$ auf den Punkt ${}P_{2}$ abbilden muss und wo im Bildraum ${}{\mathbb {C} }$ noch die Bildpunkte ineinander verschoben werden.

Lemma

Es seien ${}f_{1}\colon U_{1}\rightarrow {\mathbb {C} }$ und ${}f_{2}\colon U_{2}\rightarrow {\mathbb {C} }$ holomorphe Funktionen mit ${}U_{1},U_{2}\subseteq {\mathbb {C} }^{n}$ offen, mit ${}0\in U_{1},U_{2}$ und ${}f_{1}(0)=f_{2}(0)=0$ . Für beide Funktionen sei ${}0$ ein regulärer Punkt.

Dann sind ${}f_{1}$ und ${}f_{2}$ zueinander rechtsäquivalent.

Beweis

Da die Rechtsäquivalenz eine Äquivalenzrelation ist, können wir annehmen dass ${}f_{2}$ die Projektion

{\mathbb {C} }^{n}\longrightarrow {\mathbb {C} },\,\left(x_{1},\,\ldots ,\,x_{n}\right)\longmapsto x_{1},

die Projektion auf die erste Koordinate ist. Dann folgt die Aussage direkt aus der holomorphen Version des Satzes über implizite Abbildungen.

\Box

Insofern ist das Konzept Rechtsäquivalenz hauptsächlich für kritische Punkte von holomorphen Funktionen relevant. Im rein algebraischen Kontext gibt es keinen Satz über implizite Abbildungen und dort gibt es im Allgemeinen keinen Isomorphismus zwischen regulären Ringen gleicher Dimension.

Lemma

Es seien ${}f_{1}\colon U_{1}\rightarrow {\mathbb {C} }$ und ${}f_{2}\colon U_{2}\rightarrow {\mathbb {C} }$ holomorphe Funktionen mit ${}U_{1},U_{2}\subseteq {\mathbb {C} }^{n}$ offen, mit ${}0\in U_{1},U_{2}$ und ${}f_{1}(0)=f_{2}(0)=0$ . Die beiden Funktionen seien rechtsäquivalent.

Dann sind die Hyperflächen ${}f_{1}^{-1}(0)$ und ${}f_{2}^{-1}(0)$ im Nullpunkt zueinander lokal analytisch isomorph und es liegt ein ${}{\mathbb {C} }$ - Algebraisomorphismus ${}{\mathcal {O}}_{n}/{\left(f_{1}\right)}\cong {\mathcal {O}}_{n}/{\left(f_{2}\right)}$ vor.

Beweis

Die biholomorphe Abbildung ${}\varphi \colon V_{1}\rightarrow V_{2}$ , die es aufgrund der Rechtsäquivalenz gibt, überführt die Faser ${}V_{1}\cap f_{1}^{-1}(0)$ unmittelbar in die Faser ${}V_{2}\cap f_{2}^{-1}(0)$ . Die biholomorphe Abbildung definiert dabei einen ${}{\mathbb {C} }$ - Algebraisomorphismus

{\mathcal {O}}_{n}\longrightarrow {\mathcal {O}}_{n},\,h\longmapsto h\circ \varphi ,

der ${}f_{2}$ in ${}f_{1}$ überführt. Dies induziert einen ${}{\mathbb {C} }$ -Algebraisomorphismus

{\mathcal {O}}_{n}/{\left(f_{2}\right)}\longrightarrow {\mathcal {O}}_{n}/{\left(f_{1}\right)}.

\Box

Beispiel

Eine nichtkonstante holomorphe Funktion ${}f\colon U\rightarrow {\mathbb {C} }$ in einer Variablen ${}y$ (mit ${}0\in U\subseteq {\mathbb {C} }$ offen) ist im Nullpunkt rechtsäquivalent zu einer Potenz ${}y^{k}$ . Die Potenzreihenentwicklung von ${}f$ im Nullpunkt hat die Form

ay^{k}+gy^{k}

mit ${}a\in {\mathbb {C} }$ , ${}a\neq 0$ , und ${}g\in {\mathfrak {m}}=(y)$ . Dann ist in einer offenen Umgebung von ${}0$ die Funktion ${}a+g$ nullstellenfrei und daher ist auf einer offenen Umgebung der ${}0$ auch eine Wurzel ${}{\sqrt[{k}]{a+g}}$ wohldefiniert und holomorph. Daher ist dort durch ${}y\mapsto y{\sqrt[{k}]{a+h}}$ eine biholomorphe Abbildung gegeben, die ${}f$ und ${}y^{k}$ als rechtsäquivalent erweist. Verschiedene Potenzen sind untereinander nicht rechtsäquivalent nach Lemma 26.3.

Bemerkung

Die Rechtsäquivalenz bedeutet insbesondere, dass es ${}n$ konvergente Potenzreihen ${}\varphi _{1},\ldots ,\varphi _{n}$ in ${}n$ Variablen (nämlich den Komponentenfunktionen zu ${}\varphi$ ) gibt, sagen wir

{}\varphi _{i}=\sum a_{\nu ,i}Y^{\nu }\,,

derart, dass die Determinante der Matrix

{\left(a_{j,i}\right)}

(die ja die lineare Approximation von ${}\varphi$ im Nullpunkt ist) von ${}0$ verschieden ist und dass die Potenzreihengleichheit

{}f_{1}=f_{2}{\left(\varphi _{1},\ldots ,\varphi _{n}\right)}\,

gilt.

Lemma

Es seien ${}f_{1}\colon U_{1}\rightarrow {\mathbb {C} }$ und ${}f_{2}\colon U_{2}\rightarrow {\mathbb {C} }$ holomorphe Funktionen mit ${}U_{1},U_{2}\subseteq {\mathbb {C} }^{n}$ offen, mit ${}0\in U_{1},U_{2}$ und ${}f_{1}(0)=f_{2}(0)=0$ . Die beiden Funktionen seien rechtsäquivalent.

Dann überführt der zur biholomorphen Abbildung

$\varphi \colon U_{1}\longrightarrow U_{2}$

gehörende ${}{\mathbb {C} }$ - Algebraisomorphismus

\varphi ^{*}\colon {\mathcal {O}}\longrightarrow {\mathcal {O}},\,g\longmapsto g\circ \varphi ,

das Jacobiideal ${}J_{f_{2}}$ in das Jacobiideal ${}J_{f_{1}}$ , also

{}\varphi ^{*}J_{f_{2}}=J_{f_{1}}\,.

Insbesondere haben die beiden Funktionen im Nullpunkt die gleiche Milnorzahl.

Beweis

Aufgrund der Rechtsäquivalenz gibt es eine biholomorphe Abbildung ${}\varphi \colon U_{1}\rightarrow U_{2}$ und dadurch einen ${}{\mathbb {C} }$ -Algebraisomorphismus

\varphi ^{*}\colon {\mathcal {O}}_{2}\longrightarrow {\mathcal {O}}_{1},\,g\longmapsto g\circ \varphi ,

(die Indizes beziehen sich auf die Räume, nicht auf die Dimension). Es seien ${}x_{1},\ldots ,x_{n}$ die Koordinaten von ${}U_{1}$ und ${}y_{1},\ldots ,y_{n}$ die Koordinaten von ${}U_{2}$ . Nach der Kettenregel gilt die Beziehung

{}\left(Df_{2}\right)_{\varphi (P)}\circ \left(D\varphi \right)_{P}=\left(Df_{1}\right)_{P}\,

für ${}P\in U_{1}$ bzw., mit den partiellen Ableitungen und als Gleichheit von Funktionstupeln auf ${}U_{1}$ geschrieben,

{}\left({\frac {\partial f_{2}}{\partial y_{1}}}\circ \varphi ,\,\ldots ,\,{\frac {\partial f_{2}}{\partial y_{n}}}\circ \varphi \right)\cdot {\left(D\varphi \right)}=\left({\frac {\partial f_{1}}{\partial x_{1}}},\,\ldots ,\,{\frac {\partial f_{1}}{\partial x_{n}}}\right)\,.

Insbesondere gilt

{}{\frac {\partial f_{1}}{\partial x_{i}}}=\sum _{j=1}^{n}{\left({\frac {\partial f_{2}}{\partial y_{j}}}\circ \varphi \right)}\cdot {\frac {\partial \varphi _{i}}{\partial x_{j}}}\,

im lokalen Ring ${}{\mathcal {O}}_{1}$ und das bedeutet

{}{\frac {\partial f_{1}}{\partial x_{i}}}\in J_{f_{2}}{\mathcal {O}}_{1}\,

für alle ${}i$ , also

{}J_{f_{1}}\subseteq J_{f_{2}}{\mathcal {O}}_{1}\,.

Wegen der Symmetrie der Situation gilt Gleichheit.

\Box

Bemerkung

Das Konzept der Rechtsäquivalenz kann man auch rein algebraisch definieren, für Polynome oder rationale Funktionen ${}f_{1},f_{2}$ auf Zariski-offenen Mengen ${}U_{1},U_{2}$ im affinen Raum (oder für rationale Funktionen auf glatten gleichdimensionalen Varietäten) mit der Hilfe von (auf eventuell kleineren offenen Teilmengen definierten) Isomorphismen zwischen ${}U_{1}$ und ${}U_{2}$ . Dabei sind aber, anders als in Lemma 26.2, noch nicht einmal glatte Punkte auf den Nullstellengebilden zueinander algebraisch rechtsäquivalent. Bei einer Isomorphie der umgebenden Räume, die die beiden algebraischen Situationen ineinander überführt, werden wie in Lemma 26.3 insbesondere auch die Nullstellengebilde ineinander überführt und diese sind daher isomorph. Einen solchen Isomorphismus kann es aber beispielsweise zwischen einer Geraden in der Ebene und der Kurve ${}V{\left(X^{3}+Y^{3}-1\right)}$ nicht geben, da der Quotientenkörper der letzteren Kurve kein rationaler Funktionenkörper in einer Variablen ist.

Beispiel

Wir betrachten das Polynom ${}f=X^{3}-Y^{2}$ und das zugehörige Nullstellengebilde ${}V(f)\subseteq {\mathbb {A} }_{K}^{2}$ , also die zugehörige ebenen monomiale Kurve. Wir betrachten die polynomiale Abbildung

\varphi \colon {\mathbb {A} }_{K}^{2}\longrightarrow {\mathbb {A} }_{K}^{2},\,(x,z)\longmapsto (x,xz)=(x,y),

die einen Isomorphismus

V_{1}=D(X)\longrightarrow V_{2}=D(X)

induziert, die Umkehrabbildung ist durch

{}z={\frac {y}{x}}\,

gegeben. Dabei ist

{}f\circ \varphi =X^{3}-X^{2}Z^{2}=X^{2}{\left(X-Z^{2}\right)}\,.

Somit liefert ${}\varphi ,$ eingeschränkt auf ${}V_{1}$ bzw. ${}V_{2}$ einen Isomorphismus, der die monomialen Kurve ohne die Singularität in die Parabel ${}V{\left(X-Z^{2}\right)}$ ohne den Nullpunkt überführt.

Vektorfelder und Flüsse

Um verschiedene Funktionen in kritischen Punkten als rechtsäquialent nachweisen zu können, brauchen wir vor allem biholomorphe Abbildungen, die diese Rechtsäquivalenz vermitteln. Eine wichtige Quelle solcher Abbildungen ergibt sich mit der Hilfe von Vektorfeldern und den zugehörigen Flüssen.

Definition

Es sei ${}M$ eine differenzierbare Mannigfaltigkeit. Eine Abbildung

F\colon M\longrightarrow TM

mit der Eigenschaft, dass ${}F(P)\in T_{P}M$ für jeden Punkt ${}P\in M$ ist, heißt (zeitunabhängiges) Vektorfeld.

Ein Vektorfeld ${}F$ definiert für jeden Punkt ${}P\in M$ eine gewöhnliche zeitunabhängige Differentialgleichung (ein dynamisches System), nämlich

{}F(\varphi (t))=\varphi '(t)\,,

wobei ${}\varphi \colon I\rightarrow M$ die gesuchte auf einem reellen Intervall ${}I$ mit ${}0\in I$ definierte differenzierbare Kurve ist. Zu jedem Zeitpunkt ${}t$ soll die Geschwindigkeit (also Ableitung) der Kurve mit dem durch das Vektorfeld vorgegebenen Richtungsvektor im Ortspunkt ${}\varphi (t)$ übereinstimmen und es soll die Anfangsbedingung ${}\varphi (0)=P$ erfüllt sein. Unter recht schwachen Bedingungen ist die Lösung einer solchen Differentialgleichung eindeutig. Wenn man den Punkt ${}P$ variiert, und die Lösungen zu jedem Anfangspunkt stets auf ganz ${}\mathbb {R}$ definiert sind, so ergibt sich insgesamt eine Abbildung

\Psi \colon \mathbb {R} \times M\longrightarrow M,\,(t,P)\longmapsto \Psi (t,P),

wobei

{}\Psi (t,P)=\varphi _{P}(t)\,

und ${}\varphi _{P}$ die Lösung der Differentialgleichung zum Startpunkt ${}P$ ist. Die Abbildung ${}\Psi$ enthält die volle Information über das Vektorfeld und alle Lösungen der zugehörigen Differentialgleichungen und heißt der Fluss zum Vektorfeld. Die Abbildung ${}\Psi (-,P)$ zu festem ${}P$ ergibt die Lösungskurve und die Abbildung

\Psi (t,-)\colon M\longrightarrow M

zu festem ${}t$ beschreibt, wohin ein Punkt ${}P$ durch die Differentialgleichung hintransportiert wird. Das Vektorfeld ${}F$ kann man über

{}F(P)=\partial _{t}{|}_{t=0}\Psi (t,P)=\varphi _{P}'(0)\,

ebenfalls aus ${}\Psi$ ablesen. Die zu einem fixierten ${}t$ gegebene Abbildung ${}\Psi (t,-)$ ist unter gewissen Differenzierbarkeitsvoraussetzungen ein Diffeomorphismus der Mannigfaltigkeit ${}M$ in sich. Dies kann man wiederum als eine Abbildung

\mathbb {R} \longrightarrow \operatorname {Diff} {\left(M,\,M\right)},\,t\longmapsto \Psi (t,-),

auffassen. Dabei gilt ${}\Psi (0,-)=\operatorname {Id} _{M}$ und

{}\Psi (s+t,-)=\Psi (s,-)\circ \Psi (t,-)\,

für ${}s,t\in \mathbb {R}$ . Das ist also ein Gruppenhomomorphismus der reellen additiven Gruppe in die Gruppe der Diffeomorphismen, man spricht von einer Einparametergruppe von Diffeomorphismen. Die begleitende Vorstellung ist dabei, dass die Identität mit Hilfe des Zeitparameters ${}t$ in einen komplizierteren Diffeomorphismus deformiert wird.

Im Allgemeinen sind die Lösungen zu einer gewöhnlichen Differentialgleichung nicht auf ganz ${}\mathbb {R}$ definiert, sondern nur auf bestimmten Intervallen, die auch noch vom Startpunkt ${}P$ abhängen. Typischerweise ist dann ${}\Psi$ nicht auf ganz ${}\mathbb {R} \times M$ definiert, sondern, bei gegebenem Punkt ${}P\in M$ , auf einer Menge der Form ${}I\times U$ , wobei ${}I$ ein reelles Intervall mit ${}0\in I$ und ${}U\subseteq M$ eine offene Umgebung von ${}P$ ist. Der Fluss ist also immerhin in einer Umgebung des Punktes für ein gewisses Zeitintervall definiert. Die Morphismen sind von der Form ${}\Psi _{t}\colon U\rightarrow M$ und sind Diffeomorphismen auf das (offene) Bild.

Definition

Es sei ${}M$ eine differenzierbare Mannigfaltigkeit ${}U\subseteq M$ eine offene Teilmenge und ${}0\in I=\mathbb {R}$ ein offenes Intervall. Eine differenzierbare Abbildung

\Psi \colon I\times U\longrightarrow M

heißt lokal einparametrige Gruppe von Diffeomorphismen, wenn folgende Eigenschaften erfüllt sind.

Für jedes ${}t\in I$ ist ${}\Psi _{t}\colon U\rightarrow M$ ein Diffeomorphismus auf die offene Menge ${}\Psi _{t}(U)$ .
Es ist ${}\Psi _{0}=\operatorname {Id} _{U}$ .
Für ${}s,t\in I$ mit ${}s+t\in I$ und ${}P\in U$ mit ${}\Psi _{t}(P)\in U$ gilt
${}\Psi _{s+t}(P)=\Psi _{s}(\Psi _{t}(P))\,.$