Nonuniform hyperbolicity for C1-generic diffeomorphisms

We study the ergodic theory of non-conservative C ¹-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 ¹-generic diffeomorphisms are non-uniformly hyperbolic: they exhibit no zero Lyapunov exponents. Third, we extend a theorem by Sigmund on hyperbolic basic sets: every isolated transitive set Λ of any C ¹-generic diffeomorphism f exhibits many ergodic hyperbolic measures whose supports coincide with the whole set Λ.     

Recurrence and genericity

We prove a C¹-connecting lemma for pseudo-orbits of diffeomorphisms on compact manifolds. We explore some consequences for C¹-generic diffeomorphisms. For instance, C¹-generic conservative diffeomorphisms are transitive. To cite this article: C. Bonatti, S. Crovisier, C. R. Acad. Sci. Paris, Ser. I 336 (2003).     

Récurrence et généricité

Résumé. Nous montrons un lemme de connexion C¹ pour les pseudo-orbites des difféomorphismes des variétés compactes. Nous explorons alors les conséquences pour les difféomorphismes C¹-génériques. Par exemple, les difféomorphismes conservatifs C¹-génériques (dune variété connexe) sont transitifs.

---

We prove a C¹-connecting lemma for pseudo-orbits of diffeomorphisms on compact manifolds. We explore some consequences for C¹-generic diffeomorphisms. For instance, C¹-generic conservative diffeomorphisms (on connected manifolds) are transitive.

     

Hyperbolicity, heterodimensional cycles and Lyapunov exponents for partially hyperbolic dynamics

We prove a dichotomy of C² partially hyperbolic sets with one-dimensional center direction admitting no zero Lyapunov exponents, either hyperbolicity over the supports of ergodic measures or approximation by a heterodimensional cycle. This provides a partial result to the C¹ Palis Conjecture that claims a dichotomy, hyperbolicity or homoclinic bifurcations in a dense subset of the space of C¹ diffeomorphisms. Moreover, a theorem of Ma?é applied in the proof is modified to have an additional property concerning the Hausdorff distance between a periodic orbit and the support of a hyperbolic ergodic measure.     

Codimension one generic homoclinic classes with interior

We study C ¹-generic diffeomorphisms with a homoclinic 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.     

Cantor exchange systems and renormalization

We prove a one-to-one correspondence between (i) C¹⁺ conjugacy classes of C^1+H Cantor exchange systems that are C^1+H fixed points of renormalization and (ii) C¹⁺ conjugacy classes of C^1+H diffeomorphisms f with a codimension 1 hyperbolic attractor Λ that admit an invariant measure absolutely continuous with respect to the Hausdorff measure on Λ. However, we prove that there is no C^1+α Cantor exchange system, with bounded geometry, that is a C^1+α fixed point of renormalization with regularity α greater than the Hausdorff dimension of its invariant Cantor set.     

The set of axiom A diffeomorphisms with no cycles

LetM be aC ^∞ closed manifold and Diff¹ (M) be the space of diffeomorphisms ofM endowed with theC ¹ topology. This paper contains an affirmative answer to the following conjecture raised by Mañé, which is an extension of the stability and Ω-stability conjectures of Palis and Smale, as follows: theC ¹ interior of the subset of diffeomorphism such that all the periodic points are hyperbolic is characterized as the set of diffeomorphisms satisfying Axiom A and the no-cycles condition. Moreover, it is showed that theC ¹ interior of the set of all Kupka-Smale diffeomorphisms coincides with the set of all diffeomorphisms satisfying Axiom A and the strong transversality condition.     

Bifurcations of Morse-Smale diffeomorphisms with wildly embedded separatrices

We study bifurcations of Morse-Smale diffeomorphisms under a change of the embedding of the separatrices of saddle periodic points in the ambient 3-manifold. The results obtained are based on the following statement proved in this paper: for the 3-sphere, the space of diffeomorphisms of North Pole-South Pole type endowed with the C ¹ topology is connected. This statement is shown to be false in dimension 6.     

Periodic orbits and unstable manifolds for ordinary differential equations

Consider the unstable manifold of a hyperbolic periodic orbit of an ordinary differential equation under C¹ perturbations of the vector field and under approximation by a one-step numerical method, which is at least first order. Trajectories bounded backwards in time near the periodic orbit perturb Hausdorff continuously. This result as applied to numerical perturbations improves on Alouges-Debussche [1], who give only continuity of the unstable maniford, and on Beyn [3], who gives continuity of trajectories only when the periodic orbit is unstable. As a corollary, we find that attractors perturb Hausdorff continuously when the attractor equals a union of locally continuous unstable manifolds of invariant sets     

Geometric and transformational properties of Lipschitz domains,Semmes-Kenig-Toro domains,and other classes of finite perimeter domains

In the first part of this article we give intrinsic characterizations of the classes of Lipschitz and C¹ domains. Under some mild, necessary, background hypotheses (of topological and geometric measure theoretic nature), we show that a domain is Lipschitz if and only if it has a continuous transversal vector field. We also show that if the geometric measure theoretic unit normal of the domain is continuous, then the domain in question is of class C¹. In the second part of the article, we study the invariance of various classes of domains of locally finite perimeter under bi-Lipschitz and C¹ diffeomorphisms of the Euclidean space. In particular, we prove that the class of bounded regular SKT domains (previously called chord-arc domains with vanishing constant, in the literature) is stable under C¹ diffeomorphisms. A number of other applications are also presented. Acknowledgements and Notes. The work of the authors was supported in part by NSF grants DMS-0245401, DMS-0653180, DMS-FRG0456306, and DMS-0456861.     

3-manifolds which are orbit spaces of diffeomorphisms

In a very general setting, we show that a 3-manifold obtained as the orbit space of the basin of a topological attractor is either S²×S¹ or irreducible.We then study in more detail the topology of a class of 3-manifolds which are also orbit spaces and arise as invariants of gradient-like diffeomorphisms (in dimension 3). Up to a finite number of exceptions, which we explicitly describe, all these manifolds are Haken and, by changing the diffeomorphism by a finite power, all the Seifert components of the Jaco-Shalen-Johannson decomposition of these manifolds are made into product circle bundles.     

Train tracks with C 1+ self-renormalizable structures

We prove a one-to-one correspondence between C ¹⁺  conjugacy classes of diffeomorphisms with hyperbolic sets contained in surfaces and stable and unstable pairs of one-dimensional C ¹⁺  self-renormalizable structures.     

Hausdorff dimension bounds for smoothness of holonomies for codimension 1 hyperbolic dynamics

We prove that the stable holonomies of a proper codimension 1 attractor Λ, for a C^r diffeomorphism f of a surface, are not C^1+θ for θ greater than the Hausdorff dimension of the stable leaves of f intersected with Λ. To prove this result we show that there are no diffeomorphisms of surfaces, with a proper codimension 1 attractor, that are affine on a neighbourhood of the attractor and have affine stable holonomies on the attractor.     

Dynamics on Ahlfors quasi-circles

The celebrated theory of Denjoy introduced a topological invariant distinguishingC ¹ andC ² diffeomorphisms of the circle. AC ² diffeomorphism of the circle cannot have an infinite minimal set other than the circle itself. However, this is possible forC ¹ diffeomorphisms. In dimension two there is a related invariant distinguishingC ² andC ³ diffeomorphisms. Partially supported by NSF grant No. MCS-83202062.     

Completely contractive factorizations of C1-algebras

It is shown that a C¹-algebra is nuclear if and only if the identity map can be approximated in the point norm topology by complete contractions factoring through matrix algebras.     

Localisation des points fixes communs pour des diff��omorphismes commutants du plan

We prove that if G ? Diff1(?²) is an abelian subgroup generated by any family of commuting diffeomorphisms of the plane which are C ¹-close to the identity in the strong C ¹-topology and there exist a point p ?? ?² whose orbit by G is bounded then the elements of G has a commun fixed point in the convex hull of $\overline {\mathcal{O}_p (G)}$ . Here, $\overline {\mathcal{O}_p (G)}$ denote the topological closure of the orbit of p by G.     

Collections of paths and rays in the plane which fix its topology

A collection $\text{F}$ of proper maps into a locally compact Hausdorff space X fixes the topology of X if the only locally compact Hausdorff topology on X which makes each element of $\text{F}$ continuous and proper is the given topology. In I²=[-1, 1]×[-1, 1], neither the collection of analytic paths nor the collection of regular twice differentiable paths fixes the topology. However, in I², both the collection of C^∞ arcs and the collection of regular C¹ arcs fix the topology. In $\text{I}{}^2\text{=[?1,1]×[?1,1], the collection of polynomial rays together with any collection of paths does not fix the topology. However, in}\text{R}{}^2$, the collection of regular injective entire rays together with either the collection of C^∞ arcs or the collection of regular C¹ arcs fixes the topology.     

Generic robustness of spectral decompositions

We prove that given a compact n-dimensional boundaryless manifold M, n?2, there exists a residual subset R of Diff¹(M) such that if f∈R admits a spectral decomposition (i.e., the non-wandering set admits a partition into a finite number of transitive compact sets), then this spectral decomposition is robust in a generic sense (tame behavior). This implies a C¹-generic trichotomy that generalizes some aspects of a two-dimensional theorem of Mañé [Topology 17 (1978) 386-396].Lastly, Palis [Astérisque 261 (2000) 335-347] has conjectured that densely in Diff^k(M) diffeomorphisms either are hyperbolic or exhibit homoclinic bifurcations. We use the aforementioned results to prove this conjecture in a large open region of Diff¹(M).     

Diffeomorphisms with positive metric entropy

We obtain a dichotomy for \(C^{1}\)-generic, volume-preserving diffeomorphisms: either all the Lyapunov exponents of almost every point vanish or the volume is ergodic and non-uniformly Anosov (i.e. nonuniformly hyperbolic and the splitting into stable and unstable spaces is dominated). This completes a program first put forth by Ricardo Mañé.     

The <Emphasis Type="Italic">C</Emphasis><Superscript>1</Superscript> generic diffeomorphism has trivial centralizer

Answering a question of Smale, we prove that the space of C ¹ diffeomorphisms of a compact manifold contains a residual subset of diffeomorphisms whose centralizers are trivial.