In this paper we formulate and prove a structure theorem for area preserving diffeomorphisms of genus zero surfaces with zero entropy. As an application we relate the existence of faithful actions of a finite index subgroup of the mapping class group of a closed surface $Σ_g$ on $S^2$ by area preserving diffeomorphisms to the existence of finite index subgroups of bounded mapping class groups $MCG(S, \partial S)$ with non-trivial first cohomology.
Let $q:M\to M$ be a volume-preserving diffeomorphism of a smooth manifold $M$. We study the possibility to present $q$ as the Poincaré map, corresponding to a volume-preserving vector field on $\mathbb{T}\times M$, $\mathbb{T} = \mathbb{R}/\mathbb{Z}$.
We prove that a C1-generic volume preserving diffeomorphism has a symbolic extension if and only if this diffeomorphism is partial hyperbolic. This result is obtained by means of good dichotomies. In particular, we prove Bonatti's conjecture in the volume preserving scenario. More precisely, in the complement of Anosov diffeomorphisms we have densely robust heterodimensional cycles.
We prove that every C1 diffeomorphism away from homoclinic tangencies is entropy expansive, with locally uniform expansivity constant. Consequently, such diffeomorphisms satisfy Shub's entropy conjecture: the entropy is bounded from below by the spectral radius in homology. Moreover, they admit principal symbolic extensions, and the topological entropy and metrical entropy vary continuously with the map. In contrast, generic diffeomorphisms with persistent tangencies are not entropy expansive and have no symbolic extensions.
Let f be a volume-preserving diffeomorphism of a closed C1 n-dimensional Riemannian manifold M: In this paper, we prove the equivalence between the following conditions: (a) f belongs to the C1-interior of the set of volume-preserving diffeomorphisms which satisfy the weak shadowing property, (b) f belongs to the C1-interior of the set of volume-preserving diffeomorphisms which satisfy the limit weak shadowing property, (c) f is Anosov.
The Anosov-Katok method is one of the most powerful tools of constructing smooth volume-preserving diffeomorphisms of entropy zero with prescribed ergodic or topological properties. To measure the complexity of systems with entropy zero, invariants like slow entropy have been introduced. In this article we develop several mechanisms facilitating computation of topological and measure-theoretic slow entropy of Anosov-Katok diffeomorphisms.
It is known that transitive Anosov diffeomorphisms have a unique measure of maximal entropy (MME). Here we discuss the converse question. Under suitable hypothesis on Lyapunov exponents on the set of periodic points and the structure of the MME we get transitivity of $C^1-$Anosov diffeomorphisms.
We study the effects that the constant periodic data condition have on topological entropy of Anosov diffeomorphisms. Under constant periodic data condition we prove that Anosov diffeomorphism has finitely many measures of maximal entropy and each one of them is absolutely continuous with respect to Lebesgue. From this, in the setting of $C^{\infty}-$Anosov diffeomorphisms satisfying constant periodic data, we provide a characterization of transitivity property via measures of maximal entropy.
We show a $C^r$ connecting lemma for area-preserving surface diffeomorphisms and for periodic Hamiltonian on surfaces. We prove that for a generic $C^r$, $r=1, 2, ...$, $\infty$, area-preserving diffeomorphism on a compact orientable surface, homotopic to identity, every hyperbolic periodic point has a transversal homoclinic point. We also show that for a $C^r$, $r=1, 2, ...$, $\infty$ generic time periodic Hamiltonian vector field in a compact orientable surface, every hyperbolic periodic trajectory has a transversal homoclinic point. The proof explores the special properties of diffeomorphis…
For any polynomial diffeomorphism $f$ of $\mathbb{C}^2$ with positive entropy, neither the Julia set of $f$ nor of its inverse $f^{-1}$ is $C^1$ smooth as a manifold-with-boundary.
Let f be a volume-preserving diffeomorphism of a closed C^\infty n-dimensional Riemannian manifold M: In this paper, we prove the equivalence between the following conditions: (a) f belongs to the C1-interior of the set of volume-preserving diffeoeomorphisms which satisfy the inverse shadowing property with respect to the continuous methods. (b) f belongs to the C1-interior of the set of volume-preserving diffeomorphisms which satisfy the weak inverse shadowing property with respect to the continuous methods. (c) f belongs to the C1-interior of the set of volume-preserving diffeomorphisms whic…
Katok's entropy formula is an important formula in entropy theory. This paper is devoted to establishing Katok's entropy formula of unstable metric entropy which is the entropy caused by the unstable part of partially hyperbolic systems.
In this paper we study some skew product diffeomorphisms with nonuniformly hyperbolic structure along fibers. We show that there is an invariant measure with zero entropy which has atomic conditional measures along fibers.
A classical problem in dynamical systems is to measure the complexity of a map in terms of their orbits. One of the main tools we have to achieve this goal is entropy. However, many interesting families of dynamical systems have every element with zero-entropy. One of said families are the Morse-Smale diffeomorphisms. The first author and E. Pujals introduced the concept of generalized entropy that extends the classical notion of entropy. In this work, we compute the generalized entropy of Morse-Smale diffeomorphisms on surfaces.
We prove that the action of the semigroup generated by a $C^r$ generic pair of area-preserving diffeomorphisms of a compact orientable surface is transitive.
We show that any surface admits an area preserving $C^{1+β}$ diffeomorphism with non-zero Lyapunov exponents which is Bernoulli and has polynomial decay of correlations. We establish both upper and lower polynomial bounds on correlations. In addition, we show that this diffeomorphism satisfies the Central Limit Theorem and has the Large Deviation Property. Finally, we show that the diffeomorphism we constructed possesses a unique hyperbolic Bernoulli measure of maximal entropy with respect to which it has exponential decay of correlations.
Let M be a surface and R an involution in M whose set of fixed points is a submanifold with dimension 1 and such that R is an isometry. We will show that there is a residual subset of C1 area-preserving R-reversible diffeomorphisms which are either Anosov or have zero Lyapunov exponents at almost every point.
We prove that a $C^1-$generic symplectic diffeomorphism is either Anosov or the topological entropy is bounded from below by the supremum over the smallest positive Lyapunov exponent of the periodic points. We also prove that $C^1-$generic symplectic diffeomorphisms outside the Anosov ones do not admit symbolic extension and finally we give examples of volume preserving diffeomorphisms which are not point of upper semicontinuity of entropy function in $C^1-$topology.
Metric entropies along a hierarchy of unstable foliations are investigated for $C^1$ diffeomorphisms with dominated splitting. The analogues of Ruelle's inequality and Pesin's formula, which relate the metric entropy and Lyapunov exponents in each hierarchy, are given.
We establish sufficient conditions for the upper semicontinuity and the continuity of the entropy of Sinai probability measures invariant by partially hyperbolic diffeomorphisms and discuss their application in several examples.
The purpose of this paper is to establish mixing rates for infinite measure preserving almost Anosov diffeomorphisms on the two-dimensional torus. The main task is to establish regular variation of the tails of the first return time to the complement of a neighbourhood of the neutral fixed point.
We show that $C^\infty$ surface diffeomorphisms with positive topological entropy have at most finitely many ergodic measures of maximal entropy in general, and at most one in the topologically transitive case. This answers a question of Newhouse, who proved that such measures always exist. To do this we generalize Smale's spectral decomposition theorem to non-uniformly hyperbolic surface diffeomorphisms, we introduce homoclinic classes of measures, and we study their properties using codings by irreducible countable state Markov shifts.
We prove a finite smooth version of the entropic continuity of Lyapunov exponents of Buzzi-Crovisier-Sarig for $C^\infty$ surface diffeomorphisms [9]. As a consequence we show that any $C^r$, $r > 1$, smooth surface diffeomorphism $f$ with $h_{top}(f) > \frac{1}{r} \limsup_n \frac{1}{n} \log^+ \|df^n\|$ admits a measure of maximal entropy. We also prove the $C^r$ continuity of the topological entropy at $f$.
We show that diffeomorphisms with a dominated splitting of the form $E^s\oplus E^c\oplus E^u$, where $E^c$ is a nonhyperbolic central bundle that splits in a dominated way into 1-dimensional subbundles, are entropy-expansive. In particular, they have a principal symbolic extension and equilibrium states.
For any $C^\infty$, area-preserving Anosov diffeomorphism $f$ of a surface, we show that a suspension flow over $f$ is $C^\infty$-conjugate to a constant-time suspension flow of a hyperbolic automorphism of the two torus if and only if the volume measure is the measure with maximal entropy. We also show that the the metric entropy with respect to the volume measure and the topological entropy of suspension flow over Anosov diffeomorphisms on torus achieve all possible values. Our results fit into two programs related to entropy rigidity and flexibility of Anosov systems.
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 discuss the dynamics of smooth diffeomorphisms of the disc with vanishing topological entropy which satisfy the mild dissipation property introduced in [CP]. In particular it contains the Hénon maps with Jacobian up to 1/4. We prove that these systems are either (generalized) Morse Smale or infinitely renormalizable. In particular we prove for this class of diffeomorphisms a conjecture of Tresser: any diffeomorphism in the interface between the sets of systems with zero and positive entropy admits doubling cascades. This generalizes for these surface dynamics a well known consequence of Sha…
We construct a $C^\infty$ area-preserving diffeomorphism of the two-dimensional torus which is Bernoulli (in particular, ergodic) with respect to Lebesgue measure, homotopic to the identity, and has a lift to the universal covering whose rotation set is $\{(0,0)\}$, which in addition has the property that almost every orbit by the lifted dynamics is unbounded and accumulates in every direction of the circle at infinity.
Let $M$ be a closed surface and $f$ a diffeomorphism of $M$. A diffeomorphism is said to permute a dense collection of domains, if the union of the domains are dense and the iterates of any one domain are mutually disjoint. In this note, we show that if $f \in \diff^{1+α}(M)$, with $α>0$, and permutes a dense collection of domains with bounded geometry, then $f$ has zero topological entropy.
Let $M$ be a compact manifold and $\text{Diff}^1_m(M)$ be the set of $C^1$ volume-preserving diffeomorphisms of $M$. We prove that there is a residual subset $\mathcal {R}\subset \text{Diff}^1_m(M)$ such that each $f\in \mathcal{R}$ is a continuity point of the map $g\to h_m(g)$ from $\text{Diff}^1_m(M)$ to $\mathbb{R}$, where $h_m(g)$ is the metric entropy of $g$ with respect to volume measure $m$.
Given a partially hyperbolic diffeomorphism $f:M \rightarrow M$ defined on a compact Riemannian manifold $M$, in this paper we define the concept of unstable topological entropy of $f$ on a set $Y \subset M$ not necessarily compact and we extend a theorem of R. Bowen proving that, for an ergodic $f$-invariant measure $μ$, the unstable measure theoretical entropy of $f$ is upper bounded by the unstable topological entropy of $f$ on any set of full $μ$-measure. We also define a notion of unstable topological entropy of $f$ using a Hausdorff dimension like characterization.
We show that the metric entropy of a $C^1$ diffeomorphism with a dominated splitting and the dominating bundle uniformly expanding is bounded from above by the integrated volume growth of the dominating (expanding) bundle plus the maximal Lyapunov exponent from the dominated bundle multiplied by its dimension. We also discuss different types of volume growth that can be associated with an expanding foliation and relationships between them, specially when there exists a closed form non-degenerate on the foliation. Some consequences for partially hyperbolic diffeomorphisms are presented.
In the theory of surface diffeomorphisms relative to homoclinic and heteroclinic orbits, it is possible to compute a one-dimensional representative map for any irreducible isotopy class. The topological entropy of this graph representative is equal to the growth rate of the number of essential Nielsen classes of a given period, and hence is a lower bound for the topological entropy of the diffeomorphism. In this paper, we show that this entropy bound is the infemum of the topological entropies of diffeomorphisms in the isotopy class, and give necessary and sufficient conditions for the infemal…
Asaoka & Irie recently proved a $C^{\infty}$ closing lemma of Hamiltonian diffeomorphisms of closed surfaces. We reformulated their techniques into a more general perturbation lemma for area-preserving diffeomorphism and proved a $C^{\infty}$ closing lemma for area-preserving diffeomorphisms on a torus that is isotopic to identity. i.e., we show that the set of periodic orbits is dense for a generic diffeomorphism isotopic to identity area-preserving diffeomorphism on torus. The main tool is the flux vector of area-preserving diffeomorphisms which is, different from Hamiltonian cases, non-zero…
Suppose f is a C^{1+ε} surface diffeomorphism with positive topological entropy. For every positive δstrictly smaller than the topological entropy of f we construct an invariant Borel set E such that (a) f|E has a countable Markov partition; and (b) E has full measure with respect to any ergodic invariant probability measure with entropy larger than δ. This allows us to prove the following conjecture of A. Katok: if f is C^\infty with topological entropy h>0, and if P_n(f)=#{x:f^n(x)=x}, then limsup P_n(f)/exp(nh)>0.
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 prove that for any $C^1$ surface diffeomorphism $f$ with positive topological entropy, there exists a diffeomorphism $g$ arbitrarily close (in the $C^1$ topology) to $f$ exhibiting a horseshoe $Λ$, such that the topological entropy of $g$ restricted on $Λ$ can arbitrarily approximate the topological entropy of $f$. This extends the Theorem \cite[Theorem 1.1]{Gan} of Gan.
We prove that there exists an open subset of the set of real-analytic Hamiltonian diffeomorphisms of a closed surface in which diffeomorphisms exhibiting fast growth of the number of periodic points are dense. We also prove that there exists an open subset of the set of smooth area-preserving diffeomorphisms of a closed surface in which typical diffeomorphisms exhibit fast growth of the number of periodic points.
We study the entropy and Lyapunov exponents of invariant measures $μ$ for smooth surface diffeomorphisms $f$, as functions of $(f,μ)$. The main result is an inequality relating the discontinuities of these functions. One consequence is that for a $C^\infty$ surface diffeomorphisms, on any set of ergodic measures with entropy bounded away from zero, continuity of the entropy implies continuity of the exponents. Another consequence is the upper semi-continuity of the Hausdorff dimension on the set of ergodic invariant measures with entropy bounded away from zero. We also obtain a new criterion f…
The uniform norm of the differential of the n-th iteration of a diffeomorphism is called the growth sequence of the diffeomorphism. In this paper we show that there is no lower universal growth bound for volume preserving diffeomorphisms on manifolds with an effective two dimensions torus action by constructing a set of volume-preserving diffeomorphisms with arbitrarily slow growth.
We consider C1 Anosov diffeomorphisms on a compact Riemannian manifold. We define the weak pseudo-physical measures, which include the physical measures when these latter exist. We prove that ergodic weak pseudo-physical measures do exist, and that the set of invariant probability measures that satisfy Pesin's Entropy Formula is the weak*-closed convex hull of the ergodic weak pseudo-physical measures. In brief, we give in the C1-scenario of uniform hyperbolicity, a characterization of Pesin's Entropy Formula in terms of physical-like properties.
A classical construction due to Newhouse creates horseshoes from hyperbolic periodic orbits with large period and weak domination through local $C^1$-perturbations. Our main theorem shows that, when one works in the $C^1$ topology, the entropy of such horseshoes can be made arbitrarily close to an upper bound deriving from Ruelle's inequality, i.e., the sum of the positive Lyapunov exponents (or the same for the inverse diffeomorphism, whichever is smaller). Adapting classical techniques, we use perturbations that are local and can be chosen to preserve volume or symplectic form or a homoclini…
We introduce a new measure of instability of area-preserving twist diffeomorphisms, which generalizes the notions of angle of splitting of separatrices, and flux through a gap of a Cantori. As an example of application, we establish a sharp >0 lower bound on the topological entropy in a neighbourhood of a hyperbolic, unique action-minimizing fixed point, assuming only no topological obstruction to diffusion, i.e. no homotopically non-trivial invariant circle consisting of orbits with the rotation number 0. The proof is based on a new method of precise construction of positive entropy invariant…
The isomorphism problem in ergodic theory was formulated by von Neumann in 1932 in his pioneering paper Zur Operatorenmethode in der klassischen Mechanik (Ann. of Math. (2), 33(3):587--642, 1932). The problem has been solved for some classes of transformations that have special properties, such as the collection of transformations with discrete spectrum or Bernoulli shifts. This paper shows that a general classification is impossible (even in concrete settings) by showing that the collection $E$ of pairs of ergodic, Lebesgue measure preserving diffeomorphisms $(S,T)$ of the 2-torus that are is…
In this paper, we consider certain partially hyperbolic diffeomorphisms with center of arbitrary dimension and obtain continuity properties of the topological entropy under $C^1$ perturbations. The systems considered have subexponential growth in the center direction and uniform exponential growth along the unstable foliation. Our result applies to partially hyperbolic diffeomorphisms which are Lyapunov stable in the center direction. It applies to another important class of systems which do have subexponential growth in the center direction, for which we develop a technique to use exponential…
For a C^{1+α} diffeomorphism f preserving a hyperbolic ergodic SRB measure μ, Katok's remarkable results assert that μcan be approximated by a sequence of hyperbolic sets \{Λ_n\}_{n\geq1}. In this paper, we prove the Hausdorff dimension for Λ_n on the unstable manifold tends to the dimension of the unstable manifold. Furthermore, if the stable direction is one dimension, then the Hausdorff dimension of μcan be approximated by the Hausdorff dimension of Λ_n. To establish these results, we utilize the u-Gibbs property of the conditional measure of the equilibrium measure of -ψ^{s}(\cdot,f^n) and…
For a nonlinear Anosov diffeomorphism of the 2-torus, we present examples of measures so that the group of $μ$-preserving diffeomorphisms is, up to zero-entropy transformations, cyclic. For families of equilibrium states $μ$, we strengthen this to show that the group of $μ$-preserving diffeomorphism is virtually cyclic.
In this paper, we provide a new criterion for the stable transitivity of volume preserving finite generated group on any compact Riemannian manifold. As one of our applications, we generalised a result of Dolgopyat and Krikorian in \cite{DK} and obtained stable transitivity for random rotations on the sphere in any dimension. As another application, we showed that for $\infty \geq r \geq 2$, any $C^r$ volume preserving partially hyperbolic diffeomorphism $g$ on any compact Riemannian manifold $M$ having sufficiently Hölder stable or unstable distribution, for any sufficiently large integer $K$…
