О теореме Матера об устойчивости гладких отображений

Основная информация

• ID статьи: 2510.10305
• Название: On the Mather stability theorem for smooth maps
• Автор: Рустам Садыков (Kansas State University)
• Классификация: math.GT (геометрическая топология), math.DS (динамические системы)
• Дата публикации: 14 октября 2025 г.
• Ссылка на статью: https://arxiv.org/abs/2510.10305v1

Аннотация

В данной работе исследуется классическая теорема Матера об устойчивости гладких отображений. Матер доказал в 3, что гладкие собственные инфинитезимально устойчивые отображения являются устойчивыми, что является ключевой составной частью теоремы об устойчивости Матера 5. Эта теорема может быть переформулирована следующим образом: гладкое собственное отображение $f: M \to N$ устойчиво тогда и только тогда, когда оно инфинитезимально устойчиво, тогда и только тогда, когда оно удовлетворяет условию ортогональной трансверсальности Матера. Последнее условие грубо говоря означает, что все ростки отображения $f$ устойчивы и $f$ отображает слои особенностей отображения $f$ в $N$ взаимно трансверсальным образом. В работе адаптирован краткий аргумент из монографии Голубицкого и Гиллемина 2, из которого выводится теорема об устойчивости Матера из 5 на основе теоремы из 3.

Исследовательский контекст и мотивация

1. Исследуемая проблема: Работа направлена на предоставление упрощённого доказательства теоремы об устойчивости Матера, в частности на установление эквивалентности между устойчивостью, инфинитезимальной устойчивостью и условием ортогональной трансверсальности Матера.
2. Значимость проблемы:
   • Теорема об устойчивости Матера является фундаментальным результатом дифференциальной топологии, критически важным для понимания теории особенностей гладких отображений
   • Теорема играет ключевую роль в исследовании глобальной топологии отображений маломерных многообразий
   • Имеет важные приложения в исследовании отображений Морина и складок
3. Ограничения существующих методов:
   • Исходное доказательство Матера разбросано по нескольким статьям с комплексными техническими деталями
   • Требуется более прямой и унифицированный метод доказательства для понимания этих глубоких эквивалентностей
4. Исследовательская мотивация:
   • Упрощение существующих сложных доказательств для лучшего понимания
   • Предоставление теоретической базы для конкретных приложений, таких как исследование отображений 4-многообразий в 3-многообразия

Основные вклады

1. Упрощённый метод доказательства: Адаптирован аргумент из книги Голубицкого-Гиллемина, предоставляющий лаконичный вывод полной теоремы об устойчивости из фундаментальной теоремы Матера
2. Теоретическое объединение: Явно установлены логические связи между тремя эквивалентными условиями: устойчивость ↔ инфинитезимальная устойчивость ↔ условие ортогональной трансверсальности Матера
3. Технические инновации: Посредством леммы Матера и теории трансверсальности дана полная характеризация инфинитезимальной устойчивости
4. Расширение приложений: Особенно для отображений Морина даны необходимые и достаточные условия устойчивости (следствие 1.3)

Подробное описание методов

Формулировка основных теорем

Теорема 1.1 (Фундаментальная теорема Матера): Если $f$ собственно и инфинитезимально устойчиво, то $f$ устойчиво.

Теорема 1.2 (Теорема об устойчивости Матера): Пусть $f: M \to N$ — собственное отображение многообразия $M$. Тогда следующие три условия эквивалентны:

• $f$ устойчиво
• $f$ инфинитезимально устойчиво
• $f$ удовлетворяет условию ортогональной трансверсальности Матера

Определения ключевых понятий

1. Устойчивость отображения: Отображение $f: M \to N$ устойчиво, если существует открытая окрестность $E$ отображения $f$ такая, что каждое отображение в $E$ эквивалентно $f$ (посредством диффеоморфизмов)
2. Инфинитезимальная устойчивость: Для любого векторного поля $w$ вдоль $f$ существуют векторное поле $u$ на $M$ и векторное поле $v$ на $N$ такие, что $w = df(u) + v(f)$
3. Условие ортогональной трансверсальности Матера:
   • Все ростки отображения устойчивы
   • Для конечного набора различных точек $p_1,\ldots,p_s \in M$ с $f(p_1) = \cdots = f(p_s) = q$ подпространства $P_i = d_{p_i}f(T_{\Sigma_{p_i}(f)})$ находятся в общем положении в $T_qN$

Технические методы

1. Характеризация общего положения (лемма 2.1)

Для подпространств $P_1,\ldots,P_s \subset Q$ следующие условия эквивалентны:

• Подпространства находятся в общем положении: $Q = P_i + \bigcap_{j \neq i} P_j$
• Диагональное отображение $\Delta_\bullet: Q \to \bigoplus_i (Q/P_i)$ сюръективно
• Диагональное отображение $\Delta: Q \to \bigoplus_i Q$ трансверсально к $\bigoplus_i P_i$

2. Применение леммы Матера

Используя теорему подготовки Мальгранжа и лемму Накаямы, лемма Матера утверждает: $t_f(B) + w_f(A) + f^*(m_q)C = C \implies t_f(B) + w_f(A) = C$

где $t_f: B \to C$ и $w_f: A \to C$ определены соответственно как $t_f(\xi) = df(\xi)$ и $w_f(\eta) = \eta \circ f$.

Основная схема доказательства

Первый этап: Доказательство того, что устойчивые отображения удовлетворяют условию ортогональной трансверсальности Матера (посредством теоремы о трансверсальности многоструйных отображений)

Второй этап: Доказательство того, что отображения, удовлетворяющие условию ортогональной трансверсальности Матера, инфинитезимально устойчивы на каждом конечном подмножестве слоя

Третий этап: Использование теоремы 3.3 для вывода глобальной инфинитезимальной устойчивости из локальной

Четвёртый этап: Применение фундаментальной теоремы Матера (теорема 1.1) для вывода устойчивости из инфинитезимальной устойчивости

Технические инновации

1. Искусное построение систем координат

Для отображений, удовлетворяющих условию ортогональной трансверсальности, в окрестности образной точки $q$ строятся координаты $\{y_1,\ldots,y_n\}$ такие, что каждое подпространство $P_\ell$ задаётся уравнениями $dy_i = 0$ ($i \in I_\ell$), где $I_\ell$ — попарно непересекающиеся наборы индексов.

2. Стандартная форма локальных отображений

В подходящих координатах ростки отображения имеют стандартную форму: