# Singularitäten/Implizite Funktionen/Motivation/Einführung/2/Textabschnitt

Wir interessieren uns dafür, was man über die Faser in den nichtregulären Punkten aussagen kann, also in den Ausnahmepunkten, wo der Satz über implizite Abbildugnen nicht anwendbar ist. Dabei werden wir die Funktionen $F_{i}$, die die Faser festlegen, typischerweise als Polynome ansetzen, sodass sie beliebig oft differenzierbar sind und auf dem gesamten Raum $\mathbb {R} ^{n}$ bzw. ${\mathbb {C} }^{n}$ definiert sind. Über den offenen Definitionsbereich $G$ muss man sich also keine Gedanken machen. Weiterhin liefern schon einzelne Polynome interessante Fasern. Manchmal kan man die Fasern auch in den singulären Punkten direkt verstehen, manchmal ist man ziemlich sprachlos.

## Beispiel

Es sei
    $\varphi \colon \mathbb {R} ^{n}\longrightarrow \mathbb {R} ^{1}$
eine Funktion der Form
    $\varphi =\psi \cdot \theta \,$
mit stetig differenzierbaren Funktionen
    $\psi ,\theta \colon \mathbb {R} ^{n}\longrightarrow \mathbb {R} ^{1}$
und mit
    $\psi (P)=\theta (P)=0\,$
für einen bestimmten Punkt $P\in \mathbb {R} ^{n}$. Dann ist nach Fakt
    $\left(D\varphi \right)_{P}=\psi (P)\cdot \left(D\theta \right)_{P}+\theta (P)\cdot \left(D\psi \right)_{P}=0\,$
und der Satz über implizite Abbildungen ist im Punkt $P$ nicht anwendbar. In diesem Beispiel hat das Auftreten der Singularität eine einfache Erklärung. Für die Faser zu $\varphi$ über dem Nullpunkt gilt die Beziehung
    $\varphi ^{-1}(0)=\psi ^{-1}(0)\cup \theta ^{-1}(0)\,$
und das bedeutet, dass $P$ ein Punkt der Faser ist, in dem sich die beiden „Komponenten“ $\psi ^{-1}(0)$ und $\theta ^{-1}(0)$ treffen. Diese Situation gilt beispielsweise für $\varphi =xy$ im Nullpunkt des $\mathbb {R} ^{2}$. Die Faser durch den Nullpunkt ist das Achsenkreuz.

## Beispiel

Wir betrachten die Abbildung
    $F\colon \mathbb {R} ^{3}\longrightarrow \mathbb {R} ,\,(x,y,z)\longmapsto x^{2}+y^{3}+z^{5}$
und die Faser
    $Z=F^{-1}(0)\subseteq \mathbb {R} ^{3}\,.$
Die Jacobi-Matrix ist
    $\left(2x,\,3y^{2},\,5z^{4}\right)$
mit dem einzigen singulären Punkt $(0,0,0)\in Z$. Das bedeutet, dass $Z\setminus \{(0,0,0)\}$ eine zweidimensionale reelle Mannigfaltigkeit ist. Es ist keineswegs klar, dass ganz $Z$ keine differenzierbare Mannigfaltigkeit ist, nur weil man den Satz über implizite Abbildungen im Nullpunkt nicht anwenden kann. Es handelt sich sogar um eine topologische Mannigfaltigkeit, siehe Aufgabe. Das entsprechende Gebilde über den komplexen Zahlen ${\mathbb {C} }$ ist keine topologische Mannigfaltigkeit.
In dem zuletzt gegebenen Beispiel ist es auf Anhieb schwierig, eine Aussage über die Singularität zu machen, und es ist auch gar nicht klar, was hier überhaupt sinnvolle Fragestellungen sein könnten.
Es sei $K$ ein Körper (man denke an $K=\mathbb {R}$ oder $K={\mathbb {C} }$) $Y\subseteq K^{n}$ die Faser zu einer polynomialen Abbildung $F\colon K^{n}\rightarrow K$ und $P\in Y$ ein singulärer Punkt von $F$. Typische Fragen sind u.A.
* Wie kann man die singulären Punkte beschreiben?
* Welche Eigenschaften, die in einem regulären Punkt einer Faser gelten, gelten auch in jedem singulären Punkt? Als Teilmenge des $\mathbb {R} ^{n}$ ist $Y$ direkt ein metrischer Raum und damit auch ein topologischer Raum, doch das sind sehr allgemeine Konzepte. In einem regulären Punkt handelt es sich lokal um eine Mannigfaltigkeit und diese hat eine wohldefinierte Dimension. Gibt es auch ein sinnvolles Dimensionskonzept in den singulären Punkten? (Krulldimension). Wie sieht es mit einem Tangentialraum in singulären Punkten aus, wie mit Differentialoperatoren?
* Welche Eigenschaften gelten in manchen singulären Punkten, in manchen nicht? (normal, faktoriell, Cohen-Macaulay). Was sagt das darüber aus, ob man die Singularität als „milde“ oder als schwerwiegend ansehen sollte?
* Wie kann man die Singularität quantitativ erfassen, wie kann man die Abweichung vom regulären Standardfall messen? Dies führt zu Invarianten (Multiplizität, Milnorzahl, ...).
* Gibt es abgesehen von der Beschreibung als Faser andere Möglichkeiten, singuläre Räume zu beschreiben?
* Welche Auswirkungen hat die Existenz eines singulären Punkten $P$ auf das Komplement $Y\setminus \{P\}$? (Zusammenhangseigenschaften, lokale Fundamentalgruppe, Knoten, lokale Picardgruppe, Divisorenklassengruppe). Kann man die Singularität aus dem Komplement rekonstruieren?
* Welche Singularitäten lassen sich durch besonders einfache Gleichungen beschreiben? Monomiale Gleichungen, binomiale Gleichungen, ...
* In regulären Punkten einer Faser ist die Faser lokal diffeomorph zu einen offenen Ball des $\mathbb {R} ^{k}$ und somit sind überhaupt alle glatten Punkte der gleichen Dimension untereinander diffeomorph. Wann sind Singularitäten als gleich anzusehen? Was ist ein sinnvoller Isomorphiebegriff für Singularitäten? Inwiefern gibt es für Singularitäten eine besonders einfache Repräsentierung?
* Ist die Singularität nur ein einzelner Punkt (isolierte Singularität) oder bildet die Singularitätenmenge eine substantielle Teilmenge (Untervarietät)? Im zweiten Fall, sind diese singulären Punkte gleichermaßen singulär oder kann man diese Menge gemäß der Schwere der Singularität ordnen?
* Ein Punkt in einer Mannigfaltigkeit liegt in abgeschlossenen Untermannigfaltigkeiten unterschiedlicher Dimension. Liegt ein singulärer Punkt auf niedrigerdimensionalen glatten Untervarietäten?
* Kann man eine Singularität in irgendeiner Weise glätten? (Normalisierung, Singularitätenauflösung).
Welche Möglichkeiten gibt es, Räume mit Singularitäten zu produzieren?
* Fasern zu polynomialen Abbildungen.
* Man kann willkürlich einzelne Punkte einer Mannigfaltigkeit miteinander identifizieren. Wenn man bei einem Faden zwei Punkte miteinander identifiziert, so entsteht ein Überkreuzungspunkt, der kein Punkt einer Mannigfaltigkeit sein kann. Ebenso wenn man auf einem Blatt Papier zwei Punkte miteinander „verklebt“.
* Man kann nicht nur einzelne Punkte miteinander identifizieren, sondern auch größere Teilmengen zu einem Punkt zusammenziehen (kontrahieren). Wenn man beispielsweise einen Zylinder aus Papier entlang eines Kreises zusammenschnürt, so entsteht ein besonderer Punkt, an dem alle Längsgeraden des Zylinders zusammenlaufen, eine Doppelkegelspitze.
* Quotientenmengen zu Gruppenoperationen. Reguläre Räume verfügen teilweise über gewisse Symmetrien. Auf dem $K^{2}$ gibt es beispielsweise die Punktsymmetrie am Nullpunkt $(0,0)$. In einer solchen Situation ist die Quotientenmenge, die Punkte miteinander identifiziert, wenn sie durch eine Symmetrie ineinander überführbar sind, ein neues geometrisches Objekt, das Singularitäten haben kann.
Wir geben ein Beispiel für die zuletzt beschriebene Situation.

## Beispiel

Die durch $Z^{2}-XY$ gegebene Nullstellenmenge hat im Nullpunkt eine Singularität. Wir betrachten auf dem $\mathbb {R} ^{2}$ den Automorphismus (die Punktspiegelung) $u\mapsto -u,v\mapsto -v$. Jeder Punkt wird also auf den gegenüberliegenden Punkt abgebildet, nur der Nullpunkt wird auf sich selbst abgebildet. Welches geometrische Objekt entsteht, wenn man jeden Punkt mit seinem Gegenüber identifiziert? Ein sinnvoller Ansatz ist hier, nach Funkionen auf dem $K^{2}$ zu suchen, die für je zwei gegenüberliegende Punkte den gleichen Wert haben. Beispiele für solche Funktionen sind $u^{2},v^{2},uv$. Alle Polynome in $u,v$ mit dieser Invarianzeigenschaft lassen sich als Polynom in diesen drei Monomen schreiben. Diese drei Monome stehen untereinander in einer Beziehung, es gilt
    $(uv)^{2}=u^{2}v^{2}\,.$
Wenn man $z=uv$, $x=u^{2}$ und $y=v^{2}$ setzt, so ist dies die Gleichung vom Anfang. Wir haben also ein Beispiel einer Singularität, die sich als Nullstellenmenge eines Polynom und als Quotientenmenge unter einer natürlichen Identifizierung erhalten lässt.
Es gibt verschiedene Möglichkeiten, eine sinnvolle Theorie über Singularitäten aufzubauen. Als Kriterien kann man folgende Punkte nennen, die sich an den Fasern zu polynomialen Abbildungen als fundamentale Beispielklasse orientieren.
* Die Theorie soll geometrisch sein. Die Objekte sollen eine räumliche Struktur haben, die zwar vom $\mathbb {R} ^{n}$ abweichen darf, aber doch noch der geometrischen Intuition zugänglich sein soll.
* Die Theorie soll einen sinnvollen Dimensionsbegriff haben.
* Die geometrischen Objekte sollen sinnvolle geometrische Unterobjekte haben (so wie es Untervektorräume und Untermannigfaltigkeiten gibt).
* Singularitäten sollen ein Ausnahmephänomen sein. Wie die Fasern zu polynomialen Abbildungen sollen die geometrischen Objekte eine große dichte Teilmenge besitzen, die regulär ist.
* Dieser reguläre Ort soll für die Singularität wichtige Konsequenzen haben, die Singularität soll nicht völlig unverbunden mit ihrer Umgebung sein.
* Die Singularitäten sollen lokal untersucht werden können, wichtige Eigenschaften von Singularitäten sollen nicht von entfernten Punkten abhängen.
* Es soll eine adäquate Klasse von Funktionen geben, die auf den geometrischen Objekten definiert sind. Auf Mannigfaltigkeiten gibt es stetig differenzierbare Funktionen.
Wenn man beispielsweise von den reellen Zahlen ausgeht und darin alle rationalen Zahlen miteinander identifiziert und diese Quotientenmenge mit der Quotiententopologie versieht, so entsteht ein topologischer Raum, der recht kurios ist und nur sehr schwer vorstellbar ist.