CC BY
8УДК 517.938
О структуре пространства орбит каскадов Морса-Смейла сферы1
Е. Я. Гуревич, А. С. Смирнова
Национальный исследовательский университет Высшая Школа Экономики, Нижний Новгород 603005. E-mail: [email protected], [email protected]
Аннотация. В работе рассматривается класс диффеоморфизмов Морса-Смейла на сфере размерности четыре и выше, для которых инвариантные многообразия различных седловых периодических точек не пересекаются. Динамика произвольного такого диффеоморфизма может быть представлена как динамика "источник-сток", где "сток" ("источник") является связным объединением одномерного и нульмерного неустойчивых (устойчивых) инвариантых многообразий периодических точек. Изучается структура пространства орбит, принадлежащих области притяжения "стока" (области отталкивания "источника") и топология вложения в него сепаратрис седловых периодических точек коразмерности 1.
Ключевые слова: Каскады Морса-Смейла, пространство орбит, топологическая сопряженность, динамические системы Морса-Смейла.
On the structure of orbit space of Morse-Smale cascades on the sphere Sn
E. Ya. Gurevich, A. S. Smirnova
National Research University Higher School of Economics, Nizhny Novgorod 603005.
Abstract. In this paper, we consider the class of Morse-Smale diffeomorphisms on a sphere of dimension four and higher, for which the invariant manifolds of different saddle periodic points do not intersect. The dynamics of an arbitrary such diffeomorphism can be represented as a "sink-source" dynamics, where "sink" ("source") is a connected union of one-dimensional and zero-dimensional unstable (stable) invariant manifolds of periodic points. The structure of the space of orbits belonging to the region of attraction of the "sink" (the repulsion region of the "source") and the topology of the embedding of separatrices of saddle periodic points of codimension 1 are studied. Keywords: Morse-Smale cascades, orbit space, topological conjugacy, Morse-Smale dynamical systems.
MSC 2010: 37D15
1. Введение и формулировка результатов
Динамические системы, называемые сейчас системами Морса-Смейла, были введены С. Смейлом в 1960 г. в качестве претендента на класс всех структурно устойчивых систем в размерности, большей двух. Условия, выделяющие
1 Работа выполнена при финансовой поддержке РНФ (проект 17-11-01041) и в рамках выполнения программы фундаментальных исследований НИУ ВШЭ в 2018 году (проект Т-95)
© Е. Я. ГУРЕВИЧ, А. С. СМИРНОВА
этот класс, были сформулированы по аналогии с необходимыми и достаточными условиями грубости потоков на плоскости, найденными А. А. Андроновым и Л. С. Понтрягиным в 1937 году. Вскоре сам С. Смейл понял, что многомерные структурно-устойчивые системы устроены значительно сложнее и могут обладать счетным множеством гиперболических периодических траекторий. Однако, изучение систем Морса-Смейла является актуальной задачей, имеющей как самостоятельный интерес (для описания детерминированных процессов в естествознании), так и с точки зрения теории бифуркаций (для понимания переходных процессов).
Напомним, что диффеоморфизм f на замкнутом многообразии Мп называется диффеоморфизмом Морса-Смейла, если его неблуждающее множество Qf состоит из конечного числа гиперболических периодических точек и инварантные многообразия периодических точек пересекаются трансверсально (см., например, [12] для знакомства с основными понятиями, которые используются в определении).
Задача топологической классификации систем Морса-Смейла берет начало в классических работах Е. А. Леонтович и А. Г. Майера, посвященных классификации потоков на двумерной сфере с конечным числом особых траекторий. В работах М. Пейшото, А. А. Ошемкова, В. В. Шарко, Я. Л. Уманского и С. Ю. Пилюгина решалась аналогичная задача для потоков Морса-Смейла на многообразиях размерности 2, 3 и выше, а в работах А. Н. Безденежных, В. З. Гринеса, Х. Бонатти, Р. Ланжевена, О. В. Починки, Е. Я.Гуревич, В. С. Медведева, Е. В. Жужомы — для каскадов Морса-Смейла на многообразиях размерности 2 и выше (см. для ссылок обзор [5] и работу [2]).
Отметим, что для диффеоморфизмов Морса-Смейла на трехмерных многообразиях в настоящий момент получена полная топологическая классификация (О. В. Починка, В. З. Гринес, Х. Бонатти, Ф. Лауденбах). В размерности четыре и выше классификация получена лишь для частных случаев систем. В работе [2] получен полный топологический инвариант для класса О диффеомофизмов Морса-Смейла без гетероклинических пересечений на сфере Бп размерности п > 4. В работе [4] установлено, что инвариант, введенный в работе [2], можно существенно упростить для случая, когда неблуждающее множество диффеоморфизмов Морса-Смейла состоит только из неподвижных точек, сведя проблему классификации рассмотренных диффеоморфизмов к комбинаторной задаче. В настоящей работе делается первый шаг к описанию динамики диффеоморфизмов из класса О на комбинаторном языке, а именно, уточняется топология вложения сепаратрис коразмерности 1 в объемлющее многообразие. Точный результат заключается в теореме 1, формулировка которой приводится после введения необходимых понятий.
Пусть — множество всех периодических точек диффеоморфизма f Е О, размерность неустойчивого многообразия которых равна г Е {0,... , п}.
Представим сферу Бп в виде объединения попарно непересекающихся мно-
жеств
А; = ( и и П' ^ = ( и ТО и Щ, V; = ^ \ (А, и Я;). (1.1)
степ! аеЩ-1
Из [10] следует, что множества А;, Я;, V; связные, причем множество А; является аттрактором, Я; — репеллер диффеоморфизма /2, а множество V; состоит из блуждающих орбит, идущих от Я; к А;.
Обозначим через V; = V;/ ; пространство орбит ограничения диффеомофизма / на V;, через рг : V; ^ V — естественную проекцию. В силу [17] (Теорема 3.5.7, Предложение 3.6.7) является накрытием, а пространство V; является многообразием.
Обозначим через nf : п1(У;) ^ Z гомоморфизм, заданный следующим образом. Пусть с С V/ — не гомотопная нулю петля в V/ и [с] £ Пl(V^) — её гомотопический класс с. Выберем произвольную точку ж £ с, обозначим через р-1(х) ее полный прообраз и зафиксируем точку х £ р-1(х). Так как является накрывающим отображением, то существует единственный путь с(£), начинающийся в точке х(с(0) = ж) и накрывающий петлю с (то есть такой, что рр1,(с(£)) = с). Тогда существует такой номер п £ Z, что с(1) = /п(х). Положим ^([с]) = п. Из [6, Глава 18] следует, что гомоморфизм ^ является эпиморфизмом.
Напомним, что устоичивои (неустоичивои) сепаратрисой седловой точки а называется компонента связности множества \ а \ а). Для произвольной периодической точки а £ Щ и Пп-1 обозначим через ее период, через ¡а ее сепаратрису размерности (п — 1), положим Iа = р; (¡а) и обозначим через е* : п1(с) ^ ) эпиморфизм, индуцированный включением е : ^ V.
Будем говорить, что седловая точка а £ Щ и Пп-1 периода имеет тип ориентации +1 (—1), если ограничение /т" ¡щи сохраняет (меняет) ориентацию
'" а
Напомним, что п-шаром (п-диском) называется многообразие Вп, гомеоморф-ное стандартному шару Вп = {(х1,... ,хп) £ Еп | х^ + • • • + х] < 1}. Открытым п-шаром (п-диском) называется многообразие, гомеоморфное внутренности Вп и сферой Бп-1 называется многообразие, гомеоморфное границе ¡Зп-1 шара Вп.
Теорема 1. Пусть / £ С. Тогда
1. многообразие V; гомеоморфно прямому произведению ¡Зп-1 х ¡З1;
2. если множество Щ и Пп-1 содержит точку а отрицательного типа ориентации, то такая точка только одна и многообразие гомеоморфно обоб-
2 Множество A называется аттрактором диффеоморфизма f : Mn ^ Mn, если существует замкнутая окрестность U С Mn множества A такая, что f (U) С int U и A = р| f (U). Множество
n>0
R называется репеллером диффеоморфизма f, если оно является аттрактором для диффеоморфизма f -1.
щенной бутылке Клейна3;
3. для любой точки а Е Щ и Щ~1 положительного типа ориентации
r|f е* = таZ и многообразие 1а делит Vf на две компоненты связности таких, что замыкание по крайней мере одной из них гомеоморфно прямому произведению Вп-1 х З1.
2. Вспомогательные определения и факты
2.1. Свободные и разрывные действия группы преобразований
Напомним некоторые вспомогательные сведения о свойствах группы преобразований {дп,п Е Ъ}, являющейся бесконечной циклической группой, действущей свободно и разрывно на некотором топологическом (вообще говоря, некомпактном) многообразии X и порожденной гомеоморфизмом д : X ^ X.
Группа О действует на многообразии X, если задано отображение £ : Ох X ^ X, обладающее следующими свойствами:
1) £(е,х) = х для всех х Е X, где е — нейтральный (единичный) элемент группы О;
2) £(д, £(Н, х)) = £(дН, х) для всех х Е X и д,Н Е О.
Группа О действует свободно на многообразии X, если для любых различных д, Н Е X и любой точки х Е X выполняется неравенство £(д,х) = £(Н,х).
Группа О действует разрывно на многообразии X, если для каждого компактного подмножества К С X множество элементов д Е О таких, что £ (д, К) П К = 0 — конечно.
Будем обозначать через X/g пространство орбит действия группы {дп , п Е Ъ} и через '[)Хдд : X ^ X/g естественную проекцию. В силу [17, Теорема 3.5.7, Предложение 3.6.7] естественная проекция [Х/д: X ^ X/g является накрывающим отображением, а пространство X/g является многообразием.
Обозначим через пх/д : п^.^/д) ^ Ъ гомоморфизм, определенный следующим образом. Пусть с С X/g — не гомотопная нулю петля в X/g и [с] Е П1^/д) — класс гомотопической эквивалентности петли с. Выберем произвольную точку х Е с, обозначим через (х) полный прообраз точки х и зафиксируем точку х Е [—1 (х). Так как [х/д — накрытие, то существует единственный путь с(Ь) с началом в точке х (с(0) = х), накрывающий петлю с (то есть такой, что [х/д (с(1)) = с). Поэтому существует элемент п Е Ъ такой, что с(1) = fn(X). Положим пх/д([с]) = п. Из [6] (гл. 18) следует, что гомоморфизм пх/д является эпиморфизмом.
В силу [6, Теорема 5.5] (см. также [7, Предложения 1.2.3, 1.2.4]) справедливо следующее утверждение.
3Определение обобщенной бутылки Клейна дается в разделе 2.2
Утверждение 1. Пусть X, У — связные топологические многообразия и д : X ^ X, Н : У ^ У — гомеоморфизмы такие, что группы {дп, п Е Ъ}, {Нп, п Е Ъ} действуют свободно и разрывно на X, У соответственно. Тогда:
1) Если ф : X ^ У — гомеоморфизм, сопрягающий гомеоморфизмы Н и д, 'то отображение ф : X/g ^ У/Н, заданное (формулой фф = [у/н ф[—1д, является гомеоморфизмом; кроме того, пх/д = 'ЦУ/нФ*, где ф* : п^^^/д) ^ п1(У/Н) — гомоморфизм, индуцированный отображением ф.
2) Если у : X/g ^ У/Н — гомеоморфизм такой, 'что пх/д = 'ЦУ/н ф*, и х Е X/g, х Е [—1д (х), у = ф(х), у Е [-1у/к(у), то существует единственный гомеоморфизм ф : X ^ У, сопрягающий гомеоморфизм д и Н и такой, что ф(с) = у.
2.2. Канонические многообразия, связанные с гиперболическими неподвижными точками
Пусть ^ : Еп ^ Еп, V Е { — 1, +1} — линейное отображение евклидова пространства, заданное формулой
av (xi,...,xn) = [и 2 x1} 1Х2,..., 2 x^j. (2.1)
Для каждой периодической точки [ диффеоморфизма Морса - Смейла f : Мп ^ Мп обозначим через Ор её орбиту, через qp — размерность ее неустойчивого многообразия и через vp — тип ориентации.
В силу [12, предложение 2.1.1] верно следующее утверждение.
Предложение 1. Пусть f : Мп ^ Мп — диффеоморфизм Морса - Смейла, имеющий периодическую гиперболическую точку [ . Тогда существует гомеоморфизм Ф : Шри \ [ ^ Е9р \ {О}, удовлетворяющий условию ^ \ш?\р = Ф-1^Ф\Ши\р.
Положим Еп = Еп \ {О}. Фактор-пространство К+1 = Еп/а+1^ диффеоморфно прямому произведению Зп-1 х ¡З1. В дальнейшем будем отождествлять Зп-1 х ¡З1 с К+1. Фактор-пространство К-1 = Е/0— будем называть стандартной обобщенной п-мерной бутылкой Клейна. Многообразие, гомеоморфное К-1, будем называть обобщенной бутылкой Клейна. Каноническая проекция [а-1 : Е" ^ К. 1 индуцирует на Кп 1 структуру неориентируемого локально тривиального расслоения над З1 со слоем Зп-1. Отсюда следует, что К'п 1 является неориентируемым многообразием. Так как Е является для К универсальным накрытием, то фундаментальная группа п1(Кп) изоморфна группе Ъ (см. [6, следствие 19.4]).
Положим У™ = \ [ и = Vpu/f. Тогда из утверждения 1 и предложения1 вытекает следующее утверждение.
Предложение 2. Фактор-пространство У У' гомеоморфно
Обозначим через : Мга ^ Мга, V € {+1, — 1}, линейный автоморфизм евклидова пространства, определенный формулой
bv (xi,X2,... ,Xn) = (v 2xi,1X2,...,1 Xn-I,v 2 x^ (2.2)
. Начало координат О является единственной неподвижной точкой автоморфизм Ьи, причем О является гиперболической седловой неподвижной точкой, устойчивое многообразие которой Ш О совпадает с гиперплоскостью Х\ = 0, а неустойчивое многообразие совпадает с осью 0x1.
Положим и = {(х1,...,хп) € Мп | хП(х? + ... + хП_1) < 1}, О = {(Х1, ...,хп)1 х1 = 0}, N = и \ Оо, N = и \ 0х1, % = N7^, N = Пи/Ь„.
Пространство N будем называть канонической окрестностью многообразия ЩТ1. Непосредственно из определения вытекает следующее утверждение.
Предложение 3.
1. Многообразие N +1 состоит из двух компонент связности, каждая из которых гомеоморфна прямому произведению Вп_1 х З1.
2. Многообразие N. 1 гомеоморфно прямому произведению Вп_1 х З1.
3. Многообразие N+1 диффеоморфно прямому произведению К+Ц1 х [—1,1].
4. многообразие N11 является трубчатой окрестностью нулевого сечения неори-ентируемого одномерного векторного расслоения над КГ1, граница 5N_ диффеоморфна К+г1, причем если г* : п1 ^ ) — гомоморфизм, индуцированный включением, то (г*(п1(5N_))) = 2Z4
4Напомним, что локально тривиальным расслоением называется четверка £ = {Е, В, У,, п} где E,B,У — топологические пространства, п : E ^ B — непрерывное отображение такое, что многообразие B допускает открытое покрытие {V}, для каждого элемента которого V € {V} существует гомеоморфизм ф : п-1(и) ^ V х У такой, что если р1 : V х У ^ V — проекция на первый сомножитель (р1(х,у) = х), то п1 = Р1 ф1 _1(и)• Пространства Е,В и У назы-
ваются пространством, базой и слоем локально тривиального расслоения соответственно, пара (и,ф : п-1 (V) ^ V х У) — картой, {^,ф)} — атласом локально тривиального расслоения, максимальный атлас называется его структурой. Каждому замкнутому пути Л С В с началом и концом в точке х соответствует гомотопический класс гомеоморфизмов Т\ : £х ^ £х, индуцированный координатными преобразованиями при обходе петли, который называется преобразованием монодромии.
Векторным расслоением размерности п называется локально тривиальное расслоение £ = {Е,В, М",п} такое, что для любых двух карт (V, ф), (У,Ф) с множествами V,V, имеющими непустое пересечение в точке х, выполняется следующее условие: если фх = р2ф|п_1(х), фх = р2Ф1П_1 (х), то отображение ф-1фх : М" ^ М" линейно (здесь р2 : V х М" ^ М" — проекция на второй сомножитель). Слой £х = п-1(х) над точкой х € В наделяется такой структурой векторного пространства, по отношению к которой отображение фх : £х ^ М" является изоморфизмом векторных пространств. Нулевым сечением векторного расслоения называется образ С (В) С Е отображения £ : В ^ Е, сопоставляющее точке х € В нуль пространства £х.
Рис. 1. Фундаментальные области Ns,Nu действия диффеоморфизма Ь+1 на множества Ns, Nu
На рисунке 1 изображены окрестности N1, Nu и фундаментальные области
Ns = {(xi,...,xn) G Ns| J < + ••• + x2n < 1},Nu = {(xi,...,xn) G Nu||xi| G [1, 2]}
действия ограничения диффеоморфизма Ъ+1 на соответствующие окрестности5. Положим C = {{(x1,... ,xn) G Rn|4 < x2 + • • • + x2n < 1}. Множество N1 является объединением гиперплоскостей Lt = {(x1, ...,xn) G Ns|x^(x2 + • • • + xn) = G [—1,1]. Тогда фундаментальная область N+1 является объединением пар колец Kt = Lt П C ,t G [—1,1] и пространство N+1 может быть получено из N1 склеиванием компонент связности границы каждого кольца при помощи диффеоморфизма Ъ+1. Множество Nu состоит из двух компонент связности, каждая из которых гомеоморфна прямому произведению Bn_1 х [0,1]. Пространство N+1 может быть получено из Nu склеиванием диска B1 = {(x1,... ,xn) G Nu|x1 = 1} с диском B2 = {(x1,... ,xn) G Nu|x1 = 2} и диска B_1 = {(x1,... ,xn) G Nu|x1 = —1} с диском B_2 = {(x1,... , xn) G Nu|x1 = —2} при помощи диффеоморфизма Ъ+1.
Фундаментальной областью действия диффеоморфизма Ъ_1 на множество Nu является множество Nu1 = {(x1,... ,xn) G Nu||x1| G [1, 4]} Пространство Nu 1 может быть получено из N^1 склеиванием диска B1 = {(x1,... ,xn) G Nu|x1 = 1} с диском B4 = {(x1,... ,xn) G Nu|x1 = 4} при помощи диффеоморфизма Ъ_ 1. Структура векторного расслоения в пространстве орбит N11 определяется естественной проекцией одномерного слоения множества N1 прямыми, параллельными оси Ox1. Это расслоение неориентируемо, поскольку преобразование монодромии, соответствующее петле pav (lv), где lv — отрезок оси 0x1, соединяющий точку (0,... , 0,1) с точкой (0,... , 1/2), является меняющим ориентацию.
В силу [12, теорема 2.1.2] (см. также [3, Proposition 4.3]) справедливо следующее предложение.
5 Фундаментальной областью действия группы О на множество X называется замкнутое множество 1а С X, содержащее подмножество Iа со следующими свойствами: 1) с11а = 1а; 2)
д(1а) П Iа = 0 для любого д € О, отличного от нейтрального элемента; 3) и д(1 а) = X.
деО
Предложение 4. Для любого диффеоморфизма f € С существует система попарно непересекающихся окрестностей {Ма, а € ПЦ и П^1} таких, что для любой окрестности N а существует гомеоморфизм \а : N а ^ О, удовлетворяющий следующему соотношению:
1) если да = 1 то Xaf та N = Ка Ха N
, ^ т„! = Ь_1Х С аJ ииа Л а^е
-CT I ,
2) если qa = п - 1, то Xafma L = b-^Xa h
Будем называть окрестность Na, введенную в предложении 4, линеаризующей.
3. Доказательство основного результата
В этом разделе приводится доказательство теоремы 1, разбитое на несколько частей, оформленных как леммы.
Приведенное ниже вспомогательное предложение описывает основные свойства диффеоморфизмов из класса G. Первые два утверждения являются следствиями классических результатов теории систем Морса-Смейла, см., например, [15, Теорема 2.3], [12, Теорема 2.1], второе следует из [11, Теорема 1.3, Предложение 3.2] (см. также [3, Proposition 4.2]), третье является следствием из [9], [8], см. также [1, Лемма 3.2].
Предложение 5. Пусть f G G. Тогда:
1. Sn = и ws = и WU;
p&f p&Qf
2. множество седловых периодических точек состоит из точек, размерность неустойчивых многообразий которых равна 1 или (n — 1);
3. для любой точки р € ПЦ замыкание с1 ¡и компоненты связности I^ множества Ш'и \ р является объединением ¡^ и р и ш, где ш € ПО — стоковая точка, устойчивое многообразие которой содержит замыкание с1 Ш 5 устойчивого многообразия состоит из ШЦ и единственной источниковой точки а € Пп такой, что Ш 5 \ а С Ш'^;
4. для любой седловой точки а € ПЦ и П^ 1 замыкание ее инвариантного многообразия размерности (п — 1) является цилиндрически вложенной сферой6.
Докажем вначале, что пространство орбит V/ гомеоморфно прямому произведению Зп_1 х З1.
Обозначим через т/ минимальное натуральное число такое, что все периодические точки и сепаратрисы седловых периодических точек диффеоморфизма f являются неподвижными для диффеомофизма fmf.
Из [3, Лемма 3.1] следует справедливость следующего утверждения.
6Сфера 51" 1 С М" называется цилиндрически вложенной в многообразие М", если существует топологическое вложение к : З"-1 х [—1,1] ^ М" такое, что к(З"-1 х {0}) = £"-1.
Предложение 6. гомеоморфно Зп-1 х З1.
Следующее важное утверждение доказано в [13]7.
Утверждение 2. Пусть т : Зп-1 х З1 — Зп-1 х З1, п > 4, — инволюция, не имеющая неподвижных точек. Тогда фактор-пространство (Зп-1 х З1/ гомеоморфно одному из четырех .многообразий: Зп-1 х З1, неориентируемому расслоению Зп-1х З1 над окружностью со слоем Зп-1, прямому произведению З1 х КРп-1 или связной сумме КРп х КРп.
Лемма 1. V/ гомеоморфно Зп-1 х З1.
Доказательство. Из предложения 6 следует, что пространство V/ гомеоморфно прямому произведению Зп-1 х К, следовательно, является универсальным накрытием для V/. Тогда, в силу [6, следствие 19.4], фундаментальная группа п1(У/) изоморфна группе {¡п} = Z, следовательно, изоморфна группе Z. Так как f — сохраняющий ориентацию гомеоморфизм, то V/ ориентируемо.
Определим отображение тт/ : V/™f — V/тf соотношением тт/ = ¡р^, где
рт], : V/ — V/— естественная проекция8. Тогда тmf = и V = V//тт{.
Если т/ = 2, то из утверждения 2 непосредственно следует требуемый факт. Пусть т/ > 2 и г — такое число, что 2Г < т/ < 2Г+1. Положим дг = ¡2.
Обозначим через £ : V/mf — Зп-1 х З1 произвольный гомеоморфизм. Пусть ¿п-1 С V/ — сфера такая, что £pfmf = Зп-1 х {г}, где г € З1 — произвольная фиксированная точка. Тогда ¡г(Б0п-1) П ¿О-1 = 0 для любого г > т/, в частности, дг(¿о-1) П ¿о-1 = 0. Из теоремы о кольце следует, что множество К С V/, ограниченное сферами вп-1, дг(¿о-1, гомеоморфно прямому произведению Зп-1 х [0,1], поэтому пространство орбит У9г гомеоморфно Зп-1 хЗ1. Применяя аргументы, аналогичные приведенным выше и утверждение 2, получим, что пространство орбит Удг_1 гомеоморфно Зп-1 х З1. Если г = 1, то дг-1 = ¡ и доказательство закончено. Если г > 1, то продолжая процесс, за г — 1 шагов придем к требуемому утверждению.
□
Докажем второе утверждение теоремы 1.
Лемма 2. Множество ПЦ и содержит не более одной точки а отрица-
тельного 'типа ориентации, и многообразие 1а гомеоморфно обобщенной бутылке Клейна.
Доказательство. Предположим, что множество ПЦ и содержит точку а отрицательного типа ориентации периода та. Для определенности предположим,
7Аналогичное утверждение для случая п = 3 доказано в [16].
8Под рт\ (у) понимается полный прообраз точки у, то есть множество всех точек х € V/ таких,
что y = Pfm (х).
что а С Пу .В силу предложения 4 существует окрестность N а и гомеоморфизм Ха : Na ^ U такие, что fm"N = x-lb-XaN, поэтому одномерные сепаратрисы точки а имеют период 2та. Замыкание устойчивого многообразия точки а является локально-плоско вложенной (n — 1)-сферой, делящей сферу Sn на два открытых n-шара B\, B2, каждый из которых содержит одну одномерную сепаратрису точки а. Поэтому fma (Bi) = B2, fma (B2) = Bl. Отсюда следует, что любая периодическая точка, лежащая в шаре Bl (B2) имеет период, кратный 2та. Предположим, что имеется еще одна точка а* отрицательного типа ориентации с периодом mat. Так как а* С Bl U B2, то существует целое n такое, что таt = n2r а. Применяя к точке а* рассуждения, сделанные для точки а, получим, что существует целое k такое, что та = 2krat = 4knma, откуда 4nk = 1, что невозможно. Полученное противоречие доказывает, что множество седловых точек диффеоморфизма f содержит не более одной точки отрицательного типа ориентации. Тогда, если такая точка имеется, ее период равен 1, и, в силу предложения 2, соответствующее ей многообразие / а гомеоморфно обобщенной бутылке Клейна. □
Докажем третье утверждение теоремы 1.
Пусть Mn, Nк — многообразия (возможно, с непустым краем) такие, что группы nl(Mn),nl(Nк) изоморфны группе Z и Nк — топологическое подмногообразие многообразия Mn. Будем называть многообразие Nк т-существенным, если включение eNk : Nк ^ Mn индуцирует гомомофизм eY* : nl(Nк) ^ nl(Mn) такой, что (nl(Nк)) = mпl(Mn). Будем называть т-существенное многообразие в, гомеомофное окружности Sl, т-существенным узлом.
Пусть в G Mn — т-существенный узел и h : Вп-1 х Sl ^ Mn — топологическое вложение такое, что h({O} х Sl) = в. Многообразие Np = h(Bn-l х Sl) будем называть трубчатой окрестностью узла в.
Следующее предложение доказывается аналогично [3, Propositions 5.1, 5.3].
Предложение 7. Пусть Mn — либо §п-1 х Sl, либо Вп-1 х Sl, в, в' G Mn — т-существенные узлы, Np, Np — их трубчатые окрестности. Тогда:
1. существует гомеоморфизм ф : Mn ^ Mn такой, что ф(в) = в';
2. множества Mn \ int Np, Mn \ int N^ гомеоморфны.
Следующее утверждение доказано в [14, Theorem 2].
Утверждение 3. Пусть ф : Sn-2 х Sl ^ Sn-2 х Sl — произвольный гомеоморфизм. Тогда существует гомеоморфизм Ф : Вп-1 х Sl ^ Вп-1 х Sl такой, что
Ф| 9 1 = Ф| 9 1 .
Следствие 1. Пусть Mn — либо §п-1 х Sl, либо Вп-1 х Sl, Q — многообразие, полученное удалением из Mn внутренности трубчатой окрестности G Mn т-существенного узла и вклеиванием Вп-1 х Sl по произвольному меняющему естественную ориентацию края гомеорфизму ф : dNp ^ Sn-2 х Sl. Тогда Q гомеоморфно Mn.
Доказательство. Положим N' = Mn \ int Nß, тогда Q = N' иф Bn-1 х S1 и для любого подмножества X G N' U Bn-1 х S1 определена проекция п : X — Q. Положим ф = ^_1п_1|^(§п-2х§1). Согласно предложению 3 гомеоморфизм ф может быть продолжен до гомеоморфизма Ф : n(Bn-1 х S1) — Nß. Тогда отображение H : Q — Mn, определенное как H(x) = n-1(x) = x для любой точки x G n(int N'), и H(x) = Ф(х) для любой точки x G n(Bn-1 х S1), является искомым гомеоморфизмом. □
Лемма 3. Для любой точки а G Щ U Пn-1 положительного типа ориентации
nf e* = maZ и многообразие 1а делит Vf на две компоненты связности таких, что замыкание по крайней мере одной из них гомеоморфно прямому произведению Bn-1 х S1.
Доказательство. Пусть а G ПЦ — седловая периодическая точка положительного типа ориентации периода ra. Из предложений 1,2 и определения эпиморфизма nf следует, что многообразие lа гомеоморфно прямому произведению Sn-1 х S1 и nf e* = maZ. Покажем, что многообразие la делит Vf на две компоненты связности и замыкание по крайней мере одной из них гомеоморфно прямому произведению Bn-1 х S1.
Обозначим через |Qf | количество всех точек, составляющих множество Qf.
Из предложения 5 следует, что замыкание устойчивого многообразия любой точки а G ПЦ делит сферу Sn на два шара, поэтому: 1) одномерные сепаратрисы точки а содержатся в устойчивых многообразий двух различных стоковых точек; 2) совокупность всех замыканий устойчивых многообразий точек из множества ПЦ делит сферу Sn на |ПЦ | + 1 компонент связности, каждая из которых содержит в точности одну стоковую точку, следовательно |П01 = |ПЦ | + 1; 3) если у диффеоморфизма f имеется седловая точка отрицательного типа ориентации, то она делит аттрактор Af на два симметричных подмножества периода 2.
Кроме того, из предложения 5 следует, что аттрактор Af является носителем связного графа, вершинами которого являются стоковые периодические точки, а ребрами — неустойчивые многообразия седловых точек из множества Qf. Из соотношения |П01 = |Qf | + 1 следует, что этот граф является деревом, и аттрактор Af не содержит подмножеств, гомеоморфных окружности. Кроме того, найдется по крайней мере одна стоковая вершина ш, в бассейне которой лежит в точности одна неустойчивая одномерная сепаратриса седловой периодической точки. Обозначим эту точку через а и через через l-, l+ ее одномерные сепаратрисы. Пусть 1+ С W*.
Возможны 2 случая: 1) множество ПЦ состоит только из точек положительного типа ориентации; 2) множество ПЦ содержит точку а* (возможно, совпадающую с а)отрицательного типа ориентации.
Рассмотрим случай 1). Тогда ma = тш, а совокупность cl WS^ замыканий устойчивых многообразий седловых периодических точек, составляющих орбиту точки а, делит сферу Sn-1 на та + 1 компонент связности, составляющих два f-инвариантных множества D+ = WS и D- = Sn \ cl D+. Так как аттрактор Af одномерный и удаление одномерного множества из многообразия размерности n >
2 не увеличивает числа компонент связности, то проекция Iа множества W' \ Оа делит Vf на две компоненты связности D + = pf (D+ \ Af) и D- = pf (D- \ Af).
Покажем, что замыкание cl D + = D + UIа множества D + гомеоморфно прямому произведению B"-1 х S1.
Пусть N а — линеаризующая окрестность седловой точки а, положим N' = N \ W', = N \ N' = Ns/f, N'u = N'u/f и обозначим через ком-
поненту связности множества NU, имеющую непустое пересечение с множеством D+. Из предложений 3,4 следует, что множество cl D + П N' гомеоморфно прямому произведению S"-2 х S1 х [0,1], поэтому множество cl D + гомеоморфно множеству D + \ int N'. Отметим, что D+ \ int N' = NL \ int NU+. Из определения эпиморфизма Пх/д следует, что пространство NL гомеоморфно прямому произведению S"-1 х S1, а дуга / + = p$s (Oi+) вложена в N'^ таким образом, что отображение включения индуцирует изоморфизм групп п1(1+), n1(V<O)^ ). Из предложения 7 следует, что замыкание дополнения до произвольной замкнутой трубчатой окрестности дуги (l+) в N гомеоморфно прямому произведению B"-1 х S1, откуда
следует, что множество D + \ int N', а, следовательно, и множество cl D + гомеоморфно B"-1 х S1.
Если множество точек П^ не исчерпывается орбитой точки а, то положим Af =
Af \ WOCT, V' = ( U Vps) \ (J Vqu. Тогда V' U U V' = Vf \ (J V' U (J У? =
peAf qeAf reoш peoa peoa
Vf \ U int Np U U Npu, и V} = V'/f = N \ int N' U^ N^, где ф : dN' ^ dN^ — peoa peoa
1
гомеоморфизм, определяемый формулой ф = pfjup-1 \ef^.s.
Положим NU- = Nu \ Nu+, Q- = D- \ int NS) Uv Nu_, Q+ = (D + \ int NS) Uv Nu+. Тогда Vf = Q+ U Q-. По определению Q+ = (WO^ \ Ош)/f, следовательно, гомеоморфно S"-1 х S1. В силу следствия 1 Q- также гомеоморфно S"-1 х S1.
Так как множество Af является связным аттрактором и носителем связного графа, являющегося деревом, то найдется стоковая точка ш' С Af, для которой существует единственная точка а' £ Af, чья одномерная сепаратриса принадлежит W. Применим к точке а' те же рассуждения, что и для точки а, и получим, что множество pq_ (V') делит Q- на две компоненты связности, замыкание по крайней мере одной из которых, обозначим ее D +, гомеоморфно B"-1 х S1.
Если D + С D-, то / а/ ограничивает в Vf множество D + и утверждение доказано для точки а'. Если D + nD + = 0, то lа/ ограничивает в N множество, полученное из D + удалением внутренности трубчатой окрестности ша=существенного узла N' -и вклеиванием гомеоморфного этой окрестности множества. Тогда, в силу следствия 1 проекция / а/ также ограничивает в Vf множество, гомеоморфно B"-1 х S1. Если множество П^ не исчерпывается орбитами точек а, а', продолжим процесс деления аттрактора Af и через конечное число шагов получим требуемое утверждение. Доказательство для точек а £ П"-1 проводится аналогично переходом от
f к f-1.
Рассмотрим случай 2). В этом случае множество cl WS делит сферу Sn на две компоненты связности D*, f (D*) периода 2. Аналогично доказательству леммы 1, показывается, что пространство орбит D* = (D*\{Af ПRf ))/f гомеоморфно Sn-1 х S1. Положим Af = Af \ Wl, Vf = ( U Vps) \ U Vf, VNf = Vf*/f. Так как Vf \
P&A* q&A*
WS гомеоморфно Vf \ int , то Vf \ lat гомеоморфно Vif \ int Nf. Поскольку Vf \ int N^ = (D* \ (Af П Rf)) \ int Nf, то ввиду предложений 3,7, многообразие Vf \ int N%t гомеоморфно прямому произведению Bn-1 х S1. Теперь, применяя рассуждения из рассмотрения случая 1), получим требуемое утверждение.
□
Список цитируемых источников
1. ГринесВ. З, ГуревичЕ. Я., Медведев В. С. Граф Пейкшото диффеоморфизмов Морса-Смейла на многообразиях размерности, большей трех // Труды СВМО. — 2008. — 261(1). — С. 59-83.
GrinesV. Z., GurevichE. Ya., MedvedevV. S. Peixoto graph of Morse-Smale diffeomorphisms on manifolds of dimension greater than three. Trudy Matematicheskogo Instituta imeni V.A. Steklova 261(1), 59-83 (2008).
2. ГринесВ. З, ГуревичЕ. Я., Медведев В. С. О топологической классификации диффеоморфизмов Морса-Смейла с одномерным множеством неустойчивых сепаратрис на многообразиях размерности большей 3 // Труды математического института им. В. А. Стеклова — 2010. — 270. — С. 62-86.
GrinesV. Z., GurevichE. Ya., MedvedevV. S. Classification of Morse-Smale diffeomorphisms with one-dimensional set of unstable separatrices. Trudy Matematicheskogo Instituta imeni V.A. Steklova 270, 62-86 (2010). (in Russian)
3. ГринесВ. З, ГуревичЕ. Я., Починка O. В. О включении диффеоморфизмов Мор-са-Смейла на 3-многообразии в топологический поток // Математический сборник. — 2016. — 71. — С. 164.
GrinesV. Z., GurevichE. Ya., PochinkaO.V. On embedding of multidimensional Morse-Smale diffeomorphisms in topological flows. Russian Mathematical Surveys 71, 164 (2016).
4. ГринесВ. З, ГуревичЕ. Я., Починка O. В. Комбинаторный инвариант для каскадов Морса-Смейла без гетероклинических пересечений на сфере Sn, n > 4 // Математические заметки — 2019. (в печати)
GrinesV. Z., GurevichE. Ya., PochinkaO.V. Combinatorial invariant for Morse-Smale cascades without heteroclinic intersections on the sphere Sn, n > 4. Mathematical Notes (2019). (in press)
5. ГринесВ. З, Починка O. В. Каскады Морса-Смейла на 3-многообразиях // УМН. — 2013. — 68(1). — С. 129-188.
GrinesV. Z., PochinkaO. V. Morse-Smale cascades on 3-manifolds. Russian Mathematical Surveys 68(1), 129-188 (2013).
6. Косневски Ч. Начальный курс алгебраической топологии — Москва: Мир, 1983 — С. 304.
Ch. ,Kosnevsky The first course of algebraic topology. Moscow: Mir (1983)
7. Bonatti Ch., Grines V. Z., Pochinka O. V. Classification of Morse-Smale diffeomorphisms with a finite set of heteroclinic orbits on 3-manifolds. Proc. Steklov Inst. Math. 3(250), 1-46 (2005).
8. Brown M. Locally Flat Embeddings of Topological Manifolds. Annals of Mathematics Second Series 75(2), 331-341 (1962).
9. CantrellJ. C. Almost locally flat sphere Sn-1 in Sn. Proceeding of the American Mathematical society 15(4), 574-578 (1964).
10. Grines V.Z., ZhuzhomaE. V., Medvedev T. V., Pochinka O.V. Global attractor and repeller of Morse-Smale diffeomorphisms. Tr. Mat. Inst. Steklova 271( Differentsial'nye Uravneniya i Topologiya. II), 111-133 (2010).
11. Grines V. Z., Medvedev T. V., Pochinka O. V. Topological classification of Morse-Smale diffeomorphisms without heteroclinic intersections. Journal of Mathematical Sciences 208(208), 81-90 (2015).
12. Grines V. Z., GurevichE. Ya., Pochinka O. V. Dynamical Systems on 2- and 3-Manifolds. Switzerland Springer International Publishing, 295, 2016.
13. JahrenB, KwasikS. Free involutions on S1 x Sn. Math. Ann. 351(2), 281-303 (2011).
14. MaxN. Homeomorphisms of Sn x S1. Bull. Amer. Math. Soc. 73(6), 939-942 (1967).
15. SmaleS. Differentiable dynamical systems. Bull. Amer. Math. Soc. 73(6), 747-817 (1967).
16. Tollefson J. Involutions on S1 x S2 and other 3-manifolds. Trans. Amer. Math. Soc. 183, 139-152 (1973).
17. Thurston W. Three-Dimensional Geometry and Topology. Princeton University Press 1, 1997.
Получена 08.05.2018
