Scholarly article on topic 'Rotational chaos and strange attractors on the 2-torus'

Rotational chaos and strange attractors on the 2-torus Academic research paper on "Mathematics"

0
0
Share paper
Academic journal
Mathematische Zeitschrift
OECD Field of science
Keywords
{""}

Academic research paper on topic "Rotational chaos and strange attractors on the 2-torus"

Math. Z. (2015) 279:689-702 DOI 10.1007/s00209-014-1388-1

Mathematische Zeitschrift

Rotational chaos and strange attractors on the 2-torus

Jan P. Boronski • Piotr Oprocha

Received: 13 December 2013 / Accepted: 15 September 2014 / Published online: 31 October 2014 © The Author(s) 2014. This article is published with open access at Springerlink.com

Abstract We construct a 2-torus homeomorphism h homotopic to the identity with an attracting R. H. Bing's pseudocircle C such that the rotation set of h|C is not a unique vector. The only known examples of such an attractor were Birkhoff's attractors, arising for dissipative maps with a twist. Our construction relies heavily on the Barge-Martin method for constructing attractors as inverse limits of graphs.

1 Introduction

The most popular definition of an attractor is that it is a closed invariant set with isolating neighborhood. Many authors strengthen this condition by demanding that there is a point with dense orbit, that is the map is transitive when restricted to the attracting set. In other words an attractor should be in some sense indecomposable. Milnor generalized this approach even further, saying that attraction should be "observable" in the sense that there is positive probability that a point will converge to it and no subset of attractor has such a property (see [29] for a review on various concepts of attractor and evolution of this notion in the mathematical literature). Unfortunately, when it comes to the definition of strange or chaotic attractors then there is even less agreement, neither one good definition. Veerman [36] calls an attractor in S1 x R strange if it has two orbits with different (rational) rotation numbers and the associated dynamics is then referred to as rotational chaos [12]. Probably the first example of a strange attractor in the above meaning dates back to the work of Birkhoff [7] published in 1932. Roughly speaking, a Birkhoff attractor is an attractor for a (properly chosen) map

J. P. Boronski

Division of the University of Ostrava, Institute for Research and Applications of Fuzzy Modeling, National Supercomputing Centre IT4Innovations, 30. Dubna 22, 70103 Ostrava, Czech Republic e-mail: jan.boronski@osu.cz

J. P. Boronski • P. Oprocha (B)

Faculty of Applied Mathematics, AGH University of Science and Technology, al. Mickiewicza 30, 30-059 Krakow, Poland e-mail: oprocha@agh.edu.pl

f = (fi, f2): S1 x R ^ S1 x R which is dissipative and satisfies twist condition, that is supxegixR | det( Df(x ))| < land dy fi(x, y) > 8 > 0, respectively. Maps of the above type, and Birkhoff attractors, received considerable attention in the mathematical literature (e.g. see [27] or [11]). An accessible summary of the results obtained in that field can be found in a book by Arrowsmith and Place [1].

The name "strange attractor" was to some extent motivated by the fact that, while plane separating, (Birkhoff) attractor with two different rotation numbers must be different from the circle, where the rotation number of a homeomorphism is always well defined and unique. Indeed, by the result of [4] any attracting cofrontier in an annulus with a non-degenerate rotation set must be indecomposable. Therefore probably the most "strange" attractor that can be expected is the pseudocircle, a peculiar continuum constructed by R.H. Bing in 1951 in [6]. It is characterized as a hereditarily indecomposable plane separating circlelike continuum. Therefore the pseudocircle is a topologically unique cofrontier. Any proper subcontinuum of the pseudocircle is a pseudoarc, the unique hereditarily indecomposable arc-like continuum [6,25,30]. Because of this equivalence of all subcontinua, the pseudocir-cle exhibits a kind of local self-similarity structure and therefore one can see it as fractal. After a decade since its construction, the pseudocircle was found to be non-homogeneous [18,34], despite homogeneity of the pseudoarc. Subsequently, Kennedy and Rogers proved it to be uncountably non-homogeneous [24] in the sense, that the homeomorphism group acting on the pseudocircle has uncountably many orbits (there are uncountably many different types of points). An interesting phenomenon to point out is also the fact that the two-point compactification of the universal cover of the pseudocircle is a pseudoarc [5, Fact p.1148] but no subcontinuum of the universal covering space covers the pseudocircle. Indeed, any such subcontinuum is the pseudoarc, and the pseudoarc cannot be mapped onto the pseudocircle [33]. This peculiarity cannot be observed in "nice" spaces, such as circle or surfaces. The pseudocircle admits periodic homeomorphisms (rational rotations) that extend to orientation-preserving and orientation-reversing homeomorphisms of the annulus or 2-sphere [9,24]. It occurs also as an attracting minimal set for a C^-smooth planar dif-feomorphism [21,22], the minimal set of a volume-preserving planar diffeomorphism [21], or as the boundary of a Siegel disk for a holomorphic map in the complex plane [14]. It is worth mentioning that the diffeomorphism constructed in [21] can be easily modified to an annulus homeomorphism (equal to the identity on the boundary), which gives a homeo-morphism of the 2-torus, with a pseudocircle as an attractor. However, this attractor is not strange (according to Veerman's definition), since it has a well-defined irrational rotation number.

In view of the aforementioned results, the following question has been known in the field of surface dynamics.

Question Is there a 2-torus homeomorphism homotopic to the identity with a pseudocircle as a strange attractor (in the sense ofVeerman)?

We learned about the problem from Tobias Oertel-Jager during Workshops on Complexity and Dimension theory of Skew Products Systems held at the Erwin Schrodinger International Institute for Mathematical Physics in Vienna, September 16 - 20,2013 (see also [32, p.3]). The question has been known also in the context of the much more difficult Franks-Misiurewicz Conjecture [20], which states that if the rotation set on 2-torus is a line segment of positive length, then it either contains infinitely many rational vectors or it has a rational endpoint.

In the present paper we show that the pseudocircle admits the desired dynamics indeed.

Theorem 1.1 There is a torus homeomorphism h: T2 ^ T2 homotopic to the identity, with a lift h: R2 ^ R2, such that h has an attracting pseudocircle C and the rotation set p(h, C) is not a unique vector. Furthermore, h lc is topologically mixing, has the shadowing property and positive topological entropy.

Curiously, at present time it is unknown if there are homeomorphisms of the pseudocircle with finite, non-zero entropy [31], although the homeomorphism of the pseudocircle that we construct has positive entropy. It is also not clear if pseudocircle can be nonchaotic strange attractor, i.e. strange attractor with zero topological entropy. Such a construction, if possible, cannot be obtained by an application of the results of [26] (see also [23]) which is an essential ingredient of our approach (see Lemma 3.1).

Our paper is organized as follows. Section 2 contains definitions. In Sect. 3 we first discuss the existence of a particular degree 1 circle map f with non-unique rotation number. The map is modified to a circle map g to preserve this dynamical property but, at the same time, to produce the pseudocircle in the inverse limit, when used as a sole bonding map. This map also induces a shift map on the inverse limit that will give the desired homeomorphism on the pseudocircle. To that end we also recall Barge and Martin's method of constructing attractors and apply it to the aforementioned inverse limit. Briefly, each factor space (circle) in the inverse limit is embedded in an annulus, and this way a new inverse limit of annuli is formed with the resulting space being the annulus. Consequently an appropriate embedding of the pseudocircle C is obtained with the shift homeomorphism extending to an annulus homeomorphism F. In order to control the rotation number of this homeomorphism, we construct a universal covering space of the annulus as the inverse limit of universal coverings of factor spaces (annuli). This ensures that the annulus homeomorphism F has a lift F with similar dynamical properties as the initially constructed circle maps f and g. This is manifested in the fact that F has a fixed point, as well as an unbounded orbit, which ensures non-uniqueness of the rotation vector of F on C. Finally, in Sect. 4 the torus homeomorphism with non-unique rotation vector on the pseudocircle is obtained from the annulus homeo-morphism described in Sect. 3. This last section also contains some open questions for future study.

2 Preliminaries

2.1 Notational convention

In the present paper we will use the following notational convention. Coordinates of points in cartesian products will be enumerated in the subscript e.g. (x\, X2, X3,...). Sets will be enumerated in the superscript e.g. U1, U2, U3, .... Inverse limit spaces will hold an arrow in their subscripts e.g. XCovering spaces and lifts of functions to such spaces will hold a hat e.g. h : A A .A map will be always a continuous function. For a given space X, by id we will denote the identity map given by id(x) = x for all x e X. We shall use symbols R, S1, A, T2, and R2 to denote respectively the real line, unit circle, annulus, 2-torus and the plane. For a set B the symbols B and int(B) will denote the closure and interior of B respectively. A vector in R2 will be denoted by (ax, a2>, whereas intervals in R will denoted by [a, b], (a, b), [a, b), and (a, b]. The Cartesian product of two spaces A and B will be denoted by A x B. For infinitely many spaces X1, X2,... this product will be denoted by Jl^ 1 Xi .If Xi = X for every i then we write ]"[ ^ 1 Xi = XN. The space of continuous self maps of a compact space (X, d) is always endowed with the metric of uniform convergence

d(f, g) = sup d(f (x), g(x))

which makes it a complete metric space.

2.2 Inverse limit spaces

Suppose a map f : X ^ X is given on a metric space X. The inverse limit space X= lim{ f, X} is the space given by

X = j(x1, x2, x3,...) e XN : f (xt+1) = x^.

The topology of Xis induced from the product topology of XN, with the basic open sets in Xgiven by

U^ = ( f -1(U), f -2(U), ...,U, f-1(U), f -2(U),...),

where U is an open subset of the ith factor space X, and i ranges over N (see e.g. Theorem 3 on p.79 in [16]). The map f is called a bonding map.1 There is a natural homeomorphism af : X^ Xcalled the shift homeomorphism, given by

Of (x1, x2, x3,...) = (f (x1), f (x2), f (x3),...) = (f (x1), x1, x2,...).

It is well known that af preserves many dynamical properties of f, such as shadowing property, topological mixing and topological entropy (e.g. see [13]). It is also easy to see that if c is a p-periodic point of f then

(fp-1(c), fp-2 (c), ...,c, fp-1(c), fp-2 (c), . . .)

is a p-periodic point of af. For more on inverse limits see [15].

A near-homeomorphism is a surjection that is the uniform limit of a sequence of homeo-morphisms. The following special case of a beautiful result due to M. Brown [10, Theorem 4] will be important to our constructions. One of the main applications of this theorem in our context, is that special types of continua can be embedded in the given space X by a careful choice of map H .

Theorem 2.1 (Brown) Let H: X ^ X be a near-homeomorphism of a compact metric space X. Then the inverse limit space X= lim{H, X} is homeomorphic to X.

2.3 Continua

A continuum is a compact and connected metric space that contains at least two points. A continuum is arc-like (resp. circle-like) if it can be expressed as the inverse limit of arcs (resp. circles).2 A continuum is indecomposable if it cannot be expressed as the union of two proper subcontinua. It is hereditarily indecomposable if each subcontinuum is indecomposable. Among many other properties, hereditarily indecomposable continua are nowhere locally connected and contain no arcs. A cofrontier is a continuum that separates the plane into exactly two components, is the boundary of each, and none of its subcontinua is plane separating. In other words, continuum C C R2 is a cofrontier if R2\C has two connected

1 In general, neither the bonding map needs to be unique, nor the factor spaces in the inverse system need to be the same. However, the given definition will be sufficient for our considerations.

2 This, in general, may not need to be obtained with a single bonding map.

components and R2\K has exactly one connected component for every proper subcontinuum

k c c .

2.4 Dynamical systems

A dynamical system is a pair consisting of a continuous map f: X ^ X and a compact metric space (X, d). By convention f0 = id and fn+1 = f o fn for all integers n > 0. A point p e X is periodic if fn (p) = p for some n > 0. The minimal such number is called a period of p. If p is a point of period 1 then we say that p is a fixed point.

The orbit of a point x e X is the set Orb(x, f) = {fn (x) : n e N}. The set of limit points of the orbit Orb(x, f) is called the rn-limit set of x, and is denoted by rn(x, f). Similarly, for any set U c X we denote by rn(U, f) the set of points y such that there are yk e U and an increasing sequence nk satisfying fnk (yk) = y. Clearly a>({x}, f) =

rn(x, f).

A nonempty set A c X is an attractor if there exists an open neighborhood U D A such that f (cl U) c U and rn(U, f) = A. Observe that by the definition, every attractor A is nonempty, closed and strongly invariant (i.e. f (A) = A). We say that f is (topologically) mixing if for all nonempty open sets U, V c X there is N such that fn (U) n V = 0 for every n > N, and (topologically) exact if for every nonempty open set U there is n > 0 such that fn (U) = [0, 1]. Clearly, each exact map is mixing but not conversely. In both cases there is a point x e X (in fact a residual set of such points) such that rn(x, f) = X.

2.5 Covering spaces

We say that t : Y ^ Y is a covering map if for every y e Y there is an open neighborhood W of y such that t-1 (W) consists of pairwise disjoint sets {Wn : n e N}, each of which is mapped by t homeomorphically onto W; i.e. t | Wn is a homeomorphism. In such a case the open sets Wn are called sheets of W. A lift of a map f: Y ^ Y is a map f: Y ^ Y such that t o f = f o t . For simplicity, we shall also call a point y e Y a lift of a point y e Y if y e t-1(y). A universal cover (Y, t) of Y is a cover such that if (Y', t') is any other cover then there is a covering map p : Y ^ Y'.

2.6 Rotation sets

Let h: T2 ^ T2 be a homeomorphism of the 2-torus homotopic to the identity, and let h : R2 ^ R2 be its lift to the universal covering space (R2, t). For the reminder of this article, t will be acting in polar coordinates, that is t(x , p) = t (y, q) iff x — y, p — q e 2n Z. The same convention will be applied in the case of covering spaces of S1 and A. The rotation set of h is given by

P(h) =

p e R2

Bzi e R2, n¡ / ro:

r hni (zi) - zi lim - = p

i ^ro 2n ni

Note that the rotation set p (h) is contained in the set of accumulation points of the set

hn (z) - z 2n n

z e R2, n e N

Given a subset W, the rotation set of h on W is given by

P(h, W) =

p e R2

3zi e t 1(W), ni / <x : lim

hni (zi) - zi 2n m

When W, in the above definition, is a singleton (say W = {p}) we shall just write p(h, p). The rotation sets of degree 1 annulus maps and circle maps are defined in an analogous way, as subsets of R.

Note that if h: A ^ A is identity on the boundary of A then, identifying respective points on boundaries, we can naturally view h as a map on h: T2 ^ T2 and furthermore, every v e p(h) is of the form v = (a, 0) for some a e R. By the result of [4, Theorem 2.7], if C c int A c is a cofrontier invariant under a homeomorphism h: A ^ A and p(h, C) does not degenerate to a unique point, then C is indecomposable.

3 Auxiliary lemmas

Before we start our construction of a torus homeomorphism, we need to construct a map of the circle, whose inverse limit is the pseudocircle and the induced shift homeomorphism has two properly chosen periodic orbits.

Lemma 3.1 Consider a piecewise linear map g: [0, 2n R determined by the following conditions (see Fig. 1): g(0) = 2n/3, g(2n/3) = 10n/3, g(4n/3) = 0, g(2n) = 8n/3, and g is linear on the intervals [0, 2n/3],[2n/3, 4n/3] and [An/3, 2n]. Extend g to a map g: R ^ R periodically, putting g(x + 2n) = f (x) + 2n. Then

(i) g is a lift to the universal cover (R, t) of a degree 1 map g: S1 ^ S1,

(ii) there is a fixed point p of g in the interval (0, 1),

(iii) q = 0 is a lift of a 3-periodic point q of g,

(iv) the orbit ofq under g is unbounded,

(v) p(g, T(p)) = {0} and p(g, q) = {1/3},

(vi) the map g is topologically exact.

Proof The only statement that needs clarification is that g is exact. First observe that on each interval of linearity the map g is expanding with factor at least 3. Fix any open subset U of S1 and let I be an open interval in (0, 2n) such that t(I) C U. Observe that if we apply g to I then there is n > 0 such that gn (I) contains two critical points, that is points of the form 2n k/3 for some k > 0 (it is because g has slope at least 3 over each interval of linearity). Then it is not hard to see that after at most 3 more iterations we will cover the whole interval [2nm, 2n(m + 1)] for some m e N. In other words, there exists s > 0 such that [2nm, 2n(m + 1)] c gs(I). But in terms of dynamics of g it means that gm(U) = S1 showing that indeed g is topologically exact. □

The following result from [26] will allow us to produce a circle map f with similar dynamical properties to the map g from Lemma 3.1, but with the pseudocircle as the inverse limit space ljm{ f, S1}.

Theorem 3.2 Let G be a topological graph and let K = {a1,..., as} c G be a finite set. For every topologically exact map g: G ^ G and every 8 > 0 there is a topologically mixing map g8 : G ^ G with the shadowing property, such that d(g, gs) < 8, g8(aj) = g(aj) for every j and the inverse limit ljm{gs, G} is hereditarily indecomposable.

Fig. 1 A sketch of the graph of map g from Lemma 3.1

Corollary 3.3 There is a map f: S1 ^ S1, its lift f : R ^ R, a fixed point p e S1, periodic point of period three q e S1, and there are points p and q, lifts of p and q respectively, such that p is a fixed point for f , p( f, q) = {3} (in particular orbit ofq is unbounded) and lim{ f, S1} is the pseudocircle.

Proof Let g be the map from Lemma 3.1 and let g be its lift to the universal cover (R, t) . Let p and q denote the fixed point and point of period 3, respectively, provided in Lemma 3.1. Denote K = {p, q, g(q), g2(q)}. Without loss of generality we may assume that t(0) = p. Let 8 > 0 be small enough, so that if 0(g, f) < 8 then f is a map of degree 1. Let g be a lift of g such that g(0) = 0 and let q e [0, 2n] be a lift of q.

Let f = gs be provided by Theorem 3.2. Then g(x) = f (x) for each x e K, p is fixed point and q is point of period 3 for both f and g. Let f be lift of f such that f (0) = 0. We have g(0) = f (0) and hence we also must have f (q) = g(q) as otherwise there is p e (0, q) such that | f (q) — g(q)| e (8, 1) which yields 0(f, g) > 8. By induction we obtain that f' (q) = g' (q) for every i. The above observation implies that p( f, q) = p(g, q) = {1/3}. We remark here that g could also be obtained by a direct modification of f but it would involve another proof, analogous to the one of Theorem 3.2.

Finally, the inverse limit lim{ f, S1 } is the pseudocircle, since f has degree 1, by the result of Fearnley [17, Theorem t-] (for more details see also [19] or [26, Corollary 24] and comments therein) which completes the proof. □

The following lemma exhibits a special type of embedding into the annulus for a graph of a degree 1 map. This kind of an embedding will be useful in the proof of Lemma 3.7.

Lemma 3.4 Let g: R ^ R be a lift of a map of degree 1. Then the map rng : [0, 2n) 3 t ^ (g(t) (mod 2n), g(t) — t) e S1 x R defines a simple closed curve (Fig. 2).

Proof Denote a = rng([0, 2n)) and observe that a is a closed curve since

(g(2n) (mod 2n), g(2n) — 2n) = (g(0) + 2n (mod 2n), g(0)).

Next observe that if a has self-intersections then there are distinct s, t e [0, 2n) such that (g(t) (mod 2n ), g(t) — t) = (g(s) (mod 2n ), g(s) — s). But then, without loss of generality,

Fig. 2 The graph of the map a g in Lemma 3.4

there is k e N such that g(s) = g(t) + 2nk and then g(t) — t = g(s) — s = g(t) — s + 2nk. If k = 0 then t = s which is impossible, and when k > 1 then — t < 0 < 2nk — s which is again a contradiction, since — t = 2nk — s. □

Remark 3.5 Note that if n : (x, y) ^ (x, 0) and we identify [0, 2n) with S1 x {0} then the action of n o rng coincides with the projection of g onto S1.

The following theorem summarizes a result of Barge and Martin from [2] that allows to present any arc-like continuum as a global attractor of a planar homeomorphism.

Theorem 3.6 (Barge and Martin) Every continuum K= lim{ f, [0, 1]}, can be embedded into a disk D in such a way that

(i) K^ is an attractor of a homeomorphism h : D ^ D,

(ii) h|K^ = of; i.e. h restricted to Kagrees with the shift homeomorphism induced by f, and

(iii) h is the identity on the boundary of D.

It was pointed out in [3, p.19] that the same is true if f is a degree ±1 circle map and h is an annulus homeomorphism. Because it seems that the proof of this fact has never been published, for completeness sake we recall the procedure from [2], and adopt it to the case of degree 1 circle maps.

Lemma 3.7 Suppose f : S1 ^ S1 is of degree 1 and let C= lim{ f, S1}. Then there is an annulus homeomorphism F: A ^ A and an embedding e: C^ ^ A such that

(i) e(C^) is an attractor of F,

(ii) F |e(c^) is conjugate to the shift homeomorphism of,

(iii) F is the identity on the boundary of A.

Proof In our construction, as usual, we will be using polar coordinates, with the angular projection ne given by n$(r, 0) = 0. For i = 1, 2, 3 let A; = {(r, 0) : 4 — i < r < 4 + i}

Fig. 3 The idea behind the construction of maps Gt in Lemma 3.7

and S = {(r,0) : r = 4}. In order to define a homeomorphism h: A3 ^ A3 we first put h|(A3\A2) = id. Additionally, we can apply Lemma 3.4 and define h(S) as a simple closed curve with the property that ng(h(r,6)) = f (0) (i.e. after angular projection h reverts to f) and h(S) c int A1. Then, by Annulus Theorem (see [35]), h can be extended to a homeomorphism of the entire annulus A3.

As the next step of our proof we will define a homotopy G: A3 x[0, 1]^ A3, putting Gt = G(■, t): (r,0) ^ (nt (r),0) for t e [0, 1]}, where n is a piecewise linear map defined by Vt (1) = 1, nt (3) = 3 + t, nt (5) = 5 — t, and qt (7) = 7 (see Fig. 3). Observe that the following conditions are satisfied (Fig. 4):

(i) G0 = id,

(ii) Gt is a homeomorphism for each t = 1,

(iii) Gt |Bd(A3) = id, for all t e [0, 1].

(iv) for each 0 e [0, 2n) we have {(r, 0) : 3 < r < 5} C G—1(4, 0),

(v) G1 (A1) = S, and

(vi) for every x e int (A3) there is n such that G1 e S.

Now we set H = G1 o h. By the construction, H is a near-homeomorphism, hence by Theorem 2.1 it follows that A^ = lim{H, A3} is homeomorphic to A. We also have a natural embedding e: C^ ^ A^ since H |s coincides with f (up to identification of S with S1). Note that if we put U = {(ri ,0i) e A^ : 3 < r1 < 5} then by the definition of H we see that aH (U) c {nS^ (r ,0i) e A^ : r1 = 4} c U and rn(U,aH) c A^ n SN « C^. This shows that C^ is an attractor, hence the proof is completed by setting F := oh . □

In what follows we will make no distinction between the inverse limit space C^ and its copy e(C^) embedded essentially in the annulus A ~ A^. In the following lemma we

Fig. 4 Graph of the map nt

show how a lift of a circle map f can be related to a lift of the annulus homeomorphism F constructed in the Lemma 3.7.

Lemma 3.8 Let f : S1 ^ S1, f : R ^ R be the maps from Corollary 3.3 and F : A^ ^ A^ be the coresponding annulus homeomorphism from Lemma 3.7. There is a universal cover (A^, r^) of A^ and a lift F: A^ > A^ of F with the property F \T-1 (c^) — &f.

Proof Let h: A3 ^ A3 and Gt : A3 ^ A3 for every t e [0, 1] be as in the proof of Lemma 3.7 and (A, t) be a universal cover of A3. Letp e S be the fixed point of f — H\s provided by Corollary 3.3, where as we remember H — G1 o h. Fix p e t-1 (p). There are unique lifts h: A ^ A and Gt: A ^ A,of h and Gt respectively (where t e [0, 1]), such that h(p) — Gt (p) — p for every t e [0, 1]. In addition h and Gt are homeomorphisms for every t e [0, 1). Setting H — G1 o h we obtain a lift of H which is also a near-homeomorphism.

Let A±ra — A U{—ra, ra} be a two-point compactification of A by —ra and ra. Note that A±ra is topologically a disk. Since h and Gt for every t e[0, 1] are homotopic to the identity, they extend uniquely to A±ra. This is simply obtained by setting h (ra) — Gt (ra) — ra and h (—ro) — Gt (—ro) — — ra for every t e [0, 1]. Then the extended map H: A±ra ^ A±ra is a near-homeomorphism and it is the identity on the boundary of the disc A±ra. Now consider the inverse limit space D— Hm{A±ra, H}. The space Dis a disk, by Theorem 2.1, and if we denote —ra — (—ra, —ra, —ra,...) and ra — (ra, ra, ra,...) then ra and —ra are on the boundary of D^. In particular D^ is simply connected. Let t^ : D^\{—ra, ra} ^ A^ be given by t^(x1, x2, X3,...) — (t(x1 ), t(x2), t(x3),...). Recall that A^ — Hm{H, A3}.

We claim that A^ — D^\{—ra, ra} is a universal cover of A^ with t^ as the covering map. Since D^\{—rc), ra} — R x[0, 1], we only need to show that t^ is a covering map.

Note that

t o H — H o t. (3.1)

Since t is a covering map, there is a disk neighborhood U of x 1 such that t—1 (U) — |J{Un : n e N}, where all sets Un are pairwise disjoint, each Un is open in A and mapped homeomorphically onto U by t , i.e. Un are the sheets of U. We shall show that, for a fixed n, the set U^ — (Un, H—1 (Un), H—2 (Un),...) is a sheet of

U= (U, H-1(U), H-2(U), ...). Note that U^L is open, as it is a basic set for the topology of A^. By (3.1) it should be clear that r^(Ul_) = U^ for each n e N and r —1 (U«_) = |J (U^ : n e N}. It remains to show that r^|U^ is injective for every n e N.

We will prove by induction that r is injective on H-k(Un) for every k > 0. For k = 0 there is nothing to prove, so assume that r is injective on H-k(Un) but not on H-k-1 (Un) for some k > 0. Take any distinct x, y e H-k-1(Un ) such that r(x ) = r(y).Thenx = y + v for some v e 2n Z and H (x) = H (y + v) = H (y) + v since H is of degree 1. But then by (3.1) and the fact that H (x ), H (y) e H-k (Un ) we obtain that

H (r(x )) = r(H (x )) = r(H (y)) = H (r(y)) = H (r(x )) which is a contradiction. But this shows that

= (т|Un, т|я—1 (Un), т|н—2(Un),.. .

is injective and so the claim is proved.

The proof is completed by putting F := oh .

In the following lemma we relate the rotation set of f to the rotation set of F. In the proof, we use the same notation as in the proof of the previous lemma (Fig. 5).

Lemma 3.9 Let f, f, F and F be as in Lemma 3.8. Then the rotation set of F contains two distinct numbers.

Proof Recall that p is a fixed point of f with p( f, p) = {0}, and q is a 3-periodic point of f with p(f, q) = {3}. For any q e t —1 (q) we have

lim fk (q ) = <x>.

As a consequence

lim аk(â, H—1

k^œ f

, H—2(q ),...)

= lim F

H—l(q ), H —2(q ),...)

This shows that p(F, p) = {0}, whereas p(F, q) = {0}. Indeed, since the orbit {Fn(q) : n = 1, 2, 3,...} is unbounded, and q is 3-periodic for F, there must be an integer к = 0 such that F3(q) = q + 2кп. Consequently p(F, q) = (3П, 0). □

Combining all the previous facts together we get the following:

Theorem 3.10 There is an annulus homeomorphism F: A ^ A, its lift to the universal cover F and a pseudocircle C С A such that

Fig. 5 Approximation in the universal cover

(i) F (C) — C,

(ii) C is an attractor of F,

(iii) the rotation set of p(F, C) contains two distinct numbers (one of which is 0),

(iv) F is the identity on the boundary components.

Remark 3.11 Note that the annulus homeomorphism F above has an m-periodic point in C for every m > 3. All such periodic points are induced from the circle map f, for which they are guaranteed by the period-forcing result of Block [8, Theorem A].

4 Main result

Theorem 1.1. There is a torus homeomorphism h: T2 ^ T2 homotopic to the identity, with a lift h : R2 ^ R2, such that h has an attractingpseudocircle C and the rotation set p(h, C) is not a unique vector. Furthermore, h\c is topologically mixing, has shadowing property and positive topological entropy.

Proof Let A ^ A be the annulus homeomorphism from Theorem 3.10 with the attracting pseudocircle C. Identify two points in A if they are on the boundary of A and share the angular coordinates. That is, let A — {(r, p) \ 1 < r < 2} be given in polar coordinates and consider a relation ~ on A defined by

(rx, p1) ~ (r2, pi) if and only if (rx — r2 — 1 or r2 — rx — 1) and px — p2.

Then A/ ~ is homeomorphic to T2, and F induces a homeomorphism h: T2 ^ T2. The lift F provided by Theorem 3.10 gives a lift h of h to the universal covering space with two rotation vectors <0, 0), (^, 0) e p(h, C).Finally, h\c is topologically mixing, has shadowing property and positive topological entropy since h\c — &f and f has all these properties. □

It should be clear that our procedure of producing a connected attractor with rotation interval will also work for other degree 1 circle maps that have two distinct numbers in their rotation set. For example, the map g from Lemma 3.1 produces an attractor with non-unique rotation vector that is not homeomorphic to the pseudocircle. Indeed, one easily see that the attractor Ag — lim^1, g} contain arcs (the same seems true for Birkhoff attractors [27]), hence it is topologically distinct from the pseudocircle that does not contain any arcs. This motivates the following two problems.

Question 1 Are there uncountably many topologically distinct connected strange attractors in T2?

Question 2 Characterize the inverse limits lim{S1, f} for degree 1 circle maps f, that admit two distinct rotation numbers. What conditions on such f : S1 ^ S1 and g : S1 ^ S1 assure that lim^1, f} and lim^1, g} are topologically distinct?

It is expected that, as in the case of Buckethandle Continua [37], the number of turning points of the bonding map will determine non-homeomorphic classes of continua. For example a piecewise monotone bonding map g5 built on a 5-periodic orbit will lead to an inverse limit space topologically distinct from the one obtained by using the map g in Lemma 3.1. As a reminder, we also repeat a question stated before in the introduction.

Question 3 Can the pseudocircle C be a strange non-chaotic attractor in T2 (i.e. dynamics on C has zero entropy and non-unique rotation vector)?

Finally, we wonder if pseudocircles can arise as approximations of plane separating attrac-tors for annulus homeomorphisms whose rotation set is nondegenerate.

Question 4 Suppose h is an annulus homeomorphism with an attracting circle-like cofrontier A such that the rotation set of h| A is nondegenerate. Given e > 0, is there an annulus homeomorphism g and a pseudocircle C, such that d(h, g) < e and the rotation set of g|C is nondegenerate?

The above question is motivated by the fact that by Theorem 3.2 every topologically exact map on S1 can be approximated by a map that, when used as a sole bonding map of an inverse system, gives the pseudocircle in the inverse limit. In fact the same is true for the identity map on S1 according to Remark on p. 209 in [23]. Therefore it seems that if A is circle-like and h is constructed by the inverse limit technique considered in the present paper, then the above question has an affirmative answer, but the problem may be more difficult to solve in its full generality. Also, it may be interesting to determine if pseudocircles could approximate other attracting cofrontiers admitting annulus homeomorphisms with non-unique rotation number, that are not necessarily circle-like. This is motivated by the fact that the pseudoarc approximates any continuum in Rn, for n > 1 and every map between two subcontinua in Rm, with m > 2 can be approximated by a homeomorphism between two pseudoarcs [28].

Acknowledgments The authors express many thanks to Henk Bruin, Tobias Oertel-Jager, Alejandro Passeggi and Sonja Stimac for stimulating discussions during Workshops on Complexity and Dimension theory of Skew Products Systems held at the Erwin Schrodinger International Institute for Mathematical Physics (ESI) in Vienna, September 16-20, 2013. The authors are grateful for the kind hospitality of the institute during their stay in Vienna supported by ESI, the DFG network Grant Oe 538/3-1, OeAD (Project PL 02/2013) and MNiSW (Project AT 2/2013-15). J. Boroiiski's work was supported by the European Regional Development Fund in the IT4Innovations Centre of Excellence project (CZ.1.05/1.1.00/02.0070). J. Boronnski also gratefully acknowledges the partial support from the MSK DT1 Support of Science and Research in the Moravian-Silesian Region 2013 (RRC/05/2013). The research of P. Oprocha was supported by the Polish Ministry of Science and Higher Education from sources for science in the years 2013-2014, Grant No. IP2012 004272.

Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.

References

1. Arrowsmith, D.K., Place, C.M.: An Introduction to Dynamical Systems. Cambridge University Press, Cambridge (1990)

2. Barge, M., Martin, J.: The construction of global attractors. Proc. Am. Math. Soc. 110, 523-525 (1990)

3. Barge, M., Roe, R.: Circle maps and inverse limits. Topol. Appl. 36, 19-26 (1990)

4. Barge, M., Gillette, R.: Rotation and periodicity in plane separating continua. Ergod. Theory Dyn. Sys. 11,619-631 (1991)

5. Bellamy, D.P., Lewis, W.: An orientation reversing homeomorphism of the plane with invariant pseudo-arc. Proc. Am. Math. Soc. 114(4), 1145-1149 (1992)

6. Bing, R.H.: Concerning hereditarily indecomposable continua. Pac. J. Math. 1, 43-51 (1951)

7. Birkhoff, G.D.: Sur quelques curves fermee remarkable. Bull. Soc. Math. France 60, 1-26 (1932)

8. Block, L.: Periodic orbits of continuous mappings of the circle. Trans. Am. Math. Soc. 260, 553-562 (1980)

9. Boroiiski, J.P.: Periodic orientation reversing homeomorphisms of the 2-sphere with an invariant pseudo-circle. Topol. Proc. 40, 83-90 (2012)

10. Brown, M.: Some applications of an approximation theorem for inverse limits. Proc. Am. Math. Soc. 11, 478-483(1960)

11. Casdagli, M.: Periodic orbits for dissipative twist maps. Ergod. Theory Dyn. Syst. 7, 165-173 (1987)

12. Casdagli, M.: Rotational chaos in dissipative systems. Phys. D 29, 365-386 (1988)

13. Chen, L., Li, S.H.: Dynamical connections between a continuous map and its inverse limit space. IN: Continuum Theory and Dynamical Systems, Lecture Notes in Pure and Applied Mathematics, vol 149, pp 89-97, Dekker, New York (1993)

14. Chéritat, A.: Relatively compact Siegel disks with non-locally connected boundaries. Math. Ann. 349, 529-542 (2011)

15. Eilenberg, S., Steenrod, N.: Foundations of Algebraic Topology. Princeton University Press, Princeton (1952)

16. Engelking, R.: Zarys topologii oglnej. (Polish) [Outline of general topology] Biblioteka Matematyczna. Tom 25 Pastwowe Wydawnictwo Naukowe, Warsaw (1965)

17. Fearnley, L.: The pseudo-circle is unique. Trans. Am. Math. Soc. 149, 45-64 (1970)

18. Fearnley, L.: The pseudo-circle is not homogeneous. Bull. Am. Math. Soc. 75, 554-558 (1969)

19. Fearnley, L.: Classification of all hereditarily indecomposable circularly chainable continua. Trans. Am. Math. Soc. 168, 387-401 (1972)

20. Franks, J., Misiurewicz, M.: Rotation sets of toral ows. Proc. Am. Math. Soc. 109, 243-249 (1990)

21. Handel, M.: A pathological area preserving Cœ diffeomorphism of the plane. Proc. Am. Math. Soc. 86, 163-168 (1982)

22. Herman, M.: Construction of some curious diffeomorphisms of the Riemann sphere. J. Lond. Math. Soc. (2) 34, 375-384 (1986)

23. Kawamura, K., Tuncali, H.M., Tymchatyn, E.D.: Hereditarily indecomposable inverse limits of graphs. Fund. Math. 185, 195-210 (2005)

24. Kennedy, J., Rogers Jr, J.T.: Orbits of the pseudocircle. Trans. Am. Math. Soc. 296, 327-340 (1986)

25. Knaster, B.: Un continu dont tout sous-continu est indécomposable. Fund. Math. 3, 247-286 (1922)

26. Koscielniak, P., Oprocha, P., Tuncali, M.: Hereditary indecomposable inverse limits of graphs: shadowing, mixing and exactness. Proc. Am. Math. Soc. 142, 681-694 (2014)

27. Le Calvez, P.: Propriétés des attracteurs de Birkhoff. Ergod. Theory Dyn. Syst. 8(2), 241-310 (1988)

28. Lewis, W.: Most maps of the pseudo-arc are homeomorphisms. Proc. Am. Math. Soc. 91(1), 147-154 (1984)

29. Milnor, J.: On the concept of attractor. Commun. Math. Phys. 99, 177-195 (1985)

30. Moise, E.E.: An indecomposable plane continuum which is homeomorphic to each of its nondegenerate subcontinua. Trans. Am. Math. Soc. 63, 581-594 (1948)

31. Mouron, C.: A chainable continuum that admits a homeomorphism with entropy of arbitrary value. Houst. J. Math. 35, 1079-1090 (2009)

32. Oertel-Jâger, T., Passeggi, A.: On torus homeomorphisms semiconjugate to irrational rotations. Ergod. Theory Dyn. Syst. pp 1-24 (online). doi:10.1017/etds.2014.23

33. Rogers Jr, J.T.: Mapping the pseudo-arc onto circle-like, self-entwined continua. Mich. Math. J. 17, 91-96 (1970)

34. Rogers Jr, J.T.: The pseudo-circle is not homogeneous. Trans. Am. Math. Soc. 148, 417-428 (1970)

35. Rolfsen, D.: Knots and links. In: Mathematics Lecture Series. No. 7. Publish or Perish, Inc, Berkeley (1976)

36. Veerman, P.: Strange attractors in dissipative maps with one angular variable. In: European Conference on Iteration Theory (Caldes de Malavella, 1987), pp. 338-362. World Scientific, Teaneck, NJ (1987)

37. Watkins, W.T. : Homeomorphic classification of certain inverse limit spaces with open bonding maps. Pac. J. Math. 103, 589-601 (1982)