This paper introduces a new topological criterion for detecting horseshoes in surface homeomorphisms, with applications to rotation theory, surface dynamics, and structure of transitive sets, advancing understanding of surface dynamics with zero entropy.
Contribution
It develops a purely topological criterion for horseshoes using equivariant Brouwer foliations, and applies it to analyze surface homeomorphisms with zero entropy, including annuli and sphere maps.
Findings
01
Existence of rotation numbers for points with nonempty omega limits in annuli.
02
Single rotation vector for generalized regions of instability.
03
Structure theorem for sphere homeomorphisms without horseshoes, limiting possible dynamics.
Abstract
In this work we develop a new criterion for the existence of topological horseshoes for surface homeomorphisms in the isotopy class of the identity. Based on our previous work on forcing theory, this new criterion is purely topological and can be expressed in terms of equivariant Brouwer foliations and transverse trajectories. We then apply this new tool in the study of the dynamics of homeomorphisms of surfaces with zero genus and null topological entropy and we obtain several applications. For homeomorphisms of the open annulus A with zero topological entropy, we show that rotation numbers exists for all points with nonempty omega limits, and that if A is a generalized region of instability then it admits a single rotation vector. We also offer a new proof of a recent result of Passegi, Potrie and Sambarino, showing that zero entropy dissipative homeomorphisms of…
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsMathematical Dynamics and Fractals · Quantum chaos and dynamical systems · Advanced Differential Equations and Dynamical Systems
Full text
Topological horseshoes for surface homeomorphisms
Patrice Le Calvez
Sorbonne Université, CNRS, Institut de Mathématiques de Jussieu-Paris Rive Gauche,
IMJ-PRG, F-75005 Paris, France, et Institut Universitaire de France
University of São Paulo, Instituto de Matemática e Estatística, Rua do Matão 1010, 05508-090, São Paulo, Brasil & Friedrich-Schiller-Universit’́at, Institute of Mathematics, Ernst-Abbe-Platz 2, 07743, Jena, Germany
In this work we develop a new criterion for the existence of topological horseshoes for surface homeomorphisms in the isotopy class of the identity. Based on our previous work on forcing theory, this new criterion is purely topological and can be expressed in terms of equivariant Brouwer foliations and transverse trajectories. We then apply this new tool in the study of the dynamics of homeomorphisms of surfaces with zero genus and null topological entropy and we obtain several applications. For homeomorphisms of the open annulus A with zero topological entropy, we show that rotation numbers exist for all points with nonempty omega limit sets, and that if A is a generalized region of instability then it admits a single rotation number. We also offer a new proof of a recent result of Passegi, Potrie and Sambarino, showing that zero entropy dissipative homeomorphisms of the annulus having as an attractor a circloid have a single rotation number.
Our work also studies homeomorphisms of the sphere without horseshoes. For these maps we present a structure theorem in terms of fixed point free invariant sub-annuli, as well as a very restricted description of all possible dynamical behavior in the transitive subsets. This description ensures, for instance, that transitive sets can contain at most 2 distinct periodic orbits and that, in many cases, the restriction of the homeomorphism to the transitive set must be an extension of an odometer. In particular, we show that any nontrivial and stable transitive subset of a dissipative diffeomorphism of the plane is always infinitely renormalizable in the sense of Bonatti-Gambaudo-Lion-Tresser.
F. A. Tal was partially supported by the Alexander von Humboldt foundation as well as by CAPES, FAPESP and CNPq-Brasil.
1. Introduction
In the whole text, we will define the entropy of a homeomorphism f of a Hausdorff locally compact topological space X as being the topological entropy of the extension of f to the Alexandrov compactification of X, that fixes the point at infinity. We will say that f is topologically chaotic if its entropy is positive and if the number of periodic points of period n for some iterate of f grows exponentially in n. An important class of topologically chaotic homeomorphisms is the class of homeomorphisms that possesses a topological horseshoe. Let us give a precise definition of what we have in mind: a compact subset Y of X is a topological horseshoe if it is invariant by a power fr of f and if fr∣Y admits a finite extension g:Z→Z on a Hausdorff compact space such that:
•
g is an extension of the Bernouilli shift σ:{1,…,q}Z→{1,…,q}Z, where q⩾2;
•
The preimage of every s-periodic sequence of {1,…,q}Z by the factor map u:Z→{1,…,q}Z contains a s-periodic point of g.
By an extension we mean a homeomorphism semi-conjugated to a given homeomorphism, by a finite extension we mean an extension such that the fibers of the factor map are all finite with an uniform bound in their cardinality. Note that, if h(f) denotes the topological entropy of f, then
[TABLE]
and that frn has at least qn/m fixed points for every n⩾1, if the cardinality of the fibers of the factor map v:Z→Y are uniformly bounded by m.111The reader will notice that the topological horseshoes that will be constructed in this article possess the following additional stability property: if U is neighborhood of Y and U a neighborhood of f for the compact open topology, then every map f′∈U admits a topological horseshoe Y′⊂U satisfying the same properties as Y.
We can add that the requirement to consider finite extensions comes from the following fact: extensions g of Bernouilli shifts will be
constructed for lifts of fr∣U to some covering spaces of U,
where U is an open subset of a surface M invariant by the power
fr of a homeomorphism f of M. It is not clear that an extension
of a Bernouilli shift can be constructed directly on the surface. More
generally, it is a natural question to determine if, whenever Y is a topological horseshoe, then one may find a subset Y′ invariant by a power fr′ of f such that fr′∣Y′ satisfies the same properties as g.
Since the groundbreaking work of Smale [42], the presence of horseshoes have been a paradigmatic feature of dynamical systems, and its prevalence as a phenomenon is well known. Their role in the particular case of surface dynamics is even larger, as demonstrated by the results of Katok in [27], showing by Pesin’s Theory that any sufficiently smooth diffeomorphism of a surface with strictly positive topological entropy has a topological horseshoe. Nonetheless, this direct relationship between existence of horseshoes and topological entropy is not valid in the context of homeomorphisms (see [40], [4]).
This article is a natural continuation of [33], where the authors gave a new orbit forcing theory for surface homeomorphisms related to the notion of maximal isotopies, transverse foliations and transverse trajectories. A classical example of forcing result is Sharkovski’s theorem: there exists an explicit total order ⪯ on the set of natural integers such that every continuous transformation f on [0,1] that contains a periodic orbit of period m contains a periodic orbit of period n if n⪯m. Recall that if f admits a periodic orbit whose period is not a power of 2, one can construct a Markov partition and code orbits with a sub-shift of finite type: more precisely there exists a topological horseshoe. The simplest situation from which the existence of a topological horseshoe can be deduced is the existence of a point x such that f3(x)⩽x<f(x)<f2(x). The fundamental theorem of this paper, which will be announced at the end of this introduction, is a simple criterion of existence of a topological horseshoe stated in terms of transverse trajectories. We already gave a partial result in this direction in [33] but it required stronger hypothesis on the transverse trajectories. Moreover the conclusion was weaker: we proved that the map was topologically chaotic but did not get a topological horseshoe.
The main result can be used as an interesting tool in the study of surface homemorphisms, with relations to horseshoes or to entropy. It has the advantage of being a purely topological technique, and as so can be applied with no restrictions to homeomorphisms, but the theorem has also new and relevant consequences even in the presence of additional smoothness.
We apply our main result do deduce many applications to the study of homeomorphisms of a surface of genus zero isotopic to the identity. This will be done usually by studying the complementary problem of describing the behaviour of homeomorphisms with no topological horseshoes, and consequently of C1+ϵ diffeomorphisms with zero topological entropy. This subject has been previously investigated for instance by Handel in [22], who studied among other things the existence of rotation numbers for maps of the annulus, and by Franks and Handel in [20], who presented a structure theorem for C∞ diffeomorphisms of the sphere preserving the volume measure, a result we extended to the C0 context in [33]. Another related topic that has received considerable attention is the study of dissipative diffeomorphisms of the plane with no entropy, in particular in the Henon family, with an emphasis in describing the dynamics of diffeomorphisms that can be approximated by maps with strictly positive entropy (see, for instance, [16, 17, 24]). Recent progress, which includes a description of dynamical behavior of transitive sets for the subset of strongly dissipative diffeomorphisms, was obtained by Crovisier, Kocsard, Koropecki and Pujals (see [14]), which enabled a breakthrough in the understanding of the boundary of entropy zero for a region of the parameter plane for the Henon family (see [15]).
1.1. Applications
Our first application, one that is a main tool in obtaining the other results, is about rotation numbers for annular homeomorphisms with no topological horseshoes. We will use the definition introduced by Le Roux [36] and developed by Conejeros [12]. Write T1=R/Z, denote by πˇ:R2→A the universal covering projection of the open annulus A=T1×R and by π1:R2→R the projection in the first coordinate. Write T:(x,y)↦(x+1,y) for the fundamental covering automorphism. Let f be a homeomorphism of A isotopic to identity and fˇ a lift to R2. Say that a point z is an escaping point of f, if the sequence (fn(z))n⩾0 converges to an end of A or equivalently if its ω-limit set ω(z) is empty. We will denote ne+(f) the complement of the set of escaping points. Denote by ne−(f)=ne+(f−1) the set of points z such that the α-limit set α(z) is non empty. We will define ne(f)=ne+(f)∪ne−(f−) and denote Ω(f) the set of non-wandering points. We say that z∈ne+(f) has a rotation number rotfˇ(z) if, for every compact set K⊂A and every increasing sequence of integers (nk)k⩾0 such that fnk(z)∈K, we have
[TABLE]
if zˇ is a lift of z. 222In the article, when writing rotfˇ(z)=ρ, we implicitly suppose that z belongs to ne+(f) and has a rotation number equal to ρ.
It is straightforward that if h is a homeomorphism of A then z belongs to ne+(f) is and only if h(z) belongs to ne+(h∘f∘h−1). Moreover, if hˇ is a lift of h to R2, then rothˇ∘fˇ∘hˇ−1(h(z)) exists if and only if rotfˇ(z) exists and we have
[TABLE]
Consequently, one can naturally define rotation numbers for a homeomorphism of an abstract annulus A and a given lift to the universal covering space, as soon as a generator of H1(A,Z) is chosen. More precisely, let f be homeomorphism of A isotopic to the identity and fˇ a lift of f∣A to the universal covering space Aˇ of A. Let κ be a generator of H1(A,Z) and h:A→A a homeomorphism such that h∗(κ)=κ∗, where κ∗ is the generator of H1(A,Z) induced by the loop Γ∗:t↦(t,0). If hˇ:Aˇ→R2 is a lift of h, then \check{h}\circ\check{f}\circ{\color[rgb]{0,0,0}\check{h}}^{-1} is a lift of h∘f∣A∘h−1, independent of the choice of hˇ. If z belongs to ne+(f∣A), then h(z) belongs to ne+(h∘f∣A∘h−1). The existence of rothˇ∘fˇ∣A∘hˇ−1(h(z)) does not depend on the choice of h. In case such a rotation number is well defined, we will denote it rotfˇ,κ(z) because it does not depend on h. Note that
[TABLE]
We will also define
[TABLE]
Theorem A**.**
Let f be a homeomorphism of A isotopic to the identity and fˇ a lift of f to R2. We suppose that f has no topological horseshoe. Then
(1)
*each point z∈ne+(f) has a *well defined rotation number rotfˇ(z);
2. (2)
for every z,z′∈ne+(f) such that z′∈ω(z), we have rotfˇ(z′)=rotfˇ(z);
3. (3)
if z∈ne+(f)∩ne−(f) is non-wandering, then rotfˇ−1(z)=−rotfˇ(z);
4. (4)
the map rotfˇ±:Ω(f)∩ne(f)→R is continuous, where
[TABLE]
Remarks*.*
In [33], we proved the existence of the rotation number rotfˇ(z) for every bi-recurrent point z, assuming that f is not topologically chaotic (which is a stronger hypothesis). Similar results were previously proved by Handel [22].
Example*.*
The map fˇ:(x,y)↦(x+y,y∣y∣) lifts a homeomorphism f of A isotopic to the identity such that
[TABLE]
Note that
[TABLE]
and
[TABLE]
The maps rotfˇ and rotfˇ−1 are non continuous on their domains of definition and the equality rotfˇ(z)=−rotfˇ−1(z) is true only if z∈Ω(f).
The next result is a strong improvement of the assertion (3) of Theorem A, it will be expressed in terms of Birkhoff cycles and Birkhoff recurrence classes. Let X be a metric space, f a homeomorphism of X, and z1, z2 two points of X. We say that there exists a Birkhoff connection from z1 to z2 if for every neighborhood W1 of z1 and every neighborhood W2 of z2, there exists n⩾1 such that W1∩f−n(W2)=∅. A Birkhoff cycle is a finite sequence (zi)i∈Z/pZ such that for every i∈Z/pZ, there exists a Birkhoff connection from zi to zi+1. A point z is said to be Birkhoff recurrent for f if there exists a Birkhoff cycle containing z. Note that a point z is non-wandering if and only if it defines a Birkhoff cycle with p=1, so every non wandering point is Birkhoff recurrent. One can define an equivalence relation in the set of Birkhoff recurrent points. Say that z1 is Birkhoff equivalent to z2 if there exists a Birkhoff cycle containing both points. The equivalence classes will be called Birkhoff recurrence classes. Note that every ω-limit set or α-limit set is contained in a single Birkhoff recurrence class. In particular, every transitive set, which means every set Λ such that there exists z∈Λ satisfying ω(z)=Λ, is contained in a single Birkhoff recurrence class. On the other hand, it is easily seen that any Birkhoff recurrent class is contained in a chain recurrent class, but the converse does not need to hold, for instance when f is the identity.
If f is a homeomorphism of A isotopic to the identity, we denote fsp the continuous extension of f to the sphere obtained by adding the two ends N and S of A.
Theorem B**.**
Let f be a homeomorphism of A isotopic to the identity and fˇ a lift of f to R2. We suppose that f has no topological horseshoe. If B is a Birkhoff recurrence class of fsp, there exists ρ∈R such that,
[TABLE]
We immediately deduce:
Corollary C**.**
Let f be a homeomorphism of A isotopic to the identity and fˇ a lift of f to R2. We suppose that f has no topological horseshoe. Then for every Birkhoff cycle (zi)i∈Z/pZ of f in ne(f), there exists ρ∈R such that, for every i∈Z/pZ:
[TABLE]
If f is a homeomorphism of A isotopic to the identity and fˇ a lift of f to R2, we will say that ρ∈R is a rotation number of fˇ if either there exists z∈ne+(f) such that rotfˇ(z)=ρ or if there exists z∈ne−(f) such that rotfˇ−1(z)=−ρ. We can prove another result.
Proposition D**.**
Let f be a homeomorphism of A isotopic to the identity, fˇ a lift of f to R2. We suppose that:
(1)
fˇ* has at least two rotations numbers;*
2. (2)
N* and S belong to the same Birkhoff recurrence class of fsp .*
Then f has a topological horseshoe.
Remark*.*
It was already known by Birkhoff [7] that the hypothesis of the theorem are satisfied for an area preserving positive twist map of the annulus, restricted to a Birkhoff region of instability. The positiveness of the entropy was already stated in this case (see Boyland-Hall [10] and Boyland [9] for a topological proof, see Angenent [1] for a more combinatorial proof). The previous corollary extends the result for situations including a generalized region of instability: the area preserving hypothesis can be replaced by the existence of a cycle of Birkhoff connections containing the two ends, the twist condition by the existence of two different rotation numbers.
The third application is a new proof of a recent result of Passegi, Potrie and Sambarino [38]. Say that a homeomorphism f of A is dissipative if for every non empty open set U of finite area, the area of f(U) is smaller than the area of U. Say that an invariant compact set X is locally stable if X admits a fundamental system of forward invariant neighborhoods. Say that a compact set X⊂A is a circloid if
•
it is the intersection of a nested sequence of sets homeomorphic to T1×[0,1] and homotopic to T1×{0};
•
it is minimal for the inclusion among sets satisfying this property.
Its complement has two connected components that are non relatively compact. A classical example is a cofrontier : X is a compact set whose complement has exactly two connected components, they are not relatively compact and X is their common boundary.
Theorem E**.**
Let f be a homeomorphism of A isotopic to the identity and fˇ a lift of f to R2. We suppose that f has no topological horseshoe. Let X be an invariant circloid. If f is dissipative or if X is locally stable, then the function rotf, which is well defined on X, is constant on this set. More precisely, the
sequence of maps
[TABLE]
converges uniformly to this constant on πˇ−1(X).
Remark*.*
In our proof we need either dissipativeness or local stability. Nevertheless, is not clear that they are necessary to get the conclusion. So, it is natural to ask whether the conclusion holds without supposing f dissipative or X locally stable.
We can conclude this description of results related to rotation numbers with the following result which has its own interest:
Proposition F**.**
Let f be a homeomorphism isotopic to the identity of A and fˇ a lift of f to R2. We suppose that fˇ is fixed point free and that there exists z∗∈Ω(f)∩ne+(f) such that rotfˇ(z∗) is well defined and equal to [math].
•
Then, at least one of the following situation occurs:
(1)
there exists q arbitrarily large such that fˇq∘T−1 has a fixed point;
2. (2)
there exists q arbitrarily large such that fˇq∘T has a fixed point.
•
Moreover, if z∗ is positively recurrent then f has a topological horseshoe.
An important section of this article is devoted to a structural study of the homeomorphisms of the 2-sphere S2 with no horseshoe. For instance we will get a very precise description of the transitive
sets (see Proposition K). Let us state the fundamental result.
Theorem G**.**
Let f:S2→S2 be an orientation preserving homeomorphism that has no topological horseshoe. Then, the set
[TABLE]
can be covered by a family (Aα)α∈A of invariant sets such that:
(1)
Aα* is a fixed point free topological open annulus and f∣Aα is isotopic to the identity;*
2. (2)
if κ is a generator of H1(Aα,Z), there exists a lift of f∣Aα to the universal covering space of Aα whose rotation numbers are all included in [0,1];
3. (3)
Aα* is maximal for the two previous properties.*
Such a result was already proved by Franks and Handel in the case of smooth area preserving diffeomorphisms. In that case, the first condition implies the second one. Moreover, the family
(Aα)α∈A is explicitly defined in terms of disk recurrent points (see [20]) and the annuli are pairwise disjoint. This result is the main building block in a structure theorem for area preserving diffeomorphisms given by the two authors (one should apply the previous result to all iterates of f).
We extended Franks-Handel results in the case of homeomorphisms with no wandering points in [33]. In the present article, there is an attempt to give a similar structure theorem with no assumption about wandering points. It appears that some of the results remain (usually with proofs technically tougher) and some not (for example, the annuli appearing in the previous theorem are not necessarily disjoint). There is probably some progress to do to obtain a complete description of homeomorphisms with no topological horseshoes. Nevertheless we were able to state some results on the structure of Birkhoff recurrence classes and of transitive sets.
A property of Birkhoff recurrence classes, related to rotation numbers, has already been stated in Theorem B. Let us continue to describe the behavior of Birkhoff recurrence classes. Say a set X⊂fix(f) is unlinked if the restriction of f to S2∖X is still homotopic to the identity. Let us also say a homeomorphism f of S2 is an irrational pseudo-rotation if:
•
f has exactly two periodic points, z0 and z1, which are both fixed;
•
ne(f∣S2∖{z0,z1}) is not empty;
•
if fˇ is a lift of f∣S2∖{z0,z1} to the universal covering space of S2∖{z0,z1}, its unique rotation number is an irrational number ρ.
Proposition H**.**
Suppose that f is an orientation preserving homeomorphism of S2 with no topological horseshoe. Assume f has at least three distinct recurrent points. If B is a Birkhoff recurrence class containing two fixed points z0 and z1, then
(1)
*either there exists q⩾1 such that *every recurrent point in B is a periodic point of period q and fix(fq)∩B is an unlinked set of fq;
(2)
or f is an irrational pseudo-rotation.
Corollary I**.**
Let f be an orientation preserving homeomorphism of S2 with no topological horseshoe. Let B be a Birkhoff recurrence class containing periodic points of different periods, then:
•
there exist integers q1 and q2, with q1 dividing q2, such that every periodic point in B has a period either equal to q1 or to q2
•
if q1⩾2, there exists a unique periodic orbit of period q1 in B;
•
if q1=1, there exist at most two fixed points in B.
As an illustration, note that if the restriction of f to a transitive set is topologically chaotic, then f has a topological horseshoe because there are infinitely many periodic points in the set.
Let us now enumerate the possible dynamics of transitive sets for homeomorphisms with no topological horseshoes.
The following corollary shows that, if there is no topological horseshoe, transitive sets almost always must contain at most a single periodic orbit.
Corollary J**.**
Let f be an orientation preserving homeomorphism of S2 with no topological horseshoe. Assume that there exists a transitive set containing two distinct periodic orbits. Then f is an irrational pseudo-rotation.
Before providing a more precise description of the dynamics of transitive sets for homeomorphisms with no topological horseshoes, let us say, following [8], that f:S2→S2 is topologically infinitely renormalizable over a closed, nonempty invariant set Λ, if there exists an increasing sequence (qn)n⩾0 of positive integers and a decreasing sequence (Dn)n⩾0 of open disks such that:
•
qn divides qn+1;
•
Dn is fqn periodic;
•
the disks fk(Dn), 0⩽k<qn are pairwise disjoint;
•
Λ⊂⋃0⩽k<qnfk(Dn).
We note that, if f is topologically infinitely renormalizable over Λ, then the restriction of f to Λ is semi-conjugated to an odometer transformation and one can show, by standard Brouwer Theory arguments, that f has periodic points of period qn for each n∈N.
Proposition K**.**
Let f:S2→S2 be an orientation preserving homeomorphism with no horseshoe and Λ a transitive set. Then:
(1)
either Λ is a periodic orbit;
2. (2)
or f is topologically infinitely renormalizable over Λ;
3. (3)
or Λ is of irrational type.
Let us precise the last case. It means that Λ is the disjoint union of a finite number of closed sets {Λ1,...,Λq} that are cyclically permuted by f, and that there exists an irrational number ρ∈R such that, for all n⩾1, if z0, z1 are different fixed points of fqn (possibly in Λ), there exists a lift gˇ of fqn∣S2∖{z0,z1} and a generator κ of H1(S2∖{z0,z1},Z) such that:
•
either the unique rotation number of Λ1∖{z0,z1} for gˇ is nρ;
•
or the unique rotation number of Λ1∖{z0,z1} for gˇ is [math];
furthermore, there exist some n⩾1 and some pair of different fixed points of fqn such that the first situation holds.
Among classical examples of transitive sets of irrational type one can mention: periodic closed curves with no periodic orbits, Aubry-Mather sets, the sphere itself for a transitive irrational pseudo-rotation (for instance, Besicovitch’s example in [6]), and Perez-Marco hedgehogs (see [39]).
Finally, we can improve the previous proposition when considering C1 dissipative diffeomorphisms, a class that has been extensively studied in the context of the Hénon family and the transition to positive entropy.
Proposition L**.**
Let f:R2→R2 be an orientation preserving {\color[rgb]{0,0,0}\mathcal{C}^{1}} diffeomorphism with no horseshoe, such that |{\color[rgb]{0,0,0}\mathrm{det}}Df(x)|<1 for all x∈R2. Let Λ be a compact transitive set that is locally stable. Then either Λ is a periodic orbit, or f is topologically infinitely renormalizable over Λ.
1.2. Forcing results
Our two fundamental results deal with mathematical objects (maximal isotopies, transverse foliations, transverse trajectories, F-transverse intersection) that will be reminded in the next section. We will detail the theorems in the same section. The first result is a realization theorem improving results stated in [33]. The second theorem is the key point in the proofs of all statements above.
Theorem M**.**
Let M be an oriented surface, f a homeomorphism of M isotopic to the identity, I a maximal isotopy of f and F a foliation transverse to I. Suppose that γ:[a,b]→dom(I) is an admissible path of order r with a F-transverse self intersection at γ(s)=γ(t), where s<t. Let γ be a lift of γ to the universal covering space dom(I) of dom(I) and T the covering automorphism such that γ and T(γ) have a F-transverse intersection at γ(t)=T(γ)(s). Let f be the lift of f∣dom(I) to dom(I), time-one map of the identity isotopy that lifts I, and f the homeomorphism of the annular covering space dom(I)=dom(I)/T lifted by f. Then we have the following:
(1)
For every rational number p/q∈(0,1], written in an irreducible way, there exists a point z∈dom(I) such that fqr(z)=Tp(z) and such that IFZ(z) is equivalent to ∏k∈ZTk(γ[s,t]).
2. (2)
For every irrational number ρ∈[0,1/r], there exists a compact set Zρ⊂dom(I) invariant by f, such that every point z∈Zρ has a rotation number rotf(z) equal to ρ. Moreover if z∈dom(I) is a lift of z, then IFZ(z) is equivalent to ∏k∈ZTk(γ[s,t]).
Theorem N**.**
Let M be an oriented surface, f a homeomorphism of M isotopic to the identity, I a maximal isotopy of f and F a foliation transverse to I. If there exists a point z in the domain of I and an integer q⩾1 such that the transverse trajectory IFq(z) has a F-transverse self-intersection, then f has a topological horseshoe. Moreover, the entropy of f is at least equal to log4/3q.
Remark*.*
In [33] we stated a weaker version of this result. Supposing that z was a recurrent point of f and f−1, we proved that f was topologically chaotic, but we did not show the existence of a horseshoe.
The proof there was obtained through the coding of orbits by infinite sequences on a finite alphabet and applying a ”forcing lemma” but it relied on some artificial preliminary results. The proof that is given here is much more direct and natural. It uses the orbit of a Brouwer line for a fixed point free G-equivariant homeomorphim of the plane, the group G acting freely and properly. In addition, the arguments are more geometrical; we construct a topological horseshoe related to the Conley index theory. The conclusion is much stronger and the assumptions are weaker, no recurrence hypothesis is needed. The fact that the recurrence is no longer required is what allow us to get the applications announced in this introduction.
1.3. Notations and organization of the paper
We will use the following notations:
•
If Y is a subset of a topological space X, we will write Y, Int(Y), Fr(Y) for its closure, its interior and its frontier, respectively.
•
We will denote fix(f) the set of fixed points of a homeomorphism defined on a surface M.
•
A set X⊂M will be called f-free if f(X)∩X=∅.
•
A line of M is a proper topological embedding λ:R→M (or the image of this embedding). If the complement of λ has two connected components, we will denote R(λ) the component lying on the right of λ and L(λ) the component lying on its left.
•
If F is a topological foliation defined on M, we will denote ϕz the leaf passing through a given point z∈M.
The paper is organized as follows: In Section 2 we recall the basic features of Brouwer equivariant theory and of the forcing theory, as well as some basic results on rotation numbers and Birkhoff recurrence classes. In Section 3 we construct the topological horseshoes and prove Theorems M and N. Section 4 describes properties of transverse trajectories with no transverse intersection in the sphere, Section 5 is dedicated to proving the applications concerning rotation numbers, including Theorems A, B and E, as well as Propositions D and F. In Section 6 we derive our structure theorem for homeomorphisms of the sphere with no topological horseshoes and prove Theorem G. Lastly, Section 7 deals with the final applications for Birkhoff recurrence classes and transitive sets, proving Propositions H, K and L and related results.
We would like to thank A. Koropecki for several discussions and suggestions regarding this work. We are also very grateful for the referees’ impressive work. The suggestions greatly improved the presentation of this work.
2. Preliminaries
2.1. Maximal isotopies, transverse foliations and transverse trajectories
2.1.1. Maximal isotopies
Let M be an oriented surface (not necessarily closed, not necessarily of finite type) and f a homeomorphism of M that is isotopic to the identity. We denote by I the space of identity isotopies of f which means the set of continuous paths defined on [0,1] that join the identity to f in the space of homeomorphisms of M, furnished with the C0 topology (defined by the uniform convergence of maps and their inverse on compact sets). If I=(ft)t∈[0,1] is such an isotopy, we define the trajectoryI(z) of a point z∈M to be the path t↦ft(z). For every integer n⩾1, we can define by concatenation
[TABLE]
Furthermore we can define
[TABLE]
the last path being called the whole trajectory of z.
The fixed point set of I is the set fix(I)=⋂t∈[0,1]fix(ft)
and the domain of I its complement, that we will denote dom(I).
We have a preorder on I defined as follows: say that I⪯I′ if
•
fix(I)⊂fix(I′);
•
I′ is homotopic to I relative to fix(I).
We have the recent following result, due to Béguin-Crovisier-Le Roux [5]:
Theorem 1**.**
For every I∈I, there exists I′∈I such that I⪯I′ and such that I′ is maximal for the preorder.
Remarks*.*
A weaker version of the theorem was previously proved by Jaulent [26] and stated in terms of singular isotopies. While sufficient for the applications we are looking for, it is less easy to handle. Note that we used Jaulent’s formalism in [33].
An isotopy I is maximal if and only if, for every z∈fix(f)∖fix(I), the closed curve I(z) is not contractible in dom(I) (see [26]). Equivalently, if we lift the isotopy I∣dom(I) to an identity isotopy I=(ft)t∈[0,1] on the universal covering space dom(I) of dom(I), the maximality of I means that f1 is fixed point free. Note that every connected component of dom(I) must be a topological plane.
2.1.2. Transverse foliation
We keep the same notations as above. We have the following result (see [30]):
Theorem 2**.**
If I∈I is maximal, there exists a topological oriented singular foliation F on M such that
•
the singular set sing(F) coincides with fix(I);
•
for every z∈dom(I), the trajectory I(z) is homotopic in dom(I), relative to the ends, to a path γpositively transverse 333in the whole text, “transverse” will mean “positively transverse” to F, which means locally crossing each leaf from the right to the left.
We will say that F is transverse to I. It can be lifted to a non singular foliation F on dom(I) which is transverse to I. This last property is equivalent to saying that every leaf ϕ of F, restricted to the connected component of dom(I) that contains it, is a Brouwer line of f1: its image is contained in the connected component L(ϕ) of the complement of ϕ lying on the left of ϕ and its inverse image in the connected component R(ϕ) lying on the right (see [30]). The path γ is not uniquely defined. When lifted to dom(I), one gets a path γ from a lift z of z to f1(z):
•
that meets
once every leaf that is on the left of the leaf ϕz containing z and on the right of the leaf ϕf(z) containing f(z),
•
that does not meet any other leaf.
Every other path γ′ satisfying these properties projects onto another possible choice γ′. We will say that two positively transverse paths γ and γ′ are equivalent if they can be lifted to dom(I) into paths that meet exactly the same leaves. We will write γ=IF(z) and call this path the transverse trajectory of z (it is defined up to equivalence). For every integer n⩾1, we can define by concatenation
[TABLE]
Furthermore we can define
[TABLE]
the last path being called the whole transverse trajectory of z.
The following proposition, that will be useful in the article, is easy to prove (see [33]):
Proposition 3**.**
We have the following:
•
for every z∈dom(I) and every n⩾1, there exists a neighborhood U of z such that IFn(z) is a subpath (up to equivalence) of IFn+2(f−1(z′)), if z′∈U;
•
for every z∈dom(I), every z′∈ω(z)∩dom(I), every m⩾0 and every n⩾1, IFn(z′) is a subpath (up to equivalence) of IFN(fm(z)).
We will say that a path γ:[a,b]→dom(I), positively transverse to F, is admissible of order n if it is equivalent to a path IFn(z), z∈dom(I). It means that if γ:[a,b]→dom(I) is a lift of γ, there exists a point z∈dom(I) such that z∈ϕγ(a) and fn(z)∈ϕγ(b), or equivalently, that
fn(ϕγ(a))∩ϕγ(b)=∅.
2.2. F-transverse intersection
Let us begin with a definition. Given three disjoint lines λ0,λ1,λ2:R→dom(I) contained in the same connected component of dom(I), we will say that that λ2 is above λ1 relative to λ0 (and that λ1 is below λ2 relative to λ0) if none of the lines separates the two others and if, for every pair of disjoint paths γ1,γ2 joining z1=λ0(t1) to z1′∈λ1 and z2=λ0(t2) to z2′∈λ2 respectively, such that the paths do not meet the lines but at their endpoints, one has that t1<t2.
Let γ1:J1→dom(I) and γ2:J2→dom(I) be two transverse paths defined on intervals J1 and J2 respectively. Suppose that there exist t1∈J1 and t2∈J2 such that γ1(t1)=γ2(t2). We will say that γ1 and γ2 have a F-transverse intersection at γ1(t1)=γ2(t2) if there exist a1,b1∈J1 satisfying a1<t1<b1 and a2,b2∈J2 satisfying a2<t2<b2 such that if γ1,γ2 are lifts of γ1,γ2 to dom(I) respectively, verifying γ1(t1)=γ2(t2), then
ϕγ2(b2) is below ϕγ1(b1) relative to ϕγ1(t1) if ϕγ2(a2) is above ϕγ1(a1) relative to ϕγ1(t1) and above ϕγ1(b1) if ϕγ2(a2) is below ϕγ1(a1).
Roughly speaking, it means that there is a “crossing” in the space of leaves of F (which is a one-dimensional non Hausdorff manifold). More precisely, if β1 is a path joining ϕγ1(a1) to ϕγ1(b1) and β2 is a path joining ϕγ2(a2) to ϕγ2(b2), then they must intersect. If γ1=γ2 one speaks of a F-transverse self-intersection. This means that if γ1 is a lift of γ1, there exist a covering automorphism T such that γ1 and Tγ1 have a F-transverse intersection at γ1(t1)=Tγ1(t2).
The next proposition is the key result of [33]. It permits to construct new admissible paths from a pair of admissible paths.
Proposition 4**.**
Suppose that γ1:[a1,b1]→M and γ2:[a2,b2]→M are transverse paths that intersect F-transversally at γ1(t1)=γ2(t2). If γ1 is admissible of order n1 and γ2 is admissible of order n2, then γ1∣[a1,t1]γ2∣[t2,b2] and γ2∣[a2,t2]γ1∣[t1,b1] are admissible of order n1+n2. Furthermore, either one of these paths is admissible of order min(n1,n2) or both paths are admissible of order max(n1,n2).
So, the meaning of Theorem N is that the existence of an admissible path of order q with a self intersection implies the existence of a horseshoe. Moreover it gives a lower bound log4/3q of the entropy.
2.3. Rotation numbers
As explained in the introduction, rotation numbers can be naturally defined in an abstract annulus A for a homeomorphism f isotopic to the identity and a given lift to the universal covering space, as soon as a generator of H1(A,Z) is chosen. We will state two useful propositions. In this article a loop on the sphere is a continuous map Γ:T1→S2 and the natural lift of a Γ is the path γ:R→S2 such that γ(t)=Γ(t+Z).
First let us define the notion of dual function and its properties. If Γ is a loop, one can introduce a functionδ, defined up to an additive constant on S2∖Γ as follows: for every z and z′ in R2∖Γ, the difference δ(z′)−δ(z) is the algebraic intersection number Γ∧γ′ where γ′ is any path from z to z′. Now, suppose that F is a singular oriented foliation on the sphere S2 and that Γ is transverse to F (which means that its natural lift γ is transverse to F). In that case δ decreases along each leaf with a jump at every intersection point. One proves easily that δ is bounded and that the space of leaves that meet Γ, furnished with the quotient topology is a (possibly non Hausdorff) one dimensional manifold (see the end of section 3.1 in [33]). In particular, there exists n0 such that Γ meets each leaf at most n0 times. If Γ is a simple loop (which means that it is injective), δ takes exactly two values and Γ meets each leaf at most once. In that case we will write UΓ for the union of leaves that meet Γ. It is an open annulus. We can define the dual function of a multi-loop Γ=∑1⩽i⩽pΓi and have similar results in case each Γi is transverse to F.
Proposition 5**.**
Let f be an orientation preserving homeomorphism of the sphere S2 and (zi)i∈Z/3Z three distinct fixed points. For every i∈Z/3Z, set Ai=S2∖{zi+1,zi+2} and fix a generator {\color[rgb]{0,0,0}\kappa_{i}} of H1(Ai,Z) by taking the oriented boundary of a small closed disk containing zi+1 in its interior. Denote fi the restriction of f to Ai and write fˇi for the lift of fi to the universal covering space of Ai that fixes the preimages of zi. Let z∈S2 be a point such that the sequence (fn(z))n⩾0 does not converge to zi, for every i∈Z/3Z. If the three rotations numbers rotfˇi(z), i∈Z/3Z, are well defined then ∑i∈Z/3Zrotfˇi(z)=0.
Proof.
For every i∈Z/3Z we will denote Aˇi the universal covering space of Ai and πˇi:Aˇi→Ai the covering projection. We will denote Ti the generator of the group of covering automorphisms, that is sent onto κi by the Hurewicz morphism. We will fix a homeomorphism hi:Ai→A such that (hi)∗(κi)=κ∗ and choose a lift hˇi:Aˇi→R2 of hi. Fix an open topological disk D that contains a point z′∈ω(z) and whose closure does not contain any zi. Then fix a path β joining z′ to z that does not contain any zi. It is a classical fact that there exists an identity isotopy I that fixes each zi. Moreover I∣Ai is lifted to an identity isotopy Iˇi of fˇi. Let (nk)k⩾0 be an increasing sequence such that fnk(z)∈D, for every k⩾0. Consider the loop Γk defined by Ink(z)αkβ, where αk is a path included in D that joins fnk(z) to z′. Fix a dual function δk of Γk. It is defined up to an additive constant, and its values on each zi are independent of the choice of αk. The integer mk=δk(zi+1)−δk(zi+2) is the algebraic intersection number between a given path joining zi+1 to zi+2 and Γk. Consequently, if zˇ∈Aˇi is a given lift of z, then Γk can be lifted to a path γˇk:R→Aˇi such that γˇk(0)=zˇ and γˇk(t+1)=Timk(γˇk(t)) for every t∈R. One can write γˇk∣[0,1]=Iˇink(zˇ)αˇkβˇk, where αˇk is a lift of αk and βˇk a lift of β. Consequently, there exists M>0 such that for every k, it holds that
[TABLE]
By definition of rotfˇi(z), one has
[TABLE]
The conclusion is immediate.
∎
The proof of the next result can be found in [36].
Proposition 6**.**
Let f be a homeomorphism of the annulus A and fˇ a lift to the universal covering space. Fix two integer numbers p∈Z and q⩾1. Then, one has ne(f)=ne(fq). Moreover rotfˇq∘Tp(z) is defined if and only if it is the case for rotfˇ(z) and one has rotfˇq∘Tp(z)=qrotfˇ(z)+p.
2.4. Birkhoff cycles and Birkhoff recurrence classes
Let X be a Hausdorff topological space and f:X→X a homeomorphism. We recall from the introduction that, given points z1 and z2 in X, we say that there exists a Birkhoff connection from z1 to z2 if, for every neighborhood W1 of z1 in X and every neighborhood W2 of z2, there exists n>0 such that W1∩f−n(W2) is not empty. We will write z1f→z2 if there is a Birkhoff connection from z1 to z2 and will write zf⪯z′ if there exists a family (zi)0⩽i⩽p such that
[TABLE]
This same concept appears for instance in [2] or in [13], where it is said that z2 is a weak iterate of z1. We have defined in the introduction the concepts of Birkhoff cycles, Birkhoff recurrent points and Birkhoff recurrent classes for f. Note that in [2] a Birkhoff cycle was named an (α,ω) closed chain, and Birkhoff recurrent points were named (α,ω)-recurrent. Note that the set of Birkhoff recurrent points of f coincides with the set of Birkhoff recurrent points of f−1 and that the Birkhoff recurrent classes are the same for f and f−1. Let us state some other simple additional properties that will be used frequently in the remainder of the article.
Proposition 7**.**
Let X be a Hausdorff topological space and f a homeomorphism of X.
(1)
If there exists a Birkhoff connection from z1 to z2, then there exists a Birkhoff connection from z1 to f(z2) and, if z2 is not f(z1), then there exists a Birkhoff connection from f(z1) to z2. Furthermore, if z2∈/{fn(z1),n⩾1} , then there exists a Birkhoff connection from any point z∈ω(z1) to z2.
2. (2)
Let B be a nonempty Birkhoff recurrence class for f. Then B is invariant and, for all z∈B the closure of the orbit of z is included in B.
3. (3)
If f has a Birkhoff connection from z1 to z2, then given q⩾1, there exists some 0⩽j<q such that fq has a Birkhoff connection from z1 to fj(z2).
4. (4)
The set of Birkhoff recurrent points of f is equal to the set of Birkhoff recurrent points of fq for every q⩾2. Moreover, if z1 and z2 are in the same Birkhoff recurrence class of f, then given q⩾2, there exists some 0⩽j<q such that z1 and fj(z2) are in the same Birkhoff recurrence class of fq. More precisely, if (zi)i∈Z/rZ is a Birkhoff circle of f, there exist p⩾1 and a Birkhoff circle (zj′)j∈Z/prZ of fq such that zj′ is in the f-orbit of zi if j≡i(modr).
Proof.
Suppose that f has a Birkhoff connection from z1 to z2. If W1 is a neighborhood of z1 and W2 is a neighborhood of f(z2), then f−1(W2) is a neighborhood of z2 and so, there exists n>0 such that W1∩f−n(f−1(W2))=W1∩f−n−1(W2) is not empty. So, there is a Birkhoff connection from z1 to f(z2). Suppose now that f(z1)=z2. If W1 is a neighborhood of f(z1), W2 is a neighborhood of z2, and W1∩W2=∅, then there exists n>0 such that f−1(W1)∩f−n(W2)=∅ because f−1(W1) is a neighborhood of z1, and so W1∩f−n+1(W2)=∅. Note that n=1, which implies that there is a Birkhoff connection from f(z1) to z2. Finally, suppose that z2∈/{fn(z1),n⩾1} and that z belongs to ω(z1). Let W1 be a neighborhood of z and W2 a neighborhood of z2. There exists n1⩾0 such that fn1(z)∈W1. As explained above, there is a Birkhoff connection from fn1(z1) to z2, and so, there exists n>0 such that W1∩f−n(W2)=∅. The assertion (1) is proven.
Let us prove (2). Of course, the set of Birkhoff recurrent points is invariant by f. Moreover (2) is obviously true if z is a periodic point. Suppose now that z is a Birkhoff recurrent point that is not periodic and let us prove that z and f(z) are in the same Birkhoff recurrence class. There exists a sequence (zi)0⩽i⩽p such that
[TABLE]
As z is not periodic, there exists i0<p such that zi0+1=f(zi0). So, using (1), one deduces that
[TABLE]
which implies that z and f(z) are in the same Birkhoff recurrence class.
Let us prove now that ω(z) is included in the same class by fixing z′∈ω(z). Let i0 be the smallest integer such that zi0+1 is not in the strict positive orbit of zi0. Using (1), one deduces that
[TABLE]
which implies that z and z′ are in the same Birkhoff recurrence class. We prove in a similar way that α(z) is included in the Birkhoff recurrence class of z.
Let us prove (3) by contraposition. Suppose that for every 0⩽j<q, there exists a neighborhood W1j of z1 and a neighborhood W2j of fj(z2) such that W1j∩f−qs(W2j)=∅ for every s>0. The set W1=⋂0⩽j<qW1j is a neighborhood of z1 and the set W2=⋂0⩽j<qf−j(W2j) a neighborhood of z2. Note that
[TABLE]
for every s>0 and that
[TABLE]
for every s⩾0 and every 0<r<q . Consequently, W1∩f−n(W2)=∅ for every n>0.
Let us prove (4). The fact that a Birkhoff recurrent point of fq is a Birkhoff recurrent point of f is obvious. Let us prove the converse. Suppose that z is a Birkhoff recurrent point of f and fix q⩾2. If z is a periodic point of f, of course it is a Birkhoff recurrent point of fq. Suppose now that z is not periodic and consider a sequence (zi)0⩽i⩽p such that
[TABLE]
Applying (3), one deduces that there exists a sequence (si)1⩽i⩽p, such that 0⩽si+1−si<q if i<p and
[TABLE]
which implies that zfq⪯fsp(z), where 0⩽sq⩽p(q−1).
Let i0<p be an integer such that zi0+1 is not in the strict positive orbit of zi0. Using (1), one knows that
[TABLE]
Applying (3) again as above, one deduces that there exists 0⩽sq′⩽p(q−1) such that
zfq⪯fsp′−pq(z).
Note know that
[TABLE]
which implies that z is a Birkhoff recurrent point of fq.
Suppose now that z and z′ are two Birkhoff recurrent points of f in the same Birkhoff recurrence class. We want to prove that z and fj(z′) are in the same Birkhoff recurrence class of fq for some 0⩽j<q. Using the fact that the Birkhoff recurrence class of fq are invariant by fq, it is sufficient to prove that z and fj(z′) are in the same Birkhoff recurrence class of fq for some j∈Z. Of course, one can suppose that z and z′ are not on the same orbit of f. There exists a sequence (zi)0⩽i⩽p such that
[TABLE]
and such that z′ is equal to a certain zi. We have seen that there exists a sequence (si)1⩽i⩽p, such that 0⩽si+1−si<q if i<p and
[TABLE]
Moreover we have seen that z and fsp(z) are in the same Birkhoff recurrence class of fq (the argument above works even if z is periodic). So z is in the same Birkhoff recurrence class of fq that a point in the orbit of z′. Finally, one observes that from (* ‣ 2.4) one obtains a Birkhoff cycle for fq with the properties stated in the last assertion of (4).
∎
We can note that, in general, the class itself does not need to be closed. For instance, let X be the space obtained by identifying, in [0,1]×{0,1}, the points (x,0) and (x,1) if x∈F={0}∪{1/n,n⩾1}. Let T1:[0,1]→[0,1] be a homeomorphism such that T1(x)=x if x∈F and T1(x)>x otherwise. Let T:X→X be such that T(x,0)=(T1(x),0) and T(x,1)=(T1−1(x),1). Note that, for every n⩾1, (1/n,0)=(1/n,1) and (1/(n+1),0)=(1/(n+1),1) belong to the same Birkhoff class. Note also that the Birkhoff class of (0,0) is reduced to this point.
The set of Birkhoff recurrent points is not necessarily closed. For instance, let (hn)n⩾1 be a sequence of orientation preserving homeomorphisms of T1=R/Z such that hn has exactly n fixed points and has a lift hˇn:R→R having fixed points and satisfying hˇn(x)⩾x for all x∈R. Assume furthermore that hn converges uniformly to a homeomorphism h0 that is not the identity, but has infinitely many fixed points. Consider the homeomorphism T of X=T1×F defined as a T(x,1/n)=(hn(x),1/n) in case n>0 and T(x,0)=(h0(x),0). Every point (x,y) with y=0, is a Birkhoff recurrent point, but
(x,0) is a Birkhoff recurrent point if and only if x is fixed by h0.
We will conclude this section by studying what happens, when looking at the iterates.
Proposition 8**.**
Let X be a Hausdorff topological space and f a homeomorphism of X. We suppose that B is a Birkhoff recurrence class of f and fix q⩾2. Then, there exist q′∈{1,…,q} dividing q and a family of pairwise disjoint sets (Bi′)i∈Z/q′Z such that:
•
Bi′* is a Birkhoff recurrence class of fq for every i∈Z/q′Z;*
•
B=⨆i∈Z/q′ZBi′;
•
f(Bi′)=Bi+1′, for every i∈Z/q′Z.
Moreover, if the closure of the f-orbit of z∗∈B is compact, each set Of(z∗)∩Bi′ is compact and is the closure of the fq′-orbit of a point of the orbit of z∗. In addition, there exists a family of pairwise disjoint open sets (Ui)i∈Z/q′Z such that:
•
Of(z∗)∩Bi′⊂Ui* for every i∈Z/q′Z;*
•
f(Ui)=Ui+1, for every i∈Z/q′Z.
Proof.
We have seen that every Birkhoff recurrent point of f is a Birkhoff recurrent point of fq and that every Birkhoff recurrence class of f is invariant by f. Fix z∈B and denote Bk′, the Birkhoff recurrence class of fk(z) for fq. Of course f(Bk′)=Bk+1′ for every k∈Z. Moreover one has Bq′=B0′. We deduce that there exists a divisor q′ of q such that the sequence (Bk′)k∈Z is q′-periodic. We can index it with i∈Z/q′Z to get our family (Bi′)i∈Z/q′Z. The three first items are satisfied.
Note also that we cannot have zfq⪯fr(z′) if z and z′ belong to B0′ and r∈q′Z. Indeed, we would have
[TABLE]
contradicting the fact that z and fr(z′) are not in the same Birkhoff recurrence class of fq. In particular there is no Birkhoff connection of fq from z to fr(z′) and no Birkhoff connection of fq from fr(z′) to z. One deduces that there exist an open neighborhood Vz,z′r of z and an open neighborhood Wz,z′r of z′ such that fqk(Vz,z′r)∩fr(Wz,z′r)=∅, for every k∈Z. Setting
[TABLE]
one gets an open neighborhood
Vz,z′ of z and an open neighborhood Wz,z′ of z′ such that
[TABLE]
Suppose that the closure of the f-orbit of z∗∈B is compact. One can suppose that z∗ belongs to B0′. Write Of(z∗)=⋃k∈ZOfq(fk(z∗)). The family (Ofq(fk(z∗)))k∈Z is q-periodic and Ofq(fk(z∗))⊂Bi′, if k+q′Z=i.
As explained in Proposition 7, the closure of Ofq(fk(z∗)) is included in the Birkhoff recurrence class of fk(z∗), which means in Bi′, if k+q′Z=i. Moreover Ofq(fk(z∗)) is compact, being a closed subset of Of(z∗). So, one gets the following decomposition in disjoint compact sets:
[TABLE]
By compactness of Of(z∗)∩B0′, for every point z∈Of(z∗)∩B0′ one can find a finite subset Iz′ of Of(z∗)∩B0′ such that Of(z∗)∩B0′⊂⋃z′∈Iz′Wz,z′. The set Vz=⋂z′∈Iz′Vz,z′ is an open neighborhood of z, the set Wz=⋃z′∈Iz′Wz,z′ an open neighborhood of Of(z∗)∩B0′ and one knows that
[TABLE]
Using again the compactness of Of(z∗)∩B0′, one can find a finite subset I of Of(z∗)∩B0′ such that Of(z∗)∩Bi′⊂⋃z∈IVz. The sets V=⋃z∈IVz and W=⋂z∈IWz are open neighborhoods of Of(z∗)∩B0′ and one knows that
[TABLE]
For every i∈Z/q′Z, define
[TABLE]
The family (Ui)i∈Z/q′Z satisfies the two last items.
∎
Remarks*.*
Suppose that the closure of the orbit of z∗∈B is compact. Set U=⋃i∈Z/q′ZUi. The map f acts naturally as a permutation on the set of connected components of U that meets Of(z∗) and this action is transitive. Moreover this set is finite because Of(z∗) is compact. So, this permutation has a unique cycle whose length is a multiple of q′ because the Ui are pairwise disjoint and f(Ui)=Ui+1. In other terms, there exists an integer r⩾1 and a family (Uj′)j∈Z/rq′Z of distinct connected components of U that cover Of(z∗) and satisfy f(Uj′)=Uj+1′.
There are two kinds of Birkhoff recurrent points: the points such that there exists an integer M that bounds, for every q, the integer q′ appearing in the proof of Proposition 8 applied to the Birkhoff recurrence class of z; the points where such an integer M does not exist. For points of the latter type, f is “abstractly” topologically infinitely renormalizable. This dichotomy will appear in the final section of our article.
3. Construction of horseshoes
We suppose from this point on, and until the beginning of Section 3.5, that
•
M is an oriented surface;
•
f is a homeomorphism of M isotopic to the identity;
•
I=(ft)t∈[0,1] is a maximal isotopy of f;
•
F is a foliation transverse to I;
•
γ=[a,b]→dom(I) is an admissible transverse path or order 1;
•
γ has a F-transverse self intersection at γ(s)=γ(t), where a<s<t<b.
We want to show that f has a topological horseshoe, as defined in the introduction. We start by describing the dynamics that can be deduced from our assumptions, stating some useful lemmas. We will mainly work in the universal covering space dom(I) of the domain of I and occasionally in other covering spaces and will construct there topological horseshoes with a precise geometric description. We denote I=(ft)t∈[0,1] the identity isotopy of dom(I) that lifts I∣dom(I) and set f=f1. We denote F the non singular foliation of dom(I) that lifts F∣dom(I). Fix a lift γ of γ. By assumptions, there exists a non trivial covering transformation T such that T(γ) and γ have a F-transverse intersection at T(γ(s))=γ(t), where s<t. Since γ and T(γ) have a F-transverse intersection, the sets R(ϕγ(a)),R(T(ϕγ(a))),L(ϕγ(b)) and L(T(ϕγ(b))) are all disjoint. Consider the annular covering space dom(I)=dom(I)/T. Denote by π:dom(I)→dom(I) the covering projection, by I the induced identity isotopy, by f the induced lift of f, by F the induced foliation and by γ the projection of γ. The fact that R(ϕγ(a)) and R(T(ϕγ(a))) are disjoint implies that ϕγ(a), the projection of ϕγ(a), is homoclinic to an end of dom(I) and that the sets R(Tk(ϕa)), k∈Z, are pairwise disjoint. The fact that L(ϕγ(b)) and L(T(ϕγ(b))) are disjoint implies that ϕγ(b), the projection of ϕγ(b), is homoclinic to an end of dom(I) and that the sets L(Tk(ϕγ(b))), k∈Z are pairwise disjoint. The fact that T(γ) and γ have a F-transverse intersection implies that the two previously mentioned ends are equal. Otherwise, one could find a path δ joining ϕγ(a) to ϕγ(b) and projecting onto a simple path of dom(I) and consequently such that δ∩T(δ)=∅. We will denote S this common end and N the other one. Note that R(Tk(ϕa))∩L(Tk′(ϕb))=∅ for all integers k and k′. The complement of R(ϕγ(a))∪L(ϕγ(b)) is an essential open set of dom(I). If Γ∗ is a simple essential loop in this complement that is lifted to a line γ∗:R→dom(I) satisfying γ∗(t+1)=T(γ∗(t)) for every t∈R, there exists a unique k0⩾1 such that T−k0(ϕγ(b)) is above ϕγ(a) but below T(ϕγ(a)) relative to γ∗.
The integer k0 can be defined by the fact that γ and Tk(γ) have a F-transverse intersection if 1⩽k⩽k0 and no transverse intersection if k>k0.
We will suppose by now and until giving the proofs of theorems M and N in Section 3.5 that k0=1. For convenience, we will denote ϕa=ϕγ(a) and ϕb=T−1(ϕγ(b)). We will often use the following result: if σ is a path connecting ϕa to T(ϕa) and contained in ⋂k∈ZTk(R(ϕb)) and if j=0, then ϕb and Tj(ϕb) lie in different connected components of the complement of ϕa∪σ∪T(ϕa).
3.1. Preliminary results
Lemma 9**.**
For every q⩾2 and every p∈{0,…,q}, one has fq(ϕa)∩Tp(ϕb)=∅.
Proof.
Let us explain first why
[TABLE]
Recall that, for every leaf ϕ of F, one has
[TABLE]
which implies that
[TABLE]
if q′>q⩾0. We deduce that
[TABLE]
It means that there exists a point on the right of ϕa that is sent by fq′ on the left of Tp(ϕb). But this implies that there is a point on ϕa that is sent by fq′ on Tp(ϕb). The proof is easy and can be found in [33]. The reason is the following: in case fq′(ϕa)∩Tp(ϕb)=∅, one should have
[TABLE]
but this is prohibited by the the fact that
[TABLE]
The path γ is an admissible path of f of order 1, which means that f(ϕa)∩T(ϕb)=∅. So the lemma is proved if p=1.
Applying Proposition 4, one deduces that boths paths
[TABLE]
are admissible paths of f of order 2, which means that
[TABLE]
Consequently the lemma is proven if p∈{0,2}.
Let us suppose now that p⩾3. It is also proved in Proposition 23 of [33] that
[TABLE]
is admissible of order p, which means that fp(ϕa)∩Tp(ϕb)=∅. Consequently the lemma is proved for every p.∎
Let us state another important lemma:
Lemma 10**.**
Every simple path δ:[c,d]→dom(I) that joins T−p0(ϕa) to Tp1(ϕa), where p0, p1 are positive, and which is T-free, meets R(ϕa).
Proof.
Recall first, by standard Brouwer theory arguments, that δ is Tk-free for every k⩾1, because T is fixed point free. There exists c′∈[c,d) and p0′>0, uniquely defined, such that δ(c′) belongs to T−p0′(ϕa) and such that δ(c′,d] is disjoint from every leaf T−p(ϕa), p>0. Then there exists d′∈(c′,d], and p1′>0 uniquely defined, such that δ(d′) belongs to Tp1′(ϕa) and such that δ[c′,d′) is disjoint from every leaf Tp(ϕa), p>0. Note that δ(c′,d′) is on the left of every leaf Tp(ϕa), p=0. One can extend δ[c′,d′] as a line λ:R→dom(I) such that λ∣(−∞,c′) is included in R(T−p0′(ϕa)) and λ∣(d′,+∞) is included in R(Tp1′(ϕa)). We will prove by contradiction that δ[c′,d′] meets R(ϕa). If it is not the case, then
[TABLE]
The point Tp0′(δ(c′)) being on ϕa, belongs to the closure of R(ϕa). It does not belong to δ[c′,d′] (because δ is Tp0′-free), neither to R(T−p0′(ϕa)), nor to R(Tp1′(ϕa)). So it does not belong to λ. Consequently it belongs to R(λ). Similarly, Tp0′(δ(d′)) does not belong to λ and belongs to the closure of R(Tp0′+p1′(ϕa)), so its belongs to L(λ). The path Tp0′(δ[c′,d′]), being disjoint from δ[c′,d′], from R(T−p0′(ϕa)) and from R(Tp1(ϕa)), is disjoint from λ. We have found a contradiction.∎
Remark*.*
We can prove similarly that every T-free simple path that joins T−p0(ϕb) to Tp1(ϕb), where p0, p1 are positive, meets L(ϕb).
For every path δ:[c,d]→dom(I), we define its interior as being the path δ˙=δ∣(c,d). The following sets
[TABLE]
are open sets homeomorphic to the plane. For every q⩾1, one can look at the relatively compact connected components of f−q(ϕb)∩La. By Lemma 10, every such a component is the interior of path joining Tp(ϕa) to Tp′(ϕa), where ∣p−p′∣⩽1. For every p⩾0 and q⩾1, we will define the set Xp,q of paths joining ϕa to T(ϕa) whose interior is a connected component of Tp∘f−q(ϕb)∩La. We denote X=⋃p⩾0,q⩾1Xp,q. Note that two different paths in X have disjoint interiors, and are disjoint if they do not belong to the same set Xp,q. Fix a real parametrization t↦ϕa(t) of ϕa. If δ0∈X joins ϕa(v0) to T(ϕa)(v0′), and if δ1∈X joins ϕa(v1) to T(ϕa)(v1′), then (v1−v0)(v1′−v0′)⩽0. Moreover, if δ0=δ1 at least one of the numbers v1−v0, v1′−v0′ is not zero. So one gets a natural total order on X by setting
[TABLE]
One can extend this order to every set Y of paths containing X, provided the paths of Y join ϕa to T(ϕa), have their interior included in La, have pairwise disjoint interiors, and provided that no two paths in Y share both endpoints.
Lemma 11**.**
We have the following:
(1)
The set Xp,q is not empty if q⩾2 and 1⩽p⩽q.
2. (2)
If δ0 and δ1 are two paths in X, there are finitely many paths in Xp,q between δ0 and δ1.
3. (3)
Suppose that q⩾3 and 1⩽p0<p2<p1⩽q. For every δ0∈Xp0,q and every δ1∈Xp1,q, there exist at least two paths in Xp2,q between δ0 and δ1.
Proof.
To get (1), apply Lemma 9 that asserts that f−q∘Tp(ϕb) meets ϕa and T(ϕa) if q⩾2 and 1⩽p⩽2, and then apply Lemma 10.
Let us prove (2). Suppose that δ0 and δ1 are two paths in X, and write (δi)i∈I the family of paths in Xp,q that are between δ0 and δ1. It consists of subpaths of the line f−q∘Tp(ϕb) with pairwise disjoint interiors, whose union is relatively compact. If this family is infinite, it contains a sequence that converges to a point in the Hausdorff topology. Such a point should belong both to ϕa and T(ϕa). We have a contradiction.
Let us prove (3). Suppose that q⩾3 and 1⩽p0<p2<p1⩽q and fix δ0∈Xp0,q and δ1∈Xp1,q. By (2), one can suppose that there is no path in Xp0,q∪Xp1,q between δ0 and δ1. Suppose for example that δ0≺δ1. The path δ0 joins ϕa(v0) to T(ϕa)(v0′), and δ1 joins ϕa(v1) to T(ϕa)(v1′). Denote β=ϕa∣[v1,v0] and β′=T(ϕa)∣[v0′,v1′]. Consider the simple closed curve C=βδ0β′δ1−1 and the relatively compact connected component Δ of its complement.
Let us prove that C is T-free. Note first that T(C)∩C⊂β′∩T(β). So, one must prove that β′∩T(β)=∅. Each path δ1−1βδ0 and T(δ0)T(β′)T(δ1−1) join T(ϕa) to itself. Moreover, these two paths are disjoint and their interior are included in L(T(ϕa)). So, either one of the paths β′ or T(β) is included in the other one, or they are disjoint. But in the first case, Δ has to be forward or backward invariant by T, which contradicts the fact that T is fixed point free. One deduces that β′∩T(β)=∅ and consequently that C is T-free.
So, Δ is also T-free and Δ is included in La. Applying Lemma 10 to fq(β′′), one deduces that every path β′′⊂Δ that joins δ0 to δ1 meets f−q∘Tp2(L(ϕb))). So, there exists a simple path σ⊂f−q∘Tp2(L(ϕb))) that joins ϕa to T(ϕa) and whose interior is contained in Δ. Consequently, there exists at least a path δ2 of Xp2,q between δ0 and σ and another path δ2′ of Xp2,q between σ and δ1, see Figure 4. ∎
3.2. Weak version of the Realization Theorem (Theorem M)
Let us begin with the following preliminary version of Theorem M.
Proposition 12**.**
If q⩾2 and 1⩽p⩽q, then fq∘T−p has a fixed point.
Proof.
We set g=fq∘T−p. The hypothesis implies that either 1⩽p+1⩽q or 1⩽p−1⩽q. We will study the first case. The sets Xp,q and Xp+1,q are non empty by assertion (1) of Lemma 11. Choose δ0∈Xp,q and δ1∈Xp+1,q. Suppose that δ0 joins ϕa(t0) to T(ϕa(t0′)) and that δ1 joins ϕa(t1) to T(ϕa(t1′)). We remark that, as g(δ0) is contained in ϕb and as g(δ1) is contained in T(ϕb), then g(δ0) and g(δ1) lie in different connected components of the complement of ϕa∪δ0∪T(ϕa) as well as in different connected components of the complement of ϕa∪δ1∪T(ϕa).
Suppose first that δ0≺δ1. Denote β=ϕa∣[t1,t0] and β′=T(ϕa)∣[t0′,t1′] and consider the simple closed curve C=βδ0β′δ1−1. The index i(g,C) is well defined, we will prove that it is equal to −1. It will imply that g has a fixed point inside the topological disk bounded by C. Recall that to define i(g,C), one needs to choose a homeomorphism h between dom(I) and the Euclidean plane and consider the winding number of the vector field ξ:z↦h∘g∘h−1(z)−z on h(C), this integer being independent of the choice of h. To make the computation, one can use Homma’s theorem [25] that asserts that h can be chosen such that
[TABLE]
Note now that ξ(z) is pointing:
•
on the right when z belongs to h(β)={0}×[0,1],
•
on the left when z belongs to h(β′)={1}×[0,1],
•
below when z belongs to h(δ0)={0}×[0,1],
•
above when z belongs to h(δ1)={1}×[0,1].
This implies that the winding number is equal to −1.
In case where δ1≺δ0, define
[TABLE]
and choose h such that
[TABLE]
Note now that ξ(z) is pointing:
•
on the right when z belongs to h(β)={0}×[0,1],
•
on the left when z belongs to h(β′)={1}×[0,1],
•
below when z belongs to h(δ0)={1}×[0,1],
•
above when z belongs to h(δ1)={0}×[0,1].
This implies that the winding number is equal to +1.
In case 1⩽p−1⩽q, we choose δ0∈Xp,q and δ1∈Xp−1,q. The arguments are similar.∎
Corollary 13**.**
For every p/q∈(0,1], such that p and q are positive integers, there exists a point z such that fq(z)=Tp(z).
Proof.
In case p/q<1 we just apply Proposition 12. The case p/q=1 is particular, as not being an immediate consequence of Proposition 12. Nevertheless, we know that (f∘T−1)2=f2∘T−2 has a fixed point. Brouwer’s theorem asserts that the existence of a periodic point implies the existence of a fixed point, for an orientation preserving plane homeomorphism. So f∘T−1 has a fixed point.
∎
3.3. Existence of horseshoe in the universal covering space
If δ0 and δ1 are two disjoint paths in X, we denote Δδ0,δ1 the closed “rectangle” bounded by δ0, δ1, β and β′, where β is the subpath of ϕa joining the ends of δ0, δ1 that lie on ϕa and β′ is the subpath of T(ϕa) joining the two other ends. We will call horizontal sides the paths δ0, δ1, and vertical sides the paths β, β′. We will prove the following result.
Proposition 14**.**
If q⩾3 and 1<p<q, there exists a compact set Zp,q⊂dom(I), invariant by fq∘T−p such that
•
the restriction of fq∘T−p to Zp,q is an extension of the Bernouilli shift σ:{1,2}Z→{1,2}Z;
•
every r-periodic sequence of {1,2}Z has a preimage by the factor map Hp,q:Zp,q→{1,2}Z that is a r-periodic point of fq∘T−p.
Proof. We suppose that q⩾3 and fix 1<p<q. Using Lemma 11 we can find four paths δ1∈Xp−1,q, δ2∈Xp,q, δ3∈Xp,q and δ4∈Xp+1,q all pairwise disjoint such that δ1<δ2<δ3<δ4 or δ4<δ3<δ2<δ1.
We set
[TABLE]
and g=fq∘T−p. Note again that g(δ1)⊂T−1(ϕb), that both g(δ2) and g(δ3) are contained in ϕb and that g(δ4)⊂T(ϕb).
Let us explain first why Δ is a topological horseshoe in the sense of Kennedy-Yorke (see [28]). Every continuum K⊂Δ that meets δ1 and δ4 contains a continuum K1⊂Δ1 that meets δ1 and δ2 and a continuum K2⊂Δ2 that meets δ3 and δ4. The set g(K1) is a continuum that meets ϕb and T−1(ϕb) and that does not meet neither R(ϕa) nor R(T(ϕa)). This implies that it contains a continuum included in Δ that meets δ1 and δ4. Similarly, g(K2) is a continuum that meets ϕb and T(ϕb) and that does not meet neither R(ϕa) nor R(T(ϕa)). So, it contains a continuum included in Δ that meets δ1 and δ4. Summarizing, every continuum K⊂Δ that meets δ1 and δ4 contains two disjoint sub-continua whose images by g are included in Δ and meet δ1 and δ4). This is the definition of a topological horseshoe in the sense of Kennedy-Yorke. According to [28], there exists a compact set Z invariant by g such that g∣Z is an extension of the two sided Bernouilli shift on {1,2}Z, see Figure 6.
To get our proposition we still must prove that to every periodic sequence corresponds at least one periodic point in Z. If z belongs to ∂(Δ1∪Δ2), then either its image by g or its inverse image is outside Δ1∪Δ2. The first situation occurs when z belongs to an horizontal side, the second one when z belongs to a vertical side. This means that the set Zp,q=⋂k∈Zg−k(Δ1∪Δ2) is a compact set included in Δ1∪Δ2, it is a locally maximal invariant set and Δ1∪Δ2 an isolating block of Zp,q. Note that there exists a map Hp,q:Zp,q→{1,2}Z that associates to a point z∈Zp,q the sequence (εk)k∈Z such that gi(z)∈Δεk. The map Hp,q is continuous and satisfies Hp,q∘g=σ∘Hp,q. We will prove that every periodic sequence of period r is the image by Hp,q of a periodic point of g of period r.
This will imply that Hp,q is onto, because its image is compact, and we will get a complete proof of Proposition 14.
We will implicitly use in the proof a result of Kerékjártó about intersection of Jordan domains. Say that an open set U of the plane is a Jordan domain if it is the bounded connected component of the complement of a simple loop. The boundary ∂U of U inherits a natural orientation and consequently a natural cyclic order. The following result gives a description of the intersection of Jordan domains in the non trivial case (see [34]).
Lemma 15**.**
Let U and U′ be two Jordan domains such that
[TABLE]
Then, every connected component U′′ of U∩U′ is a Jordan domain. Moreover, one can write
[TABLE]
where (ai,bi) is a connected component of ∂U∩U′ and (ai′,bi′) is a connected component of ∂U′∩U, and it holds that
•
the orientations induced on each interval (ai,bi) by ∂U and ∂U′′ coincide;
•
the orientations induced on each interval (ai′,bi′) by ∂U′ and ∂U′′ coincide;
•
the cyclic orders induced on ∂U∩∂U′′ by ∂U and ∂U′′ coincide;
•
the cyclic orders induced on ∂U′∩∂U′′ by ∂U′ and ∂U′′ coincide.
Lemma 16**.**
Fix e=(εk)0⩽k<K∈{1,2}K, where K>1, then denote β, β′ the vertical sides of Δε0 and δ, δ′ the horizontal sides of ΔεK−1.There exists a Jordan domain Ue that satisfies the following properties:
•
Ue* is a connected component of ⋂0⩽k<Kg−k(Δεk);*
•
Ue* is a connected component of Δε0∩g−K+1(ΔεK−1);*
•
∂Ue⊂β∪β′∪g−K+1(δ)∪g−K+1(δ′);
•
there exists a unique connected component α of ∂Ue∩g−K+1(ΔεK−1) that is contained in β and such that gK−1(α) joins δ and δ′;
•
there exists a unique connected component α′ of ∂Ue∩g−K+1(ΔεK−1) that is contained in β′ and such that gK−1(α′) joins δ and δ′;
•
there exists a unique connected component σ of ∂Ue∩Δε0 that is contained in g−K+1(δ) and such that σ joins β and β′;
•
there exists a unique connected component σ′ of ∂Ue∖∂Δε0 that is contained in g−K+1(δ′) and such that σ′ joins β and β′.
Proof.
Let us prove first that every connected component U of ⋂0⩽k<Kg−k(Δεk) is a connected component of Δε0∩g−K+1(ΔεK−1). Let U′ be the connected component of Δε0∩g−K+1(ΔεK−1) that contains U. The boundary of U is included in ⋃0⩽k<Kg−k(∂Δεk) and we have
[TABLE]
if 0<k<K−1, because
[TABLE]
Indeed, the forward image of a horizontal side of Δεk and the backward image of a vertical side of Δεk are disjoint from Δ. Consequently it holds that ∂U⊂∂Δε0∪g−K+1(∂ΔεK−1). This means that the frontier of U in U′ is empty and so U=U′ by connectedness of U′. The forward image of a horizontal side of Δε0 and the backward image of a vertical side of ΔεK−1 being disjoint from Δ, one deduces that ∂U⊂β∪β′∪g−K+1(δ)∪g−K+1(δ′).
We will argue by induction to prove Lemma 16 . Let us begin by studying the case where K=2. Both paths g(β) and g(β′) join ϕb to T(ϕb) or join ϕb to T−1(ϕb) and are included in La. So, there exists a finite and odd number m of connected components of g(β)∩Δε1 whose closure join δ and δ′ and a finite and odd number m′ of connected components of g(β′)∩Δε1 whose closure join δ and δ′. Each of these m+m′ paths is included in the boundary of a connected component of g(Δε0)∩Δε1, unique but depending on the path. Moreover, by Lemma 15, this boundary is a simple loop and it contains exactly two such paths. So there exists at least one component V of g(Δε0)∩Δε1 whose boundary contains a connected component g(α) of g(β)∩Δε1 whose closure joins δ and δ′ and a connected component g(α′) of g(β′)∩Δε1 whose closure joins δ and δ′. Using again Lemma 15, one deduces that the boundary of U=g−1(V) contains a unique connected component σ of g−1(δ)∩Δε0 whose closure joins β and β′ and a unique connected component σ′ of g−1(δ′)∩Δε0 whose closure joins β and β′. Note that U satisfies the conclusion of the lemma.
Now suppose that Lemma 16 has been proven for K and let us prove it for K+1. We denote β, β′ the vertical sides of Δε0 and δ, δ′ the horizontal sides of ΔεK. Consider a sequence e=(εk)0⩽k⩽K,
set e′=(εk)0⩽k<K and choose Ue satisfying the conclusion of Lemma 16. Every component α of ∂Ue∩g−K+1(ΔεK−1) is included in β or in β′. Its image by gK−1 is included in Δεk−1 and its closure joins a horizontal side of Δεk−1 to a horizontal side of Δεk−1. If both sides are equal, there exists a finite and even number of connected components of gK(α)∩ΔεK whose closure joins δ to δ′.
Furthermore there are finitely many components α such that this number is non zero (because there is finitely many components α whose diameter is larger than a given positive number). If both sides are different, there exists a finite and odd number of connected components of gK(α)∩ΔεK whose closure joins δ to δ′. By assumptions, we know that there exists exactly one such component on β and one on β′. Arguing like in the case K=1, we deduce that there exists at least one component Ve of gK(Ue′)∩ΔεK whose boundary contains a connected component of gK(β)∩ΔεK whose closure joins δ to δ′ and a connected component of gK(β′)∩ΔεK whose closure joins δ to δ′. Here again, the boundary of Ue=g−K(Ve) contains a connected component of g−K(δ)∩Δε0 whose closure joins β to β′ and a connected component of g−K(δ′)∩Δε0 whose closure joins β to β′. Note that Ue satisfies the conclusion of the lemma.
∎
The following result will immediately imply Proposition 14.
Lemma 17**.**
Let e=(εk)0⩽k<K be a sequence in {1,2}K, where K>1. If Ue is a Jordan domain that satisfies the conclusion of Lemma 16, then Ue contains a fixed point of gK.
Proof.
The proof is similar to the proof of Proposition 12. We denote β the vertical side of Δε0 lying on ϕa and β′ the vertical side of Δε0 lying on T(ϕa). We denote δ the horizontal side of ΔεK−1 whose image by g lies on ϕb and δ′ the horizontal side of ΔεK−1 whose image by g lies on T±1(ϕb) (meaning T(ϕb) or T−1(ϕb). The paths α, α′, σ and σ′ are defined in the statement of Lemma 16. To prove Lemma 17 we will show that the index i(gK,∂Ue) is equal to −1 if σ<σ′ and equal to +1 if σ′<σ. Note that
[TABLE]
Using Homma’s theorem, consider an orientation preserving plane homeomorphism h such that
[TABLE]
Note now that ξ(z)=h∘gK∘h−1(z)−z points:
•
on the right when z belongs to h(∂Ue∩β)
•
on the left when z belongs to h(∂Ue∩β′),
•
below when z belongs to h(∂Ue∩g1−K(δ)),
•
above when z belongs to h(∂Ue∩g1−K(δ′))
The complement of α∪α′∪σ∪σ′ in ∂Ue is the union of pairwise disjoint closed intervals Ii, 1⩽i⩽4, such that I1 lies between δ′ and α, I2 lies between α and δ, I3 lies between δ and β′, and I4 lies between β′ and σ′. Note know that
•
ξ(z) points on the right or above and is not a positive multiple of (−1,−1) if z∈h(I1);
•
ξ(z) points on the right or below and is not a positive multiple of (−1,1) if z∈h(I2);
•
ξ(z) points on the left or below and is not a positive multiple of (1,1) if z∈h(I3);
•
ξ(z) points on the left or above and is not a positive multiple of (1,−1) if z∈h(I4).
It is sufficient to prove the first item, which is the consequence of the fact that every point in I1 belongs either to β or to g1−K(δ′). One can construct a continuous function ξ′:h(∂Ue)→R2∖{0} such that
•
ξ(z)=(−1,−1) if z∈h(I1);
•
ξ(z)=(−1,1) if z∈h(I2);
•
ξ(z)=(1,1) if z∈h(I3);
•
ξ(z)=(1,−1) if z∈h(I4);
•
ξ(z) points on the left if z∈h(β),
•
ξ(z) points on the right if z∈h(β′),
•
ξ(z) points above if z∈h(σ),
•
ξ(z) points below if z∈h(σ′).
The degree of ξ′ is equal to −1, moreover ξ(z) is not a multiple of ξ(z) for every z∈h(∂Ue). This implies that i(gk,∂Ue)=−1.
In case δ′<δ, on can prove that i(gk,∂Ue)=1 by an analogous method, like in the proof of Proposition 12.
∎
Remark 18*.*
By looking more carefully at the proof of Lemma 16, we could be able to construct a Jordan domain Ue satisfying the conditions of Lemma 16 and such that i(gk,∂Ue)=ε, where ε∈{−1,1} depends explicitly on the sequence e=(εk)0⩽k<K and on the relative position
of Δ1 and Δ2. Suppose for instance that δ1<δ2<δ3<δ4, meaning that i(g,∂Δ1)=+1 and i(g,∂Δ2)=−1. Set K=2 and consider the sequence (1,2). The fact that g(δ2) is on ϕb and g(δ4) is on T−1(ϕb) tells us that the sides δ, δ′ mentioned in the proof of Lemma 17 are respectively δ3 and δ4. The fact that g(δ1) is on T−1(ϕb) and g(δ2) is on ϕb implies that Ue can be constructed in such a way that σ′<σ. Consequently we would have i(g2,∂Ue)=1. Similarly, in case the sequence is (1,1) or (2,2), then Ue can be constructed such that i(g2,∂Ue)=−1. More generally, in the case where δ1<δ2<δ3<δ4, for a given sequence e=(εk)0⩽k<K one can find Ue such i(gK,∂Ue)=(−1)r, where r is the cardinality of the set of indices 0⩽k<K such that εk=1. What has been done in this section, in particular what is explained in this remark, is a very simple example of Conley index theory, more precisely of homological Conley index theory. This theory describes some aspects of the dynamics in a neighborhood of an isolated compact invariant set. What happens in case this invariant set can be partitioned into two compact isolated invariant sets (as it is the case here) is well described (in a general abstract situation) in [41]. The proof given in this present article is a special case of what has been done in the unpublished article [35].
3.4. Existence of horseshoe in an annular covering space
We will construct other “geometric horseshoes” in this subsection, not in the universal covering space of the domain of a maximal isotopy but in an annular covering space. The first interest of these constructions is that they will permit us to get the constant log4/3q in the statement of Theorem N. The second interest is that the horsehoes that we will construct are rotational horseshoes, as defined for instance in [38], and we will deduce some additional dynamical properties related to rotation numbers.
We consider in this subsection, the annular covering dom˚(I)=dom(I)/T2. Denote I˚ the induced identity isotopy, f˚ the induced lift of f, and F˚ the induced foliation.
Proposition 19**.**
If q⩾2, there exists a compact set Z˚q⊂dom˚(I), invariant by f˚q such that
•
the restriction of f˚q to Z˚q is an extension of the Bernouilli shift σ:{1,…,2q−2}Z→{1,…,2q−2}Z;
•
every s-periodic sequence of {1,…,2q−2}Z has a preimage by the factor map H˚q:Z˚q→{1,…,2q−2}Z that is a s-periodic point of f˚q.
Proof.
We suppose that q⩾2. By Lemma 11, we can find a decreasing or increasing sequence of pairwise disjoint paths in X, denoted (δi)1⩽i⩽2q−2, such that, for every l∈{1,…,q−1}, one has
[TABLE]
The rectangles of the family (Tk(Δδ2l−1,2l))1⩽l<q,k∈Z are pairwise disjoint and define by projection in dom˚(I) a family (Δ˚i)1⩽i⩽2q−2 of rectangles such that
•
Δ˚i is the projection of Δδ2i−1,2i if 1⩽i⩽q−1,
•
Δ˚i is the projection of T(Δδ2(i−q+1)−1,2(i−q+1)) if q⩽i⩽2q−2.
Here again ⋃1⩽i⩽2q−2Δ˚i is an isolating block and Z˚q=⋂k∈Zf˚−kq(⋃1⩽i⩽2q−2Δ˚i) is a compact set included in the interior of ⋃1⩽i⩽2q−2Δ˚i. Denote H˚q:Z˚q→{1,…,2q−2}Z the map that associates to a point z˚∈Z˚q the sequence (εk)k∈Z such that f˚qk(z˚)∈Δεk. It is continuous and satisfies H˚q∘f˚q=σ∘H˚q. If we prove that every periodic sequence of period K is the image by H˚q of a periodic point of f˚q of period K, it will implies that H˚q is onto, because its image is compact and we will get a complete proof of Proposition 19. In fact, adapting the proofs of Lemma 16 and Lemma 17 to this present situation, we can prove that for every sequence e=(εk)0⩽k<K in {1,…,2q−2}K there exists a Jordan domain Ue⊂⋂0⩽k<Kf˚−qk(Δεk) such that i(f˚qK,∂Ue) is equal to +1 or −1. Consequently Ue contains a fixed point of f˚qK.∎
Remark 20*.*
The full topological horseshoe Z˚q constructed in Proposition 19 on the double annular covering
dom˚(I) is relevant to obtain the bound on the topological entropy, but we are also interested in applications concerning rotation numbers. This is easier to do on the annular covering space dom(I)=dom(I)/T for which dom˚(I) is a 2-fold covering. One can consider the projection P:dom˚(I)→dom(I), and the set Zq=P(Z˚q), which is invariant by fq, where f is the natural lift of f∣dom(I) to dom(I). Furthermore, if we define Hq:Zq→{1,…,q−1}Z, so that the l-th letter of Hq(z) is i if the l-th letter of H˚q(z˚) is either i or i+q−1, where z˚∈P−1(z), then the restriction of fq to Zq is semi-conjugated, by Hq, to the Bernouilli shift on {1,…,q−1}Z.
We will identify a compact invariant subset Zq′ of Zq, such that the restriction of fq to this set is still semi-conjugated by Hq to the Bernouilli shift, and that is a rotational horseshoe, in the sense that the existence of a rotation number for a point z∈Zq′ (and its value) can be determined by the knowledge of the sequence Hq(z).
Keeping the notations of Proposition 19, let Δ0⊂dom(I) be the set bounded by δ1,δ2q−2,ϕa and T(ϕa), and note that, for 1⩽i⩽q−1, fq(Δδ2i−1,δ2i) intersects both Ti(Δ0) and Ti+1(Δ0). We set Δi′=Δδ2i−1,δ2i∩f−q(Ti(Δ0)), which projects, in dom(I) to a subset Δi′ of P(Δ˚i), see figure 8. The set Zq′ is defined as ⋂k∈Zf−kq(⋃1⩽i⩽q−1Δi′). Fix z∈Zq′ and write (εk)k∈Z=Hq(z). Fix k⩾1 and set αn=∑0⩽k<nεk. If z is the lift of z that belongs to Δδ2ε0−1,2ε0, then fnq(z) belongs to Tαn(Δδ2εn−1,2εn−1). In particular z has a rotation number ρ (for the lift f) if and only if the sequence (αn/n)n⩾1 converges to qρ. We deduce the following result:
Proposition 21**.**
For any 0<ρ⩽1, there exists a nonempty minimal set Nρ such that, for each z∈Nρ, one has that rotf(z)=ρ.
Proof.
If ρ is rational, the result is an immediate consequence of Proposition 12 and Nρ can be chosen as a periodic orbit. We suppose by now that ρ is irrational.
It suffices to show that there exists an integer q⩾3 and a nonempty closed set Xρ of {1,…,q−1}Z, invariant by the Bernouilli shift and such that for every (εk)k∈Z∈Xρ, one has
[TABLE]
Indeed, every minimal subset of the compact set ⋃0⩽l<qfl(Hq−1(Xρ)) will satisfy the prescribed properties.
The existence of Xρ is a well known fact concerning Sturmian sequences. Set
[TABLE]
choosing q large enough to insure that ρ′∈(0,1).
Consider the partition of [0,1[=[0,1−ρ′[∪[1−ρ′,1[ and define a sequence e′=(εk′)k∈Z in the following way
[TABLE]
Every sequence e=(εk)k∈Z in the closure X′ of the orbit of e′ by the Bernouilli shift defined on {0,1}Z satisfies
Let us begin by proving the realization theorem (Theorem M). Let us remind the statement:
Theorem 22**.**
Let M be an oriented surface, f a homeomorphism of M isotopic to the identity, I a maximal identity isotopy of f and F a foliation transverse to I. Suppose that γ:[a,b]→dom(I) is an admissible path of order r with a F-transverse self intersection at γ(s)=γ(t), where s<t. Let γ be a lift of γ to the universal covering space dom(I) of dom(I) and T the covering automorphism such that γ and T(γ) have a F-transverse intersection at γ(t)=T(γ)(s). Let f be the lift of f∣dom(I) to dom(I), time-one map of the identity isotopy that lifts I, and f the homeomorphism of the annular covering space dom(I)=dom(I)/T lifted by f. Then we have the following:
(1)
For every rational number p/q∈(0,1], written in an irreducible way, there exists a point z∈dom(I) such that fqr(z)=Tp(z) and such that IFZ(z) is equivalent to ∏k∈ZTk(γ[s,t]).
2. (2)
For every irrational number ρ∈[0,1/r], there exists a compact set Zρ⊂dom(I) invariant by f, such that every point z∈Zρ has a rotation number rotf(z) equal to ρ. Moreover if z∈dom(I) is a lift of z, then IFZ(z) is equivalent to ∏k∈ZTk(γ[s,t]).
Proof.
We keep the notations introduced at the beginning of the section (but replacing f with fr). In particular we have a foliation F defined on the sphere dom(I)∪{S,N} with two singular points S and N. We will frequently use classical properties of foliations on a sphere in what follows. The path γ∣[s,t] projects onto a closed path of dom(I) that defines naturally an essential loop Γ. This loop is simple because it is transverse to F. There is no loss of generality by supposing that that S is on the right of Γ and N on its left. Write UΓ for the union of leaves that meet Γ, it is an open annulus. We have the following results:
•
Every leaf in UΓ has a ω-limit set equal to S.
•
In the case where F has a closed leaf, the frontier of UΓ contains a closed leaf ϕ that is the α-limit set of every leaf in UΓ. Moreover every simple loop transverse to F that is not equivalent to Γ is essential, disjoint from UΓ and separated from this set by ϕ.
•
In the case where F has no closed leaf, then every leaf of UΓ is adherent to N.
The first property can be deduced from the fact that γ joins ϕγ(a), which is homoclinic to S, to ϕγ(b) which is also homoclinic to S.
Recall that there exists k0⩾1 such that γ and Tk(γ) have a F-transverse intersection if 1⩽k⩽k0 and no transverse intersection if k>k0. As explained above, one gets a simple loop Γk0 of dom(I)k0=dom(I)/Tk0 transverse to the foliation Fk0 naturally defined on dom(I)k0. Of course dom(I)k0 is the k0-fold finite covering of dom(I) and Fk0 the lifted foliation. Applying (1) both to Γ and Γk0 and (2) to Γk0, one deduces that Γk0 is equivalent to the lift of Γ to dom(I)k0. This means that if γ and Tk(γ) have a F-transverse intersection at γ(t′)=Tk0(γ(s′)), then s′<t′ and ∏k∈ZTk(γ∣[s,t]) and ∏k∈ZTkk0(γ∣[s′,t′]) are equivalent.
One can apply what has been done in this section to fr and Tk0. Applying Corollary 13, one can find for every p/q∈(0,1] written in an irreducible way, a point zk0∈dom(I) such that fqk0r(zk0)=Tpk0(zk0). Indeed p/qq0∈(0,1]. This implies that the k0-th iterate of fqr∘T−p has a fixed point. By Brouwer theory, one deduces that fqr∘T−p itself has fixed point, which means a point z∈dom(I) such that fqr(z)=Tp(z). The point projects onto a periodic point z whose transverse trajectory defines an essential transverse loop.
Suppose first that we are in the case where F has no closed leaf and every leaf of UΓ is adherent to N. In this case, there is no essential transverse loop but the powers of Γ, so IFZ(z) is equivalent to ∏k∈ZTk(γ[s,t]).
Suppose now that we are in the case where the frontier of UΓ contains a closed leaf ϕ. One of the sets f(UΓ) or f−1(UΓ) is included in UΓ. In that case, A=⋃k∈Zfr(UΓ) is an essential invariant annulus and its preimage A=π−1(A) is a connected and simply connected domain. But A contains the closed curve C that appears in the proof of Proposition 12 and so the point zk0 can be chosen to belong to A. It is the same for z because one can apply Brouwer theory to the restriction of fqr∘T−p to A. But this implies that the orbit of z projects onto a periodic orbit included in UΓ. One deduces that IFZ(z) is equivalent to ∏k∈ZTk(γ[s,t]).
The item (2) can be proven similarly using Proposition 21.
□
We conclude by proving Theorem N. Let us
remind its statement.
Theorem 23**.**
Let M be an oriented surface, f a homeomorphism of M isotopic to the identity, I a maximal identity isotopy of f and F a foliation transverse to I. If there exists a point z in the domain of I and an integer r⩾1 such that the transverse trajectory IFr(z) has a F-transverse self-intersection, then f has a topological horseshoe. Moreover, the entropy of f is at least equal to log4/3r.
Proof.
Let us apply Proposition 14: there exist a covering transformation T of the universal covering space dom(I) and for every q⩾3 and 2⩽p<q a compact set Zp,q⊂dom(I), invariant by fqr∘T−p such that
•
the restriction of fqr∘T−p to Zp,q is an extension of the Bernouilli shift σ:{1,2}Z→{1,2}Z;
•
every s-periodic sequence of {1,2}Z has a preimage by the factor map Hp,q:Zp,q→{1,2}Z that is a s-periodic point of fqr∘T−p.
The covering projection π:dom(I)→dom(I) induces a semi-conjugacy between fqr∘T−p∣Zp,q and fqr∣π(Zp,q). The set Zp,q being compact, projects onto a compact subset Zp,q of dom(I) and every point in Zp,q has finitely many lifts in Zp,q, with an uniform upper bound. The set Zp,q is a topological horseshoe, as defined in the introduction.
One could have applied Proposition 19: for every q⩾2, there exists a topological horseshoe Zq, image by the covering projection π˚:dom˚(I)→dom(I) of the set Z˚q defined by Proposition 19. One has
[TABLE]
Noting that the function
[TABLE]
reaches its maximum in N for q=3, one concludes that
[TABLE]
∎
4. Paths on the sphere with no F transverse self-intersection and applications
4.1. Definitions
We suppose in this section that F is a singular oriented foliation on the sphere S2.
Definition**.**
Let J1 and J2 be two real intervals. We will say that J1 is on the left of J2 (equivalently J2 is on the right of J1) if the lower end of J2 is not smaller than the lower end of J1 and the upper end of J2 is not smaller that the upper end of J1. In particular J1 is on the left and on the right of itself.
Definitions**.**
Let γ:J→dom(F) be a transverse path and Γ0 a transverse loop.
•
The path γis drawn onΓ0 if it is equivalent to a sub-path of the natural lift γ0 of Γ0;
•
The path γdrawsΓ0 if there exist a<b in J and t∈R such that γ∣[a,b] is equivalent to γ0∣[t,t+1].
•
The path γdraws infinitelyΓ0 if there exist c∈J and t∈R such that γ∣(infJ,c] is equivalent to γ0∣(−∞,t], or if γ∣[c,supJ) is equivalent to γ0∣[t,+∞).
•
The path γexactly drawsΓ0 if it draws Γ0 and is drawn on Γ0.
•
The path γ *exactly draws infinitely * Γ0 if it draws infinitely Γ0 and is drawn on Γ0.
Remark*.*
In case Γ0 is a transverse simple loop, γ draws Γ0 if there exist a<b in J such that γ∣[a,b] is included in UΓ0 and meets every leaf at least once (or equivalently meets a leaf twice). One proves easily that a path that draws a transverse loop draws a transverse simple loop (see [33]).
Definitions**.**
Let γ:J→dom(F) be a transverse path and Γ0 a transverse simple loop. We set
[TABLE]
•
A connected component J0 of JΓ0 is a drawing component if γ∣J0 draws Γ0.
•
A connected component J1 of JΓ0 is a crossing component and γ∣J1crossesΓ0 if both ends a, b of J1 are in J and γ(a) and γ(b) belong to different components of S2∖UΓ.
•
The path γcrossesΓ0 if there is at least one crossing component.
4.2. Intersection of paths and loops
Proposition 24**.**
Suppose that γ:J→dom(F) is a transverse path with no F-transverse self-intersection. Then:
(1)
if γ draws a transverse simple loop Γ0, there exists a unique drawing component of JΓ0;
2. (2)
if γ draws and crosses a transverse simple loop Γ0, there exists a unique crossing component of JΓ0 and it is the drawing component of JΓ0;
3. (3)
*if γ draws a transverse simple loop Γ0 and does not cross it, then the drawing component *contains a neighborhood of at least one end of
J;
4. (4)
if γ draws two non-equivalent transverse simple loops Γ0 and Γ1, then the drawing component of JΓ0 is on the right of the drawing component of JΓ1 or on its left.
Proof.
We will begin by proving (1) in the case where γ does not cross Γ0. Suppose that J0 and J1 are two drawing components of JΓ0 and that J1 is on the right of J0. The upper end b0 of J0 and the lower end a1 of J1 are finite, belong to J, and none of the points γ(b0), γ(a1) belong to UΓ0. The fact that γ does not cross Γ0 implies that γ(b0) and γ(a1) belong to the same connected component of S2∖UΓ0. It follows that there exist, on the same connected component X of S2∖UΓ0, two boundary leaves, such that UΓ0 is locally on the right of one of them and on the left of the other one, and so there is no spiraling phenomena: the leaves of UΓ0 cannot accumulate on the boundary leaves that are in X. This implies that for every c0∈J0 and c1∈J1 the paths γ∣[c0,b0) and γ∣(a1,c1] meet every leaf of UΓ0 finitely many times and one can choose c0 and c1 such that every leaf is met exactly once by γ[c0,b0) and γ∣(a1,c1]. Consequently, there exist t0, t1, with t0⩽t1<t0+1 such that γ∣[c0,b0) is equivalent to γ0∣[t0,t0+1) and γ∣(a1,c1] is equivalent to γ0∣(t1,t1+1]. Now, fix a lift γ0 of γ0 to the universal covering space dom(F) of dom(F) and denote Uγ0 the union of the leaves of the lifted foliation F that meet γ0. There exists a unique lift γ of γ such that γ∣[c0,b0) is equivalent to γ0∣[t0,t0+1) and a unique lift γ′ of γ such that γ′∣(a1,c1] is equivalent to γ0∣(t1,t1+1]. For any given t∈(t1,t0+1), there exists d0=d0(t)∈(c0,b0) and d1=d1(t)∈(a1,c1) such that ϕγ(d0)=ϕγ′(d1)=ϕγ0(t). Suppose first that γ(b0) and γ(a1) are on the right of Γ0. In that case, when t is close to t1, then the paths γ∣[c0,d0] and γ~∣[a1,d1] are disjoint and γ(d0) is located before γ′(d1) on the leaf
ϕγ0(t). So ϕγ(c0) is below ϕγ′(a1) relative to ϕγ(t), for every t∈(t1,t0+1) because it is the case when t is close to t1. When t is close to t0+1, then the paths γ~∣[d0,b0] and γ~∣[d1,c1] are disjoint and γ(d0) is located after γ′(d1) on
ϕγ0(t). So ϕγ(b0) is above ϕγ′(c1) relative to ϕγ(t) for every t∈(t1,t0+1) because it is the case when t is close to t0+1. In this situation, there exists at least one value of t such that γ(d0)=γ′(d1) and γ and γ′ have a F-transverse intersection at γ(d0)=γ′(d1). Consequently, γ has a F-transverse intersection which contradicts the hypothesis. In the case where γ(b0) and γ(a1) are both on the left of Γ0, we get the same contradiction by proving that ϕγ(c0) is above ϕγ′(a1) relative to ϕγ(t) and ϕγ(b0) is below ϕγ′(c1) relative to ϕγ(t) for every t∈(t1,t0+1), see Figure 9.
Now, let us suppose that γ draws and crosses Γ0. If we prove that every drawing component and every crossing component coincide, we will deduce that there is a unique drawing component, a unique crossing component and that they coincide. We will obtain in this way the end of the proof of (1) and the proof of (2). We will argue by contradiction and suppose that it is not the case. Denote γ0 the natural lift of Γ0. Consider a drawing component J0 and a crossing component J1 and suppose that J0=J1. Like in the proof explained above, there are different cases to consider (in fact four). Nevertheless all situations are equivalent and we will restrict ourselves to a unique one. First we will suppose that J1=(a1,b1) is on the right of J0=(a0,b0). This implies that the upper end b0 of J0 is finite, belongs to J, and that γ(b0)∈UΓ0. One of the points γ(a1) or γ(b1) belongs to the same connected component of S2∖UΓ0 as γ(b0). We can suppose that it is γ(a1) because otherwise, since γ(b0) and γ(a1) lie in different connected components of S2∖UΓ0 as γ(b0), there must exists another crossing component J2=(a2,b2) to the right of J0 and to the left of J1 such that γ(b0) and γ(a2) lie in the same connected components of S2∖UΓ0 . Moreover we will suppose that γ(b0) and γ(a1) are on the right of Γ0 (See Figure 10 for a depiction of construction below). Here again, for the reasons explained above in the proof of (1) for every c0∈J0 and c1∈J1, the paths γ∣[c0,b0) and γ∣(a1,c1] meet every leaf of UΓ0 finitely many times. Consequently one can choose c0 such that every leaf is met exactly once by γ∣[c0,b0). Consequently, there exist t0, t1, t1′, with t0⩽t1<t0+1 such that γ∣[c0,b0) is equivalent to γ0∣[t0,t0+1) and γ∣(a1,b1) is equivalent to γ0∣(t1,t1′). There exists a unique lift γ of γ such that γ∣[c0,b0) is equivalent to γ0∣[t0,t0+1) and a unique lift γ′ of γ such that γ′∣(a1,b1) is equivalent to γ0∣(t1,t1′). Set t2=min(t1′,t0+1). As before, if t∈(t1,t2) then there exist d0=d0(t)∈(c0,b0) and d1=d1(t)∈(a1,b1) such that ϕγ(d0)=ϕγ′(d1)=ϕγ0(t). By the same argument as before, one has that ϕγ(c0) is below ϕγ′(a1) relative to ϕγ(t), for every t∈(t1,t2). Also as before, when t is close to t2, irregardless if t2 is equal to t1′ or to t0+1, then the paths γ~∣[d0,b0] and γ~∣[d1,b1] are disjoint and γ(d0) is located after γ′(d1) on
ϕγ0(t) . So ϕγ(b0) is above ϕγ′(b1) relative to ϕγ(t) for every t∈(t1,t2) because it is the case when t is close to t2. In this situation, there exists at least one value of t such that γ(d0)=γ′(d1) and γ and γ′ have a F-transverse intersection at γ(d0)=γ′(d1). Consequently, γ has a F-transverse intersection which contradicts the hypothesis.
Let us prove (3). Suppose that γ draws a transverse simple loop Γ0 and does not cross it. If the drawing component J0 of JΓ0 does not contain a neighborhood of at least one end of
J, then the two ends a0 and b0 of J0 are finite and γ(a0) and γ(b0) do not belong to UΓ. More precisely γ(a0) and γ(b0) belong
to the same connected component of S2∖UΓ because γ does not cross Γ0. Here again, for every c0∈J0 the paths γ∣(a0,c0] and γ∣[c0,b0) meet every leaf of UΓ0 finitely many times and one can choose c0 and c0′ in J0 such that every leaf is met exactly once by γ∣(a0,c0] and γ∣[c0′,b0). Consequently, there exist t0, t0′, with t0′⩽t0<t0′+1 such that γ∣(a0,c0] is equivalent to γ0∣(t0,t0+1] and γ∣[c0′,b0) is equivalent to γ0∣[t0′,t0′+1). By working in the universal covering space and using arguments similar to what has been done in the proofs of (1) and (2) we can prove that there exist d0∈(a0,c0) and d0′∈(c0′,b0) such that γ(d0)=γ(d0′) and such that γ∣[a0,c0] and γ∣[c0′,b0] have a F-transverse intersection at γ(d0)=γ(d0′). This contradicts the hypothesis.
It remains to prove (4). Suppose that γ draws two non equivalent transverse simple loops Γ0, Γ1. Denote J0, J1 the drawing components of JΓ0, JΓ1 respectively. The loops are not equivalent, so there is a leaf that is met by γ∣JΓ0 and not by γ∣JΓ1 and a leaf that is met by γ∣JΓ1 and not by γ∣JΓ0. Consequently, none of the inclusions J0⊂J1 or J1⊂J0 occurs and the conclusions follows.
∎
Corollary 25**.**
Suppose that γ:[a,b]→dom(F) is a transverse path with no F-transverse self-intersection such that ϕγ(a)=ϕγ(b). Then, there exists a subdivision (ci)0⩽i⩽r of [a,b] such that:
(1)
ϕγ(ci)=ϕγ(a)* for every i∈{0,…,r};*
2. (2)
ϕγ(t)=ϕγ(t′)* if ci⩽t<t′<ci+1 and i∈{0,…,r−1}.*
Proof.
The path γ defines naturally a transverse loop Γ met by ϕγ(a). As reminded in
the beginning of Subsection 2.3, this loop meets every leaf finitely many times. Consequently, there exists a subdivision (ci)0⩽i⩽r of [a,b] such that:
•
ϕγ(ci)=ϕγ(a) for every i∈{0,…,r};
•
ϕγ(t)=ϕγ(a) if ci⩽t<ci+1 and i∈{0,…,r−1}.
We would like to prove that ϕγ(t)=ϕγ(t′) if ci⩽t<t′<ci+1. It is sufficient to prove that if a′<b′ in [a,b] satisfy
ϕγ(a′)=ϕγ(b′), then there exists c′∈[a′,b′] such that ϕγ(c′)=ϕγ(a). As explained in the proof of Proposition 2 in [33], there exist a′′<b′′ in [a′,b′] such that ϕγ(a′′)=ϕγ(b′′) and such that ϕγ(t)=ϕγ(t′) if a′′⩽t<t′<b′′. Indeed, every leaf that meets γ is wandering and consequently, if t and t′ are sufficiently close, one has ϕγ(t)=ϕγ(t′). Moreover, because γ is positively transverse to F, one cannot find an increasing sequence (an)n⩾0 and a decreasing sequence (bn)n⩾0 such that ϕγ(an)=ϕγ(bn). This implies the existence of a′′ and b′′ mentioned above. The path γ∣[a′′,b′′] defines naturally a simple loop Γ0 and γ draws Γ0. Let us explain, arguing by contradiction, why there exists c′′∈[a′′,b′′] such that ϕγ(c′′)=ϕγ(a).
Suppose that ϕγ(a)⊂UΓ0. Then, γ crosses Γ0 by assertion (3) of Proposition 24. But it must have at least two crossing components because ϕγ(a)=ϕγ(b)
and this contradicts assertion (2) of Proposition 24.∎
Remark*.*
Note that the conclusion of Corollary 25 does not say that the paths γ∣[ci,ci+1] must be equivalent, as this is not always the case.
Fix a transverse path γ:J→dom(F) with no F-transverse self-intersection. Suppose that γ draws a transverse simple loop Γ0 but is not drawn on it. Denote J0 the drawing component of JΓ0. If the lower end a0 of J0 is finite and belongs to J, then γ(a0) does not belong to UΓ0. We denote KΓ0α the connected component of S2∖UΓ0 that contains γ(a0) and KΓ0ω the other one. Similarly, if the upper end b0 of J0 is finite and belongs to J, we denote KΓ0ω the connected component of S2∖UΓ0 that contains γ(b0) and KΓ0α the other one. Note that if the two ends are finite, the notations agree because J0 must be a crossing component by assertion (3) of Proposition 24.
Note that in all cases,
[TABLE]
otherwise γ would have at least two crossing components.
Proposition 26**.**
Suppose that γ:[a,b]→dom(F) is a transverse path with no F-transverse self-intersection that draws two transverse simple loops Γ0 and Γ1 and denote J0, J1 the drawing components of JΓ0, JΓ1 respectively. If J1 is on the right of J0, then KΓ0α⊂KΓ1α and KΓ1ω⊂KΓ0ω.
Proof.
We can suppose that Γ0 and Γ1 are not equivalent, otherwise the result is trivial as:
[TABLE]
Note that, by item (4) of Proposition 24, either J0 is on the right of J1 or the converse is true, and we are assuming the latter. By the comments made just before the statement of Proposition 26, we have:
[TABLE]
The set KΓ0α is included in S2∖UΓ1. Being connected, it is contained in KΓ1α or in KΓ1ω. Suppose that it is contained in KΓ1ω. It is a closed and open subset of KΓ1ω because UΓ0∪KΓ0α is a neighborhood of KΓ0α and UΓ0∩KΓ1ω=∅. So, KΓ0α and KΓ1ω are equal.
Since the loop Γ1 is simple, it separates the two ends of UΓ1 and intersects every leaf in UΓ1 exactly once. Therefore, every leaf ϕ∈UΓ1 is adjacent to both connected components of the complement of UΓ1, and we deduce that every leaf ϕ∈UΓ1 is adjacent to KΓ0α but disjoint from this set. So ϕ meets UΓ0, because UΓ0∪KΓ0α is a neighborhood of KΓ0α, and this implies that ϕ is contained in UΓ0. One deduces that UΓ1 is included in UΓ0, which is impossible because Γ0 and Γ1 are not equivalent. In conclusion, one gets the inclusion KΓ0α⊂KΓ1α. The proof of the other inclusion is similar.∎
4.3. Applications
Proposition 27**.**
Let f be an orientation preserving homeomorphism of S2 with no topological horseshoe. Let I be a maximal isotopy of f and F a foliation transverse to I.
If z∈dom(I) is a non-wandering point of f, then:
•
either IFZ(z) never meets a leaf twice,
•
or IFZ(z) draws a unique transverse simple loop Γ0 (up to equivalence) and exactly draws it.
Proof.
Suppose that IFZ(z) meets a leaf twice. In that case, it draws a transverse loop Γ0, that can be supposed simple by Corollary 25. If IFZ(z) is not drawn on Γ0, one can find integers m<n such that γ=IFZ(z)∣[m,n]=IFn−m(fm(z)) draws Γ0 and is not drawn on Γ0: there exists t∈[m,n] such that ϕγ(t)⊂UΓ0. By Proposition 3, there exists a neighborhood W of z such that for every z′∈W, γ is a sub-path of IFZ(z)∣[m−1,n+1]. Consequently, IFZ(z′)∣[m−1,n+1] draws Γ0 and is not drawn on Γ0. The point z being non-wandering, one can find z′∈W and l>n−m+2 such that fl(z′)∈W. So IFZ(z′)∣[m−1+l,n+1+l] draws Γ0 and is not drawn on Γ0. More precisely, there exists an interval J0⊂[m−1,n+1] and an interval J1⊂[m−1+l,n+1+l] such that IFZ(z′)∣J0 and IFZ(z′)∣J1 are equivalent to γ. There exists at least two drawing components, separated by the point t0∈J0 corresponding to t, if t is at the right of the drawing component of γ, separated by the point t1∈J1 corresponding to t, if t is at the left of the drawing component of γ. By assertion (1) of Proposition 24, we deduce that IFZ(z) has a F-transverse self intersection. This contradicts Theorem N.∎
Remarks*.*
The first case only appears in case α(z) and ω(z) are included in fix(I). We will define
[TABLE]
Note that if z∈ne(I), there exists at least one leaf that is met infinitely many times by IFZ(z). By Corollary 25, IFZ(z)
draws at least one transverse simple loop. Moreover, this loop is unique and drawn infinitely if z∈Ω(f).
We can generalize the previous result.
Proposition 28**.**
Let f be an orientation preserving homeomorphism of S2 with no topological horseshoe. Let I be a maximal isotopy of f and F a foliation transverse to I.
Let (zi)i∈Z/rZ be a Birkhoff cycle in ne(I). Then there exists a transverse simple loop Γ such that, for every i∈Z/rZ, Γ is the unique simple loop (up to equivalence) drawn by IFZ(zi). Moreover IFZ(zi) exactly draws infinitely Γ.
Proof.
In the case where there exists a periodic orbit that contains all the zi, we can apply Proposition 27. Otherwise, using the first assertion of Proposition 7, and taking a subsequence if necessary, one can suppose that for every i∈Z/rZ, the point zi+1 is not the image of zi by a positive iterate of f. Likewise, we may assume that r⩾2, otherwise the unique point z0 must be non-wandering and the result follows again by Proposition 27. Note that, since each zi∈ne(I), then each IFZ(zi) draws at least a simple transverse loop Γi. It suffices to show that Γi and Γj are equivalent if i=j and that IFZ(zi) exactly draws Γi. Indeed zi belongs to ne(f) and so IFZ(zi) exactly draws infinitely Γi.
The fact that (zi)i∈Z/rZ is a Birkhoff cycle and that zi+1 does not belong to the positive orbit of zi implies that, for every N⩾1, if we choose for every i a neighborhood Wi of zi, there exists zi′∈Wi and ni⩾N such that fni(zi′)∈Wi+1. In particular, if the Wi are chosen small enough, IFZ(zi′) draws Γi and Γi+1 and moreover, the drawing component of Γi+1 is on the right of the drawing component of Γi.
For every i∈Z/rZ we denote:
•
(ai,bi) the drawing component of IFZ(zi) with Γi,
•
(ai′,bi′) the drawing component of IFZ(zi′) with Γi,
•
(ai′′,bi′′) the drawing component of IFZ(zi−1′) with Γi.
Let us begin with the following preliminary result.
Lemma 29**.**
Suppose that Γi=Γi+1. Then bi=+∞ and ai+1=−∞.
Proof.
Suppose that bi<+∞. Fix ci in (ai,bi) and ei+1, fi+1 in (ai+1,bi+1) satisfying ei+1<fi+1, such that IFZ(zi)∣[ci,bi] and IFZ(zi+1)∣[ei+1,fi+1] draw Γ. If the neighborhoods Wi and Wi+1 are chosen sufficiently small and ni sufficiently large, there exist ci′<di′<ei′<fi′ such that IFZ(zi′)∣[ci′,di′] is equivalent to IFZ(zi)∣[ci,bi] and IFZ(zi′)∣[ei′,fi′] is equivalent to IFZ(zi+1)∣[ei+1,fi+1]. Therefore both [ci′,di′] and [ei′,fi′] intersect a drawing component of IFZ(zi′) with Γ. But since IFZ(zi)(bi) does not belong to UΓ, IFZ(zi′)(di′) also does not belong to UΓ, and therefore there must be at least two drawing components of IFZ(zi′) with Γ, a contradiction with the assertion (1) of Proposition 24. One proves in the same way that ai+1=−∞. ∎
Consequently, if we prove that the Γi are all equal, we will deduce that IFZ(zi) exactly draws Γi.
Suppose for a contradiction that there exists i such that Γi=Γi+1. As explained in Proposition 26, for each i such that Γi=Γi+1, exactly one of the two connected components of the complement of UΓi meets Γi+1, which we denote it Ki→i+1ω, and exactly one of the two connected components of the complement of UΓi+1 meets Γi, which we denote it Ki→i+1α. We can extend the above sets in a unique way to obtain two global families (Ki→i+1α)i∈Z/rZ and (Ki→i+1ω)i∈Z/rZ by imposing that, whenever
[TABLE]
Lemma 30**.**
There exists i such that Ki−1→iα=Ki→i+1ω.
Proof.
If Ki−1→iα=Ki→i+1ω for every i∈Z/rZ, then, the sequence (Ki→i+1α)i∈Z/rZ is non-decreasing while the sequence (Ki→i+1ω)i∈Z/rZ is non-increasing by Proposition 26. So the two sequences are constant, as is the sequence (UΓi)i∈Z/rZ because UΓi=S2∖(Ki→i+1ω∪Ki→i+1α). This contradicts our assumption that there exists i such that Γi=Γi+1.
∎
We deduce that there exists a transverse simple loop Γ, a connected component K of S2∖UΓ
and i0⩽i1 such that
•
Γi=Γ for every i∈{i0,…,i1};
•
Γi0−1=Γ;
•
Γi1+1=Γ;
•
the point zi0−1′ draws Γi0−1 and Γ and the drawing component of the first loop is on the left of the drawing component of the second one;
•
the point zi1′ draws Γ and Γi1+1 and the drawing component of the first loop is on the left of the drawing component of the second one;
•
Ki0−1→i0α=Ki1→i1+1ω=K.
We know that
[TABLE]
Lemma 31**.**
There exists i∈{i0,…,i1} such that:
•
−∞<ai′′;
•
IFZ(zi−1′)(ai′′)∈K;
•
IFZ(zi−1′)∣(ai′′,bi′′)* meets every leaf of UΓ at least twice.*
Proof.
Suppose first that i0=i1. We know that ai0′′ is finite and that IFZ(zi0−1′)(ai0′′)∈K. We will prove that IFZ(zi0)∣(ai0,bi0) meets every leaf of UΓ at least twice. It will also be the case for IFZ(zi0−1′)∣(ai0′′,bi0′′) if the neighborhood Wi0 is chosen sufficiently small and ni0−1 sufficiently large. So, the lemma will be proved. In fact we will prove that IFZ(zi0) is drawn on Γ. The point zi0 belonging to ne(f), IFZ(zi0) will draw infinitely Γ.
Suppose that ai0 is finite. In that case, ai0′ is also finite and IFZ(zi0−1′)(ai0′′), IFZ(zi0)(ai0) and IFZ(zi0′)(ai0′) are on the same leaf. One deduces that IFZ(zi0′)(ai0′)∈K. By hypothesis, one knows that IFZ(zi0′)(bi0′)∈K. This contradicts the assertion (3) of Proposition 24. Suppose that bi0 is finite. In that case, bi0′′ is also finite and IFZ(zi0−1′)(bi0′′), IFZ(zi0)(bi0) and IFZ(zi0′)(bi0′) are on the same leaf. One deduces that IFZ(zi0′)(bi0′′)∈K. By hypothesis, one knows that IFZ(zi0′)(ai0′′)∈K. We get the same contradiction.
In conclusion, IFZ(zi0) is drawn on Γ.
Suppose now that i0<i1. Observe that (ai′,bi′)=(ai+1′′,bi+1′′) if i0⩽i<i1. We have to study the case where IFZ(zi0)∣(ai0,bi0) does not meet every leaf of UΓ at least twice.
We have seen in Lemma 29 that bi0 is infinite. So ai0 is finite. In that case, ai0′ is also finite and IFZ(zi0−1′)(ai0′′), IFZ(zi0)(ai0) and IFZ(zi0′)(ai0′) are on the same leaf and so {\color[rgb]{0,0,0}I^{\mathbb{Z}}_{\mathcal{F}}(z^{\prime}_{i_{0}})(a^{\prime\prime}_{i_{0}+1})}=I^{\mathbb{Z}}_{\mathcal{F}}(z^{\prime}_{i_{0}})(a^{\prime}_{i_{0}})\in K. Replacing i0 by i0+1, all what was done above is still valid. If IFZ(zi0+1) is drawn on Γ, the lemma will be valid with i0+1. If not, we go to the following index. The process will stop until reaching i1.
∎
By a similar reasoning, there exists j∈{i0,…,i1} such that
•
bj′<+∞,
•
IFZ(zj′)(bj′)∈K,
•
IFZ(zj′)∣(aj′,bj′) meets every leaf of UΓ at least twice.
Lemma 32**.**
Let β0:[a0,b0)→dom(F) and β1:(a1,b1]→dom(F) be two admissible transverse paths such that:
•
β0(a0)* and β1(b1) are in the same connected component of S2∖UΓ;*
•
Both β0∣(a0,b0) and β1∣(a1,b1) are in UΓ, and both paths meet every leaf of UΓ at least twice.
Then there exists an admissible path with a F-transverse self-intersection
Proof.
Denote γ the natural lift of Γ. Here again, for every c0∈(a0,b0) and c1∈(a1,b1), the paths β0∣(a0,c0] and β1∣[c1,b1) meet every leaf of UΓ finitely many times and one can choose c0 and c1 such that every leaf is met exactly twice by β0∣(a0,c0] and by β1∣[c1,b1). Consequently, there exist t0 and t1, with t0−1<t1⩽t0, such that β0∣(a0,c0] is equivalent to γ∣(t0,t0+2] and β1∣[c1,b1) is equivalent to γ∣[t1,t1+2).
Lets consider d0∈(a0,c0) and d1∈(c1,b1) uniquely defined by the fact that β0∣(a0,c0] is equivalent to γ∣(ti′′,ti′′+1] and β1∣[d1,b1) is equivalent to γ∣[ti′′+1,tj′+2). One can suppose, by eventually changing the paths in their equivalence class, that β0(d0)=β1(d1). Note that the paths β0∣[a0,c0] and β1∣[c1,b1] have a F-transverse intersection at β0(d0)=β1(d1). By Proposition 4, the path β0∣[a0,d0]β1∣[d1,b1] is admissible, and contains a subpath that is equivalent to γ∣(t0,t1+2). In particular, since t1>t0−1, this path draws Γ, does not cross it and its ends are not in UΓ. By Proposition 24, it has a F-transverse self intersection.
∎
We can therefore apply the previous lemma to the paths β0=IFZ(zi−1′′)∣[ai′′,bi′′) and β1=IFZ(zj′)∣(aj′,bj′],
then one deduces the existence of an admissible path with a F-transverse self-intersection, and Theorem N implies that f has a topological horseshoe, a contradiction proving Proposition 28.
∎
5. Paths on the annulus with no F transverse self-intersection
5.1. Definitions, positive and negative loops
A singular oriented foliation F on the annulus A=T1×R can be extended to a singular foliation on S2 by adding two singular points, the upper end N and the lower end S. So one can apply the results of the previous section. Let us study now this particular class of foliations. Write [Γ]∈H1(A,Z) the homology class of a loop Γ of A. Consider the loop Γ∗:x↦(x,0), which means the circle T1×{0} oriented with an increasing angular coordinate, so that the upper end is on its left side and the lower end on its right side. One gets a generator of H1(A,Z) by considering [Γ∗]. Say that a loop Γ is essential if [Γ]=0. Say that Γ is a positive loop if there exists p>0 such that [Γ]=p[Γ∗] and define in the same way negative, non positive and non negative loops. Note that if Γ is a simple loop, there exists p∈{−1,0,1} such that [Γ]=p[Γ∗]. Let us remind that if a multi-loop Γ=∑1⩽i⩽pΓi in A is homologous to zero in A, one can choose the dual function (defined on S2) to vanish in a neighborhood of N and S. If Aˇ=R×R is the universal covering space of A, we will denote T:(x,y)↦(x+1,y) the covering automorphism naturally associated with the loop Γ∗.
Suppose now that γ:[a,b]→dom(I) is a transverse path such that ϕγ(a)=ϕγ(b)=ϕ. One can find a transverse path γ′:[a,b]→dom(I) equivalent to γ such that γ′(a)=γ′(b). The leaf ϕγ(a) cannot be a closed leaf and so, the equivalence class of the transverse loop naturally defined by γ′ depends only on γ: we will called such a transverse loop, the natural transverse loop defined by γ.
Proposition 33**.**
Suppose that γ:J→dom(F) is a transverse path with no F-transverse self-intersection that draws a positive transverse simple loop Γ0 and a negative transverse simple loop Γ1. Then UΓ0∩UΓ1=∅.
Proof.
Of course Γ0 and Γ1 are not equivalent. Denote J0, J1 the drawing components of JΓ0, JΓ1 respectively. There is no loss of generality by supposing that J1 is on the right of J0. The path γ∣J1 does not cross Γ0. Otherwise J1 would contain a crossing component of JΓ0, but the only eventual crossing component of JΓ0
is J0, the drawing component, by assertion (2) of Proposition 24. So, there exists a transverse path equivalent to γ∣J1 that is disjoint from Γ0 and consequently a transverse loop Γ1′ equivalent to Γ1 that is disjoint from Γ0. The multi loop Γ0+Γ1′ is homologous to zero and its dual function can be chosen to take its values in {0,1} because the loops are disjoint. This implies that a leaf cannot meet both loops.∎
Corollary 34**.**
Suppose that γ:J→dom(F) is a transverse path with no F-transverse self-intersection such that ϕγ(t0)=ϕγ(t1)=ϕγ(t2) where t0<t1<t2. If the transverse loop naturally defined by γ∣[t0,t1] is positive, then the transverse loop naturally defined by γ∣[t1,t2] is non negative. Similarly if the first loop is negative, the second one is non positive.
Proof.
Suppose that γ∣[t0,t1] is positive and γ∣[t1,t2] negative. Using Corollary 25, one can find t0⩽t0′<t1′⩽t1 and t1⩽t1′′<t2′′⩽t2 such that
the transverse loop naturally defined by γ∣[t0′,t1′] is a positive transverse simple loop;
•
the transverse loop naturally defined by γ∣[t1′′,t2′′] is a negative transverse simple loop;
•
these two last loops are drawn by γ.
It remains to note that ϕγ(t0) meets both loops, which contradicts Proposition 33.∎
Corollary 35**.**
Suppose that γ:J→dom(F) is a transverse path with no F-transverse self-intersection such that ϕγ(t0)=ϕγ(t1) and ϕγ(t2)=ϕγ(t3), where t0<t2<t3<t1. If the transverse loop naturally defined by γ∣[t0,t1] is positive, then the transverse loop naturally defined by γ∣[t2,t3] is non negative. Similarly if the first loop is negative, the second one is non positive.
Proof.
Suppose that γ∣[t0,t1] is positive and γ∣[t2,t3] negative. Using Corollary 25, one can find t0⩽t0′<t1′⩽t1 and t2⩽t2′<t3′⩽t3 such that
•
ϕγ(t0′)=ϕγ(t1′)=ϕγ(t0);
•
ϕγ(t2′)=ϕγ(t3′)=ϕγ(t2);
•
the transverse loop naturally defined by γ∣[t0′,t1′] is a positive transverse simple loop;
•
the transverse loop naturally defined by γ∣[t2′,t3′] is a negative transverse simple loop;
•
these two last loops are drawn by γ.
As explained in the proof of Corollary 25, the leaf ϕγ(t0) meets both loops, which contradicts Proposition 33.∎
Let us give an application.
Corollary 36**.**
Let f be a homeomorphism of A isotopic to the identity and fˇ a lift of f to Aˇ. Let D be a topological open disk of A and Dˇ a lift of D. We suppose that Dˇ is a free disk of fˇ and that there exists a point zˇ∈Dˇ and positive integers n0,n1,m0,m1 such that
[TABLE]
Then f has a topological horseshoe.
Proof.
Choose an identity isotopy I∗ of f that is lifted on Aˇ to an identity isotopy of fˇ. Then choose a maximal isotopy I such that I∗⪯I. Set z=π(zˇ). As explained in Proposition 59 of [33], one can find a singular foliation F transverse to I such that z, fn0(z) and fn0+n1(z) are on the same leaf of the restricted foliation F∣D. Setting γ=IFn0+n1(z), one gets
•
ϕγ(0)=ϕγ(n0)=ϕγ(n0+n1);
•
the transverse loop naturally defined by γ∣[0,n0] is positive;
•
the transverse loop naturally defined by γ∣[n0,n0+n1] is negative.
By Corollary 34, one deduces that IFn0+n1(z) has a F-transverse self-intersection, and by Theorem 23, that f has a topological horseshoe.∎
5.2. Rotation numbers
Let us remind the theorem we want to prove, Theorem A of the introduction.
Theorem 37**.**
Let f be a homeomorphism of A isotopic to the identity and fˇ a lift of f to R2. We suppose that f has no topological horseshoe. Then
(1)
each point z∈ne+(f) has a well defined rotation number rotfˇ(z);
2. (2)
for every z,z′∈ne+(f) such that z′∈ω(z) we have rotfˇ(z′)=rotfˇ(z);
3. (3)
if z∈ne+(f)∩ne−(f) is non-wandering, then rotfˇ−1(z)=−rotfˇ(z);
4. (4)
the map rotfˇ±:Ω(f)∩ne(f)→R is continuous, where
[TABLE]
Remark*.*
Before starting the proof of Theorem 37, let us state a fact that will be often used in the article. Let f be a homeomorphism of A isotopic to the identity and fˇ a lift of f to R2. Let I be a maximal isotopy of f that is lifted to an identity isotopy Iˇ of fˇ and F a singular foliation transverse to I lifted to Fˇ. Suppose that z belongs to the domain of I and that IFN(z) exactly draws infinitely a positive loop Γ. Then if z∈ne+(I) and if rotfˇ(z) is well defined,
then rotfˇ(z)⩾0. More precisely, if there exists z′∈dom(I), a sub-sequence (fnk(z))k⩾0 of the forward orbit of z that converges to a point z′∈dom(I) and if there exists ρ∈R∪{−∞,+∞} such that
[TABLE]
where zˇ is a lift of z. Then it holds that ρ⩾0. Indeed, there exists some zˇ′ a lift of z′ and k0 sufficiently large such that IˇFˇnk0(zˇ) meets ϕzˇ′. If ρ<0, then there would exist m arbitrarily large such that IˇFˇN(zˇ) also meets T−m(ϕzˇ′) and so IFN(z) will draw a negative transverse loop, which is impossible.
Proof.
We will begin by proving (1) by contradiction. Suppose that the ω-limit set of z is not empty and that z has no rotation number.
There are two possibilities.
Case 1: there exists a compact set K⊂A, two numbers ρ−<ρ+ in R∪{−∞,∞} and two increasing sequences of integers (nk)k⩾0 and (mk)k⩾0 such that fnk(z)∈K, fmk(z)∈K and such that for any lift zˇ of z, one has
[TABLE]
and
[TABLE]
Case 2: there exists a compact set K⊂A, a number ρ∈{−∞,∞} and an increasing sequence of integers (nk)k⩾0 such that fnk(z)∈K and such that for any lift zˇ of z, one has
[TABLE]
Let us begin by the first case. Taking subsequences if necessary, one can suppose that there exist z− and z+ in K such that limk→+∞fnk(z)=z− and limk→+∞fmk(z)=z+. Let us choose two integers p and q>0 relatively prime such that ρ−<p/q<ρ+ and such that both z− and z+ are not fixed points of fq with rotation number p/q. Write nk=qnk′+rk and mk=qmk′+sk, where rk and sk belong to {0,…,q−1}. Taking subsequences if necessary, one can suppose that there exist r and s in {0,…,q−1} such that rk=r and sk=s for every k∈Z. Setting
[TABLE]
one knows that
[TABLE]
Moreover
[TABLE]
and
[TABLE]
Choose an identity isotopy I′∗ of f′ that is lifted to an identity isotopy of fˇ′, then a maximal isotopy I′ such that I′∗⪯I′, and finally a singular foliation F′ transverse to I′. The singular points of I′ are periodic points of f of period q and rotation number p/q. So z−′ and z+′ are non singular points. The trajectory γ′=IF′′N(z) meets the leaves ϕz−′ and ϕz+′ infinitely many times. Denote (tk−)k⩾0 and (tk+)k⩾0 the (increasing) sequences of meeting times. One can find tk0+<tk2−<tk3−<tk1+ such that γ∣[tk0+,tk1+] is positive and γ∣[tk2−,tk3−] negative.
By Corollary 35, one deduces that γ′ has a F′-transverse self-intersection, and by Theorem 23, that f has a topological horseshoe.
Let us study now the second case. We will suppose that ρ=−∞, the case where ρ=+∞ being analogous. Taking a subsequence if necessary, one can suppose that there exists z′∈K such that limk→+∞fnk(z)=z′.
Suppose first that z′ is a fixed point and denote p∈Z its rotation number. Choose an identity isotopy I′∗ of f that is lifted to an identity isotopy of fˇ′=fˇ∘T−p+1, then a maximal isotopy I′ such that I′∗⪯I′, and finally a singular foliation F′ transverse to I′. One knows that ρfˇ′(z′)=1. By Proposition 27, this means that the transverse loop Γ associated with z′ is a positive simple loop. The fact that z′∈ω(z) implies that for every k⩾0, the path IF′′N(fk(z)) draws Γ. One deduces from Proposition 24 that IF′′N(fk(z)) exactly draws infinitely Γ, if k is sufficiently large. This contradicts the fact that ρ=−∞.
Suppose now that z′ is not a fixed point and consider a free disk D containing z′. The orbit (fn(z))n⩾0 meets the disk D infinitely many times. Denote (nk)k⩾0 the (increasing) sequence of meeting times. Fix a lift zˇ of z. For every k⩾0, there exists pk∈Z such that fˇnk(zˇ)∈Tpk(Dˇ). Moreover, limk→+∞pk/nk=−∞. Choose an integer r such that (p1−p0)+r(n1−n0)>0. Consider the point zˇ′′=fˇn0(zˇ), the disk Dˇ′′=Tp0(Dˇ) and the lift fˇ′′=fˇ∘Tr. We have
[TABLE]
So pk−p0+r(nk−n0)<0, if k is large enough. By Corollary 36, one deduces that f has a horseshoe.
We will also prove (2) by contradiction. Suppose that z and z′ belong to ne+(f) and that z′∈ω(z) and suppose for instance that rotfˇ(z)<rotfˇ(z′). Choose two integers p and q>0 relatively prime such that rotfˇ(z)<p/q<rotfˇ(z′). There exists r∈{0,…,q−1} such that fr(z′) is in the ω-limit set of z for fq. Choose a maximal isotopy I′ of fq that is lifted to an identity isotopy of fˇ′=fˇq∘T−p and a singular foliation F′ transverse to I′. The point fr(z′) being non-wandering and having a positive rotation number for fˇ′, one deduces, by Proposition 27 that there exists a positive simple transverse loop Γ such that IF′′Z(fr(z′)) is drawn on Γ and that IF′′N(fr(z′))) draws infinitely Γ. The fact that z′∈ωf′(z) implies that for every k⩾0, IF′′N(f′k(z)) draws Γ. By Proposition 24, there exists k⩾0 such that IF′′N(f′k(z)) is drawn on Γ. This contradicts the fact that rotfˇ′(z)<0.
The proof of (3) is very close. Let z be in Ω(f)∩ne+(f)∩ne−(f). Suppose for instance that −rotfˇ−1(z)<rotfˇ(z). Choose z−∈α(z) and z+∈ω(z) and then choose two integers p and q>0 relatively prime such that −rotfˇ−1(z)<p/q<rotfˇ(z) and such that fˇq(z−)=Tp(z−) and fˇq(z+)=Tp(z+). Choose a maximal isotopy I′ of fq that is lifted to an identity isotopy of fˇ′=fˇq∘T−p and a singular foliation F′ transverse to I′. The point z being non-wandering for f is Birkhoff recurrent for f. By assertion (4) of Proposition 7, it is also Birkhoff recurrent for fq. More precisely, there exists a Birkhoff circle (zj′)j∈Z/pZ of fq such that every zj′ is in the f-orbit of z (and of course conjugating by power of f one can suppose that z0′=z). Moreover, it holds that z∈ne+(I′)∩ne−(I′), because its α-limit for fq contains an iterate of z− and because its omega-limit for fq contains an iterate of z+. One deduces by Proposition 28 that there exists a simple transverse loop Γ such that IF′′Z(z′) is equivalent to the natural lift of Γ. This contradicts the fact that−rotfˇ′−1(z)<0<rotfˇ′(z).
It remains to prove (4). Fix z∈Ω(f)∩ne(f). Choose z±∈α(z)∪ω(z). If p/q<rotf±(z), written in an irreducible way, is sufficiently close to rotf±(z), then fˇq(z±)=Tp(z±). Fix such a rational number p/q, then choose a maximal isotopy I′ of fq that is lifted to an identity isotopy of fˇq∘T−p and a singular foliation F′ transverse to I′. As explained above, one knows that z∈ne(I′) and so one can use Proposition 28 and deduce that there exists a positive simple transverse loop Γ such that IF′′Z(z) exactly draws infinitely Γ. There exists a neighborhood W of z such that I′F′Z(z′) draws Γ for every z′∈W. Suppose that z^{\prime}\in{\color[rgb]{0,0,0}\Omega(f)}\cap\mathrm{ne}(f)\cap W. If z′∈ne(I′), then α(z′)∪ω(z′) contains a fixed point of fˇq∘T−p and so rotfˇ(z′)=p/q. If z′∈ne(I′), it shares the same properties as z and so IF′′Z(z′) exactly draws infinitely Γ. This implies that rotfˇ(z′)⩾p/q. We have a similar result supposing p/q>rot(z). So the function rotf± is continuous on Ω(f)∩ne(f).∎
5.3. Birkhoff recurrent points and Birkhoff recurrent classes
Let us remind the theorem we want to prove, Theorem B of the introduction.
Theorem 38**.**
Let f be a homeomorphism of A isotopic to the identity and fˇ a lift of f to R2. We suppose that f has no topological horseshoe. If B is a Birkhoff recurrence class of fsp, there exists ρ∈R such that,
[TABLE]
Of course one can suppose that B∩ne(f) is not empty. Otherwise there is nothing to prove, every ρ∈R is suitable. We will divide the proof into three cases, the case where B contains neither N nor S, the case where B contains both N and S and the remaining case, the most difficult one, where B contains exactly one end. Let us begin with the following lemma, that is nothing but Corollary C of the introduction.
Lemma 39**.**
Let f be a homeomorphism of A isotopic to the identity with no topological horseshoe and fˇ a lift of f to the universal covering space. We suppose that (zi)i∈Z/rZ is a Birkhoff cycle in ne(f) and (ρi)i∈Z/rZ a family of real numbers such that:
•
either zi∈ne+(f) and ρi=rotfˇ(zi),
•
or zi∈ne−(f) and ρi=−rotfˇ−1(zi).
Then all ρi are equal.
Proof.
We will argue by contradiction. Suppose that the ρi are not equal. One can find p∈Z and q>0 relatively prime
such that
•
ρi=p/q, for every i∈Z;
•
there exist i0,i1 in Z satisfying ρi0<p/q<ρi1;
Choose a maximal isotopy I′ of fq that is lifted to an identity isotopy of fˇq∘T−p and a singular foliation F′ transverse to I′. The orbit of each zi is included in the domain of I′ because the singular points of I′ are periodic points of period q and rotation number p/q. Moreover, for every i∈Z/rZ and every k∈Z, it holds that fˇk(zi)∈ne(I′). Using assertion (4) of Proposition 7, one can construct a Birkhoff cycle (zj′)j∈Z/mrZ of fq such that zj′ belongs to the orbit of zi if j≡i(modr). By Proposition 6, one knows that
•
zj′∈ne+(fq) if zi∈ne+(f) and rotfˇq∘T−p(zj′)=qρi−p;
•
zj′∈ne−(fq) if zi∈ne−(f) and −rotfˇ−q∘Tp(zj′)=qρi−p.
In particular zj′∈ne+(I′) in the first case and zj′∈ne+(I′) in the second case. Consequently, IF′′Z(zj′) draws a negative transverse simple loop if j≡i0(modr) and IF′′Z(zj′) draws a positive transverse simple loop if j≡i1(modr). This contradicts Proposition 28, where it is said that there exists a transverse simple loop Γ such that each trajectory IF′′Z(zj′) exacly draws infinitely Γ. □
We will also use the following result
Lemma 40**.**
Let f be a homeomorphism of A isotopic to the identity and fˇ a lift of f to R2. Suppose that there exist z0 and z1 in ne(f) and ρ0<ρ1 such that such for every i∈{0,1}:
•
either zi∈ne+(f) and ρi=rotfˇ(zi),
•
or zi∈ne−(f) and ρi=−rotfˇ−1(zi).
Suppose moreover that z0 and z1 are in the same Birkhoff recurrence class of fsp, or that N and S are in the same Birkhoff recurrence class of fsp. Then, for every rational number p/q∈(ρ0,ρ1), written in an irreducible way, there exists a periodic point z of period q and rotation number rotfˇ(z)=p/q.
Proof.
Fix a rational number p/q∈(ρ0,ρ1), written in an irreducible way, then choose a maximal isotopy I′ of fq that is lifted to an identity isotopy of fˇq∘T−p and a foliation F′ transverse to I′. It is sufficient to prove that if F′ is non singular, then z0 and z1 are not in the same Birkhoff recurrence class of fsp, and N and S are not in the same Birkhoff recurrence class of fsp. By Proposition 6, if zi′ belongs to the orbit of zi, then
•
zi′∈ne+(fq) if zi∈ne+(f) and rotfˇq∘T−p(zi′)=qρi−p;
•
zi′∈ne−(fq) if zi∈ne−(f) and −rotfˇ−q∘Tp(zi′)=qρi−p.
In particular zi′∈ne+(I′) in the first case and zi′∈ne+(I′) in the second case. Consequently, there exists a negative transverse loop Γ0 that contains a point fk0q(z0′), k0∈Z, and a positive transverse loop Γ1 that contains a point fk1q(z1′), k1∈Z. One can find positive integers n0 and n1 such that the multi-loop n0Γ0+n1Γ1 is homologous to zero. Write δ for its dual function that vanishes in a neighborhood of the ends of A. Either the minimal value m− of δ is negative or the maximal value m+ is positive. We will look at the first case, the second one being analogous. The fact that δ decreases along the leaves of F′ implies that the closure of a connected component U of A∖(Γ0∪Γ1) where δ is equal to m− is a topological manifold whose boundary is transverse to F′, the leaves going inside U. By connectedness of Γ0 and Γ1, we know that U is a topological disk or an essential annulus. The first situation is impossible because we should have a singular point of F′ inside U. So U is an annulus and by Poincaré-Bendixson Theorem, it contains an essential closed leaf. This leaf must separate Γ0 and Γ1 and is disjoint from its image by fq. So fk0q(z0′) and fk1q(z1′), which belong to Γ0 and Γ1 respectively are not in the same Birkhoff recurrence class of fspq. By assertions (2) and (4) of Proposition 7, one deduces first that z0′ and z1′ are not in the same Birkhoff recurrence class of fspq and then that z0 and z1 are not in the same Birkhoff recurrence class of fsp. Note also that N and S are not in the same Birkhoff recurrence class of fsp. ∎
Let us go now to the proof of Theorem 38. We suppose that there exist z0∗ and z1∗ in B∩ne(f) and ρ0<ρ1 such that such for every i∈{0,1}:
•
either zi∗∈ne+(f) and ρi=rotfˇ(zi∗),
•
or zi∗∈ne−(f) and ρi=−rotfˇ−1(zi∗).
We want to find a contradiction.
First case: the Birkhoff class B does not contain N or S.
There exists a Birkhoff cycle (zi)i∈Z/rZ of fsp that contains z0∗ and z1∗ and does not contain N and S. So, it is a Birkhoff cycle of f. Using item (1) of Proposition 7, one knows that for every i∈Z/rZ, the closure of Ofsp(zi) is contained in B and so does not contain either N or S. In particular z∈ne+(f)∩ne−(f). We can apply Lemma 39 and obtain a contradiction.
Second case: the Birkhoff class B contains N and S.
In that case, we will get the contradiction from the following result that is nothing but Proposition D and does not use the fact that z0∗ and z1∗ are in the same Birkhoff recurrence class as N and S.
Proposition 41**.**
Let f be a homeomorphism of A isotopic to the identity, fˇ a lift of f to the universal covering space and fsp be the continuous extension of f to S2=A∪{N,S}. We suppose that ρ0<ρ1 are two real numbers and that:
•
there exists z0∗∈ne+(f) such that ρ0=rotfˇ(z0∗) or there exists z0∗∈ne−(f) such that ρ0=−rotfˇ−1(z0∗);
•
there exists z1∗∈ne+(f) such that ρ1=rotfˇ(z1∗) or there exists z1∗∈ne−(f) such that ρ1=−rotfˇ−1(z1∗);
•
N* and S are in the same Birkhoff recurrence class of fsp.*
Then, f has a topological horseshoe.
Proof.
We will argue by contradiction, supposing that f has no topological horseshoe. In that case, there exists a Birkhoff cycle (zi)i∈Z/rZ of fsp that contains N and S. Let p/q<p′/q′ be rational numbers in (ρ0,ρ1) such that
•
there is no i∈Z/rZ such that zi∈ne+(f) and rotfˇ(zi)∈{p/q,p′/q′};
•
there is no i∈Z/rZ such that zi∈ne−(f) and rotfˇ−1(zi)∈{−p/q,−p′/q′}.
Since N and S belong to the same Birkhoff recurrence class of fsp, we can apply Lemma 40 and find a periodic point z∈A of period q and rotation number rotfˇ(z)=p/q, a periodic point z′∈A of period q′ and rotation number rotfˇ(z′)=p′/q′. Using Theorem 38 and the assumptions above, one know that
for every i∈Z/rZ and every k∈Z, it holds that
[TABLE]
By Proposition 7, one can construct a Birkhoff cycle (zj′)j∈Z/mrZ of fspqq′ such that zj′ belongs to the orbit of zi if j≡i(modr), and we know that zj′ belong to ne(fspqq′∣S2∖{z,z′}).
Applying Lemma 39, we deduce that if gˇ is a lift of fspqq′∣S2∖{z,z′} to the universal covering space, if κ∈H1(S2∖{z,z′},Z) is the generator given by the oriented boundary of a small disk containing z in its interior, then rotgˇ,κ(N)=rotgˇ,κ(S). The contradiction will come from the following equality
[TABLE]
There are different explanations of the previous equality (see Franks [F] for example). Let us mention the following one. By conjugacy, one can always suppose that S2 is the Riemann sphere. So one can define the cross ratio [z1,z2,z3,z4] of four distinct points. Let us choose an identity isotopy (gt)t∈[0,1] of fspqq′. The closed path
[TABLE]
defines a loop Γ on S2∖{0,1,∞} whose homotopy class is independent of the chosen isotopy, two isotopies being homotopic. The integer r=δΓ(0)−δΓ(∞), where δΓ is a dual function of Γ, also does not depend on the isotopy. The integer rotfˇqq′(z)−rotfˇqq′(z′) is independent of the lift fˇ. In fact it is equal to r. Indeed, one can suppose that (z′,S,N)=(1,0,∞) and that (gt)t∈[0,1] fixes z′, S and N. So it defines a lift gˇ∗ of fqq′ to the universal covering space of A such that rotgˇ∗(z′)=0. But one has [gt(z),gt(z′),gt(S),gt(N)]=gt(z). So rotgˇ∗(z) is nothing but r. As we know that [gt(z),gt(z′),gt(S),gt(N)]=[gt(S),gt(N),gt(z),gt(z′)], we deduce for the same reasons that rotgˇ,κ(S)−rotgˇ,κ(N)=r. ∎
Let us state now a corollary that will useful while studying the last case and that says that z0∗ and z1∗ cannot be periodic.
Corollary 42**.**
Let f be a homeomorphism of A isotopic to the identity, fˇ a lift of f to the universal covering space and fsp be the continuous extension of f to S2=A∪{N,S}. We suppose that there exist two periodic points z0∗ and z1∗ of f such that
•
rotfˇ(z0∗)<rotfˇ(z1∗);
•
z0∗* and z1∗ are in the same Birkhoff recurrence class of fsp.*
Then, f has a topological horseshoe.
Proof.
Taking a power of f instead of f, one can suppose that z0∗ and z1∗ are fixed points. As explained in the proof of the Proposition 41, if gˇ is a lift of fsp∣S2∖{z0∗,z1∗} to the universal covering space, if κ∈H1(S2∖{z0∗,z1∗},Z) is the generator given by the oriented boundary of a small disk containing z0∗ in its interior, then
[TABLE]
So, one can apply Proposition 41 to deduce that f has a topological horseshoe.
∎
Third case: the Birkhoff class B contains S but does not contain N.
Applying Lemma 40 and Corollary 42, one can find a rational number p/q∈(ρ0,ρ1) such that if z∈A is a periodic point of period q and rotation number rotfˇ(z)=p/q, then:
•
for every k∈Z, one has ωfspq(fk(z0∗))={z} and αfspq(fk(z0∗))={z};
•
for every k∈Z, one has ωfspq(fk(z1∗))={z} and αfspq(fk(z1∗))={z};
•
z does not belong to B.
By Proposition 7, z0∗ and z1∗ belong to the same Birkhoff recurrence class of fspq that S belongs to. Choose a maximal isotopy I′ of fq that is lifted to an identity isotopy of fˇq∘T−p and a singular foliation F′ transverse to I′. The singular points of F′ are periodic points of period q and rotation number rotfˇ(z)=p/q, plus the two ends N and S if we consider the foliation as defined on the sphere. If z and z′ are two singular points, the isotopy I′∣S2∖{z,z′} can be lifted to an identity isotopy of a lift of fq∣S2∖{z,z′}. We write gˇz,z′ for this lift. We will consider
a small disk containing z in its interior to define rotation number. Of course rotgˇz,z′(z′′)=0 if z′′ is a third singular point. The first case studied above tells us that if neither z nor z′ is equal to S, then z0∗, z1∗ and S belong to ne(fq∣S2∖{z,z′})
and that
[TABLE]
By Proposition 5, one deduces that if z′ is a singular point distinct from S, one has
[TABLE]
Similarly, one gets
[TABLE]
and consequently
[TABLE]
By assumption, dom(I′)∩(αfspq(z0∗)∪ωfspq(z0∗)) is non empty. Choose a point z0 in this set and denote ϕ0 the leaf of F′ that contains this point. Similarly, choose a point z1 in dom(I′)∩(αfspq(z1∗)∪ωfspq(z1∗)) and denote ϕ1 the leaf that contains this point. Note that both z0 and z1 belong to the same Birkhoff recurrence class of fspq as S, z0∗ and z1∗. The fact that rotgˇS,z′(z0∗)<0<rotgˇS,z′(z1∗) implies that for every singular point z′=S there exists a simple transverse loop Γ0 crossing ϕ0 and such that z′∈L(Γ0) and S∈R(Γ0) and a simple transverse loop Γ1 crossing ϕ1 and such that z′∈R(Γ1) and S∈L(Γ1). Denote ω(ϕ0) the complement of the connected component of S2∖ω(ϕ0) that contains ϕ0. It is a saturated cellular closed set that contains ω(ϕ0) and that contains at least one singular point. Define in similar way α(ϕ0), ω(ϕ1) and α(ϕ1). The fact that for every singular point there exists a simple transverse loop Γ0 crossing ϕ0 and such that z′∈L(Γ0) and S∈R(Γ0) implies that S is the unique singular point in ω(ϕ0). Indeed Γ0 is contained in S2∖ω(ϕ0), as is L(Γ0). Similarly S is the unique singular point contained in α(ϕ1). We deduce that ϕ1 does not meet Γ0, otherwise Γ0 is contained in S2∖α(ϕ1), as is L(Γ0). Similarly ϕ0 does not meet Γ1.
Suppose that S∈ω(ϕ0). In that case there is no singular point in ω(ϕ0), which implies that ω(ϕ0) is a closed leaf ϕ0′. But ϕ0′ separates z0 and S, and this is impossible since both belong to the same Birkhoff recurrence class. Therefore S∈ω(ϕ0) and one can likewise show that S∈α(ϕ1). Let us prove now that α(ϕ0) does not contain any singular point. Indeed if z′∈α(ϕ0)∩Fix(I′), there exists a transverse simple loop Γ1 that separates S and z′ and that does not meet ϕ0. So α(ϕ0) is a closed leaf ϕ0′′. Similarly, ω(ϕ1) is a closed leaf ϕ1′′. Note that there is no closed leaf that separates ϕ0 and ϕ1 because both z0 and z1 are in the same Birkhoff recurrence class of fq. So the leaves ϕ0′′ and ϕ1′′ are equal. But this is impossible because this leaf cannot be both attracting and repelling from the side that contains S. This contradiction completes the proof of Theorem 38.∎
The following Corollary will be later used to prove a broader result in Corollary 65
Corollary 43**.**
Let f be an orientation preserving homeomorphism of S2. We suppose that there exists a Birkhoff recurrence class B which contains two periodic points, z0,z1, with respective smallest periods q0<q1, and that
q0 does not divide q1. Then f has a topological horseshoe.
Proof.
We suppose for a contradiction that f has no topological horseshoe. By Proposition 7, one can find a point in the orbit of z0 and a point in the orbit of z1 that belong to the same Birkhoff recurrence class of fq1 and there is no loss of generality by supposing that this is the case for z0 and z1. Note that for every k∈Z, the points fk(z0) and fk(z1) belong to the same Birkhoff recurrence class of fq1. Suppose that q0 does not divide q1 and denote s the remainder of the Euclidean division of q1 by q0. It implies that fq1(z0)=fs(z0)=z0. Since q1 is not a multiple of q0, it is larger than two and fq1 must have at least three distinct fixed points. Choose a maximal isotopy I′ of fq1 whose singular set contains contains z1, fs(z1) and at least a third fixed point of fq1, then consider a singular foliation F′ transverse to I′. The point z0 belongs to the domain of I′ and IF′′Z(z0) is equivalent to the natural lift of a simple transverse loop Γ. Otherwise, one knows by Proposition 27 that f has a horseshoe. Moreover IF′′Z(z0) coincides with IF′′Z(fs(z0)) because fs(z0)=fq1(z0). One can find two fixed points z and z′ of I′ separated by Γ, and since I′ has at least three fixed points, one can assume that {z,z′}={z1,fs(z1)}. The isotopy I′ can be lifted to an identity isotopy of a certain lift gˇ of fq1∣S2∖{z,z′} and rotgˇ(z0)=rotgˇ(fs(z0))=0.
Moreover, rotgˇ(z′′)=0, for every fixed point z′′ of I′ that is different from z and z′.
So, if z1∈{z,z′}, we have rotgˇ(z0)=rotgˇ(z1) and if fs(z1)∈{z,z′}, we have rotgˇ(fs(z0))=rotgˇ(fs(z1)). By Theorem 38, this contradicts the fact that f has no topological horseshoe. ∎
5.4. Circloids
Let us remind the statement of Theorem E of the introduction.
Theorem 44**.**
Let f be a homeomorphism of A isotopic to the identity and fˇ a lift of f to R2. We suppose that f has no topological horseshoe. Let X be an invariant circloid. If f is dissipative or if X is locally stable, then the function rotfˇ, which is well defined on X, is constant on this set. Moreover, the
sequence of maps
[TABLE]
converges uniformly to this constant on π−1(X).
Proof.
We suppose that f and X satisfy the hypothesis of the theorem. In particular f is dissipative or X is locally stable. We denote US and UN the non relatively compact connected components of A∖X, neighborhoods of S and N respectively. By Theorem 37, the function rotfˇ is well defined on X, and it is continuous when restricted to Ω(f)∩X. To prove that it is constant, it is sufficient to prove that the
sequence of maps
[TABLE]
converges uniformly to a constant on π−1(X). Assume for a contradiction that it is not the case. Koropecki proved in [29] that there exist real numbers ρ<ρ′ such that, for every p/q∈(ρ,ρ′) written in an irreducible way, there exists a periodic point of period q and rotation number p/q, extending the method of Barge-Gillette used in the special case of cofrontiers (see [3]). Let us consider in (ρ,ρ′) a decreasing sequence (pn/qn)n⩾0 converging to ρ and an increasing sequence (pn′/qn′)n⩾0 converging to ρ′. For every n, choose a periodic point zn of period qn and rotation number pn/qn and denote On its orbit. Similarly, choose a periodic point zn′ of period qn′ and rotation number pn′/qn′ and denote On′ its orbit. Taking subsequences if necessary, one can suppose that the sequences (zn)n⩾0 and (zn′)n⩾0 converge to points z and z′ in X, respectively. Since the rotation number is continuous on the nonwandering set of f restricted to X, we get that ρfˇ(z)=ρ and ρfˇ(z)=ρ′. We will prove now that there is a Birkhoff connection from z to z′. Of course, one could prove in the same way that there is a Birkhoff connection from z′ to z. So, by Theorem 38, it implies that f has a topological horseshoe, in contradiction with the hypothesis.
Say an open set U⊂A is essential if it contains an essential loop. Then
Lemma 45**.**
If W is a forward (respectively backward) invariant open set that contains z, then the connected component of z in W is essential and also forward (respectively backward) invariant.
Proof.
Let W be a forward invariant open set that contains z. The connected component V of W that contains z contains the periodic points zn if n is large, so it is forward invariant by a power fq of f and contains the fq-orbit of zn. Let Vˇ be a connected component of πˇ−1(V). If n is large, Vˇ contains a point zˇn such that fˇqqn(zˇn)=Tqpn(zˇn) and so fˇqqn(Vˇ)⊂Tqpn(Vˇ). Let us fix n0<n1 large enough. One deduces that fˇqqn0qn1(Vˇ) is included both in Tqpn0qn1(Vˇ) and in Tqqn0pn1(Vˇ), which implies that Tqpn0qn1(Vˇ)=Tqqn0pn1(Vˇ). As qpn0qn1=qqn0pn1, it implies that V is essential. Furthermore, since V is a connected component of W and W is forward invariant, then either f(V)⊂V, or f(V) is disjoint from V. But any open essential set of A whose image is disjoint from itself must be wandering, and since V has periodic points, this implies that V is forward invariant. We have a similar proof in case W is backward invariant.∎
Let U be a neighborhood of z and U′ be a neighborhood of z′ such that U∩U′=∅. Set V to be the connected component of ⋃n⩾0fn(U) that contains z and V′ to be the connected component of ⋃n⩾0f−n(U′) that contains z′. We will prove that V∩V′=∅. By Lemma 45, V is a connected essential and forward invariant open set that contains z. Similarly, V′ is an essential connected backward invariant open set that contains z′.
We will suppose from now that V∩V′=∅ and will find a contradiction. The connected component K′ of A∖V that contains V′ is a neighborhood of one end of the annulus, N for instance, and is backward invariant. Its complement W is an open neighborhood of S that contains V and is disjoint from V′. More precisely, it is a forward invariant open annulus. Similarly, the connected component K of A∖V′ that contains V is a neighborhood of S and is forward invariant. Moreover it contains W because V′⊂K′. Its complement W′ is a backward invariant annulus, neighborhood of N that contains V′. Moreover, one has W∩W′=∅ because W⊂K.
The fact that X is a circloid implies that US intersects V′. So V′∩US is a non empty open set, relatively compact and backward invariant (see Figure 11). Consequently, f is not dissipative. The open set W′∩US is not empty because V′⊂W′. It implies that W′∪US is connected and contains a topological line λ that joins N to S. If U is a sufficiently small neighborhood of X, then U∩λ⊂W′. So, W∩U does not meet λ because W∩U∩λ⊂W∩W′=∅, and is not essential. If X is locally stable, one can choose such a neighborhood U to be forward invariant. This contradicts Lemma 45 because W∩U contains z and is not essential. ∎
5.5. Annular homeomorphisms with fixed point free lifts
Let us finish this section with the proof of Proposition F that we remind:
Proposition 46**.**
Let f be a homeomorphism of A isotopic to the identity and fˇ a lift of f to the universal covering space. We suppose that fˇ is fixed point free and that there exists z∗∈Ω(f)∩ne+(f) such that rotfˇ(z∗) is well defined and equal to [math].
i)
Then, at least one of the following situation occurs:
(1)
there exists q arbitrarily large such that fˇq∘T−1 has a fixed point;
2. (2)
there exists q arbitrarily large such that fˇq∘T has a fixed point.
ii)
Moreover, if z∗ is recurrent, then f has a horseshoe.
Proof.
We begin with the proof of i). Let I be a maximal isotopy of f that is lifted to an identity isotopy Iˇ of fˇ. Choose a transverse foliation F of I and write Fˇ for the lifted foliation. Note that F and Fˇ are not singular because fˇ has no fixed point. By hypothesis ωf(z∗) is non empty and IFN(z∗) meets infinitely often every leaf that contains a point of ωf(z∗). Fix such a leaf ϕ and a lift zˇ∗ of z∗. There exist two integers p0∈Z and q0⩾2 and a lift ϕˇ of ϕ such that IˇFˇq0−1(fˇ(zˇ∗)) contains as a sub-path a transverse path that goes from ϕˇ to Tp0(ϕˇ). The foliation Fˇ being non singular, every transverse path meets a leaf at most once and so p0=0. For the same reason, zˇ∗ is not periodic and consequently z∗ itself is not periodic (because rotfˇ(z∗)=0). We will prove the first assertion in case p0>0 (and would obtain the second one in case p0<0).
One can find an open disk D containing z∗ such that:
•
fk(D)∩D=∅ for every k∈{1,…,q0};
•
if Dˇ is the lift of D that contains zˇ∗, then for every zˇ∈Dˇ, the path IˇFˇq0−1(fˇ(zˇ∗)) is a sub-path of IˇFˇq0+1(zˇ) (up to equivalence) .
The second item tells us that there exists a transverse path from every point of Dˇ to ϕˇ and a transverse path from Tp0(ϕˇ) to every point of fˇq(D) if q>q0.
The point z∗ being non-wandering, there exists q>q0 arbitrarily large such that fq(D)∩D=∅. We will prove that fˇq∘T−1 has a fixed point. There exists p∈Z such that fˇq(Dˇ)∩Tp(Dˇ)=∅. Let us prove that p>p0. There exists a transverse path from ϕˇ to Tp0(ϕˇ) and so a transverse path from ϕˇ to Tnp0(ϕˇ) for every n⩾1. There exists a transverse path from every point of Dˇ to ϕˇ and a transverse path from Tp0(ϕˇ) to every point of fˇq(D). So, if fˇq(Dˇ)∩Tp(Dˇ)=∅, there exists a transverse path from Tp0(ϕˇ) to Tp(ϕˇ), which implies that there is a transverse path from ϕˇ to Tp−p0(ϕˇ) and for every m⩾1 a transverse path from ϕˇ to Tm(p−p0)(ϕˇ). Consequently, there exists a transverse path from ϕˇ to Tnp0+m(p−p0)(ϕˇ). If p⩽p0, one can choose suitably n⩾0 and m⩾1, such that np0+m(p−p0)=0, but this is impossible, as otherwise there would be a transverse path beginning and ending at ϕˇ, which contradicts the fact that Fˇ is nonsingular. In particular, fˇq(Dˇ)∩Tp′(Dˇ)=∅ if p′⩽1.
Let I′ be a maximal isotopy of f′=fq that is lifted to an identity isotopy Iˇ′ of fˇ′=fˇq∘T−1. By definition of q, the set D∩f′−1(D) is not empty. Fix a point z in this set. By Proposition 59 of [33], the fact that Dˇ is a free disk of fˇ′ implies that there exists a foliation F′ transverse to I′ such that z∗, z and f′(z) belong to the same leaf ϕ∗′ of F′∣D. We want to prove that F′ has singularities. Write zˇ for the lift of z that belongs to Dˇ and ϕˇ∗′ for the lift of ϕ∗′ that contains zˇ∗ and zˇ. Note that fˇ′(zˇ′)∈Tp−1(ϕˇ∗), because fˇ′(zˇ′)∈Tp−1(Dˇ) by hypothesis. So there exists a transverse path from ϕˇ∗′ to Tp−1(ϕˇ∗′) and consequently a positive loop Γ+ transverse to F′ that contains z∗. The fact that z∗∈ne+(f) and that rotfˇ(z∗)=0 implies that z∗∈ne+(I′) and that rotfˇ′(z∗)=−1. So every leaf of F′ that contains a point of the ω limit set of z∗ for f′ is met infinitely often by IF′′N(z∗). Consequently, there exists a negative transverse loop Γ− that contains a point f′n(z∗), where n⩾1. There exists n−⩾1 and n+⩾1 such that the multi-loop n+Γ++n−Γ− is homologous to zero.
As explained in the proof of Proposition 41, we can suppose that its dual function δ that vanishes in a neighborhood of the ends of A has a negative minimal value m−. We have seen in the proof of Proposition 41 that a connected component U of A∖(Γ−∪Γ+) where δ is equal to m− contains a singular point of F′ if it is a topological disk. If it is not disk, it is an open annulus separating Γ− and Γ+ and this annulus contains a closed leaf ϕ′. This leaf is disjoint from its image by f′=q and separates z∗ and f′n(z∗). The point z∗ being a non wandering point of f is a Birkhoff recurrent point of f′ and its Birkhoff class is invariant by f′. But the existence of ϕ′ implies that there is no Birkhoff connection from f′n(z∗) to z∗. We have got our contradiction.
To get the second assertion of the proposition, note that the point z can be chosen equal to z∗ in case z∗ is recurrent. This implies that I′F′Z(z∗) draws a positive loop Γ+. It can be easily proven that z∗ is a recurrent point of f′. Consequently, if f has no horsehoe, then IF′′N(z∗) exactly draws infinitely a simple transverse loop Γ. Moreover this loop must be negative because rotfˇ′(z∗)=−1. We have a contradiction. Note that we can also give a proof by using Corollary 36 applied to Dˇ and fˇ′. ∎
Remark*.*
Note that the first item is not true if we suppose that z∈ne+(f)∖Ω(f). Consider on S2=A∪{N,S} a flow satisfying:
•
the end N and S are the only fixed points,
•
there exists an orbit O homoclinic to S,
•
the disk bounded by O∪{S} that does not contain N is foliated by orbits homoclinic to S,
•
the α-limit set of a point disjoint from this disk is equal to N and its ω- limit set to O∪{S} if the orbit is not reduced to N,
Now, choose f to be the time one map of this flow, reduced to A, and fˇ the time one map of the lifted flow.
6. Homeomorphisms of the sphere with no topological horseshoe
The goal of this section is to prove Theorem G of the introduction, the fundamental result that permits to describe the structure of homeomorphisms of the sphere with no topological horseshoe. We will introduce the notion of positive an squeezed annuli in Sub-section 6.1, which will be fundamental in our study, then will state and prove a “local version” of the theorem in Sub-sections 6.2 and 6.3, which means a version related to a maximal isotopy. The proof of Theorem G will be given in Sub-section 6.4
6.1. Positive and squeezed annuli
Definition**.**
Let f be a homeomorphism of A isotopic to the identity and fˇ a lift of f to the universal covering space. A fˇ-positive disk is a topological open disk D⊂A such that:
•
every lift Dˇ of D is fˇ-free;
•
there exist p>0 and q>0 satisfying {\color[rgb]{0,0,0}\check{f}^{q}(\check{D})}\cap T^{p}(\check{D})\not=\emptyset.
Replacing the condition p>0 by p<0 in the definition
one defines similarly a fˇ-negative disk.
Of course a disk D⊂A that contains a fˇ-positive disk is a fˇ-positive disk, if it is lifted to fˇ-free disks. Franks’ lemma (see [19]) asserts that if fˇ is fixed point free, then a disk D⊂A that is lifted to fˇ-free disks cannot be both fˇ-positive and fˇ-negative. Moreover, every lift of D is wandering. This implies, again assuming fˇ is fixed point free, that every point z∈Ω(f) admits a fundamental system of neighborhoods by fˇ-positive disks or a fundamental system of neighborhoods by fˇ-negative disks. In the first situation, every disk containing z and lifted to fˇ-free disks is positive, and we will say that z is fˇ-positive. We will use the following easy result:
Proposition 47**.**
Let f be a homeomorphism of A isotopic to the identity and fˇ a lift of f to the universal covering space. We suppose that f has no horseshoe and that fˇ is fixed point free. Let I be a maximal isotopy of f that is lifted to an identity isotopy of fˇ and F a transverse foliation of I. Then if z∈Ω(f) is fˇ-positive, there exists a positive transverse loop that meets the leaf ϕz.
Proof.
Write Fˇ for the lifted foliation to R2. Suppose that z∈Ω(f) is fˇ-positive. If D is a topological open disk containing z sufficiently small, if zˇ∈R2 is a lift of z and Dˇ the lift of D containing z, then IFˇ2(fˇ−1(zˇ′)) meets ϕzˇ for every zˇ′∈Dˇ. By hypothesis, one can find zˇ′∈Dˇ, n⩾2 and p>0 such fˇn(zˇ′)∈Tp(Dˇ). Consequently IFˇn+2(fˇ−1(zˇ′)) contains as a sub-path a transverse path joining ϕzˇ to Tp(ϕzˇ).∎
Definition**.**
Let f be a homeomorphism of A isotopic to the identity such that Ω(f)=∅. We will say that a lift fˇ of f to the universal covering space, is a positive lift of f if:
•
fˇ is fixed point free,
•
every point z∈Ω(f) is positive.
We can define similar objects replacing “positive” by “negative”. Note that if fˇ is a positive lift of f, then the rotation number of a non-wandering point is non negative when it is defined.
Definition**.**
Let f be a homeomorphism of A isotopic to the identity. We will say that f is squeezed if there exists a lift fˇ such that
•
fˇ is positive,
•
fˇ∘T−1 is negative.
Note that a squeezed homeomorphism is fixed point free.
Definition**.**
Let f be an orientation preserving homeomorphism of S2. A *squeezed annulus * of f is an invariant open annulus A⊂S2 such that f∣A is conjugate to a squeezed homeomorphism of A.
Note that if A is a fixed point free invariant annulus, then the two connected components of S2∖A are fixed. Otherwise they are permuted by f, which implies that f is fixed point free, in contradiction with the fact that it preserves the orientation. Consequently, f∣A is isotopic to the identity. Note that if A⊂A′ are squeezed annuli, then
A is essential in A′ (which means that it contains a loop non homotopic to zero in A′). Otherwise, if we add to A the compact connected component K of A′∖A, we obtain an invariant disk included in A′ that contains a non-wandering point (because K is compact and invariant) and such a disk must contain a fixed point. So, if (Aj)j∈J is a totally ordered family of squeezed annuli, then ⋃j∈JAj is a squeezed annulus. Consequently, by Zorn’s lemma, every squeezed annulus is included in a maximal squeezed annulus. It follows from a classical fact that if f has no wandering point, the squeezed annuli are the fixed point free invariant annuli. Let us explain why. As explained above, if A is a fixed point free invariant annulus, then f∣A is isotopic to the identity. So to prove that A is squeezed, it is sufficient to prove that a homeomorphism f of A isotopic to the identity that has no wandering point and is fixed point free, is squeezed. Fix a lift fˇ and a free disk D and consider the first integer q>1 such that fq(D)∩D=∅. If Dˇ is a lift of D, there exists p∈Z such that fˇq(Dˇ)∩Tp(Dˇ)=∅. Replacing fˇ by another lift if necessary, one can suppose that 0⩽p<q. As explained above, p is different from [math] and D is a fˇ-positive disk and a fˇ∘T−1-negative disk. The set of positive points of f is open, being the union of f-positive disks. Similarly, the set of negative points of f is open. So, by connectedness of A, one deduces that every point of A is a positive point of f and for the same reason is a negative point of f∘T−1.
Let us define now positive invariant annuli of an orientation preserving homeomorphism f of S2. They will be defined relative to a maximal isotopy I of f. It has been explained in the introduction (just before the statement of Theorem A) that if A⊂S2 is a topological open annulus invariant by f, such that f fixes the two connected components of S2∖A, one can define rotation numbers of f∣A as soon a generator κ of H1(A,Z) is chosen. Remind that κ∗ is the generator of H1(A,Z) induced by the loop Γ∗:t↦(t,0).
If U⊂V are two open sets of S2 we will denote ι∗:H1(U,Z)→H1(V,Z) the morphism induced by the inclusion map ι:U→V. Let I be a maximal isotopy of f. Remind that π:dom(I)→dom(I) is the universal covering projection and that I can be lifted to dom(I) into an identity isotopy of a certain lift f of f∣dom(I). Let A⊂dom(I) be a topological open annulus invariant by f such that each connected component of S2∖A contains at least one fixed point of I. This implies that the two connected components of S2∖A are fixed. Let A be a connected component of π−1(A). Consider a generator T of the stabilizer of A in the group of covering automorphisms. There exists a covering automorphism S such that f(A)=S(A) and one must have S∘T∘S−1=Tk for some integer k because f commutes with the covering automorphisms.
Of course, one can suppose that dom(I) is connected, which implies that the group of covering automorphisms is a free group. Consequently S is a power of T and A is invariant by f. Moreover A is the universal covering space of A and f∣A is a lift of f∣A.
Definitions**.**
Let f be an orientation preserving homeomorphism of S2 and I a maximal isotopy of f. A *positive annulus * of I is an open annulus A⊂S2 invariant by f verifying:
•
each connected component of S2∖A contains at least a fixed point of I;
•
there exists a homeomorphism h:A→A such that f∣A is a positive lift of \widetilde{h}\circ{\color[rgb]{0,0,0}\widetilde{f}|_{\widetilde{A}}}\circ\widetilde{h}^{-1}, where h:A→R2 is a lift of h between the two universal covering spaces (we keep the notations introduced above to define f and A).
In that case the positive class of H1(A,Z) is the generator κ such that h∗(κ)=κ∗, its inverse being the negative class.
Remarks*.*
If A⊂A′ are two positive annuli, then A is essential in A′. So, if (Aj)j∈J is a totally ordered family of positive annuli, then ⋃i∈IAi is a positive annulus, which implies that every positive annulus of I is included in a maximal positive annulus. Note also that if A⊂A′ are two positive annuli, the positive class of H1(A,Z) is sent onto the positive class of H1(A′,Z) by the morphism ι∗:H1(A,Z)→H1(A′,Z).
If f is an orientation preserving homeomorphism of S2 we set
[TABLE]
Moreover, if I is a maximal isotopy of f, we set
[TABLE]
In this long sub-section, we will prove the following result:
Theorem 48**.**
Let f:S2→S2 be an orientation preserving homeomorphism that has no topological horseshoe, and I a maximal isotopy of f. Then Ω′(I) is covered by positive annuli.
We suppose in 6.2 that f is an orientation preserving homeomorphism of S2 with no topological horseshoe and that I is a maximal isotopy of f. We want to cover Ω′(I) by positive annuli. To construct these annuli, we need to use a foliation F transverse to I. Recall that, by Proposition 27 and the remark following it, the whole transverse trajectory of a point z∈Ω′(I) draws a unique transverse simple loop Γ and exactly draws it infinitely. In particular, it is contained in the open annulus UΓ, union of leaves that meet Γ. We want to construct a positive annulus that contains z. The simplest case where it is possible to do so is the case where UΓ itself is invariant. This is a very special case because it happens if and only if UΓ is a connected component of dom(I). Another case where it is not difficult to construct such an annulus is the case where UΓ is bordered by two closed leaves ϕ and ϕ′ . The reader should convince himself that the set of points whose whole transverse trajectory meets UΓ, which is nothing but
the set
[TABLE]
is a positive annulus containing z. The general case is much more complicated. Roughly speaking, one will consider, for a given connected component of the complement of UΓ, either the set of points that “enter in the annulus UΓ” from that connected component or the set that “leave it” to that component, but not both, and similarly the points that enter or leave from the other connected component of the complement of UΓ. We will need many of the results previously stated in this article, like the result about general regions of instability (Proposition 41)for instance, to succeed in constructing our annulus.
Let us now define, for an arbitrary transverse simple closed loop Γ, the following sets
•
rΓ is the connected component of S2∖UΓ that lies on the right of Γ;
•
lΓ is the connected component S2∖UΓ that lies on the left of Γ;
•
Ω′(I)Γ is the set of points of z∈Ω′(I) such that IFZ(z) draws Γ;
•
VΓ is the set of points z such that IFZ(z) draws Γ;
•
WΓ is the set of points z such that IFZ(z) meets UΓ;
•
WΓ→r is the set of points z such that IFZ(z) meets a leaf ϕ⊂rΓ∩UΓ where UΓ is locally on the right of ϕ;
•
WΓr→ is the set of points z such that IFZ(z) meets a leaf ϕ⊂rΓ∩UΓ where UΓ is locally on the left of ϕ;
•
WΓ→l is the set of points z such that IFZ(z) meets a leaf ϕ⊂lΓ∩UΓ where UΓ
is locally on the right of ϕ;
•
WΓl→ is the set of points z such that IFZ(z) meets a leaf ϕ⊂lΓ∩UΓ where UΓ is locally on the left of ϕ.
Equivalently, WΓ→r is the set of points z such that there exist s<t verifying
[TABLE]
and WΓr→ is the set of points z such that there exist s<t verifying
[TABLE]
Note that the six last sets are open and invariant, and that:
•
the whole transverse trajectory of z∈WΓ∖(WΓr→∪WΓ→l) meets UΓ in a unique real interval (a,b), moreover IFZ(z)(a)∈lΓ if a>−∞ and IFZ(z)(b)∈rΓ if b<+∞;
•
the whole transverse trajectory of z∈WΓ∖(WΓl→∪WΓ→r) meets UΓ in a unique real interval (a,b), moreover IFZ(z)(a)∈rΓ if a>−∞ and IFZ(z)(b)∈lΓ if b<+∞;
•
the whole transverse trajectory of z∈WΓ∖(WΓ→r∪WΓ→l) meets UΓ in a unique real interval (a,+∞) where a⩾−∞;
•
the whole transverse trajectory of z∈WΓ∖(WΓr→∪WΓl→) meets UΓ in a unique real interval (−∞,b) where b⩽+∞.
We will define the four following invariant open sets:
[TABLE]
[TABLE]
[TABLE]
[TABLE]
We will prove the following result, which immediately implies Theorem 48:
Proposition 49**.**
There exists a positive annulus AΓ that contains Ω′(I)Γ and whose positive generator is the homology class of a simple loop freely homotopic to Γ in dom(I). More precisely, at least one of the set WΓl→r, WΓr→l, WΓr,l→ or WΓ→r,l has a connected component that contains Ω′(I)Γ, and if we add to this component the connected components of its complement that have no singular points, we obtain an open annulus AΓ verifying the properties above.
Before proving Proposition 49, we will study more carefully the sets related to Γ that we have introduced. Replacing dom(I) by a connected component, we can always suppose that dom(I) is connected. Denote by π:dom(I)→dom(I) the universal covering projection, by I the lifted identity isotopy, by f the induced lift of f, by F the lifted foliation.
Let γ be the natural lift of Γ. For every lift γ of γ in dom(I), define the following objects:
•
Tγ is the covering automorphism such that γ(t+1)=Tγ(γ(t)) for every t∈R;
•
Uγ is the union of leaves that meet γ;
•
rγ is the union of leaves that are not in Uγ and are on the right of γ;
•
lγ is the union of leaves that are not in Uγ and are on the left of γ;
•
Ω′(I)γ is the set of points z that lift a point of Ω′(I) and such that IFZ(z) is included in Uγ;
•
Vγ is the set of points z such that IFZ(z) contains a sub-path of γ that projects onto Γ;
•
Wγ is the set of points z such that IFZ(z) meets Uγ;
•
Wγ→r is the set of points z∈Wγ such that IFZ(z) meets a leaf ϕ⊂rγ∩Uγ where Uγ is on the right of ϕ;
•
Wγr→, Wγ→l and Wγl→ are defined in a similar way;
•
Wγl→r is the set of points z∈Wγ that lift a point of WΓl→r;
•
Wγr→l, Wγr,l→ and Wγ→r,l are defined in a similar way.
Note that, since UΓ is an annulus, Uγ is a connected component of π−1(UΓ) and therefore if T is a covering transformation, then T(Uγ)∩Uγ is not empty if and only if T is a power of Tγ. Furthermore, as told above, if z belongs to WΓl→r, it meets UΓ in a unique real interval. This implies that, given a lift z of a point z in WΓl→r that belongs to Wγ, the whole transverse trajectory IFZ(z) can only meet a single connected component of π−1(UΓ). Therefore, the only possible lifts of z that are in Wγ are the Tγk(z), k∈Z. Note that for every covering transformation T, we have T(Wγl→r)=WT(γ)l→r and that Wγl→r∩T(Wγl→r)=∅ if T is not a power of Tγ. We have similar properties for the three other sets
Wγr→l, Wγr,l→ and Wγ→r,l.
Lemma 50**.**
Suppose that VΓ∩UΓ=∅ and fix z∈VΓ∩UΓ. Then the image of the morphism i∗:π1(z,VΓ)→π1(z,dom(I)) induced by the inclusion i:VΓ→dom(I) is included in the image of the morphism j∗:π1(z,UΓ)→π1(z,dom(I)) induced by the inclusion j:UΓ→dom(I).
Proof.
Note that Vγ is invariant by Tγ and projects onto VΓ and conversely that π−1(VΓ) is the union of the Vγ, indexed by the set of lifts. For every point z∈VΓ, the path IFZ(z) has no F-transverse self-intersection and draws Γ. By Proposition 24, there is a unique drawing component and so, for every lift z of z∈VΓ, there exists a unique lift γ of γ (up to a composition by a power of Tγ) such that z
belongs to Vγ. In particular T(Vγ)∩Vγ=∅ if T is not a power of Tγ. This implies that Vγ is open and closed in π−1(VΓ). Consequently, the stabilizer in the group of covering automorphisms of a connected component of π−1(VΓ) is a sub-group of the stabilizer of a lift γ. ∎
To prove Proposition 49 we need to work on the annular covering dom(I)=dom(I)/Tγ. Denote by π:dom(I)→dom(I) and π:dom(I)→dom(I) the covering projections, by I the induced identity isotopy, by f the induced lift of f, by F the induced foliation. The line γ projects onto the natural lift of a transverse simple loop Γ.
Write
[TABLE]
for the respective projections of
[TABLE]
We have the following:
•
The set UΓ is the union of leaves
that meet Γ and is the unique annular connected component of π−1(UΓ).
•
The two connected components of \widehat{\mathrm{dom}}(I)_{{\color[rgb]{0,0,0}\mathrm{sp}}}\setminus U_{\widehat{\Gamma}} are rΓ⊔{R} and lΓ⊔{L}, where \widehat{\mathrm{dom}}(I)_{{\color[rgb]{0,0,0}\mathrm{sp}}} is the sphere obtained by adding the end R of dom(I) on the right of Γ and the end L on its left.
We will often refer to the the following classification, for the right side of UΓ:
(1)
the set Fr(UΓ)∩rΓ is empty;
2. (2)
the set Fr(UΓ)∩rΓ is reduced to a closed leaf ϕ such that UΓ⊂R(ϕ);
3. (3)
the set Fr(UΓ)∩rΓ is reduced to a closed leaf ϕ such that UΓ⊂L(ϕ);
4. (4)
the set Fr(UΓ)∩rΓ is a non empty union of leaves (ϕi)i∈I, all of them homoclinic to R.
In situation (1), one has
[TABLE]
In situation (2), one has
[TABLE]
In situation (3), one has
[TABLE]
In situation (4), one has
[TABLE]
Note that in all situations, every whole transverse trajectory meets Fr(UΓ)∩rΓ at most twice. Of course one has a similar classification for Fr(UΓ)∩lΓ. Note also that every transverse trajectory that meets UΓ has a unique interval of intersection with UΓ.
Now define the sets XΓ→R, XΓR→, XΓ→L, XΓL→ as follows:
[TABLE]
[TABLE]
[TABLE]
[TABLE]
So we have
[TABLE]
Lemma 51**.**
If situation (4) holds then
[TABLE]
Proof.
Indeed, if z∈WΓ→r, then the whole transverse trajectory of z meets a leaf ϕ⊂Fr(UΓ)∩rΓ, uniquely defined, homoclinic to R and such that L(ϕ) is simply connected. There exists n such that IFN(fn(z))⊂L(ϕ). In particular IFN(fn(z)) never meets a leaf more than once because L(ϕ) is simply connected and F non singular. So ω(z)=∅. But this means that limn→+∞fn(z)=R. That WΓr→⊂XΓR→ follows from a similar argument. If z is in rΓ∖WΓ, then its whole transverse trajectory is contained in a single connected component of rΓ and as such it never beets the boundary of rΓ . Since the interior of rΓ is simply connected, the third assertion follows again from similar arguments. The final assertion comes from rΓ⊂(rΓ∖WΓ)∪WΓ→r∪WΓr→.
∎
In the rest of the section, when ϕ is a closed leaf of F we will write
[TABLE]
noting that we get an invariant open annulus. Similarly, if ϕ is a closed leaf of F we will write
[TABLE]
Let us state three preliminary results:
Lemma 52**.**
The set Ω′(I)Γ is included in Ω′(fsp).
Proof.
First note that, as Ω′(I)γ⊂Uγ, we have that Ω′(I)Γ⊂UΓ. Let z be in Ω′(I)Γ. It projects by π onto a point z∈Ω′(I)Γ. One can suppose that z∈Ω(I) and that ω(z)∈fix(I) for instance. This implies that there exists a point z′∈UΓ and a subsequence (fnk(z))k⩾0 of (fn(z))n⩾0 that converges to z′. The trajectory Ink(z) is homotopic to IFnk(z) and this last path is contained in UΓ. Lifting our paths to dom(I) we deduce that (fnk(z))k⩾0 converges to z′, the lift of z′ that belongs to UΓ. So z belongs to ne+(f). Moreover, if W is a neighborhood of z sufficiently small, there exists m⩾1 such that IFm(z′) is included in UΓ and draws Γ, for every z′∈W. We deduce that if {\color[rgb]{0,0,0}z^{\prime\prime}}\in W\cap f^{-n}(W), both I_{\mathcal{F}}^{m}({\color[rgb]{0,0,0}z^{\prime\prime}}) and I_{\mathcal{F}}^{m}(f^{n}({\color[rgb]{0,0,0}z^{\prime\prime}})) draw Γ, and since, by Proposition 24, I_{\mathcal{F}}^{\mathbb{Z}}({\color[rgb]{0,0,0}z^{\prime\prime}}) has a single drawing component for Γ, then I_{\mathcal{F}}^{n}({\color[rgb]{0,0,0}z^{\prime\prime}}) is included in UΓ. Lifting our paths to to dom(I) and using the fact that I^{n}({\color[rgb]{0,0,0}z^{\prime\prime}}) is homotopic to I^{n}_{\mathcal{F}}({\color[rgb]{0,0,0}z^{\prime\prime}}), we deduce that z∈Ω(f). Consequently, Ω′(I)Γ is included in Ω′(fsp).∎
Lemma 53**.**
If Ω′(I)Γ=∅, there is a point z∈Ω′(fsp) such that rotf,[Γ](z)>0, where [Γ]∈H1(dom(I),Z) is the homology class of Γ.
Proof.
Observe first that the lift f of f is fixed point free and that f has no topological horseshoe because it is the case for f. So, every point in ne(f) has a rotation number by Theorem 37. Choose a point z∈Ω′(I)Γ. Its rotation number is well defined because z belongs to ne(f). The rotation number cannot be negative because IFZ(z) is drawn on Γ. If it is positive, the conclusion of the lemma holds. If if it zero, one can apply Proposition 46 to ensure the existence of a periodic point whose rotation number is non zero, noting that the proof of Proposition 46 tells us that this rotation number is positive.∎
Lemma 54**.**
If Ω′(I)Γ=∅ and UΓ=dom(I), then either there is no Birkhoff connection from R to L or there is no Birkhoff connection from L to R.
Proof.
By Lemma 53, there is a point z∈Ω′(f) such that rotf,[Γ](z)>0. The assumption UΓ=dom(I) means that the sets rΓ and lΓ are not both empty. Let us suppose for instance that rΓ=∅. This means that we are not in situation (1). In case we are in situation (2) or (3), there exists an essential closed leaf ϕ and this leaf is disjoint from its image by f. In that case the conclusion is immediate. It remains to study the case where situation (4) occurs. In that case, there exists a leaf ϕ homoclinic to R. We deduce that ϕ is disjoint from all its images by the iterates of f.
By a result of Béguin-Crovisier-Le Roux (see[36], Proposition 2.3.3) one can blow up the end R by adding a circle ΣR to dom(I) in a neighborhood of R to get a semi-open annulus dom(I)ann such that f extends to a homeomorphism fann having a fixed point z∗ on ΣR and also a non-fixed point. One can also assume that z∗ is the unique fixed point on ΣR, or else one can just collapse the complement of a maximal interval without fixed points in ΣR to a single point, again obtaining an extension of f to a semi-open annulus, now with a single fixed point in the boundary. Write dom(I)ann=dom(I)⊔ΣS for the universal covering space of dom(I)ann, where ΣR is the universal covering space of ΣR and keep the notation Tγ for the natural covering automorphism. There is a unique lift fann of fann that extends f and that fixes the preimages of z∗. One can construct an open annulus dom(I)double by pasting two copies of dom(I)ann on ΣR and naturally define a homeomorphism fdouble on dom(I)double. Its universal covering space dom(I)double can be constructed by pasting two copies of dom(I)ann on ΣR and one gets a natural lift fdouble. We keep the notation Tγ for the natural covering automorphism. Suppose that there exists a Birkhoff connection from R to L and a Birkhoff connection from L to R. In that case f satisfies the curve intersection property, that is, the image by f of any essential simple loop Γ′ must also intersect Γ′. It is straightforward to prove that fdouble itself has the curve intersection property. Consequently, by a classical result (see, for instance, Theorem 9.1 of [30], for every integers p and q>0 relatively prime, such that p/q∈(0,rotf(z)), there exists a periodic point of fdouble of period q and rotation number p/q and consequently there exists a periodic point of f of period q and rotation number p/q. Applying
Proposition 41, one deduces that f has a horseshoe. We have got a contradiction. ∎
We will suppose from now on that UΓ=dom(I), or equivalently that the boundary of UΓ is not empty and contains at least one leaf of F. In the other case, UΓ coincides with UΓ, it is a connected component of dom(I). Note that it is a positive annulus.
Let us state now the most important lemma.
Lemma 55**.**
If Ω′(I)Γ=∅ then at least one of the sets WΓr→, WΓ→r is contained in XΓR→∩XΓ→R, and one of the sets WΓl→, WΓ→l is contained in XΓL→∩XΓ→L.
Proof.
We can suppose that both sets WΓr→ and WΓ→r are non empty, otherwise the statement is obvious. Consequently we are in situation (4): the set UΓ is adherent to R and each leaf on the right of UΓ is a leaf homoclinic to R. Moreover, one has
WΓr→⊂XΓR→ and WΓ→r⊂XΓ→R. We will consider two cases, depending whether there exists a whole transverse trajectory that meets four times a leaf of UΓ or not.
First case: there is no whole transverse trajectory that meets four times a leaf of UΓ.
By Lemma 54, we know that at least one of the sets XΓR→ or XΓ→R is not adherent to L. Let us suppose for example that this is the case for XΓR→. The set
WΓr→ shares the same property because WΓr→⊂XΓR→. Of course its closure WΓr→ is not adherent to L. Let us suppose that WΓr→⊂(XΓR→∩XΓ→R) and choose z∈WΓr→∖(XΓR→∩XΓ→R). The fact that the orbit of z is non adherent to L and that z∈XΓR→∩XΓ→R implies that z∈ne(f). Moreover, ω(z) and α(z) are not included in UΓ if not empty, otherwise, by Proposition 27 and the following remark, IF(z) would draw Γ infinitely, in contradiction with the hypothesis. The limit sets are included in lΓ, more precisely, they are contained in lΓ∖Fr(UΓ) and so the whole transverse trajectory of z meets lΓ. Of course z∈WΓl→ because z∈WΓr→ and because WΓr→ and WΓl→ are disjoint open sets. So z belongs to WΓ→l and ω(z)=∅. By Lemma 51, situation (4) cannot occur and so situation (3) must hold on the left side: there exists a closed essential leaf ϕ⊂Fr(UΓ)∩lΓ such that UΓ⊂R(ϕ). But this implies that XΓ→R is not adherent to L. Let us explain now why WΓ→r⊂XΓR→∩XΓ→R. Indeed, replacing z by z′∈WΓ→r∖(XΓR→∩XΓ→R) in the previous argument will lead to a contradiction because WΓl→=∅ and WΓ→r∩WΓ→l=∅.
*Second case: there exists a whole transverse trajectory that meets four times a leaf of UΓ. *
Let suppose that ϕ⊂UΓ is met four times by a whole transverse trajectory. Fix a lift ϕ⊂Uγ. We know that
[TABLE]
Sub-lemma 56**.**
If WΓr→⊂(XΓR→∩XΓ→R), there exists an admissible path γ0:[a0,b0]→dom(I) such that
[TABLE]
Proof.
One can construct a line λ⊂⋃n⩾1f−n(L(T3(ϕ))∪R(ϕ)
that coincides with γ outside a compact set, then one can find a neighborhood V of L in dom(I) whose preimage in dom(I) belongs to L(λ).
Suppose that WΓr→⊂(XΓR→∩XΓ→R),
and choose z∈WΓr→∖(XΓR→∩XΓ→R). As explained in the proof given in the first case, there are three possibilities
•
the orbit of z is adherent to L;
•
there exists a closed essential leaf ϕ′⊂Fr(UΓ)∩lΓ such that UΓ⊂R(ϕ′);
•
IF(z) draws Γ infinitely.
In the last case, one can find z′∈WΓr→ such that IF(z′) meets ϕ at least three times. Denote ϕ′′ the unique leaf on the boundary of UΓ met by IF(z′) such that UΓ is on its left and let ϕ′′ be the unique lift of ϕ′′ between ϕ and T(ϕ). The lift of IF(z′) that intersects ϕ′′ contains, as a sub-path, a path satisfying the conclusion of the sub-lemma.
Assume then that the last case does not hold. In the first case the orbit of z meets V and so, one can find z′∈WΓr→ whose orbit meets V. In the second case, one can find z′∈WΓr→ whose orbit meets L(ϕ′) and one can observe that the lift ϕ′ of ϕ′ is included in L(λ). In both cases, denote ϕ′′ the unique leaf on the boundary of UΓ met by IF(z′) such that UΓ is on its left and let ϕ′′ be the unique lift of ϕ′′ lying between ϕ and T(ϕ). The set ⋃n⩾0fn(R(ϕ′′)) meets λ but does not meet R(ϕ), so it meets ⋃n⩾1f−n(L(T3(ϕ))). It implies that the conclusion of the sub-lemma is true in both cases. ∎
Similarly, if WΓ→r⊂(XΓR→∩XΓ→R), there exists an admissible path γ1:[a1,b1]→dom(I) such that
[TABLE]
The paths γ0 and γ1 project onto transverse loops that meet every leaf of Uγ at least twice. Such a situation has been studied in Lemma 32
We can construct an admissible path with a F-transverse self-intersection, in contradiction with the fact that f has no horseshoe. ∎
We are ready now to construct the positive annulus we are looking for. Let us begin with a simple result.
Lemma 57**.**
There exists at most one fixed essential connected component of WΓl→r. We have a similar result for WΓr→l, WΓ→r,l and WΓr,l→.
Proof.
Let us prove by contradiction that there exists at most one essential connected component of WΓl→r that is fixed. Indeed, if V1 and V2 are two such components, the complement of V1∪V2 in dom(I) has a compact connected component K and this component is fixed. This implies that for every z∈K, the sequences (fn(z))n⩾0 and (f−n(z))n⩾0 do not converge to an end of dom(I).
Let us prove that K∩rΓ=∅. This is clear in situation (1). It is also true in situation (4) because K∩XΓR→=K∩XΓ→R=∅ and rΓ⊂XΓR→∪XΓ→R. Suppose now that we are in situation (2), write ϕ for the closed leaf included in Fr(UΓ)∩rΓ, and recall that, in this case, UΓ is contained in R(ϕ). Choose an essential loop Γ1 in V1 and an essential loop in Γ2 in V2. Using the fact that Γ1 and Γ2 are compact and included in WΓ, one knows that there exists n⩾0 such that f−n(Γ1) and f−n(Γ2) are both contained in R(ϕ). This implies that K is contained in R(ϕ). In case situation (3) occurs, we conclude with a similar argument.
A similar proof tells us that K∩lΓ=∅ and consequently that K is included in UΓ. This implies that K is contained in WΓ and disjoint from WΓr→ and WΓ→l. But V1∪V2∪K is a neighborhood of K that is disjoint from WΓr→ and WΓ→l, and so K is disjoint from WΓr→ and WΓ→l. Consequently, V1∪V2∪K is included in WΓl→r. We have got our final contradiction.
The proof for the other sets is similar.
∎
Proposition 58**.**
If not empty, the set Ω′(I)Γ is contained in an essential connected component of WΓl→r, WΓr→l, WΓr,l→ or WΓ→r,l. Moreover this component will contain Aϕ, if ϕ is a closed leaf in Fr(UΓ).
Proof. We will suppose that Ω′(I)Γ=∅. By Lemma 55, there are four cases to consider:
(a)
WΓr→⊂XΓR→∩XΓ→R,WΓ→l⊂XΓL→∩XΓ→L
(b)
WΓr→⊂XΓR→∩XΓ→R,WΓl→⊂XΓL→∩XΓ→L
(c)
WΓ→r⊂XΓR→∩XΓ→R,WΓ→l⊂XΓL→∩XΓ→L
(d)
WΓ→r⊂XΓR→∩XΓ→R,WΓl→⊂XΓL→∩XΓ→L
Assume that we are in the case (a). We will prove that
•
there exists a fixed essential component W of WΓl→r (unique by Lemma 57);
•
W contains Ω′(I)Γ;
•
W contains Aϕ, if ϕ is a closed leaf in Fr(UΓ).
If ϕ is a closed leaf in Fr(UΓ)∩rΓ, the assumption WΓr→⊂XΓR→∩XΓ→R tells us that WΓr→ has to be empty, and so we are in situation (2) on the right side and we know that Aϕ⊂WΓl→r. So there exists a fixed essential component of WΓl→r and this component contains Aϕ. Similarly, if ϕ is a closed leaf in Fr(UΓ)∩lΓ, we are in situation (3) on the left side and there exists a fixed essential component of WΓl→r that contains Aϕ.
Note now that every essential connected component of WΓl→r that meets Ω′(I)Γ is fixed. Indeed, remember that Ω′(I)Γ⊂Ω(f). Moreover the set WΓl→r being invariant by f, every connected component of WΓl→r that meets Ω(f) is periodic. Consequently it is fixed if supposed essential. We know that Ω′(I)Γ⊂WΓ∩ne(f). Since we are in case (a), the assumptions on WΓr→ and WΓ→l imply these sets are disjoint from ne(f). We also know that ne(f) is disjoint from (XΓ→R∩XΓL→). One deduces that:
[TABLE]
Choose z∈Ω′(I)Γ and denote W the connected component of WΓl→r that contains z. We will prove that W is essential. Choosing another point of Ω′(I)Γ would give us the same set W by Lemma 57. So, W contains Ω′(I)Γ. We will argue by contradiction and suppose that W is not essential. The point z being a non-wandering point of f, we know that W is periodic. We denote q its minimal period. One can fill W, adding the compact connected components of its complement, to get a disk W′. The fact that z is a non-wandering point of f contained in the open set W, and that fi(W) is disjoint from W if 0⩽i⩽q, implies that z is also a non-wandering point of fW′q. So, fq∣W′ has a fixed point z′ by Brouwer’s theory. There exists an integer p∈Z such that every lift W′ of W′ satisfies fq(W′)=Tγp(W′). Moreover, the lift of z′ that is in W′ verifies fq(z′)=Tp(z′). In other terms, there exists a periodic point z′∈W′ of period q and rotation number p/q.
Note that p is positive. Indeed it is not negative because z∈Ω′(I)Γ and does not vanish because z cannot be lifted to a non wandering point of f, this map being fixed point free.
A point of the frontier of WΓl→r in dom(I) belongs to WΓr→, to WΓ→l, or does not belong to WΓ. In the last case it belongs to ⋂k∈Zfk(rΓ) or to ⋂k∈Zfk(lΓ). By assumption, WΓr→ is included in XΓR→∩XΓ→R and WΓ→l is included in XΓL→∩XΓ→L. So the frontier of W′ in \widehat{\mathrm{dom}}(I)_{{\color[rgb]{0,0,0}\mathrm{sp}}} is contained in the frontier of WΓl→r, which means in the union of the two disjoint closed sets {R}∪WΓr→∪(⋂k∈Zfk(rΓ)) and {L}∪WΓ→l∪(⋂k∈Zfk(lΓ)). Moreover, one knows that this frontier is connected because W′ is a topological disk. So it is contained in one of the two sets and there is no loss of generality by supposing that it is contained in {R}∪WΓr→∪(⋂k∈Zfk(rΓ)). Of course the frontier is not reduced to R, because W′ does not contain L and so rΓ is not empty, we are not in situation (1). The set Fr(UΓ)∩rΓ cannot be reduced to a closed leaf ϕ. Indeed, as explained above, we would be in situation (2) and W should be disjoint from Aϕ because it is not essential. Its closure should be disjoint from rΓ because W meets UΓ (recall that z belongs to UΓ) and the same occurs for W′. We conclude that we are in situation (4), the set Fr(UΓ)∩rΓ is a non empty union of leaves homoclinic to R. Recall that in this situation, we have ⋂k∈Zfk(rΓ)⊂XΓR→∩XΓ→R and so
the frontier of W′ in dom(I) is contained in XΓR→∩XΓ→R.
As in the proof of Lemma 54 we blow up the end R by adding a circle ΣR to dom(I), we construct fann on the semi-open annulus dom(I)ann and fann on the annulus dom(I)double. We remind that fdouble has a unique fixed point z∗ on ΣR and denote fdouble the lift that fixes the preimages of z∗. Consider a maximal isotopy I′ of fdoubleq that is lifted to a maximal isotopy I′ of Tγ−p∘fdoubleq such that z′∈sing(I′) and then a foliation F′ transverse to I′.
The point z∗ belongs to the domain of I′. Being a fixed point, its whole trajectory is equivalent to the natural lift of a loop Γ′, which we can assume to be simple by Proposition 27, as fdouble has no horseshoe. The α-limit set and the ω-limit set of a point of ΣR being reduced to z∗ and fdouble having no horseshoe, we know that the whole transverse trajectory of any point of ΣR is equivalent to the natural lift of Γ′. The same occurs for a point on Fr(W′) because its α-limit set and its ω-limit set are contained in ΣR. Consequently, the set VΓ′ of points whose whole transverse trajectory draws Γ′ is an open set that contains ΣR and Fr(W′). As VΓ′ is contained in the open annulus Uγ′ of leaves met by Γ′ and as W′ is a topological disk with Fr(W′)⊂Uγ′, it follows that W′ itself must be contained in this annulus, a contradiction since z′ is a singular point. The proof is finished in this case.
Suppose now that case (b) holds, that is,
[TABLE]
We will again prove that
(i)
there exists a fixed essential component W of WΓ→r,l (unique by Lemma 57);
(ii)
W contains Ω′(I)Γ;
(iii)
W contains Aϕ, if ϕ is a closed leaf in Fr(UΓ).
If ϕ is a closed leaf in Fr(UΓ)∩rΓ, the assumption WΓr→⊂XΓR→∩XΓ→R tells us that we are in situation (2) on the right side and the assumption WΓl→⊂XΓL→∩XΓ→L tells us that Aϕ does not meet WΓl→ and so that Aϕ⊂WΓ→r,l. So there exists a fixed essential component of WΓ→r,l and this component contains Aϕ. Similarly, if ϕ is a closed leaf in Fr(UΓ)∩lΓ, we are in situation (2) on the left side and there exists a fixed essential component of WΓ→r,l that contains Aϕ.
This show that (iii) holds provided (i) holds. The arguments above showing that items (i) and (ii) hold for case (a) can be applied to case (b) with minor modifications.
As before, since we are in case (b), the assumptions on WΓr→ and WΓl→ imply these sets are disjoint from ne(f), so that Ω′(I)Γ is contained in WΓ→r,l. The proof of the invariance of any essential connected component of WΓ→r,l that meets Ω′(I)Γ is identical.
The final step, showing that any connected component W of WΓ→r,l that meets Ω′(I)Γ must be essential is also similar, just noting that W will again be fq-invariant for some integer q⩾1, and that if we assume by contradiction that it is not essential, then W may be filled to a set W′ having a periodic point of f,
whose boundary is either entirely contained in {R}∪WΓr→∪(⋂k∈Zfk(rΓ)) or it is entirely contained in {L}∪WΓrl→∪(⋂k∈Zfk(lΓ)). The finals arguments then apply in the same way. Case (c) and (d) are dealt similarly.
∎
Remark*.*
Note that if UΓ is bordered by two closed leaves ϕ and ϕ′, then the annulus Aϕ∪UΓ∪Aϕ′ coincides with one the sets WΓl→r, WΓr→l, WΓr,l→ or WΓ→r,l and is equal to W. In case Fr(UΓ) contains a closed leaf ϕ, then Aϕ does not separate W∖Aϕ.
Proof of Proposition 49 Here again we suppose that WΓr→ is contained in XΓR→∩XΓ→R and WΓ→l contained in XΓL→∩XΓ→L. Write W for the essential component of WΓl→r that contains Ω′(I)Γ. One gets an invariant annulus A by filling W, which means by adding the compact connected components of its complement. The choice of the class [Γ] as a generator of H1(dom(I),Z) permits us to give a partition of Ω(f) in f-positive or f-negative points. Let us prove that A is a positive annulus of I and κ∈H1(A,Z) its positive generator, where ι∗(κ)=[Γ]. Suppose that z∈Ω(f) is f-negative. As stated in Proposition 47, the transverse loop associated with z is negative. This loop cannot meet UΓ, so it is contained in rΓ or in lΓ. Suppose for instance that it is contained in rΓ. This is possible only if Fr(UΓ)∩rΓ is reduced to a closed leaf ϕ, more precisely when situation (2) occurs. As explained in Proposition 58, the annulus Aϕ is included in W. So all compact components you need to add to W to get A are included in R(ϕ) and so z does not belong to A. The fact that every point of A∩Ω(f) is f-positive, implies that A is positive and κ∈H1(A,Z) its positive generator, where ι∗(κ)=[Γ].
Write W=π−1(W) and A=π−1(A). As a connected component of π−1(WΓl→r) one knows that the stabilizer of W in the group of covering automorphisms is generated by Tγ and, as remarked after the definition of Wγl→r, that T(W)∩W=∅ if T is not power of Tγ. One deduces similar results for A. This implies that A projects onto a positive annulus A of I that contains Ω′(I)Γ and whose positive generator is given by the homology class of a simple loop freely homotopic to Γ in dom(I). In fact W projects onto a connected component of WΓl→r and A is obtained from this component by adding the connected components of the complement that have no singular points. □
6.3. Additional results
We would like to state a result relied only on the isotopy I and not on the transverse foliation F. In this subsection, f is an orientation preserving homeomorphism of S2 and I a maximal isotopy of f. We keep the usual notations such as dom(I), dom(I), π, f, …. We say that a topological disk D⊂dom(I) is I-free if it holds that f(D) is disjoint from D whenever D is a lift of D. Let us begin with an useful lemma.
Lemma 59**.**
If A and A′ are open annuli in dom(I) invariant by f such that:
•
the two connected components of S2∖A contain a fixed point of I;
•
the two connected components of S2∖A′ contain a fixed point of I;
•
A∩A′∩Ω(f)=∅.
Then A and A′ are homotopic in dom(I) (meaning that an essential simple loop Γ of A and an essential loop Γ′ of A′ are freely homotopic in dom(I), up to a change of orientation).
Proof.
Let us fix z∈A∩A′∩Ω(f) and a lift z∈dom(I). Write A and A′ for the connected components of π−1(A) and π−1(A′) respectively, that contain z. Fix a generator T of the stabilizer of A in the group of covering automorphisms and a generator T′ of the stabilizer of A′. We have seen at the beginning of this section that A and A′ are invariant by f. Let D⊂A∩A′ be a topological I-free disk containing z. One can find an integer n⩾1 and a point z′∈D∩f−n(D). Write D for the lift of D that contains z, and z′ the lift of z′ that lies in D. There exists a non trivial covering transformation T′′ such that fn(z)∈T′′(D) and so T′′(D)⊂A∩A′. This implies that T′′ is a non trivial power of T and a non trivial power of T′. In other terms, the stabilizers of A and A′ are equal. But this means that A and A′ are homotopic. ∎
Let us explain now how to associate simple loops to points of Ω′(I) independently of a transverse foliation. Note first that for every point z∈Ω′(I), there exist I-free disks D such that fk(z)∈D for infinitely many k∈Z. Indeed, consider a point z′∈α(z)∪ω(z) that is not fixed by I. Any topological open disk containing z′ is I-free if sufficiently small, and meets the orbit of z infinitely often.
Proposition 60**.**
If f has no topological horseshoe, for every z∈Ω′(I), there exists a simple loop Γ⊂dom(I), uniquely defined up to homotopy, such that:
(1)
there exists a positive annulus A containing z such that an essential simple loop of A defining the positive class of A is homotopic to Γ;
2. (2)
every invariant annulus A′ in dom(I) containing z and such that the two connected components of its complement contain a fixed point of I is homotopic to A in dom(I);
3. (3)
for every I-free disk D that contains two points fn(z) and fm(z), n<m, and every path δ⊂D joining fm(z) to fn(z), the loop Im−n(fn(z))δ is homotopic to a positive power of Γ.
Proof.
We have seen in Theorem 48 that there exists a positive annulus A that contains z. More precisely, if F is a transverse foliation of I, one can choose for Γ the transverse simple loop associated with z (or any simple loop homotopic in dom(I)). The assertion (1) is proved and the assertion (2) is an immediate consequence of Lemma 59. It remains to prove (3). Suppose that D is a I-free disk that contains two points fn(z) and fm(z), n<m. By Proposition 59 of [33], there exists a transverse foliation F′ of I such that fn(z) and fm(z) belong to the same leaf of the restricted foliation F′∣D. Let ϕ′ be the leaf of F′ that contains fn(z) and fm(z) and Γ′ the transverse loop associated with z. The homotopy class of Im−n(fn(z))δ does not depend on the choice of the path δ⊂D joining fm(z) to fn(z). Moreover, choosing for δ the segment of leaf of ϕ′∩D that joins fm(z) to fn(z), and noting that Im−n(fn(z))δ is homotopic to IF′m−n(fn(z))δ, one deduces that Im−n(fn(z))δ is homotopic to a positive power of Γ′. As seen in the proof of Theorem 48, there exists a positive annulus A′ that contains z, such that Γ′ is homotopic in dom(I) to an essential simple loop of A′ that defines the positive class of A′. By (2), one deduces that Γ′ is homotopic to Γ or to its inverse. If we want to prove that Γ′ is homotopic to Γ, we have to look carefully at the proof of Lemma 59. If the disk D is chosen very small, then the path IFn+2(f−1(z′)) contains as a sub-path a transverse path joining the leaf ϕ of F that contains z to T′′(ϕ). Similarly, the path IF′n+2(f−1(z′)) contains as a sub-path a transverse path joining the leaf ϕ′ of F′ that contains z to T′′(ϕ′). We deduce that T′′ is a positive power of T and a positive power of T′. So T and T′ are equal, which means that Γ and Γ′ are homotopic in dom(I).∎
A simple loop Γ⊂dom(I) that satisfies the properties stated in Proposition 60 is said to be associated with z∈Ω′(I).
Theorem 61**.**
If f has no topological horseshoe, then one can cover Ω′(I) by invariant annuli A⊂dom(I) satisfying the following:
a point z∈Ω′(I) belongs to A if and only if one can choose as a loop associated with z∈Ω′(I) an essential simple loop of A.
Proof.
Let F be a foliation transverse to I. If Γ⊂dom(I) is a simple loop, write U(Γ) for the union of the leafs of F that intersect Γ, a topological annulus. For every z∈Ω′(I), write Γz for the transverse simple loop associated to z and set z∼z′ if Γz and Γz′ are homotopic, up to the sign. If dom(I) is an annular covering space associated to Γz, as defined in the previous sub-section, then z′∼z if and only if Γz′ can be lifted as a simple loop of dom(I). In case, z∼z′⇔Γz=Γz′, there is nothing to prove, one can choose for A the annulus given by Proposition 49. We will suppose from now that this does not happen. This implies that for every z′∼z, the annulus U(Γz′) has a closed leaf on its boundary. Moreover, there exist at most two different points z′∼z such that U(Γz′) is not bordered by two closed leaves. Write C for the set of closed annulus bordered by two closed leaves homotopic to Γz, up to the sign, and eventually reduced to a single loop. For every C∈C, define
[TABLE]
where C is bordered by ϕ and ϕ′. One gets an invariant open annulus homotopic to U(Γz). Now define
[TABLE]
The first set is an annulus, that can be open, semi open and bordered with a closed leaf, compact and bordered by two closed leaves or degenerate and reduced to unique closed leaf. The second set is an an invariant open annulus.
In case C∗ is open, it contains all sets U(Γz′), z′∼z, and consequently all points z′∼z. We can choose A=A∗.
In case C∗ is semi open and contains all sets U(Γz′), z′∼z, we can choose A=A∗.
In case C∗ is semi open and does not contain all sets U(Γz′), z′∼z, there exists a unique U(Γz∗′), with z∗∼z, such that U(Γz∗′) is not contained in C∗ and the closed leaf ϕ that borders C∗ also borders U(Γz∗′). Using Proposition 58 and the remark that follows, we know that the positive annulus AΓz∗ constructed in the proof of Proposition 49 contains Aϕ, more precisely
AΓz∗∩A∗=Aϕ. So we have two homotopic annuli whose intersection is a annulus homotopic to both of them, so the union is an annulus and we can choose A=AΓz∗∪A∗.
In case C∗ is compact, we similarly construct A as the union of A∗ and two annuli of type AΓ. ∎
Using the fact that every squeezed annulus is contained in a maximal squeezed annulus, Theorem G can be written as below:
Theorem 62**.**
Let f:S2→S2 be an orientation preserving homeomorphism that has no topological horseshoe. Then Ω′(f) is covered by squeezed annuli.
Proof.
Let z be a point of Ω′(f). Suppose first that z belongs to an invariant open annulus A0 such that:
•
the two connected components of S2∖A0 are fixed by f;
•
if κ0 is a generator of H1(A0,Z), then rotf∣A0,κ0(z)=0+Z.
We write f0=f∣A0 and denote fˇ0 the lift of f0 to the universal covering space Aˇ0, such that rotfˇ0,κ0(z)∈(0,1). Let I0 be a maximal isotopy of f0 that is lifted to an identity isotopy of fˇ0. By Theorem 48, there exists a positive annulus A1 of I0 that contains z. The fact that rotfˇ0,κ0(z)>0 implies that A1 is essential in A0 and that the positive generator κ1 of H1(A1,Z) is sent onto κ0 by the morphism i∗:H1(A1,Z)→H1(A0,Z). Let fˇ1 be a lift of f1=f∣A1 to the universal covering space of A1 such that rotfˇ1,κ1(z)=rotfˇ0,κ0(z)−1 and I1 be a maximal isotopy of f1 lifted to an identity isotopy of fˇ1. By Theorem 48, there exists a positive annulus A2 of I1 containing z. The fact that rotfˇ1,κ1(z)<0 implies that A2 is essential in A1 and that the positive generator κ2 of H1(A2,Z) is sent onto −κ1 by the morphism i∗:H1(A2,Z)→H1(A1,Z). The annulus A2 is a squeezed annulus containing z.
Suppose now that such an annulus A0 does not exist. We will slightly change the proof. By assumption, α(z)∪ω(z) is not included in fix(f). Choose a point z′ of α(z)∪ω(z) that is not fixed. Any topological open disk containing z′ is free if sufficiently small, and meets the orbit of z infinitely often. So, there exists a free open disk D containing z and fq(z), where q⩾2. One can find a simple path δ in D that joins fq(z) to z. There exists an identity isotopy I∗=(ht)t∈[0,1] supported on D, such that h=h1 sends fq(z) on z. Moreover, one can suppose that the trajectory t↦ht(z) is the subpath of δ that joins fq(z) to z. The point z is a periodic point of h∘f, of period q. Moreover f and h∘f have the same fixed points because D is free. Fix z∗∈fix(f). The main result of [32] tells us that f has a fixed point z0=z∗ such that roth∘f∣A0,κ0(z)=0+Z, where A0=S2∖{z∗,z0} and κ0 is a generator of H1(A0,Z). Write f0=f∣A0, h0=h∣A0, denote hˇ0 the lift of h0 to the universal covering space Aˇ0 of A0 naturally defined by I∗ and fˇ0 the lift of f0 to Aˇ0 such that rotfˇ0,κ0(z)=0, which exists since by assumption A0 does not satisfy the properties of the previous case. Replacing κ0 with −κ0 if necessary, one can suppose that rothˇ0∘fˇ0,κ0(z)>0. Let I0 be a maximal isotopy of f0 lifted to an identity isotopy of fˇ0. As explained in in the proof of Proposition 59 of [33], there exists a foliation F0 transverse to I0 such that δ is included in a leaf of F0.
By Proposition 27 and the remark following it, one has that I0F0Z(z) exactly draws infinitely a transverse simple loop Γ1, and therefore z belongs to Ω′(I0)Γ1. Proposition 49 tells us that:
•
z belongs to a positive annulus A1;
•
the image of the positive class κ1 of A1 is sent onto the class of Γ1 by the morphism i∗:H1(A1,Z)→H1(dom(I),Z).
The homology class in A0 of the loop naturally defined by I0F0q(z)δ is a positive multiple of κ0 because rothˇ0∘fˇ0,κ0(z)>0 but it is a positive multiple of the class of Γ1. So A1 is essential in A0 and the positive generator κ1 of H1(A1,Z) is sent onto κ0 by the morphism i∗:H1(A1,Z)→H1(A0,Z). Set f1=f∣A1. The rotation number of z for the lift of f1 to the universal covering space of A1 naturally defined by I0 (as explained at the beginning of this section) is equal to zero because rotfˇ0,κ0(z)=0. Let fˇ1 be the lift of f1 such that rotfˇ1,κ1(z)=−1 and I1 be a maximal isotopy of f1 that is lifted to an identity isotopy of fˇ1. By Theorem 48, there exists a positive annulus A2 of I1 that contains z. To ensure that A2 is a squeezed annulus, one must prove that the positive generator κ2 of H1(A2,Z) is sent onto −κ1 by the morphism i∗:H1(A2,Z)→H1(A1,Z). It cannot be sent on κ1 because rotfˇ1,κ1(z)<0 so it remains to prove that A2 is essential in A1. If it is not essential, the compact connected component K′ of A1∖A2 contains a fixed point z′′ of I1 and we have rotfˇ1,κ1(z′′)=0. Let fˇ0′ be the lift of f0 such that rotfˇ0′,κ0(z)=−1, which implies that rotfˇ0′,κ0(z′′)=0. The set A2∪K′ being an invariant open disk in A1⊂A0 containing z and z′′, one deduces that the pre-images of A2∪K′ by the projection from Aˇ0 to A0 are all invariant by fˇ0′, and as z is nonwandering, any point zˇ projecting onto z is also nonwandering for f0ˇ′. Since rotfˇ0′,κ0(z)=−1, one can find a disk Dˇ that is free for fˇ0′ and that contains zˇ, and positive integers n0,m0 such that (fˇ0′)n0(zˇ)∈T−m0(Dˇ). Since zˇ is nonwandering, there exists some point zˇ1 sufficiently close to zˇ and a positive integer n1 such that both zˇ1,(fˇ0′)n0+n1(zˇ1) belong to Dˇ and such that (fˇ0′)n0(zˇ1)∈T−m0(Dˇ). We have got a contradiction with Corollary 36.∎
The following result can be easily deduced from the proof above.
Proposition 63**.**
Let f:S2→S2 be an orientation preserving homeomorphism that has no topological horseshoe. Then for every recurrent point z∈fix(f) and every fixed point z∗, there exists a fixed point z0=z∗ such that rotf∣S2∖{z∗,z0},κ(z)=0+Z, if κ is a generator of H1(S2∖{z∗,z0},Z).
Proof.
Indeed, if the conclusion fails, the second part of the proof of Theorem 62 tells us that there exists a fixed point z0=z∗, a maximal isotopy I0 of f∣S2∖{z∗,z0} and a positive annulus A1 of I0 such that rotfˇ1,κ1(z)=0, where fˇ1 is the lift of f1∣A1 to the universal covering space of A1 defined by I0 (as explained at the beginning of the section) and κ1 the positive generator of H1(A1,Z). We have seen in Proposition F that it implies that f has a topological horseshoe.∎
7. Birkhoff Recurrence classes and recurrent points of homeomorphisms of S2 with no topological horseshoe
In this section we examine the possible dynamical behaviour of Birkhoff recurrence classes and transitive sets for homeomorphisms and diffeomorphisms of S2 with no topological horseshoe.
Suppose that f is an orientation preserving homeomorphism of S2 with no topological horseshoe. Assume f has at least three distinct recurrent points. If B is a Birkhoff recurrence class containing two fixed points z0 and z1, then
(1)
*either there exists q⩾1 such that *every recurrent point in B is a periodic point of period q and fix(fq)∩B is an unlinked set of fq;
(2)
or f is an irrational pseudo-rotation.
Proof.
Since f has at least three distinct recurrent points, note that ne(f∣S2∖{z0,z1}) is not empty. For a given generator of H1(S2∖{z0,z1},Z) and a given lift of f∣S2∖{z0,z1}, there exists a unique rotation number by Proposition 41. If this number is irrational, f is an irrational pseudo-rotation. Suppose that it is rational and can be written p/q in an irreducible way. Then all periodic points have rotation number p/q and their period is a multiple of q. If there is no recurrent point in B but z0 and z1, item (1) is true. Suppose now that there exists a recurrent point z∈B. By Proposition 46, one knows that the annulus S2∖{z0,z1} contains fixed points of fq. Let z2 be such a point. The class B, containing fixed points, is also a Birkhoff recurrence class of fq. Let us prove by contradiction, that z is a fixed point of fq. By Proposition 63, there exists a fixed point z3 such that rotf∣S2∖{z2,z3},κ(z)=0+Z, if κ is a generator of H1(S2∖{z2,z3},Z). Of course either z3=z0 or z3=z1.The assumption z3=z0 contradicts Theorem 38 because we would have
[TABLE]
The assumption z3=z1 contradicts Theorem 38, because we would have
[TABLE]
We already know that if f is not an irrational pseudo-rotation, then every recurrent point in B is fixed, so all that remains to be proved is that fix(fq)∩B is an unlinked set of fq. Consider then a maximal isotopy I of fq that fixes z0, z1 and z2. If z0′ and z1′ are two different fixed points of I and z2′ is a third fixed point of fq, denote rotI,z0′,z1′(z2′) the rotation number of z2′ defined for the lift of fq∣S2∖{z0′,z1′} to the universal covering space that fixes the lifts of the remaining points of fix(I), a generator of H1(S2∖{z0′,z1′}) being given by the oriented boundary of a small disk containing z0′ in its interior. In particular, one has rotI,z0′,z1′(z2′)=0 if z2′∈fix(I). By Proposition 41, one knows that rotI,z0,z1(z2′)=0 for every fixed point z2′∈S2∖{z0,z1} of fq because rotI,z0,z1(z2)=0. We claim that, if exactly one of the points z0′, z1′ is equal to z0 or z1, then rotI,z0′,z1′(z2′)=0 for every z2′∈(B∩fix(fq))∖{z0′,z1′}. Indeed if, for instance, one of the points z0′, z1′ is equal to z0 and z1∈/{z0′,z1′}, then rotI,z0′,z1′(z1)=0, and the claim follows from Theorem 38.
Likewise, if neither z0 nor z1 belongs to {z0′,z1′}, then again rotI,z0′,z1′(z2′)=0 for every z2′∈(B∩fix(fq))∖{z0′,z1′}. Indeed, if z2′=z0, then by Proposition 5,
[TABLE]
and a similar argument, using z1 instead of z0, can be done if z2′=z0.
Assume now that B∩fix(fq) is not unlinked. Then, one can find a fixed point z2′∈B of fq which belongs to the domain of I. Let F be a foliation transverse to I. The closed curve IF(z2′) defines naturally a loop Γ. Let δΓ be a dual function. As seen before, one can find a point z0′∈fix(I) where the minimal value k− of δΓ is reached and a point z1′∈fix(I) where its maximal value k+ is reached. Note now that
[TABLE]
We have found a contradiction.
∎
As a consequence, we obtain Corollary I from the introduction, which we restate here:
Corollary 65**.**
Let f be an orientation preserving homeomorphism of S2 with no topological horseshoe. Let B be a Birkhoff recurrence class containing periodic points of different periods, then:
•
there exist integers q1 and q2, with q1 dividing q2, such that every periodic point in B has a period either equal to q1 or to q2
•
if q1⩾2, there exists a unique periodic orbit of period q1 in B;
•
if q1=1, there exist at most two fixed points in B.
Proof.
By Corollary 43, we already know that, if B has periodic points of periods q1<q2, then q1 divides q2. Assume, for a contradiction, that B contains a periodic point z1 of period q1, a periodic point z2 of period q2 and a periodic point z3 of period q3, where q1<q2<q3. The homeomorphism fq2 has at least three fixed points (z1, z2 and f(z2)). Moreover, by the item (4) of Proposition 7, there exists a Birkhoff recurrence class of fq2 that contains a point z1′ in the orbit of z1, a point z2′ in the orbit of z2 and a point z3′ in the orbit of z3. Since z1′ and z2′ are fixed by fq2, and z3′ is periodic but not fixed, fq2 must have a topological horseshoe by Proposition 64, as does f.
Suppose that q1⩾2 and that B contains at least two periodic orbits of period q1. One can find a Birkhoff recurrence class of fq1 that contains a point in each of these two orbits plus a point in a periodic orbit of period q2. This last point being not fixed by fq1, this contradicts Proposition 64. The last item is an immediate consequence of Proposition 64.
∎
7.2. Recurrent points and transitive sets.
Let f:S2→S2 be an orientation preserving homeomorphism with no horseshoe. If z0 and z1 are periodic points of f and z is recurrent and not periodic, we define rotf,z0,z1(z)∈T1 in the following way: we denote q the smallest common period of z0 and z1, we choose the class κ of the boundary of a small topological disk containing z0 as a generator of H1(S2∖{z0,z1},Z), and we set
[TABLE]
which is well defined by Theorem 37. We will say that a recurrent and non periodic point z has a rational type if rotf,z0,z1(z)∈Q/Z for every choice of z0 and z1 and has an irrational type otherwise.
7.2.1. Recurrent points of rational type
Let us show that, if z is recurrent and of rational type, then f is topologically infinitely renormalizable over Λ=ω(z).
Proposition 66**.**
Let f:S2→S2 be an orientation preserving homeomorphism with no topological horseshoe, z a recurrent point of f of rational type, and Λ=ω(z). There exists an increasing sequence (qn)n⩾0 of positive integers and a decreasing sequence (Dn)n⩾0 of open disks containing z such that:
•
qn* divides qn+1;*
•
Dn* is fqn periodic;*
•
the disks fk(Dn), 0⩽k<qn are pairwise disjoint;
•
Λ⊂⋃k=0qn−1fk(Dn).
Furthermore, f has periodic points of arbitrarily large period.
Proof.
We will construct the sequence by induction. The key point is the fact that f is “abstractly” renormalizable over Of(z), as explained in the remark following Proposition 8.
Note that, as f has a recurrent point which is not fixed, then it must also have at least two fixed points. Since Λ is contained in a Birkhoff recurrence class and z is of rational type, Proposition 64 tells us that at least one of these points does not belong to Λ. We fix z∗ in fix(f)∖Λ
and set
[TABLE]
Let us construct q1 and D1. By Proposition 63, there exists z0∈fix(f)∩D0 such that rotf,z∗,z0(z)=0+Z. By hypothesis, this number is rational and can be written p/q+Z where p and q>0 are relatively prime. Let us state the key lemma, that will use Theorem 62
Lemma 67**.**
The Birkhoff recurrence classes of fi(z), 0⩽i<q, for fq, are all distinct.
Proof.
Set A0=S2∖{z∗,z0} and write κ0 for the generator of H1(A0,Z) defined by the boundary of a small topological disk containing z0 in its interior. By Theorem 62, there exists a squeezed annulus A of fq that contains z. Using Proposition 46, one deduces that rotfq∣A,κ(z)=0+Z, if κ is a generator of H1(A,Z). We know that rotfq∣A0,κ0(z)=0+Z and so A is not essential in A0. The compact connected component K of A0∖A contains at least a fixed point of fq, because A∪K is a fq-invariant open disk that contains a fq-invariant compact set. Moreover, there exists ρ∈R/Z, equal to rotfq∣A,κ(z) up to the sign, such that
[TABLE]
the last equality being due to the fact that A∪K is a fq-invariant disk included in the annulus S2∖{z′,z∗} if z′∈fix(fq)∖K. Let us consider 0<i<q. We immediately deduce that
[TABLE]
To prove the lemma, it is sufficient to prove that the Birkhoff recurrence classes of z and fi(z) for fq are distinct if 1⩽i<q. We will argue by contradiction and suppose that there exists i∈{1,…,q−1} such that the Birkhoff recurrence classes of z and fi(z) for fq are equal.
Let A˚0 be the q-tuple cover of A0, let π˚:A˚0→A0 be the covering projection and T˚ the generator of the group of covering automorphisms naturally defined by κ0. Denote z˚∗ the end of A˚0 corresponding to z∗ and z˚0 the end of A˚0 corresponding to z0. Fix a lift f˚ of f∣A0 to A˚0, set g˚=f˚q∘T˚−p, and denote g˚sp the extension of g to A˚0∪{z˚∗,z˚0}. A simple finiteness argument permits us to say that if there exists a Birkhoff connection for fq from a point z′∈A0 to a point z′′∈A0, there exists a Birkhoff connection for g˚sp from a given lift z˚′∈π˚−1({z′}) to a certain lift z˚′′∈π˚−1({z′′}). Fix z˚∈π˚−1({z}).
One deduces that there exists 0⩽j⩽q−1 such that z˚f˚q⪯T˚j(f˚i(z˚)). The maps f˚ and T˚ commuting, one gets
[TABLE]
Similarly, there exists 0⩽j′⩽q−1 such that T˚j′(f˚i(z˚))g˚sp⪯z˚ and consequently
[TABLE]
Consequently z˚ is a Birkhoff recurrent point of g˚sp, and so is every point f˚m∘T˚n(z˚), where m and n are integers. Moreover the Birkhoff recurrence class of z˚ is equal to the Birkhoff recurrence class of g˚i∘T˚pi(z˚) and so is equal to the Birkhoff recurrence class of T˚pi(z˚).
For every l∈{0,…,q} denote A˚l the connected component of π˚−1(A) that contains T˚l(z˚) and K˚l the compact connected component of A˚0∖A˚l (which is itself a connected component of π˚−1(K)).
Every annulus A˚l is a squeezed annulus of g˚sp. Moreover every set K˚l contains at least one fixed point of g˚ and like in the annulus A0, one has
[TABLE]
Note now that pi is not a multiple of q because p and q are relatively prime, and so the Birkhoff recurrence class of z˚ for g˚sp contains a translate T˚l(z˚), where l∈{1,…,q−1}. This, and the the equalities above contradict Theorem 38, since if z˚′∈fix(g˚)∩K˚0, then rotg˚,z˚′,z˚∗(T˚l(z˚))=0+Z while rotg˚,z˚′,z˚∗(z˚)=ρ.
∎
Now one can apply Proposition 8 and the remarks that follow this proposition: there exists an integer r⩾1 and a covering of Λ by a family (Wj)j∈Z/rqZ of pairwise disjoint open sets of S2 that satisfies f(Wj)=Wj+1 for every j∈Z/rqZ. These open sets are included in A0 and are not essential, because rq⩾2 and f(Wj)=Wj+1 for every j∈Z/rqZ. For the same reason, if j′=j, the compact connected components of A0∖Wi do not contain any Wj′, j′=j. Adding the compact connected components of A0∖Wj to Wj, one gets a disk Dj. We have got a covering of Λ by a family (Dj)j∈Z/rqZ of pairwise disjoint open disks of S2 that satisfies f(Dj)=Dj+1 for every j∈Z/rqZ. One can suppose that z belongs to D0. We set D1=D0 and q1=rq. To construct D2 and q2 we do exactly the same replacing D0 by D1 and f by fq1∣D1 and continue the process.
Note that, since Dn is homeomorphic to the plane and invariant by fqn, and since fqn has a recurrent point in Dn, then by standard Brouwer Theory arguments fqn must have a fixed point in Dn. Since the disks fk(Dn), 0⩽k<qn, are pairwise disjoint, this implies that f has a periodic point of prime period qn.
∎
As a direct consequence, we have:
Corollary 68**.**
Let f:S2→S2 be an orientation preserving homeomorphism with no horseshoe, z a recurrent point of f of rational type, and Λ=ω(z). Then the restriction of f to Λ is semiconjugated to an odometer.
7.2.2. Recurrent points of irrational type
To help with the understanding of this subsection, we begin first with a look at some particular recurrent points of irrational type.
Proposition 69**.**
Let f:S2→S2 be an orientation preserving homeomorphism with no horseshoe and z a recurrent point of f of irrational type. We suppose that there exist two fixed points z0 and z1 such that rotf,z0,z1(z)=α+Z, where α∈Q. We denote fˇ the lift of f∣S2∖{z0,z1} such that rotfˇ(z)=α and such that κ is the generator of H1(S2∖{z0,z1},Z) defined by the boundary of a small topological disk containing z0 in its interior. Let (pn/qn)n⩾0 and (pn′/qn′)n⩾0 be two sequences of rational numbers converging to α, the first one increasing, the second one decreasing. There exists a decreasing sequence (An)n⩾0 of invariant open annuli containing z such that
•
An* is essential in S2∖{z0,z1},*
•
An* is a positive annulus of fˇqn∘T−pn, with a positive generator sent onto κ by the morphism ι∗:H1(An,Z)→H1(S2∖{z0,z1},Z);*
•
An* is negative annulus of fˇqn′∘T−pn′, with a negative generator sent onto κ by the morphism ι∗:H1(An,Z)→H1(S2∖{z0,z1},Z).*
Proof.
Let I0 be a maximal isotopy of fq0′∣S2∖{z0,z1} that is lifted to an identity isotopy of fˇq0′∘T−p0′. By Theorem 48, there exists a positive annulus A0′ containing z0. It must be essential and its positive class is sent onto −κ by the morphism ι∗:H1(A0′,Z)→H1(S2∖{z0,z1},Z). Let I0′ be a maximal isotopy of fq0∣A0′ that is lifted to an identity isotopy of the restriction of fˇq0∘T−p0 to the lift of A0′. By Theorem 48, there exists a positive annulus A0⊂A0′ containing z0. A0 must be essential, because otherwise A0 would be contained in a fˇq0 invariant open topological disk D0⊂A0′ containing z0, and this contradicts rotfˇ(z)=α. Also its positive class is sent onto κ by the morphism ι∗:H1(A0,Z)→H1(S2∖{z0,z1},Z). We continue this process and construct alternately two sequences (An′)n⩾0 and (An)n⩾0. The sequence (An)n⩾0 satisfies the conclusion of the proposition. ∎
Remarks*.*
Let X=⋂n⩾0An. Note that the complement of An has exactly two connected components, Fn that contains z0 and Fn′ that contains z1. Let us define F=⋃n⩾0Fn and F′=⋃n⩾0Fn′, which are connected, invariant and disjoint. This implies that the complement of X is either connected (if F∪F′ is connected) or has two connected components (if F∪F′ is not connected). Note also that if z0′ and z1′ are periodic points that belong to F, then rotf,z0′,z1′(z)=0+Z, because there exists n such that z belongs to an invariant open disk An∪Fn′ of S2∖{z0′,z1′}. In case z0′ belongs to F while z1′ belongs to F′, then rotf,z0′,z1′(z)=qrotf,z0,z1(z), where q is the smallest common period of z0′ and z1′. Finally, one knows that every point of X has a rotation number equal to α when this rotation number is defined.
This is not necessarily the case for every point in X. Indeed let us suppose that f is a homeomorphism of S2 that contains an invariant closed annulus A satisfying the following:
•
every point of the boundary of A is fixed;
•
there exists an essential invariant loop Γ in A of irrational rotation number;
•
the dynamics is north-south in the open annuli bounded by Γ and the boundary circles.
If z0 and z1 are chosen on different boundary components of A and z chosen on Γ, all sets An coincide with the interior of A, for n large enough, and consequently, there exist infinitely many fixed points in X.
In the previous example, there exists a compact invariant annular set of irrational rotation number. In the following situation, this will not be the case. Starting with a Denjoy counterexample, one can construct a homeomorphism f of S2 that contains an invariant closed annulus A satisfying the following:
•
every point of the boundary is fixed;
•
there exists an invariant Cantor set K of irrational rotation number;
•
the orbit of a point z in the interior of A that does not belong to K has either its α limit or its ω limit contained in one of the boundary circles.
Let us explain now what happens for a general recurrent point of irrational type.
Proposition 70**.**
Let f:S2→S2 be an orientation preserving homeomorphism with no topological horseshoe and z a recurrent point of f of irrational type. There exists some integer q⩾1, such that, if g=fq, then there exists two points z0,z1 that are fixed by g and such that rotg,z0,z1(z)=α+Z, where α∈Q. We denote gˇ the lift of f∣S2∖{z0,z1} such that rotgˇ(z)=α and such that κ is the generator of H1(S2∖{z0,z1},Z) defined by the boundary of a small topological disk containing z0 in its interior. Let (pn/qn)n⩾0 and (pn′/qn′)n⩾0 be two sequences of rational numbers converging to α, the first one increasing, the second one decreasing. There exists a decreasing sequence (An)n⩾0 of open annuli containing z such that
•
An* is invariant by g, and fk(An)∩An=∅ if 0<k<q,*
•
An* is essential in S2∖{z0,z1},*
•
An* is a positive annulus of gˇqn∘T−pn, with a positive generator sent onto κ by the morphism ι∗:H1(An,Z)→H1(S2∖{z0,z1},Z);*
•
An* is negative annulus of gˇqn′∘T−pn′, with a negative generator sent onto κ by the morphism ι∗:H1(An,Z)→H1(S2∖{z0,z1},Z).*
Proof.
If there exist two fixed points z0 and z1 such that rotf,z0,z1(z)∈Q/Z we can apply Proposition 69. Suppose now that rotf,z0,z1(z)∈Q/Z for all fixed points z0 and z1. Then starting from any fixed point z∗, one can construct a disk D1 containing z and an integer q1 such that fq1(D1)=D1 and fk(D1)∩fk′(D1)=∅ if 0⩽k<k′<q1, like in the proof of Proposition 66. Moreover we get that ωfq1(z) is also contained in D1. One deduces that rotf,z0′,z1′(z)∈Q/Z for all periodic points z0′ and z1′ that do not belong to D1. In particular rotf,z0′,z1′(z)∈Q/Z if the periods of z0′ and z1′ are both smaller than q1. Let us consider the map fq1∣D1 or more precisely its extension f1 to the Alexandroff compactification of D1 writing z1,∗ the point at infinity. Suppose that rotf1,z1,∗,z1(z)∈Q/Z for every fixed point z1∈D of f1. Then we can continue the process and construct a disk D2 containing z and an integer q2>q1, multiple of q1, such that fq2(D2)=D2 and fk(D1)∩fk′(D1)=∅ if 0⩽k<k′<q2. We know that rotf,z0′,z1′(z)∈Q/Z if the periods of z0′ and z1′ are smaller than q2. This implies the process must end at finite time, since z is of irrational type. Consequently, one can apply Proposition 69 to a power fq of f and obtain the result.
∎
Before ending this section, there is still some more information one can derive about the Birkhoff recurrence class of a recurrent point of irrational type:
Corollary 71**.**
Let f:S2→S2 be an orientation preserving homeomorphism with no topological horseshoe and z a recurrent point of f of irrational type. We suppose that there exist two q-periodic fixed points z0 and z1 such that rotf,z0,z1(z)=α+Z, where α∈Q. Let B be the Birkhoff recurrence class of z for f. Then:
•
B* does not contain any periodic point that is neither in the orbit of z0 nor in the orbit of z1;*
•
if B contains the orbit of z0, then for any pair of periodic points z0′,z1′ not containing z0, rotf,z0′,z1′(z)=0+Z;
•
if B contains both z0 and z1, then q=1 and f is a irrational pseudo-rotation.
Proof.
Note that B=⋃i=0q−1fi(B0), where B0 is the Birkhoff recurrence class of z for g=fq. From Theorem 38 we know that B0 does not contain any periodic point that is neither z0 or z1, since rotg,z0,z1(z′)∈Q/Z if z′ is periodic. This implies the first item. The second item is also a consequence of Theorem 38, since rotf,z0′,z1′(z0)=0+Z. The fact that fq is a pseudo-rotation in the third item is a direct consequence of Proposition 41, where z0 and z1 play the role of N and S. But if fq is a pseudo-rotation, it follows that directly that q=1.
∎
7.2.3. Transitive Sets
We say that a transitive set Λ is of irrational type if Λ=ω(z) for some recurrent point z of irrational type. In particular Λ is contained in the Birkhoff recurrence class of z.
Let us now restate Proposition K from the introduction.
Proposition 72**.**
Let f:S2→S2 be an orientation preserving homeomorphism with no horseshoe and Λ a closed and invariant transitive set. Then:
(1)
either Λ is a periodic orbit;
2. (2)
or f is topologically infinitely renormalizable over Λ;
3. (3)
or Λ is of irrational type.
Furthermore, if the second possibility holds, then f has periodic points of arbitrarily large prime periods.
Proof.
Pick z in Λ such that ω(z)=Λ, which exists since Λ is transitive. If z is periodic, we are in case 1. If z is a point of rational type then, by Proposition 66, we are in case 2. If z is a point of irrational type then by Proposition 69 we are in case 3.
∎
We also obtain directly a proof of Corollary J of the introduction as, if the second possibility in Proposition 72 holds, then Λ does not contain any periodic point, and if Λ is of irrational type and contains two distinct periodic orbits, then applying Corollary 71 one may deduce that f is a irrational pseudo-rotation.
Let us conclude this section with an application that concerns dissipative C1 diffeomorphisms of the plane R2. Let us recall Proposition L
Proposition 73**.**
Let f:R2→R2 be an orientation preserving diffeomorphism with no topological horseshoe, such that 0<detDf(z)<1 for all z∈R2. Let Λ be a compact, invariant, and transitive subset that is locally stable. Then either Λ is a periodic orbit, or f is topologically infinitely renormalizable over Λ.
Proof.
Let fsp be the natural extension of f to the Alexandrov compactification of R2 by adding a point ∞ at infinity. By Proposition 72, it suffices to show that Λ cannot have a recurrent point of irrational type.
Assume, for a contradiction, this is false and let z be a recurrent point of irrational type such that Λ=ω(z). There exist q⩾1 and z0,z1 in fix(fspq) such that rotfspq,z0,z1(z)∈Q/Z. By Theorem 62, there exists a squeezed annulus A of fspq that contains z. Moreover z0 and z1 are not in the same component of the complement of A. Denote z∗ the point z0 or z1 that is not in the same component as ∞. As explained before, one has rotfspq,z∗,∞=rotfq∣R2∖{z∗}(z)∈Q/Z. Write Λ′=ωfspq(z). Since Λ′ is a compact subset of R2 and Λ′⊂Λ, one knows that ∞ does not belong to Λ′. We claim that z∗ also does not belong to Λ′. To see this, we argue by contradiction and suppose that z∗∈Λ′. Note first that z∗ cannot be neither a sink nor a source because Λ′ is a transitive set of fq. We deduce that the eigenvalues of Dfq(z∗) are distinct real numbers, otherwise z would be a sink because 0<detDfq(z∗)<1. Therefore one may blowup the point z∗ to a circle Σ and extend fq∣R2∖{z∗} to a homeomorphism gann of Rann2=(R2∖{z∗})⊔Σ admitting on Σ either a fixed point (if the eigenvalues are both positive), or a periodic point with period two (if the eigenvalues are both negative). We paste two copies of Rann2 on Σ to get an open annulus Rdouble2 and construct by reflection a homeomorphim gdouble on Rdouble2. The set ωgdouble(z) contains the point z, with rotgdouble(z)∈Q/Z, and a periodic point z′∈Σ, with rotgdouble(z′)=0+Z or rotgdouble(z′)=1/2+Z. By Theorem 37, we deduce that gdouble has a topological horseshoe, which is also the case for f.
Since Λ is locally stable for f, so is Λ′ for fq and one can find a forward invariant neighborhood U of Λ′ such that z∗ does not belong to U. The connected component of U that contains z, denoted U′, is forward invariant by a power of fq, because z is recurrent. It is essential in the annulus R2∖{z∗}, otherwise rotfq∣R2∖{z∗}(z) would be rational. This implies that U′ is forward invariant by g and that the connected component of R2∖U′ that contains z∗ is backward invariant and relatively compact. This contradicts the fact that fq decreases the area.
∎
Bibliography42
The reference list from the paper itself. Each links out to its DOI / PubMed record.
1[1] Angenent S. B.: A remark on the topological entropy and invariant circles of an area preserving twistmap. Twist mappings and their applications, 1–5 IMA Vol. Math. Appl. 44 (1992), Springer, New York.
2[2] Arnaud M.C.: Création de connexions en topologie C 1. Ergodic Theory Dynam. Systems 21 (2001), 339–381.
3[3] Barge M., Gillette R. M.: Rotation and periodicity in plane separating continua. Ergodic Theory Dynam. Systems 11 (1991), no. 4, 619–631.
4[4] Béguin F., Crovisier S., Le Roux F.:Construction of curious minimal uniquely ergodic homeomorphisms on manifolds: the Denjoy-Rees technique. Ann. Sci. École Norm. Sup. (4) 40 (2007), no. 2, 251–308.
5[5] Béguin F., Crovisier S., Le Roux F.: Fixed point sets of isotopies on surfaces. Jour. Europ. Math. Soc. 22 (2020), no. 6, 1971–2046.
6[6] Besicovitch A.: A problem on topological transformations of the plane. II. Proc. Cambridge Philos. Soc. 47 (1951), 38–45.
7[7] Birkhoff G.D.: Sur quelques courbes fermées remarquables Bull. Soc. math. France 60 (1932), no. 2, 1-26.
8[8] Bonatti C., Gambaudo J.M., Lion J.M., Tresser C.: Wandering domains for infinitely renormalizable diffeomorphisms of the disk. Proc. Am. Math. Soc. 122 (1994), no.4, 1273–1278.