Any closed 3-manifold supports A-flows with 2-dimensional expanding attractors

We prove that given any closed 3-manifold M3, there is an A-flow f t on M3 such that the non-wandering set NW ( f t) consists of 2-dimensional non-orientable expanding attractor and trivial basic sets.


Introduction
A-flows were introduced by Smale [15] (see basic definitions bellow). This class of flows contains structurally stable flows including Morse-Smale flows and Anosov flows. Recall that a Morse-Smale flow has a nonwandering set consisting of finitely many hyperbolic periodic trajectories and hyperbolic singularities, while any Anosov flow has hyperbolic structure on the whole supporting manifold. A-flows have hyperbolic nonwandering sets that are the topological closure of periodic trajectories. In a sense, A-flows with nontrivial and trivial pieces (basic sets) of non-wandering sets take an intermediate place between Morse-Smale and Anosov flows. We see that A-flows form an important class containing flows with regular and chaotic dynamics.
Due to Smale's Spectral Theorem, a non-wandering set of A-flow is a disjoint union of closed transitive invariant pieces called basic sets. A basic set is called trivial if it is either an isolated fixed point or isolated periodic trajectory.
A nontrivial basic set Ω is called expanding if its topological dimension coincides with the dimension of unstable manifold at each point of Ω. Due to Williams [16], an expanding attractor consists of unstable manifolds of its points. Moreover, the unstable manifolds of points of expanding attractor form a lamination whose leaves are planes and cylinders. In addition, this lamination is locally homeomorphic to the product of Cantor set and Euclidean space of dimension at least two. Thus, the minimal topological dimension of expanding attractor equals two. Therefore, the minimal dimension of manifold supporting two-dimension expanding attractors equals three. It is natural to study the following question : what manifolds admit A-flows with 2-dimensional expanding attractors ?
In the paper, we consider closed 3-manifolds supporting A-flows with 2-dimensional expanding attractors. The main result of the paper is the following statement. Theorem 1. Given any closed 3-manifold M 3 , there is an A-flow f t on M 3 such that the non-wandering set NW ( f t ) consists of a two-dimensional non-orientable expanding attractor and trivial basic sets.
This result contrasts with the case for 3-dimensional A-diffeomorphisms. To be precise, it follows from [8,9,12,17] that if a closed 3-manifold M 3 admits an A-diffeomorphism with 2-dimensional expanding attractor, then π 1 (M 3 ) = 0. Note that though there are Anosov flows with 2-dimensional expanding attractors [1], the Aflow to be constructed in Theorem 1 will not be necessarily Anosov. In fact, Margulis [11] proved that the fundamental group π 1 (M 3 ) of closed 3-manifold M 3 supporting Anosov flows has an exponential growth. In the end of the paper, we discuss the result and formulate some conjectures.

Basic definitions
If x ∈ Λ is a fixed point of hyperbolic Λ, then x is an isolated hyperbolic equilibrium state. The topological structure of flow near x is described by Grobman-Hartman theorem, see for example [13]. In this case E t x = 0 and dim E ss Λ + dim E uu Λ = n. If hyperbolic Λ does not contain fixed points, then the bundles [5], [15]. The corresponding leaves through a point x ∈ λ are called unstable, stable, strongly unstable, and strongly stable manifolds. Given a set U ⊂ M n , denote by f t 0 (U) the shift of U along the trajectories of f t on the time t 0 . Recall that a point x is non-wandering if given any neighborhood U of x and a number T 0 , there is t 0 ≥ T 0 such that U ∩ f t 0 (U) = / 0. The non-wandering set NW ( f t ) of f t is the union of all non-wandering point. Denote by Fix ( f t ) the set of fixed points of flow f t . Following Smale [15], we call f t an A-flow provided its non-wandering set NW ( f t ) is hyperbolic and the periodic trajectories are dense in NW ( f t ) \ Fix ( f t ). It is well known [10,15] that that the non-wandering set NW ( f t ) of A-flow f t is a disjoint union of closed, and invariant, and transitive sets called basic sets. Following Williams [16], we'll call a basic set Ω an expanding attractor provided Ω is an attractor and its topological dimension equals the dimension of unstable manifold W u (x) for every points x ∈ Ω. A basic set Λ is called orientable provided the fiber bundles E ss Λ and E uu Λ are orientable. Note that if E ss Λ and E uu Λ are one-dimensional, then the orientability of Λ means that the both E ss Λ and E uu Λ can be embedded in vector fields on M n .
Recall that an A-flow is a Morse-Smale flow provided its non-wandering set is the union of finitely many singularities and periodic trajectories. Clearly that all basic sets of Morse-Smale flow are trivial.

Proof of the main result
We begin with previous results which are interesting itself. Recall that any closed manifold admits a Morse-Smale flow with a source that is a repelling fixed point. In particular, any closed manifold admits a gradient-like Morse-Smale flow having at least one source and sink [14]. The following result says that any closed 3-manifold admits a Morse-Smale flow with one-dimensional repelling periodic trajectory. Sketch of the proof. Take a gradient-like Morse-Smale flow f t 0 with a sink, say ω, on M 3 . Let U(ω) be a neighborhood of ω. Without loss of generality, we can suppose that U(ω) is a ball. Since ω is a hyperbolic fixed point, one can assume that the boundary ∂U(ω) is a smooth sphere that is transversal to the trajectories. This means that the vector field inducing the flow f t 0 is directed inside of U(ω). Let us introduce coordinates (x, y, z) and the corresponding cylinder coordinates (ρ, φ , z) in U(ω) smoothly connected with the original coordinates in U(ω). Consider the systemρ = ρ · (1 − ρ),φ = 1,ż = −z.
It is easy to check that this system has an attractive hyperbolic trajectory and the saddle fixed point at the origin. Reversing time, one gets the repelling trajectory. 2 Lemma 3. There is an A-flow on S 2 × S 1 such that the spectral decomposition of f t consists of two-dimensional (non-orientable) expanding attractor Λ a and four isolated hyperbolic repelling trajectories. Moreover, there is a neighborhood P of Λ a homeomorphic to the solid torus S 1 × D 2 such that the boundary ∂ P = S 1 × S 1 is transversal to the trajectories which enter inside of P as the time parameter increases.
Proof. Take an A-diffeomorphism f : S 2 → S 2 whose the spectral decomposition consists of a Plykin attractor Λ 0 and four hyperbolic sources. Due to Plykin [12], such diffeomorphism exists. Contemporary construction of Plykin attractor can be found in [7]. Since Plykin attractor is one-dimensional, Λ 0 is an expanding attractor. Without loss of generality, one can assume that f is a preserving orientation diffeomorphism (otherwise, one takes f 2 ).
Let sus t ( f ) be the dynamical suspension over f . Since f is an A-diffeomorphism, sus t ( f ) is an A-flow. Obviously, the spectral decomposition of f corresponds to the spectral decomposition of sus t ( f ). Because of f preserves orientation, the supporting manifold for sus t ( f ) is homeomorphic to S 2 × S 1 . Since Λ 0 is a onedimensional expanding attractor, sus t ( f ) has a two dimensional expanding attractor denoted by Λ a .
Take an isolated hyperbolic repelling trajectory γ that corresponds to some source of f . Since γ is a repelling trajectory, there is a neighborhood V (γ) homeomorphic to a solid torus such that the boundary ∂V (γ) is transversal to the trajectories of sus t ( f ), so that the trajectories move outside of V (γ) as the time parameter increases. This follows that the interior of (S 2 × S 1 ) \ V (γ) is the neighborhood, say P, of Λ a such that the boundary ∂ P = S 1 × S 1 is transversal to the trajectories which enter inside of P as a time parameter increases.
Since f is an orientation preserving diffeomorphism of the sphere S 2 , f is homotopic to the identity. This implies that P is homeomorphic to the solid torus S 1 × D 2 . Hence, sus t ( f ) = f t is a desired flow. 2 PROOF OF THEOREM 1. Let M 3 be a closed 3-manifold. According to Lemma 2, there is a Morse-Smale flow ϕ t with repelling isolated periodic trajectory l on M 3 . Hence, there is a neighborhood U(l) of l such that U(l) is homeomorphic to the interior of the solid torus S 1 × D 2 , and the boundary ∂U(l) is transversal to the trajectories of ϕ t , so that the trajectories move outside of U(l) as a time parameter increases. This follows that U(l) can be replaced by the solid torus P satisfying Lemma 3. As a consequence, one gets the A-flow with two-dimensional (non-orientable) expanding attractor Λ a . This completes the proof. 2

Conclusions
It follows from the proof of the main result that the 2-dimensional expanding attractor satisfying Theorem 1 is non-orientable. We suggest the following conjecture. Two-dimensional expanding attractors are evidence of chaotic dynamics. However, it seems that the following conjecture holds because of Plykin diffeomorphism is structurally stable.