On the Mather stability theorem for smooth maps

Basic Information

• Paper ID: 2510.10305
• Title: On the Mather stability theorem for smooth maps
• Author: Rustam Sadykov (Kansas State University)
• Classification: math.GT (Geometric Topology), math.DS (Dynamical Systems)
• Publication Date: October 14, 2025
• Paper Link: https://arxiv.org/abs/2510.10305v1

Abstract

This paper investigates the classical theorem of Mather concerning the stability of smooth maps. Mather proved in 3 that smooth proper infinitesimally stable maps are stable, a result that is a key component of the Mather stability theorem 5. The theorem can be reformulated as follows: a smooth proper map $f: M \to N$ is stable if and only if it is infinitesimally stable if and only if it satisfies the Mather orthogonal transversality condition. The latter condition roughly means that all map germs of $f$ are stable and that $f$ maps the singular strata of $f$ to $N$ in a mutually transverse manner. This paper adapts a brief argument from the monograph 2 by Golubitsky and Guillemin to derive the Mather stability theorem from 5 using the theorem in 3.

Research Background and Motivation

1. Research Problem: This paper aims to provide a simplified proof of the Mather stability theorem, particularly establishing the equivalence between stability, infinitesimal stability, and the Mather orthogonal transversality condition.
2. Problem Significance:
   • The Mather stability theorem is a foundational result in differential topology, crucial for understanding singularity theory of smooth maps
   • The theorem plays a key role in studying the global topology of mappings between low-dimensional manifolds
   • It has important applications particularly in the study of Morin maps and fold maps
3. Limitations of Existing Methods:
   • Mather's original proof is scattered across multiple papers with complex technical details
   • A more direct and unified proof method is needed to understand these profound equivalences
4. Research Motivation:
   • Simplify existing complex proofs to make them more accessible
   • Provide theoretical foundations for concrete applications such as studying mappings from 4-manifolds to 3-manifolds

Core Contributions

1. Simplified Proof Method: Adapts the argument from the Golubitsky-Guillemin book to provide a concise derivation from Mather's fundamental theorem to the complete stability theorem
2. Theoretical Unification: Explicitly establishes the logical relationships between three equivalent conditions: stability ↔ infinitesimal stability ↔ Mather orthogonal transversality condition
3. Technical Innovation: Provides a complete characterization of infinitesimal stability through Mather's lemma and transversality theory
4. Extended Applications: Particularly for Morin maps, provides necessary and sufficient conditions for stability (Corollary 1.3)

Detailed Methodology

Core Theorem Statements

Theorem 1.1 (Mather's Fundamental Theorem): If $f$ is proper and infinitesimally stable, then $f$ is stable.

Theorem 1.2 (Mather Stability Theorem): Let $f: M \to N$ be a proper map between manifolds $M$ and $N$. Then the following three conditions are equivalent:

• $f$ is stable
• $f$ is infinitesimally stable
• $f$ satisfies the Mather orthogonal transversality condition

Key Concept Definitions

1. Map Stability: A map $f: M \to N$ is stable if there exists an open neighborhood $E$ of $f$ such that every map in $E$ is equivalent to $f$ (via diffeomorphisms).
2. Infinitesimal Stability: For any vector field $w$ along $f$, there exist a vector field $u$ on $M$ and a vector field $v$ on $N$ such that $w = df(u) + v(f)$.
3. Mather Orthogonal Transversality Condition:
   • All map germs are stable
   • For finitely many distinct points $p_1,\ldots,p_s \in M$ satisfying $f(p_1) = \cdots = f(p_s) = q$, the subspaces $P_i = d_{p_i}f(T_{\Sigma_{p_i}(f)})$ are in general position in $T_qN$

Technical Methods

1. Characterization of General Position (Lemma 2.1)

For subspaces $P_1,\ldots,P_s \subset Q$, the following conditions are equivalent:

• The subspaces are in general position: $Q = P_i + \bigcap_{j \neq i} P_j$
• The diagonal map $\Delta_\bullet: Q \to \bigoplus_i (Q/P_i)$ is surjective
• The diagonal map $\Delta: Q \to \bigoplus_i Q$ is transverse to $\bigoplus_i P_i$

2. Application of Mather's Lemma

Using the Malgrange preparation theorem and Nakayama's lemma, Mather's lemma asserts: $t_f(B) + w_f(A) + f^*(m_q)C = C \implies t_f(B) + w_f(A) = C$

where $t_f: B \to C$ and $w_f: A \to C$ are defined by $t_f(\xi) = df(\xi)$ and $w_f(\eta) = \eta \circ f$, respectively.

Main Proof Strategy

Step One: Prove that stable maps satisfy the Mather orthogonal transversality condition (via the multi-jet transversality theorem)

Step Two: Prove that maps satisfying the Mather orthogonal transversality condition are infinitesimally stable on finite subsets of each fiber

Step Three: Using Theorem 3.3, derive global infinitesimal stability from local infinitesimal stability

Step Four: Apply Mather's fundamental theorem (Theorem 1.1) to obtain stability from infinitesimal stability

Technical Innovation Points

1. Clever Construction of Coordinate Systems

For maps satisfying the orthogonal transversality condition, construct coordinates $\{y_1,\ldots,y_n\}$ near the image point $q$ such that each subspace $P_\ell$ is given by equations $dy_i = 0$ ($i \in I_\ell$), where $I_\ell$ are disjoint index sets.

2. Standard Form of Local Maps

Under appropriate coordinates, the map germ takes the standard form: