Isotopy classification of Morse polynomials of degree 3 in ${\mathbb R}^3$

Die Autoren klassifizieren mittels eines kombinatorischen Computerprogramms alle Isotopieklassen von Morse-Polynomen vom Grad 3 auf ${\mathbb R}^3$ und zeigen, dass es genau 37 Klassen mit nicht-singulärem Hauptteil sowie 2258 strikte Morse-Klassen mit maximal acht reellen kritischen Punkten gibt.

Das Wesentliche

Stellen Sie sich vor, Sie sind ein Landschaftsgärtner, aber nicht für Blumenbeete, sondern für dreidimensionale, unsichtbare Hügel und Täler, die durch mathematische Formeln definiert sind. Diese Landschaften nennt man Polynome.

Der Autor dieses Papers, W.A. Vassiliev, hat sich eine riesige Aufgabe gestellt: Er wollte alle möglichen Arten von Landschaften zählen, die aus speziellen dreidimensionalen Formeln (Grad 3) entstehen können. Aber nicht irgendeine Landschaft, sondern nur solche, die „perfekt glatt" sind – keine scharfen Kanten, keine spitzen Ecken, keine flachen Plateaus, auf denen man sich verlaufen könnte. In der Mathematik nennt man das Morse-Polynome.

Hier ist die Geschichte seiner Entdeckungen, übersetzt in eine einfache Geschichte:

1. Die zwei Welten der Landschaften (Typ Ξ1 und Ξ2)

Bevor er die Landschaften zählte, stellte er fest, dass es zwei völlig verschiedene Arten von „Grundgerüsten" für diese Hügel gibt. Man kann sie sich wie zwei verschiedene Arten von Teig vorstellen:

• Typ Ξ1: Eine Art von Teig, der sich zu einer einzigen, zusammenhängenden Form kneten lässt.
• Typ Ξ2: Ein Teig, der sich in zwei getrennte Teile spaltet.

Der Autor hat für beide Teige alle möglichen perfekten Landschaften katalogisiert.

2. Die Gipfel und Täler (Kritische Punkte)

In jeder dieser Landschaften gibt es besondere Punkte:

• Täler (Minima): Der tiefste Punkt, wo ein Ball liegen bleibt.
• Gipfel (Maxima): Der höchste Punkt, wo ein Ball balanciert.
• Pässe (Sattelpunkte): Punkte, die wie ein Sattel aussehen – man kann in eine Richtung bergauf und in die andere bergab gehen.

Die Mathematiker interessieren sich dafür, wie viele dieser Punkte es gibt. Die maximale Anzahl für diese speziellen Formeln ist acht.

• Manche Landschaften haben gar keine echten Gipfel oder Täler (nur Pässe).
• Andere haben genau 2, 4, 6 oder alle 8 Punkte.

3. Die große Zählung (Das Ergebnis)

Vassiliev hat mit Hilfe eines cleveren Computerprogramms (das wie ein digitaler Architekt arbeitet) alle möglichen Kombinationen durchgespielt. Das Ergebnis ist erstaunlich präzise:

• Es gibt genau 37 verschiedene Arten (Isotopieklassen), wie man diese Landschaften mit 8 Gipfeln/Tälern/Pässen bauen kann, wenn man sie nur leicht verschieben darf, ohne sie zu zerreißen.
• Wenn man noch genauer hinschaut und verlangt, dass alle 8 Punkte echte Gipfel oder Täler sind (keine Pässe mehr), dann gibt es sogar 2258 verschiedene Varianten!

Das ist wie wenn man sagt: „Es gibt 37 verschiedene Arten, ein Haus zu bauen, das stabil ist. Aber wenn man verlangt, dass jedes Zimmer ein Fenster hat und keine Wände fehlen, gibt es über 2000 verschiedene Grundrisse."

4. Wie hat er das herausgefunden? (Die virtuelle Chirurgie)

Wie kann man so etwas zählen, ohne jede einzelne Formel aufzuschreiben? Vassiliev benutzt eine Methode, die man sich wie virtuelle Chirurgie vorstellen kann.

Stellen Sie sich vor, Sie haben eine Landschaft. Sie können nun:

• Zwei benachbarte Täler zusammenstoßen lassen (sie verschmelzen oder tauschen die Plätze).
• Ein Tal in zwei Teile spalten.
• Die Höhe des Meeres (den Nullpunkt) anheben oder absenken.

Jede dieser Operationen verändert die Landschaft, aber sie bleibt im selben „Familienverband". Der Autor hat ein digitales Netzwerk (einen Graphen) gebaut, das alle diese möglichen Operationen abbildet. Er hat dann den Computer fragen lassen: „Wie viele verschiedene Netzwerke gibt es, die man nicht ineinander verwandeln kann?"

Das Programm hat alle diese virtuellen Landschaften durchprobiert, sie in Gruppen eingeteilt und gezählt. Es war wie das Sortieren von Millionen Lego-Bauwerken in Schachteln, basierend darauf, welche Steine man bewegen muss, um von einem zum anderen zu kommen.

5. Warum ist das wichtig?

Warum sollte sich jemand für das Zählen von mathematischen Hügeln interessieren?

• Katastrophentheorie: Diese Landschaften helfen uns zu verstehen, wie sich Dinge plötzlich ändern. Wenn ein System (wie das Wetter oder ein biologischer Prozess) einen „Kipppunkt" erreicht, sieht die Mathematik dahinter oft wie eine dieser Landschaften aus.
• Struktur der Realität: Es zeigt uns, wie komplex die Welt sein kann, selbst wenn die Regeln (die Formeln) sehr einfach sind. Dass es so viele verschiedene Möglichkeiten (37 oder 2258) gibt, zeigt, wie reichhaltig die Mathematik ist.

Zusammenfassung in einem Satz

Vassiliev hat wie ein genialer Kartograf alle möglichen perfekten, dreidimensionalen Hügel- und Tal-Landschaften, die aus einfachen mathematischen Regeln entstehen, vermessen, katalogisiert und bewiesen, dass es genau 37 Grundtypen (und über 2000 feine Varianten) gibt, die sich nicht ineinander verwandeln lassen.

Er hat damit ein riesiges Puzzle gelöst, das zeigt, wie die Mathematik die unsichtbare Struktur unserer Welt beschreibt.

Technische Zusammenfassung

Titel: Isotopie-Klassifikation von Morse-Polynomen vom Grad 3 auf $\mathbb{R}^3$

Autor: V. A. Vassiliev

---

1. Problemstellung

Das Paper adressiert ein zentrales Problem der Bifurkationstheorie und der reellen algebraischen Geometrie: die Enumeration und Klassifikation der zusammenhängenden Komponenten (Isotopie-Klassen) des Raums der Morse-Polynome.

• Gegenstand: Polynome $f: \mathbb{R}^3 \to \mathbb{R}$ vom Grad 3.
• Bedingungen:
  • Die Polynome müssen Morse-Funktionen sein (alle reellen kritischen Punkte sind nicht-degeneriert).
  • Der principal homogeneous part (der homogene Teil höchsten Grades) muss nicht-diskriminant sein (seine Nullmenge definiert eine glatte Kurve im komplexen projektiven Raum $\mathbb{CP}^2$).
  • Eine strengere Unterklasse sind die streng Morse-Polynome, bei denen zusätzlich alle kritischen Werte an den reellen kritischen Punkten voneinander verschieden sind.
• Ziel: Die vollständige Aufzählung aller Isotopie-Klassen dieser Polynome, unterteilt nach der Anzahl der reellen kritischen Punkte und der Topologie der durch den Hauptteil definierten kubischen Kurven.

Der Raum der Polynome mit nicht-diskriminantem Hauptteil zerfällt in zwei disjunkte Mengen, basierend auf der Anzahl der Komponenten der kubischen Kurve in $\mathbb{RP}^2$:

• Typ $\Xi_1$: Hauptteil definiert eine Kurve mit einer Komponente.
• Typ $\Xi_2$: Hauptteil definiert eine Kurve mit zwei Komponenten.

2. Methodik

Die Klassifikation stützt sich auf eine Kombination aus kombinatorischer Topologie, Singularitätentheorie und computergestützter Analyse.

• Virtual Morse Functions (VMF): Als Hauptwerkzeug dienen "virtuelle Morse-Funktionen". Diese sind kombinatorische Datenstrukturen, die eine Polynomklasse beschreiben, ohne das Polynom explizit zu konstruieren. Sie umfassen:
  • Die $8 \times 8$-Schnittmatrix der verschwindenden Zyklen (vanishing cycles) in der Milnor-Faser.
  • Schnittindizes mit dem reellen Raum $\mathbb{R}^3$.
  • Paritäten der Morse-Indizes der reellen kritischen Punkte.
  • Anzahl der negativen und positiven kritischen Werte.
• Formale Graphen und Virtuelle Chirurgien: Die VMFs werden durch elementare "virtuelle Chirurgien" ($s_1$ bis $s_7$) verbunden, die topologische Operationen an den kritischen Werten modellieren (z.B. Kollision von kritischen Werten, Überqueren des Wertes 0).
  • Diese Operationen erzeugen einen formalen Graphen, dessen Knoten die VMFs und dessen Kanten die Chirurgien sind.
  • Virtuelle Komponenten: Maximale zusammenhängende Teilmengen dieses Graphen, die durch Chirurgien ohne Kollision von kritischen Punkten (d.h. ohne $s_1, s_3$) verbunden sind.
• D-Graph-Invariante: Für Polynome mit nur reellen kritischen Punkten wird eine vereinfachte Invariante eingeführt: der D-Graph. Dies ist ein orientierter Graph, der aus dem Coxeter-Dynkin-Diagramm abgeleitet wird, wobei Knoten nach Parität des Morse-Index gefärbt und Kanten nach der Reihenfolge der kritischen Werte orientiert sind. Der D-Graph ist eine vollständige Invariante für die Isotopieklasse (bis auf Chiralität).
• Computeralgebra: Ein maßgeschneidertes Computerprogramm (basierend auf früheren Arbeiten des Autors) wird verwendet, um den formalen Graphen zu durchsuchen, alle VMFs zu enumerieren und die virtuellen Komponenten zu identifizieren.
• Singularitäten-Theorie: Die Analyse stützt sich stark auf die Theorie der Entfaltungen von Funktionssingularitäten, insbesondere der parabolischen Klasse $P_8$ (die als Grenzfälle der Hauptteile auftreten).

3. Hauptergebnisse

A. Klassifikation der Morse-Polynome (nicht notwendig streng)

Das Paper zählt alle Isotopie-Klassen von Morse-Polynomen (mit beliebigen kritischen Werten, solange sie nicht degeneriert sind).

• Gesamtzahl: Es gibt genau 37 Isotopie-Klassen für Typ $\Xi_1$ und 16 für Typ $\Xi_2$.
• Verteilung nach Anzahl reeller kritischer Punkte (0 bis 8):
  • Typ $\Xi_1$: 1 (0 Punkte), 3 (2 Punkte), 4 (4 Punkte), 5 (6 Punkte), 8 (8 Punkte). Summe: 21 (Anmerkung: Tabelle 1 im Paper listet 21 für $\Xi_1$ und 16 für $\Xi_2$, was 37 insgesamt ergibt).
  • Typ $\Xi_2$: 0 (0 Punkte), 1 (2 Punkte), 3 (4 Punkte), 4 (6 Punkte), 8 (8 Punkte). Summe: 16.
  • Hinweis: Für Typ $\Xi_2$ existieren keine Polynome ohne reelle kritische Punkte.

B. Klassifikation der streng Morse-Polynome (maximale Anzahl kritischer Punkte)

Für den Fall, dass alle 8 kritischen Punkte reell sind und die kritischen Werte paarweise verschieden sind:

• Typ $\Xi_1$: Es gibt 842 Isotopie-Klassen.
• Typ $\Xi_2$: Es gibt 1416 Isotopie-Klassen.
• Topologie der Klassen: Jede dieser Isotopie-Klassen ist homotopieäquivalent zur Gruppe $SL(3, \mathbb{R})$.

C. Struktur der virtuellen Komponenten

• Für Typ $\Xi_1$ mit 8 reellen kritischen Punkten gibt es 7 virtuelle Komponenten (basierend auf D-Graphen). Eine davon ist chiral (führt zu 2 Isotopie-Klassen), die anderen sind achiral.
• Für Typ $\Xi_2$ mit 8 reellen kritischen Punkten gibt es 8 virtuelle Komponenten (alle achiral).
• Die Arbeit liefert explizite Normalformen (Polynome), die jede dieser Klassen realisieren.

D. Zerlegung von $P_8$-Singularitäten

Es werden Theoreme bewiesen, die beschreiben, welche Paare von kritischen Punkten (mit Summe der Milnor-Zahlen = 8) in reellen Polynomen der Typen $\Xi_1$ und $\Xi_2$ auftreten können.

• Beispiel $\Xi_1$: Erlaubt sind Paare wie $E_6 + A_2$, $D_5 + A_3$, $A_4 + A_4$, $D_4^+ + D_4^+$, $D_4^- + D_4^-$.
• Verbotene Kombinationen: Viele theoretisch denkbare Paare (z.B. $A_7 + A_1$) sind in der reellen Situation nicht realisierbar.

4. Signifikanz und Bedeutung

1. Vollständigkeit: Dies ist die erste vollständige Enumeration der Isotopie-Klassen für Morse-Polynome vom Grad 3 in drei Variablen. Bisherige Arbeiten behandelten nur den Fall von zwei Variablen oder Grad $\le 4$ in zwei Variablen.
2. Komplexitätssteigerung: Die Arbeit zeigt, dass die Klassifikation in Dimension 3 deutlich komplexer ist als in Dimension 2. Während in 2D die Topologie oft durch einfache Invarianten bestimmt wird, erfordern 3D-Polynome die Analyse von "virtuellen" Strukturen und kombinatorischen Graphen, da die Integer-Morse-Indizes nicht immer direkt aus den kombinatorischen Daten rekonstruierbar sind.
3. Verbindung zur Singularitätentheorie: Das Paper liefert einen tiefen Einblick in die lokale Theorie der "Caustics" (Brennflächen) von Entfaltungen der $P_8$-Singularität. Es verbindet die globale Topologie der Polynomräume mit der lokalen Theorie von Funktionssingularitäten.
4. Methodischer Fortschritt: Die Verwendung von "Virtual Morse Functions" und computergestützter Suche in formalen Graphen wird als mächtiges Werkzeug etabliert, das über die Möglichkeiten rein analytischer Methoden hinausgeht.
5. Geometrische Implikationen: Die Ergebnisse haben Auswirkungen auf das Verständnis der Topologie nicht-singulärer kubischer Flächen im affinen Raum $\mathbb{R}^3$ und deren Deformationen.

Zusammenfassung der Struktur des Papers

• Abschnitt 1: Einführung, Definitionen und Hauptresultate.
• Abschnitt 2: Einführung der Invarianten (virtuelle Morse-Funktionen, D-Graphen) und der chirurgischen Methoden.
• Abschnitt 3: Fundamentales Lemma über die geometrische Anordnung kritischer Punkte in Ebenen.
• Abschnitt 4 & 5: Detaillierte Klassifikation und Realisierung für Typ $\Xi_1$ bzw. $\Xi_2$, unterteilt nach der Anzahl der kritischen Punkte (8, 6, 4, 2, 0).
• Abschnitt 6: Übertragung der Ergebnisse auf streng Morse-Polynome und Berechnung der Anzahl der Klassen (842 bzw. 1416).
• Abschnitt 8: Beweise der Theoreme zur Zerlegung von $P_8$-Singularitäten.

Das Paper stellt einen Meilenstein in der reellen algebraischen Geometrie dar, indem es eine bisher ungelöste, hochkomplexe Klassifikationsaufgabe in Dimension 3 erfolgreich abschließt.