Compact locally maximal hyperbolic sets are studied via geometrically defined functional spaces that take advantage of the smoothness of the map in a neighborhood of the hyperbolic set. This provides a self-contained theory that not only reproduces all the known classical results but gives also new insights on the statistical properties of these systems.
We prove that for any closed manifold of dimension 3 or greater that there is an open set of smooth flows that have a hyperbolic set that is not contained in a locally maximal one. Additionally, we show that the stabilization of the shadowing closure of a hyperbolic set is an intrinsic property for premaximality. Lastly,we review some results due to Anosov that concern premaximality.
We prove that any 3-dimensional singular hyperbolic attractor admits for any Hölder continuous potential $V$ at most one equilibrium state for $V$ among regular measures. We give a condition on $V$ which ensures that no singularity can be an equilibrium state. Thus, for these $V$'s, there exists a unique equilibrium state and it is a regular measure. Applying this for $V\equiv 0$, we show that any 3-dimensional singular hyperbolic attractor admits a unique measure of maximal entropy.
In this paper, we study the number of ergodic measures of maximal entropy for partially hyperbolic diffeomorphisms defined on $3-$torus with compact center leaves. Assuming the existence of a periodic leaf with Morse-Smale dynamics we prove a sharp upper bound for the number of maximal measures in terms of the number of sources and sinks of Morse-Smale dynamics. A well-known class of examples for which our results apply are the so-called Kan-type diffeomorphisms admitting physical measures with intermingled basins.
In this paper we study two properties related to the structure of hyperbolic sets. First we construct new examples answering in the negative the following question posed by Katok and Hasselblatt. Let $Λ$ be a hyperbolic set, and let $V$ be an open neighborhood of $Λ$. Does there exist a locally maximal hyperbolic set $\widetildeΛ$ such that $Λ\subset \widetildeΛ \subset V $? We show that such examples are present in linear anosov diffeomorophisms of $\mathbb{T}^3$, and are therefore robust. Also we construct new examples of sets that are not contained in any locally maximal hyperbolic set. The…
We show the existence and uniqueness of the maximal entropy probability measure for partially hyperbolic diffeomorphisms which are semi-conjugate to nonuniformly expanding maps. Using the theory of projective metric on cones we then prove exponential decay of correlations for Hölder continuous observables and the central limit theorem for the maximal entropy probability measure. Moreover, for systems derived from solenoid we also prove the statistical stability for the maximal entropy probability measure. Finally, we use such techniques to obtain similar results in a context containing partial…
Livšic theorem asserts that, for Anosov diffeomorphisms/flows, a Lipschitz observable is a coboundary if all its Birkhoff sums on every periodic orbits are equal to zero. The transfer function is then Lipschitz. We prove a positive Livšic theorem which asserts that a Lipschitz observable is bounded from below by a coboundary if and only if all its Birkhoff sums on periodic orbits are non negative. The new result is that the coboundary can be chosen Lipschitz. The map is only assumed to be $C^1$ and hyperbolic, but not necessarily bijective nor transitive. We actually prove our main result in t…
Given a locally maximal compact invariant hyperbolic set $Λ$ for a $C^1$ flow or diffeomorphism on a Riemann manifold with $C^1$ unstable laminations, we construct an invariant continuous bundle of tangent vectors to local unstable manifolds that locally approximates $Λ$ in a certain way.
We establish two results under which the topology of a hyperbolic set constrains ambient dynamics. First if a set is a compact, transitive, expanding hyperbolic attractor of codimension 1 for some diffeomorphism, then it is a union of transitive, expanding attractors (or contracting repellers) of codimension 1 for any diffeomorphism such that it is hyperbolic. Secondly, if a set is a nonwandering, locally maximal, compact hyperbolic set for a surface diffeomorphism, then it is locally maximal for any diffeomorphism for which it is hyperbolic.
For a class of piecewise hyperbolic maps in two dimensions, we propose a combinatorial definition of topological entropy by counting the maximal, open, connected components of the phase space on which iterates of the map are smooth. We prove that this quantity dominates the measure theoretic entropies of all invariant probability measures of the system, and then construct an invariant measure whose entropy equals the proposed topological entropy. We prove that our measure is the unique measure of maximal entropy, that it is ergodic, gives positive measure to every open set, and has exponential…
We characterize two of the most studied non-uniform hyperbolicity conditions for rational maps, semi-hyperbolicity and the topological Collet-Eckmann condition, in terms of the maximal entropy measure. Using the same tools in the proof of these results we give an extension of a result of Carleson, Jones and Yoccoz, that semi-hyperbolicity characterizes those polynomial maps whose basin of attraction of infinity is a John domain, to rational maps having a completely invariant attracting basin.
For the study of the 2-dimensional space of cubic polynomials, J. Milnor considers the complex 1-dimensional slice S_n of the cubic polynomials which have a super-attracting orbit of period n. He gives in [M4] a detailed conjectural picture of S_n. In this article, we prove these conjectures for S_1 and generalize these results in higher degrees. In particular, this gives a description of the closures of the hyperbolic components and of the Mandelbrot copies sitting in the connectedness locus. We prove that the closure of hyperbolic components is a Jordan curve, the points of which are charact…
We provide examples of transitive partially hyperbolic dynamics (specific but paradigmatic examples of homoclinic classes) which blend different types of hyperbolicity in the one-dimensional center direction. These homoclinic classes have two disjoint parts: an "exposed" piece which is poorly homoclinically related with the rest and a "core" with rich homoclinic relations. There is an associated natural division of the space of ergodic measures which are either supported on the exposed piece or on the core. We describe the topology of these two parts and show that they glue along nonhyperbolic…
We characterize the maximal entropy measures of partially hyperbolic C^2 diffeomorphisms whose center foliations form circle bundles, by means of suitable finite sets of saddle points, that we call skeletons. In the special case of 3-dimensional nilmanifolds other than the torus, this entails the following dichotomy: either the diffeomorphism is a rotation extension of an Anosov diffeomorphism -- in which case there is a unique maximal measure, with full support and zero center Lyapunov exponents -- or there exist exactly two ergodic maximal measures, both hyperbolic and whose center Lyapunov …
We show that if (X, f) is a locally connected Smale space such that the local product structure on X can be lifted by a covering with virtually nilpotent group of deck transformations to a global direct product, then (X, f) is topologically conjugate to a hyperbolic infra-nilmanifold automorphism. We use this result to give a generalization to Smale spaces of a theorem of M. Brin and A. Manning on Anosov diffeomorphisms with pinched spectrum, and to show that every locally connected codimension one Smale space is topologically conjugate to a hyperbolic automorphism of a torus.
We study the dynamics of unipotent flows on frame bundles of hyperbolic manifolds of infinite volume. We prove that they are topologi-cally transitive, and that the natural invariant measure, the so-called " Burger-Roblin measure ", is ergodic, as soon as the geodesic flow admits a finite measure of maximal entropy, and this entropy is strictly greater than the codi-mension of the unipotent flow inside the maximal unipotent flow. The latter result generalises a Theorem of Mohammadi and Oh.
Let f be a dominant rational map of P^k such that there exists s <k, with lambda_s(f)>lambda_l(f) for all l. Under mild hypotheses, we show that, for A outside a pluripolar set of the group of automorphisms of P^k, the map f o A admits a hyperbolic measure of maximal entropy log(lambda_s(f)) with explicit bounds on the Lyapunov exponents. In particular, the result is true for polynomial maps hence for the homogeneous extension of f to P^{k+1}. This provides many examples where non uniform hyperbolic dynamics is established. One of the key tools is to approximate the graph of a meromorphic func…
Let $X$ be a compact, geodesically complete, locally CAT(0) space such that the universal cover admits a rank one axis. We prove the Bowen-Margulis measure on the space of geodesics is the unique measure of maximal entropy for the geodesic flow, which has topological entropy equal to the critical exponent of the Poincaré series.
We establish new results on the weak containment of quasi-regular and Koopman representations of a second countable locally compact group $G$ associated with non-singular $G$-spaces. We deduce that any two boundary representations of a hyperbolic locally compact group are weakly equivalent. We also show that non-amenable hyperbolic locally compact groups with a cocompact amenable subgroup are characterized by the property that any two proper length functions are homothetic up to an additive constant. Combining those results with the work of Ł. Garncarek on the irreducibility of boundary repres…
We show that the group of conformal homeomorphisms of the boundary of a rank one symmetric space (except the hyperbolic plane) of noncompact type acts as a maximal convergence group. Moreover, we show that any family of uniformly quasiconformal homeomorphisms has the convergence property. Our theorems generalize results of Gehring and Martin in the real hyperbolic case for Möbius groups. As a consequence, this shows that the maximal convergence subgroups of the group of self homeomorphisms of the $d$-sphere are not unique up to conjugacy. Finally, we discuss some implications of maximality.
We develop a general theory of transport barriers for three-dimensional unsteady flows with arbitrary time-dependence. The barriers are obtained as two-dimensional Lagrangian Coherent Structures (LCSs) that create locally maximal deformation. Along hyperbolic LCSs, this deformation is induced by locally maximal normal repulsion or attraction. Along shear LCSs, the deformation is created by locally maximal tangential shear. Hyperbolic LCSs, therefore, play the role of generalized stable and unstable manifolds, while closed shear LCSs (elliptic LCSs) act as generalized KAM tori or KAM-type cylin…