2025-11-10T02:34:05.974033

On the Mather stability theorem for smooth maps

Sadykov

In [MaII] Mather proved that a smooth proper infinitesimally stable map is stable. This result is the key component of the Mather stability theorem [MaV], which 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 normal crossing condition. The latter condition, roughly speaking, means that all map germs of $f$ are stable and $f$ maps the singular strata of $f$ to $N$ in a mutually transversal manner. In this note we adapt a short argument from the book by Golubitsky and Guillemin to derive the Mather stability theorem presented in [MaV] from the theorem in [MaII].

academic

Sur le théorème de stabilité de Mather pour les applications lisses

Informations fondamentales

ID de l'article: 2510.10305
Titre: On the Mather stability theorem for smooth maps
Auteur: Rustam Sadykov (Kansas State University)
Classification: math.GT (topologie géométrique), math.DS (systèmes dynamiques)
Date de publication: 14 octobre 2025
Lien de l'article: https://arxiv.org/abs/2510.10305v1

Résumé

Cet article étudie le théorème classique de Mather concernant la stabilité des applications lisses. Mather a démontré dans 3 que les applications propres infinitésimalement stables lisses sont stables, résultat qui constitue une composante clé du théorème de stabilité de Mather 5. Ce théorème peut être reformulé comme suit : une application propre lisse $f: M \to N$ est stable si et seulement si elle est infinitésimalement stable si et seulement si elle satisfait la condition de transversalité orthogonale de Mather. Cette dernière condition signifie grossièrement que tous les germes d'application de $f$ sont stables et que $f$ applique les strates singulières de $f$ à $N$ de manière mutuellement transverse. Cet article adapte un argument concis de l'ouvrage 2 de Golubitsky et Guillemin pour déduire le théorème de stabilité de Mather de 5 à partir du théorème de 3.

Contexte et motivation de la recherche

Problème de recherche: Cet article vise à fournir une preuve simplifiée du théorème de stabilité de Mather, en particulier en établissant l'équivalence entre la stabilité, la stabilité infinitésimale et la condition de transversalité orthogonale de Mather.
Importance du problème:
- Le théorème de stabilité de Mather est un résultat fondamental en topologie différentielle, crucial pour comprendre la théorie des singularités des applications lisses
- Ce théorème joue un rôle clé dans l'étude de la topologie globale des applications entre variétés de basse dimension
- Il possède des applications importantes particulièrement dans l'étude des applications de Morin et des applications de pliage
Limitations des méthodes existantes:
- La preuve originale de Mather est dispersée dans plusieurs articles avec des détails techniques complexes
- Une méthode de preuve plus directe et unifiée est nécessaire pour comprendre ces équivalences profondes
Motivation de la recherche:
- Simplifier les preuves existantes complexes pour les rendre plus accessibles
- Fournir une base théorique pour des applications concrètes telles que l'étude des applications de variétés 4-dimensionnelles vers des variétés 3-dimensionnelles

Contributions essentielles

Méthode de preuve simplifiée: Adaptation de l'argument du livre Golubitsky-Guillemin, fournissant une déduction concise du théorème fondamental de Mather vers le théorème de stabilité complet
Unification théorique: Établissement explicite des relations logiques entre trois conditions équivalentes : stabilité ↔ stabilité infinitésimale ↔ condition de transversalité orthogonale de Mather
Innovation technique: Caractérisation complète de la stabilité infinitésimale via le lemme de Mather et la théorie de la transversalité
Extension d'application: Conditions nécessaires et suffisantes de stabilité spécifiquement pour les applications de Morin (Corollaire 1.3)

Explication détaillée de la méthode

Énoncé des théorèmes essentiels

Théorème 1.1 (Théorème fondamental de Mather): Si $f$ est propre et infinitésimalement stable, alors $f$ est stable.

Théorème 1.2 (Théorème de stabilité de Mather): Soit $f: M \to N$ une application propre d'une variété $M$ . Les trois conditions suivantes sont équivalentes:

$f$ est stable
$f$ est infinitésimalement stable
$f$ satisfait la condition de transversalité orthogonale de Mather

Définitions des concepts clés

Stabilité d'une application: Une application $f: M \to N$ est stable s'il existe un voisinage ouvert $E$ de $f$ tel que chaque application dans $E$ soit équivalente à $f$ (via des difféomorphismes)
Stabilité infinitésimale: Pour tout champ de vecteurs $w$ le long de $f$ , il existe un champ de vecteurs $u$ sur $M$ et un champ de vecteurs $v$ sur $N$ tels que $w = df(u) + v(f)$
Condition de transversalité orthogonale de Mather:
- Tous les germes d'application sont stables
- Pour un nombre fini de points distincts $p_1,\ldots,p_s \in M$ satisfaisant $f(p_1) = \cdots = f(p_s) = q$ , les sous-espaces $P_i = d_{p_i}f(T_{\Sigma_{p_i}(f)})$ sont en position générale dans $T_qN$

Méthode technique

1. Caractérisation de la position générale (Lemme 2.1)

Pour des sous-espaces $P_1,\ldots,P_s \subset Q$ , les conditions suivantes sont équivalentes:

Les sous-espaces sont en position générale: $Q = P_i + \bigcap_{j \neq i} P_j$
L'application diagonale $\Delta_\bullet: Q \to \bigoplus_i (Q/P_i)$ est surjective
L'application diagonale $\Delta: Q \to \bigoplus_i Q$ est transverse à $\bigoplus_i P_i$

2. Application du lemme de Mather

Utilisant le théorème de préparation de Malgrange et le lemme de Nakayama, le lemme de Mather affirme: $t_f(B) + w_f(A) + f^*(m_q)C = C \implies t_f(B) + w_f(A) = C$

où $t_f: B \to C$ et $w_f: A \to C$ sont définis respectivement par $t_f(\xi) = df(\xi)$ et $w_f(\eta) = \eta \circ f$ .

Stratégie principale de la preuve

Première étape: Prouver que les applications stables satisfont la condition de transversalité orthogonale de Mather (via le théorème de transversalité des multi-jets)

Deuxième étape: Prouver que les applications satisfaisant la condition de transversalité orthogonale de Mather sont infinitésimalement stables sur tout sous-ensemble fini de chaque fibre

Troisième étape: Utiliser le théorème 3.3 pour déduire la stabilité infinitésimale globale de la stabilité infinitésimale locale

Quatrième étape: Appliquer le théorème fondamental de Mather (Théorème 1.1) pour déduire la stabilité de la stabilité infinitésimale

Points d'innovation technique

1. Construction astucieuse de systèmes de coordonnées

Pour une application satisfaisant la condition de transversalité orthogonale, on construit un système de coordonnées $\{y_1,\ldots,y_n\}$ au voisinage du point image $q$ , tel que chaque sous-espace $P_\ell$ soit donné par les équations $dy_i = 0$ ( $i \in I_\ell$ ), où $I_\ell$ sont des ensembles d'indices disjoints.

2. Forme standard des applications locales

Sous des coordonnées appropriées, le germe d'application possède la forme standard:

f_k^{(\ell)}(x_1^\ell,\ldots,x_m^\ell) & \text{si } k \in I_\ell \\ x_{\sigma_\ell(k)}^\ell & \text{si } k \in \bar{I}_\ell \end{cases}$$ ### 3. Réduction des équations de stabilité infinitésimale Par des techniques d'élimination, on réduit les systèmes complexes d'équations de stabilité infinitésimale à des formes plus simples, puis on les résout en utilisant la stabilité des germes d'application et le lemme de Mather. ## Résultats principaux ### Vérification des théorèmes L'article démontre avec succès l'équivalence des trois conditions: 1. Stabilité → Condition de transversalité orthogonale de Mather (via la théorie de la transversalité) 2. Condition de transversalité orthogonale de Mather → Stabilité infinitésimale (contribution technique principale) 3. Stabilité infinitésimale → Stabilité (Théorème fondamental de Mather) ### Corollaires importants **Corollaire 1.3**: Une application de Morin d'une variété compacte est stable si et seulement si elle satisfait la condition de transversalité orthogonale. Ce résultat: - N'était prouvé dans le livre Golubitsky-Guillemin que pour $\dim M = \dim N \leq 4$ et les applications de pliage - N'était prouvé dans le livre de Wall que pour $\dim N = 2$ - Cet article fournit une preuve complètement générale ## Travaux connexes ### Développement historique 1. **Série d'articles de Mather**: Cet article s'appuie sur la série d'articles de Mather publiés entre 1968 et 1970 sur la stabilité des applications $C^\infty$ 2. **Monographie Golubitsky-Guillemin**: Fournit une exposition systématique de la théorie des applications stables 3. **Contributions de Wall**: Développe la théorie connexe dans les cas de basse dimension ### Connexions techniques - **Théorie des singularités**: Étroitement liée à la théorie des singularités des applications différentiables d'Arnold-Gusein-Zade-Varchenko - **Théorie de la transversalité**: Utilise largement le théorème de transversalité des jets de Thom - **Outils algébriques**: Utilise le théorème de préparation de Malgrange et autres outils de géométrie algébrique ## Conclusion et discussion ### Conclusions principales 1. Fournit une preuve simplifiée et unifiée du théorème de stabilité de Mather 2. Clarifie les relations logiques entre les trois caractérisations équivalentes de la stabilité 3. Fournit une base théorique complète pour l'étude de la stabilité des applications de Morin ### Signification théorique - **Unification**: Unifie les résultats dispersés dans un cadre unique - **Simplicité**: Plus direct et compréhensible que la preuve originale - **Complétude**: Fournit une preuve complète de l'équivalence ### Valeur d'application Ce résultat constitue le point de départ pour l'étude des problèmes suivants: - Topologie globale des applications de variétés 4-dimensionnelles vers des variétés 3-dimensionnelles - Théorie des singularités des applications entre variétés de basse dimension - Problèmes de classification des applications stables ## Évaluation approfondie ### Avantages 1. **Rigueur mathématique**: Preuve complète et rigoureuse, logique claire 2. **Innovation technique**: Adaptation astucieuse des techniques existantes, simplification des preuves complexes 3. **Valeur théorique**: Fournit une nouvelle perspective de compréhension des résultats classiques 4. **Clarté de la rédaction**: Structure rationnelle, définitions précises des concepts ### Points forts techniques 1. **Construction de coordonnées**: Utilise astucieusement la condition de position générale pour construire des systèmes de coordonnées adaptés 2. **Réduction d'équations**: Transforme les systèmes d'équations complexes en formes résolubles par élimination 3. **Théorie des modules**: Application efficace des techniques de théorie des modules du lemme de Mather ### Limitations 1. **Degré d'innovation**: Principalement une nouvelle preuve de résultats existants, originalité limitée 2. **Difficulté technique**: Bien que simplifiée, la preuve nécessite toujours un bagage technique considérable 3. **Portée d'application**: Résultats principalement théoriques, applications directes relativement limitées ### Évaluation de l'impact 1. **Contribution théorique**: Fournit une compréhension plus claire de la théorie des applications stables 2. **Valeur pédagogique**: La preuve simplifiée facilite l'enseignement et la diffusion de cette théorie 3. **Base de recherche**: Fournit une base solide pour la recherche ultérieure sur les applications entre variétés de basse dimension ### Contextes d'application - Recherche théorique en topologie différentielle et théorie des singularités - Étude de la classification et des propriétés des applications entre variétés de basse dimension - Enseignement et apprentissage dans les domaines connexes ## Références bibliographiques L'article référence principalement les ouvrages classiques suivants: 1. Arnold, V. I., et al. - Théorie des singularités des applications différentiables 2. Golubitsky, M., Guillemin, V. - Applications stables et leurs singularités 3. Mather, J. N. - Série d'articles sur la stabilité des applications $C^\infty$ 4. Wall, C. T. C. - Topologie différentielle 5. Saeki, O. - Topologie des fibres singulières des applications différentiables --- **Évaluation globale**: Ceci est un article mathématique de haute qualité qui fournit une preuve plus concise et unifiée du théorème classique de stabilité de Mather par l'innovation technique. Bien qu'il s'agisse principalement d'une nouvelle exposition de résultats existants, son traitement technique et son intégration théorique possèdent une valeur académique importante, particulièrement pour l'enseignement de la théorie connexe et la recherche ultérieure.