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: $[y_k \circ f]^{(\ell)} = \begin{cases} f_k^{(\ell)}(x_1^\ell,\ldots,x_m^\ell) & \text{if } k \in I_\ell \\ x_{\sigma_\ell(k)}^\ell & \text{if } k \in \bar{I}_\ell \end{cases}$

3. Reduction of Infinitesimal Stability Equations

Through elimination techniques, reduce the complex system of infinitesimal stability equations to simpler forms, then solve using the stability of map germs and Mather's lemma.

Main Results

Theorem Verification

The paper successfully proves the equivalence of three conditions:

1. Stability → Mather orthogonal transversality condition (via transversality theory)
2. Mather orthogonal transversality condition → Infinitesimal stability (main technical contribution)
3. Infinitesimal stability → Stability (Mather's fundamental theorem)

Important Corollaries

Corollary 1.3: A Morin map from a compact manifold is stable if and only if it satisfies the orthogonal transversality condition.

This result:

• Was proved in the Golubitsky-Guillemin book only for $\dim M = \dim N \leq 4$ and fold maps
• Was proved in Wall's book only for $\dim N = 2$
• The paper provides a completely general proof

Related Work

Historical Development

1. Mather's Series of Papers: This paper builds on Mather's series of papers on $C^\infty$ map stability published between 1968-1970
2. Golubitsky-Guillemin Monograph: Provides a systematic exposition of stable map theory
3. Wall's Contributions: Developed related theory in low-dimensional cases

Technical Connections

• Singularity Theory: Closely related to Arnold-Gusein-Zade-Varchenko's theory of singularities of differentiable maps
• Transversality Theory: Extensively uses Thom's jet transversality theorem
• Algebraic Tools: Employs algebraic geometry tools such as the Malgrange preparation theorem

Conclusions and Discussion

Main Conclusions

1. Provides a simplified and unified proof of the Mather stability theorem
2. Clarifies the logical relationships between three equivalent characterizations of stability
3. Provides complete theoretical foundations for studying the stability of Morin maps

Theoretical Significance

• Unification: Brings scattered results together under one framework
• Simplicity: More direct and accessible compared to the original proof
• Completeness: Provides complete proofs of equivalences

Applied Value

This result serves as a starting point for investigating:

• Global topology of mappings from 4-manifolds to 3-manifolds
• Singularity theory of mappings between low-dimensional manifolds
• Classification problems for stable maps

In-Depth Evaluation

Strengths

1. Mathematical Rigor: Complete and rigorous proofs with clear logical flow
2. Technical Innovation: Cleverly adapts existing techniques to simplify complex proofs
3. Theoretical Value: Provides new perspectives for understanding classical results
4. Clear Exposition: Well-structured with accurate concept definitions

Technical Highlights

1. Coordinate Construction: Skillfully constructs adapted coordinate systems using general position conditions
2. Equation Reduction: Transforms complex equation systems into solvable forms through elimination
3. Module Theory: Effectively applies module-theoretic techniques from Mather's lemma

Limitations

1. Degree of Innovation: Primarily reproves existing results with limited originality
2. Technical Difficulty: Despite simplification, still requires substantial technical background
3. Application Scope: Mainly theoretical results with limited direct applications

Impact Assessment

1. Theoretical Contribution: Provides clearer understanding of stable map theory
2. Educational Value: Simplified proofs facilitate teaching and dissemination of the theory
3. Research Foundation: Provides solid foundation for further research on mappings between low-dimensional manifolds

Applicable Scenarios

• Theoretical research in differential topology and singularity theory
• Classification and property studies of mappings between low-dimensional manifolds
• Teaching and learning in related fields

References

The paper primarily references the following classical works:

1. Arnold, V. I., et al. - Singularities of Differentiable Maps
2. Golubitsky, M., Guillemin, V. - Stable Mappings and Their Singularities
3. Mather, J. N. - Series of papers on $C^\infty$ map stability
4. Wall, C. T. C. - Differential Topology
5. Saeki, O. - Topology of Singular Fibers of Differentiable Maps

Overall Assessment: This is a high-quality mathematics paper that provides a more concise and unified proof of the classical Mather stability theorem through technical innovation. While primarily a restatement of existing results, its technical treatment and theoretical integration possess significant academic value, particularly contributing beneficially to the teaching and further research of related theories.