Теоретическая и математическая физика
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов
Лицензионный договор
Загрузить рукопись

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



ТМФ:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Теоретическая и математическая физика, 2023, том 215, номер 2, страницы 311–317
DOI: https://doi.org/10.4213/tmf10389
(Mi tmf10389)
 

Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Минимизация числа гетероклинических кривых 3-диффеоморфизма с неподвижными точками, имеющими попарно различные индексы Морса

О. В. Починкаa, Е. А. Талановаab

a Национальный исследовательский университет – Высшая школа экономики в Нижнем Новгороде, Нижний Новгород, Россия
b Нижегородский государственный университет им. Н. И. Лобачевского, Нижний Новгород, Россия
Список литературы:
Аннотация: Рассмотрены 3-диффеоморфизмы Морса–Смейла, неблуждающее множество которых состоит в точности из четырех неподвижных точек с попарно различными индексами Морса. На сегодняшний день открытым является вопрос о том, какие замкнутые 3-многообразия допускают такие диффеоморфизмы. Известно, что множество этих многообразий содержит все линзовые пространства. Более того, на всех многообразиях, кроме $\mathbb{S}^2\times\mathbb{S}^1$, рассматриваемые диффеоморфизмы имеют гетероклинические кривые. Установлено, что число гетероклинических кривых диффеоморфизма на заданном многообразии можно минимизировать, сведя его к конечному числу некомпактных гетероклинических кривых, являющихся ориентируемым пересечением инвариантных седловых многообразий. Полученный результат позволит в дальнейшем дать исчерпывающее описание замкнутых 3-многообразий, допускающих рассматриваемые диффеоморфизмы.
Ключевые слова: гетероклинические кривые, ориентируемое пересечение, диффеоморфизмы Морса–Смейла.
Финансовая поддержка Номер гранта
Российский научный фонд 22-11-00027
Министерство науки и высшего образования Российской Федерации 075-15-2019-1931
Исследование поддержано грантом РНФ (договор 22-11-00027), кроме результатов раздела 2, полученных при поддержке международной лаборатории динамических систем и приложений НИУ ВШЭ (№ 075-15-2019-1931).
Поступило в редакцию: 24.10.2022
После доработки: 12.12.2022
Англоязычная версия:
Theoretical and Mathematical Physics, 2023, Volume 215, Issue 2, Pages 729–734
DOI: https://doi.org/10.1134/S0040577923050112
Реферативные базы данных:
Тип публикации: Статья
MSC: 37C15

1. Введение и формулировка результатов

В настоящей работе рассмотрен класс $G$ сохраняющих ориентацию диффеоморфизмов Морса–Смейла, заданных на замкнутом 3-многообразии, неблуждающее множество которых состоит в точности из четырех неподвижных точек с попарно различными индексами Морса. Известно [1], что инвариантные многообразия седловых точек рассматриваемого диффеоморфизма могут быть дико вложенными (см. рис. 1). Из-за этого топология многообразий, допускающих такие диффеоморфизмы, до сих пор не изучена и является открытой проблемой. В случае ручного вложения седловых сепаратрис несущим многообразием рассматриваемых диффеоморфизмов являются линзовые пространства [2]. В работе [3] было доказано, что для любого диффеоморфизма $f\in G$, заданного на многообразии, отличном от линзы $\mathbb{S}^2\times\mathbb{S}^1$, множество гетероклинических кривых непусто и содержит как минимум одну некомпактную кривую.

Все гетероклинические кривые диффеоморфизма $f\in G$ принадлежат двумерному устойчивому многообразию $W^{\mathrm s}_{\sigma^1_f}$ седловой точки $\sigma^1_f$ с индексом Морса 1 и двумерному неустойчивому многообразию $ W^{\mathrm u}_{\sigma^2_f}$ седловой точки $\sigma^2_f$ с индексом Морса 2. Положим

$$ \begin{equation*} H_f=W^{\mathrm s}_{\sigma^1_f}\cap W^{\mathrm u}_{\sigma^2_f}. \end{equation*} \notag $$
Если гетероклиническая кривая $\gamma\subset H_f$ некомпактна, то она содержит вместе с любой точкой $x\in\gamma$ точку $f(x)$. Будем считать кривую $\gamma$ ориентированной в направлении от $x$ к $f(x)$. Также зафиксируем ориентацию на многообразиях $W^{\mathrm s}_{\sigma^1_f}$ и $W^{\mathrm u}_{\sigma^2_f}$. Для некомпактной гетероклинической кривой $\gamma$ обозначим через $v_\gamma=(\vec v^{\,1}_\gamma,\vec v^{\,2}_\gamma,\vec v^{\,3}_\gamma)$ тройку векторов с началом в точке $x\in\gamma$, таких что $\vec v^{\,1}_\gamma$ – вектор нормали к $W^{\mathrm s}_{\sigma^1_f}$, $\vec v^{\,2}_\gamma$ – вектор нормали к $W^{\mathrm u}_{\sigma^2_f}$ и $\vec v^{\,3}_\gamma$ – касательный вектор к ориентированной кривой $\gamma$. Назовем $v_\gamma$ репером некомпактной гетероклинической кривой $\gamma$. Очевидно, что ориентация (правая или левая) репера $v_\gamma$ не зависит от выбора точки $x$ на $\gamma$. Множество $H_f$ назовем ориентируемым, если оно состоит только из некомпактных кривых, и реперы всех кривых в $H_f$ имеют одинаковую ориентацию (см. рис. 2).

Основным результатом настоящей работы является доказательство следующего факта.

Теорема 1. Пусть многообразие $M^3$ допускает диффеоморфизм $f\in G$ с по крайней мере одной некомпактной гетероклинической кривой. Тогда это многообразие также допускает диффеоморфизм $f'\in G$ с ориентируемым множеством гетероклинических кривых.

2. Динамика диффеоморфизмов из класса $G$

В настоящем разделе мы описываем некоторые динамические свойства диффеоморфизма $f\in G$.

Из определения класса следует, что неблуждающее множество $\Omega_f$ диффеоморфизма $f$ состоит в точности из четырех точек $\omega_f$, $\sigma_f^1$, $\sigma_f^2$, $\alpha_f$ с индексами Морса $0$, $1$, $2$, $3$ соответственно. В силу того, что у диффеоморфизма $f$ отсутствуют пересечения одномерных сепаратрис седловых точек с двумерными, одномерные седловые многообразия содержат в своих замыканиях единственную узловую точку (см. предложение 2.3 в [4]). А именно,

$$ \begin{equation*} \operatorname{cl}(W^{\mathrm u}_{\sigma_f^1})=W^{\mathrm u}_{\sigma_f^1}\cup\omega_f,\qquad \operatorname{cl}(W^{\mathrm s}_{\sigma_f^2})=\alpha_f\cup W^{\mathrm s}_{\sigma_f^2}. \end{equation*} \notag $$
При этом множества $A_f=\operatorname{cl}(W^{\mathrm u}_{\sigma_f^1})$, $R_f=\operatorname{cl}(W^{\mathrm s}_{\sigma_f^2})$ являются попарно не пересекающимися топологически вложенными окружностями [4] (см. предложение 2.3), возможно, дикими в узловых точках (см. рис. 1). Поскольку пересечение $H_f=W^{\mathrm s}_{\sigma_f^1}\cap W^{\mathrm u}_{\sigma_f^2}$ непусто, в силу теоремы 2.1 из [4]
$$ \begin{equation*} \operatorname{cl}(W^{\mathrm s}_{\sigma_1})=W^{\mathrm s}_{\sigma_f^1}\cup R_f,\qquad \operatorname{cl}(W^{\mathrm u}_{\sigma_f^2})=W^{\mathrm u}_{\sigma_f^2}\cup A_f. \end{equation*} \notag $$

В силу теоремы 1.1 из [5] множества $A_f$ и $R_f$ являются глобальными аттрактором и репеллером соответственно. Положим

$$ \begin{equation*} V_f=M^3\backslash(A_f\cup R_f). \end{equation*} \notag $$
В силу теоремы 1.2 из [5] пространство орбит $\widehat V_f=V_f/f$ является гладким замкнутым ориентируемым 3-многообразием, а естественная проекция $p_f\colon V_f\to\widehat V_f$ является накрытием и индуцирует эпиморфизм
$$ \begin{equation*} \eta_f\colon\pi_1(\widehat V_f)\to\mathbb{Z}, \end{equation*} \notag $$
ставящий в соответствие элементу $[\hat c]\in\pi_1(\widehat V_f)$ число $\mu\in\mathbb{Z}$, такое что любое поднятие элемента $\hat c$ соединяет точку $x\in V_f$ с точкой $f^{\mu}(x)$. Положим
$$ \begin{equation*} T^{\mathrm s}_f=p_f(W^{\mathrm s}_{\sigma_f^1}),\qquad T^{\mathrm u}_f=p_f(W^{\mathrm u}_{\sigma_f^2}),\qquad C_f=p_f(H_f). \end{equation*} \notag $$

3-Многообразие $X$ называется неприводимым, если любая 2-сфера, цилиндрически вложенная в $X$, ограничивает в нем 3-шар.

Топологически вложенная в 3-многообразие $X$ поверхность $F$ называется собственно вложенной, если $\partial X\cap F=\partial F$. Собственно вложенная в $X$ поверхность $F$ называется сжимаемой в $X$ в одном из следующих двух случаев:

Поверхность $F$, не являющаяся сжимаемой в $X$, называется несжимаемой в $X$.

Предложение 1 (лемма 2 в [6]). Для любого диффеоморфизма $f\in G$ справедливо следующее (см. рис. 3):

Пусть $U_A$ – захватывающая окрестность аттрактора $A_f$. Введем обозначение $F_A=U_A\backslash f(U_A)$, тогда $\operatorname{cl}(F_A)$ – фундаментальная область ограничения диффеоморфизма $f$ на $V_f$. Положим $\widehat V_A=\operatorname{cl}(F_A)/f$, тогда $\widehat V_A$ – гладкое замкнутое 3-многообразие, полученное из $\operatorname{cl}(F_A)$ отождествлением границ в силу диффеоморфизма $f$. Обозначим через $p_A\colon\operatorname{cl}(F_A)\to\widehat V_A$ естественную проекцию. Рассмотрим семейство $E_f\in Dif\kern-1pt f(M^3)$ диффеоморфизмов Морса–Смейла, таких что для любого диффеоморфизма $f'\in E_f$ имеет место равенство $\Omega_{f'}=\Omega_f$ и диффеоморфизм $f'$ совпадает с диффеоморфизмом $f$ на $U_A$ и в некоторой окрестности репеллера $R_f$. Для любого диффеоморфизма $f'\in E_f$ положим $\hat l^{\,\mathrm s}_{f'}=p_A(W^{\mathrm s}_{\sigma_f^1}\cap F_A)$ и $\hat l^{\,\mathrm u}_{f'}=p_A(W^{\mathrm u}_{\sigma_f^2}\cap F_A)$.

Предложение 2 (лемма 1 в [6]). Пусть $\hat h\colon\widehat V_A\to\widehat V_A$ есть изотопный тождественному диффеоморфизм. Тогда существует гладкое по $t$ семейство диффеоморфизмов $\zeta_t\subset E_f$, такое что $\zeta_0=f$, $\zeta_1=f'$ и $\hat l^{\mathrm u}_{f'}=\hat h(\hat l^{\mathrm u}_f)$, $\hat l^{\mathrm s}_{f'}=\hat l^{\mathrm s}_f$.

Предложение 3 (теорема 1 в [6]). Пусть многообразие $M^3$ допускает диффеоморфизм $f\in G$. Тогда это многообразие также допускает диффеоморфизм $f'\in G$, не имеющий компактных гетероклинических кривых, стягиваемых на $W^{\mathrm s}_{\sigma^1_f}\backslash\sigma^1_f$.

3. Минимизация числа гетероклинических кривых

В настоящем разделе мы доказываем теорему 1: если многообразие $M^3$ допускает диффеоморфизм $f\in G$ с по крайней мере одной некомпактной гетероклинической кривой, то это многообразие допускает диффеоморфизм $f'\in G$ с ориентируемым множеством гетероклинических кривых.

Доказательство. Пусть $f\in G$ и множество $H_f$ непусто. В силу предложения 3, не уменьшая общности, можно считать, что множество $H_f$ не содержит компактных гетероклинических кривых. Тогда $H_f$ состоит только из некомпактных гетероклинических кривых, и с каждой такой кривой связан либо положительный, либо отрицательный репер. Покажем, что если множество $H_f$ неориентируемо, то число кривых в нем можно уменьшить как минимум на две.

Для этого заметим, что в силу предложения 1 множество $C_f=p_f(H_f)$ состоит из простых замкнутых кривых $c$, таких что $\eta_f([c])\neq 0$. Следовательно, каждая такая кривая является существенной на обоих торах $T^{\mathrm s}_f$, $T^{\mathrm u}_f$. Поскольку отображение $p_f$ является накрытием, с каждой такой кривой также связан положительный или отрицательный репер, соответствующий кривой $\gamma\subset H_f$, такой что $c=p_f(\gamma)$. Кривые из множества $C_f$ имеют одинаковый гомотопический тип на торе $T^{\mathrm s}_f$ (на торе $T^{\mathrm u}_f$), см., например, [7], поэтому множество $T^{\mathrm s}_f\backslash C_f$ (соответственно множество $T^{\mathrm u}_f\backslash C_f$) состоит из конечного числа колец. В силу неориентируемости множества $H_f$ найдутся кривые $c_{+},c_{-}\subset C_f$, имеющие соответственно положительный и отрицательный репер и ограничивающие компоненту связности $K^{\mathrm s}$ множества $T^{\mathrm s}_f\backslash C_f$, а также компоненту связности $K^{\mathrm u}$ множества $T^{\mathrm u}_f\backslash C_f$ (см. рис. 4). Таким образом, множество $T=K^{\mathrm s}\cup K^{\mathrm u}\cup c_{+}\cup c_{-}$ является двумерным тором. Покажем, что тор $T$ ограничивает заполненный тор в $\widehat V_f$, внутренность которого не пересекается с $T^{\mathrm s}_f\cup T^{\mathrm u}_f$.

Действительно, рассмотрим трубчатую окрестность $N^{\mathrm s}$ тора $T^{\mathrm s}_f$. Тогда в точности одна из компонент связности границы множества $N^{\mathrm s}\cup K^{\mathrm u}$ является тором $T'$ в $\widehat V_f$, таким что $(T'\cap T^{\mathrm u}_f)\subset K^{\mathrm u}$. Рассмотрим пространство орбит $\widehat V_{\omega_f}=(W^{\mathrm s}_{\omega_f}\backslash\omega_f)/f$. Согласно предложению 2.3 в [4] оно диффеоморфно многообразию $\mathbb{S}^2\times\mathbb{S}^1$. Обозначим через $p_\omega$ естественную проекцию $p_{\omega_f}\colon W^{\mathrm s}_{\omega_f}\backslash\omega\to\widehat V_{\omega_f}$. Положим $\hat A_f=p_{\omega_f}(A_f\backslash\sigma^1_f)$. В силу предложения 2.3 в [4] $\hat A_f$ – пара окружностей, гладко вложенных в $\widehat V_{\omega_f}$. С другой стороны, в силу теоремы 2.1 в [4]

$$ \begin{equation*} M^3=W^{\mathrm s}_{\omega_f}\cup W^{\mathrm s}_{\sigma_f^1}\cup W^{\mathrm s}_{\sigma_f^2}\cup W^{\mathrm s}_{\alpha_f}. \end{equation*} \notag $$
Тогда $V_f\backslash W^{\mathrm s}_{\sigma_1}=W^{\mathrm s}_\omega\backslash A_f$, следовательно, многообразия $\widehat V_f\backslash T^{\mathrm s}_f$ и $\widehat V_{\omega_f}\backslash\hat A_f$ гомеоморфны. При этом торы $p_{\omega_f}(p_f^{-1}(\partial N^{\mathrm s}))$ ограничивают трубчатые окрестности $N_{\hat A_f}$ узлов $\hat A_f$ в многообразии $\widehat V_{\omega_f}$. Также корректно определен тор $\widetilde T'=p_{\omega_f}(p_f^{-1}(T'))$, пересекающийся с трубчатой окрестностью одного из узлов по гомотопически нетривиальному кольцу $\widetilde K^{\mathrm s}$ (см. рис. 5).

Таким образом, тор $\widetilde T'$ гомотопически нетривиально вложен в $\widehat V_{\omega_f}$. Поскольку заполненные торы $N_{\hat A_f}$ также гомотопически нетривиально вложены в $\widehat V_{\omega_f}$, они не содержатся там ни в каком 3-шаре. Тем самым многообразие $\widetilde W=\widehat V_{\omega_f}\backslash\operatorname{int}N_{\hat A_f}$ неприводимо, следовательно, тор $\widetilde T'$ ограничивает в этом многообразии заполненный тор $\widetilde V'$ (см., например, [8], § 1.2, п. (4)). Каждая компонента связности множества $p_{\omega_f}(W^{\mathrm u}_{\sigma^2_f}\backslash(H_f\cup\sigma^2_f))$ имеет непустое пересечение с множеством $\operatorname{int}N_{\hat A_f}$, поэтому

$$ \begin{equation*} \operatorname{int}\widetilde V'\cap p_{\omega_f}(W^{\mathrm u}_{\sigma^2_f}\backslash(H_f\cup\sigma^2_f))=\varnothing. \end{equation*} \notag $$
Тогда $p_f(p_{\omega_f}^{-1}(\widetilde V'))$ – заполненный тор в $\widehat V_f$, который в объединении с частью окрестности $N^{\mathrm s}$ дает искомый заполненный тор.

Обозначим как $T^{\prime\,\mathrm u}_f$ двумерный тор, полученный сглаживанием тора $(T^{\mathrm u}_f\backslash K^{\mathrm u})\cup K^{\mathrm s}$, такой что $T^{\prime\,\mathrm u}_f\cap T^{\mathrm s}_f=\varnothing$ вблизи кривых $c_{+}$, $c_{-}$. По построению существует изотопный тождественному диффеоморфизм $\hat h\colon\widehat V_f\to\widehat V_f$, для которого $\hat h(T^{\mathrm u}_f)=T^{\prime\,\mathrm u}_f$. Тогда в силу предложения 2 существует дуга $\zeta_t\subset E_f$, такая что $\zeta_0=f$, $\zeta_1=f'$ и $T^{\mathrm u}_{f'}=T^{\prime\,\mathrm u}_f$, $T^{\mathrm s}_{f'}=T^{\mathrm s}_f$. Соответственно, диффеоморфизм $f'\in G$ задан на том же многообразии $M^3$, что и $f$, но имеет на две гетероклинические кривые меньше.

Продолжая этот процесс, мы построим в классе $G$ диффеоморфизм $g:M^3\to M^3$ с ориентируемым множеством $H_g$, что и завершает доказательство теоремы.

Конфликт интересов

Авторы заявляют, что у них нет конфликта интересов.

Список литературы

1. O. Pochinka, E. Talanova, D. Shubin, Knot is a complete invariant of a Morse–Smale 3-diffeomorphism with four fixed points, arXiv: 2209.04815
2. В. З. Гринес, Е. В. Жужома, В. С. Медведев, “Новые соотношения для систем Морса–Смейла с тривиально вложенными одномерными сепаратрисами”, Матем. сб., 194:7 (2003), 25–56  mathnet  crossref  crossref  mathscinet  zmath
3. В. З. Гринес, Е. В. Жужома, В. С. Медведев, “О диффеоморфизмах Морса–Смейла с четырьмя периодическими точками на замкнутых ориентируемых многообразиях”, Матем. заметки, 74:3 (2003), 369–386  mathnet  crossref  crossref  mathscinet  zmath
4. V. Z. Grines, T. V. Medvedev, O. V. Pochinka, Dynamical Systems on 2-and 3-Manifolds, Developments in Mathematics, 46, Springer, Cham, 2016  crossref  mathscinet
5. В. З. Гринес, Е. В. Жужома, В. С. Медведев, О. В. Починка, “Глобальные аттрактор и репеллер диффеоморфизмов Морса–Смейла”, Дифференциальные уравнения и топология. II, Труды МИАН, 271, МАИК “Наука/Интерпериодика”, М., 2010, 111–133  mathnet  crossref  mathscinet
6. В. И. Шмуклер, О. В. Починка, “Бифуркации, меняющие тип гетероклинических кривых $3$-диффеоморфизма Морса–Смейла”, ТВИМ, 2021, № 1, 101–114
7. D. Rolfsen, “Knots and links”, Mathematics Lecture Series, 7, Publish or Perish Press, Berkeley, CA, 1976  mathscinet  zmath
8. A. Hatcher, Notes on Basic 3-Manifold Topology, 2007 https://pi.math.cornell.edu/<nobr>$\sim$</nobr> hatcher/3M/3M.pdf

Образец цитирования: О. В. Починка, Е. А. Таланова, “Минимизация числа гетероклинических кривых 3-диффеоморфизма с неподвижными точками, имеющими попарно различные индексы Морса”, ТМФ, 215:2 (2023), 311–317; Theoret. and Math. Phys., 215:2 (2023), 729–734
Цитирование в формате AMSBIB
\RBibitem{PocTal23}
\by О.~В.~Починка, Е.~А.~Таланова
\paper Минимизация числа гетероклинических кривых 3-диффеоморфизма с~неподвижными точками, имеющими попарно различные индексы Морса
\jour ТМФ
\yr 2023
\vol 215
\issue 2
\pages 311--317
\mathnet{http://mi.mathnet.ru/tmf10389}
\crossref{https://doi.org/10.4213/tmf10389}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=4526386}
\adsnasa{https://adsabs.harvard.edu/cgi-bin/bib_query?2023TMP...215..729P}
\transl
\jour Theoret. and Math. Phys.
\yr 2023
\vol 215
\issue 2
\pages 729--734
\crossref{https://doi.org/10.1134/S0040577923050112}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85160648117}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tmf10389
  • https://doi.org/10.4213/tmf10389
  • https://www.mathnet.ru/rus/tmf/v215/i2/p311
  • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Теоретическая и математическая физика Theoretical and Mathematical Physics
    Статистика просмотров:
    Страница аннотации:157
    PDF полного текста:12
    HTML русской версии:98
    Список литературы:22
    Первая страница:3
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024