Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 29/latex
\setcounter{section}{29}
\zwischenueberschrift{Einfache Singularitäten}
\inputdefinition
{}
{
Es sei
\maabb {f} {U} { {\mathbb C}
} {,}
\mavergleichskette
{\vergleichskette
{0
}
{ \in }{ U
}
{ \subseteq }{ {\mathbb C}^n
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {offen}{}{,}
eine
\definitionsverweis {holomorphe Funktion}{}{.}
Man sagt, dass $f$ im Nullpunkt eine
\definitionswort {einfache Singularität}{}
besitzt, wenn es eine endliche Liste
\mathl{f_1 , \ldots , f_k}{} von holomorphen Funktionen
\zusatzklammer {die ebenfalls auf offenen Mengen des ${\mathbb C}^n$ definiert sind} {} {}
derart gibt, dass in jeder
\definitionsverweis {Entfaltung}{}{}
\maabbdisp {E} {U' \times V} { {\mathbb C}
} {}
von $f$ mit
\mavergleichskette
{\vergleichskette
{V
}
{ \subseteq }{ {\mathbb C}^m
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
offen und zusammenhängend und
\mavergleichskette
{\vergleichskette
{U'
}
{ \subseteq }{U
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
jede deformierte Funktion
\mavergleichskette
{\vergleichskette
{f_w
}
{ = }{ E( - , w)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit $w$ aus einer hinreichend kleinen offenen Umgebung
\mavergleichskette
{\vergleichskette
{0
}
{ \in }{V'
}
{ \subseteq }{V
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {rechtsäquivalent}{}{}
zu einem $f_i$ ist.
}
Zur Liste gehören natürlich stets $f$ selbst und der reguläre Funktionskeim. Es geht also darum, inwiefern die durch $f$ gegebene Singularität in nichtrechtsäquivalente Singularitäten deformiert werden kann, wie groß also die \anfuehrung{Deformationsklasse}{} ist. Aufgrund von Bemerkung 27.2 geht es nur um das Verhalten von Entfaltungen in beliebig kleinen Umgebungen von $f_0$. Auf den ersten Blick scheint dieses Konzept ziemlich kompliziert und unmotiviert zu sein; das Erstaunliche ist, dass man diese einfachen Singularitäten explizit klassifizieren kann und dass diese Klasse mit anders charakterisierten Klassen von Singularitäten übereinstimmt.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Vladimir Arnold-1.jpg} }
\end{center}
\bildtext {Vladimir Arnold} }
\bildlizenz { Vladimir Arnold-1.jpg } {} {} {Commons} {} {}
Der folgende Satz ist der Klassifikationssatz von Arnold für einfache Kurvensingularitäten.
\inputfakt{Ebene Singularitäten/Einfachheit/Klassifikation/ADE/Fakt}{Satz}{}
{
\faktsituation {Es sei
\maabb {f} { U} { {\mathbb C}
} {}
mit
\mavergleichskette
{\vergleichskette
{0
}
{ \in }{ U
}
{ \subseteq }{ {\mathbb C}^2
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {offen}{}{}
eine
\definitionsverweis {holomorphe Funktion}{}{}}
\faktvoraussetzung {mit einer
\definitionsverweis {einfachen Singularität}{}{}
im Nullpunkt.}
\faktfolgerung {Dann ist $f$
\definitionsverweis {rechtsäquivalent}{}{}
zu einer der folgenden Funktionen.
\aufzaehlungfuenf{
\mathdisp {x^{k+1} +y^2 \text{ mit } \, k \geq 1 ,\, \text{ Typ } A_k} { . }
}{
\mathdisp {x^2y +y^{k-1} \text{ mit } \, k \geq 4 ,\, \text{ Typ } D_k} { . }
}{
\mathdisp {x^{3} +y^4 ,\, \text{ Typ } E_6} { . }
}{
\mathdisp {x^{3} +xy^3 ,\, \text{ Typ } E_7} { . }
}{
\mathdisp {x^{3} +y^5 ,\, \text{ Typ } E_8} { . }
}}
\faktzusatz {}
\faktzusatz {}
}
Der Beweis erfolgt in mehreren Schritten, wir orientieren uns an der Originalarbeit von Arnold.
\inputfaktbeweis
{Kubische Form/2 Variablen/Standarddarstellung/Fakt}
{Lemma}
{}
{
\faktsituation {Ein homogenes Polynom vom Grad $3$ in $2$ Variablen kann durch eine lineare Transformation in eine der Standardgestalten}
\faktfolgerung {
\mathdisp {0 \text{ oder } x^2y+y^3 \text{ oder } x^2y \text{ oder } x^3} { }
gebracht werden.}
\faktzusatz {}
\faktzusatz {}
}
{
Sei
\mavergleichskette
{\vergleichskette
{f
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein homogenes Polynom vom Grad $3$ in
\mathkor {} {x} {und} {y} {.}
Nach
dem Fundamentalsatz der Algebra,
einer Streckung und einer Variablenumbenennung ist
\mavergleichskettedisp
{\vergleichskette
{f
}
{ =} { x(x+ \alpha y) (x+ \beta y)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Bei
\mavergleichskette
{\vergleichskette
{\alpha
}
{ = }{ \beta
}
{ = }{ 0
}
{ }{
}
{ }{
}
}
{}{}{}
sind wir im vierten Fall. Es sei also
\mavergleichskette
{\vergleichskette
{\alpha
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
dann können wir auf
\mavergleichskettedisp
{\vergleichskette
{f
}
{ =} { x y (x+ \gamma y)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
transformieren. Bei
\mavergleichskette
{\vergleichskette
{\gamma
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sind wir im dritten Fall. Es sei also
\mavergleichskette
{\vergleichskette
{\gamma
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Durch eine Diagonalmatrix kann man dies auf
\mathl{x y (x+ y)}{} bzw. sodann auf
\mathl{y(x+y)(x-y)}{} transformieren, was dem zweiten Fall entspricht.
\inputfaktbeweis
{Holomorphe Funktion/2 Variablen/x^2 und x^2y/Nicht einfach/Fakt}
{Lemma}
{}
{
\faktsituation {Die Singularitäten zu den
\definitionsverweis {holomorphen Funktionen}{}{}
\mathkor {} {x^2} {und} {x^2y} {}}
\faktfolgerung {sind nicht
\definitionsverweis {einfach}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Wir betrachten die
\definitionsverweis {Entfaltungen}{}{}
\maabbeledisp {E_k} { {\mathbb C}^2 \times {\mathbb C} } { {\mathbb C}
} { (x,y,t)} { x^2+ty^k
} {,}
mit
\mathl{k \in \N_+}{.} Für
\zusatzklammer {beliebig kleines} {} {}
\mavergleichskette
{\vergleichskette
{t
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mathl{x^2+ty^k}{}
\zusatzklammer {durch eine lineare Transformation} {} {}
rechtsäquivalent zu
\mathl{x^2+y^k}{.} Dies zeigt, dass
\mathl{x^2+y^k}{} in Entfaltungen von $x^2$ auftreten. Die Funktionen
\mathbed {x^2 + y^k} {}
{k \in \N} {}
{} {} {} {,}
sind aber für verschiedene $k$ nicht rechtsäquivalent zueinander, da ihre
\definitionsverweis {Milnorzahlen}{}{}
nach
Beispiel 14.6
verschieden sind
\zusatzklammer {nämlich gleich $k-1$} {} {}
und dies wegen
Lemma 26.6
die Rechtsäquivalenz ausschließt. Das bedeutet, dass $x^2$ zu unendlich vielen nicht rechtsäquivalenten Singularitäten deformiert werden kann und daher nicht einfach ist.
Im zweiten Fall betrachtet man die Entfaltungen
\maabbeledisp {E_k} { {\mathbb C}^2 \times {\mathbb C} } { {\mathbb C}
} { (x,y,t)} { x^2y +ty^k
} {.}
Das Jacobiideal zur Funktion
\mathl{x^2y+y^k}{} ist
\mathdisp {(xy, x^2 + ky^{k-1})} { }
und die Milnorzahl hängt wieder von $k$ ab, sodass man entsprechend argumentieren kann.
\inputfaktbeweis
{Holomorphe Funktion/2 Variablen/x^3+xy^4/Nicht einfach/Fakt}
{Lemma}
{}
{
\faktsituation {Die Singularität zur
\definitionsverweis {holomorphen Funktion}{}{}
\mathl{x^3+xy^4}{}}
\faktfolgerung {ist nicht
\definitionsverweis {einfach}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Wir betrachten die Familie
\mathdisp {x^3+xy^4+ty^6 , \, t \in {\mathbb C}} { , }
also die
\definitionsverweis {Entfaltung}{}{}
\maabbeledisp {} { {\mathbb C}^2 \times {\mathbb C} } { {\mathbb C}
} {(x,y,t)} { x^3+xy^4+ty^6
} {.}
Nach
Aufgabe 29.4
kann man dieses Polynom als Produkt
\mathl{{ \left( x- \alpha_1 y^2 \right) }{ \left( x- \alpha_2 y^2 \right) }{ \left( x- \alpha_3 y^2 \right) }}{} schreiben, wobei die $\alpha_i$ die Nullstellen von $x^3 +x + t$ sind.
Die Strategie zum Beweis von
Satz 29.2
liegt darin, entlang des Ranges der Hessematrix von $f$ zu argumentieren. Dieser Rang kann
\mathl{0,1,2}{} sein, wobei der Fall, dass der Rang $0$ ist, am schwierigsten ist. In diesem Fall muss man das dritte Taylorpolynom studieren, das homogen vom Grad $3$ ist und wozu wir
Lemma 29.3
heranziehen können. Es gibt dann jeweils noch viele Möglichkeiten für die höheren Bestandteile, doch werden diese durch
Satz 28.2
und seine Korollare eingeschränkt. In den verbleibenden Möglichkeiten muss man dann entweder zeigen, dass keine einfache Singularität vorliegt, oder dass die Situation rechtsäquivalent zu einer der im Satz aufgelisteten Möglichkeiten ist.
\inputfaktbeweis
{Holomorphe Funktion/2/Einfache Singularität/Hesse Rang 2/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei
\maabb {f} { U} { {\mathbb C}
} {}
mit
\mavergleichskette
{\vergleichskette
{0
}
{ \in }{ U
}
{ \subseteq }{ {\mathbb C}^2
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {offen}{}{}
eine
\definitionsverweis {holomorphe Funktion}{}{}}
\faktvoraussetzung {mit einer
\definitionsverweis {einfachen Singularität}{}{}
im Nullpunkt. Die
\definitionsverweis {Hessematrix}{}{}
von $f$ habe den
\definitionsverweis {Rang}{}{}
$2$.}
\faktfolgerung {Dann ist $f$
\definitionsverweis {rechtsäquivalent}{}{}
zu
\mathl{x^2 +y^{2}}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Dies ist ein Spezialfall von Satz 28.5.
\inputfaktbeweis
{Holomorphe Funktion/2/Einfache Singularität/Hesse Rang 1/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei
\maabb {f} { U} { {\mathbb C}
} {}
mit
\mavergleichskette
{\vergleichskette
{0
}
{ \in }{ U
}
{ \subseteq }{ {\mathbb C}^2
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {offen}{}{}
eine
\definitionsverweis {holomorphe Funktion}{}{}}
\faktvoraussetzung {mit einer
\definitionsverweis {einfachen Singularität}{}{}
im Nullpunkt. Die
\definitionsverweis {Hessematrix}{}{}
von $f$ habe den
\definitionsverweis {Rang}{}{}
$1$.}
\faktfolgerung {Dann ist $f$
\definitionsverweis {rechtsäquivalent}{}{}
zu
\mathl{x^2 +y^{k+1}}{} für ein
\mavergleichskette
{\vergleichskette
{k
}
{ \geq }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Nach
Satz 28.6
ist $f$ rechtsäquivalent zu
\mathl{x^2 + h(y)}{} mit
\mathl{h \in {\mathfrak m}^3}{.} Der Fall
\mavergleichskette
{\vergleichskette
{h
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist nach
Lemma 29.4
ausgeschlossen, da dann die Singularität nicht einfach wäre. Also ist $h$ nicht $0$ und hat die Form
\mavergleichskettedisp
{\vergleichskette
{h(y)
}
{ =} { a y^{k+1} + gy^{k+1}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{a
}
{ \in }{ {\mathbb C} \setminus \{0 \}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ g
}
{ \in }{ {\mathfrak m}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Da eine Singularität im Nullpunkt mit Hesserang $1$ vorliegt, muss
\mavergleichskette
{\vergleichskette
{k
}
{ \geq }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sein. Nach
Beispiel 26.4
ist $h(y)$ rechtsäquivalent zu
\mathl{y^{k+1}}{.} Damit ist $f$ rechtsäquivalent zu
\mathl{x^2 + y^{k+1}}{} mit
\mavergleichskette
{\vergleichskette
{k
}
{ \geq }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Die folgenden Lemmata setzen sich mit dem Fall auseinander, dass der Rang der Hessematrix gleich $0$ ist. Dann beginnt die Taylorentwicklung im Grad $3$ und in
Lemma 29.3
wurden dafür die verschiedenen Möglichkeiten aufgelistet.
\inputfaktbeweis
{Holomorphe Funktion/2/Einfache Singularität/Hesse Rang 0/x^2y/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei
\maabb {f} { U} { {\mathbb C}
} {}
mit
\mavergleichskette
{\vergleichskette
{0
}
{ \in }{ U
}
{ \subseteq }{ {\mathbb C}^2
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {offen}{}{}
eine
\definitionsverweis {holomorphe Funktion}{}{}}
\faktvoraussetzung {mit einer
\definitionsverweis {einfachen Singularität}{}{}
im Nullpunkt. Das dritte
\definitionsverweis {Taylorpolynom}{}{}
von $f$ sei $x^2y$.}
\faktfolgerung {Dann ist $f$
\definitionsverweis {rechtsäquivalent}{}{}
zu
\mathl{x^2y +y^{k-1}}{} für ein
\mavergleichskette
{\vergleichskette
{k
}
{ \geq }{5
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Die Funktion $f$ kann nicht rechtsäquivalent zu $x^2y$ sein, da dieses nach
Lemma 29.4
nicht einfach ist. Es müssen also in mindestens einem Taylorpolynom höheren Grades noch Terme hinzukommen. Es gibt also
\mavergleichskette
{\vergleichskette
{d
}
{ \geq }{4
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und das $d$-te Taylorpolynom ist
\mathdisp {x^2y + ay^d+ 2 b xy^{d-1} + x^2 c(x,y)} { }
mit
\mavergleichskette
{\vergleichskette
{a,b
}
{ \in }{ {\mathbb C}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und $c$ ein homogenes Polynom von Grad $d-2$. Wir wenden auf $f$ die Transformation
\mavergleichskettedisp
{\vergleichskette
{ x
}
{ =} { \tilde{x} - by^{d-2}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und erhalten
\zusatzklammer {mit \mathlk{h \in {\mathfrak m}^{d+1}}{}} {} {}
\mavergleichskettealign
{\vergleichskettealign
{ f
}
{ =} { x^2y + ay^d+ 2 b x y^{d-1} + x^2 c(x,y) +h (x,y)
}
{ =} { { \left( \tilde{x} - by^{d-2} \right) }^2 y + ay^d+ 2 b { \left( \tilde{x} - by^{d-2} \right) } y^{d-1} + { \left( \tilde{x} - by^{d-2} \right) }^2 c(x,y) +h(x,y)
}
{ =} { \tilde{x}^2 y -2b \tilde{x } y^{d-1} +ay^d+2b \tilde{x} y^{d-1} + \tilde{x}^2 \tilde{ c} ( \tilde{x} ,y) + \tilde{h}(\tilde{x},y)
}
{ =} { \tilde{x}^2 y +ay^d + \tilde{x}^2 \tilde{ c} ( \tilde{x} ,y) + \tilde{h}(\tilde{x},y)
}
}
{}
{}{,}
wobei
\mathl{\tilde{ c} ( \tilde{x} ,y)}{} wieder homogen vom Grad $d-2$ und
\mathl{\tilde{h} \in {\mathfrak m}^{d+1}}{} ist. Mit der holomorphen Transformation
\mavergleichskettedisp
{\vergleichskette
{ y
}
{ =} { \tilde{y} - \tilde{c} (\tilde{x},y)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
wird daraus
\mavergleichskettealign
{\vergleichskettealign
{ \tilde{x}^2 y +ay^d + \tilde{x}^2 \tilde{ c} ( \tilde{x} ,y) + \tilde{h}(\tilde{x},y)
}
{ =} { \tilde{x}^2 \tilde{y} +a \tilde{y}^d + \hat{h}(\tilde{x},\tilde{y})
}
{ } {
}
{ } {
}
{ } {
}
}
{}
{}{}
mit
\mavergleichskette
{\vergleichskette
{ \hat{h}(\tilde{x},\tilde{y})
}
{ \in }{ {\mathfrak m}^{d+1}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Bei
\mavergleichskette
{\vergleichskette
{a
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist bezüglich der neuen Koordinaten das $d$-te Taylorpolynom gleich $\tilde{x}^2 \tilde{y}$ und wir können die entsprechende Argumentation für das Taylorpolynom der Ordnung
\mathl{d+1}{} durchführen. Da $f$ nach
Korollar 28.3
für $r$ hinreichend groß
$r$-\definitionsverweis {bestimmt}{}{}
ist, kann dieser Prozess nicht immer
\mavergleichskette
{\vergleichskette
{a
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
liefern, da sonst $f$ rechtsäquivalent zu $x^2y$ wäre, was aber nicht einfach ist. Also ist $f$ rechtsäquivalent
\mathdisp {x^2y+ ay^d +h} { }
mit
\mavergleichskette
{\vergleichskette
{a
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{h
}
{ \in }{ {\mathfrak m}^{d+1}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wir behaupten, dass die Voraussetzungen von
Satz 28.2
erfüllt sind. Das Jacobiideal ist
\mavergleichskettedisp
{\vergleichskette
{J_f
}
{ =} { { \left( 2xy+ \partial_x h, x^2+da y^{d-1} + \partial_y h \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Damit ist
\mavergleichskettedisp
{\vergleichskette
{y^{d+1}
}
{ =} { { \frac{ y^2 }{ da } } { \left( x^2+da y^{d-1} + \partial_y h \right) } - { \frac{ xy }{ 2da } } { \left( 2xy + \partial_x h \right) } + g
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{x^{i}y^{d+1-i}
}
{ =} { { \frac{ x^{i-1} y^{d-i} }{ 2 } } { \left( 2xy + \partial_x h \right) } + g
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{1
}
{ \leq }{i
}
{ \leq }{ d
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{x^{d+1}
}
{ =} { x^{d-1} { \left( x^2+da y^{d-1} + \partial_y h \right) } + g
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
jeweils mit einem
\mavergleichskette
{\vergleichskette
{g
}
{ \in }{ {\mathfrak m}^{d+2}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Somit ist
\mavergleichskette
{\vergleichskette
{ {\mathfrak m}^{d+1}
}
{ \subseteq }{ J_f + {\mathfrak m}^{d+2}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Daher ist $f$ $d$-bestimmt und damit rechtsäquivalent zu
\mathl{x^2y+ ay^d}{} und auch zu
\mathl{x^2y+ y^d}{} mit
\mavergleichskette
{\vergleichskette
{d
}
{ \geq }{4
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
\inputfaktbeweis
{Holomorphe Funktion/2/Einfache Singularität/Hesse Rang 0/x^3/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei
\maabb {f} { U} { {\mathbb C}
} {}
mit
\mavergleichskette
{\vergleichskette
{0
}
{ \in }{ U
}
{ \subseteq }{ {\mathbb C}^2
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {offen}{}{}
eine
\definitionsverweis {holomorphe Funktion}{}{}}
\faktvoraussetzung {mit einer
\definitionsverweis {einfachen Singularität}{}{}
im Nullpunkt. Das dritte
\definitionsverweis {Taylorpolynom}{}{}
von $f$ sei $x^3$.}
\faktfolgerung {Dann ist $f$
\definitionsverweis {rechtsäquivalent}{}{}
zu
\mathl{x^{3} +y^4}{,} zu
\mathl{x^{3} + xy^3}{} oder zu
\mathl{x^{3} +y^5}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Das Taylorpolynom der Ordnung $4$ zu $f$ hat die Form
\mathdisp {x^3 + ay^4+ b xy^{3} + 3 x^2 c(x,y)} { }
mit $c$ homogen von Grad $d-2$. Wir wenden auf $f$ die Transformation
\mavergleichskettedisp
{\vergleichskette
{ x
}
{ =} { \tilde{x} - c(x,y)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
an und erhalten
\mavergleichskettedisp
{\vergleichskette
{f
}
{ =} { \tilde{x}^3 + ay^4+ b \tilde{x}y^{3} + h(\tilde{x},y)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mathl{h \in {\mathfrak m}^{5}}{}
\zusatzklammer {das für das Taylorpolynom vom Grad $4$ nicht relevant ist} {} {.}
Wir schreiben wieder $x$ statt $\tilde{x}$.
Fall 1. Sei
\mavergleichskette
{\vergleichskette
{a
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann kann man durch die holomorphe Transformation
\zusatzklammer {mit einer fixierten vierten Wurzel von $a$} {} {}
\mavergleichskettedisp
{\vergleichskette
{y
}
{ =} { { \frac{ \tilde{y} }{ {a}^{1/4} } } - { \frac{ b }{ 4 a } } x
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die Funktion $f$ nach
\mathdisp {x^3 + \tilde{y}^4+ x^2 \hat{ h}( x, \tilde{y}) + \tilde{h}} { }
mit $\hat{h}$ homogen vom Grad $2$ und
\mavergleichskette
{\vergleichskette
{ \tilde{h}
}
{ \in }{ {\mathfrak m}^5
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
transformieren. Dies kann man wiederum mittels
\mavergleichskettedisp
{\vergleichskette
{ \tilde{x}
}
{ =} { x+\hat{ h}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
zu
\mathl{\tilde{x}^3 + \tilde{y}^4+ \tilde{g}}{}
mit
\mavergleichskette
{\vergleichskette
{ \tilde{g}
}
{ \in }{ {\mathfrak m}^5
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
transformieren. Es ist
\mavergleichskettedisp
{\vergleichskette
{J_f
}
{ =} { (3x^2 + \partial_x \tilde{g}, 4 y^3 + \partial_y \tilde{g})
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und damit ist
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak m}^5
}
{ \subseteq} { {\mathfrak m}^2 J_f + {\mathfrak m}^6
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
sodass man
Satz 28.2
anwenden kann. Also ist $f$
$4$-\definitionsverweis {bestimmt}{}{}
und damit rechtsäquivalent zu
\mathl{x^3+y^4}{.}
Fall 2. Sei
\mavergleichskette
{\vergleichskette
{a
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{b
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist $f$ rechtsäquivalent zu
\mathl{x^3 + xy^3 + h}{} mit
\mavergleichskette
{\vergleichskette
{h
}
{ \in }{ {\mathfrak m}^5
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wir schreiben $f$ als
\mavergleichskettedisp
{\vergleichskette
{f
}
{ =} {x^3 + xy^3 + ay^5+bxy^4+ x^2 h +g
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{h
}
{ \in }{ {\mathfrak m}^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{g
}
{ \in }{ {\mathfrak m}^6
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Mit
\mavergleichskettedisp
{\vergleichskette
{x
}
{ =} { \tilde{x}-a y^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
transformiert sich dies zu
\mavergleichskettedisp
{\vergleichskette
{f
}
{ =} { \tilde{x}^3 + \tilde{x} y^3 -3 a \tilde{x}^2y^2 +\tilde{b} \tilde{ x} y^4+ \tilde{x}^2 \tilde{ h} + \tilde{g}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit $\tilde{h}, \tilde{g}$ wie zuvor. Mit
\mavergleichskettedisp
{\vergleichskette
{y
}
{ =} { \tilde{y} +a \tilde{x}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
wird das zu
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ \tilde{x}^3 + \tilde{x} y^3 -3 a \tilde{x}^2y^2 +\tilde{b} \tilde{ x} y^4+ \tilde{x}^2 \tilde{ h} + \tilde{g}
}
{ =} { \tilde{x}^3 + \tilde{x} { \left( \tilde{y} +a \tilde{x} \right) }^3 -3 a \tilde{x}^2 { \left( \tilde{y} +a \tilde{x} \right) }^2 +\tilde{b} \tilde{ x} { \left( \tilde{y} +a \tilde{x} \right) }^4+ \tilde{x}^2 \tilde{ h} + \tilde{g}
}
{ =} {\tilde{x}^3 { \left( 1 -2 a^3 \tilde{x} -3 a^2 \tilde{y} \right) } + \tilde{x} \tilde{y}^3 + \hat{b} \tilde{x} \tilde{y}^4 + \tilde{x}^2 \hat{ h} + \hat{g}
}
{ } {
}
{ } {
}
}
{}
{}{.}
Der Term
\mathl{1 -2 a^3 \tilde{x} -3 a^2 \tilde{y}}{} ist in einer Umgebung des Nullpunktes ungleich $0$. In den neuen Koordinaten
\mavergleichskettedisp
{\vergleichskette
{ \hat{x}
}
{ =} { \tilde{ x} \sqrt[3] {1 -2 a^3 \tilde{x} -3 a^2 \tilde{y} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ \hat{y}
}
{ =} { \tilde{y} { \frac{ 1 }{ \sqrt[9] {1 -2 a^3 \tilde{x} -3 a^2 \tilde{y} } } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
erhalten wir
\mathdisp {\hat{x}^3 + \hat{x} \hat{y}^3 + \check{b} \hat{x} \hat{y}^4 + \hat{x}^2 \check{ h} + \check{g}} { . }
Mittels
\mavergleichskettedisp
{\vergleichskette
{ \check{x}
}
{ =} { \hat{x} - { \frac{ 1 }{ 3 } } \check{h}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
kann man den vierten Summanden wegkriegen und mittels
\mavergleichskettedisp
{\vergleichskette
{ \check {y}
}
{ =} { \hat{y} \sqrt[3]{ 1 + \check{b} \hat{y} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
erhält man
\mathdisp {\check{x}^3 + \check{x} \check{y}^3 + \gamma} { }
mit
\mavergleichskette
{\vergleichskette
{ \gamma
}
{ \in }{ {\mathfrak m}^6
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Es gilt wieder
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak m}^6
}
{ \subseteq} { {\mathfrak m}^2 J_f + {\mathfrak m}^7
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
woraus $5$-bestimmt nach
Satz 28.2
folgt. Somit ist die Funktion rechtsäquivalent zu
\mathl{x^3+xy^3}{.}
noch:
E8
Es sei eine einfache Singularität gegeben. Wenn der Rang der Hessematrix gleich $2$ oder gleich $1$ ist, so zeigen
Lemma 29.6
bzw.
Lemma 29.7,
dass die Singularität rechtsäquivalent zu einer $A$-Singularität ist. Es sei der Rang der Hessematrix also gleich $0$. Nach
Lemma 29.3
hat das dritte Taylorpolynom nach einer linearen Transformation die Form
\mathdisp {0 \text{ oder } x^2y+y^3 \text{ oder } x^2y \text{ oder } x^3} { . }
Im Fall
\mathl{x^2y}{} liegt nach
Lemma 29.8
eine $D_k$-Singularität mit
\mavergleichskette
{\vergleichskette
{k
}
{ \geq }{5
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
vor. Im Fall
\mathl{x^3}{} liegt nach
Lemma 29.9
eine $E$-Singularität vor. Im Fall $0$ kann die Singularität nach nicht einfach sein. Es liege also der Fall
\mathl{x^2y+y^3}{} vor. Das
\definitionsverweis {Jacobiideal}{}{}
hat die Form
\mavergleichskettedisp
{\vergleichskette
{J_f
}
{ \subseteq} { { \left( 2xy+h, x^2+3y^2 +g \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ h,g
}
{ \in }{ {\mathfrak m}^3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Somit enthält das Produktideal
\mathl{{\mathfrak m}^2 \cdot J_f}{} Elemente der Form
\mathdisp {x^3y+ h_1,\, x^2y^ 2+h_2,\, xy^ 3+h_3,\, x^4+3x^2y^2+h_4,\, x^2y^2+3y^4 + h_4} { }
mit
\mavergleichskette
{\vergleichskette
{h_j
}
{ \in }{ {\mathfrak m}^5
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Also gilt
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak m}^4
}
{ \subseteq} { {\mathfrak m}^2 \cdot J_f + {\mathfrak m}^5
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Daher ist $f$ nach
Satz 28.2
$3$-bestimmt, und somit ist es rechtsäquivalent zu $x^2y+y^3$ selbst, was den $D_4$-Typ ergibt.