A uniqueness theorem for transitive Anosov flows obtained by gluing hyperbolic plugs

In a previous paper with C. Bonatti ([5]), we have defined a general procedure to build new examples of Anosov flows in dimension 3. The procedure consists in gluing together some building blocks, called hyperbolic plugs, along their boundary in order to obtain a closed 3-manifold endowed with a complete flow. The main theorem of [5] states that (under some mild hypotheses) it is possible to choose the gluing maps so the resulting flow is Anosov. The aim of the present paper is to show a uniqueness result for Anosov flows obtained by such a procedure. Roughly speaking, we show that the orbital equivalence class of these Anosov flows is insensitive to the precise choice of the gluing maps used in the construction. The proof relies on a coding procedure which we find interesting for its own sake, and follows a strategy that was introduced by T. Barbot in a particular case.


Introduction
In a previous paper written with C. Bonatti ([5]), we have proved a result allowing to construct transitive Anosov flows in dimension 3 by "gluing hyperbolic plugs along their boundaries".The purpose of the present paper is to study Anosov flows obtained by such a construction.We focus our attention on the diffeomorphisms that are used to glue together the boundaries of the hyperbolic plugs.We aim to understand what is the impact of the choice of these diffeomorphisms on the dynamics of the resulting Anosov flows.We will see that two gluing diffeomorphisms that are "strongly isotopic" yield some Anosov flows that are orbitally equivalent.In other words, in [5], we have proved the existence of Anosov flows constructed by a certain gluing procedure, and the goal of the present paper is to prove a uniqueness result for these Anosov flows.
In order to state some precise questions and results, we need to introduce some terminology.A hyperbolic plug is a pair (U, X) where U is a (not necessarily connected) compact threedimensional manifold with boundary, and X is a vector field on U , transverse to ∂U , and such that the maximal invariant set Λ X := t∈R X t (U ) is a saddle hyperbolic set for the flow (X t ).Given such a hyperbolic plug (U, X), we decompose ∂U as the disjoint union of an entrance boundary ∂ in U (the union of the connected component of ∂U where the vector field X is pointing inwards U ) and an exit boundary ∂ out U (the union of the connected component of ∂U where the vector field X is pointing outwards U ).The stable lamination W s (Λ X ) of the maximal invariant set Λ X intersects transversally the entrance boundary ∂ in U and is disjoint from the exit boundary ∂ out U .Hence, L s X := W s (Λ X ) ∩ ∂U a one-dimensional lamination embedded in the surface ∂ in U .Similarly, L u X := W u (Λ X ) ∩ ∂U a one-dimensional lamination embedded in the surface ∂ out U .We call L s X and L u X the entrance lamination and the exit lamination of the hyperbolic plug (U, X).It can be proved that these laminations are quite simple: (i) They contain only finitely many compact leaves.
(ii) Every half non-compact leaf is asymptotic to a compact leaf.
(iii) Each compact leaf may be oriented such that its holonomy is a contraction.Hyperbolic plugs should be thought as the basic blocks of a building game, our goal being to build some Anosov flows by gluing a collection of such basic blocks together.From a formal viewpoint, a finite collection of hyperbolic plugs can always be viewed as a single non-connected hyperbolic plug.For this reason, it is enough to consider a single hyperbolic plug (U, X) and a gluing diffeomorphism ψ : ∂ out U → ∂ in U .For such (U, X) and ψ, the quotient space M := U/ψ is a closed three-manifold, and the incomplete flow (X t ) on U induces a complete flow (Y t ) on M .The purpose of the paper [5] was to describe some sufficient conditions on U , X and ψ for (Y t ) to be an Anosov flow.We will now explain these conditions.
We say that a one-dimensional lamination L is filling a surface S if every connected component C of S \ L is "a strip whose width tends to 0 at both ends": more precisely, C is simply connected, the accessible boundary of C consists of two distinct non-compact leaves ℓ − , ℓ + of L, and these two leaves ℓ − , ℓ + are asymptotic to each other at both ends.We say that two laminations L 1 , L 2 embedded in the same surface S are strongly transverse if they are transverse to each other, and moreover every connected component C of S \ (L 1 ∪ L 2 ) is a topological disc whose boundary ∂C consists of exactly four arcs α 1 , α 2 , α ′ 1 , α ′ 2 where α 1 , α ′ 1 are arcs of leaves of the lamination L 1 and α 2 , α ′ 2 are arcs of leaves of the lamination L 2 .We say that a hyperbolic plug (U, X) has filling laminations if the entrance lamination L s X is filling the surface ∂ in U and the exit lamination L u X is filling the surface ∂ out U .Given a hyperbolic plug (U, X), we say that a gluing diffeomorphism ψ : ∂ out U → ∂ in U is strongly transverse if the laminations L s X and ψ * L u X (both embedded in the surface ∂ in U ) are strongly transverse.If (U, X 1 ) and (U, X 2 ) are two hyperbolic plugs with the same underlying manifold U , and ψ 1 , ψ 2 : ∂ out U → ∂ in U are two gluing diffeomorphisms, we say that the triples (U, X 1 , ψ 1 ) and (U, X 2 , ψ 2 ) are strongly isotopic if one can find a continuous one-parameter family {(U, X t , ψ t )} t∈ [1,2] so that (U, X t ) is a hyperbolic plug and ψ t : ∂ out U → ∂ in U is a strongly transverse gluing map for every t.The main technical result of [5] can be stated as follows: Theorem 1.1.Let (U, X 0 ) be a hyperbolic plug with filling laminations such that the maximal invariant set of (U, X 0 ) contains neither attractors nor repellers, and let ψ 0 : ∂ out U → ∂ in U be a strongly transverse gluing diffeomorphism.Then there exist a hyperbolic plug (U, X) with filling laminations and a strongly transverse gluing diffeomorphism ψ : ∂ out U → ∂ in U such that (U, X 0 , ψ 0 ) and (U, X, ψ) are strongly isotopic, and such that the vector field Y induced by X on the closed manifold M := U/ψ is Anosov.
The idea of building transitive Anosov flows by gluing hyperbolic plugs goes back to [7] where Bonatti and R. Langevin consider a very simple hyperbolic plug (U, X) whose maximal invariant set is a single isolated periodic orbit and are able to find an explicit gluing diffeomorphism ψ : ∂ out U → ∂ in U so that the vector field Y induced by X on the closed manifold M := U/ψ generates a transitive Anosov flow.This example was later generalized by T. Barbot who defined a infinite family of transitive Anosov flows which he calls BL-flows.These examples are obtained by considering the same very simple hyperbolic plug (U, X) as Bonatti and Langevin, but more general gluing diffeomorphisms.
Theorem 1.1 naturally raises the following question (see [5,Question 1.7]): in the statement of Theorem 1.1, is the Anosov vector field Y well-defined up to orbitally equivalence ?(recall that two Anosov flows are said to be orbitally equivalent if there exists a homeomorphism between their phase space mapping the oriented orbits of the first flow to the oriented orbitsthe second one).One of the main purpose of the present paper is to provide a positive answer to this question.More precisely, we will prove the following: Theorem 1.2.Let (U, X 1 , ψ 1 ) and (U, X 2 , ψ 2 ) be two hyperbolic plugs endowed with strongly transverse gluing diffeomorphisms.Let Y 1 and Y 2 be the vector fields induced by X 1 and X 2 on the closed manifolds M 1 := U/ψ 1 and M 2 := U/ψ 2 .Suppose that: 0. the manifolds U , M 1 and M 2 are orientable; 1. both Y 1 and Y 2 are transitive Anosov flows; 2. the triples (U, X 1 , ψ 1 ) and (U, X 2 , ψ 2 ) are strongly isotopic.Remark 1.3.A possible application of Theorem 1.2 is to get some finiteness results.Suppose we are given a hyperbolic plug (U, X) and a diffeomorphism ψ 0 : ∂ out U → ∂ in U .Consider the partition of the isotopy class of ψ 0 into strong isotopy classes.Although we did not write down a complete proof, it seems to us that this partition is finite.In view of Theorem 1.2, this means the following: up to orbital equivalence, there are only finitely many transitive Anosov flows that are built using the hyperbolic plug (U, X) and a gluing map ψ : ∂ out U → ∂ in U isotopic to ψ 0 .A further consequence should be that, if we consider some given hyperbolic plugs (U 1 , X 1 ), . . ., (U n , X n ) so that U 1 , . . ., U n are hyperbolic manifolds, and if we consider a manifold M , then, up to orbital equivalence, there should only finitely many transitive Anosov flows on M that are obtained by gluing (U 1 , X 1 ), . . ., (U n , X n ).
An analog of Theorem 1.2 was proved by Barbot in the much more restrictive context of BL-flows (see [2, second assertion of Theorem B]).Barbot's result can actually be considered as a particular case of Theorem 1.2: it corresponds to the case where the maximal invariant set of the hyperbolic plug (U i , X i ) is a single isolated periodic orbit for i = 1, 2. Our proof of Theorem 1.2 roughly follows the same strategy as those of Barbot's result, but is far more intricate and requires some important new ingredients since we manipulate general hyperbolic plugs.
The proof is based on a coding procedure that we will describe now.Consider a hyperbolic plug (U, X) and a strongly transverse gluing diffeomorphism ψ : ∂ out U → ∂ in U .Let Y be the vector field induced by X on the closed manifold M := U/ψ, and assume that the flow (Y t ) is a transitive Anosov flow.The projection in M of ∂U is a closed surface tranverse to the orbits of the Anosov flow (Y t ); we denote this surface by S. The projection in M of the entrance lamination of the plug (U, X) is a lamination in the surface S; we denote it by L s .Consider the universal cover M of the manifold M , and the lifts ( Y t ), S, L s of (Y t ), S, L s .We will consider the (countable) alphabet A whose letters are the connected components of S \ L s , and the symbolic space Σ whose elements are bi-infinite words on the alphabet A. We will construct a coding map χ from (a dense subset of) the surface S to the symbolic space Σ, commuting with the natural actions of the fundamental group of M , and conjugating the Poincaré first return map of the flow ( Y t ) on the surface S to the shift map on the symbolic space Σ.If Λ denotes the projection in M of the maximal invariant set of the plug (U, X), and Λ denotes the lift of Λ in M , then the map χ is defined at every point of S which is neither in the stable nor in the unstable lamination of Λ.This means that the dynamics of the flow (Y t ) can be decomposed into two parts: on the one hand, the orbits that converge towards to the maximal invariant set Λ in the past or in the future, on the other hand, the dynamics that is well-described by the coding map χ.
Remark 1.4.Besides being the cornerstone of the proof of Theorem 1.2, this coding procedure is interesting in its own sake.Indeed, it allows to understand the behavior of the recurrent orbits of the Anosov flow (Y t ) that intersect the surface S (i.e. which do not correspond to recurrent orbits of the incomplete flow (X t )).In a forthcoming paper [6], we will use this coding procedure to describe the free homotopy classes of theses orbits, and build new examples of transitive Anosov flows.
Let us now explain how this coding procedure yields a proof of Theorem 1.2.For i = 1, 2, we get a symbolic space Σ i and a coding map χ i with value in Σ i .The strong isotopy between (U, X 1 , ψ 1 ) and (U, X 2 , ψ 2 ) implies that there is a natural map between the symbolic space Σ 1 and Σ 2 .Together with the coding maps, this yields a conjugacy between the Poincaré return maps of the flows ( Y t 1 ), ( Y t 2 ) on the surfaces S 1 , S 2 .Unfortunately, this conjugacy is not welldefined on the whole surfaces S 1 , S 2 .So we need to extend it.In order to do that, we introduce some (partial) pre-orders on the leaf spaces of the lifts of the stable/unstable foliations of the Anosov flows (Y t 1 ), (Y t 2 ), and prove that the conjugacy preserves these pre-orders.This is quite delicate since the coding maps χ 1 , χ 2 do not behave very well with respect to these pre-orders.Once the extension has been achieved, we obtain a homeomorphism between the orbits spaces of the flows ( Y t 1 ) and ( Y t 2 ) that is equivariant with respect to the actions of the fundamental groups of the manifolds M 1 and M 2 .Using a classical result, this implies that the Anosov flows (Y t 1 ) and (Y t 2 ) are orbitally equivalent.

Coding procedure
In this section, we will consider a transitive Anosov flow obtained by gluing hyperbolic plugs.
Our goal is to define a coding procedure for the orbits of this Anosov flow.Actually, this coding procedure will only describe the behavior of the orbits which do not remain in int(U ) forever.

Setting
We consider a hyperbolic plug (U, X).Recall that this means that U is a (not necessarily connected 1 ) compact 3-dimensional manifold with boundary, and X is a vector field on U , transverse to ∂U , such that the maximal invariant set is a saddle hyperbolic set for the flow of X.We decompose the boundary of U as where ∂ in U (resp.∂ out U ) is the union of the connected component of ∂U where X is pointing inwards (resp.outwards) U .The stable manifold theorem implies that W s X (Λ X ) and W u X (Λ X ) are two-dimensional laminations transverse to ∂U .Moreover, W s X (Λ X ) is obviously disjoint from ∂ out U and W u X (Λ X ) is obviously disjoint from ∂ in U .As a consequence, where θ X (x) is the (unique) point of intersection the (X t )-orbit of x with the surface We call θ X the crossing map of the plug (U, X).
In order to create a closed manifold equipped with a transitive Anosov flow, we consider a diffeomorphism ψ : The quotient space M := U/ψ.
is a closed three-dimensional topological manifold.We denote by π : U → M the natural projection map.The topological manifold M can equipped with a differential structure (compatible with the differential structure of U ) so that the vector field is well-defined (and as smooth as X).We make the following hypotheses: 0. the manifolds U and M are orientable; 1. the flow (Y t ) is a transitive Anosov flow on the manifold M ; 2. the diffeomorphism ψ is a strongly transverse gluing diffeomorphism.
Recall that 2 means that the laminations L s X and ψ * (L u X ) are transverse in the surface ∂ in U and moreover that every connected component ) is a topological disc whose boundary ∂C consists of exactly four arcs α s , α s′ , α u , α u′ where α s , α s′ are arcs of leaves of L s X and α u , α u′ are arcs of leaves ψ * (L u X )).We denote By construction, S is a closed surface, embedded in the manifold M , transverse to the vector field Y .The set Λ is the union of the orbits of (Y t ) that do not intersect the surface S. It is an invariant saddle hyperbolic set for the Anosov flow (Y t ).Our assumptions imply that L s and L u are two strongly transverse one-dimensional laminations in the surface S. The lamination L s (resp.L u ) can be described as the sets of points in S whose forward (resp.backward) (Y t )-orbit does not intersect S. Similarly, L u is a strict subset of W u (Λ) ∩ S. The homeomorphism θ X induces a homeomorphism Note that θ is nothing but the Poincaré first return map of the orbits of the Anosov flow (Y t ) on the surface S.
Since (Y t ) is an Anosov flow, it comes with a stable foliation F s and an unstable foliation F u .These are two-dimensional foliations, transverse to each other, and transverse to the surface S. Hence, they induce two transverse one-dimensional foliations on the surface S. Clearly, L s and L u are sub-laminations (i.e.union of.leaves) of the foliations F s and F u respectively.
In order to code the orbits of the Anosov flow (Y t ), we cannot work directly in the manifold M , we need to unfold the leaves of the laminations L s and L u by lifting them to theuniversal cover of M .We denote this universal cover by p : M −→ M , and we denote by the complete lifts of the surface S, the hyperbolic set Λ, the laminations W s (Λ), W u (Λ), L s , L u and the foliations F s , F u , F s , F u .We insist that S is the complete lift of S, that is S := p −1 (S).In particular, S has infinitely many connected components.By construction, F s and F u are two transverse one-dimensional foliations on the surface S, and L s and L u are sub-laminations of F s and F u respectively.We also lift the vector field Y to a vector field Y on M .Of course, Y is transverse to the surface S, so we can consider the Poincaré return map θ : S \ L s → S \ L u of the orbits of ( Y t ) on the surface S. Obviously, θ is a lift of the map θ.

Connected components of S \ L s
The purpose of the present subsection is to collect some informations about the connected components of S \ L s and the action of the Poincaré map θ on these connected components.These informations will be used in Subsection 2.3.Let us start by the topology of the surface S.
Proposition 2.1.Every connected component of S is a properly embedded topological plane.
Proof.The surface S is transverse to the Anosov flow (Y t ).Hence, S is a collection of incompressible tori in M (see e.g.[8, Corollary 2.2]).The proposition follows.This allows us to describe the topology of the leaves of the foliations F s and F u : Proposition 2.2.Every leaf of the foliations F s and F u is a properly embedded topological line.A leaf of F s and a leaf of F u intersect no more than one point.
Proof.The first assertion follows immediately from Proposition 2.1: it is a classical consequence of Poincaré-Hopf and Poincaré-Bendixon theorems that the leaves of a foliation of a plane are properly embedded topological lines.
The second assertion is again a consequence Proposition 2.1, together with the transversality of the foliations F s and F u .To prove it, we argue by contradiction: consider a leaf ℓ s of F s , a leaf ℓ u of F u , and assume that ℓ s and ℓ u intersect at more than one point.Then one can find two arcs α s ⊂ ℓ s and α u ⊂ ℓ u , which share the same endpoints and have disjoint interiors.The union α s ∪ α s is a simple closed curve in S. Since every connected component of S is a topological plane, α s ∪ α s bounds a topological disc C ⊂ S. Consider two copies of C, and glue them along α s in order to obtain a new topological disc D. The boundary of D is the union of two copies of α u , hence is piecewise smooth.The foliation F s provides a one-dimensional foliation on D, which is topologically tranverse to boundary ∂D.This contradicts Poincaré-Hopf Theorem.
The next three propositions below concern the action of the Poincaré map θ on the foliations F s , F u and the laminations L s , L u .We recall that L s and L u are sub-laminations (i.e.union of leaves) of the foliations F s and F u respectively.
The leaves of ( F s ) | S− L s are full leaves of the foliation F s .On the contrary, a leaf of the foliation ( F s ) | S− L u is never a full leaf of F s (because every leaf of F s is "cut into infinitely many pieces" by the transverse lamination L u ).As a consequence, θ maps leaves of F s to pieces of leaves of F s .Similarly, θ maps pieces of leaves of F u to full leaves of F u .
Proof of Proposition 2.3.Recall that F s is defined as the intersection of the foliation F s with the transverse surface S. The foliation F s is leafwise invariant under the flow ( Y t ).As a consequence, F s = F s ∩ S is invariant under the Poincaré return map of ( Y t ) on S.
Proposition 2.5.For every n ≥ 0, n p=0 θ−p ( L s ) is a closed sub-lamination of the foliation F s .
Proof.The foliation F s is invariant under the Poincaré map θ : S − L s → S − L u .Since L s is a union of leaves of F s , it follows that θ−1 ( L s ) is a union of leaves of F s .Moreover, since L s is a closed subset of S, its pre-image θ−1 ( L s ) must be a closed subset of S − L s (remember that θ is well-defined on S − L s ).Therefore closed union of leaves of F s , i.e. a closed sub-lamination of F s .Repeating the same arguments, one proves by induction that n p=0 θ−p ( L s ) is a closed sub-lamination of F s for every n ≥ 0. Proposition 2.6.
Proof.By definition, W s (Λ) ∩ S is the set of all points x ∈ S so that the forward orbit of x converges towards the set Λ, which is disjoint from S. As a consequence, for every point x ∈ W s (Λ) ∩ S, the forward orbit of x intersects the surface S only finitely many times, say p(x) times.We have observed that L s is the set of all points y ∈ S so that the forward orbit of y does not intersect S and converges towards the set Λ (see Subsection 2.1).It follows that, for every x ∈ W s (Λ) ∩ S, the last intersection point θ p(x) of the forward orbit of x with S is in L s .This proves the inclusion to the universal cover.
Of course, W s (Λ) ∩ S and W u (Λ) ∩ S are union of leaves of the foliations F s and F u respectively.But these sets are not closed.More precisely: Proposition 2.7.Both W s (Λ) ∩ S and S − W s (Λ) are dense in S.
Proof.Recall that (Y t ) is a transitive Anosov flow on M .Hence every leaf of the weak stable foliation F s is dense in M .Since both W s (Λ) and M \ W s (Λ) are non-empty union of leaves of the foliation F s , and since the leaves of F s are transversal to the surface S, it follows that both W s (Λ) ∩ S and S \ W s (Λ) are dense in S. Lifting to the universal cover, we obtain that W s (Λ) ∩ S and S − W s (Λ) are dense in S.
Of course, the analogs of Propositions 2.5, 2.6 and 2.7 for L u and W u ( Λ) hold ( θ−p should be replaced by θp in Propositions 2.5 and 2.6).We will now describe the topology of the connected components of S \ L s .We first introduce some vocabulary.Of course, proper unstable strips and trivially bifoliated proper unstable strips can be defined similarly.The proposition below gives a fairly precise description of the positions of the connected components of S − L s with respect to the foliations F s and F u .Let R be a connected component of D \ L u , so that α u is included in the closure R of R (actually R is unique, but we will not use this fact).Observe that R is a connected component of S − ( L s ∪ L u ).Our assumptions (namely, the strong transversality of the gluing map ψ) imply that R is a relatively compact topological disc, whose boundary ∂R is made of four arcs In order to prove this claim, we endow the foliation F u with an orientation (this is possible since F u is a foliation on a collection of topological planes).For every x ∈ D, we denote by ℓ u (x) the leaf of the foliation F u passing through x, and denote by α u (x) the connected component of ℓ u x ∩ D containing x.Note that ℓ u (x) and α u (x) are oriented by the orientation of F u .By Claim 1, α u (x) is an arc whose endpoints lie on two boundary leaves ℓ s − (x) and ℓ s + (x) of D. By transversality of the foliations F u and F s , the maps x → ℓ s − (x) and x → ℓ s + (x) are locally constant.Since D is connected, these maps are constant.In other words, one can find two boundary leaves ℓ s − and ℓ s + of D, so that α u (x) is an arc from ℓ s − to ℓ s + for every x ∈ D. It follows that ℓ s − and ℓ s + are the only accessible boundary leaves of D: otherwise, one can consider another boundary leaf ℓ s , take a point x ∈ ℓ s , and get a contradiction since one end of α u x is on ℓ s .As a further consequence, the accessible boundary of D is closed (recall that ℓ s − and ℓ s + are properly embedded lines), and therefore coincides with the boundary of D. We finally conclude that ℓ s − and ℓ s + are the only boundary leaves of D and Claim 2 is proved.Claim 1 and 2 already imply that D is a proper stable strip bounded by two leaves ℓ s − , ℓ s + of L s .We are left to prove that D a trivially bifoliated.Recall that S is a topological plane (Proposition 2.1), and that ℓ s − , ℓ s + are properly embedded topological lines (Proposition 2.2).By easy planar topology, it folllows that there exists a homeomorphism Proof.We call trivially bifoliated rectangle every topological open disc R ⊂ S such that there exists a homeomorphism from the closure of R to [−1, 1] 2 mapping the restrictions of F s and F u to the horizontal and vertical foliations of [−1, 1] 2 .In particular, the boundary of such a trivially bifoliated rectangle is made of two stable sides, and two unstable sides.
According to Corollary 2.11, θ(D) is a trivially bifoliated proper unstable strip, disjoint from L u , bounded by two leaves of L u .By assumption, D ′ is a trivially bifoliated proper stable strip.It easily follows that θ(D)∩D ′ is a trivially bifoliated rectangle, disjoint from L u , whose unstable sides are in L u (see Figure 3).Observe that the interiors of two stable sides of θ(D) ∩ D ′ are full leaves of F s | S− L u .Hence:

The coding procedure
In this section, we will use the connected components of S \ L s to describe the itinerary of the orbits the flow ( Y t ) that do not belong to W s (Λ) ∪ W u (Λ).We consider the alphabet In order to define the coding maps, we need to introduce some leaf spaces.We will denote by f s the leaf space of the foliation F s (equipped with the quotient topology).We will denote f s,∞ the subset of f s made of the leaves that are not in W s (Λ).Similarly, we denote by f u the leaf space of F u , and by f u,∞ the subset fo f u made of the leaves that are not in W u (Λ).Finally we denote by S ∞ the set of points S that are neither in W s (Λ) nor in W u (Λ).
By Proposition 2.6, if ℓ s ∈ f s,∞ , then θp (ℓ s ) is included in a connected component of S − L s for every p ≥ 0. Similarly, if ℓ u ∈ f u,∞ , then θp (ℓ u ) is included in a connected component of S − L u for every p ≤ 0. Since θ−1 maps homeomorphically S − L u to S − L s , we deduce that: if ℓ u ∈ f u,∞ , then θp (ℓ u ) is included in a connected component of S − L s for every p < 0. As a further consequence, if x is a point of S ∞ , then θp (x) is in a connected component of S − L s for every p ∈ Z.This shows that the following coding maps are well-defined: where θp (ℓ s ) ⊂ D p for every p ≥ 0 The following proposition is an important step ingredient of the proof of Theorem 1.2.

For every D
Remark 2.15.Lemma 2.14 is completely false if we replace the connected components of S \ L s by the connected components of S \ L s (and θ by θ).For example, if (D p ) p≥0 is a sequence of connected components of S \ L s , then p≥0 θ −p (D p ), if not empty, will be the union of uncountably many leaves of the foliation F s .This is the reason why, we need to work in the universal cover of M .
Proof.Let us prove the first item.Consider a sequence D s = (D p ) p≥0 ∈ Σ s .By Proposition 2.10, D 0 is a trivially bifoliated proper stable strip.Proposition 2.12 and a straightfoward induction imply that for every n ∈ N, the set n p=0 θ −p (D p ) is a sub-strip of D 0 .So ( n p=0 θ −p (D p )) n≥0 is a decreasing sequence of sub-strips of the trivially bifoliated proper stable strip D 0 .It easily follows that p≥0 θ −p (D p ) is a sub-strip of D 0 .In particular, p≥0 θ −p (D p ) is a connected union of leaves of F s .On the other hand, since D 0 , D 1 , . . .are connected components of S − L s , the set ).It follows that p≥0 θ −p (D p ) must be a single leaf of F s .This completes the proof of item 1.
Item 2 follows from exactly the same arguments as item 1.In order to prove the last item, we consider a sequence D = (D p ) p∈Z in Σ.According to the items 1 and 2, p≥0 θ −p (D p ) is a leaf ℓ s of the foliation F s and p<0 θ −p (D p ) is a leaf ℓ u of the foliation F u .Since D = (D p ) p∈Z is in Σ, the intersection D 0 ∩ θ( D −1 ) is not empty.Since D 0 is a trivially bifoliated proper stable strip (Proposition 2.10) and θ( D −1 ) is a trivially bifoliated proper unstable strip (Corollary 2.11), every leaf of F s in D 0 must intersects every leaf of F u in θ(D −1 ) at exactly one point.In particular, p∈Z θ −p (D p ) = ℓ s ∩ ℓ u is made of exactly one point x.Since the leaves ℓ s and ℓ u are disjoint from W s (Λ) and W u (Λ) respectively, the point x must be in S ∞ .This completes the proof.
Proof of Proposition 2.13.Lemma 2.14 allows to define some inverse maps for χ s , χ u and χ.Therefore, χ s , χ u and χ are bijective.
Deck transformation preserve the surface S, the foliations F s , F u , and the laminations W s ( Λ), W u ( Λ).This induces some natural actions of π 1 (M ) on the set S ∞ , on the leaf spaces f s,∞ , f u,∞ , on the alphabet A, and therefore on the symbolic spaces Σ, Σ s , Σ u .From the definition of the coding maps, one easily checks that: Proposition 2.16.The coding maps χ, χ s and χ u commute with the actions of the fundamental group of M on S ∞ f s , f u , Σ Σ s and Σ u .
The definition of the coding maps also implies that: Proposition 2.17.The coding map χ (resp.χ s and χ u ) conjugates the action of Poincaré first return map θ on S ∞ (resp.f s and f u ) to the left shift on the symbolic space Σ (resp.Σ s and Σ u ).Proof.This follows from the arguments of the proof of Lemma 2.14.

Partial orders on the leaf spaces and the symbolic spaces
We will now describe a partial pre-order on the leaf space f s .The preservation of this partial pre-order will be a fundamental ingredient of our proof of Theorem 1.2 in Section 3.
Let us start by choosing some orientations.First of all, we choose an orientation of the hyperbolic plug U .The orientation of U , together with the vector field X, provide an orientation of ∂U : if ω is a 3-form defining the orientation on U , then the 2-form i X U defines the orientation on ∂U .The orientation of U induces an orientation of the manifold M = U/ψ (we have assumed that the manifold M is orientable, which is equivalent to assuming that the gluing map ψ preserves the orientation of ∂U ), and the orientation of ∂U induces an orientation of the surface S = π(∂ in U ) = π(∂ out U ).The orientation of M and S induce some orientations on M and S. Now, since every connected component of S is a topological plane, the foliation F s is orientable.We fix an orientation of F s .This automatically induces an orientation of the foliation F u as follows: the orientation of F u is chosen so that, if Z s and Z u are vector fields tangent to F s and F u respectively, and pointing in the direction of the orientation of the leaves, then the frame field (Z s , Z u ) is positively oriented with respect to the orientation of S.
1.By construction, the orientations of the manifold M and the surface S are related as follows: if ω is a 3-form defining the orientation on M , then the 2-form i Y M defines the orientation on S. As a consequence, the Poincaré return map θ of the orbits of Y on S preserves the orientation of S.
2. Consequently, for any connected component D of S − L s , if the Poincaré map θ|D preserves (resp.reverses) the orientation of the foliation F s , then it also preserves (resp.reverses) the orientation of the foliation F u .
Let ℓ be a leaf of the foliation F s , contained in a connected component S ℓ of S. Recall that S ℓ is a topological plane, and ℓ is a properly embedded line in S ℓ .As a consequence, S ℓ \ ℓ has two connected components.Definition 2.20.We denote by L(ℓ) and R(ℓ) the two connected component of S \ ℓ so that the oriented leaves of F u crossing ℓ go from L(ℓ) towards R(ℓ).The points of L(ℓ) are said to be on the left of ℓ; the points of R(ℓ) are said to be on the right of ℓ Now we can define a pre-order on the leaf space f s .Definition 2.21 (Pre-order on f s ).Given two leaves ℓ = ℓ ′ of the foliation F s , we write ℓ ≺ ℓ ′ if there exists an arc of a leaf of F u with endpoints a ∈ ℓ and a ′ ∈ ℓ ′ , so that the orientation of F u goes from a towards a ′ .Proposition 2.22.≺ is a pre-order on f s : the relations ℓ ≺ ℓ ′ and ℓ ′ ≺ ℓ are incompatible Proof.The relation ℓ ≺ ℓ ′ implies that the leaf ℓ ′ is on the right of ℓ, that is ℓ ′ ⊂ R(ℓ).Similarly, the relation ℓ ≺ ℓ ′ implies ℓ ′ ⊂ L(ℓ).The proposition follows since L(ℓ) ∩ R(ℓ) = ∅.
The proposition below is very easy to prove, but fundamental: Proposition 2.23.≺ is a local total order on f s : for every leaf ℓ 0 of F s , there exists a neighbourhood V 0 of ℓ 0 in f s so that any two different leaves ℓ, ℓ ′ ∈ V 0 are comparable ( i.e. satisfy either ℓ ≺ ℓ ′ or ℓ ′ ≺ ℓ).
Proof.Consider a leaf ℓ 0 of F s and a leaf ℓ u of F u so that ℓ u ∩ ℓ 0 = ∅.By transversality of the foliations F s and F u , there exists a neighbourhood V 0 of ℓ 0 in f s so that ℓ u crosses every leaf in V 0 .As a consequence, any two different leaves ℓ, ℓ ′ ∈ V 0 are comparable for the pre-order ≺.
Definition 2.26 (Pre-order on Σ s ).The partial pre-order ≺ on A induces a lexicographic partial pre-order on Σ s ⊂ A N that will also be denoted by ≺ : for D = (D p ) p≥0 and D ′ = (D ′ p ) p≥0 in Σ s , we write D ≺ D ′ if and only if there exists p 0 ≥ 0 such that D p = D ′ p for p ∈ {0, . . ., p 0 − 1}, We have defined a pre-order on the leaf space f s (Definition 2.21) and a pre-order on the symbolic space Σ s (Definition 2.26).It is natural to wonder whether the coding map χ s : f s,∞ → Σ s is compatible with these pre-orders or not.For pedagogical reason, we first consider the simple situation where the two-dimensional foliation F u is orientable: Proposition 2.27.Assume that the unstable foliation F u is orientable.Then the coding map χ s : f s,∞ → Σ s preserves the pre-orders, i.e. for ℓ, ℓ Proof.Since the two-dimension foliation F u is orientable, its lift F u is also orientable.Recall that the vector field Y is tangent to the leaves of the foliation F u .So, the orientatibility of the two-dimensional foliation F u implies that the return map θ of the orbits of the vector field Y on the surface S preserves the orientation of the one-dimensional foliation Consider the integer p 0 = min{p ≥ 0 , D p = D ′ p } and the set Both the leaves ℓ and ℓ ′ are included in D, and, according to Proposition 2.18, D is a trivially bifoliated proper stable strip.So we can consider an arc α u of a leaf ℓ u of the foliation F u , so that α u is included in the trivially bifoliated proper stable strip D, so that the ends a, a ′ of α u are on ℓ and ℓ ′ respectively.Since ℓ ≺ ℓ ′ , the orientation of F u goes from a towards a ′ .Now observe that D is a connected component of S − p 0 −1 p=0 θ p ( L s ).As a consequence, the map θ p 0 is well-defined on D. In particular, we can consider β u := θ p 0 (α u ).Observe that β u is an arc of a leaf of the foliation F u .Its ends b := θ p 0 (a) and b ′ := θ p 0 (a ′ ) are respectively in θ p 0 (ℓ) ⊂ D p 0 and θ p 0 (ℓ ′ ) ⊂ D ′ p 0 .Since the return map θ p 0 preserves the orientation of the foliation F u , the orientation of F u goes from b towards b ′ .It follows that θ p 0 (ℓ) ≺ θ p 0 (ℓ ′ ) and therefore D p 0 ≺ D ′ p 0 .As a further consequence, This completes the proof of the implication ℓ ≺ ℓ ′ ⇒ χ s (ℓ) ≺ χ s (ℓ ′ ).The converse implication follows from the very same arguments in reversed order.
In general, the relationships between the order on the leaf space f s and the symbolic space Σ s is more complicated: Proposition 2.28.Let ℓ, ℓ ′ be two different elements of f s,∞ .Let (D p ) p≥0 := χ s (ℓ) and (D ′ p ) p≥0 := χ s (ℓ ′ ).Let p 0 be the smallest interger p so that D p = D ′ p .
1.If the map θ p 0 preserves the orientation of the foliation F u , then

If the map θ p
reverses the orientation of the foliation F u , then Proof.The arguments are exactly the same as in the proof of Proposition 2.27.

Topological equivalence of Anosov flows
We will now prove Theorem 1.2 with the help of the coding procedure implemented in section 2.

A simplification
We begin by explaining why it is enough to prove Theorem 1.2 in the particular case where the vector fields X 1 and X 2 coincide.Let (U, X 1 , ψ 1 ) and (U, X 2 , ψ 2 ) be two triple satisfying the hypotheses of Theorem 1.2.In particular (U, X 1 , ψ 1 ) and (U, X 2 , ψ 2 ) are strongly isotopic.This means that there exists a continuous one-parameter family {(U, X t , ψ t )} t∈ [1,2] so that (U, X t ) is a hyperbolic plug and ψ t : ∂ out U → ∂ in U is a strongly transverse gluing map for every t.By standard hyperbolic theory, hyperbolic plugs are structurally stable.Hence, this means that we can find a continuous family (h t ) t∈ [1,2] of self-homeomorphisms of U so that h 1 = Id and so that h t induces an orbital equivalence between X 1 and X t .For t ∈ [1, 2], define and observe that ψ 1 = ψ 1 .For sake of clarity, let X := X 1 .Then, -the triples (U, X, ψ 1 ) and (U, X, ψ 2 ) are strongly isotopic: the strong isotopy is given by the continuous path {(U, X, ψ t )} t∈ [1,2] ; -for t ∈ [1,2], the flow induced by the vector field X on the manifold M t := U/ ψ t is orbitally equivalent to the flow induced by the vector field X t on the manifold M t := U/ψ t : the orbital equivalence is induced by the homeomorphism h t .
This shows that the hypotheses and the conclusion of Theorem 1.2 are satisfied for the triple (U, X 1 , ψ 1 ) and (U, X 2 , ψ 2 ) if and only if they are satisfied for the triples (U, X, ψ 1 ) and (U, X, ψ 2 ).This allows us to replace the vector fields X 1 and X 2 by a single vector field X in the proof of Theorem 1.2.

Setting
From now on, we consider a hyperbolic plug (U, X) endowed with two strongly transverse gluing diffeomorphisms ψ 1 , ψ 2 : ∂ out U → ∂ in U .We denote by Λ := t∈R X t (U ) the maximal invariant set of the plug (U, X).For i = 1, 2, the quotient space M i := U/ψ i is a closed three-dimensional manifold, and X induces a vector field Y i on M i .We assume that the hypotheses of Theorem 1.2 are satisfied, that is 0. the manifolds U , M 1 and M 2 are orientable, 1. for i = 1, 2, the flow (Y t i ) of the vector field Y i is a transitive Anosov flow, 2. the gluing maps ψ 1 and ψ 2 are strongly isotopic, i.e. that there exists an isotopy (ψ s ) s∈ [1,2] such that, for every s, the laminations L s and ψ s (L u X ) are strongly transverse.
In order to prove Theorem 1.2, we have to construct a homeomorphism H : M 1 → M 2 mapping the oriented orbits of the Anosov flow (Y t 1 ) to the orbits of the Anosov flow (Y t 2 ).The construction will be divided into several steps.

Starting point of the construction
For i = 1, 2, we denote by π i the projection of U on the closed three-dimensional manifold M i = U/ψ i .We denote by the projection of the boundary of U .The surface S i is endowed with the strongly transverse laminations ).The maps π i|∂ in U : ∂ in U → S i and π i|∂ out U : ∂ out U → S i are invertible.This provides us with two diffeomorphisms The diffeomorphisms φ in and φ out are the starting point of our construction.Observe that, at this step, we are very far from getting an orbital equivalence.Indeed, φ in and φ out are in no way compatible with the actions of the flows (Y t 1 ) and (Y t 2 ) (i.e. they do not conjugate the Poincaré return maps of (Y t 1 ) and (Y t 2 ) on the surface S 1 and S 2 ).Nevertheless, the definition of the diffeomorphisms φ in and φ out imply that they satisfy: Remark 3.1.Be careful: in general φ in (L u 1 ) = L u 2 and φ out (L s 1 ) = L s 2 .On the other hand, the strong isotopy connecting the gluing maps ψ 1 and ψ 2 can be used to construct an isotopy between the diffeomorphisms φ in and φ out : Proposition 3.2.There exists a continuous family (φ t ) t∈[0,1] of diffeomorphisms from S 1 to S 2 , such that φ 0 = φ out , such that φ 1 = φ in , and such that the laminations φ t (L u 1 ) and L s 2 are strongly transverse for every t.
Proof.By assumption, the gluing maps ψ 1 and ψ 2 are connected by a continuous path (ψ s ) s∈ [1,2] of diffeomorphisms from ∂ out U to ∂ in U , such that the laminations ψ s (L u ) and L s are strongly transverse for every s.For t ∈ [0, 1], we set From this formula, we immediately get Plugging the equality π i|∂ in U • ψ i = π i|∂ out U into the definition of φ 1 , we get We know that the laminations L s X and ψ 2−t (L u X ) are strongly transverse for every t.As a consequence, the laminations are strongly transverse for every t.This completes the proof.
It is important to observe that the diffeomorphism φ in can be obtained as the restriction of a diffeomorphism from M 1 to M 2 : Proof.Once again, we use the existence of a continous path (ψ s ) s∈ [1,2] of diffeomorphisms from ∂ out U to ∂ in U connecting the gluing maps ψ 1 and ψ 2 .We consider a collar neighbourhood V of ∂ out U in U , and a diffeomorphism ξ : 1], and Φin = Id on U \ V .By construction, this diffeomorphism satisfies As a consequence, the relation π 2 • Φin = Φin • π 1 holds, and therefore Φin induces a diffeomorphism Φ in : Now, we introduce the return maps on the surface S 1 and S 2 .We first consider the crossing map of the plug (U, X) θ X : By definition, θ X (x) is the unique intersection point of the forward (X t )-orbit of the point x with the surface ∂ out U .For i = 1, 2, the map θ X induces a map This map θ i is just the Poincaré return map of the flow (Y t i ) on the surface S i .
Proposition 3.4.The diffeomorphisms θ 1 , θ 2 , φ in and φ out are related by the following equality Proof.This is an immediate consequence of the formulas defining θ 1 , θ 2 , φ in and φ out .
Now we lift all the objects to the universal covers of M 1 and M 2 .We pick a point x 1 ∈ M 1 which will serve as the base point of the fundamental group of the manifold M 1 .The point x 2 := f (x 1 ) will be used as the base point of fundamental group of the manifold M 2 .The diffeomorphism Φ in provides us with an isomorphism (Φ in ) * between the fundamental groups π 1 (M 1 , x 1 ) and π 1 (M 2 , x 2 ).For i = 1, 2, we denote by p i : M i → M i the universal cover of the manifold M i .We denote by Y i the lift of the vector field We denote by S i the complete lift of the surface S i (i.e. S i := p −1 i (S i )).We denote by L s i and L u i the complete lifts of the laminations L s i and L u i .We denote by the first return map of the flow of the vector field Y i on the surface S i .Clearly, θ i is a lift of the map θ i .Moreover, θ i commutes with the deck transformations: This commutation relation is an immediate consequence of the equivariance of Y i (see above).Now we fix a lift Φ in : M 1 → M 2 of the diffeomorphism Φ in (note that, unlike what happens for θ 1 and θ 2 , there is no canonical lift of Φ in ).Recall that the diffeomorphism Φ in maps the surface S 1 to the surface S 2 , and that the restriction of Φ in to S 1 coincides with φ in .As a consequence, the lift Φin maps the surface S 1 to S 2 , and the restriction of Φin to S 1 is a lift φin of the diffeomorphism φ in .By construction, this lift satisfies Now recall that, according to Proposition 3.2, there exists a continuous arc (φ t ) t∈[0,1] of diffeomorphisms from S 1 to S 2 , such that φ 0 = φ in and φ 1 = φ out , and such that the laminations φ t (L u 1 ) and L s 2 are strongly transverse for every t.We lift this isotopy, starting at the lift φin of φ in = φ 0 .This yields a continuous arc ( φt ) t∈[0,1] of diffeomorphisms from S 1 to S 2 , such that φ0 = φin and such that the laminations φt ( L u 1 ) and L s 2 are strongly transverse for every t.The difffeomorphism φout := φ1 is a lift of the diffeomorphism φ out .By continuity, the relation (2) remains true if we replace φin = φ0 by φt for any t ∈ [0, 1].In particular, the diffeomorphism φout satisfies φout Now consider a deck transformation γ ∈ π 1 (M 1 , x 0 ).On the one hand, using ( 2) and ( 1), we get θ2 On the other hand, using ( 1) and ( 3), we get θ2 Since (Φ in ) * (γ) ranges over the whole fundamental group π 1 (M 2 , y 0 ), it follows that γ 0 is in the center of the fundamental group π 1 (M 2 , y 0 ).If γ 0 = Id, this implies that π 1 (M 2 , y 0 ) has a non-trivial center.Then, a (easy generalization of) well-known theorem of É. Ghys implies that, up to finite cover, the Anosov flow (X t 2 ) must be topologically equivalent to the geodesic flow on the unit tangent bundle of a closed hyperbolic surface (see [9], or [3,Théorème 3.1]).This is clearly impossible, since X 2 admits a transverse torus (any connected component of the surface S 2 is such a torus).As a consequence, γ 0 must be the identity, and the desired relation θ2 • φin = φin • θ1 is proved.

Construction of maps ∆
In section 2, we have defined some symbolic spaces which allow to code certain orbits of certain Anosov flows.Let us introduce these symbolic space in our particular setting.For i = 1, 2, we consider the alphabet A i := { connected components of S i \ L s i }, and the symbolic space Σ i := {(D p ) p∈Z such that D p ∈ A i and θi (D p ) ∩ D p+1 = ∅ for every p}.
In order to code stable and unstable leaves, we consider the subspaces Σ s i and Σ u i of Σ i defined by Σ Proof.We have the following sequence of equivalences.
The first equivalence is straightforward.The last one is nothing but the definition of the connected components D 2 and D ′ 2 .Equivalence (3) follows from Proposition 3.5.It remains to prove equivalence (2).For that purpose, observe that θ 1 (D 1 ) is a strip bounded by two leaves of L u 1 , and φ in (D ′ 1 ) is a strip bounded by two leaves of L s 2 .Now recall that there exists an isotopy ( φ t ) t∈[0,1] joining φ in to φ out , such that the lamination φ t ( L u 1 ) is strongly transverse to the lamination L s 2 .It follows that As an immediate consequence of Proposition 3.6, we get: Corollary 3.7 entails that ( φin ) ⊗Z ≥0 maps Σ s 1 to Σ s 2 , and ( φ in ) ⊗Z <0 maps Σ u 1 to Σ u 2 .Hence, the map φin builds a bridge between the symbolic spaces associated to the vector filed Y 1 and those associated to the vector filed Y 2 .
Let us recall the definition of the coding maps constructed in Section 2.3.For i = 1, 2, we denote by F s i and F u i the weak stable and the weak unstable foliations of the Anosov flow (Y t i ) on the manifold M i .These two-dimensional foliations induce two one-dimensional foliations F s i and F u i on the surface S i .We denote by F s i and F u i the lifts of F s i and F u i on S i .We denote by f s i and f u i the leaf spaces of the foliations F s i and F u i .We denote by f s,∞ i the subset of f s i made of the leaves that are not in W s (Λ i ) (recall that W s (Λ i ) is a union of leaves of F s i and therefore W s (Λ i ) ∩ S i is a union of leaves of F s i ).Similarly, we denote by f u,∞ i the subset of f u i made of the leaves that are not in W u (Λ i ).The construction of subsection 2.3 provides two bijective coding maps where θp i (ℓ) ⊂ D p for every p < 0 Hence we obtain two natural bijective maps 3.5 Extension of the maps ∆ s and ∆ u We wish to extend the map ∆ s in order to obtain a bijective map between the leaf spaces f s 1 and f s 2 .In view to that goal, we will prove that ∆ s preserves the order of the leaves of the foliations F s 1 and F s 2 .Our first task is to write a precise definition of these order.First we choose an orientation of the lamination L u X ⊂ ∂ out U .Pushing this orientation by the maps π 1 and π 2 , this defines some orientations of the laminations L u is a sublamination of the foliation F u i (and since L u i intersects every connected component of S i ), the orientations of the lamination L u 1 and L u 2 define some orientations of the foliations F u 1 and F u 2 .Finally, these orientation can be lifted, providing orientations of the lifted foliations F u 1 and F u 2 .It is important to notice that our choice of orientations for F u 1 and F u 2 are not independent from each other.More precisely, the orientation are chosen so that φ out = π 2|∂ out U • (π 2|∂ out U ) −1 maps the orientation of the lamination L u 1 to the orientation of the lamination L u 2 , and therefore: φout maps the orientated lamination L u 1 to the orientated lamination L u 2 .
As explained in Subsection 2.4, the orientation of the foliation F u i induces a partial order ≺ i on the leaf space f s i defined as follows: given two leaves ℓ i , ℓ ′ i ∈ f s i satisfy ℓ i ≺ i ℓ ′ i if there exists an arc segment of an oriented leaf of F u i going from a point of ℓ i to a point of ℓ ′ i .Proposition 2.22 proves that this indeed defines an order on f s i .Moreover, this order on f s i induces a partial order on the alphabet A i : given two elements D i and D ′ i of A i , we write D i ≺ i D ′ i if there exists a leaf αi of F s i included in D i and a leaf α′ i of F s i included in D ′ i such that αi ≺ i α′ i .Proposition 2.24 shows that we can replace "there exists" by "for every" in this definition.It follows that ≺ i is indeed a partial order on A i .Now comes the technical result which will allow us to extend the map ∆ s : In order to prove Proposition 3.8, we need several intermediary results.Lemma 3.9.The map φin : This means that there exists a leaf ℓ 1 of the oriented lamination L u 1 which crosses D 1 before crossing D ′ 1 .As a consequence, if we endow φin (ℓ 1 ) with the image under φin of the orientation of α 1 , then φin (ℓ 1 ) crosses φin (D 1 ) before crossing φin (D ′ 1 ).Now recall that: • φin (D 1 ) and φin (D ′ 1 ) are strips bounded by leaves of the lamination φin ( L s 1 ) = L s 2 , • there exists an isotopy ( φt ) joining φin to φout such that the lamination φt ( L u 1 ) is strongly transverse to the lamination L s 2 for every t.
We deduce that, if we endow φout (ℓ 1 ) with the image under φout of the orientation of ℓ 1 , then φout (ℓ 1 ) crosses φin (D 1 ) before crossing φin (D ′ 1 ).According to (4), this means that there is a leaf of the oriented lamination L u 1 which crosses φin (D 1 ) before crossing φin (D ′ 1 ).By definition of the partial order ≺ 2 , this means that φin (D 1 ) ≺ 2 φin (D ′ 1 ).Proof.The proof is a bit intricate, because we need to introduce no less than six leaves and compare their orientations.Recall that we have chosen some orientations for the foliations F u 1 and F u 2 .In the sequel, we will also consider the foliations ( φin ) * F u 1 , ( φout ) * F u 1 and ( φt ) * F u 1 ; we endow them with the images under φin , φout and φt of the orientation of F u 1 .
• for i = 1, 2, each leaf ℓ ∈ f s i has a neighborhood U ℓ in f s i so that the leaves in U ℓ are totally ordered (Proposition 2.23).
Of course, the stable and the unstable direction play some symmetric roles, hence the same arguments as above alow to prove the following analog of Corollary 3.12: Corollary 3.13.The map ∆ u : f u,∞ • the map φin satisfies the following equivariance φin • γ = ( Φin ) * (γ) • φin (equation ( 2)).This shows that the map ∆ satisfies the equivariance relation ∆ • γ = ( Φin ) * (γ) • ∆, and completes the proof.Proposition 3.16.The map ∆ : S 1 → S 2 conjugates the Poincaré maps θ1 and θ2 , that is Proof.On the one hand, for i = 1, 2, the coding map χ s i conjugates the Poincaré map θi on S i to the shift map on the symbolic space Σ s i (Proposition 2.17).On the other hand, the map ( φin ) ⊗Z ≥0 obviously conjugates the shift map on Σ s 1 to the shift map on Σ s 2 .Hence, ∆ s = (χ s 2 ) −1 • ( φin ) ⊗Z ≥0 • χ s 1 conjugates the action θ1 on f s,∞ 1 to the action of θ2 on f s,∞

2
. By density of f s,∞ 1 in f s i , it follows that ∆ s conjugates the action θ1 on f s 1 to the action of θ2 on f s 2 .Similalrly, ∆ u conjugates the action θ1 on f u 1 to the action of on f u 2 .Finally, since ∆ is defined by mating ∆ s and ∆ u (see ( 12)), this implies that ∆ conjugates θ1 to θ2 .

From the map ∆ to the orbital equivalence
To conclude the proof of Theorem 1.2, we need to introduce the orbit spaces of the Anosov flows (Y t 1 ) and (Y t 2 ).The orbit space of (Y t i ) is by definition the quotient of the manifold M i by the action of the flow (Y t i ).We denote it by O i , and we denote by pr i the natural projection of M i on O i .The action of the fundamental group π 1 (M i ) on M i induces an action of this group on O i .The two dimensional foliations F s i and F u i are leafwise invariant under the flow (Y t i ) and therefore can be projected in the orbit space O i .They induce a pair (g s i , g u i ) of transverse 1-dimensional foliations on O i .
The orbit space O i by itself does not carry much information: indeed, O i is always separated manifold diffeomorphic to R 2 (see [8,Proposition 2.1] or [2,Theorem 3.2]).The pair of transverse foliations (g s i , g u i ) carries a much more interesting information (see the work of Barbot and Fenley on the subject; good references are.Barbot's habilitation memoir [3] and Barthelmé's lecture notes [4]).The action of π 1 (M i ) on O i carries an even richer dynamical information: actually, this action characterizes the flow (Y t i ) up to topological equivalence (see Theorem 3.22 below).Recall that Λ denotes the maximal invariant set of the initial hyperbolic plug (U, X), that Λ i denotes the projection of Λ in the manifold M i = U/ψ i , and that Λ i the complete lift of Λ i in the universal cover M i .Now, we denote by L i the projection of the set Λ i in O i .
Lemma 3.17.The projection pr i ( S i ) of the surface S i in the orbit space O i is exactly the complement of the set L i in O i .
Proof.The set Λ is the union of the orbits of the vector field X which remain in U forever, i.e. which do not intersect ∂U .Hence the set Λ i = π i (Λ) is the union of the orbits of the vector field Y i = (π i ) * X which do not intersect the surface S i = π i (∂U ).As a further consequence, Λ i is the union of the orbits of the vector field Y i which do not intersect the surface S i .This means that the projection of S i in the orbit space O i is exactly the complement of the projection of the set Λ i .Proposition 3.16 can be rephrased as follows: two points x, x ′ ∈ S 1 belong to the same orbit of the flow ( Y t 1 ) if and only if the points ∆(x) and ∆(x ′ ) belong to the same orbit of the flow ( Y t 2 ).As a consequence, the homeomorphism ∆ : S 1 → S 2 induces a homeomorphism Lemma 3.21.For every compact set K ⊂ O 1 ≃ R 2 , the set η(K \ L 1 ) has compact closure in O 2 ≃ R 2 .
Proof.For i = 1, 2, the surface O i \ L i has infinitely many ends.One of them is the end of O i ≃ R 2 , that we denote by ∞ i .The other ends are in one to one correspondance with the points of L i (since L i is totally discontinuous).Proving lemma 3.21 is equivalent to proving that the homeomophism η : O 1 \ L 1 → O 2 \ L 2 maps the end ∞ 1 to the end ∞ 2 .
From the viewpoint of the topology of the surface O i \ L i , nothing distinguishes ∞ i from the other ends.Hence we need to introduce some dynamical invariants to prove that η necessarily maps ∞ 1 to ∞ 2 .
For i = 1, 2, the foliation F s i induces a 1-dimensional foliation g s i on the space O i .We denote by g s i,0 the restriction of the foliation g s i to O i \ L i .According to Lemma 3.17, g s i,0 can be obtained as the projection on O i of the foliation F s i ∩ S i = F s i .As a consequence, η maps the foliation g s 1,0 to the foliation g s 2,0 .Since O i is a plane, every leaf of the foliation g s i is a properly embedded line, going from ∞ i to ∞ i (recall that ∞ i is the unique end of O i ).The leaves of g s i = (pr i ) * F s i that intersect L i = pr i (Λ i ) are the projections of the leaves of the lamination W s ( Λ i ).In particular, there exist leaves of g s i that do not intersect L i .As a consequence, there exist leaves of g s i,0 going from ∞ i to ∞ i .On the other hand, if x is an end of O i \ L i corresponding to a point of L i , then there does not exist any leaf of g s i,0 going from x to x (because every leaf ℓ of g s i,0 is a connected component of l \ L i where l a line in O i going from ∞ i to ∞ i ).So, the foliation g s i,0 allows to distinguish ∞ i from the other ends of O i \ L i .Since η maps g s 1,0 to g s 2,0 , it follows that η must map ∞ 1 to ∞ 2 .Since ∞ i is the unique end of O i , this exactly means that, for a compact set Proof of Proposition 3.18.Lemmas 3.20 and 3.21, together with the fact that O 1 and O 2 are homeomorphic to R 2 , show that we are exactly in the situation of Lemma 3.19.Applying this Lemma, we get a homeomophism δ : O 1 → O 2 extending η.The equivariance of η follows from those of δ, by continuity and by density of O i \ L i in O i .
We will now conclude the proof of Theorem 1.2 by using a result of Barbot.
Theorem 3.22 (See Theorem 3.4 of [2], or Proposition 1.36 and Corollaire 1.42 of [3]).Two transitive Anosov flows are topologically equivalent if and only if there exist a homeomorphism between their orbit spaces, which is equivariant with respect to the actions of the fundamental groups, and which does not exchange the stable/unstable directions.
Proof of Theorem 1.2.The Theorem is an immediate consequence of Proposition 3.18 and Theorem 3.22.

Then the flows (Y t 1 )
and (Y t 2 ) are orbitally equivalent.It should be noted that, in the statement of Theorem 1.2, we do not require that the hyperbolic plugs (U, X 1 ) and (U, X 2 ) have filling laminations.So Theorem 1.2 concerns a class of Anosov flows which is larger than the class of Anosov flows provided by Theorem 1.1.For example, Bonatti-Langevin's classical example and its generalizations by Barbot (BL-flows) satisfy the hypotheses of Theorem 1.2.

Figure 1 :
Figure 1: Two examples of strongly transverse gluing diffeomorphisms.On the left-hand side, the laminations are filling.The right-hand side corresponds to Bonatti-Langevin's example.

Proposition 2 . 3 .
The Poincaré map θ : S − L s → S − L u preserves the foliations F s and F u .Remark 2.4.Propostion 2.3 states that the foliation ( F s ) | S− L s is mapped by θ to the foliation

Definition 2 . 8 .
We call proper stable strip every topological open disc D of S whose boundary is the union of two leaves of the foliation F s .If D is a proper stable strip, one can easily construct a homeomorphism h from the closure of D to R × [−1, 1].We will need the following stronger notion.Definition 2.9.We say that a proper stable strip D is trivially bifoliated if there exists a homeomorphism h from the closure of D to R × [−1, 1] mapping the foliations F s and F u to the horizontal and vertical foliations on R × [−1, 1].

Proposition 2 .
10. Every connected component of S − L s is a trivially bifoliated proper stable strip bounded by two leaves of the lamination L s .Proof.Let D be a connected component of S − L s .Denote by P the connected component of S containing D. Since P is a topological plane (Proposition 2.1), and since each leaf of L s is a properly embedded topological line (Proposition 2.2) which separates P into two connected components, it follows that D is a topological disc.The boundary of D is a union of leaves of L s (which we call the boundary leaves of D).We denote by D the closure of D.Claim 1.Let ℓ u be a leaf of the foliation F u intersecting D, and α u be a connected component of ℓ u ∩ D. Then α u is an arc joining two different boundary leaves of D.
we will assume that h maps F u D on the vertical foliation of R×[−1, 1].Now we consider a leaf ℓ s of the foliation F s included in D. According to Proposition 2.2, ℓ s intersects each leaf of F u at no more than one point.Hence h(ℓ s ) intersects each vertical segment in R × [−1, 1] at no more than one point.Let E be the set of t ∈ R so that h(ℓ s ) intersects the vertical segment {t} × [−1, 1].Since ℓ s is a proper topological line tranvsersal to F u , the set E t must be open and closed in R. Therefore h(ℓ s ) intersects every vertical segment in R × [−1, 1] at exactly one point.In other words, the leaves of h * ( F s D ) are graphs over the first coordinate in R × [−1, 1].One can easily modify the homeomorphism h so that h * ( F s D ) is the horizontal foliation of R × [−1, 1].Hence D is a trivially bifoliated proper stable strip.Of course, the unstable analog of Proposition 2.10 holds true: every connected component of S − L u is a trivially bifoliated proper unstable strip bounded by two leaves of the lamination L u .On the other hand, θ maps connected components of S − L s to connected component of S − L u .So, we obtain: Corollary 2.11.If D is a connected component of S − L s , then θ(D) is a trivially bifoliated proper unstable strip, disjoint from L u , bounded by two leaves of the lamination L u .The following proposition describes the action of θ on the connected components of S − L s .Proposition 2.12.Let D be a connected component of S − L, and D ′ be any trivially bifoliated proper stable strip.Assume that D ∩ θ−1 (D ′ ) is non-empty.Then D ∩ θ−1 (D ′ ) is a trivially bifoliated proper stable sub-strip of D.
and the boundary of θ(D) ∩ D ′ in θ(D) is made of two disjoint leaves of F s | S− L u .Now recall that θ−1 is a homeomorphism from S − L u to S − L s , mapping leaves of F s | S− L u to full leaves of F s (see Proposition 2.3 and Remark 2.4).Also observe that D ∩ θ−1 (D ′ ) is a subset of D. As a consequence, Properties (⋆) implies: (⋆ ′ ) D ∩ θ−1 (D ′ ) is a connected subset of D, and the boundary of D ∩ θ−1 (D ′ ) is made of two disjoint leaves of F s .Since D is a trivially foliated proper stable strip D, Property (⋆ ′ ) clearly implies that D∩ θ−1 (D ′ ) is a trivially bifoliated proper stable sub-strip of D. See Figure 3.
and the symbolic spaces Σ s = D s = (D p ) p≥0 such that D p ∈ A and θ(D p ) ∩ D p+1 = ∅ for every p , Σ u = D u = (D p ) p<0 such that D p ∈ A and θ(D p ) ∩ D p+1 = ∅ for every p , Σ = D = (D p ) p∈Z such that D p ∈ A and θ(D p ) ∩ D p+1 = ∅ for every p .

Lemma 3 . 1 , 2 .
10. Let D 1 be a connected component of S 1 \ L s 1 .Set D 2 := φin (D 1 ).Then the following are equivalent:1.the map θ1 restricted to the strip D 1 preserves the orientation of the foliation F u the map θ2 restricted to the strip D 2 preserves the orientation of the foliation F u 2 .
where α s − and α s − are disjoint and lie in some leaves of L s , and where α u − and α u + are disjoint and lie in some leaves of L u .Loosely speaking, R is a rectangle with two sides α s − , α s + in L s and two sides α u − , α u + in L u .Proposition 2.2 implies that ℓ u intersects α s − and α s + at no more than one point.Since ℓ u is a proper line, and R is a compact set, it follows that α u must be an arc going from α s − to α s + .Using again Proposition 2.2, it also follows that α s − to α s + cannot be in the same leaf of F s .The claim is proved.
Claim 2. D has exactly two boundary leaves.