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 diffeomorphisms that are generated by Hamiltonian flows.
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 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 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.
We study main bifurcations of multidimensional diffeomorphisms having a non-transversal homoclinic orbit to a saddle-node fixed point. On a parameter plane we build a bifurcation diagram for single-round periodic orbits lying entirely in a small neighbourhood of the homoclinic orbit. Also a relation of our results to well-known codimension one bifurcations of a saddle fixed point with a quadratic homoclinic tangency and a saddle-node fixed point with a transversal homoclinic orbit is discussed.
The Nielsen-Thurston theory of surface diffeomorphisms shows that useful dynamical information can be obtained about a surface diffeomorphism from a finite collection of periodic orbits.In this paper, we extend these results to homoclinic and heteroclinic orbits of saddle points. These orbits are most readily computed and studied as intersections of unstable and stable manifolds comprising homoclinic or heteroclinic tangles in the surface. We show how to compute a map of a one-dimensional space similar to a train-track which represents the isotopy-stable dynamics of the surface diffeomorphism …
A diffeomorphism $f$ has a $C^1$-robust homoclinic tangency if there is a $C^1$-neighbourhood $\cU$ of $f$ such that every diffeomorphism in $g\in \cU$ has a hyperbolic set $\La_g$, depending continuously on $g$, such that the stable and unstable manifolds of $\La_g$ have some non-transverse intersection. For every manifold of dimension greater than or equal to three, we exhibit a local mechanism (blender-horseshoes) generating diffeomorphisms with $C^1$-robust homoclinic tangencies. Using blender-horseshoes, we prove that homoclinic classes of $C^1$-generic diffeomorphisms containing saddles …
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.
We consider $C^r$ ($r\geqslant 1$) diffeomorphisms $f$ defined on manifolds of dimension $\geqslant 3$ with homoclinic tangencies associated to saddles. Under generic properties, we show that if the saddle is homoclinically related to a blender then the diffeomorphism $f$ can be {$C^r$} approximated by diffeomorphisms with {$C^1$} robust heterodimensional cycles. As an application, we show that the classic Simon-Asaoka's examples of diffeomorphisms with $C^1$ robust homoclinic tangencies also display {$C^1$} robust heterodimensional cycles. In a second application, we consider homoclinic tange…
We study generic diffeomorphisms with a homoclinc class with non empty interior and in particular those admitting a codimension one dominated splitting. We prove that if in the finest dominated splitting the extreme subbundles are one dimensional then the diffeomorphism is partially hyperbolic and from this we deduce that the diffeomorphism is transitive.
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…
We show that C^r generically in the space of C^r conservative diffeomorphisms of a compact surface, every hyperbolic periodic point has a transverse homoclinic orbit
We prove a conjecture of J. Palis: any diffeomorphism of a compact manifold can be C1-approximated by a Morse-Smale diffeomorphism or by a diffeomorphism having a transverse homoclinic intersection. ----- Cr'eation d'intersection homoclines : un mod`ele pour la dynamique centrale des syst`emes partiellement hyperboliques. Nous montrons une conjecture de J. Palis : tout diff'eomorphisme d'une vari'et'e compacte peut ^etre approch'e en topologie C1 par un diff'eomorphisme Morse-Smale ou par un diff'eomorphisme ayant une intersection homocline transverse.
Let $f: M \to M$ be a diffeomorphism defined on a compact boundaryless $d$-dimensional manifold $M$, $d\geq 2$. C. Morales has proposed the notion of measure expansiveness. In this note we show that diffeomorphisms in a residual subset far from homoclinic tangencies are measure expansive. We also show that surface diffeomorphisms presenting homoclinic tangencies can be $C^1$-approximated by non-measure expansive diffeomorphisms.
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 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…
It was established in 2006 that bifurcations of three-dimensional diffeomorphisms with a homoclinic tangency to a saddle-focus fixed point with the Jacobian equal to 1 can lead to Lorenz-like strange attractors. In the present paper we prove an analogous result for three-dimensional diffeomorphisms with a homoclinic tangency to a saddle fixed point with the Jacobian equal to 1, provided the quadratic homoclinic tangency under consideration is non-simple.
In this paper we study the effect of a homoclinic tangency in the variation of the topological entropy. We prove that a diffeomorphism with a homoclinic tangency associated to a basic hyperbolic set with maximal entropy is a point of entropy variation in the $C^{\infty}$-topology. We also prove results about variation of entropy in other topologies and when the tangency does not correspond to a basic set with maximal entropy. We also show an example of discontinuity of the entropy among $C^{\infty}$ diffeomorphisms of three dimensional manifolds.
Homoclinic classes of generic $C^1$-diffeomorphisms are maximal transitive sets and pairwise disjoint. We here present a model explaining how two different homoclinic classes may intersect, failing to be disjoint. For that we construct a one-parameter family of diffeomorphisms $(g_s)_{s\in [-1,1]}$ with hyperbolic points $P$ and $Q$ having nontrivial homoclinic classes, such that, for $s>0$, the classes of $P$ and $Q$ are disjoint, for $s<0$, they are equal, and, for $s=0$, their intersection is a saddle-node.
Here we show that for a C^2 surface diffeomorphism that satisfy the hypothesis of Hayashi connecting lemma either can be approximated, in the C^1 topology, by a diffeomorphism exhibiting a homoclinic tangency or the diffeomorphism already presented transversal homoclinic orbits.
We study, for $C^1$ generic diffeomorphisms, homoclinic classes which are Lyapunov stable both for backward and forward iterations. We prove they must admit a dominated splitting and show that under some hypothesis they must be the whole manifold. As a consequence of our results we also prove that in dimension 2 the class must be the whole manifold and in dimension 3, these classes must have nonempty interior. Many results on Lyapunov stable homoclinic classes for $C^1$-generic diffeomorphisms are also deduced.
We prove that the $C^3$ diffeomorphisms on surfaces, exhibiting infinitely many sinksnear the generic unfolding of a quadratic homoclinic tangency of a dissipative saddle, can be perturbed along an infinite dimensional manifold of $C^3$ diffeomorphisms such that infinitely many sinks persist simultaneously. On the other hand, if they are perturbed along one-parameter families that unfold generically the quadratic tangencies, then at most a finite number of those sinks have continuation.
We present new examples of generic diffeomorphisms without attractors. Also, we study how these wild classes are accumulated by infinitely many other classes (obtaining that the chain recurrence classes different from the only quasi-attractor are contained in center stable manifolds). The construction relies on some derived from Anosov (DA) constructions and uses strongly the semiconjugacy obtained by these diffeomorphisms. An interesting feature of this examples is that we can show that robustly, they present a unique attractor in the sense of Milnor.
We show that the set of Bernoulli measures of an isolated topologically mixing homoclinic class of a generic diffeomorphism is a dense subset of the set of invariant measures supported on the class. For this, we introduce the large periods property and show that this is a robust property for these classes. We also show that the whole manifold is a homoclinic class for an open and dense subset of the set of robustly transitive diffeomorphisms far away from homoclinic tangencies. In particular, using results from Abdenur and Crovisier, we obtain that every diffeomorphism in this subset is robust…
We prove that for a generic $C^1$-diffeomorphism existence of a homoclinic class with periodic saddles of different indices (dimension of the unstable bundle) implies existence an invariant ergodic non-hyperbolic (one of the Lyapunov exponents is equal to zero) measure of $f$.
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…
A diffeomorphism f is called super exponential divergent if for every r>1, the lower limit of #Per_n(f)/r^n diverges to infinity as n tends to infinity, where Per_n(f) is the set of all periodic points of f with period n. This property is stronger than the usual super exponential growth of the number of periodic points. We show that for a three dimensional manifold M, there exists an open subset O of Diff^1(M) such that diffeomorphisms with super exponential divergent property form a dense subset of O in the C^1-topology. A relevant result of non super exponential divergence for diffeomorphism…
We consider three-dimensional diffeomorphisms having simultaneously heterodimensional cycles and heterodimensional tangencies associated to saddle-foci. These cycles lead to a completely nondominated bifurcation setting. For every $r\geqslant 2$, we exhibit a class of such diffeomorphisms whose heterodimensional cycles can be $C^r$ stabilised and (simultaneously) approximated by diffeomorphisms with $C^r$ robust homoclinic tangencies. The complexity of our nondominated setting with plenty of homoclinic and heteroclinic intersections is used to overcome the difficulty of performing $C^r$ pertur…
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 show that $C^1$-generically for diffeomorphisms of manifolds of dimension $d\geq3$, a homoclinic class containing saddles of different indices has a residual subset where the orbit of any point has historic behavior.
Let $M$ be a manifold with a volume form $ω$ and $f : M \to M$ be a diffeomorphism of class $\mathcal{C}^1$ that preserves $ω$. In this paper, we do \textit{not} assume $f$ is $\mathcal{C}^1$-generic. We have two main themes in the paper: (1) the chain recurrence; (2) relations among recurrence points, homoclinic points, shadowability and hyperbolicity. For (1) (without assuming $M$ is compact), we have the theorem: if $f$ is Lagrange stable, then $M$ is a chain recurrent set. If $M$ is compact, then the Lagrange-stability is automatic. For (2) (assuming the compactness of $M$), we prove some …
We study bifurcations of non-orientable area-preserving maps with quadratic homoclinic tangencies. We study the case when the maps are given on non-orientable two-dimensional surfaces. We consider one and two parameter general unfoldings and establish results related to the emergence of elliptic periodic orbits.
We study several families of planar quadratic diffeomorphisms near a Bogdanov-Takens bifurcation. For each family, the associate bifurcation diagram can be deduced from the interpolating flow. However, a zone of chaos confined between two lines of homoclinic bifurcation that are exponentially close to one-another is observed. The goal of this paper is to test numerically an accurate asymptotic expansion for the width of this chaotic zone for different families.
We study bifurcations of area-preserving maps, both orientable (symplectic) and non-orientable, with quadratic homoclinic tangencies. We consider one and two parameter general unfoldings and establish results related to the appearance of elliptic periodic orbits. In particular, we find conditions for such maps to have infinitely many generic (KAM-stable) elliptic periodic orbits of all successive periods starting at some number.
We give a description of ergodic components of SRB measures in terms of ergodic homoclinic classes associated to hyperbolic periodic points. For transitive surface diffeomorphisms, we prove that there exists at most one SRB measure.
Let p be a saddle fixed point for an orientation-preserving surface diffeomorphism f admitting a homoclinic point q. Let V be an open 2-cell bounded by a simple loop formed by two arcs joining p to q lying respectively in the stable and unstable curves at p. It is shown that f|V has fixed point index 1 or 2 depending only on the geometry of V near p.
We prove that, for $C^1$-generic diffeomorphisms, if the periodic orbits contained in a homoclinic class $H(p)$ have all their Lyapunov exponents bounded away from 0, then $H(p)$ must be (uniformly) hyperbolic. This is in sprit of the works of the stability conjecture, but with a significant difference that the homoclinic class $H(p)$ is not known isolated in advance, hence the "weak" periodic orbits created by perturbations near the homoclinic class have to be guaranteed strictly inside the homoclinic class. In this sense the problem is of an "intrinsic" nature, and the classical proof of the…
We present here the first part of a program for a classification of the generic dynamics close to homoclinic and heteroclinic points, in the $C^r$ topologies, $r\geq 1$. This paper only contains announcements and a few sketches of proofs; a forthcoming series of papers will present the proofs in details. The two prototypical examples of non-hyperbolic dynamics are homoclinic tangencies and heterodimensional cycles. Palis conjectured that they actually characterize densely non-hyperbolic dynamics. It is therefore important to understand what happens close to those bifurcations. We generalize cl…
We study the orbit behavior of a four dimensional smooth symplectic diffeomorphism $f$ near a homoclinic orbit $Γ$ to an 1-elliptic fixed point under some natural genericity assumptions. 1-elliptic fixed point has two real eigenvalues out of unit circle and two others on the unit circle. Thus there is a smooth 2-dimensional center manifold $W^c$ where the restriction of the diffeomorphism has the elliptic fixed point supposed to be generic (no strong resonances and first Birkhoff coefficient is nonzero). Moser's theorem guarantees the existence of a positive measure set of KAM invariant curves…
We show that for a $C^1$ residual subset of diffeomorphisms far away from tangency, every non-trivial chain recurrent class that is accumulated by sources ia a homoclinic class contains periodic points with index 1 and it's the Hausdorff limit of a family of sources.
In this paper, we study conjugacy invariants for 2-dimensional diffeomorphisms with homoclinic cubic tangencies (two-sided tangencies of the lowest order) under certain open conditions. Ordinary arguments used in past studies of conjugacy invariants associated with one-sided tangencies do not work in the two-sided case. We present a new method which is applicable to the two-sided case.
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.
Recent works related to Palis conjecture of J. Yang, S. Crovisier, M. Sambarino and D. Yang showed that any aperiodic class of a $C^1$-generic diffeomorphism far away from homoclinic bifurcations (or homoclinic tangencies) is partially hyperbolic. We show in this paper that, generically, a non-trivial dominated splitting implies partial hyperbolicity for an aperiodic class if it is Lyapunov stable. More precisely, for $C^1$-generic diffeomorphisms, if a Lyapunov stable aperiodic class has a non-trivial dominated splitting $E\oplus F$, then one of the two bundles is hyperbolic (either $E$ is co…
We show that at the vicinity of a generic dissipative homoclinic unfolding of a surface diffeomorphism, the Hausdorff dimension of the set of parameters for which the diffeomorphism admits infinitely many periodic sinks is at least 1/2.
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 prove that C^1-robustly transitive diffeomorphisms on surfaces with boundary do not exist, and we exhibit a class of diffeomorphisms of surfaces with boundary which are C^k-robustly transitive, with k greater or equal than 2. This class of diffeomorphisms are examples where a version of Palis' conjecture on surfaces with boundary, about homoclinic tangencies and uniform hyperbolicity, does not hold in the C^2-topology. This follows showing that blow-up of pseudo-Anosov diffeomorphisms on surfaces without boundary, become C^2-robustly topologically mixing diffeomorphisms on a surfaces with b…
We prove that for any $C^r$ diffeomorphism, $f$, of a compact manifold of dimension $d>2$, $1\leq r\leq \infty$, admitting a transverse homoclinic intersection, we can find a $C^1$-open neighborhood of $f$ containing a $C^1$-open and $C^r$-dense set of $C^r$ diffeomorphisms which have a periodic point with real and simple spectrum. We use this result to prove that $C^r$-generically among $C^r$ diffeomorphisms with horseshoes, we have density of periodic points with real and simple spectrum inside the horseshoe. As a corollary, we obtain that generically in the $C^1$-topology the unique obstruc…
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}$.
