Showing 1–19 of 19 results for author: Guelman, N

Interval Exchange Transformations groups. Free actions and dynamics of virtually abelian groups

Authors: Nancy Guelman, Isabelle Liousse

Abstract: Hölder's theorem states that any group acting freely by circle homeomorphisms is abelian, this is no longer true for interval exchange transformations: we first give examples of free actions of non abelian groups. Then after noting that finitely generated groups acting freely by IET are virtually abelian, we classify the free actions of groups containing a copy of $\mathbb Z^2$, showing that they… ▽ More Hölder's theorem states that any group acting freely by circle homeomorphisms is abelian, this is no longer true for interval exchange transformations: we first give examples of free actions of non abelian groups. Then after noting that finitely generated groups acting freely by IET are virtually abelian, we classify the free actions of groups containing a copy of $\mathbb Z^2$, showing that they are ``conjugate" to actions in some specific subgroups $G_n$, namely $G_n \simeq ({\mathcal G}_2)^n \rtimes\mathcal S_n $ where ${\mathcal G}_2$ is the group of circular rotations seen as exchanges of $2$ intervals and $\mathcal S_n$ is the group of permutations of $\{1,...,n\}$ acting by permuting the copies of ${\mathcal G}_2$. We also study non free actions of virtually abelian groups and we obtain the same conclusion for any such group that contains a conjugate to a product of restricted rotations with disjoint supports and without periodic points. As a consequence, we provide examples of non virtually nilpotent subgroups of IETs. In particular, we show that the group generated by $f\in G_n$ periodic point free and $g\notin G_n$ is not virtually nilpotent. Moreover, we exhibit examples of finitely generated non virtually nilpotent subgroups of IETs, some of them are metabelian and others are not virtually solvable. △ Less

Submitted 8 May, 2023; originally announced May 2023.

MSC Class: 37E05 57S30 37C85 20K35 20F50

Uniform simplicity for subgroups of piecewise continuous bijections of the unit interval

Authors: Nancy Guelman, Isabelle Liousse, Pierre Arnoux

Abstract: Let $I=[0,1)$ and $\mathcal{PC}(I)$ [resp. $\mathcal{PC}^+(I)$] be the quotient group of the group of all piecewise continuous [resp. piecewise continuous and orientation preserving] bijections of $I$ by its normal subgroup consisting in elements with finite support (i.e. that are trivial except at possibly finitely many points). Unpublished Theorems of Arnoux ([Arn81b]) state that… ▽ More Let $I=[0,1)$ and $\mathcal{PC}(I)$ [resp. $\mathcal{PC}^+(I)$] be the quotient group of the group of all piecewise continuous [resp. piecewise continuous and orientation preserving] bijections of $I$ by its normal subgroup consisting in elements with finite support (i.e. that are trivial except at possibly finitely many points). Unpublished Theorems of Arnoux ([Arn81b]) state that $\mathcal{PC}^+(I)$ and certain groups of interval exchanges are simple, their proofs are the purpose of the Appendix. Dealing with piecewise direct affine maps, we prove the simplicity of the group $\mathcal A^+(I)$ (see Definition 1.6). These results can be improved. Indeed, a group $G$ is uniformly simple if there exists a positive integer $N$ such that for any $f,φ\in G\setminus\{Id\}$, the element $φ$ can be written as a product of at most $N$ conjugates of $f$ or $f^{-1}$. We provide conditions which guarantee that a subgroup $G$ of $\mathcal{PC}(I)$ is uniformly simple. As Corollaries, we obtain that $\mathcal{PC}(I)$, $\mathcal{PC}^+(I)$, $PL^+ (\mathbb S^1)$, $\mathcal A(I)$, $\mathcal A^+(I)$ and some Thompson like groups included the Thompson group $T$ are uniformly simple. △ Less

Submitted 16 September, 2021; v1 submitted 13 September, 2021; originally announced September 2021.

Comments: This text contains the simplicity result for the group of Affine Interval Exchange Transformations of arXiv: 1910.0823V1, but its major part concerns the uniform simplicity of this group and subgroups of piecewise continuous bijections of the interval and an appendix by Pierre Arnoux that resumes its unpublished thesis results on the simplicity of certain groups of piecewise continuous bijections

MSC Class: 57S30; 37E05; 20F12; 20E32

Uniqueness of minimal unstable lamination for discretized Anosov flows

Authors: Nancy Guelman, Santiago Martinchich

Abstract: We consider the class of partially hyperbolic diffeomorphisms $f:M\to M$ obtained as the discretization of topological Anosov flows. We show uniqueness of minimal unstable lamination for these systems provided that the underlying Anosov flow is transitive and not orbit equivalent to a suspension. As a consequence, uniqueness of quasi-attractors is obtained. If the underlying Anosov flow is not tra… ▽ More We consider the class of partially hyperbolic diffeomorphisms $f:M\to M$ obtained as the discretization of topological Anosov flows. We show uniqueness of minimal unstable lamination for these systems provided that the underlying Anosov flow is transitive and not orbit equivalent to a suspension. As a consequence, uniqueness of quasi-attractors is obtained. If the underlying Anosov flow is not transitive we get an analogous finiteness result provided that the restriction of the flow to any of its attracting basic pieces is not a suspension. A similar uniqueness result is also obtained for certain one-dimensional center skew-products. △ Less

Submitted 4 July, 2020; originally announced July 2020.

Comments: 20 pages, 2 figures

MSC Class: 37D30 (Primary) 37C70; 37C86 (Secondary)

Uniform perfectness for Interval Exchange Transformations with or without Flips

Authors: Nancy Guelman, Isabelle Liousse

Abstract: Let $\mathcal G$ be the group of all Interval Exchange Transformations. Results of Arnoux-Fathi ([Arn81b]), Sah ([Sah81]) and Vorobets ([Vor17]) state that $\mathcal G_0$ the subgroup of $\mathcal G$ generated by its commutators is simple. In [Arn81b], Arnoux proved that the group $\overline{\mathcal G}$ of all Interval Exchange Transformations with flips is simple. We establish that every eleme… ▽ More Let $\mathcal G$ be the group of all Interval Exchange Transformations. Results of Arnoux-Fathi ([Arn81b]), Sah ([Sah81]) and Vorobets ([Vor17]) state that $\mathcal G_0$ the subgroup of $\mathcal G$ generated by its commutators is simple. In [Arn81b], Arnoux proved that the group $\overline{\mathcal G}$ of all Interval Exchange Transformations with flips is simple. We establish that every element of $\overline{\mathcal G}$ has a commutator length not exceeding $6$. Moreover, we give conditions on $\mathcal G$ that guarantee that the commutator lengths of the elements of $\mathcal G_0$ are uniformly bounded, and in this case for any $g\in \mathcal G_0$ this length is at most $5$. As analogous arguments work for the involution length in $\overline{\mathcal G}$, we add an appendix whose purpose is to prove that every element of $\overline{\mathcal G}$ has an involution length not exceeding $12$. △ Less

Submitted 16 September, 2021; v1 submitted 20 October, 2019; originally announced October 2019.

Comments: Former arXiv:1910.0823 is completed and split as two parts: This one deals with commutator length for groups of IET with or without flips, we removed AIET sections, the title is changed: we replaced "bounded simplicity" by "uniform perfectness". This text will be published in Ann. Inst. Fourier but it also contains an extra appendix on involution length. The second part is arXiv:2109.05706

MSC Class: 20E32 37E05 20F12

Reversible Maps and Products of Involutions in Groups of IETS

Authors: Nancy Guelman, Isabelle Liousse

Abstract: An element $f$ of a group $G$ is reversible if it is conjugated in $G$ to its own inverse; when the conjugating map is an involution, $f$ is called strongly reversible. We describe reversible maps in certain groups of interval exchange transformations namely $G_n \simeq (\mathbb S^1)^n \rtimes\mathcal S_n $, where $\mathbb S^1$ is the circle and $\mathcal S_n $ is the group of permutations of… ▽ More An element $f$ of a group $G$ is reversible if it is conjugated in $G$ to its own inverse; when the conjugating map is an involution, $f$ is called strongly reversible. We describe reversible maps in certain groups of interval exchange transformations namely $G_n \simeq (\mathbb S^1)^n \rtimes\mathcal S_n $, where $\mathbb S^1$ is the circle and $\mathcal S_n $ is the group of permutations of $\{1,...,n\}$. We first characterize strongly reversible maps, then we show that reversible elements are strongly reversible. As a corollary, we obtain that composites of involutions in $G_n$ are product of at most four involutions. We prove that any reversible Interval Exchange Transformation (IET) is reversible by a finite order element and then it is the product of two periodic IETs. In the course of proving this statement, we classify the free actions of $BS(1,-1)$ by IET and we extend this classification to free actions of finitely generated torsion free groups containing a copy of $\mathbb Z^2$. We also give examples of faithful free actions of $BS(1,-1)$ and other groups containing reversible IETs. We show that periodic IETs are product of at most $2$ involutions. For IETs that are products of involutions, we show that such 3-IETs are periodic and then are product of at most $2$ involutions and we exhibit a family of non periodic 4-IETs for which we prove that this number is at least $3$ and at most $6$. △ Less

Submitted 3 July, 2019; originally announced July 2019.

Distortion in groups of Affine Interval Exchange transformations

Authors: Nancy Guelman, Isabelle Liousse

Abstract: In this paper, we study distortion in the group $\mathcal A$ of Affine Interval Exchange Transformations (AIET). We prove that any distorted element $f$ of $\mathcal A$, has an iterate $f^ k$ that is conjugate by an element of $\mathcal A$ to a product of infinite order restricted rotations, with pairwise disjoint supports. As consequences we prove that no Baumslag-Solitar group, $BS(m,n)$ with… ▽ More In this paper, we study distortion in the group $\mathcal A$ of Affine Interval Exchange Transformations (AIET). We prove that any distorted element $f$ of $\mathcal A$, has an iterate $f^ k$ that is conjugate by an element of $\mathcal A$ to a product of infinite order restricted rotations, with pairwise disjoint supports. As consequences we prove that no Baumslag-Solitar group, $BS(m,n)$ with $\vert m \vert \neq \vert n \vert$, acts faithfully by elements of $\mathcal A$, every finitely generated nilpotent group of $\mathcal A$ is virtually abelian and there is no distortion element in $\mathcal A_{\mathbb Q}$, the subgroup of $\mathcal A$ consisting of rational AIETs. △ Less

Submitted 29 April, 2017; originally announced May 2017.

MSC Class: 37E05 37C15 37C85 20E07

One some planar Baumslag-Solitar actions

Authors: Juan Alonso, Nancy Guelman, Cristobal Rivas, Juliana Xavier

Abstract: Let $BS(1,n)= \langle a,b : a b a ^{-1} = b ^n\rangle$ be the solvable Baumslag-Solitar group for $n \geq 2$. We study representations of $BS(1, n)$ on the plane by orientation preserving homeomorphisms, assuming that $a$ acts as a linear map and $b$ as a map with bounded displacement. We find that the possibilities for a faithful action depend greatly on the Jordan canonical form of the map $h$ d… ▽ More Let $BS(1,n)= \langle a,b : a b a ^{-1} = b ^n\rangle$ be the solvable Baumslag-Solitar group for $n \geq 2$. We study representations of $BS(1, n)$ on the plane by orientation preserving homeomorphisms, assuming that $a$ acts as a linear map and $b$ as a map with bounded displacement. We find that the possibilities for a faithful action depend greatly on the Jordan canonical form of the map $h$ defined by the action of $a$. In case $h$ is diagonalizable over $\mathbb R$, we shall give examples or prove rigidity theorems depending on the eigenvalues. We also show some rigidity in the cases where $h$ is elliptic or parabolic. Then we give applications to the actions of $BS(1, n)$ by homeomorphisms of the torus. △ Less

Submitted 17 March, 2022; v1 submitted 27 March, 2017; originally announced March 2017.

Comments: 28 pages, 2 figures

Any Baumslag-Solitar action on surfaces with a pseudo-Anosov element has a finite orbit

Authors: Nancy Guelman, Isabelle Liousse

Abstract: We consider $f, h$ homeomorphims generating a faithful $BS(1,n)$-action on a closed surface $S$, that is, $h f h^{-1} = f^n$, for some $ n\geq 2$. According to \cite{GL}, after replacing $f$ by a suitable iterate if necessary, we can assume that there exists a minimal set $Λ$ of the action, included in $Fix(f)$. Here, we suppose that $f$ and $h$ are $C^1$ in neighbourhood of $Λ$ and any point… ▽ More We consider $f, h$ homeomorphims generating a faithful $BS(1,n)$-action on a closed surface $S$, that is, $h f h^{-1} = f^n$, for some $ n\geq 2$. According to \cite{GL}, after replacing $f$ by a suitable iterate if necessary, we can assume that there exists a minimal set $Λ$ of the action, included in $Fix(f)$. Here, we suppose that $f$ and $h$ are $C^1$ in neighbourhood of $Λ$ and any point $x\inΛ$ admits an $h$-unstable manifold $W^u(x)$. Using Bonatti's techniques, we prove that either there exists an integer $N$ such that $W^u(x)$ is included in $Fix(f^N)$ or there is a lower bound for the norm of the differential of $h$ only depending on $n$ and the Riemannian metric on $S$. Combining last statement with a result of \cite{AGX}, we show that any faithful action of $BS(1, n)$ on $S$ with $h$ a pseudo-Anosov homeomorphism has a finite orbit. As a consequence, there is no faithful $C^1$-action of $BS(1, n)$ on the torus with $h$ an Anosov. △ Less

Submitted 27 March, 2017; originally announced March 2017.

MSC Class: 37Bxx; 37Exx; 20

Examples of minimal set for IFSs

Authors: Nancy Guelman, Jorge Iglesias, Aldo Portela

Abstract: We exhibit different examples of minimal sets for an IFS of homeomorphisms with rotation number equal to 0. It is proved that these examples are, from a topological point of view, the unique possible cases. We exhibit different examples of minimal sets for an IFS of homeomorphisms with rotation number equal to 0. It is proved that these examples are, from a topological point of view, the unique possible cases. △ Less

Submitted 24 October, 2016; originally announced October 2016.

Quasi-invariant measures for some amenable groups acting on the line

Authors: Nancy Guelman, Cristóbal Rivas

Abstract: In this note we show that if $G$ is a solvable group acting on the line, and if there is $T\in G$ having no fixed points, then there is a Radon measure $μ$ on the line quasi-invariant under $G$. In fact, our method allows for the same conclusion for $G$ inside a class of groups that is closed under extensions and contains all solvable groups and all groups of subexponential growth. In this note we show that if $G$ is a solvable group acting on the line, and if there is $T\in G$ having no fixed points, then there is a Radon measure $μ$ on the line quasi-invariant under $G$. In fact, our method allows for the same conclusion for $G$ inside a class of groups that is closed under extensions and contains all solvable groups and all groups of subexponential growth. △ Less

Submitted 18 July, 2016; originally announced July 2016.

MSC Class: 37C85; 20F16; 20F19; 20F60

Journal ref: Algebr. Geom. Topol. 18 (2018) 1067-1076

Burnside problem for groups of homeomorphisms of compact surfaces

Authors: Nancy Guelman, Isabelle Liousse

Abstract: A group $Γ$ is said to be periodic if for any $g$ in $Γ$ there is a positive integer $n$ with $g^n=id$. We first prove that a finitely generated periodic group acting on the 2-sphere $\SS^2$ by $C^1$-diffeomorphisms with a finite orbit, is finite and conjugate to a subgroup of $\mathrm{O}(3,\R)$ and we use it for proving that a finitely generated periodic group of spherical diffeomorphisms with… ▽ More A group $Γ$ is said to be periodic if for any $g$ in $Γ$ there is a positive integer $n$ with $g^n=id$. We first prove that a finitely generated periodic group acting on the 2-sphere $\SS^2$ by $C^1$-diffeomorphisms with a finite orbit, is finite and conjugate to a subgroup of $\mathrm{O}(3,\R)$ and we use it for proving that a finitely generated periodic group of spherical diffeomorphisms with even bounded orders is finite. Finally, we show that a finitely generated periodic group of homeomorphisms of any orientable compact surface other than the 2-sphere or the 2-torus (which is the purpose of a previous paper of the authors) is finite. △ Less

Submitted 11 November, 2014; v1 submitted 4 April, 2014; originally announced April 2014.

MSC Class: 20F50; 37B05; 37C85; 37E30; 57S17; 57S25

Actions of solvable Baumslag-Solitar groups on surfaces with (pseudo-)Anosov elements

Authors: Juan Alonso, Nancy Guelman, Juliana Xavier

Abstract: Let $BS(1,n)= <a,b : a b a ^{-1} = b ^n>$ be the solvable Baumslag-Solitar group, where $n \geq 2$. We study representations of $BS(1, n)$ by homeomorphisms of closed surfaces with (pseudo-)Anosov elements. That is, we consider a closed surface $S$, and homeomorphisms $f, h: S \to S$ such that $h f h^{-1} = f^n$, for some $ n\geq 2$. It is known that $f$ (or some power of $f$) must be homotopic to… ▽ More Let $BS(1,n)= <a,b : a b a ^{-1} = b ^n>$ be the solvable Baumslag-Solitar group, where $n \geq 2$. We study representations of $BS(1, n)$ by homeomorphisms of closed surfaces with (pseudo-)Anosov elements. That is, we consider a closed surface $S$, and homeomorphisms $f, h: S \to S$ such that $h f h^{-1} = f^n$, for some $ n\geq 2$. It is known that $f$ (or some power of $f$) must be homotopic to the identity. Suppose that $h$ is pseudo-Anosov with stretch factor $λ>1$. We show that $<f,h>$ is not a faithful representation of $BS(1, n)$ if $λ> n$. Moreover, we show that there are no faithful representations of $BS(1, n)$ by torus homeomorphisms with $h$ an Anosov map and $f$ area preserving (regardless of the value of $λ$). △ Less

Submitted 26 May, 2014; v1 submitted 9 October, 2013; originally announced October 2013.

Comments: new version with improvements

A characterization of annularity for area-preserving toral homeomorphisms

Authors: Nancy Guelman, Andres Koropecki, Fabio Armando Tal

Abstract: We prove that if an area-preserving homeomorphism of the torus in the homotopy class of the identity has a rotation set which is a nondegenerate vertical segment containing the origin, then there exists an essential invariant annulus. In particular, some lift to the universal covering has uniformly bounded displacement in the horizontal direction. We prove that if an area-preserving homeomorphism of the torus in the homotopy class of the identity has a rotation set which is a nondegenerate vertical segment containing the origin, then there exists an essential invariant annulus. In particular, some lift to the universal covering has uniformly bounded displacement in the horizontal direction. △ Less

Submitted 21 November, 2012; originally announced November 2012.

Comments: 17 pages

MSC Class: 37E45; 37E30

Rotation sets with nonempty interior and transitivity in the universal covering

Authors: Nancy Guelman, Andres Koropecki, Fabio Armando Tal

Abstract: Let $f$ be a transitive homeomorphism of the two-dimensional torus in the homotopy class of the identity. We show that a lift of $f$ to the universal covering is transitive if and only if the rotation set of the lift contains the origin in its interior. Let $f$ be a transitive homeomorphism of the two-dimensional torus in the homotopy class of the identity. We show that a lift of $f$ to the universal covering is transitive if and only if the rotation set of the lift contains the origin in its interior. △ Less

Submitted 9 July, 2013; v1 submitted 3 August, 2012; originally announced August 2012.

Comments: 11 pages, 4 figures. Incorporates referee's corrections. To appear in Ergod. Th. & Dynam. Syst

MSC Class: 37E45; 37E30

Journal ref: Ergodic Theory and Dynamical Systems, 35(3), 883-894 (2015)

Smooth Conjugacy classes of circle diffeomorphisms with irrational rotation number

Authors: Christian Bonatti, Nancy Guelman

Abstract: In this paper we prove the $C^1$-density of every $C^r$-conjugacy class in the closed subset of diffeomorphisms of the circle with a given irrational rotation number. In this paper we prove the $C^1$-density of every $C^r$-conjugacy class in the closed subset of diffeomorphisms of the circle with a given irrational rotation number. △ Less

Submitted 10 July, 2012; originally announced July 2012.

Burnside problem for measure preserving groups of toral homeomorphisms and for 2-groups of toral homeomorphisms

Authors: Nancy Guelman, Isabelle Liousse

Abstract: A group $G$ is said to be periodic if for any $g\in G$ there exists a positive integer $n$ with $g^n=id$. We prove that a finitely generated periodic group of homeomorphisms on the 2-torus that preserves a measure $μ$ is finite. Moreover if the group consists in homeomorphisms isotopic to the identity, then it is abelian and acts freely on $\mathbb{T}^2$. In the Appendix, we show that every finite… ▽ More A group $G$ is said to be periodic if for any $g\in G$ there exists a positive integer $n$ with $g^n=id$. We prove that a finitely generated periodic group of homeomorphisms on the 2-torus that preserves a measure $μ$ is finite. Moreover if the group consists in homeomorphisms isotopic to the identity, then it is abelian and acts freely on $\mathbb{T}^2$. In the Appendix, we show that every finitely generated 2-group of toral homeomorphisms is finite. △ Less

Submitted 4 April, 2014; v1 submitted 18 August, 2011; originally announced August 2011.

Comments: In this new version, we add an Appendix where we show that every finitely generated 2-group of toral homeomorphisms is finite

MSC Class: 20F50; 37B05; 37E30; 37E45

Journal ref: Geometriae Dedicata 168 (2014), no. 1, 387-396

$C^1$-actions of Baumslag-Solitar groups on $S^1$

Authors: Nancy Guelman, Isabelle Liousse

Abstract: Let $BS(1, n)=< a, b | aba^{-1} = b^n >$ be the solvable Baumslag-Solitar group, where $ n\geq 2$. It is known that B(1, n) is isomorphic to the group generated by the two affine maps of the line : $f_0(x) = x + 1$ and $h_0(x) = nx $. The action on $S^1 = \RR \cup {\infty}$ generated by these two affine maps $f_0$ and $h_0 $ is called the standard affine one. We prove that any representation of BS… ▽ More Let $BS(1, n)=< a, b | aba^{-1} = b^n >$ be the solvable Baumslag-Solitar group, where $ n\geq 2$. It is known that B(1, n) is isomorphic to the group generated by the two affine maps of the line : $f_0(x) = x + 1$ and $h_0(x) = nx $. The action on $S^1 = \RR \cup {\infty}$ generated by these two affine maps $f_0$ and $h_0 $ is called the standard affine one. We prove that any representation of BS(1,n) into $Diff^1(S^1)$ is (up to a finite index subgroup) semiconjugated to the standard affine action. △ Less

Submitted 20 October, 2010; originally announced October 2010.

MSC Class: 37Bxx; 37Exx; 20

Journal ref: Algebr. Geom. Topol. 11 (2011) 1701-1707

Actions of Baumslag-Solitar groups on surfaces

Authors: Nancy Guelman, Isabelle Liousse

Abstract: Let $BS(1,n) =< a, b \ | \ aba^{-1} = b^n >$ be the solvable Baumslag-Solitar group, where $ n\geq 2$. It is known that BS(1,n) is isomorphic to the group generated by the two affine maps of the real line: $f_0(x) = x + 1$ and $h_0(x) = nx $. This paper deals with the dynamics of actions of BS(1,n) on closed orientable surfaces. We exhibit a smooth BS(1,n) action without finite orbits on… ▽ More Let $BS(1,n) =< a, b \ | \ aba^{-1} = b^n >$ be the solvable Baumslag-Solitar group, where $ n\geq 2$. It is known that BS(1,n) is isomorphic to the group generated by the two affine maps of the real line: $f_0(x) = x + 1$ and $h_0(x) = nx $. This paper deals with the dynamics of actions of BS(1,n) on closed orientable surfaces. We exhibit a smooth BS(1,n) action without finite orbits on $\TT ^2$, we study the dynamical behavior of it and of its $C^1$-pertubations and we prove that it is not locally rigid. We develop a general dynamical study for faithful topological BS(1,n)-actions on closed surfaces $S$. We prove that such actions $<f,h \ | \ h \circ f \circ h^{-1} = f^n>$ admit a minimal set included in $fix(f)$, the set of fixed points of $f$, provided that $fix(f)$ is not empty. When $S= \TT^2$, we show that there exists a positive integer $N$, such that $fix(f^N)$ is non-empty and contains a minimal set of the action. As a corollary, we get that there are no minimal faithful topological actions of BS(1,n) on $\TT^2$. When the surface $S$ has genus at least 2, is closed and orientable, and $f$ is isotopic to identity, then $fix(f)$ is non empty and contains a minimal set of the action. Moreover if the action is $C^1$ then $fix(f)$ contains any minimal set. △ Less

Submitted 22 August, 2011; v1 submitted 13 April, 2010; originally announced April 2010.

Comments: We clarified and improved some results and we added examples

MSC Class: 37Bxx; 37Exx; 20

Rotation set and Entropy

Authors: Heber Enrich, Nancy Guelman, Audrey Larcanché, Isabelle Liousse

Abstract: In 1991 Llibre and MacKay proved that if $f$ is a 2-torus homeomorphism isotopic to identity and the rotation set of $f$ has a non empty interior then $f$ has positive topological entropy. Here, we give a converselike theorem. We show that the interior of the rotation set of a 2-torus $C^{1+ α}$ diffeomorphism isotopic to identity of positive topological entropy is not empty, under the additiona… ▽ More In 1991 Llibre and MacKay proved that if $f$ is a 2-torus homeomorphism isotopic to identity and the rotation set of $f$ has a non empty interior then $f$ has positive topological entropy. Here, we give a converselike theorem. We show that the interior of the rotation set of a 2-torus $C^{1+ α}$ diffeomorphism isotopic to identity of positive topological entropy is not empty, under the additional hypotheses that $f$ is topologically transitive and irreducible. We also give examples that show that these hypotheses are necessary. △ Less

Submitted 25 April, 2009; v1 submitted 29 November, 2007; originally announced November 2007.

Comments: 15 pages, 2 figures, references added

MSC Class: 37E45; 37E30

Journal ref: Nonlinearity (2009), vol 22 no. 8, p 1899-1907