Sobre el teorema de estabilidad de Mather para aplicaciones suaves

Información Básica

• ID del artículo: 2510.10305
• Título: On the Mather stability theorem for smooth maps
• Autor: Rustam Sadykov (Kansas State University)
• Clasificación: math.GT (Topología Geométrica), math.DS (Sistemas Dinámicos)
• Fecha de publicación: 14 de octubre de 2025
• Enlace del artículo: https://arxiv.org/abs/2510.10305v1

Resumen

Este artículo estudia el teorema clásico de Mather sobre la estabilidad de aplicaciones suaves. Mather demostró en 3 que las aplicaciones propias infinitesimalmente estables suaves son estables, resultado que constituye un componente clave del teorema de estabilidad de Mather 5. Este teorema puede reformularse como: una aplicación propia suave $f: M \to N$ es estable si y solo si es infinitesimalmente estable si y solo si satisface la condición de transversalidad ortogonal de Mather. Esta última condición significa, en términos generales, que todos los gérmenes de aplicación de $f$ son estables y que $f$ mapea las capas singulares de $f$ a $N$ de manera mutuamente transversal. El artículo adapta un argumento breve de la obra 2 de Golubitsky y Guillemin para derivar el teorema de estabilidad de Mather de 5 a partir del teorema en 3.

Contexto e Motivación de la Investigación

1. Problema de investigación: El artículo proporciona una demostración simplificada del teorema de estabilidad de Mather, en particular estableciendo la equivalencia entre estabilidad, estabilidad infinitesimal y la condición de transversalidad ortogonal de Mather.
2. Importancia del problema:
   • El teorema de estabilidad de Mather es un resultado fundamental en topología diferencial, crucial para comprender la teoría de singularidades de aplicaciones suaves
   • Este teorema juega un papel clave en el estudio de la topología global de aplicaciones entre variedades de baja dimensión
   • Tiene aplicaciones importantes particularmente en el estudio de aplicaciones de Morin y aplicaciones de pliegue
3. Limitaciones de métodos existentes:
   • La demostración original de Mather está dispersa en múltiples artículos con detalles técnicos complejos
   • Se requiere un método de demostración más directo y unificado para comprender estas equivalencias profundas
4. Motivación de la investigación:
   • Simplificar las demostraciones existentes complejas para hacerlas más accesibles
   • Proporcionar una base teórica para aplicaciones concretas como el estudio de aplicaciones de 4-variedades a 3-variedades

Contribuciones Principales

1. Método de demostración simplificado: Adapta el argumento del libro de Golubitsky-Guillemin para proporcionar una derivación concisa del teorema de estabilidad completo a partir del teorema fundamental de Mather
2. Unificación teórica: Establece explícitamente las relaciones lógicas entre tres condiciones equivalentes: estabilidad ↔ estabilidad infinitesimal ↔ condición de transversalidad ortogonal de Mather
3. Innovación técnica: Proporciona una caracterización completa de la estabilidad infinitesimal mediante el lema de Mather y la teoría de transversalidad
4. Extensión de aplicaciones: Proporciona condiciones necesarias y suficientes para la estabilidad de aplicaciones de Morin (Corolario 1.3)

Explicación Detallada de Métodos

Enunciado de Teoremas Centrales

Teorema 1.1 (Teorema Fundamental de Mather): Si $f$ es propia e infinitesimalmente estable, entonces $f$ es estable.

Teorema 1.2 (Teorema de Estabilidad de Mather): Sea $f: M \to N$ una aplicación propia de una variedad $M$. Entonces las siguientes tres condiciones son equivalentes:

• $f$ es estable
• $f$ es infinitesimalmente estable
• $f$ satisface la condición de transversalidad ortogonal de Mather

Definiciones de Conceptos Clave

1. Estabilidad de aplicaciones: Una aplicación $f: M \to N$ es estable si existe una vecindad abierta $E$ de $f$ tal que cada aplicación en $E$ es equivalente a $f$ (mediante difeomorfismos)
2. Estabilidad infinitesimal: Para cualquier campo vectorial $w$ a lo largo de $f$, existen un campo vectorial $u$ en $M$ y un campo vectorial $v$ en $N$ tales que $w = df(u) + v(f)$
3. Condición de transversalidad ortogonal de Mather:
   • Todos los gérmenes de aplicación son estables
   • Para un número finito de puntos distintos $p_1,\ldots,p_s \in M$ satisfaciendo $f(p_1) = \cdots = f(p_s) = q$, los subespacios $P_i = d_{p_i}f(T_{\Sigma_{p_i}(f)})$ están en posición general en $T_qN$

Métodos Técnicos

1. Caracterización de Posición General (Lema 2.1)

Para subespacios $P_1,\ldots,P_s \subset Q$, las siguientes condiciones son equivalentes:

• Los subespacios están en posición general: $Q = P_i + \bigcap_{j \neq i} P_j$
• La aplicación diagonal $\Delta_\bullet: Q \to \bigoplus_i (Q/P_i)$ es sobreyectiva
• La aplicación diagonal $\Delta: Q \to \bigoplus_i Q$ es transversal a $\bigoplus_i P_i$

2. Aplicación del Lema de Mather

Utilizando el teorema de preparación de Malgrange y el lema de Nakayama, el lema de Mather afirma: $t_f(B) + w_f(A) + f^*(m_q)C = C \implies t_f(B) + w_f(A) = C$

donde $t_f: B \to C$ y $w_f: A \to C$ se definen por $t_f(\xi) = df(\xi)$ y $w_f(\eta) = \eta \circ f$ respectivamente.

Esquema Principal de la Demostración

Paso 1: Demostrar que las aplicaciones estables satisfacen la condición de transversalidad ortogonal de Mather (mediante el teorema de transversalidad de multijet)

Paso 2: Demostrar que las aplicaciones satisfaciendo la condición de transversalidad ortogonal de Mather son infinitesimalmente estables en cada subconjunto finito de la fibra

Paso 3: Utilizar el Teorema 3.3 para derivar la estabilidad infinitesimal global a partir de la estabilidad infinitesimal local

Paso 4: Aplicar el teorema fundamental de Mather (Teorema 1.1) para obtener la estabilidad a partir de la estabilidad infinitesimal

Puntos de Innovación Técnica

1. Construcción Ingeniosa de Sistemas de Coordenadas

Para aplicaciones satisfaciendo la condición de transversalidad ortogonal, se construyen coordenadas $\{y_1,\ldots,y_n\}$ cerca del punto imagen $q$, tales que cada subespacio $P_\ell$ está dado por ecuaciones $dy_i = 0$ ($i \in I_\ell$), donde $I_\ell$ son conjuntos de índices disjuntos.

2. Forma Estándar de Aplicaciones Locales

Bajo coordenadas apropiadas, los gérmenes de aplicación tienen la forma estándar: