-
Non-singular flows with twisted saddle orbit on orientable 3-manifolds
Authors:
Olga Pochinka,
Danila Shubin
Abstract:
In this paper we consider non-singular Morse-Smale flows on closed orientable 3-manifolds, under the assumption that among the periodic orbits of the flow there is only one saddle orbit and it is twisted. It is found that any manifold admitting such flows is either a lens space, or a connected sum of a lens space with a projective space, or Seifert manifolds with base sphere and three special laye…
▽ More
In this paper we consider non-singular Morse-Smale flows on closed orientable 3-manifolds, under the assumption that among the periodic orbits of the flow there is only one saddle orbit and it is twisted. It is found that any manifold admitting such flows is either a lens space, or a connected sum of a lens space with a projective space, or Seifert manifolds with base sphere and three special layers. A complete topological classification of the described flows is obtained and the number of their equivalence classes on each admissible manifold is calculated.
△ Less
Submitted 6 May, 2024;
originally announced May 2024.
-
On homeomorphisms of three-dimensional manifolds with pseudo-Anosov attractors and repellers
Authors:
Vyacheslav Grines,
Olga Pochinka,
Ekaterina Chilina
Abstract:
The present paper is devoted to a study of orientation-preserving homeomorphisms on three-dimensional manifolds with a non-wandering set consisting of a finite number of surface attractors and repellers. The main results of the paper relate to a class of homeomorphisms for which the restriction of the map to a connected component of the non-wandering set is topologically conjugate to an orientatio…
▽ More
The present paper is devoted to a study of orientation-preserving homeomorphisms on three-dimensional manifolds with a non-wandering set consisting of a finite number of surface attractors and repellers. The main results of the paper relate to a class of homeomorphisms for which the restriction of the map to a connected component of the non-wandering set is topologically conjugate to an orientation-preserving pseudo-Anosov homeomorphism. The ambient $Ω$-conjugacy of a homeomorphism from the class with a locally direct product of a pseudo-Anosov homeomorphism and a rough transformation of the circle is proved. In addition, we prove that the centralizer of a pseudo-Anosov homeomorphisms consists of only pseudo-Anosov and periodic maps.
△ Less
Submitted 19 December, 2023;
originally announced December 2023.
-
Morse-Smale 3-diffeomorphisms with saddles of the same unstable manifold dimension
Authors:
E. M. Osenkov,
O. V. Pochinka
Abstract:
In this paper, we consider a class of Morse-Smale diffeomorphisms defined on a closed 3-manifold (non-necessarily orientable) under the assumption that all their saddle points have the same dimension of the unstable manifolds. The simplest example of such diffeomorphisms is the well-known ``source-sink'' or ``north pole - south pole'' diffeomorphism, whose non-wandering set consists of exactly one…
▽ More
In this paper, we consider a class of Morse-Smale diffeomorphisms defined on a closed 3-manifold (non-necessarily orientable) under the assumption that all their saddle points have the same dimension of the unstable manifolds. The simplest example of such diffeomorphisms is the well-known ``source-sink'' or ``north pole - south pole'' diffeomorphism, whose non-wandering set consists of exactly one source and one sink. Such systems, as Reeb showed back in 1946, can be realized only on the sphere. We generalize his result, namely, we show that diffeomorphisms from the considered class also can be defined only on the 3-sphere.
△ Less
Submitted 12 October, 2023;
originally announced October 2023.
-
Classification of NMS-flows with unique twisted saddle orbit on orientable 4-manifolds
Authors:
Vladislav Galkin,
Olga Pochinka,
Danila Shubin
Abstract:
Topological equivalence of Morse-Smale flows without fixed points (NMS-flows) under assumptions of different generalities was studied in a number of papers. In some cases when the number of periodic orbits is small, it is possible to give exhaustive classification, namely to provide the list of all manifolds that admit flows of considered class, find complete invariant for topological equivalence…
▽ More
Topological equivalence of Morse-Smale flows without fixed points (NMS-flows) under assumptions of different generalities was studied in a number of papers. In some cases when the number of periodic orbits is small, it is possible to give exhaustive classification, namely to provide the list of all manifolds that admit flows of considered class, find complete invariant for topological equivalence and introduce each equivalence class with some representative flow. This work continues the series of such articles. We consider the class of NMS-flows with unique saddle orbit, under the assumption that it is twisted, on closed orientable 4-manifolds and prove that the only 4-manifold admitting the considered flows is the manifold $\mathbb S^3\times\mathbb S^1$. Also, it is established that such flows are split into exactly eight equivalence classes and construction of a representative for each equivalence class is provided.
△ Less
Submitted 15 June, 2023;
originally announced June 2023.
-
On the topology of 3-manifolds admitting Morse-Smale diffeomorphisms with four fixed points of pairwise different Morse indices
Authors:
O. Pochinka,
E. Talanova
Abstract:
In the present paper we consider class $G$ of orientation preserving Morse-Smale diffeomorphisms $f$, which defined on closed 3-manifold $M^3$, and whose non-wandering set consist of four fixed points with pairwise different Morse indices. It follows from S. Smale and K. Meyer results that all gradient-like flows with similar properties has Morse energy function with four critical points of pairwi…
▽ More
In the present paper we consider class $G$ of orientation preserving Morse-Smale diffeomorphisms $f$, which defined on closed 3-manifold $M^3$, and whose non-wandering set consist of four fixed points with pairwise different Morse indices. It follows from S. Smale and K. Meyer results that all gradient-like flows with similar properties has Morse energy function with four critical points of pairwise different Morse indices. This implies, that supporting manifold $M^3$ for these flows admits a Heegaard decomposition of genus 1 and hence it is homeomorphic to a lens space $L_{p,q}$. Despite the simple structure of the non-wandering set in class $G$ there exist diffeomorphisms with wild embedded separatrices. According to V. Grines, F. Laudenbach, O. Pochinka results such diffeomorphisms do not possesses an energy function, and question about topology their supporting manifold is open. According to V. Grines, E. Zhuzhoma and V. Medvedev results $M^3$ is homeomorphic to a lens space $L_{p,q}$ in case of tame embedding of closures of one-dimensional separatrices of diffeomorphism $f\in G$. Moreover, the wandering set of $f$ contains at least $p$ non-compact heteroclinic curves. In the present paper similar result was received for arbitrary diffeomorphisms of class $G$. Also we construct diffeomorphisms from $G$ with wild embedding one-dimensional separatrices on every lens space $L_{p,q}$. Such examples were known previously only on the 3-sphere.
△ Less
Submitted 5 June, 2023;
originally announced June 2023.
-
On a structure of non-wandering set of an $Ω$-stable 3-diffeomorphism possessing a hyperbolic attractor
Authors:
Marina Barinova,
Olga Pochinka,
Evgeniy Yakovlev
Abstract:
This paper belongs to a series of papers devoted to the study of the structure of the non-wandering set of an A-diffeomorphism. We study such set $NW(f)$ for an $Ω$-stable diffeomorphism $f$, given on a closed connected 3-manifold $M^3$. Namely, we prove that if all basic sets in $NW(f)$ are trivial except attractors, then every non-trivial attractor is either one-dimensional non-orientable or two…
▽ More
This paper belongs to a series of papers devoted to the study of the structure of the non-wandering set of an A-diffeomorphism. We study such set $NW(f)$ for an $Ω$-stable diffeomorphism $f$, given on a closed connected 3-manifold $M^3$. Namely, we prove that if all basic sets in $NW(f)$ are trivial except attractors, then every non-trivial attractor is either one-dimensional non-orientable or two-dimensional expanding.
△ Less
Submitted 31 May, 2023;
originally announced May 2023.
-
Links and dynamics
Authors:
Valeriy Bardakov,
Tatyana Kozlovskaya,
Olga Pochinka
Abstract:
Knots naturally appear in continuous dynamical systems as flow periodic trajectories. However, discrete dynamical systems are also closely connected with the theory of knots and links. For example, for Pixton diffeomorphisms, the equivalence class of the Hopf knot, which is the orbit space of the unstable saddle separatrix in the manifold $\mathbb{S}^2\times \mathbb{S}^1$, is a complete invariant…
▽ More
Knots naturally appear in continuous dynamical systems as flow periodic trajectories. However, discrete dynamical systems are also closely connected with the theory of knots and links. For example, for Pixton diffeomorphisms, the equivalence class of the Hopf knot, which is the orbit space of the unstable saddle separatrix in the manifold $\mathbb{S}^2\times \mathbb{S}^1$, is a complete invariant of the topological conjugacy of the system. In this paper we distinguish a class of three-dimensional Morse-Smale diffeomorphisms for which the complete invariant of topological conjugacy is the equivalence class of a link in $\mathbb{S}^2\times \mathbb{S}^1$.
We proved that if $M$ is a link complement in $\mathbb{S}^3$ (in particular, is $\mathbb{S}^3$), or a handlebody $H_g$ of genus $g \geq 0$, or closed, connected, orientable 3-manifold, then the set of equivalence classes of tame links in $M$ is countable. As corollary we get that in $\mathbb{S}^2\times \mathbb{S}^1$ there exists a countable number of equivalence classes of tame links. It is proved that any essential link can be realized by a diffeomorphism of the class under consideration.
△ Less
Submitted 8 March, 2023;
originally announced March 2023.
-
A quasi-energy function for Pixton diffeomorphisms defined by generalized Mazur knots
Authors:
Timur Medvedev,
Olga Pochinka
Abstract:
In this paper we give a lower estimate for the number of critical points of the Lyapunov function for Pixton diffeomorphisms (i.e. Morse-Smale diffeomorphisms in dimension 3 whose chain recurrent set consists of four points: one source, one saddle and two sinks). Ch. Bonatti and V. Grines proved that the class of topological equivalence of such diffeomorphism $f$ is completely defined by the equiv…
▽ More
In this paper we give a lower estimate for the number of critical points of the Lyapunov function for Pixton diffeomorphisms (i.e. Morse-Smale diffeomorphisms in dimension 3 whose chain recurrent set consists of four points: one source, one saddle and two sinks). Ch. Bonatti and V. Grines proved that the class of topological equivalence of such diffeomorphism $f$ is completely defined by the equivalency class of the Hopf knot $L_{f}$ that is the knot in the generating class of the fundamental group of the manifold $\mathbb S^2\times\mathbb S^1$. They also proved that there are infinitely many such classes and that any Hopf knot can be realized by a Pixton diffeomorphism. D.~Pixton proved that diffeomorphisms defined by the standard Hopf knot $L_0=\{s\}\times \mathbb S^1$ have an energy function (Lyapunov function) whose set of critical points coincide with the chain recurrent set whereas the set of critical points of any Lyapunov function for Pixton diffeomorphism with nontrivial (i.e. non equivalent to the standard) Hopf knot is strictly larger than the chain recurrent set of the diffeomorphism. The Lyapunov function for Pixton diffeomorphism with minimal number of critical points is called the quasi-energy function. In this paper we construct a quasi-energy function for Pixton diffeomorphisms defined by a generalized Mazur knot.
△ Less
Submitted 6 January, 2023;
originally announced January 2023.
-
Topology of Ambient 3-Manifolds of Non-singular Flows with Twisted Saddle Orbit
Authors:
Olga Pochinka,
Danila Shubin
Abstract:
In the present paper, non-singular Morse-Smale flows on closed orientable 3-manifolds under the assumption that among the periodic orbits of the flow there is only one saddle one and it is twisted are considered. An exhaustive description of the topology of such manifolds is obtained. Namely, it has been established that any manifold admitting such flows is either a lens space, or a connected sum…
▽ More
In the present paper, non-singular Morse-Smale flows on closed orientable 3-manifolds under the assumption that among the periodic orbits of the flow there is only one saddle one and it is twisted are considered. An exhaustive description of the topology of such manifolds is obtained. Namely, it has been established that any manifold admitting such flows is either a lens space, or a connected sum of a lens space with a projective space, or Seifert manifolds with base homeomorphic to sphere and three singular fibers. Since the latter are simple manifolds, the result obtained refutes the result that among simple manifolds, the considered flows admit only lens spaces.
△ Less
Submitted 4 January, 2023; v1 submitted 26 December, 2022;
originally announced December 2022.
-
Characteristic space of orbits of Morse-Smale diffeomorphisms on surfaces
Authors:
Elena Nozdrinova,
Olga Pochinka,
Ekaterina Tsaplina
Abstract:
The classical approach to the study of dynamical systems consists in representing the dynamics of the system in the form of a "source-sink", that means identifying an attractor-repeller pair, which are attractor-repellent sets for all other trajectories of the system. If there is a way to choose this pair so that the space orbits in its complement (the characteristic space of orbits) is connected,…
▽ More
The classical approach to the study of dynamical systems consists in representing the dynamics of the system in the form of a "source-sink", that means identifying an attractor-repeller pair, which are attractor-repellent sets for all other trajectories of the system. If there is a way to choose this pair so that the space orbits in its complement (the characteristic space of orbits) is connected, this creates prerequisites for finding complete topological invariants of the dynamical system. It is known that such a pair always exists for arbitrary Morse-Smale diffeomorphisms given on any manifolds of dimension $n \geqslant 3$. Whereas for $n=2$ the existence of a connected characteristic space has been proved only for orientation-preserving gradient-like (without heteroclinic points) diffeomorphisms defined on an orientable surface. In the present work, it is constructively shown that the violation of at least one of the above conditions (absence of heteroclinic points, orientability of a surface, orientability of a diffeomorphism) leads to the existence of Morse-Smale diffeomorphisms on surfaces that do not have a connected characteristic space of orbits.
△ Less
Submitted 16 October, 2022;
originally announced October 2022.
-
On classification of periodic maps on the 2-torus
Authors:
D. Baranov,
V. Grines,
O. Pochinka,
E. Chilina
Abstract:
In this paper, following J.Nielsen, we introduce a complete characteristic of orientation preserving periodic maps on the two-dimensional torus. All admissible complete characteristics were found and realized. In particular, each of classes of non-homotopic to the identity orientation preserving periodic homeomorphisms on the 2-torus is realized by an algebraic automorphism. Moreover, it is shown…
▽ More
In this paper, following J.Nielsen, we introduce a complete characteristic of orientation preserving periodic maps on the two-dimensional torus. All admissible complete characteristics were found and realized. In particular, each of classes of non-homotopic to the identity orientation preserving periodic homeomorphisms on the 2-torus is realized by an algebraic automorphism. Moreover, it is shown that number of such classes is finite. Due to V.Z. Grines and A. Bezdenezhnykh, any gradient like orientation preserving diffeomorphism of an orientable surface is represented as a superposition of the time-1 map of a gradient-like flow and some periodic homeomorphism. So, results of this work are directly related to the complete topological classification of gradient-like diffeomorphisms on surfaces.
△ Less
Submitted 2 December, 2021;
originally announced December 2021.
-
There are no structural stable Axiom A 3-diffeomorphisms with dynamics "one-dimensional surfaced attractor-repeller"
Authors:
Olga Pochinka
Abstract:
In this paper, we study the structural stability of three-dimensional diffeomorphisms with source-sink dynamics. Here the role of source and sink is played by one-dimensional hyperbolic repeller and attractor. It is well known that in the case when the repeller and the attractor are solenoids (not embedded in the surface), the diffeomorphism is not structurally stable. The author proves that in th…
▽ More
In this paper, we study the structural stability of three-dimensional diffeomorphisms with source-sink dynamics. Here the role of source and sink is played by one-dimensional hyperbolic repeller and attractor. It is well known that in the case when the repeller and the attractor are solenoids (not embedded in the surface), the diffeomorphism is not structurally stable. The author proves that in the case when the attractor and the repeller are canonically embedded in a surface, the diffeomorphism is also not structurally stable.
△ Less
Submitted 5 November, 2021; v1 submitted 30 August, 2021;
originally announced August 2021.
-
Nonsingular Morse-Smale flows of n-manifolds with attractor-repeller dynamics
Authors:
Olga Pochinka,
Danila Shubin
Abstract:
In the present paper the exhaustive topological classification of nonsingular Morse-Smale flows of $n$-manifolds with two limit cycles is presented. Hyperbolicity of periodic orbits implies that among them one is attracting and another is repelling. Due to Poincare-Hopf theorem Euler characteristic of closed manifold $M^n$ which admits the considered flows is equal to zero. Only torus and Klein bo…
▽ More
In the present paper the exhaustive topological classification of nonsingular Morse-Smale flows of $n$-manifolds with two limit cycles is presented. Hyperbolicity of periodic orbits implies that among them one is attracting and another is repelling. Due to Poincare-Hopf theorem Euler characteristic of closed manifold $M^n$ which admits the considered flows is equal to zero. Only torus and Klein bottle can be ambient manifolds for such flows in case of $n=2$. Authors established that there exist exactly two classes of topological equivalence of such flows of torus and three of the Klein bottle. There are no constraints for odd-dimensional manifolds which follow from the fact that Euler characteristic is zero. However, it is known that orientable $3$-manifold admits a flow of considered class if and only if it is a lens space. In this paper, it is proved that up to topological equivalence each of $\mathbb S^3$ and $\mathbb RP^3$ admit one such flow and other lens spaces two flows each. Also, it is shown that the only non-orientable $n$-manifold (for $n>2$), which admits considered flows is the twisted I-bundle over $(n-1)$-sphere. Moreover, there are exactly two classes of topological equivalence of such flows. Among orientable $n$-manifolds only the product of $(n-1)$-sphere and the circle can be ambient manifold of a considered flow and the flows are split into two classes of topological equivalence.
△ Less
Submitted 26 November, 2021; v1 submitted 27 May, 2021;
originally announced May 2021.
-
Stable arcs connecting polar cascades on a torus
Authors:
E. V. Nozdrinova,
O. V. Pochinka
Abstract:
In this paper, we obtain a solution to the 33rd Palis-Pugh problem for polar gradient-like diffeomorphisms on a two-dimensional torus, under the assumption that all non-wandering points are fixed and have a positive orientation type.
In this paper, we obtain a solution to the 33rd Palis-Pugh problem for polar gradient-like diffeomorphisms on a two-dimensional torus, under the assumption that all non-wandering points are fixed and have a positive orientation type.
△ Less
Submitted 2 December, 2020;
originally announced December 2020.
-
Existence of an energy function for 3-dimensional chaotic "sink-source" cascades
Authors:
M. Barinova,
V. Grines,
O. Pochinka,
B. Yu
Abstract:
The paper is a continuation of research in the direction of energy function (a smooth Lyapunov function whose set of critical points coincides with the chain recurrent set of a system) construction for discrete dynamical systems. The authors established the existence of an energy function for any $ A $-diffeomorphism of a three-dimensional closed orientable manifold whose non-wandering set consist…
▽ More
The paper is a continuation of research in the direction of energy function (a smooth Lyapunov function whose set of critical points coincides with the chain recurrent set of a system) construction for discrete dynamical systems. The authors established the existence of an energy function for any $ A $-diffeomorphism of a three-dimensional closed orientable manifold whose non-wandering set consists of chaotic one-dimensional attractor and repeller.
△ Less
Submitted 10 November, 2020; v1 submitted 22 September, 2020;
originally announced September 2020.
-
On Topological Classification of Morse-Smale Diffeomorphisms on the Sphere $S^n$
Authors:
Vyachesval Grines,
Elena Gurevich,
Olga Pochinka,
Dmitrii Malyshev
Abstract:
We consider a class $G(S^n)$ of orientation preserving Morse-Smale diffeomorphisms of the sphere $S^{n}$ of dimension $n>3$ in assumption that invariant manifolds of different saddle periodic points have no intersection. We put in a correspondence for every diffeomorphism $f\in G(S^n)$ a colored graph $Γ_f$ enriched by an automorphism $P_f$. Then we define the notion of isomorphism between two col…
▽ More
We consider a class $G(S^n)$ of orientation preserving Morse-Smale diffeomorphisms of the sphere $S^{n}$ of dimension $n>3$ in assumption that invariant manifolds of different saddle periodic points have no intersection. We put in a correspondence for every diffeomorphism $f\in G(S^n)$ a colored graph $Γ_f$ enriched by an automorphism $P_f$. Then we define the notion of isomorphism between two colored graphs and prove that two diffeomorphisms $f, f'\in G(S^n)$ are topologically conjugated iff the graphs $Γ_f$, $Γ_f'$ are isomorphic. Moreover we establish the existence of a linear-time algorithm for distinguishing two colored graphs of diffeomorphisms from the class $G(S^n)$.
△ Less
Submitted 27 December, 2019; v1 submitted 22 November, 2019;
originally announced November 2019.
-
Morse-Smale surfaced diffeomorphisms with orientable heteroclinic
Authors:
A. I. Morozov,
O. V. Pochinka
Abstract:
In the present paper we consider preserving orientation Morse-Smale diffeomorphisms on surfaces. Using the methods of factorization and linearizing neighborhoods we prove that such diffeomorphisms have a finite number of orientable heteroclinic orbits.
In the present paper we consider preserving orientation Morse-Smale diffeomorphisms on surfaces. Using the methods of factorization and linearizing neighborhoods we prove that such diffeomorphisms have a finite number of orientable heteroclinic orbits.
△ Less
Submitted 28 September, 2019;
originally announced September 2019.
-
On existence of a Morse energy function for topological flows with finite chain recurrent sets
Authors:
Timur V. Medvedev,
Olga V. Pochinka,
Svetlana Kh. Zinina
Abstract:
We prove the existence of a continuous Morse energy function for an arbitrary topological flow with finite hyperbolic (in topological sense) chain recurrent set on a topological manifold of any dimension. This result is a partial solution of the Morse problem of existence of continuous Morse functions on any topological manifolds. Namely, we prove that a topological manifold admits a continuous Mo…
▽ More
We prove the existence of a continuous Morse energy function for an arbitrary topological flow with finite hyperbolic (in topological sense) chain recurrent set on a topological manifold of any dimension. This result is a partial solution of the Morse problem of existence of continuous Morse functions on any topological manifolds. Namely, we prove that a topological manifold admits a continuous Morse function if it admits a topological flow with finite hyperbolic chain recurrent set.
△ Less
Submitted 17 April, 2019;
originally announced April 2019.
-
On embedding of arcs and circles in 3-manifolds in an application to dynamics of rough 3-diffeomorhisms with two-dimensional expanding attractor
Authors:
Viacheslav Z. Grines,
Evgeny V. Kruglov,
Timur V. Medvedev,
Olga V. Pochinka
Abstract:
A topological classification of many classes of dynamical systems with regular dynamics in low dimensions is often reduced to combinatorial invariants. In dimension 3 combinatorial invariants are proved to be insufficient even for simplest Morse-Smale diffeomorphisms. The complete topological invariant for the systems with a single saddle point on the 3-sphere is the embedding of the homotopy non-…
▽ More
A topological classification of many classes of dynamical systems with regular dynamics in low dimensions is often reduced to combinatorial invariants. In dimension 3 combinatorial invariants are proved to be insufficient even for simplest Morse-Smale diffeomorphisms. The complete topological invariant for the systems with a single saddle point on the 3-sphere is the embedding of the homotopy non-trivial knot into the manifold $\mathbb S^2\times\mathbb S^1$. If a diffeomorphism has several saddle points their unstable separatrices form arcs frames in the basin of the sink and circles frame in the orbits space. Thus, the type of embedding of the circles frame into $\mathbb S^2\times\mathbb S^1$ is a topological invariant for diffeomorphisms of this kind and this type turns out to be the complete topological invariant for some classes of Morse-Smale 3-diffeomorphisms. Recently it was shown that the problem of embedding of a 3-diffeomorphism into a topological flow is interconnected with the properties of embedding of the arcs frame into the 3-Euclidean space. In this paper we consider the criteria for the tame embedding of an arcs frame into the 3-Euclidean space as well as for the trivial embedding of circles frame into $\mathbb S^2\times\mathbb S^1$. We apply this criteria to prove that frames of one-dimensional separatrices in basins of sources of rough 3-diffeomorhisms with two-dimensional expanding attractor are tamely embedded and their spaces of orbits are trivial embeddings of circles frame into $\mathbb S^2\times\mathbb S^1$.
△ Less
Submitted 4 December, 2018;
originally announced December 2018.
-
On Embedding of Multidimensional Morse-Smale Diffeomorphisms in Topological Flows
Authors:
Vyacheslav Z. Grines,
Elena Y. Gurevich,
Olga V. Pochinka
Abstract:
J.~Palis found necessary conditions for a Morse-Smale diffeomorphism on a closed $n$-dimensional manifold $M^n$ to embed into a topological flow and proved that these conditions are also sufficient for $n=2$. For the case $n=3$ a possibility of wild embedding of closures of separatrices of saddles is an additional obstacle for Morse-Smale cascades to embed into topological flows. In this paper we…
▽ More
J.~Palis found necessary conditions for a Morse-Smale diffeomorphism on a closed $n$-dimensional manifold $M^n$ to embed into a topological flow and proved that these conditions are also sufficient for $n=2$. For the case $n=3$ a possibility of wild embedding of closures of separatrices of saddles is an additional obstacle for Morse-Smale cascades to embed into topological flows. In this paper we show that there are no such obstructions for Morse-Smale diffeomorphisms without heteroclinic intersection given on the sphere $S^n, \,n\geq 4$, and Palis's conditions again are sufficient for such diffeomorphisms.
△ Less
Submitted 13 July, 2018; v1 submitted 9 June, 2018;
originally announced June 2018.
-
A complete topological classification of Morse-Smale diffeomorphisms on surfaces: a kind of kneading theory in dimension two
Authors:
V. Z. Grines,
O. V. Pochinka,
S. van Strien
Abstract:
In this paper we give a complete topological classification of orientation preserving Morse-Smale diffeomorphisms on orientable closed surfaces. For MS diffeomorphisms with relatively simple behaviour it was known that such a classification can be given through a directed graph, a three-colour directed graph or by a certain topological object, called a scheme. Here we will assign to any MS surface…
▽ More
In this paper we give a complete topological classification of orientation preserving Morse-Smale diffeomorphisms on orientable closed surfaces. For MS diffeomorphisms with relatively simple behaviour it was known that such a classification can be given through a directed graph, a three-colour directed graph or by a certain topological object, called a scheme. Here we will assign to any MS surface diffeomorphism a finite amount of data which completely determines its topological conjugacy class. Moreover, we show that associated to any abstract version of this data, there exists a unique conjugacy class of MS orientation preserving diffeomorphisms (on some orientation preserving surface). As a corollary we obtain a different proof that nearby MS diffeomorphisms are topologically conjugate.
△ Less
Submitted 6 December, 2017;
originally announced December 2017.
-
Topological classification of Morse-Smale diffeomorphisms on 3-manifolds
Authors:
Ch. Bonatti,
V. Grines,
O. Pochinka
Abstract:
Topological classification of even the simplest Morse-Smale diffeomorphisms on 3-manifolds does not fit into the concept of singling out a skeleton consisting of stable and unstable manifolds of periodic orbits. The reason for this lies primarily in the possible "wild" behaviour of separatrices of saddle points. Another difference between Morse-Smale diffeomorphisms in dimension 3 from their surfa…
▽ More
Topological classification of even the simplest Morse-Smale diffeomorphisms on 3-manifolds does not fit into the concept of singling out a skeleton consisting of stable and unstable manifolds of periodic orbits. The reason for this lies primarily in the possible "wild" behaviour of separatrices of saddle points. Another difference between Morse-Smale diffeomorphisms in dimension 3 from their surface analogues lies in the variety of heteroclinic intersections: a connected component of such an intersection may be not only a point as in the two-dimensional case, but also a curve, compact or non-compact. The problem of a topological classification of Morse-Smale cascades on 3-manifolds either without heteroclinic points (gradient-like cascades) or without heteroclinic curves was solved in a series of papers from 2000 to 2006 by Ch. Bonatti, V. Grines, F. Laudenbach, V. Medvedev, E. Pecou, O. Pochinka. The present paper is devoted to a complete topological classification of the set $MS(M^3)$ of orientation preserving Morse-Smale diffeomorphisms $f$ given on smooth closed orientable 3-manifolds $M^3$. A complete topological invariant for a diffeomorphism $f\in MS(M^3)$ is an equivalent class of its scheme $S_f$, which contains an information on a periodic date and a topology of embedding of two-dimensional invariant manifolds of the saddle periodic points of $f$ into the ambient manifold.
△ Less
Submitted 23 October, 2017;
originally announced October 2017.
-
The wild Fox-Artin arc in invariant sets of dynamical systems
Authors:
T. Medvedev,
O. Pochinka
Abstract:
The modern qualitative theory of dynamical systems is thoroughly intertwined with the fairly young science of topology. Strange and even bizarre constructions of topology are found sooner or later in dynamics of discrete or continuous dynamical systems. In the present paper we show that the wild Fox-Artin arc naturally emerges in dynamics as an invariant manifold of a fixed point and as a heterocl…
▽ More
The modern qualitative theory of dynamical systems is thoroughly intertwined with the fairly young science of topology. Strange and even bizarre constructions of topology are found sooner or later in dynamics of discrete or continuous dynamical systems. In the present paper we show that the wild Fox-Artin arc naturally emerges in dynamics as an invariant manifold of a fixed point and as a heteroclinic intersection.
△ Less
Submitted 6 July, 2017; v1 submitted 4 July, 2017;
originally announced July 2017.
-
Topoligical classification of $Ω$-stable flows on surfaces by means of effectively distinguishable multigraphs
Authors:
Vladislav Kruglov,
Dmitry Malyshev,
Olga Pochinka
Abstract:
Structurally stable (rough) flows on surfaces have only finitely many singularities and finitely many closed orbits, all of which are hyperbolic, and they have no trajectories joining saddle points. The violation of the last property leads to $Ω$-stable flows on surfaces, which are not structurally stable. However, in the present paper we prove that a topological classification of such flows is al…
▽ More
Structurally stable (rough) flows on surfaces have only finitely many singularities and finitely many closed orbits, all of which are hyperbolic, and they have no trajectories joining saddle points. The violation of the last property leads to $Ω$-stable flows on surfaces, which are not structurally stable. However, in the present paper we prove that a topological classification of such flows is also reduced to a combinatorial problem. Our complete topological invariant is a multigraph, and we present a polynomial-time algorithm for the distinction of such graphs up to an isomorphism. We also present a graph criterion for orientability of the ambient manifold and a graph-associated formula for its Euler characteristic. Additionally, we give polynomial-time algorithms for checking the orientability and calculating the characteristic.
△ Less
Submitted 6 June, 2017;
originally announced June 2017.
-
Topological classification of Morse-Smale diffeomorphisms without heteroclinic curves on 3-manifolds
Authors:
Ch Bonatti,
V Grines,
F Laudenbach,
O Pochinka
Abstract:
We show that, up to topological conjugation, the equivalence class of a Morse-Smale diffeomorphism without heteroclinic curves on 3-manifold is completely defined by an em- bedding of two-dimensional stable and unstable heteroclinic laminations to a characteristic space.
We show that, up to topological conjugation, the equivalence class of a Morse-Smale diffeomorphism without heteroclinic curves on 3-manifold is completely defined by an em- bedding of two-dimensional stable and unstable heteroclinic laminations to a characteristic space.
△ Less
Submitted 28 September, 2017; v1 submitted 16 February, 2017;
originally announced February 2017.
-
On 2-diffeomorphisms with one-dimensional basic sets and a finite number of moduli
Authors:
V. Z. Grines,
O. V. Pochinka,
S. Van Strien
Abstract:
This paper is a step towards the complete topological classification of Ω-stable diffeomorphisms on an orientable closed surface, aiming to give necessary and sufficient conditions for two such diffeomorphisms to be topologically conjugate without assuming that the diffeomorphisms are necessarily close to each other. In this paper we will establish such a classification within a certain class Ψ of…
▽ More
This paper is a step towards the complete topological classification of Ω-stable diffeomorphisms on an orientable closed surface, aiming to give necessary and sufficient conditions for two such diffeomorphisms to be topologically conjugate without assuming that the diffeomorphisms are necessarily close to each other. In this paper we will establish such a classification within a certain class Ψ of Ω-stable diffeomorphisms de- fined below. To determine whether two diffeomorphisms from this class Ψ are topologically conjugate, we give (i) an algebraic description of the dynamics on their non-trivial basic sets, (ii) a geometric description of how invariant manifolds intersect, and (iii) define numerical invariants, called moduli, associated to orbits of tangency of stable and unsta- ble manifolds of saddle periodic orbits. This description determines the scheme of a diffeomorphism, and we will show that two diffeomorphisms from Ψ are topologically conjugate if and only if their schemes agree.
△ Less
Submitted 1 August, 2016;
originally announced August 2016.
-
On heteroclinic separators of magnetic fields in electrically conducting fluids
Authors:
V. Grines,
T. Medvedev,
O. Pochinka,
E. Zhuzhoma
Abstract:
In this paper we partly solve the problem of existence of separators of a magnetic field in plasma. We single out in plasma a 3-body with a boundary in which the movement of plasma is of special kind which we call an (a-d)-motion. We prove that if the body is the 3-annulus or the "fat" orientable surface with two holes the magnetic field necessarily have a heteroclinic separator. The statement of…
▽ More
In this paper we partly solve the problem of existence of separators of a magnetic field in plasma. We single out in plasma a 3-body with a boundary in which the movement of plasma is of special kind which we call an (a-d)-motion. We prove that if the body is the 3-annulus or the "fat" orientable surface with two holes the magnetic field necessarily have a heteroclinic separator. The statement of the problem and the suggested method for its solution lead to some theoretical problems from Dynamical Systems Theory which are of interest of their own.
△ Less
Submitted 16 May, 2015; v1 submitted 29 September, 2014;
originally announced September 2014.
-
Dynamically ordered energy function for Morse-Smale diffeomorphisms on 3-manifolds
Authors:
Viatcheslav Grines,
Francois Laudenbach,
Olga Pochinka
Abstract:
This note deals with arbitrary Morse-Smale diffeomorphisms in dimension 3 and extends ideas from \cite{GrLaPo}, \cite{GrLaPo1}, where gradient-like case was considered. We introduce a kind of Morse-Lyapunov function, called dynamically ordered, which fits well dynamics of diffeomorphism. The paper is devoted to finding conditions to the existence of such an energy function, that is, a function who…
▽ More
This note deals with arbitrary Morse-Smale diffeomorphisms in dimension 3 and extends ideas from \cite{GrLaPo}, \cite{GrLaPo1}, where gradient-like case was considered. We introduce a kind of Morse-Lyapunov function, called dynamically ordered, which fits well dynamics of diffeomorphism. The paper is devoted to finding conditions to the existence of such an energy function, that is, a function whose set of critical points coincides with the non-wandering set of the considered diffeomorphism. We show that the necessary and sufficient conditions to the existence of a dynamically ordered energy function reduces to the type of embedding of one-dimensional attractors and repellers of a given Morse-Smale diffeomorphism on a closed 3-manifold.
△ Less
Submitted 23 March, 2011; v1 submitted 31 January, 2011;
originally announced January 2011.
-
Quasi-energy function for diffeomorphisms with wild separatrices
Authors:
Viatcheslav Grines,
Francois Laudenbach,
Olga Pochinka
Abstract:
According to Pixton, there are Morse-Smale diffeomorphisms of the 3-sphere which have no energy function, that is a Lyapunov function whose critical points are all periodic points of the diffeomorphism. We introduce the concept of quasi-energy function for a Morse-Smale diffeomorphism as a Lyapunov function with the least number of critical points and construct a quasi-energy function for any di…
▽ More
According to Pixton, there are Morse-Smale diffeomorphisms of the 3-sphere which have no energy function, that is a Lyapunov function whose critical points are all periodic points of the diffeomorphism. We introduce the concept of quasi-energy function for a Morse-Smale diffeomorphism as a Lyapunov function with the least number of critical points and construct a quasi-energy function for any diffeomorphism from some class of Morse-Smale diffeomorphisms on the 3-sphere.
△ Less
Submitted 23 October, 2008;
originally announced October 2008.
-
Self-indexing energy function for Morse-Smale diffeomorphisms on 3-manifolds
Authors:
Viatcheslav Grines,
Francois Laudenbach,
Olga Pochinka
Abstract:
The paper is devoted to finding conditions to the existence of a self-indexing energy function for Morse-Smale diffeomorphisms on a 3-manifold. These conditions involve how the stable and unstable manifolds of saddle points are embedded in the ambient manifold. We also show that the existence of a self-indexing energy function is equivalent to the existence of a Heegaard splitting of a special t…
▽ More
The paper is devoted to finding conditions to the existence of a self-indexing energy function for Morse-Smale diffeomorphisms on a 3-manifold. These conditions involve how the stable and unstable manifolds of saddle points are embedded in the ambient manifold. We also show that the existence of a self-indexing energy function is equivalent to the existence of a Heegaard splitting of a special type with respect to the considered diffeomorphism.
△ Less
Submitted 12 November, 2009; v1 submitted 4 April, 2008;
originally announced April 2008.
