-
Promoting Prelaminations
Authors:
Thomas Barthelmé,
Christian Bonatti,
Kathryn Mann
Abstract:
Motivated by problems in the study of Anosov and pseudo-Anosov flows on 3-manifolds, we characterize when a pair $(L^+, L^-)$ of subsets of transverse laminations of the circle can be completed to a pair of transverse foliations of the plane or, separately, realized as the endpoints of such a bifoliation of the plane. (We allow also singular bifoliations with simple prongs, such as arise in pseudo…
▽ More
Motivated by problems in the study of Anosov and pseudo-Anosov flows on 3-manifolds, we characterize when a pair $(L^+, L^-)$ of subsets of transverse laminations of the circle can be completed to a pair of transverse foliations of the plane or, separately, realized as the endpoints of such a bifoliation of the plane. (We allow also singular bifoliations with simple prongs, such as arise in pseudo-Anosov flows). This program is carried out at a level of generality applicable to bifoliations coming from pseudo-Anosov flows with and without perfect fits, as well as many other examples, and is natural with respect to group actions preserving these structures.
△ Less
Submitted 27 June, 2024;
originally announced June 2024.
-
Heterodimensional cycles of hyperbolic ergodic measures
Authors:
Christian Bonatti,
Lorenzo J. Diaz,
Katrin Gelfert
Abstract:
We introduce the concept of a heterodimensional cycle of hyperbolic ergodic measures and a special type of them that we call rich. Within a partially hyperbolic context, we prove that if two measures are related by a rich heterodimensional cycle, then the entire segment of probability measures linking them lies within the closure of measures supported on periodic orbits. Motivated by the occurrenc…
▽ More
We introduce the concept of a heterodimensional cycle of hyperbolic ergodic measures and a special type of them that we call rich. Within a partially hyperbolic context, we prove that if two measures are related by a rich heterodimensional cycle, then the entire segment of probability measures linking them lies within the closure of measures supported on periodic orbits. Motivated by the occurrence of robust heterodimensional cycles of hyperbolic basic sets, we study robust rich heterodimensional cycles of measures providing a framework for this phenomenon for diffeomorphisms. In the setting of skew products, we construct an open set of maps having uncountably many measures related by rich heterodimensional cycles.
△ Less
Submitted 21 May, 2024;
originally announced May 2024.
-
Non-locally discrete actions on the circle with at most $N$ fixed points
Authors:
Christian Bonatti,
João Carnevale,
Michele Triestino
Abstract:
A subgroup of $\mathrm{Homeo}_+(\mathbb{S}^1)$ is Möbius-like if every element is conjugate to an element of $\mathrm{PSL}(2,\mathbb{R})$. In general, a Möbius-like subgroup of $\mathrm{Homeo}_+(\mathbb{S}^1)$ is not necessarily (semi-)conjugate to a subgroup of $\mathrm{PSL}(2,\mathbb{R})$, as discovered by N. Kovačević [Trans. Amer. Math. Soc. 351 (1999), 4823-4835]. Here we determine simple dyn…
▽ More
A subgroup of $\mathrm{Homeo}_+(\mathbb{S}^1)$ is Möbius-like if every element is conjugate to an element of $\mathrm{PSL}(2,\mathbb{R})$. In general, a Möbius-like subgroup of $\mathrm{Homeo}_+(\mathbb{S}^1)$ is not necessarily (semi-)conjugate to a subgroup of $\mathrm{PSL}(2,\mathbb{R})$, as discovered by N. Kovačević [Trans. Amer. Math. Soc. 351 (1999), 4823-4835]. Here we determine simple dynamical criteria for the existence of such a (semi-)conjugacy. We show that Möbius-like subgroups of $\mathrm{Homeo}_+(\mathbb{S}^1)$ which are elementary (namely, preserving a Borel probability measure), are semi-conjugate to subgroups of $\mathrm{PSL}(2,\mathbb{R})$. On the other hand, we provide an example of elementary subgroup of $\mathrm{Diff}^\infty_+(\mathbb{S}^1)$ satisfying that every non-trivial element fixes at most 2 points, which is not isomorphic to any subgroup of $\mathrm{PSL}(2,\mathbb{R})$. Finally, we show that non-elementary, non-locally discrete subgroups acting with at most $N$ fixed points are conjugate to a dense subgroup of some finite central extension of $\mathrm{PSL}(2,\mathbb{R})$.
△ Less
Submitted 17 March, 2024; v1 submitted 20 June, 2023;
originally announced June 2023.
-
Action on the circle at infinity of foliations of ${\mathbb R}^2 $
Authors:
Christian Bonatti
Abstract:
This paper provides a canonical compactification of the plane ${\mathbb R}^2$ by adding a circle at infinity associated to a countable family of singular foliations or laminations (under some hypotheses), generalizing an idea by Mather \cite{Ma}. Moreover any homeomorphism of ${\mathbb R}^2 $ preserving the foliations extends on the circle at infinity.
Then this paper provides conditions ensurin…
▽ More
This paper provides a canonical compactification of the plane ${\mathbb R}^2$ by adding a circle at infinity associated to a countable family of singular foliations or laminations (under some hypotheses), generalizing an idea by Mather \cite{Ma}. Moreover any homeomorphism of ${\mathbb R}^2 $ preserving the foliations extends on the circle at infinity.
Then this paper provides conditions ensuring the minimality of the action on the circle at infinity induced by an action on ${\mathbb R}^2 $ preserving one foliation or two transverse foliations.
In particular the action on the circle at infinity associated to an Anosov flow $X$ on a closed $3$-manifold is minimal if and only if $X$ is non-$\mathbb R$-covered.
△ Less
Submitted 11 January, 2023;
originally announced January 2023.
-
Oriented Birkhoff sections of Anosov flows
Authors:
Masayuki Asaoka,
Christian Bonatti,
Théo Marty
Abstract:
This paper gives 3 different proofs (independently obtained by the 3 authors) of the following fact: given an Anosov flow on an oriented 3 manifold, the existence of a positive Birkhoff section is equivalent to the fact that the flow is $\mathbb{R}$-covered positively twisted.
This paper gives 3 different proofs (independently obtained by the 3 authors) of the following fact: given an Anosov flow on an oriented 3 manifold, the existence of a positive Birkhoff section is equivalent to the fact that the flow is $\mathbb{R}$-covered positively twisted.
△ Less
Submitted 13 December, 2022;
originally announced December 2022.
-
Aperiodic chain recurrence classes of $C^1$-generic diffeomorphisms
Authors:
Christian Bonatti,
Katsutoshi Shinohara
Abstract:
We consider the space of $C^1$-diffeomorphims equipped with the $C^1$-topology on a three dimensional closed manifold. It is known that there are open sets in which $C^1$-generic diffeomorphisms display uncountably many chain recurrences classes, while only countably many of them may contain periodic orbits. The classes without periodic orbits, called aperiodic classes, are the main subject of thi…
▽ More
We consider the space of $C^1$-diffeomorphims equipped with the $C^1$-topology on a three dimensional closed manifold. It is known that there are open sets in which $C^1$-generic diffeomorphisms display uncountably many chain recurrences classes, while only countably many of them may contain periodic orbits. The classes without periodic orbits, called aperiodic classes, are the main subject of this paper. The aim of the paper is to show that aperiodic classes of $C^1$-generic diffeomorphisms can exhibit a variety of topological properties. More specifically, there are $C^1$-generic diffeomorphisms with (1) minimal expansive aperiodic classes, (2) minimal but non-uniquely ergodic aperiodic classes, (3) transitive but non-minimal aperiodic classes, (4) non-transitive, uniquely ergodic aperiodic classes.
△ Less
Submitted 27 September, 2022;
originally announced September 2022.
-
A mechanism for ejecting a horseshoe from a partially hyperbolic chain recurrence class
Authors:
Christian Bonatti,
Katsutoshi Shinohara
Abstract:
We give a $C^1$-perturbation technique for ejecting an a priori given finite set of periodic points preserving a given finite set of homo/hetero-clinic intersections from a chain recurrence class of a periodic point. The technique is first stated under a simpler setting called Markov iterated function system, a two dimensional iterated function system in which the compositions are chosen in Markov…
▽ More
We give a $C^1$-perturbation technique for ejecting an a priori given finite set of periodic points preserving a given finite set of homo/hetero-clinic intersections from a chain recurrence class of a periodic point. The technique is first stated under a simpler setting called Markov iterated function system, a two dimensional iterated function system in which the compositions are chosen in Markovian way. Then we apply the result to the setting of three dimensional partially hyperbolic diffeomorphisms.
△ Less
Submitted 27 September, 2022;
originally announced September 2022.
-
Upper, down, two-sided Lorenz attractor, collisions, merging and switching
Authors:
Diego Barros,
Christian Bonatti,
Maria Jose Pacifico
Abstract:
We present a slightly modified version of the well known "geometric Lorenz attractor". It consists in a C1 open set O of vector fields in R3 having an attracting region U containing: (1) a unique singular saddle point sigma; (2) a unique attractor Lambda containing the singular point; (3) the maximal invariant in U contains at most 2 chain recurrence classes, which are Lambda and (at most) one hyp…
▽ More
We present a slightly modified version of the well known "geometric Lorenz attractor". It consists in a C1 open set O of vector fields in R3 having an attracting region U containing: (1) a unique singular saddle point sigma; (2) a unique attractor Lambda containing the singular point; (3) the maximal invariant in U contains at most 2 chain recurrence classes, which are Lambda and (at most) one hyperbolic horseshoe. The horseshoe and the singular attractor have a collision along the union of 2 co-dimension 1 sub-manifolds which divide O in 3 regions. By crossing this collision locus, the attractor and the horseshoe may merge in a two-sided Lorenz attractor, or they may exchange their nature: the Lorenz attractor expel the singular point sigma and becomes a horseshoe and the horseshoe absorbs sigma becoming a Lorenz attractor.
By crossing this collision locus, the attractor and the horseshoe may merge in a two-sided Lorenz attractor, or they may exchange their nature: the Lorenz attractor expel the singular point sigma and becomes a horseshoe and the horseshoe absorbs sigma becoming a Lorenz attractor.
△ Less
Submitted 19 February, 2024; v1 submitted 18 January, 2021;
originally announced January 2021.
-
On a quadratic form associated with a surface automorphism and its applications to Singularity Theory
Authors:
Lilia Alanís-López,
Enrique Artal Bartolo,
Christian Bonatti,
Xavier Gómez-Mont,
Manuel González Villa,
Pablo Portilla Cuadrado
Abstract:
We study the nilpotent part $N'$ of a pseudo-periodic automorphism $h$ of a real oriented surface with boundary $Σ$. We associate a quadratic form $Q$ defined on the first homology group (relative to the boundary) of the surface $Σ$. Using the twist formula and techniques from map** class group theory, we prove that the form $\tilde{Q}$ obtained after killing ${\ker N}$ is positive definite if a…
▽ More
We study the nilpotent part $N'$ of a pseudo-periodic automorphism $h$ of a real oriented surface with boundary $Σ$. We associate a quadratic form $Q$ defined on the first homology group (relative to the boundary) of the surface $Σ$. Using the twist formula and techniques from map** class group theory, we prove that the form $\tilde{Q}$ obtained after killing ${\ker N}$ is positive definite if all the screw numbers associated with certain orbits of annuli are positive. We also prove that the restriction of $\tilde Q$ to the absolute homology group of $Σ$ is even whenever the quotient of the Nielsen-Thurston graph under the action of the automorphism is a tree. The case of monodromy automorphisms of Milnor fibers $Σ=F$ of germs of curves on normal surface singularities is discussed in detail, and the aforementioned results are specialized to such situation. Moreover, the form $\tilde{Q}$ is computable in terms of the dual resolution or semistable reduction graph, as illustrated with several examples. Numerical invariants associated with $\tilde{Q}$ are able to distinguish plane curve singularities with different topological types but same spectral pairs. Finally, we discuss a generic linear germ defined on a superisolated surface. In this case the plumbing graph is not a tree and the restriction of $\tilde Q$ to the absolute monodromy of $Σ=F$ is not even.
△ Less
Submitted 14 January, 2022; v1 submitted 24 November, 2020;
originally announced November 2020.
-
Anosov flows on $3$-manifolds: the surgeries and the foliations
Authors:
Christian Bonatti,
Ioannis Iakovoglou
Abstract:
To any Anosov flow X on a 3-manifold Fe1 associated a bi-foliated plane (a plane endowed with two transverse foliations Fs and Fu) which reflects the normal structure of the flow endowed with the center-stable and center unstable foliations. A flow is R-covered if Fs (or Fu) is trivial.
From one Anosov flow one can build infinitely many others by Dehn-Goodman-Fried surgeries. This paper investig…
▽ More
To any Anosov flow X on a 3-manifold Fe1 associated a bi-foliated plane (a plane endowed with two transverse foliations Fs and Fu) which reflects the normal structure of the flow endowed with the center-stable and center unstable foliations. A flow is R-covered if Fs (or Fu) is trivial.
From one Anosov flow one can build infinitely many others by Dehn-Goodman-Fried surgeries. This paper investigates how these surgeries modify the bi-foliated plane.
We first noticed that surgeries along some specific periodic orbits do not modify the bi-foliated plane: for instance,
- surgeries on families of orbits corresponding to disjoint simple closed geodesics do not affect the bi-foliated plane associated to the geodesic flow of a hyperbolic surface (Theorem 1);
- Fe2 associates a (non-empty) finite family of periodic orbits, called pivots, to any non-R-covered Anosov flow. Surgeries on pivots do not affect the branching structure of the bi-foliated plane (Theorem 2)
We consider the set Surg(A) of Anosov flows obtained by Dehn-Goodman-Fried surgery from the suspension flows of Anosov automorphisms A in SL(2,Z) of the torus T2.
Every such surgery is associated to a finite set of couples (C,m(C)), where the C are periodic orbits and the m(C) integers. When all the m(C) have the same sign, Fenley proved that the induced Anosov flow is R-covered and twisted according to the sign of the surgery. We analyse here the case where the surgeries are positive on a finite set X and negative on another set Y.
Among other results, we show that given any flow X in Surg(A) :
- there exists e>0 such that for every e-dense periodic orbit C, every flow obtained from X by a non trivial surgery along C is R-covered (Theorem 4).
- there exist periodic orbits C+,C- such that every flow obtained from X by surgeries with distinct signs on C+ and C- is non-R-covered (Theorem 5).
△ Less
Submitted 22 July, 2020;
originally announced July 2020.
-
Lorenz attractors and the modular surface
Authors:
Christian Bonatti,
Tali Pinsky
Abstract:
We define an extension of the geometric Lorenz model, defined on the three sphere. This geometric model has an invariant one dimensional trefoil knot, a union of invariant manifolds of the singularities. It is similar to the invariant trefoil knot arising in the classical Lorenz flow near the classical parameters. We prove that this geometric model is topologically equivalent to the geodesic flow…
▽ More
We define an extension of the geometric Lorenz model, defined on the three sphere. This geometric model has an invariant one dimensional trefoil knot, a union of invariant manifolds of the singularities. It is similar to the invariant trefoil knot arising in the classical Lorenz flow near the classical parameters. We prove that this geometric model is topologically equivalent to the geodesic flow on the modular surface, once compactifying the latter.
△ Less
Submitted 16 January, 2020;
originally announced January 2020.
-
Small $C^1$ actions of semidirect products on compact manifolds
Authors:
Christian Bonatti,
Sang-hyun Kim,
Thomas Koberda,
Michele Triestino
Abstract:
Let $T$ be a compact fibered $3$--manifold, presented as a map** torus of a compact, orientable surface $S$ with monodromy $ψ$, and let $M$ be a compact Riemannian manifold. Our main result is that if the induced action $ψ^*$ on $H^1(S,\mathbb{R})$ has no eigenvalues on the unit circle, then there exists a neighborhood $\mathcal U$ of the trivial action in the space of $C^1$ actions of $π_1(T)$…
▽ More
Let $T$ be a compact fibered $3$--manifold, presented as a map** torus of a compact, orientable surface $S$ with monodromy $ψ$, and let $M$ be a compact Riemannian manifold. Our main result is that if the induced action $ψ^*$ on $H^1(S,\mathbb{R})$ has no eigenvalues on the unit circle, then there exists a neighborhood $\mathcal U$ of the trivial action in the space of $C^1$ actions of $π_1(T)$ on $M$ such that any action in $\mathcal{U}$ is abelian. We will prove that the same result holds in the generality of an infinite cyclic extension of an arbitrary finitely generated group $H$, provided that the conjugation action of the cyclic group on $H^1(H,\mathbb{R})\neq 0$ has no eigenvalues of modulus one. We thus generalize a result of A. McCarthy, which addressed the case of abelian--by--cyclic groups acting on compact manifolds.
△ Less
Submitted 8 March, 2020; v1 submitted 10 October, 2019;
originally announced October 2019.
-
Transitive partially hyperbolic diffeomorphisms with one-dimensional neutral center
Authors:
Christian Bonatti,
**hua Zhang
Abstract:
In this paper, we study transitive partially hyperbolic diffeomorphisms with one-dimensional topologically neutral center, meaning that the length of the iterate of small center segments remains small. Such systems are dynamically coherent. We show that there exists a continuous metric along the center foliation which is invariant under the dynamics. As an application, we classify the transitive p…
▽ More
In this paper, we study transitive partially hyperbolic diffeomorphisms with one-dimensional topologically neutral center, meaning that the length of the iterate of small center segments remains small. Such systems are dynamically coherent. We show that there exists a continuous metric along the center foliation which is invariant under the dynamics. As an application, we classify the transitive partially hyperbolic diffeomorphisms on 3-manifolds with topologically neutral center.
△ Less
Submitted 10 April, 2019;
originally announced April 2019.
-
Robust existence of nonhyperbolic ergodic measures with positive entropy and full support
Authors:
Christian Bonatti,
Lorenzo J. Díaz,
Dominik Kwietniak
Abstract:
We prove that for some manifolds $M$ the set of robustly transitive partially hyperbolic diffeomorphisms of $M$ with one-dimensional nonhyperbolic centre direction contains a $C^1$-open and dense subset of diffeomorphisms with nonhyperbolic measures which are ergodic, fully supported and have positive entropy. To do so, we formulate abstract conditions sufficient for the construction of an ergodic…
▽ More
We prove that for some manifolds $M$ the set of robustly transitive partially hyperbolic diffeomorphisms of $M$ with one-dimensional nonhyperbolic centre direction contains a $C^1$-open and dense subset of diffeomorphisms with nonhyperbolic measures which are ergodic, fully supported and have positive entropy. To do so, we formulate abstract conditions sufficient for the construction of an ergodic, fully supported measure $μ$ which has positive entropy and is such that for a continuous function $φ\colon X\to\mathbb{R}$ the integral $\intφ\,dμ$ vanishes. The criterion is an extended version of the control at any scale with a long and sparse tail technique coming from the previous works.
△ Less
Submitted 4 October, 2018;
originally announced October 2018.
-
Anosov diffeomorphism with a horseshoe that attracts almost any point
Authors:
C. Bonatti,
S. Minkov,
A. Okunev,
I. Shilin
Abstract:
We present an example of a C1 Anosov diffeomorphism of a two-torus with a physical measure such that its basin has full Lebesgue measure and its support is a horseshoe of zero measure.
We present an example of a C1 Anosov diffeomorphism of a two-torus with a physical measure such that its basin has full Lebesgue measure and its support is a horseshoe of zero measure.
△ Less
Submitted 23 October, 2018; v1 submitted 12 February, 2018;
originally announced February 2018.
-
Anomalous Anosov flows revisited
Authors:
Thomas Barthelmé,
Christian Bonatti,
Andrey Gogolev,
Federico Rodriguez Hertz
Abstract:
This paper is devoted to higher dimensional Anosov flows and consists of two parts. In the first part, we investigate fiberwise Anosov flows on affine torus bundles which fiber over 3-dimensional Anosov flows. We provide a dichotomy result for such flows --- they are either suspensions of Anosov diffeomorphisms or the stable and unstable distributions have equal dimensions.
In the second part, w…
▽ More
This paper is devoted to higher dimensional Anosov flows and consists of two parts. In the first part, we investigate fiberwise Anosov flows on affine torus bundles which fiber over 3-dimensional Anosov flows. We provide a dichotomy result for such flows --- they are either suspensions of Anosov diffeomorphisms or the stable and unstable distributions have equal dimensions.
In the second part, we give a new surgery type construction of Anosov flows, which yields non-transitive Anosov flows in all odd dimensions.
△ Less
Submitted 20 December, 2017;
originally announced December 2017.
-
Topological classification of Morse-Smale diffeomorphisms on 3-manifolds
Authors:
Ch. Bonatti,
V. Grines,
O. Pochinka
Abstract:
Topological classification of even the simplest Morse-Smale diffeomorphisms on 3-manifolds does not fit into the concept of singling out a skeleton consisting of stable and unstable manifolds of periodic orbits. The reason for this lies primarily in the possible "wild" behaviour of separatrices of saddle points. Another difference between Morse-Smale diffeomorphisms in dimension 3 from their surfa…
▽ More
Topological classification of even the simplest Morse-Smale diffeomorphisms on 3-manifolds does not fit into the concept of singling out a skeleton consisting of stable and unstable manifolds of periodic orbits. The reason for this lies primarily in the possible "wild" behaviour of separatrices of saddle points. Another difference between Morse-Smale diffeomorphisms in dimension 3 from their surface analogues lies in the variety of heteroclinic intersections: a connected component of such an intersection may be not only a point as in the two-dimensional case, but also a curve, compact or non-compact. The problem of a topological classification of Morse-Smale cascades on 3-manifolds either without heteroclinic points (gradient-like cascades) or without heteroclinic curves was solved in a series of papers from 2000 to 2006 by Ch. Bonatti, V. Grines, F. Laudenbach, V. Medvedev, E. Pecou, O. Pochinka. The present paper is devoted to a complete topological classification of the set $MS(M^3)$ of orientation preserving Morse-Smale diffeomorphisms $f$ given on smooth closed orientable 3-manifolds $M^3$. A complete topological invariant for a diffeomorphism $f\in MS(M^3)$ is an equivalent class of its scheme $S_f$, which contains an information on a periodic date and a topology of embedding of two-dimensional invariant manifolds of the saddle periodic points of $f$ into the ambient manifold.
△ Less
Submitted 23 October, 2017;
originally announced October 2017.
-
Existence of common zeros for commuting vector fields on $3$-manifolds II. Solving global difficulties
Authors:
Sébastien Alvarez,
Christian Bonatti,
Bruno Santiago
Abstract:
We address the following conjecture about the existence of common zeros for commuting vector fields in dimension three: if $X,Y$ are two $C^1$ commuting vector fields on a $3$-manifold $M$, and $U$ is a relatively compact open such that $X$ does not vanish on the boundary of $U$ and has a non vanishing Poincaré-Hopf index in $U$, then $X$ and $Y$ have a common zero inside $U$. We prove this conjec…
▽ More
We address the following conjecture about the existence of common zeros for commuting vector fields in dimension three: if $X,Y$ are two $C^1$ commuting vector fields on a $3$-manifold $M$, and $U$ is a relatively compact open such that $X$ does not vanish on the boundary of $U$ and has a non vanishing Poincaré-Hopf index in $U$, then $X$ and $Y$ have a common zero inside $U$. We prove this conjecture when $X$ and $Y$ are of class $C^3$ and every periodic orbit of $Y$ along which $X$ and $Y$ are collinear is partially hyperbolic. We also prove the conjecture, still in the $C^3$ setting, assuming that the flow $Y$ leaves invariant a transverse plane field. These results shed new light on the $C^3$ case of the conjecture.
△ Less
Submitted 23 April, 2020; v1 submitted 18 October, 2017;
originally announced October 2017.
-
Projective cocycles over SL(2,R) actions: measures invariant under the upper triangular group
Authors:
Christian Bonatti,
Alex Eskin,
Amie Wilkinson
Abstract:
We consider the action of $SL(2,\mathbb{R})$ on a vector bundle $\mathbf{H}$ preserving an ergodic probability measure $ν$ on the base $X$. Under an irreducibility assumption on this action, we prove that if $\hatν$ is any lift of $ν$ to a probability measure on the projectivized bunde $\mathbb{P}(\mathbf{H})$ that is invariant under the upper triangular subgroup, then $\hat ν$ is supported in the…
▽ More
We consider the action of $SL(2,\mathbb{R})$ on a vector bundle $\mathbf{H}$ preserving an ergodic probability measure $ν$ on the base $X$. Under an irreducibility assumption on this action, we prove that if $\hatν$ is any lift of $ν$ to a probability measure on the projectivized bunde $\mathbb{P}(\mathbf{H})$ that is invariant under the upper triangular subgroup, then $\hat ν$ is supported in the projectivization $\mathbb{P}(\mathbf{E}_1)$ of the top Lyapunov subspace of the positive diagonal semigroup. We derive two applications. First, the Lyapunov exponents for the Kontsevich-Zorich cocycle depend continuously on affine measures, answering a question in [MMY]. Second, if $\mathbb{P}(\mathbf{V})$ is an irreducible, flat projective bundle over a compact hyperbolic surface $Σ$, with hyperbolic foliation $\mathcal{F}$ tangent to the flat connection, then the foliated horocycle flow on $T^1\mathcal{F}$ is uniquely ergodic if the top Lyapunov exponent of the foliated geodesic flow is simple. This generalizes results in [BG] to arbitrary dimension.
△ Less
Submitted 23 June, 2018; v1 submitted 7 September, 2017;
originally announced September 2017.
-
Hyperbolicity as an obstruction to smoothability for one-dimensional actions
Authors:
Christian Bonatti,
Yash Lodha,
Michele Triestino
Abstract:
Ghys and Sergiescu proved in the $80$s that Thompson's group $T$, and hence $F$, admits actions by $C^{\infty}$ diffeomorphisms of the circle . They proved that the standard actions of these groups are topologically conjugate to a group of $C^\infty$ diffeomorphisms. Monod defined a family of groups of piecewise projective homeomorphisms, and Lodha-Moore defined finitely presentable groups of piec…
▽ More
Ghys and Sergiescu proved in the $80$s that Thompson's group $T$, and hence $F$, admits actions by $C^{\infty}$ diffeomorphisms of the circle . They proved that the standard actions of these groups are topologically conjugate to a group of $C^\infty$ diffeomorphisms. Monod defined a family of groups of piecewise projective homeomorphisms, and Lodha-Moore defined finitely presentable groups of piecewise projective homeomorphisms. These groups are of particular interest because they are nonamenable and contain no free subgroup. In contrast to the result of Ghys-Sergiescu, we prove that the groups of Monod and Lodha-Moore are not topologically conjugate to a group of $C^1$ diffeomorphisms.
Furthermore, we show that the group of Lodha-Moore has no nonabelian $C^1$ action on the interval. We also show that many Monod's groups $H(A)$, for instance when $A$ is such that $\mathsf{PSL}(2,A)$ contains a rational homothety $x\mapsto \tfrac{p}{q}x$, do not admit a $C^1$ action on the interval. The obstruction comes from the existence of hyperbolic fixed points for $C^1$ actions. With slightly different techniques, we also show that some groups of piecewise affine homeomorphisms of the interval or the circle are not smoothable.
△ Less
Submitted 12 April, 2018; v1 submitted 18 June, 2017;
originally announced June 2017.
-
Anomalous partially hyperbolic diffeomorphisms III: abundance and incoherence
Authors:
Christian Bonatti,
Andrey Gogolev,
Andy Hammerlindl,
Rafael Potrie
Abstract:
Let $M$ be a closed 3-manifold which admits an Anosov flow. In this paper we develop a technique for constructing partially hyperbolic representatives in many map** classes of $M$. We apply this technique both in the setting of geodesic flows on closed hyperbolic surfaces and for Anosov flows which admit transverse tori. We emphasize the similarity of both constructions through the concept of…
▽ More
Let $M$ be a closed 3-manifold which admits an Anosov flow. In this paper we develop a technique for constructing partially hyperbolic representatives in many map** classes of $M$. We apply this technique both in the setting of geodesic flows on closed hyperbolic surfaces and for Anosov flows which admit transverse tori. We emphasize the similarity of both constructions through the concept of $h$-transversality, a tool which allows us to compose different map** classes while retaining partial hyperbolicity.
In the case of the geodesic flow of a closed hyperbolic surface $S$ we build stably ergodic, partially hyperbolic diffeomorphisms whose map** classes form a subgroup of the map** class group $\mathcal{M}(T^1S)$ which is isomorphic to $\mathcal{M}(S)$. At the same time we show that the totality of map** classes which can be realized by partially hyperbolic diffeomorphisms does not form a subgroup of $\mathcal{M}(T^1S)$.
Finally, some of the examples on $T^1S$ are absolutely partially hyperbolic, stably ergodic and robustly non-dynamically coherent, disproving a conjecture by F. Rodriguez Hertz, J. Rodriguez Hertz and R. Ures.
△ Less
Submitted 10 November, 2019; v1 submitted 15 June, 2017;
originally announced June 2017.
-
Star fows and multisingular hyperbolicity
Authors:
Christian Bonatti,
Adriana da Luz
Abstract:
A vector field X is called a star flow if every periodic orbit, of any vector field C1-close to X, is hyperbolic. It is known that the chain recurrence classes of a generic star flow X on a 3 or 4 manifold are either hyperbolic or singular hyperbolic (see [MPP] for 3-manifolds and [GLW] on 4-manifolds). As it is defined, the notion of singular hyperbolicity forces the singularities in the same cla…
▽ More
A vector field X is called a star flow if every periodic orbit, of any vector field C1-close to X, is hyperbolic. It is known that the chain recurrence classes of a generic star flow X on a 3 or 4 manifold are either hyperbolic or singular hyperbolic (see [MPP] for 3-manifolds and [GLW] on 4-manifolds). As it is defined, the notion of singular hyperbolicity forces the singularities in the same class to have the same index. However, in higher dimension (i.e $\geq 5$) \cite{BdL} shows that singularities of different indices may be robustly in the same chain recurrence class of a star flow. Therefore the usual notion of singular hyperbolicity is not enough for characterizing the star flows.
We present a form of hyperbolicity (called multi-singular hyperbolic) which makes compatible the hyperbolic structure of regular orbits together with the one of singularities even if they have different indices. We show that multisingular hyperbolicity implies that the flow is star, and conversely, there is a C1-open and dense subset of the an open set of star flows which are multisingular hyperbolic.
More generally, for most of the hyperbolic structures (dominated splitting, partial hyperbolicity etc...) well defined on regular orbits, we propose a way for generalizing it to a compact set containing singular points.
△ Less
Submitted 23 October, 2018; v1 submitted 16 May, 2017;
originally announced May 2017.
-
Topological classification of Morse-Smale diffeomorphisms without heteroclinic curves on 3-manifolds
Authors:
Ch Bonatti,
V Grines,
F Laudenbach,
O Pochinka
Abstract:
We show that, up to topological conjugation, the equivalence class of a Morse-Smale diffeomorphism without heteroclinic curves on 3-manifold is completely defined by an em- bedding of two-dimensional stable and unstable heteroclinic laminations to a characteristic space.
We show that, up to topological conjugation, the equivalence class of a Morse-Smale diffeomorphism without heteroclinic curves on 3-manifold is completely defined by an em- bedding of two-dimensional stable and unstable heteroclinic laminations to a characteristic space.
△ Less
Submitted 28 September, 2017; v1 submitted 16 February, 2017;
originally announced February 2017.
-
Periodic measures and partially hyperbolic homoclinic classes
Authors:
Christian Bonatti,
**hua Zhang
Abstract:
In this paper, we give a precise meaning to the following fact, and we prove it: $C^1$-open and densely, all the non-hyperbolic ergodic measures generated by a robust cycle are approximated by periodic measures.
We apply our technique to the global setting of partially hyperbolic diffeomorphisms with one dimensional center. When both strong stable and unstable foliations are minimal, we get that…
▽ More
In this paper, we give a precise meaning to the following fact, and we prove it: $C^1$-open and densely, all the non-hyperbolic ergodic measures generated by a robust cycle are approximated by periodic measures.
We apply our technique to the global setting of partially hyperbolic diffeomorphisms with one dimensional center. When both strong stable and unstable foliations are minimal, we get that the closure of the set of ergodic measures is the union of two convex sets corresponding to the two possible $s$-indices; these two convex sets intersect along the closure of the set of non-hyperbolic ergodic measures. That is the case for robustly transitive perturbation of the time one map of a transitive Anosov flow, or of the skew product of an Anosov torus diffeomorphism by rotation of the circle.
△ Less
Submitted 27 September, 2016;
originally announced September 2016.
-
A criterion for zero averages and full support of ergodic measures
Authors:
Christian Bonatti,
Lorenzo J. Diaz,
Jairo Bochi
Abstract:
Consider a homeomorphism $f$ defined on a compact metric space $X$ and a continuous map $φ\colon X \to \mathbb{R}$. We provide an abstract criterion, called \emph{control at any scale with a long sparse tail} for a point $x\in X$ and the map $φ$, that guarantees that any weak$\ast$ limit measure $μ$ of the Birkhoff average of Dirac measures $\frac1n\sum_0^{n-1}δ(f^i(x))$ is such that $μ$-almost ev…
▽ More
Consider a homeomorphism $f$ defined on a compact metric space $X$ and a continuous map $φ\colon X \to \mathbb{R}$. We provide an abstract criterion, called \emph{control at any scale with a long sparse tail} for a point $x\in X$ and the map $φ$, that guarantees that any weak$\ast$ limit measure $μ$ of the Birkhoff average of Dirac measures $\frac1n\sum_0^{n-1}δ(f^i(x))$ is such that $μ$-almost every point $y$ has a dense orbit in $X$ and the Birkhoff average of $φ$ along the orbit of $y$ is zero.
As an illustration of the strength of this criterion, we prove that the diffeomorphisms with nonhyperbolic ergodic measures form a $C^1$-open and dense subset of the set of robustly transitive partially hyperbolic diffeomorphisms with one dimensional nonhyperbolic central direction. We also obtain applications for nonhyperbolic homoclinic classes.
△ Less
Submitted 25 September, 2016;
originally announced September 2016.
-
What is ... a blender?
Authors:
Christian Bonatti,
Sylvain Crovisier,
Lorenzo Diaz,
Amie Wilkinson
Abstract:
What is a blender? In six illustrated pages we define the construction of a blender and the role it plays in the study of smooth dynamical systems.
What is a blender? In six illustrated pages we define the construction of a blender and the role it plays in the study of smooth dynamical systems.
△ Less
Submitted 9 August, 2016;
originally announced August 2016.
-
On the existence of non-hyperbolic ergodic measures as the limit of periodic measures
Authors:
Christian Bonatti,
**hua Zhang
Abstract:
[GIKN] and [BBD1] propose two very different ways for building non hyperbolic measures, [GIKN] building such a measure as the limit of periodic measures and [BBD1] as the $ω$-limit set of a single orbit, with a uniformly vanishing Lyapunov exponent. The technique in [GIKN] was essentially used in a generic setting, as the periodic orbits were built by small perturbations. It is not known if the me…
▽ More
[GIKN] and [BBD1] propose two very different ways for building non hyperbolic measures, [GIKN] building such a measure as the limit of periodic measures and [BBD1] as the $ω$-limit set of a single orbit, with a uniformly vanishing Lyapunov exponent. The technique in [GIKN] was essentially used in a generic setting, as the periodic orbits were built by small perturbations. It is not known if the measures obtained by the technique in [BBD1] are accumulated by periodic measures.
In this paper we use a shadowing lemma from [G]:
$\bullet$for getting the periodic orbits in [GIKN] without perturbing the dynamics,
$\bullet$for recovering the compact set in [BBD1] with a uniformly vanishing Lyapunov exponent by considering the limit of periodic orbits.
As a consequence, we prove that there exists an open and dense subset $\mathcal{U}$ of the set of robustly transitive non-hyperbolic diffeomorphisms far from homoclinic tangencies, such that for any $f\in\mathcal{U}$, there exists a non-hyperbolic ergodic measure with full support and approximated by hyperbolic periodic measures.
We also prove that there exists an open and dense subset $\mathcal{V}$ of the set of diffeomorphisms exhibiting a robust cycle, such that for any $f\in\mathcal{V}$, there exists a non-hyperbolic ergodic measure approximated by hyperbolic periodic measures.
△ Less
Submitted 20 June, 2016;
originally announced June 2016.
-
Many intermingled basins in dimension 3
Authors:
Christian Bonatti,
Rafael Potrie
Abstract:
We construct a diffeomorphism of $\mathbb{T}^3$ admitting any finite or countable number of physical measures with intermingled basins. The examples are partially hyperbolic with splitting $T\mathbb{T}^3 = E^{cs} \oplus E^u$ and can be made volume hyperbolic and topologically mixing.
We construct a diffeomorphism of $\mathbb{T}^3$ admitting any finite or countable number of physical measures with intermingled basins. The examples are partially hyperbolic with splitting $T\mathbb{T}^3 = E^{cs} \oplus E^u$ and can be made volume hyperbolic and topologically mixing.
△ Less
Submitted 3 February, 2017; v1 submitted 11 March, 2016;
originally announced March 2016.
-
Transverse foliations on the torus $\T^2$ and partially hyperbolic diffeomorphisms on 3-manifolds
Authors:
Christian Bonatti,
**hua Zhang
Abstract:
In this paper, we prove that given two $C^1$ foliations $\mathcal{F}$ and $\mathcal{G}$ on $\mathbb{T}^2$ which are transverse, there exists a non-null homotopic loop $\{Φ_t\}_{t\in[0,1]}$ in $\diff^{1}(\T^2)$ such that $Φ_t(\calF)\pitchfork \calG$ for every $t\in[0,1]$, and $Φ_0=Φ_1= Id$. As a direct consequence, we get a general process for building new partially hyperbolic diffeomorphisms on cl…
▽ More
In this paper, we prove that given two $C^1$ foliations $\mathcal{F}$ and $\mathcal{G}$ on $\mathbb{T}^2$ which are transverse, there exists a non-null homotopic loop $\{Φ_t\}_{t\in[0,1]}$ in $\diff^{1}(\T^2)$ such that $Φ_t(\calF)\pitchfork \calG$ for every $t\in[0,1]$, and $Φ_0=Φ_1= Id$. As a direct consequence, we get a general process for building new partially hyperbolic diffeomorphisms on closed $3$-manifolds. \cite{BPP} built a new example of dynamically coherent non-transitive partially hyperbolic diffeomorphism on a closed $3$-manifold, the example in \cite{BPP} is obtained by composing the time $t$ map, $t>0$ large enough, of a very specific non-transitive Anosov flow by a Dehn twist along a transverse torus. Our result shows that the same construction holds starting with any non-transitive Anosov flow on an oriented $3$-manifold. Moreover, for a given transverse torus, our result explains which type of Dehn twists lead to partially hyperbolic diffeomorphisms.
△ Less
Submitted 13 February, 2016;
originally announced February 2016.
-
Foliated hyperbolicity and foliations with hyperbolic leaves
Authors:
Christian Bonatti,
Xavier Gómez-Mont,
Matilde Martínez
Abstract:
Given a lamination in a compact space and a laminated vector field $X$ which is hyperbolic when restricted to the leaves of the lamination, we distinguish a class of $X$-invariant probabilities that describe the behaviour of almost every $X$-orbit in every leaf, that we call u-Gibbs states. We apply this to the case of foliations in compact manifolds having leaves with negative curvature, using th…
▽ More
Given a lamination in a compact space and a laminated vector field $X$ which is hyperbolic when restricted to the leaves of the lamination, we distinguish a class of $X$-invariant probabilities that describe the behaviour of almost every $X$-orbit in every leaf, that we call u-Gibbs states. We apply this to the case of foliations in compact manifolds having leaves with negative curvature, using the foliated hyperbolic vector field on the unit tangent bundle to the foliation generating the leaf geodesics. When the Lyapunov exponents of such an ergodic u-Gibbs states are negative, it is an SRB-measure (having a positive Lebesgue basin of attraction). When the foliation is by hyperbolic leaves, this class of probabilities coincide with the classical harmonic measures introduced by L. Garnett. If furthermore the foliation is transversally conformal and does not admit a transverse invariant measure we show that the ergodic u-Gibbs states are finitely many, supported each in one minimal set of the foliation, have negative Lyapunov exponents and the union of their basins of attraction has full Lebesgue measure. The leaf geodesics emanating from a point have a proportion whose asymptotic statistics is described by each of these ergodic u-Gibbs states, giving rise to continuous visibility functions of the attractors. Reversing time, by considering $-X$, we obtain the existence of the same number of repellors of the foliated geodesic flow having the same harmonic measures as projections to $M$. In the case of only 1 attractor, we obtain a North to South pole dynamics.
△ Less
Submitted 16 October, 2015;
originally announced October 2015.
-
Anomalous partially hyperbolic diffeomorphisms II: stably ergodic examples
Authors:
Christian Bonatti,
Andrey Gogolev,
Rafael Potrie
Abstract:
We construct examples of robustly transitive and stably ergodic partially hyperbolic diffeomorphisms $f$ on compact $3$-manifolds with fundamental groups of exponential growth such that $f^n$ is not homotopic to identity for all $n>0$. These provide counterexamples to a classification conjecture of Pujals.
We construct examples of robustly transitive and stably ergodic partially hyperbolic diffeomorphisms $f$ on compact $3$-manifolds with fundamental groups of exponential growth such that $f^n$ is not homotopic to identity for all $n>0$. These provide counterexamples to a classification conjecture of Pujals.
△ Less
Submitted 18 April, 2016; v1 submitted 25 June, 2015;
originally announced June 2015.
-
Volume hyperbolicity and wildness
Authors:
Christian Bonatti,
Katsutoshi Shinohara
Abstract:
It is known that volume hyperbolicity (partial hyperbolicity and uniform expansion or contraction of the volume in the extremal bundles) is a necessary condition for robust transitivity or robust chain recurrence hence for tameness. In this paper, on any 3-manifold we build examples of quasi-attractors which are volume hyperbolic and wild at the same time. As a main corollary, we see that, for any…
▽ More
It is known that volume hyperbolicity (partial hyperbolicity and uniform expansion or contraction of the volume in the extremal bundles) is a necessary condition for robust transitivity or robust chain recurrence hence for tameness. In this paper, on any 3-manifold we build examples of quasi-attractors which are volume hyperbolic and wild at the same time. As a main corollary, we see that, for any closed 3-manifold $M$, the space $\mathrm{Diff}^1(M)$ admits a non-empty open set where every $C^1$-generic diffeomorphism has no attractors or repellers.
The main tool of our construction is the notion of flexible periodic points introduced by the authors. For ejecting the flexible points from the quasi-attractor, we control the topology of the quasi-attractor using the notion of partially hyperbolic filtrating Markov partition, which we introduce in this paper.
△ Less
Submitted 28 May, 2015;
originally announced May 2015.
-
A spectral-like decomposition for transitive Anosov flows in dimension three
Authors:
François Béguin,
Christian Bonatti,
Bin Yu
Abstract:
Given a (transitive or non-transitive) Anosov vector field $X$ on a closed three-dimensional manifold $M$, one may try to decompose $(M,X)$ by cutting $M$ along two-tori transverse to $X$. We prove that one can find a finite collection $\{T_1,\dots,T_n\}$ of pairwise disjoint, pairwise non-parallel incompressible tori transverse to $X$, such that the maximal invariant sets $Λ_1,\dots,Λ_m$ of the c…
▽ More
Given a (transitive or non-transitive) Anosov vector field $X$ on a closed three-dimensional manifold $M$, one may try to decompose $(M,X)$ by cutting $M$ along two-tori transverse to $X$. We prove that one can find a finite collection $\{T_1,\dots,T_n\}$ of pairwise disjoint, pairwise non-parallel incompressible tori transverse to $X$, such that the maximal invariant sets $Λ_1,\dots,Λ_m$ of the connected components $V_1,\dots,V_m$ of $M-(T_1\cup\dots\cup T_n)$ satisfy the following properties: 1, each $Λ_i$ is a compact invariant locally maximal transitive set for $X$, 2, the collection $\{Λ_1,\dots,Λ_m\}$ is canonically attached to the pair $(M,X)$ (i.e., it can be defined independently of the collection of tori $\{T_1,\dots,T_n\}$), 3, the $Λ_i$'s are the smallest possible: for every (possibly infinite) collection $\{S_i\}_{i\in I}$ of tori transverse to $X$, the $Λ_i$'s are contained in the maximal invariant set of $M-\cup_i S_i$. To a certain extent, the sets $Λ_1,\dots,Λ_m$ are analogs (for Anosov vector field in dimension 3) of the basic pieces which appear in the spectral decomposition of a non-transitive axiom A vector field. Then we discuss the uniqueness of such a decomposition: we prove that the pieces of the decomposition $V_1,\dots,V_m$, equipped with the restriction of the Anosov vector field $X$, are "almost unique up to topological equivalence".
△ Less
Submitted 22 May, 2015;
originally announced May 2015.
-
Existence of common zeros for commuting vector fields on $3$-manifolds
Authors:
Christian Bonatti,
Bruno Santiago
Abstract:
In $64$ E. Lima proved that commuting vector fields on surfaces with non-zero Euler characteristic have common zeros. Such statement is empty in dimension $3$, since all the Euler characteristics vanish. Nevertheless, \cite{Bonatti_analiticos} proposed a local version, replacing the Euler characteristic by the Poincaré-Hopf index of a vector field $X$ in a region $U$, denoted by…
▽ More
In $64$ E. Lima proved that commuting vector fields on surfaces with non-zero Euler characteristic have common zeros. Such statement is empty in dimension $3$, since all the Euler characteristics vanish. Nevertheless, \cite{Bonatti_analiticos} proposed a local version, replacing the Euler characteristic by the Poincaré-Hopf index of a vector field $X$ in a region $U$, denoted by $\operatorname{Ind}(X,U)$; he asked:
\emph{Given commuting vector fields $X,Y$ and a region $U$ where $\operatorname{Ind}(X,U)\neq 0$, does $U$ contain a common zero of $X$ and $Y$?}
\cite{Bonatti_analiticos} gave a positive answer in the case where $X$ and $Y$ are real analytic.
In this paper, we prove the existence of common zeros for commuting $C^1$ vector fields $X$, $Y$ on a $3$-manifold, in any region $U$ such that $\operatorname{Ind}(X,U)\neq 0$, assuming that the set of collinearity of $X$ and $Y$ is contained in a smooth surface. This is a strong indication that the results in \cite{Bonatti_analiticos} should hold for $C^1$-vector fields.
△ Less
Submitted 15 November, 2016; v1 submitted 23 April, 2015;
originally announced April 2015.
-
Dominated Pesin theory: convex sum of hyperbolic measures
Authors:
Jairo Bochi,
Christian Bonatti,
Katrin Gelfert
Abstract:
In the uniformly hyperbolic setting it is well known that the set of all measures supported on periodic orbits is dense in the convex space of all invariant measures. In this paper we consider the converse question, in the non-uniformly hyperbolic setting: assuming that some ergodic measure converges to a convex combination of hyperbolic ergodic measures, what can we deduce about the initial measu…
▽ More
In the uniformly hyperbolic setting it is well known that the set of all measures supported on periodic orbits is dense in the convex space of all invariant measures. In this paper we consider the converse question, in the non-uniformly hyperbolic setting: assuming that some ergodic measure converges to a convex combination of hyperbolic ergodic measures, what can we deduce about the initial measures?
To every hyperbolic measure $μ$ whose stable/unstable Oseledets splitting is dominated we associate canonically a unique class $H(μ)$ of periodic orbits for the homoclinic relation, called its \emph{intersection class}. In a dominated setting, we prove that a measure for which almost every measure in its ergodic decomposition is hyperbolic with the same index such as the dominated splitting is accumulated by ergodic measures if, and only if, almost all such ergodic measures have a common intersection class.
We provide examples which indicate the importance of the domination assumption.
△ Less
Submitted 19 July, 2017; v1 submitted 19 March, 2015;
originally announced March 2015.
-
Robust criterion for the existence of nonhyperbolic ergodic measures
Authors:
Jairo Bochi,
Christian Bonatti,
Lorenzo J. Díaz
Abstract:
We give explicit $C^1$-open conditions that ensure that a diffeomorphism possesses a nonhyperbolic ergodic measure with positive entropy. Actually, our criterion provides the existence of a partially hyperbolic compact set with one-dimensional center and positive topological entropy on which the center Lyapunov exponent vanishes uniformly.
The conditions of the criterion are met on a $C^1$-dense…
▽ More
We give explicit $C^1$-open conditions that ensure that a diffeomorphism possesses a nonhyperbolic ergodic measure with positive entropy. Actually, our criterion provides the existence of a partially hyperbolic compact set with one-dimensional center and positive topological entropy on which the center Lyapunov exponent vanishes uniformly.
The conditions of the criterion are met on a $C^1$-dense and open subset of the set of a diffeomorphisms having a robust cycle. As a corollary, there exists a $C^1$-open and dense subset of the set of non-Anosov robustly transitive diffeomorphisms consisting of systems with nonhyperbolic ergodic measures with positive entropy.
The criterion is based on a notion of a blender defined dynamically in terms of strict invariance of a family of discs.
△ Less
Submitted 23 February, 2015;
originally announced February 2015.
-
Anomalous partially hyperbolic diffeomorphisms I: dynamically coherent examples
Authors:
Christian Bonatti,
Kamlesh Parwani,
Rafael Potrie
Abstract:
We build an example of a non-transitive, dynamically coherent partially hyperbolic diffeomorphism $f$ on a closed $3$-manifold with exponential growth in its fundamental group such that $f^n$ is not isotopic to the identity for all $n\neq 0$. This example contradicts a conjecture in \cite{HHU}. The main idea is to consider a well-understood time-$t$ map of a non-transitive Anosov flow and then car…
▽ More
We build an example of a non-transitive, dynamically coherent partially hyperbolic diffeomorphism $f$ on a closed $3$-manifold with exponential growth in its fundamental group such that $f^n$ is not isotopic to the identity for all $n\neq 0$. This example contradicts a conjecture in \cite{HHU}. The main idea is to consider a well-understood time-$t$ map of a non-transitive Anosov flow and then carefully compose with a Dehn twist.
△ Less
Submitted 23 November, 2015; v1 submitted 5 November, 2014;
originally announced November 2014.
-
Building Anosov flows on 3-manifolds
Authors:
François Béguin,
Bin Yu,
Christian Bonatti
Abstract:
We prove a result allowing to build (transitive or non-transitive) Anosov flows on 3-manifolds by gluing together filtrating neighborhoods of hyperbolic sets. We give several applications; for example: 1. we build a 3-manifold supporting both of a transitive Anosov vector field and a non-transitive Anosov vector field; 2. for any n, we build a 3-manifold M supporting at least n pairwise different…
▽ More
We prove a result allowing to build (transitive or non-transitive) Anosov flows on 3-manifolds by gluing together filtrating neighborhoods of hyperbolic sets. We give several applications; for example: 1. we build a 3-manifold supporting both of a transitive Anosov vector field and a non-transitive Anosov vector field; 2. for any n, we build a 3-manifold M supporting at least n pairwise different Anosov vector fields; 3. we build transitive attractors with prescribed entrance foliation; in particular, we construct some incoherent transitive attractors; 4. we build a transitive Anosov vector field admitting infinitely many pairwise non-isotopic trans- verse tori.
△ Less
Submitted 18 August, 2014;
originally announced August 2014.
-
Center manifolds for partially hyperbolic set without strong unstable connections
Authors:
Christian Bonatti,
Sylvain Crovisier
Abstract:
We consider compact sets which are invariant and partially hyperbolic under the dynamics of a diffeomorphism of a manifold. We prove that such a set K is contained in a locally invariant center submanifold if and only if each strong stable and strong unstable leaf intersects K at exactly one point.
We consider compact sets which are invariant and partially hyperbolic under the dynamics of a diffeomorphism of a manifold. We prove that such a set K is contained in a locally invariant center submanifold if and only if each strong stable and strong unstable leaf intersects K at exactly one point.
△ Less
Submitted 10 January, 2014;
originally announced January 2014.
-
Centralizers of $C^1$-contractions of the half line
Authors:
Christian Bonatti,
Églantine Farinelli
Abstract:
A subgroup $G\subset Diff^1_+([0,1])$ is $C^1$-close to the identity if there is a sequence $h_n\in Diff^1_+([0,1])$ such that the conjugates $h_n g h_n^{-1}$ tend to the identity for the $C^1$-topology, for every $g\in G$. This is equivalent to the fact that $G$ can be embedded in the $C^1$-centralizer of a $C^1$-contraction of $[0,+\infty)$ (see [Fa] and Theorem 1.1).
We first describe the top…
▽ More
A subgroup $G\subset Diff^1_+([0,1])$ is $C^1$-close to the identity if there is a sequence $h_n\in Diff^1_+([0,1])$ such that the conjugates $h_n g h_n^{-1}$ tend to the identity for the $C^1$-topology, for every $g\in G$. This is equivalent to the fact that $G$ can be embedded in the $C^1$-centralizer of a $C^1$-contraction of $[0,+\infty)$ (see [Fa] and Theorem 1.1).
We first describe the topological dynamics of groups $C^1$-close to the identity. Then, we show that the class of groups $C^1$-close to the identity is invariant under some natural dynamical and algebraic extensions. As a consequence, we can describe a large class of groups $G\subset Diff^1_+([0,1])$ whose topological dynamics implies that they are $C^1$-close to the identity.
This allows us to show that the free group ${\mathbb F}_2$ admits faithfull actions which are $C^1$-close to the identity. In particular, the $C^1$-centralizer of a $C^1$-contraction may contain free groups.
△ Less
Submitted 28 December, 2013;
originally announced December 2013.
-
Rigidity for $C^1$ actions on the interval arising from hyperbolicity I: solvable groups
Authors:
C. Bonatti,
I. Monteverde,
A. Navas,
C. Rivas
Abstract:
We consider Abelian-by-cyclic groups for which the cyclic factor acts by hyperbolic automorphisms on the Abelian subgroup. We show that if such a group acts faithfully by $C^1$ diffeomorphisms of the closed interval with no global fixed point at the interior, then the action is topologically conjugated to that of an affine group. Moreover, in case of non-Abelian image, we show a rigidity result co…
▽ More
We consider Abelian-by-cyclic groups for which the cyclic factor acts by hyperbolic automorphisms on the Abelian subgroup. We show that if such a group acts faithfully by $C^1$ diffeomorphisms of the closed interval with no global fixed point at the interior, then the action is topologically conjugated to that of an affine group. Moreover, in case of non-Abelian image, we show a rigidity result concerning the multipliers of the homotheties, despite the fact that the conjugacy is not necessarily smooth. Some consequences for non-solvable groups are proposed. In particular, we give new proofs/examples yielding the existence of finitely-generated, locally-indicable groups with no faithful action by $C^1$ diffeomorphisms of the interval.
△ Less
Submitted 19 July, 2016; v1 submitted 20 September, 2013;
originally announced September 2013.
-
The $C^{1+α}$ hypothesis in Pesin theory revisited
Authors:
Christian Bonatti,
Sylvain Crovisier,
Katsutoshi Shinohara
Abstract:
We show that for every compact 3-manifold $M$ there exists an open subset of $\diff ^1(M)$ in which every generic diffeomorphism admits uncountably many ergodic probability measures which are hyperbolic while their supports are disjoint and admit a basis of attracting neighborhoods and a basis of repelling neighborhoods. As a consequence, the points in the support of these measures have no stable…
▽ More
We show that for every compact 3-manifold $M$ there exists an open subset of $\diff ^1(M)$ in which every generic diffeomorphism admits uncountably many ergodic probability measures which are hyperbolic while their supports are disjoint and admit a basis of attracting neighborhoods and a basis of repelling neighborhoods. As a consequence, the points in the support of these measures have no stable and no unstable manifolds. This contrasts with the higher regularity case, where Pesin theory gives us the stable and the unstable manifolds with complementary dimensions at almost every point. We also give such an example in dimension two, without local genericity.
△ Less
Submitted 26 June, 2013;
originally announced June 2013.
-
Flexible periodic points
Authors:
Christian Bonatti,
Katsutoshi Shinohara
Abstract:
We define the notion of $\varepsilon$-flexible periodic point: it is a periodic point with stable index equal to two whose dynamics restricted to the stable direction admits $\varepsilon$-perturbations both to a homothety and a saddle having an eigenvalue equal to one. We show that $\varepsilon$-perturbation to an $\varepsilon$-flexible point allows to change it in a stable index one periodic poin…
▽ More
We define the notion of $\varepsilon$-flexible periodic point: it is a periodic point with stable index equal to two whose dynamics restricted to the stable direction admits $\varepsilon$-perturbations both to a homothety and a saddle having an eigenvalue equal to one. We show that $\varepsilon$-perturbation to an $\varepsilon$-flexible point allows to change it in a stable index one periodic point whose (one dimensional) stable manifold is an arbitrarily chosen $C^1$ -curve. We also show that the existence of flexible point is a general phenomenon among systems with a robustly non-hyperbolic two dimensional center-stable bundle.
△ Less
Submitted 7 December, 2012;
originally announced December 2012.
-
Robust vanishing of all Lyapunov exponents for iterated function systems
Authors:
Jairo Bochi,
Christian Bonatti,
Lorenzo J. Díaz
Abstract:
Given any compact connected manifold $M$, we describe $C^2$-open sets of iterated functions systems (IFS's) admitting fully-supported ergodic measures whose Lyapunov exponents along $M$ are all zero. Moreover, these measures are approximated by measures supported on periodic orbits. We also describe $C^1$-open sets of IFS's admitting ergodic measures of positive entropy whose Lyapunov exponents al…
▽ More
Given any compact connected manifold $M$, we describe $C^2$-open sets of iterated functions systems (IFS's) admitting fully-supported ergodic measures whose Lyapunov exponents along $M$ are all zero. Moreover, these measures are approximated by measures supported on periodic orbits. We also describe $C^1$-open sets of IFS's admitting ergodic measures of positive entropy whose Lyapunov exponents along $M$ are all zero. The proofs involve the construction of non-hyperbolic measures for the induced IFS's on the flag manifold.
△ Less
Submitted 4 June, 2013; v1 submitted 14 November, 2012;
originally announced November 2012.
-
Partially hyperbolic diffeomorphisms with uniformly center foliation: the quotient dynamics
Authors:
Doris Bohnet,
Christian Bonatti
Abstract:
We show that a partially hyperbolic $C^1$ -diffeomorphism $f : M \to M$ with a uniformly compact $f$ -invariant center foliation $F^c$ is dynamically coherent. Further, the induced homeomorphism $F : M/F^c \to M/F^c$ on the quotient space of the center foliation has the shadowing property, i.e. for every $\varepsilon> 0$ there exists $δ> 0$ such that every $δ$-pseudo orbit of center leaves is…
▽ More
We show that a partially hyperbolic $C^1$ -diffeomorphism $f : M \to M$ with a uniformly compact $f$ -invariant center foliation $F^c$ is dynamically coherent. Further, the induced homeomorphism $F : M/F^c \to M/F^c$ on the quotient space of the center foliation has the shadowing property, i.e. for every $\varepsilon> 0$ there exists $δ> 0$ such that every $δ$-pseudo orbit of center leaves is $\varepsilon$-shadowed by an orbit of center leaves. Although the shadowing orbit is not necessarily unique, we prove the density of periodic center leaves inside the chain recurrent set of the quotient dynamics. Some other interesting properties of the quotient dynamics are discussed.
△ Less
Submitted 10 December, 2014; v1 submitted 10 October, 2012;
originally announced October 2012.
-
Connectedness of the space of smooth actions of $\Z^n$ on the interval
Authors:
Christian Bonatti,
Hélène Eynard
Abstract:
We prove that the spaces of $\Cinf$ orientation-preserving actions of $\Z^n$ on $[0,1]$ and nonfree actions of $\Z^2$ on the circle are connected.
We prove that the spaces of $\Cinf$ orientation-preserving actions of $\Z^n$ on $[0,1]$ and nonfree actions of $\Z^2$ on the circle are connected.
△ Less
Submitted 7 September, 2012;
originally announced September 2012.
-
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.
-
Tame dynamics and robust transitivity
Authors:
Christian Bonatti,
Sylvain Crovisier,
Nicolas Gourmelon,
Rafael Potrie
Abstract:
One main task of smooth dynamical systems consists in finding a good decomposition into elementary pieces of the dynamics. This paper contributes to the study of chain-recurrence classes. It is known that $C^1$-generically, each chain-recurrence class containing a periodic orbit is equal to the homoclinic class of this orbit. Our result implies that in general this property is fragile.
We build…
▽ More
One main task of smooth dynamical systems consists in finding a good decomposition into elementary pieces of the dynamics. This paper contributes to the study of chain-recurrence classes. It is known that $C^1$-generically, each chain-recurrence class containing a periodic orbit is equal to the homoclinic class of this orbit. Our result implies that in general this property is fragile.
We build a C1-open set U of tame diffeomorphisms (their dynamics only splits into finitely many chain-recurrence classes) such that for any diffeomorphism in a C-infinity-dense subset of U, one of the chain-recurrence classes is not transitive (and has an isolated point). Moreover, these dynamics are obtained among partially hyperbolic systems with one-dimensional center.
Résumé : Dynamique modérée et transitivité robuste.
L'un des buts des systèmes dynamiques consiste à trouver une bonne décomposition de la dynamique en pièces élémentaires. Cet article contribue à l'étude des classes de récurrence par chaînes. On sait que C1-génériquement, chaque classe de récurrence par chaînes contenant une orbite périodique coincide avec la classe homocline de cette orbite. Notre résultat montre que cette propriété est en générale fragile.
Nous construisons un ouvert U de difféomorphismes modérés (leur dynamique ne se décompose qu'en un nombre fini de classes de récurrence par chaînes) tel que pour tout difféomorphisme appartenant à un sous-ensemble C-infini-dense de U, une des classes de récurrence par chaînes n'est pas transitive (elle a un point isolé). De plus, ces dynamiques sont obtenues comme systèmes partiellement hyperboliques avec une direction centrale uni-dimensionnelle.
△ Less
Submitted 5 December, 2011;
originally announced December 2011.
-
Dominated chain recurrent class with singularities
Authors:
Christian Bonatti,
Shaobo Gan,
Dawei Yang
Abstract:
We prove that for generic three-dimensional vector fields, domination implies singular hyperbolicity.
We prove that for generic three-dimensional vector fields, domination implies singular hyperbolicity.
△ Less
Submitted 20 June, 2011;
originally announced June 2011.
-
Stabilization of heterodimensional cycles
Authors:
Christian Bonatti,
Lorenzo J. Diaz,
Shin Kiriki
Abstract:
We consider diffeomorphisms $f$ with heteroclinic cycles associated to saddles $P$ and $Q$ of different indices. We say that a cycle of this type can be stabilized if there are diffeomorphisms close to $f$ with a robust cycle associated to hyperbolic sets containing the continuations of $P$ and $Q$. We focus on the case where the indices of these two saddles differ by one. We prove that, excluding…
▽ More
We consider diffeomorphisms $f$ with heteroclinic cycles associated to saddles $P$ and $Q$ of different indices. We say that a cycle of this type can be stabilized if there are diffeomorphisms close to $f$ with a robust cycle associated to hyperbolic sets containing the continuations of $P$ and $Q$. We focus on the case where the indices of these two saddles differ by one. We prove that, excluding one particular case (so-called twisted cycles that additionally satisfy some geometrical restrictions), all such cycles can be stabilized.
△ Less
Submitted 5 April, 2011;
originally announced April 2011.
