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

Endliche Bestimmtheit

Eine holomorphe Funktion ${}f\colon U\rightarrow {\mathbb {C} }$, ${}0\in U\subseteq {\mathbb {C} }^{n}$ offen, besitzt im Nullpunkt eine Taylorentwicklung, die auf einer offenen Umgebung des Nullpunktes konvergiert und dort die Funktion darstellt. Durch Verkleinern können wir direkt annehmen, dass auf ${}U$ Konvergenz vorliegt. Insbesondere beschreibt die Taylorreihe die Funktion lokal vollständig und daher müssen auch Singularitätskonzepte wie Rechtsäquivalenz daraus ablesbar sein. Die Taylorreihe hat in Monomschreibweise die Form

${}\sum _{\nu }a_{\nu }X^{\nu }=\sum _{k=0}^{\infty }{\left(\sum _{\vert {\,\nu \,}\vert =k}a_{\nu }X^{\nu }\right)}\,.$

Die abgebrochene Taylorentwicklung

$\sum _{k=0}^{d}{\left(\sum _{\vert {\,\nu \,}\vert =k}a_{\nu }X^{\nu }\right)}$

heißt das Taylorpolynom von ${}f$ der Ordnung ${}d$. Wir bezeichnen es mit ${}T_{d}(f)$. Wenn wir, wie häufig, ${}f(0)=0$ voraussetzen, so ist

${}T_{0}(f)=a_{0}=0\,$

und wenn zusätzlich der Nullpunkt ein kritischer sein soll, so ist

${}T_{1}(f)=0\,.$

Wenn für zwei holomorphe Funktionen ${}f$ und ${}g$ die Taylorpolynome der Ordnung ${}r$ übereinstimmen (was eine Äquivalenzrelation auf der Menge der Potenreihen ist), so erwartet man, dass auch sonst gewisse Eigenschaften der Funktionen bzw. der durch sie gegebenen singulären Hyperflächen übereinstimmen.

Definition Referenznummer erstellen

Eine holomorphe Funktion ${}f\colon U\rightarrow {\mathbb {C} }$, ${}0\in U\subseteq {\mathbb {C} }^{n}$ offen, heißt bestimmt, wenn jede holomorphe Funktion ${}g$ mit

${}T_{r}(f)=T_{r}(g)\,$

bereits zu ${}f$ rechtsäquivalent ist.

Der folgende Satz heißt Satz von Mather.

Satz Satz 28.2 ändern

Es sei ${}f\colon U\rightarrow {\mathbb {C} }$, ${}0\in U\subseteq {\mathbb {C} }^{n}$ offen, eine holomorphe Funktion, wobei im lokalen Ring ${}{\mathcal {O}}_{n}$ die Beziehung

${}{\mathfrak {m}}^{r+1}\subseteq {\mathfrak {m}}^{2}\cdot J_{f}+{\mathfrak {m}}^{r+2}\,$

gelte, wobei ${}J_{f}$ das Jacobiideal bezeichne und ${}r$ eine natürliche Zahl ist.

Dann ist ${}f$ ${}r$- bestimmt.

Beweis

Wir müssen zeigen, dass eine holomorphe Funktion ${}g$, deren Taylorentwicklung der Ordnung ${}r$ mit der Taylorentwicklung der Ordnung ${}r$ von ${}f$ übereinstimmt, unter der gegebenen Voraussetzung bereits rechtsäquivalent zu ${}f$ ist. Wir können ${}g$ als ${}g=f+h$ mit

${}h\in {\mathfrak {m}}^{r+1}\,$

ansetzen. Wir wollen Lemma 27.8 verwenden. Wir betrachten also die holomorphe Hilfsfunktion

${}H(t,z)=f(z)+th(z)\,$

für ${}t\in {\mathbb {C} }$ und müssen in den lokalen Ringen zu ${}(s,0)\in [0,1]\times {\mathbb {C} }^{n}$ (die wir unabhängig von ${}s$ mit ${}R$ bezeichnen) die Zugehörigkeit

${}h\in {\left(z_{1},\ldots ,z_{n}\right)}{\left(\partial _{z_{1}}H,\ldots ,\partial _{z_{n}}H\right)}\,$

nachweisen. Wir setzen

${}{\mathfrak {a}}={\left(\partial _{z_{1}}H,\ldots ,\partial _{z_{n}}H\right)}\,$

und

${}{\mathfrak {m}}=(z_{1},\ldots ,z_{n})\,$

und betrachten diese Ideale in ${}R$, das maximale Ideal von ${}R$ sei mit ${}{\mathfrak {n}}$ bezeichnet. Es ist

${}\partial _{z_{j}}f=\partial _{z_{j}}H-t\partial _{z_{j}}h\in {\mathfrak {a}}+{\mathfrak {m}}^{r}\,.$

Die Voraussetzung

${}{\mathfrak {m}}^{r+1}\subseteq {\mathfrak {m}}^{2}\cdot J_{f}+{\mathfrak {m}}^{r+2}\,$

gilt entsprechend auch in ${}R$, also ergibt sich

${}{\begin{aligned}{\mathfrak {m}}^{r+1}&\subseteq {\mathfrak {m}}^{2}{\left(\partial _{z_{1}}f,\ldots ,\partial _{z_{n}}f\right)}+{\mathfrak {m}}^{r+2}R\\&\subseteq {\mathfrak {m}}^{2}{\mathfrak {a}}+{\mathfrak {m}}^{r+2}\\&\subseteq {\mathfrak {m}}^{2}{\mathfrak {a}}+{\mathfrak {n}}{\mathfrak {m}}^{r+1}.\end{aligned}}$

Mit

${}M={\mathfrak {m}}^{2}{\mathfrak {a}}+{\mathfrak {m}}^{r+1}\,$

und

${}N={\mathfrak {m}}^{2}{\mathfrak {a}}\,$

gilt

${}{\begin{aligned}M&={\mathfrak {m}}^{2}{\mathfrak {a}}+{\mathfrak {m}}^{r+1}\\&\subseteq {\mathfrak {m}}^{2}{\mathfrak {a}}+{\mathfrak {m}}^{2}{\mathfrak {a}}+{\mathfrak {n}}{\mathfrak {m}}^{r+1}\\&={\mathfrak {m}}^{2}{\mathfrak {a}}+{\mathfrak {n}}{\mathfrak {m}}^{r+1}\\&\subseteq N+{\mathfrak {n}}M.\end{aligned}}$

Mit dem Lemma von Nakayama folgt ${}M=N$ und insbesondere

${}{\mathfrak {m}}^{r+1}\subseteq {\mathfrak {m}}^{2}{\mathfrak {a}}\subseteq {\mathfrak {m}}{\mathfrak {a}}\,.$

Somit gilt ${}h\in {\mathfrak {m}}{\mathfrak {a}}$.

$\Box$

Daraus erhalten wir die folgenden Spezialfälle.

Korollar Korollar 28.3 ändern

Es sei ${}f\colon U\rightarrow {\mathbb {C} }$, ${}0\in U\subseteq {\mathbb {C} }^{n}$ offen, eine holomorphe Funktion, wobei im lokalen Ring ${}{\mathcal {O}}_{n}$ die Beziehung

${}{\mathfrak {m}}^{r-1}\subseteq J_{f}\,$

gelte, wobei ${}J_{f}$ das Jacobiideal bezeichne und ${}r$ eine positive natürliche Zahl ist.

Dann ist ${}f$ ${}r$- bestimmt.

Beweis

Dies folgt unmittelbar aus Satz 28.2 durch beidseitige Multiplikation mit ${}{\mathfrak {m}}^{2}$.

$\Box$

Korollar Referenznummer erstellen

Es sei ${}f\colon U\rightarrow {\mathbb {C} }$, ${}0\in U\subseteq {\mathbb {C} }^{n}$ offen, eine holomorphe Funktion, wobei im lokalen Ring ${}{\mathcal {O}}_{n}$ die Beziehung

${}{\mathfrak {m}}^{r}\subseteq {\mathfrak {m}}J_{f}\,$

gelte, wobei ${}J_{f}$ das Jacobiideal bezeichne und ${}r$ eine natürliche Zahl ist.

Dann ist ${}f$ ${}r$- bestimmt.

Beweis

Dies folgt unmittelbar aus Satz 28.2 durch beidseitige Multiplikation mit ${}{\mathfrak {m}}$.

$\Box$

Satz Satz 28.5 ändern

Es sei ${}f\colon U\rightarrow {\mathbb {C} }$, ${}0\in U\subseteq {\mathbb {C} }^{n}$ offen, eine holomorphe Funktion mit einer nichtausgearteten isolierten Singularität im Nullpunkt.

Dann ist ${}f$ rechtsäquivalent zur Quadrik ${}x_{1}^{2}+\cdots +x_{n}^{2}$.

Beweis

Wegen nichtausgeartet ist nach Lemma 14.14 das Jacobiideal zu ${}f$ gleich dem maximalen Ideal ${}{\mathfrak {m}}$. Nach Korollar 28.3 ist ${}f$ ${}2$- bestimmt, also rechtsäquivalent zu seinem Taylorpolynom der Ordnung ${}2$. Dieses kann man linear zur Standardquadrik transformieren.

$\Box$

Satz

Es sei ${}f\colon U\rightarrow {\mathbb {C} }$, ${}0\in U\subseteq {\mathbb {C} }^{n}$ offen, eine holomorphe Funktion mit einem kritischen Punkt im Nullpunkt. Der Rang der Hesse-Matrix zu ${}f$ sei ${}k$.

Dann ist ${}f$ rechtsäquivalent zu einer Funktion der Form

${}g=x_{1}^{2}+\cdots +x_{k}^{2}+h\,$

mit ${}h\in {\mathfrak {m}}^{3}$ und wobei ${}h$ nur von den Variablen ${}x_{k+1},\ldots ,x_{n}$ abhängt.

Beweis

Dies wird ähnlich wie Satz 28.5 bewiesen, ist aber aufwändiger.

$\Box$

Satz Satz 28.7 ändern

Es seien ${}g_{1},g_{2}\colon V\rightarrow {\mathbb {C} }$, ${}0\in V\subseteq {\mathbb {C} }^{n}$ offen, holomorphe Funktionen mit ${}g_{1},g_{2}\in {\mathfrak {m}}^{3}$ in den Variablen ${}y_{1},\ldots ,y_{n}$. Sei ${}k\in \mathbb {N}$.

Dann sind ${}g_{1}$ und ${}g_{2}$ genau dann zueinander rechtsäquivalent, wenn ${}x_{1}^{2}+\cdots +x_{k}^{2}+g_{1}$ und ${}x_{1}^{2}+\cdots +x_{k}^{2}+g_{2}$ zueinander rechtsäquivalent (als Funktionskeime in ${}n+k$ Variablen) sind.

Beweis

Wenn ${}g_{1}$ und ${}g_{2}$ zueinander rechtsäquivalent sind, so gibt es eine biholomorphe Abbildung ${}\psi \colon V\rightarrow W$ auf offenen Umgebungen der ${}0$ in ${}{\mathbb {C} }^{n}$ mit ${}g_{1}=g_{2}\circ \psi$, und diese kann man durch die Identität zu einer biholomorphen Abbildung zwischen ${}{\mathbb {C} }^{k}\times V$ und ${}{\mathbb {C} }^{k}\times W$ fortsetzen, die zeigt, dass auch ${}f_{1}$ und ${}f_{2}$ rechtsäquivalent sind.

Es seien nun ${}f_{1}=x_{1}^{2}+\cdots +x_{k}^{2}+g_{1}(y_{1},\ldots ,y_{n})$ und ${}f_{2}=z_{1}^{2}+\cdots +z_{k}^{2}+g_{2}(w_{1},\ldots ,w_{n})$ zueinander rechtsäquivalent. Dann gibt es offene Umgebungen ${}U\subseteq {\mathbb {C} }^{k}$, ${}V\subseteq {\mathbb {C} }^{n}$, der ${}0$ und eine biholomorphe Abbildung

$\varphi \colon U\times V\longrightarrow W\subseteq {\mathbb {C} }^{k+n}$

mit ${}f_{1}=f_{2}\circ \varphi$ (wir können nicht davon ausgehen, dass auf den ersten ${}k$ Variablen die Identität vorliegt, deshalb müssen wir die Variablen unabhängig voneinander ansetzen). Es liegt also das kommutative Diagramm

${\begin{matrix}U\times V&{\stackrel {\varphi }{\longrightarrow }}&W&\\&\!\!\!\!\!f_{1}\searrow &\downarrow f_{2}\!\!\!\!\!&\\&&{\mathbb {C} }&\!\!\!\!\!\!\!\!\\\end{matrix}}$

vor. Unter ${}\varphi$ entspricht der Unterraum ${}0\times V$ einer abgeschlossenen Untermannigfaltigkeit ${}Z\subseteq W$. Für einen Punkt ${}(0,y)\in 0\times V$ gilt wegen der speziellen Gestalt von ${}f_{1}$ bzw. ${}f_{2}$ und der Kettenregel für jedes ${}i$

${}{\begin{aligned}0&={\left(\partial _{x_{i}}f_{1}\right)}(0,y)\\&={\left(\partial _{x_{i}}{\left(f_{2}\circ \varphi \right)}\right)}(0,y)\\&=\sum _{j=1}^{k}{\left(\partial _{z_{j}}f_{2}\right)}{\left(\varphi (0,y)\right)}\cdot {\left(\partial _{x_{i}}(z_{j}\circ \varphi )\right)}(0,y)+\sum _{j=1}^{n}{\left(\partial _{w_{j}}f_{2}\right)}{\left(\varphi (0,y)\right)}\cdot {\left(\partial _{x_{i}}(w_{j}\circ \varphi )\right)}(0,y)\\&=\sum _{j=1}^{k}2z_{j}{\left(\varphi (0,y)\right)}\cdot {\left(\partial _{x_{i}}(z_{j}\circ \varphi )\right)}(0,y)+\sum _{j=1}^{n}{\left(\partial _{w_{j}}g_{2}\right)}{\left(\varphi (0,y)\right)}\cdot {\left(\partial _{x_{i}}(w_{j}\circ \varphi )\right)}(0,y).\end{aligned}}$

Mit Hilfe der ${}k\times k$-Matrix

${}M(0,y)={\left({\left(\partial _{x_{i}}(z_{j}\circ \varphi )\right)}(0,y)\right)}_{1\leq i,j\leq k}\,$

können wir diese Gleichungen als

$-2M(0,y){\begin{pmatrix}\varphi _{1}(0,y)\\\vdots \\\varphi _{k}(0,y)\end{pmatrix}}={\begin{pmatrix}\sum _{j=1}^{n}{\left(\partial _{w_{j}}g_{2}\right)}{\left(\varphi (0,y)\right)}\cdot {\left(\partial _{x_{1}}(w_{j}\circ \varphi )\right)}(0,y)\\\vdots \\\sum _{j=1}^{n}{\left(\partial _{w_{j}}g_{2}\right)}{\left(\varphi (0,y)\right)}\cdot {\left(\partial _{x_{k}}(w_{j}\circ \varphi )\right)}(0,y)\end{pmatrix}}\,$

schreiben. Die Matrix ${}M(0,y)$ ist nach Aufgabe 26.25 im Nullpunkt invertierbar. Damit ist sie auch in einer offenen Umgebung für ${}y\in V'\subseteq V$ invertierbar. Es gilt also

${}{\begin{aligned}{\begin{pmatrix}z_{1}(y)\\\vdots \\z_{k}(y)\end{pmatrix}}&={\begin{pmatrix}\varphi _{1}(0,y)\\\vdots \\\varphi _{k}(0,y)\end{pmatrix}}\\&=N(y){\begin{pmatrix}\sum _{j=1}^{n}{\left(\partial _{w_{j}}g_{2}\right)}{\left(\varphi (0,y)\right)}\cdot {\left(\partial _{x_{1}}(w_{j}\circ \varphi )\right)}(0,y)\\\vdots \\\sum _{j=1}^{n}{\left(\partial _{w_{j}}g_{2}\right)}{\left(\varphi (0,y)\right)}\cdot {\left(\partial _{x_{k}}(w_{j}\circ \varphi )\right)}(0,y)\end{pmatrix}}\end{aligned}}$

mit der von ${}y$ abhängigen inversen Matrix ${}N(y)$. Somit sind die ${}\varphi _{i}(0,y)$ als Linearkombinationen der ${}{\left(\partial _{w_{j}}g_{2}\right)}{\left(\varphi (0,y)\right)}$ darstellbar und gehören insbesondere zum Jacobiideals zu den ${}y_{i}$.

${}{\begin{aligned}g_{1}(y)&=f_{1}(0,y)\\&=(f_{2}\circ \varphi )(0,y)\\&=f_{2}(\varphi _{1}(0,y),\ldots ,\varphi _{k}(0,y),\varphi _{k+1}(0,y),\ldots ,\varphi _{k+n}(0,y))\\&=(\varphi _{1}(0,y))^{2}+\cdots +(\varphi _{k}(0,y))^{2}+g_{2}(\varphi _{k+1}(0,y),\ldots ,\varphi _{k+n}(0,y)).\end{aligned}}$

Dabei gehört die linke Summe zum Quadrat des Jacobiideals zu den ${}y_{i}$ und der rechte Summand gehört zur dritten Potenz des maximalen Ideals in den ${}y_{i}$. Daher können wir Lemma 27.9 anwenden und erhalten, dass ${}g_{1}(y)$ und ${}g_{2}(w_{1},\ldots ,w_{n})$ rechtsäquivlent ist.

$\Box$