We prove that every robustly transitive and every stably ergodic symplectic diffeomorphism on a compact manifold admits a dominated splitting. In fact, these diffeomorphisms are partially hyperbolic.
We consider complex Henon maps which are quasi-hyperbolic. We show that a quasi-hyperbolic map is uniformly hyperbolic if and only if there are no tangencies between stable and unstable manifolds.
We use the Invariance Principle of Avila and Viana to prove that every partially hyperbolic symplectic diffeomorphism with 2-dimensional center bundle, and satisfying certain pinching and bunching conditions, can be $C^r$-approximated by non-uniformly hyperbolic diffeomorphisms.
We prove here that in the complement of the closure of the hyperbolic surface diffeomorphisms, the ones exhibiting a homoclinic tangency are C^1 dense. This represents a step towards the global understanding of dynamics of surface diffeomorphisms.
We prove that any diffeomorphism of a compact manifold can be approximated in topology C1 by another diffeomorphism exhibiting a homoclinic bifurcation (a homoclinic tangency or a heterodimensional cycle) or by one which is essentially hyperbolic (it has a finite number of transitive hyperbolic attractors with open and dense basin of attraction).
We show that any diffeomorphism of a compact manifold can be C1 approximated by diffeomorphisms exhibiting a homoclinic tangency or by diffeomorphisms having a partial hyperbolic structure.
This paper continues our investigation of the dynamics of polynomial diffeomorphisms of C^2. We introduce a dynamical property of polynomial diffeomorphisms that generalizes hyperbolicity in the way that semi-hyperbolicity generalizes hyperbolicity for polynomial maps of the complex plane.
Let $\Diff^{ r}_m(M)$ be the set of $C^{ r}$ volume-preserving diffeomorphisms on a compact Riemannian manifold $M$ ($\dim M\geq 2$). In this paper, we prove that the diffeomorphisms without zero Lyapunov exponents on a set of positive volume are $C^1$ dense in $\Diff^{ r}_m(M), r\geq 1$. We also prove a weaker result for symplectic diffeomorphisms $\mathcal{S}ym^{r}_ω(M), r\geq1 $ saying that the symplectic diffeomorphisms with non-zero Lyapunov exponents on a set of positive volume are $C^1$ dense in $\mathcal{S}ym^{r}_ω(M), r\geq1 $.
If a non-ergodic, partially hyperbolic diffeomorphism on the 3-torus is homotopic to an Anosov diffeomorphism $A$, it is topologically conjugate to $A$.
We study the ergodic theory of non-conservative C^1-generic diffeomorphisms. First, we show that homoclinic classes of arbitrary diffeomorphisms exhibit ergodic measures whose supports coincide with the homoclinic class. Second, we show that generic (for the weak topology) ergodic measures of C^1-generic diffeomorphisms are nonuniformly hyperbolic: they exhibit no zero Lyapunov exponents. Third, we extend a theorem by Sigmund on hyperbolic basic sets: every isolated transitive set L of any C^1-generic diffeomorphism f exhibits many ergodic hyperbolic measures whose supports coincide with the w…
We prove that any diffeomorphism of a compact manifold can be C^1-approximated by a diffeomorphism which exhibits a homoclinic bifurcation (a homoclinic tangency or a heterodimensional cycle) or by a diffeomorphism which is partially hyperbolic (its chain-recurrent set splits into partially hyperbolic pieces whose centre bundles have dimensions less or equal to two). We also study in a more systematic way the central models introduced in arXiv:math/0605387.
In [15] the authors proved the Pugh-Shub conjecture for partially hyperbolic diffeomorphisms with 1-dimensional center, i.e. stable ergodic diffeomorphism are dense among the partially hyperbolic ones. In this work we address the issue of giving a more accurate description of this abundance of ergodicity. In particular, we give the first examples of manifolds in which all conservative partially hyperbolic diffeomorphisms are ergodic.
We construct an explicit example of family of non-uniformly hyperbolic diffeomorphisms, at the boundary of the set of uniformly hyperbolic systems, with one orbit of cubic heteroclinic tangency. One of the leaves involved in this heteroclinic tangency is periodic, and there is a certain degree of freedom for the choice of the second one. For a non-countable set of choices, this leaf is not periodic and the diffeomorphism is Kupka-Smale: every periodic point is hyperbolic and the intersections of stable and unstable leaves of periodic points are transverse. As a consequence of our construction,…
In this paper, we show that for several interesting systems beyond uniform hyperbolicity, any generic continuous function has a unique maximizing measure with zero entropy. In some cases, we also know that the maximizing measure has full support. These interesting systems including singular hyperbolic attractors, $C^\infty$ surface diffeomorphisms and diffeomorphisms away from homoclinic tangencies.
We give sufficient conditions for the uniform hyperbolicity of certain nonuniformly hyperbolic dynamical systems. In particular, we show that local diffeomorphisms that are nonuniformly expanding on sets of total probability are necessarily uniformly expanding. We also present a version of this result for diffeomorphisms with nonuniformly hyperbolic sets.
In this work we obtain a new criterion to establish ergodicity and non-uniform hyperbolicity of smooth measures of diffeomorphisms. This method allows us to give a more accurate description of certain ergodic components. The use of this criterion in combination with topological devices such as blenders lets us obtain global ergodicity and abundance of non-zero Lyapunov exponents in some contexts. In the partial hyperbolicity context, we obtain that stably ergodic diffeomorphisms are C^1-dense among volume preserving partially hyperbolic diffeomorphisms with two-dimensional center bundle. This …
We obtain some properties of $C^1$ generic surface diffeomorphisms as finiteness of {\em non-trivial} attractors, approximation by diffeomorphisms with only a finite number of {\em hyperbolic} homoclinic classes, equivalence between essential hyperbolicity and the hyperbolicity of all {\em dissipative} homoclinic classes (and the finiteness of spiral sinks). In particular, we obtain the equivalence between finiteness of sinks and finiteness of spiral sinks, abscence of domination in the set of accumulation points of the sinks, and the equivalence between Axiom A and the hyperbolicity of all ho…
Works of Liao, Mañé, Franks, Aoki and Hayashi characterized lack of hyperbolicity for diffeomorphisms by the existence of weak periodic orbits. In this note we announce a result which can be seen as a local version of these works: for C$^1$-generic diffeomorphism, a homoclinic class either is hyperbolic or contains a sequence of periodic orbits that have a Lyapunov exponent arbitrarily close to 0. Des travaux de Liao, Mañé, Franks, Aoki et Hayashi ont caractérisé le manque d'hyperbolicité des difféomorphismes par l'existence d'orbites périodiques faibles. Dans cette note, nous annonçons un rés…
We study generic volume-preserving diffeomorphisms on compact manifolds. We show that the following property holds generically in the $C^1$ topology: Either there is at least one zero Lyapunov exponent at almost every point, or the set of points with only non-zero exponents forms an ergodic component. Moreover, if this nonuniformly hyperbolic component has positive measure then it is essentially dense in the manifold (that is, it has a positive measure intersection with any nonempty open set) and there is a global dominated splitting. For the proof we establish some new properties of independe…
We study the specification property for partially hyperbolic dynamical systems. In particular, we show that if a partially hyperbolic diffeomorphism has two saddles with different indices, and stable manifold of one of them coincides with the strongly stable leaf, then it does not satisfy the specification property. As an application, we prove that there exists a $C^1$-open and dense subset $\mathcal P$ in the set of robustly non-hyperbolic transitive diffeomorphisms on a three dimensional closed manifold such that diffeomorphisms in $\mathcal P$ do not satisfy the specification property.
Hayashi has extended a result of Mañé, proving that every diffeomorphism $f$ which has a $C^1$-neighborhood $\mathcal{U}$, where all periodic points of any $g\in\mathcal{U}$ are hyperbolic, it is an Axiom A diffeomorphism. Here, we prove the analogous result in the volume preserving scenario.
We analyze a class of deformations of Anosov diffeomorphisms: these $C^0$-small, but $C^1$-macroscopic deformations break the topological conjugacy class but leave the high entropy dynamics unchanged. More precisely, there is a partial conjugacy between the deformation and the original Anosov system that identifies all invariant probability measures with entropy close to the maximum. We also establish expansiveness around those measures. This class of deformations contains many of the known nonhyperbolic robustly transitive diffeomorphisms. In particular, we show that it includes a class of no…
J. Mather characterized uniform hyperbolicity of a discrete dynamical system as equivalent to invertibility of an operator on the set of all sequences bounded in norm in the tangent bundle of an orbit. We develop a similar characterization of nonuniform hyperbolicity and show that it is equivalent to invertibility of the same operator on a larger, Fréchet space. We apply it to obtain a condition for a diffeomorphism on the boundary of the set of Anosov diffeomorphisms to be nonuniformly hyperbolic. Finally we generalise the Shadowing lemma in the same context.
These lecture notes focus on a recent result of Mike Hochman: an arbitrary standard Borel system can be embedded into a mixing Markov with equal entropy, respecting all invariant probability measures, with two exceptions: those carried by periodic orbits and those with maximal entropy. We discuss the corresponding notions of almost Borel embedding and isomorphism and universality. The main part of this paper is devoted to a self-contained and detailed proof of Hochman's theorem. We then explain how Katok's horseshoe theorem can be used to analyze diffeomorphisms with "enough" measures that are…
We prove that for a polynomial diffeomorphism of C^2, uniform hyperbolicity on the set of saddle periodic points implies that saddle points are dense in the Julia set. In particular f satisfies Smale's Axiom A on C^2 .
Let $Λ$ be an isolated non-trival transitive set of a $C^1$ generic diffeomorphism $f\in\Diff(M)$. We show that the space of invariant measures supported on $Λ$ coincides with the space of accumulation measures of time averages on one orbit. Moreover, the set of points having this property is residual in $Λ$ (which implies the set of irregular$^+$ points is also residual in $Λ$). As an application, we show that the non-uniform hyperbolicity of irregular$^+$ points in $Λ$ with totally 0 measure (resp., the non-uniform hyperbolicity of a generic subset in $Λ$) determines the uniform hyperbolicit…
We prove a criteria for uniform hyperbolicity based on the periodic points of the transformation. More precisely, if a mild (non uniform) hyperbolicity condition holds for the periodic points of any diffeomorphism in a residual subset of a $C^1$-open set $\SU$ then there exists an open and dense subset $\SA\subset \SU$ of Axiom A diffeomorphisms. Moreover, we also prove a noninvertible version of Ergodic Closing Lemma which we use to prove a counterpart of this result for local diffeomorphisms. As a simple corollary of our techniques, we have that an arbitrary $\mathrm{C}^1$-class local diffeo…
For a generic conservative diffeomorphism of a 3-manifold M, the Oseledets splitting is a globally dominated splitting. Moreover, either all Lyapunov exponents vanish almost everywhere, or else the system is non-uniformly hyperbolic and ergodic. This is the 3-dimensional version of a well-known result by Mañé-Bochi, stating that a generic conservative surface diffeomorphism is either Anosov or all Lyapunov exponents vanish almost everywhere. This result inspired and answers in the positive for dimension 3 a conjecture by Avila and Bochi. We also prove that all partially hyperbolic sets with po…
We prove a $C^r$ closing lemma for a class of partially hyperbolic symplectic diffeomorphisms. We show that for a generic $C^r$ symplectic diffeomorphism, $r =1, 2, ...,$, with two dimensional center and close to a product map, the set of all periodic points is dense.
We study shadowing property for a partially hyperbolic diffeomorphism $f$. It is proved that if $f$ is dynamically coherent then any pseudotrajectory can be shadowed by a pseudotrajectory with "jumps" along the central foliation. The proof is based on the Tikhonov-Shauder fixed point theorem.
We show the coexistence of chaotic behaviors (positive metric entropy) and elliptic behaviors (intregrable KAM island) among analytic, symplectic diffeomorphism of any closed surface. In particilar this solves a problem by F. Przytycki (1982).
We prove that if $f$ is a $C^1$-generic symplectic diffeomorphism then the Oseledets splitting along almost every orbit is either trivial or partially hyperbolic. In addition, if $f$ is not Anosov then all the exponents in the center bundle vanish. This establishes in full a result announced by R. Mañé in the ICM 1983. The main technical novelty is a probabilistic method for the construction of perturbations, using random walks.
Let $f:M\rightarrow M$ be a $C^1$ diffeomorphism with a dominated splitting on a compact Riemanian manifold $M$ without boundary. We state and prove several sufficient conditions for the topological entropy of $f$ to be positive. The conditions deal with the dynamical behaviour of the (non-necessarily invariant) Lebesgue measure. In particular, if the Lebesgue measure is $δ$-recurrent then the entropy of $f$ is positive. We give counterexamples showing that these sufficient conditions are not necessary. Finally, in the case of partially hyperbolic diffeomorphisms, we give a positive lower boun…
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.
We consider symplectic cocycles over two classes of partially hyperbolic diffeomorphisms: having compact center leaves and time one maps of Anosov flows. We prove that the Lyapunov exponents are non-zero in an open and dense set in the Hölder topology.
This paper surveys recent results on classifying partially hyperbolic diffeomorphisms. This includes the construction of branching foliations and leaf conjugacies on three-dimensional manifolds with solvable fundamental group. Classification results in higher-dimensional settings are also discussed. The paper concludes with an overview of the construction of new partially hyperbolic examples derived from Anosov flows.
We prove that, for $C^1$-generic diffeomorphisms, if a homoclinic class is not hyperbolic, then there is a non-hyperbolic ergodic measure supported on it. This proves a conjecture by Díaz and Gorodetski [28]. We also discuss the conjectured existence of periodic points with different stable dimension in the class.
We prove that every smooth action of Z^k, k>1, on the (k+1)-dimensional torus homotopic to an action by hyperbolic linear maps preserves an absolutely continuous measure. This is a first known result concerning abelian groups of diffeomorphisms where existence of an invariant geometric structure is obtained from homotopy data.
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/ex…
The two main results of this paper concern the regularity of the invariant foliation of a C0-integrable symplectic twist diffeomorphisms of the 2-dimensional annulus, namely that $\bullet$ the generating function of such a foliation is C1 ; $\bullet$ the foliation is H{ö}lder with exponent 1/2. We also characterize foliations by graphs that are straightenable via a symplectic homeomorphism and prove that every symplectic homeomorphism that leaves invariant all the leaves of a straightenable foliation has Arnol'd-Liouville coordinates, in which the Dynamics restricted to the leaves is conjugate…
We prove the existence of SRB measures for diffeomorphisms where a positive volume set of initial conditions satisfy an "effective hyperbolicity" condition that guarantees certain recurrence conditions on the iterates of Lebesgue measure. We give examples of systems that do not admit a dominated splitting but can be shown to have SRB measures using our methods.
Let $M$ be a 2$d-$dimensional compact connected Riemannian manifold and $ω$ be a symplectic form on $M$. In this paper, we prove that a symplectic diffeomorphism, with all Lyapunov exponent zero for almost everywhere, can be $C^1$ approximated by one with a positive Lyapunov exponent for a positive-measured subset of $M$. That is, the set \[ \left\{ f\in \mathcal{S}ym^1_ω(M)\,| \begin{array}{ll} &\mbox{The largest Lyapunov exponent }λ_1(f,\,x)>0\\ &\mbox{ for a positive measure set } \end{array} \right\} \] is dense in $\mathcal{S}ym^1_ω(M)$. \end{abstract} \end{center}
Generalized hyperbolicity for diffeomorphisms of Banach spaces
Pontificia Universidade Catolica do Rio de Janeiro (PUC-Rio)(天主教里约热内卢 Pontifical University);Institute of Mathematics, Statistics and Computer Science, University of São Paulo (IME-USP)(圣保罗大学数学、统计和计算机科学学院)
We prove that a Hamiltonian star system, defined on a 2d-dimensional symplectic manifold M, is Anosov. As a consequence we obtain the proof of the stability conjecture for Hamiltonians. This generalizes the 4-dimensional results in [6].
We prove several new versions of the Hadamard-Perron Theorem, which relates infinitesimal dynamics to local dynamics for a sequence of local diffeomorphisms, and in particular establishes the existence of local stable and unstable manifolds. Our results imply the classical Hadamard-Perron Theorem in both its uniform and non-uniform versions, but also apply much more generally. We introduce a notion of "effective hyperbolicity" and show that if the rate of effective hyperbolicity is asymptotically positive, then the local manifolds are well-behaved with positive asymptotic frequency. By applyin…
There is a $C^1$-residual (Baire second class) subset $\mathcal{R}$ of symplectic diffeomorphisms on $2d$-dimensional manifold, $d\geq 1$, such that for every non-Anosov $f$ in $\mathcal{R}$ its topological entropy is lower bounded by the supremum of the Lyapunov exponents of their hyperbolic periodic points in the \emph{unbreakable central subbundle} (i.e., central direction with no dominated splitting) of $f$. The previous result deals with the fact that for $f$ in a residual set $\tilde{\mathcal{R}}$ of symplectic diffeomorphisms (containing $\mathcal{R}$) satisfies a trichotomy: or $f$ is …
We prove that dynamical coherence is an open and closed property in the space of partially hyperbolic diffeomorphisms of $\mathbb{T}^3$ isotopic to Anosov. Moreover, we prove that strong partially hyperbolic diffeomorphisms of $\mathbb{T}^3$ are either dynamically coherent or have an invariant two-dimensional torus which is either contracting or repelling. We develop for this end some general results on codimension one foliations which may be of independent interest.
We prove that a "positive probability" subset of the boundary of the set of hyperbolic (Axiom A) surface diffeomorphisms with no cycles $\mathcal{H}$ is constituted by Kupka-Smale diffeomorphisms: all periodic points are hyperbolic and their invariant manifolds intersect transversally. Lack of hyperbolicity arises from the presence of a tangency between a stable manifold and an unstable manifold, one of which is not associated to a periodic point. All these diffeomorphisms that we construct lie on the boundary of the same connected component of $\mathcal{H}$.
For diffeomorphisms or for non-singular flows, there are many results relating properties persistent under C1 perturbations and global structures for the dynamics ( such as hyperbolicity, partial hyperbolicity, dominated splitting). However, a difículty appears when a robust property of a flow holds on a set containing recurrent orbits accumulating a singular point. In [BdL] with Christan Bonatti we propose a a general procedure for adapting the usual hyperbolic structures to the singularities. In this paper, using this tool, we recover the results in [BDP] for flows, showing that robustly cha…
We show that if $M$ is a compact oriented surface of genus 0 and $G$ is a subgroup of $\Symp^ω_μ(M)$ which has an infinite normal solvable subgroup, then $G$ is virtually abelian. In particular the centralizer of an infinite order $f \in \Symp^ω_μ(M)$ is virtually abelian. Another immediate corollary is that if $G$ is a solvable subgroup of $\Symp^ω_μ(M)$ then $G$ is virtually abelian. We also prove a special case of the Tits Alternative for subgroups of $\Symp^ω_μ(S^2).$