Dynamical Systems on 2- and 3-Manifolds pp 77-107 | Cite as

# Wild Embedding of the Separatrices into 3-Manifolds and Pixton Diffeomorphism

- 810 Downloads

## Abstract

The Morse-Smale diffeomorphisms on 3-manifolds are in marked contrast to the Morse-Smale flows and diffeomorphisms on 2-manifolds because of the possibility of wild embedding of the separatrices of the saddle points. In this chapter we prove the criteria of the tame embedding of 1- and 2-dimensional separatrices. We give the complete study of the simplest Morse-Smale diffeomorphisms with the wandering set of four points if exactly one of them is the saddle (the Pixton diffeomorphisms). We show that the invariant manifolds of the saddle point of such diffeomorphisms can be wildly embedded. It implies that there are countably many topologically non-conjugate simplest diffeomorphisms. The topological invariant in this case is the knot in the characteristic space homeomorphic to \(\mathbb S^2\times \mathbb S^1\). Then we study the bifurcations through which the transition from one class of topologically conjugate diffeomorphisms to another occurs. The distinctive specialty of the new bifurcation is that the structure on the non-wandering set does not change but the qualitative change of the diffeomorphism is due to the change of the type of the embedding of the separatrices of the saddle points. This problem is connected to the problem of J. Palis and C. Pugh [8], that is to find a smooth curve with some “good” properties (finitely many bifurcations for instance) that joins two structurally stable systems (flows or diffeomorphisms). S. Newhouse and M. Peixoto showed in [7] that any two Morse-Smale flows on a closed manifold can be joined by an arc with finitely many bifurcations. Discrete systems are in contrast to this result. For example, S. Matsumoto showed in [5] that every orientable closed surface admits two isotopic Morse-Smale diffeomorphisms which cannot be joined by such an arc. For the dimensions larger or equal to 3 the problem is nontrivial even for the simplest diffeomorphisms “north pole - south pole”. The classical result of J. Cerf [3] states that for every two orientation preserving diffeomorphisms (and therefore for every two diffeomorphisms “north pole - south pole”) on \(\mathbb {S}^3\) there is a smooth arc joining them. We show that it can be so chosen that the whole arc consists of the “north pole - south pole” diffeomorphisms. We show that for dimensions larger then 3 the problem is even more complicated. On the sphere \(\mathbb S^6\) there are two “north pole - south pole” diffeomorphisms that cannot be joined by a smooth arc (it follows easily from the result by J. Milnor). Finally we show the way in which the sequence of two saddle-knot bifurcations results in transition from one class of topological conjugacy to another in set of Pixton diffeomorphisms. The main results of this chapter are in the papers [1, 2, 4, 9].

## Keywords

Saddle Point Orbit Space North Pole South Pole Tubular Neighborhood## References

- 1.Bonatti, C., Grines, V.: Knots as topological invariants for gradient-like diffeomorphisms of the sphere \(S^3\). J. Dyn. Control Syst.
**6**(4), 579–602 (2000)MathSciNetCrossRefzbMATHGoogle Scholar - 2.Bonatti, C., Grines, V., Medvedev, V., Pochinka, O.: Bifurcations of Morse-Smale diffeomorphisms with wildly embedded separatrices. Proc. Steklov Inst. Math.
**256**, 47–61 (2007). doi: 10.1134/S0081543807010038 MathSciNetCrossRefzbMATHGoogle Scholar - 3.Cerf, J.: Sur les difféomorphismes de la sphère de dimension trois (\(\Gamma _4= 0\)). Lecture Notes in Math.
**53**(1968)Google Scholar - 4.Grines, V., Pochinka, O., Zhuzhoma, E.: On families of diffeomorphisms with bifurcations of attractive and repelling sets. Internat. J. Bifur. Chaos Appl. Sci. Engrg.
**24**(8) (2014)Google Scholar - 5.Matsumoto, S.: There are two isotopic Morse-Smale diffeomorphisms which cannot be joined by simple arcs. Invent. Math.
**51**(1), 1–7 (1979)MathSciNetCrossRefzbMATHGoogle Scholar - 6.Mazur, B.: A note on some contractible 4-manifolds. Ann. Math.
**79**(1), 221–228 (1961)MathSciNetCrossRefzbMATHGoogle Scholar - 7.Newhouse, S., Peixoto, M.: There is a simple arc joining any two Morse-Smale flows. Astérisque
**31**, 15–41 (1976)MathSciNetzbMATHGoogle Scholar - 8.Palis, J., Pugh, C.C.: Fifty problems in dynamical systems. In: Dynamical Systems – Warwick 1974, pp. 345–353. Springer, Berlin (1975)Google Scholar
- 9.Pixton, D.: Wild unstable manifolds. Topology
**16**(2), 167–172 (1977)MathSciNetCrossRefzbMATHGoogle Scholar