Arxiv:1909.13149V1 [Math.DS] 28 Sep 2019 Ora Fdnmcladcnrlsses O.1,N.1 Jan 1, No

Home , Orientability

arXiv:1909.13149v1 [math.DS] 28 Sep 2019 ora fDnmcladCnrlSses o.1,N.1 Jan 1, No. 18, Vol. Systems, Control and Dynamical of Journal .Myritoue h ocp fruhesfradsrt dyn sy discrete such [14]. of a circle classification for the topological on roughness complete systems) of (Morse-Smale a Moreov obtained concept [13]. and [12], the system Mayer introduced were A. [1], Meyer and Pontryagin Leontovich A. Gork L. E. the and oscillations in Andronov Andronov non-linear roughness A. A. of academician of of by associates work theory the by classic the developed the of in foundations down The laid behaviour. (rough) evdv .Pc,O ohna h eerhr fteNzn N Nizhny the of researchers wor The of Pochinka. years Laud O. twenty F. Pecu, Grines, after E. V. [5] Medvedev, Bonatti, Pochinka C. scientists, O. Russian-French in Grines, of team only V. obtained Morse-Smale Bonatti, were C. three-dimensional results by For classification are completed There intersec the sphere. heteroclinic morphisms, without [18]. n-dimensional flows classific Prishlyak the Morse-Smale the A. for on [17] example, and Pilyugin for [20] S. results, by Umanskiy classification Ya. multidimensional flow by also Morse-Smale works of the conjugacy a necessary topological from th the the in manifolds, of three-dimensional described conditions On ficient exhaustively [16]. is Peixoto classific surfaces M. topological by on the flows So intensiv stable [8]). undergone structurally review has example, and for popularity (see, wide velopment gained has systems namic orod eeolncintersection. heteroclinic bourhood, OS-ML UFCDDFEMRHSSWITH DIFFEOMORPHISMS SURFACED MORSE-SMALE h os-ml yaisi atr farglrsrcual sta structurally regular a of pattern a is dynamics Morse-Smale The ic hn h hoyo oooia lsicto fMorse-Smale of classification topological of theory the then, Since 2000 e od n phrases. and words Key ahmtc ujc Classification. Subject Mathematics opim aeafiienme foinal eeolncor heteroclinic orientable suc of that number prove finite a we have neighborhoods morphisms linearizing methods the and Using torization surfaces. on diffeomorphisms Morse-Smale Abstract 1079-2724/12/0100-0021/0 ntepeetpprw osdrpeevn orientation preserving consider we paper present the In . RETBEHETEROCLINIC ORIENTABLE .MRZVadO POCHINKA O. and MOROZOV A. os-ml iemrhs,fco pc,lnaiignei linearizing space, factor diffeomorphism, Morse-Smale 1. Introduction c 21 02Srne cec+uiesMda Inc. Media, Science+Business Springer 2012 31,2E0 49J15. 22E30, 53C17, ay21,2–3( 21–33 2012, uary diffeo- h bits. ffac- of nah V. enbach, fflows, of follows s ovgorod school y to of ation dsuf- nd work e amical ya by k

diffeo- c stems ation tions de- e 2018 2012) dy- ble gh- er, 22 A.MOROZOVandO.POCHINKA school V. Grines, E. Gurevich, V. Medvedev, O. Pochinka also obtained a complete topological classification of Morse-Smale diffeomorphisms with saddles of co-dimension one on closed n-manifolds [9]. The classification of Morse-Smale cascades on surfaces was obtained in the work by C. Bonatti and R. Langevin [7], as part of the study of diffeomorphisms with zero-dimensional basic sets. Therefore, it uses a rather heavy apparatus of Markov partitions, due to the need to track the geometry of heteroclinic intersections that make up an infinite number of orbits. Given the obvious evolution of the theory of topological classification of dynamical systems, it would be natural to expect a separate and clear classification of two-dimensional Morse-Smale casacdes. Such attempts were made for some meaningful subclasses of surface diffeomorphisms, for example, in the works by A. Bezdenezhnykh, V. Grines, T. Mitryakova, O. Pochinka [4], [10], with the restriction imposed in the form of a finite number of heteroclinic orbits (beh = 1). However, the topology of heteroclinic intersections sometimes itself nat- urally imposes restrictions on the length of heteroclinic chains, which makes it possible to obtain a classification of such systems in combinatorial terms. In this paper, it is proven that Morse-Smale surfaced diffeomorphism with orientable heteroclinic intersections cannot have an infinite number of heteroclinic orbits. In the other words we state the following result. Theorem 1. If f : M 2 → M 2 is a preserving orientation Morse-Smale diffeomorphism on surface with orientable heteroclinic then beh(f)=1. This result was announced by V. Grines and A. Bezdenezhnyh here [3] and was proved as the chapter of the candidate’s dissertation by A. Bez- denezhnyh [2]. That proof used a technique of the paper by A. Mayer [15] about the relation of the number of pairwise disjoint non-trivial recurrent trajectories with the genus of the ambient surface. In this paper we con- duct an independent proof of this result using a factorization methods to compatible systems of neighborhoods.

2. General properties of Morse-Smale diffeomorphisms Everywhere below M n is a smooth closed connected orientable n- dimensional manifold (n ≥ 1) and f : M n → M n is a preserving orientation diffeomorphism. Definition 2 (Morse-Smale diffeomorphism). Diffeomorphism f : M n → M n is called Morse-Smale diffeomorphism, if

1. its non-wandering set Ωf consists of a ﬁnite number of hyperbolic orbits; s u 2. the invariant manifolds Wp , Wq intersect transversally for any non- wandering points p, q. MORSE-SMALE SURFACED DIFFEOMORPHISMS WITH ORIENTABLE HETEROCLINIC23

It is well known that Morse-Smale diﬀeomorphisms have no cycles in the sense of the following deﬁnition.

Definition 3 (k-cycle). A sequence of different periodic orbits O0, O1,..., Ok that satisfies the condition u s WOi+1 ∩ WOi 6= ∅,i ∈{0,...,k}, Ok+1 = O0, is called k-cycle (k ≥ 1). The absence of cycles allows us to introduce the following partial order relation on the set of periodic orbits of the Morse-Smale diffeomorphism (it was first done by S. Smale [19]).

Deﬁnition 4 (Partial order relation, beh). Let Oi, Oj be periodic orbits of the Morse-Smale diﬀeomorphism f : M n → M n. One says that the orbit Oi, Oj are in a relation ≺ (Oi ≺ Oj ), if s u WOi ∩ WOj 6= ∅.

A sequence composed by diﬀerent periodic orbits Oi = Oi0 , Oi1 , ..., Oik =

Oj (k ≥ 1) such that Oi0 ≺ Oi1 ≺ ... ≺ Oik is called chain of length k, connecting periodic orbits Oi and Oj . Number equal to the length of the maximum saddle chain of a Morse-Smale diﬀeomorphism f : M n → M n is denoted beh(f). For a subset P of the periodic orbits of f let us set

beh(Oj |P )= max {beh(Oj|Oi)}. Oi⊂P Proposition 5 ( [11], Theorem 2.1.1). Let f : M n → M n be a Morse- Smale diffeomorphism. Then n u 1. M = S Wp ; p∈Ωf u n 2. Wp is a smooth submanifold of a manifold M diffeomorphic to dim W u R p for any periodic point p ∈ Ωf ; u u u u 3. cl(ℓp ) \ (ℓp ∪ p)= Wr for any unstable separatrix ℓp (a Su s r∈Ωf :ℓp ∩Wr =6 ∅ u connected component of Wp \ p) of periodic point p ∈ Ωf . A similar theorem holds for the stable manifolds of the diffeomorphism f.

3. Surfaced Morse-Smale diffeomorphisms In this section we consider a class MS(M 2) of orientation preserving Morse-Smale diﬀeomorphisms given on a closed orientable surface M 2. 24 A.MOROZOVandO.POCHINKA

3.1. Orientable heteroclinic. Following to [2], for the diﬀeomorphisms in this class we will introduce the concept of orientable heteroclinic as the following.

2 Definition 6 (Orientable heteroclinic). Let f ∈ MS(M ), σi, σj — s u saddle points of diffeomorphism f, such that Wσi ∩ Wσj 6= ∅. For any hete- s u u s roclinic point x ∈ Wσi ∩ Wσj we define an ordered pair of vectors (~υx , ~υx), where: u • ~υx is the tangent vector to the unstable manifold of the point σj at u the point x and directed from x to f m (x), where mu is a period of the unstable separatrix containing x; s • ~υx is the tangent vector to the stable manifold of the point σi at the s point x and directed from x to f m (x), where ms is a period of the stable separatrix containing x. Heteroclinic intersection of diffeomorphism f is called orientable, if ordered u s pairs of vectors (~υx , ~υx) determines the same orientation of the ambient surface M 2 at every heteroclinic point x of the diffeomorphism f. Otherwise, the heteroclinic intersection is called non-orientable (see Fig. 1, Fig. 2).

Fig. 1. Non-orientable heteroclinic intersection

Fig. 2. Orientable heteroclinic intersection MORSE-SMALE SURFACED DIFFEOMORPHISMS WITH ORIENTABLE HETEROCLINIC25

2 3.2. Linearizing neighborhoods. For ν ∈ {−1, 1} denote by aν : R → R2 diffeomorphism given by formula x a (x , x ) = (ν · 1 ,ν · 2x ). ν 1 2 2 2 We call aν canonical diffeomorphism. Diffeomorphism aν has a single fixed s saddle point at the origin O with stable manifold WO = Ox1 and unstable u manifold WO = Ox2. 2 Let N = {(x1, x2) ∈ R : |x1x2| ≤ 1}. Notice that the set N is invariant with respect to the canonical diffeomorphism aν . Define in the neighborhood of N a pair of transversal foliations F u, F s as follows:

s F = [ {(x1, x2) ∈ N : x2 = c2}, c2∈Ox2 u F = [ {(x1, x2) ∈ N : x1 = c1}. c1∈Ox1 Notice that the canonical diffeomorphism aν which sends the leaves of foliation F u (F s) to leaves of the same foliation. Now let σ be a saddle point of a diffeomorphism f ∈ MS(M 2). Suppose σ has a period mσ and a type of orientation νσ, that is νσ = 1 (νσ = −1) if m σ u f |Wσ preserves (changes) the orientation. Definition 7 (Linearizing neighbourhood). An f mσ -invariant neighbourhood Nσ of saddle point σ ∈ Ωf is called by linearizing if there is mσ a homeomorphism µσ : Nσ → N , conjugate diffeomorphism f |Nσ with canonical diffeomorphism aνσ |N .

u s −1 mσ Foliations F , F induced by means of the homeomorphism µσ , f - u s invariant foliations Fσ , Fσ on the linearizing neighboughood Nσ (see Fig. 3). mσ −1 Neighbourhood N = f k(N ), equipped with a mapping µ , Oσ S σ Oσ k=0 −k k composed of homeomorphisms µσf : f (Nσ) → N , k = 0,...,mσ − 1, called by linearizing neighbourhood of orbit Oσ. Deﬁnition 8 (The compatible system of neighbourhoods). An f-invariant collection Nf of linearizing neghbourhoods Nσ of all saddle point σ of diffeomorphism f ∈ MS(M 2) is called compatible if the following properties are hold: s u u s • if Wσ1 ∩ Wσ2 = ∅ and Wσ1 ∩ Wσ2 = ∅ for saddle points σ1, σ2 then

Nσ1 ∩ Nσ2 = ∅; s u • if Wσ1 ∩ Wσ2 6= ∅ for diﬀerent saddle points σ1, σ2 then u u s s (Fσ1 ,x ∩ Nσ2 ) ⊂ Fσ2 ,x, (Fσ2,x ∩ Nσ1 ) ⊂ Fσ1,x,

for x ∈ (Nσ1 ∩ Nσ2 ) (see Fig. 4). 26 A.MOROZOVandO.POCHINKA

Fig. 3. A linearizing neighborhood

Fig. 4. A compatible system of neighborhoods

Proposition 9 ( [6], Theorem 1). For every diffeomorphism f ∈ MS(M 2) there is a compatible system of neighbourhoods. 2 3.3. Factorization method. Let f ∈ MS(M ). Denote by Σ0, Σ, Σbeh(f) the set of all sinks, saddles, sources of f, accordingly. We decompose the set Σ on the subsets Σ1,..., Σbeh(f)−1 inductively, as follows: define Σi as the set of all saddle points of the diffeomorphism f, such that beh(Oσ|Σi−1)=1 for every orbit Oσ, σ ∈ Σi. For every i ∈{0,...,beh(f) − 1} define i i u s Ai = [ WΣj , Vi = [ WΣj \ Ai. j=0 j=0 MORSE-SMALE SURFACED DIFFEOMORPHISMS WITH ORIENTABLE HETEROCLINIC27

It follows from [11] that Ai is an attractor of the diffeomorphism f and f acts discontinuously on the Vi. Let Vî = Vi/f and denote by ˆ pi : Vi → Vi the natural projection. ˆ ˆ −1 ˆ Let V be a connected component of Vi and V = pi (V ). Denote by mV the number of connected components in V . Set pV = pi |V . Proposition 10 ( [11] Proposition 2.1.5). The space Vˆ is diffeomorphic ˆ to two-dimensional torus, natural projection pV : V → V is a covering map ˆ Z Z inducing an epimorphism ηV : π1(V ) → mV (here mV is the group of ˆ integers multiple to mV ) with the following property. Let [ˆc] ∈ π1(V ). Any lift c of the loop cˆ joints a point x ∈ V with the point f n(x), where n ∈ Z does not depend on the choice of the lift. Then ηV ([ˆc]) = n. u For an unstable separatrix γ of a saddle point σ denote by mγu its period, that is, the smallest natural number µ, such that f µ(γu) = γu. Let us suppose, that an unstable saddle separatrix γu belongs to V . Let u u u u ˆ γˆ = pV (γ ) and denote by jγˆ :ˆγ → V the inclusion map. Proposition 11 ( [11] proposition 2.1.3). The set γû is a circle u ˆ u u Z smoothly embedded in V , such that ηV (jγˆ ∗(π1(ˆγ ))) = mγ .

Fig. 5. Projection of an unstable saddle separatrix to Vˆ

On ﬁgure 5 the torus Vˆ is represented with projection γˆu of separatrix γu such that mγu = 3. mω s u Let Nγu be a connected component of the set Nσ \Wσ containing γ and u ˆ u Nγu = pV (Nγ ).

Proposition 12 ( [11] Proposition 2.1.3). The set Nˆγu is an annulus smoothly embedded in Vˆ . 28 A.MOROZOVandO.POCHINKA

Fig. 6. Projection of compatible foliations to Vˆ

Similar statements can be formulated for the stable saddle separatrix when it belongs to V . On Figure 6 a part of the phase portrait of a diﬀeomorphism f ∈ 2 MS(M ) is represented. Here α1, α2 are source points, ω1,ω2 are sink points, σ1 is a saddle point and Nσ1 is a linearizing neighbourhood of it. s All non-wandering point are supposed to be ﬁxed and V = Wω1 \ ω1 — the punctured basin of the sink ω1. Then on the space orbit Vˆ we can see ˆ u u annulus Nγ = pV (Nγ ) as the projection of a part of Nσ1 containing the unstable separatrix γu. Also we can see projections of both foliations in

Nσ1 : ˆu u ˆs s Fσ1 = pV (Fσ1 ), Fσ1 = pV (Fσ1 ).

4. Proof of the main result (Theorem 1) 2 Let f ∈ MS(M ) and Nf be its compatible system of linearizing neghbourhoods Nσ of all saddle point σ. In the denotations of previous section for i =1,...,beh(f) − 1 let s s u u Wi = [ Wσ , Wi = [ Wσ , σ∈Σi σ∈Σi

s s u u Ni = [ Nσ, Fi = [ Fσ , Fi = [ Fσ . σ∈Σi σ∈Σi σ∈Σi Let us prove, that from the conditions of the orientability heteroclinic intersections of f follows that beh(f) = 1. MORSE-SMALE SURFACED DIFFEOMORPHISMS WITH ORIENTABLE HETEROCLINIC29

Suppose the opposite: beh(f) > 1. Then there is a chain of saddle points σ1 ≺ σ2 ≺ σ3 (see Figure 7), such that σi ∈ Σi and (see Fig. 7) u s Wσi+1 ∩ Wσi 6= ∅,i =1, 2.

Fig. 7. The chain of the periodic points σ1 ≺ σ2 ≺ σ3 of the diﬀeomorphism f.

s u u s u Then these saddle points have separatrix γ1,γ2 ,γ3 such that γ1 ∩ γ2 6= ∅ u s s s u u and γ3 ∩ Wσ2 6= ∅. Letγ ˆ1 = p1(γ1 ), γˆ2 = p1(γ2 ). By the construction, s u all points of the separatrix γ1,γ2 belong to space V1. Due to Proposition s u ˆ 11, each setγ ˆ1, γˆ2 is a circle on a disjoint union of the tori V1. Since the s u intersectionγ ˆ1 ∩ γˆ2 is not empty then these circles belong to the same torus ˆ ˆ s ˆ 1 u (denote it by V ). Also we will see annuli N1 = p1(Nγ1 ) and N2 = p1(Nγ2 ) on the torus Vˆ . u Every point of the separatrix γ3 , except the ﬁnite number of heteroclinic u s u u orbits γ3 ∩W2 , belongs to the space V1. Then the setγ ˆ3 = p1(γ3 ) consists u s of a ﬁnite number of non-compact arcs. As γ3 ∩ Wσ2 6= ∅ then, due to

u u ˆ Proposition 5, γ3 ∩ Nγ2 6= ∅. Thus there is a connected component ℓ of the u ˆ ˆ 1 setγ ˆ3 such that ℓ ∩ N2 6= ∅. û ˆ u ˆ Let Γ2 = V ∩ p1(W2 ) and N2 = p1(N2). Due to Proposition 11 the set û ˆ Γ2 is a disjoint union of homotopically non-trivial circles on the torus V u andγ ˆ2 is one of them. From condition of the orientability of heteroclinic s intersections, it follows that the circleγ ˆ1 intersects each of the circles of the û set Γ2 and the index of the intersection at each point of such the intersection is the same. ˆ ˆ ˆ 2 ˆ 2 ˆ 1 As the curve ℓ belongs V then there is annuli N2 (possible N2 = N2 ) which is a connected components of the set Nˆ2 and such that (ℓˆ∩ Nˆ2) ⊂ ˆ 1 ˆ 2 (N2 ∪ N2 ). From the compatible system of neighborhoods follows, that ˆ ˆ 1 ˆ 2 each connected component of the intersection ℓ ∩ (N2 ∪ N2 ) is a leaf of the û u foliation F2 = p1(F2 ) (see Fig. 8). ˆ ˆ 1 ˆ ˆ 2 Letx ˆ1 = ℓ ∩ ∂N2 andx ˆ2 = ℓ ∩ ∂N2 . Due to the orientability of the heteroclinic intersection the pointsx ˆ1, xˆ2 belong to different connected com- ˆ 1 ˆ 2 ponents of the set ∂(N2 ∪ N2 ). Moreover, according to compatibility of 30 A.MOROZOVandO.POCHINKA

Fig. 8. Orbit space Vˆ system of linearizing neighborhoods, the arc ℓˆ is a union of three arcs with the pairwise disjoint interiors ˆ û ˆ û ℓ = F1,ℓˆ ∪ ℓxˆ1,xˆ2 ∪ F2,ℓˆ, where Fû , Fû are different leaves of foliation Fû. 1,ℓˆ 2,ℓˆ 2 It follows from the definition of the compatible system of linearizing neighborhoods that every connected component of the intersection s ˆ 1 ˆ 2 ˆs s γˆ1 ∩ (N2 ∪ N2 ) is a leaf of the foliation F2 = p1(F2 ). Choose one connected component Fˆs (Fˆs ) in the intersectionγ ˆs ∩ Nˆ 1 (ˆγs ∩ Nˆ 2), possible 1,ℓˆ 2,ℓˆ 1 2 1 2 Fˆs = Fˆs if Nˆ 1 = Nˆ 2. Lety ˆ = Fˆs ∩ Γˆ andy ˆ = Fˆs ∩ Γˆ . Also choose 1,ℓˆ 2,ℓˆ 2 2 1 1,ℓˆ 2 2 2,ℓˆ 2 one pair of the pointsz ˆ , zˆ from each of the countable set Fˆs ∩ Fû , 1 2 1,ℓˆ 1,ℓˆ Fˆs ∩ Fû (see Fig. 9). 2,ℓˆ 2,ℓˆ According to the orientability of the heteroclinic intersection, the pairs u s u s of the vectors (~υyˆ1 , ~υyˆ1 ) and (~υyˆ2 , ~υyˆ2 ) define the same orientation of the ˆ u s u s u s torus V . Also, the pairs of the vectors (~υyˆ1 , ~υyˆ1 ), (~υzˆ1 , ~υzˆ1 ) and (~υyˆ2 , ~υyˆ2 ), u s (~υzˆ2 , ~υzˆ2 ) also need to be consistently oriented. However, this contradicts with any orientation on the curve ℓˆ. MORSE-SMALE SURFACED DIFFEOMORPHISMS WITH ORIENTABLE HETEROCLINIC31

a) b)

Fig. 9. Intersection of separatrices in the space orbit Vˆ

Acknowledgements. The proof of Theorem 1 is supported by RSF (Grant no. 17-11-01041), the proof of auxiliary results is supported by Basic Re- search Program at the National Research University Higher School of Eco- nomics (HSE) in 2019.

References 1. A.A. Andronov, L.S. Pontryagin. Rough systems. Report, The Academy of Sciences USSR. 14:5 (1937), 247–250. 2. A.N. Bezdenezhnyh. Dissertation: Topological classification of Morse- Smale diffeomorphisms with orientable heteroclinic set on two- dimensional manifolds. The University of N.I. Lobachevskiy, Gor’kij. (1985). 3. A.N. Bezdenezhnykh and V.Z. Grines. Diffeomorphisms with orientable heteroclinic sets on two-dimensional manifolds. Methods of the quanti- tative theory of differential equations, Gorkii State University, Gorkii. (1985), 139-152. 4. A.N. Bezdenezhnyh, V.Z. Grines. Dynamic properties and topological classification of gradient-like diffeomorphisms on two-dimensional manifolds I (II). KTUD Methods, editor E.A. Leontovich-Andronova. Gor’kij. (1985), 22–38;(1987), 24–32. Selected translations. Selecta Math. Soviet. 11 (1992), No. 1, 1–11. 5. Ch. Bonatti, V.Z. Grines, O.V. Pochinka. Topological classification of Morse-Smale diffeomorphisms on 3-manifolds. Duke Mathematical Jour- nal. (2019). 32 A.MOROZOVandO.POCHINKA

6. Ch. Bonatti, V. Grines, O. Pochinka, S. Van Strien. A complete topological classification of Morse-Smale diffeomorphisms on surfaces: a kind of kneading theory in dimension two. Cornell University Library. (2017). 7. Ch. Bonatti, R. Langevin. Diffeomorphismes de Smale des surfaces. Aste’risque socie’te’ mathe’matique de France. (1998), No. 250. 8. V.Z. Grines, E.Ya. Gurevich, E.V. Zhuzhoma, O.V. Pochinka. Classi- fication of Morse-Smale systems and topological structure of bearing manifolds. Russian Mathematical Surveys. (2019), No. 74 issue 1(445), 41-116. 9. V.Z. Grines, E.Ya. Gurevich, O.V. Pochinka, V.S. Medvedev. On em- bedding Morse-Smale diffeomorphisms on 3-manifolds in a topological flow. Sbornik: Mathematics. 203:12, (2012), 81-104. 10. V.Z. Grines, T.M. Mitryakova, O.V.Pochinka. New topological invari- ants of non-gradient-like diffeomorphisms on orientable surfaces. Jour- nal of the middle Volga mathematical society. Saransk. 7:1, (2005), 123- 129. 11. V. Grines V., T. Medvedev, O. Pochinka, Dynamical Systems on 2- and 3-Manifolds. Switzerland, Springer International Publishing. (2016). 12. E.A. Leontovich, A.G. Maier. On trajectories determining the quali- tative structure of partition of a sphere into trajectories.Report, The Academy of Sciences USSR. 14:5, (1937), 251-257. 13. E.A. Leontovich, A.G. Maier. About the scheme determining the topological structure of partition into trajectories.Report, The Academy of Sciences USSR. 103:4, (1955), 557-560. 14. A.G. Maier. Rough transformation of a circle into a circle.Scientific notes of the Gorky state University. 12, (1939), 215-229. 15. A.G. Maier. On trajectories on orientable surfaces. Sbornik: Mathemat- ics. 12(54):1 (1943), 7184 . 16. M.M. Peixoto. Structural stability on two-dimensional manifolds. Topol- ogy 1, (1962), 101-120; a further remark. Topology. 2, (1963), 179-180. 17. S. Yu. Pilyugin. Phase diagrams defining Morse-Smale systems without periodic trajectories on spheres. Differential equations. 14:2, (1978), 245-254. 18. A.O. Prishlyak. A complete topological invariant of Morse-Smale flows and tube decompositions of three-dimensional manifolds. Fundamental and applied mathematics., 11:4, (2005), 185-196. 19. S. Smale.Diferentiable dynamical systems. Bull. Amer. Math. Soc. 73(6), (1967), 747–817. 20. Ya.L. Umanskij. Necessary and sufficient conditions for the topological equivalence of three-dimensional dynamical Morse-Smale systems with a finite number of special trajectories. Sbornik: Mathematics. 181:2, (1990), 212–239. MORSE-SMALE SURFACED DIFFEOMORPHISMS WITH ORIENTABLE HETEROCLINIC33

(Received July 28 2010, received in revised form May 18 2011)

Authors’ addresses: A. Morozov National Research University Higher School of Economics, Nizhnij Nov- gorod, Russia. ORCID: http://orcid.org/0000-0003-3125-1825 E-mail: [email protected]

O. Pochinka National Research University Higher School of Economics, Nizhnij Nov- gorod, Russia. ORCID: http://orcid.org/0000-0002-6587-5305 E-mail: [email protected]