Über das Mather-Stabilitätstheorem für glatte Abbildungen

Grundinformationen

• Papier-ID: 2510.10305
• Titel: On the Mather stability theorem for smooth maps
• Autor: Rustam Sadykov (Kansas State University)
• Klassifizierung: math.GT (Geometrische Topologie), math.DS (Dynamische Systeme)
• Veröffentlichungsdatum: 14. Oktober 2025
• Papierlink: https://arxiv.org/abs/2510.10305v1

Zusammenfassung

Dieses Papier untersucht das klassische Theorem von Mather über die Stabilität glatter Abbildungen. Mather bewies in 3, dass glatte, echte infinitesimal stabile Abbildungen stabil sind, ein Ergebnis, das eine Schlüsselkomponente des Mather-Stabilitätstheorems 5 darstellt. Dieses Theorem kann wie folgt umformuliert werden: Eine glatte echte Abbildung $f: M \to N$ ist stabil dann und nur dann, wenn sie infinitesimal stabil ist, dann und nur dann, wenn sie die Mather-Orthogonaltransversalitätsbedingung erfüllt. Die letztere Bedingung bedeutet grob gesagt, dass alle Abbildungskeime von $f$ stabil sind und $f$ die singulären Schichten von $f$ auf gegenseitig transversale Weise auf $N$ abbildet. Dieses Papier adaptiert ein kurzes Argument aus dem Werk 2 von Golubitsky und Guillemin, um das Mather-Stabilitätstheorem aus 5 aus dem Theorem in 3 herzuleiten.

Forschungshintergrund und Motivation

1. Forschungsfrage: Dieses Papier zielt darauf ab, einen vereinfachten Beweis des Mather-Stabilitätstheorems bereitzustellen, insbesondere um die Äquivalenz zwischen Stabilität, infinitesimaler Stabilität und der Mather-Orthogonaltransversalitätsbedingung zu etablieren.
2. Bedeutung des Problems:
   • Das Mather-Stabilitätstheorem ist ein grundlegendes Ergebnis in der Differentialtopologie und entscheidend für das Verständnis der Singularitätstheorie glatter Abbildungen
   • Das Theorem spielt eine Schlüsselrolle bei der Untersuchung der globalen Topologie von Abbildungen niedrigdimensionaler Mannigfaltigkeiten
   • Es hat besondere Anwendungen in der Untersuchung von Morin-Abbildungen und Faltenabbildungen
3. Einschränkungen bestehender Methoden:
   • Mathers ursprünglicher Beweis ist über mehrere Arbeiten verteilt und technisch komplex
   • Es wird eine direktere, einheitlichere Beweismethode benötigt, um diese tiefgreifenden Äquivalenzen zu verstehen
4. Forschungsmotivation:
   • Vereinfachung bestehender komplexer Beweise für besseres Verständnis
   • Bereitstellung einer theoretischen Grundlage für konkrete Anwendungen wie die Untersuchung von Abbildungen von 4-Mannigfaltigkeiten zu 3-Mannigfaltigkeiten

Kernbeiträge

1. Vereinfachte Beweismethode: Adaptiert das Argument aus dem Golubitsky-Guillemin-Buch und bietet eine prägnante Herleitung vom Mather-Fundamentaltheorem zum vollständigen Stabilitätstheorem
2. Theoretische Vereinigung: Etabliert explizit die logischen Beziehungen zwischen drei äquivalenten Bedingungen: Stabilität ↔ infinitesimale Stabilität ↔ Mather-Orthogonaltransversalitätsbedingung
3. Technische Innovation: Durch das Mather-Lemma und die Transversalitätstheorie wird eine vollständige Charakterisierung der infinitesimalen Stabilität gegeben
4. Erweiterung der Anwendungen: Besonders für Morin-Abbildungen werden notwendige und hinreichende Bedingungen für Stabilität angegeben (Korollar 1.3)

Methodische Erläuterung

Aussage der Kerntheorems

Theorem 1.1 (Mather-Fundamentaltheorem): Wenn $f$ echt und infinitesimal stabil ist, dann ist $f$ stabil.

Theorem 1.2 (Mather-Stabilitätstheorem): Sei $f: M \to N$ eine echte Abbildung der Mannigfaltigkeit $M$. Dann sind die folgenden drei Bedingungen äquivalent:

• $f$ ist stabil
• $f$ ist infinitesimal stabil
• $f$ erfüllt die Mather-Orthogonaltransversalitätsbedingung

Definitionen von Schlüsselkonzepten

1. Abbildungsstabilität: Eine Abbildung $f: M \to N$ ist stabil, wenn eine offene Umgebung $E$ von $f$ existiert, so dass jede Abbildung in $E$ äquivalent zu $f$ ist (durch Diffeomorphismen)
2. Infinitesimale Stabilität: Für jedes Vektorfeld $w$ entlang $f$ existieren ein Vektorfeld $u$ auf $M$ und ein Vektorfeld $v$ auf $N$, so dass $w = df(u) + v(f)$
3. Mather-Orthogonaltransversalitätsbedingung:
   • Alle Abbildungskeime sind stabil
   • Für endlich viele verschiedene Punkte $p_1,\ldots,p_s \in M$ mit $f(p_1) = \cdots = f(p_s) = q$ befinden sich die Unterräume $P_i = d_{p_i}f(T_{\Sigma_{p_i}(f)})$ in allgemeiner Lage in $T_qN$

Technische Methoden

1. Charakterisierung der allgemeinen Lage (Lemma 2.1)

Für Unterräume $P_1,\ldots,P_s \subset Q$ sind die folgenden Bedingungen äquivalent:

• Die Unterräume befinden sich in allgemeiner Lage: $Q = P_i + \bigcap_{j \neq i} P_j$
• Die Diagonalabbildung $\Delta_\bullet: Q \to \bigoplus_i (Q/P_i)$ ist surjektiv
• Die Diagonalabbildung $\Delta: Q \to \bigoplus_i Q$ ist transversal zu $\bigoplus_i P_i$

2. Anwendung des Mather-Lemmas

Mit Hilfe des Malgrange-Vorbereitungssatzes und des Nakayama-Lemmas besagt das Mather-Lemma: $t_f(B) + w_f(A) + f^*(m_q)C = C \implies t_f(B) + w_f(A) = C$

wobei $t_f: B \to C$ und $w_f: A \to C$ durch $t_f(\xi) = df(\xi)$ bzw. $w_f(\eta) = \eta \circ f$ definiert sind.

Hauptbeweisidee

Schritt 1: Nachweis, dass stabile Abbildungen die Mather-Orthogonaltransversalitätsbedingung erfüllen (durch das Multijets-Transversalitätstheorem)

Schritt 2: Nachweis, dass Abbildungen, die die Mather-Orthogonaltransversalitätsbedingung erfüllen, auf jeder endlichen Teilmenge der Faser infinitesimal stabil sind

Schritt 3: Verwendung von Theorem 3.3, um von lokaler infinitesimaler Stabilität zu globaler infinitesimaler Stabilität zu gelangen

Schritt 4: Anwendung des Mather-Fundamentaltheorems (Theorem 1.1), um von infinitesimaler Stabilität zu Stabilität zu gelangen

Technische Innovationspunkte

1. Geschickte Konstruktion von Koordinatensystemen

Für Abbildungen, die die Orthogonaltransversalitätsbedingung erfüllen, wird ein Koordinatensystem $\{y_1,\ldots,y_n\}$ in der Nähe des Bildpunktes $q$ konstruiert, so dass jeder Unterraum $P_\ell$ durch die Gleichungen $dy_i = 0$ ($i \in I_\ell$) gegeben ist, wobei $I_\ell$ disjunkte Indexmengen sind.

2. Standardform lokaler Abbildungen

In geeigneten Koordinaten haben Abbildungskeime die Standardform: