arXiv:math/0110123v1 [math.DS] 11 Oct 2001 uhthat such us nsvdiffeomorphisms Anosov quasi n xo n h occecniin eie,te r the are they Besides, condition. no-cycle the and A Axiom htsup that h -ou,adt suoAoo asi hylv nasurfa a in live they L]. if [H1, maps 1 pseudo-Anosov than th greater to diffeo on and u Anosov to found 2-torus, let conjugated be the are Indeed, may homeomorphisms homeomorphism e expansive manifolds. expansive that all no restrictions ambient that the their instance, about on ideas impose some omorphisms bring will man the them, and ing diffeomorphisms) expansive of examples simplified ls of class ∞ → nti okw bansm etitoso manifold a on restrictions some obtain we work this In h eodato a atal upre yCNCT Fondo CONICYT, PEDEC by from supported grant partially a was by author supported second partially The was author first The hs aswr nrdcdi M]b ane h hwdthey Ma˜n´e, showed by who [M1] in introduced were maps These eepc noehn,ta tdigterlto ewe QAD between relation the studying that hand, one on expect We NMNFLSSPOTN US ANOSOV QUASI SUPPORTING MANIFOLDS ON sntAnosov. not is hssi nsv res t udmna ru otisaco a contains group fundamental its else or Anosov, is phisms n Abstract. iemrhs.If diffeomorphism. AARDIUZHRZ RA HERTZ, RODRIGUEZ JANA rfor or xasv diffeomorphisms expansive n hnΠ then 4 = ∈ k Z ( d f ( n n f ) n ′ −∞ → ( ( x x Let 1 ) ) ( v f , M → k M otisacp of copy a contains ) n . ( n ean be y DIFFEOMORPHISMS hneither then 3 = )) + α > ∞ n 1. dmninlmnfl uprigaqaiAnosov quasi a supporting manifold -dimensional QD,maigdiffeomorphisms meaning (QAD), o l o eovectors zero non all for if , Introduction x g 6= LUE,ADJOS AND URES, UL ´ M] hs aifigfrsome for satisfying those [M2], M Z y 4 rvddta h diffeomorphism the that provided , . = T 3 nwihcs h diffeomor- the case which in , M v .VIEITEZ L. E ´ IBA. lmneEstable. Clemente ∈ nodrt support to order in C yof py T 1 pniehome- xpansive x flssupport- ifolds opim on morphisms neiro the of interior ewt genus with ce M Z eal for recall, s f ihrfor either , 6 2-sphere, e If . s(enas (seen ’s : M > α satisfy → M 0, 2 JANARODRIGUEZHERTZ,RAUL´ URES, AND JOSE´ L. VIEITEZ

In the case M is a 3-manifold, an expansive C1+ε diffeomorphism is con- jugated to an Anosov diffeomorphism if its non-wandering set is M; in which case M must be T3 [V]. On the other hand, Ma˜n´e[M3] and Hiraide [H2] have posed the question of whether a QAD on Tn is necessarily Anosov. This work provides a positive answer for n = 3, though we must point out that solving the problem for higher dimensions seems to involve more sophisticated tools. However, there are also examples of QAD’s on 3-dimensional manifolds having wandering points [FR]. We present here necessary conditions on a 3- manifold to support this kind of examples. Partial results on 4-manifolds are also obtained. The main result in this work is the following: Theorem . Let f : M n → M n be a quasi Anosov diffeomorphism which is not Anosov. If n = 3 then π1(M) contains a subgroup which is isomorphic to 6 4 Z . If n = 4, π1(M) contains a subgroup which is isomorphic to Z . This result is strongly based on a theorem due to R. Plykin, which is stated below, and arguments concerning Axiom A diffeomorphisms with the no-cycle condition. Theorem 1.1 ([P1, P2]). Let f : M → M be a diffeomorphism on an n- manifold , where n ≥ 3. If f has k expanding attractors or shrinking repellers Zn of codimension 1 then π1(M) contains a subgroup isomorphic to Lk . We recall that a hyperbolic attractor is said to have dimension u or equiv- alently codimension n − u if the dimension of its unstable fibre bundle is u. Analogously we shall say that a hyperbolic repeller is of dimension s or codi- mension n − s if the dimension of its stable fiber bundle is s. Our strategy is to see that a QAD on a 3-manifold must have at least two codimension one attractors or repellers, while on a 4-manifold, it must have at least one. This fact will allow us to prove our main theorem, getting the following as an immediate corollary: Corollary 1.1. Every quasi Anosov diffeomorphism on T3 is Anosov. Corollary 1.1 provides an easier way of recognizing Anosov diffeomorphisms on T3: it suffices to check that each non zero vector in the tangent bundle goes to infinity under the action of Df n. QUASI ANOSOV DIFFEOMORPHISMS 3

2. Relation among dimension 1 attractors and codimension 1 repellers From now on, we shall assume M is a compact smooth n-manifold without boundary, and f : M → M is a QAD. The non- wandering set of f will be denoted by Ω(f), and Λi will stand for the basic sets arising from the Spectral Decomposition Theorem [S]. We shall also maintain the standard notation W s(x) for the stable manifold of x, i.e. the set of points y ∈ M such that d(f n(x),f n(y)) → 0 as n →∞.

Definition 2.1. Letting Ω(f) = Λ1 ∪ . . . ∪ Λk, we shall say that Λi is of type (s, u) if the stable dimension of Λi is s, and the unstable dimension of Λi is u. σ σ The expression W (Λi) will be used to denote the set Sx∈Λi W (x), for σ = u s s, u, in which case the relation Λi ≺ Λj will mean that W (Λi) ∩ W (Λj) 6= ∅. We recall from [M1] that a QAD is Anosov, if it satisfies the strong transver- sality condition. Notice that this condition is satisfied if all basic sets are of the same type. We state this conclusion as a lemma Lemma 2.1. If all basic sets of a QAD f are of the same type then f is Anosov. Therefore we get the following Proposition 2.1. Let f be a QAD such that Ω(f) 6= M. If some basic set of f is of type (1,n − 1) (or (n − 1, 1)), then f must have a codimension one attractor (repeller).

u Proof. Let Λ1 be a basic set of f, of type (1,n − 1) then W (Λ1) must meet s W (Λ2) where Λ2 is another basic set of f (the no cycle condition yields Λ1 6= Λ2). Hence Λ1 ≺ Λ2, implying that the stable dimension of Λ2 is one. s u Indeed, let x ∈ Λ1 and y ∈ Λ2 such that z ∈ W (x) ∩ W (y). If the stable dimension of Λ2 were greater than one, then we would find a non zero vector u s v ∈ TzM which would be tangent both to W (z) and W (z), what would yield kf n(z)vk→ 0 as |n|→∞, contradicting the fact that f is quasi Anosov. u s This leaves us only two possibilities: either W (Λ2) meets W (Λ3), for some u other basic set Λ3, or Λ2 contains the whole set W (Λ2), whence it would be a codimension one attractor. In this way we inductively obtain a chain

Λ1 ≺ Λ2 ≺ . . . Λr 4 JANARODRIGUEZHERTZ,RAUL´ URES, AND JOSE´ L. VIEITEZ which must end after a finite number of steps, due to the no cycle condition. Besides, the previous argument shows that Λi has stable dimension one, for each i = 1, . . . r. If we suppose the previous chain is maximal, then Λr must be a codimension one attractor.

3. Proof of the Theorem We shall see that each QAD on a 3-manifold must have an attractor and a repeller of codimension one, provided that it is not Anosov. This, together with Theorem 1.1 finishes the case dim M = 3. Let f : M 3 → M 3, since quasi Anosov maps do not have attracting or repelling periodic points, their basic sets must be all of type (1, 2) or (2, 1). If f has a basic set of type (1, 2) then Proposition 2.1 implies the existence of a codimension one attractor. Now, if f is not Anosov, then it must also have a basic set of type (2, 1), otherwise, all the basic sets would be of the same type. But in this case, Proposition 2.1 guarantees the existence of a codimension one repeller, as well. Observe that the previous argument also shows that if f : M 4 → M 4 is not an Anosov diffeomorphism, then it must have (at least) a basic set of type (1, 3) or (3, 1), otherwise, all basic sets would be of type (2, 2) what would imply f is Anosov. Proposition 2.1 again, implies the existence of an attractor or a repeller of codimension one.

References [FR] J.Franks, C.Robinson A quasi-Anosov diffeomorphism that is not Anosov Transac. A.M.S., 223 (1976) 267-278. [H1] K.Hiraide Expansive homeomorphisms of surfaces are Pseudo-Anosov, Osaka J. Math. 27 (1990) 117-162. [H2] K.Hiraide Dynamical systems of expansive maps on compact manifolds, Sugaku Expo. 5 (1992) 133-154. [L] J.Lewowicz Expansive homeomorphisms of surfaces, Bol. Soc. Bras. Math (1) 20 (1989) 113-133. [M1] R.Man˜e´ Quasi-Anosov diffeomorphisms and hyperbolic manifolds, Trans. A.M.S., 229 (1977) 351-370. [M2] R.Man˜e´ Expansive diffeomorphisms, Lecture Notes in Mathematics (Springer- Verlag), 468 (1975) 162-174. [M3] R.Man˜e´ personal communication. QUASI ANOSOV DIFFEOMORPHISMS 5

[P1] R.Plykin Hyperbolic attractors of diffeomorphisms, Russian Math. Surveys (3) 35 (1980) 109-121. [P2] R.Plykin On hyperbolic attractors of diffeomorphisms (The non-orientable case), Russian Math. Surveys (4) 35 (1980) 186-187. [S] Smale, Stephen Differentiable Dynamical Systems Bull. AMS, 73 (1967) 747-817 [V] J.Vieitez Lyapunov Functions and Expansive Diffeomorphisms on 3D-Manifolds, to appear in Erg.Th. & Dyn. Syst.

Jana Rodriguez Hertz E-mail address: [email protected]

Raul´ Ures E-mail address: [email protected]

Jose´ L. Vieitez E-mail address: [email protected]

CC 30, IMERL - Facultad de Ingenier´ıa, Universidad de la Republica,´ Monte- video, Uruguay