Особенности дифференцируемых отображений Том 1 - Арнольд В.И.
Скачать (прямая ссылка):
5) Если Z1, /а?/(л, р) таковы, что f{r), /W ? Vi, то f1 и /2 обладают топологически эквивалентными топологически версальными деформациями.
4°. Условия топологической эквивалентности. Наиболее известным результатом, в котором приводятся условия, достаточные для топологической эквивалентности, яв-
ЛЯ6ТСЯ
Теорема (см. [141], [181]). Пусть /,: (С, 0) (С, 0) — семейство ростков голоморфных отображений, гладко зависящих от параметра s ? Rp. Предположим, что для любого s число Милнора р., ростка f s конечно и р., не зависит от s. Предположим еще, что п =^= 3. Тогда все ростки fs топологически эквивалентны.
Условие п =^ 3 является результатом использования в доказательстве теоремы об А-кобордизме.
Другие топологические инварианты исследовались М. Фукуда, Т. Фукуда и Дж. Дамоном.
Сформулируем теорему М. Фукуда и Т. Фукуда. Пусть / = = (fj, ¦ . ., fp): (R", 0)-*(Rp, 0) — росток гладкого отображения; обозначим через Q (/) = Cco (Rn)Kf1,. ¦ .,fp) ассоциированную R-алгебру (см. л. 4. 2).
Теорема. Если ассоциированные R-алгебры Q(f) и Q (g) топологически устойчивых ростков /: (R", 0) (Rp, 0), g: (Rn, 0) -> (Rp, 0) изоморфны, то ростки /, g топологически эквивалентны.
Отметим, что существуют дифференцируемо устойчивые ростки / и g, которые не дифференцируемо эквивалентны (т. е. Q (f)=^Q (g)), но которые топологически эквивалентны.
Сформулируем теорему Дж. Дамона. Определим функцию Гильберта—Самюэля h R-алгебры Q (/) формулой
h (k) = dimR Q (/)/tnfc+1 142
ОСНОВНЫЕ понятия
[ГЛ. I
где m — максимальный идеал R-алгебры Q (/). Назовем росток / У-простым, если малые деформации ростка / содержат только конечное число типов У-эквивалентности.
Теорема. 1. Для С^-устойчивьгх ростков /: Rn Rp (п ^ р) топологическими инвариантами являются: а) тип Е* Тома—Боардмана-, б) если р^ п-\- Cf, то тип E*-^ Тома—Боардмана.
2. Для Cco -устойчивых У-простых ростков /: Rn -> R* (п ^ р) топологическим инвариантом является функция Гильберта — Самюэля R-алгебры Q (/).
Дж. Дамон утверждает, что в некоторых случаях топологическим инвариантом является комплексный тип R-алгебры Q (/).
5°. Другие вопросы. К топологической теории особенностей относятся также глобальные вопросы, например, связи теории особенностей с характеристическими классами, изучение которых было начато еще в классических работах Уитни и Пон-трягина. Мыце'останавливаемся на этих очень интересных вопросах, где еще много предстоит сделать (в особенности для лагран-жевых и лежандровых отображений), так как эта книга посвящена локальной "теории особенностей. 1
Следующий частный "результат является, так сказать, полулокальным. Рассмотрим~семейство гладких функций / на замкнутом многообразии, зависящих от я-мерного параметра у, и образуем функцию максимума F (у) =max / (х, у). Для общих семейств
x
с не более чем шестимерным параметром функция F, как доказала JI. Н. Брызгалова (см. [28], [29]), топологически эквивалентна морсовской функции. В. И. Матов доказал это при всех п.
В. И. Матов доказал также топологическую^морсовость^функ-ции min max f(x, у, z) для / общего положения.
V X ГЛАВА Ii
КРИТИЧЕСКИЕ ТОЧКИ ГЛАДКИХ ФУНКЦИЙ
Функции общего положения имеют лишь невырожденные критические точки. Однако при исследовании семейств функций появляются (неустранимым малыми шевелениями образом) и простейшие вырождения. Например, семейство / (я, t) =з?—tx имеет при нулевом значении параметра t вырожденную критическую точку, и всякое близкое семейство имеет при близком значении параметра такое же вырождение. При большем числе параметров появляются более сложные вырождения.
Задача классификации всех этих вырождений на первый взгляд кажется безнадежной. Однако, когда был вычислен начальный отрезок этой классификации, то выяснилось, что он устроен достаточно просто: классификация простейших вырождений оказалась связанной с классификацией простых групп Ли, с теорией групп, порожденных отражениями, с теорией кос и с классификацией правильных многогранников в обычном трехмерном пространстве.
В этой главе описан начальный отрезок классификации критических точек функций, включая классификации простых (или О-модальных), унимодальных и бимодальных особенностей, а также классификацию всех особенностей кратности р. ^ 16.
Число V классов (стабильной ^.-эквивалентности, определенной ниже) комплексных особенностей кратности р. дается при р. 16 следующей таблицей:
f* 1 2I 3 4 5 6 7 8 9 I 10 И 12 13 14 15 16
V 1 1 1 2 2 3 3 4 4 j 7 11 15 14 17 22 32
Множество нерасклассифицированных особенностей имеет коразмерность 11, так что расклассифицированы все критические точки, встречающиеся в общих семействах функций, зависящих не более чем от 10 параметров.
Классификация простейших особенностей дискретна, но сильно вырожденные особенности имеют модули.
Модальностью т точки х(*Х при действии группы Ли G на многообразии X называется наименьшее число такое, что достаточно малая окрестность точки х покрыта конечным числом m-параметрических семейств орбит. Точка х называется простой, если ее модальность равна 0, т. е. если ее окрестность пересекается с конечным числом орбит. 142
