SRB measures for partially hyperbolic systems whose central direction is mostly contracting

We consider partially hyperbolic diffeomorphisms preserving a splitting of the tangent bundle into a strong-unstable subbundleE ^uu (uniformly expanding) and a subbundleE ^c, dominated byE ^uu. We prove that if the central directionE ^c is mostly contracting for the diffeomorphism (negative Lyapunov exponents), then the ergodic Gibbsu-states are the Sinai-Ruelle-Bowen measures, there are finitely many of them, and their basins cover a full measure subset. If the strong-unstable leaves are dense, there is a unique Sinai-Ruelle-Bowen measure. We describe some applications of these results, and we also introduce a construction of robustly transitive diffeomorphisms in dimension larger than three, having no uniformly hyperbolic (neither contracting nor expanding) invariant subbundles. Work partially supported by CNRS and CNPq/PRONEX-Dynamical Systems, and carried out at Laboratoire de Topologie, Dijon, and IMPA, Rio de Janeiro.     

Stable weakly shadowable volume-preserving systems are volume-hyperbolic

We prove that any C1-stable weakly shadowable volume-preserving diffeomorphism defined on a compact manifold displays a dominated splitting E ⊕ F. Moreover, both E and F are volume-hyperbolic. Finally, we prove the version of this result for divergence-free vector fields. As a consequence, in low dimensions, we obtain global hyperbolicity.     

Diffeomorphisms with C 1-stably average shadowing

Let M be a closed smooth manifold M, and let f : M → M be a diffeomorphism. In this paper, we consider a nontrivial transitive set Λ of f . We show that if f has the C1-stably average shadowing property on Λ, then Λ admits a dominated splitting.     

Density of hyperbolicity and tangencies in sectional dissipative regions

In this paper we extend the notion of sectionally dissipative periodic points to arbitrarily compact invariant sets. We show that given a sectionally dissipative and attracting region for a diffeomorphisms f, there is a neighborhood of f and a dense subset of it such that any diffeomorphism g in this dense subset either exhibits a sectional dissipative homoclinic tangency or the part of the limit set of g in this attracting region is a hyperbolic compact set. The proof goes extending some results on dominated splitting obtained for compact surfaces maps.     

Horseshoes for diffeomorphisms preserving hyperbolic measures

We give extensions of Katok’s horseshoe constructions, comment on related results, and provide a self-contained proof. We consider either a \(C^{1+\alpha }\) diffeomorphism preserving a hyperbolic measure or a \(C^1\) diffeomorphism preserving a hyperbolic measure whose support admits a dominated splitting.     

Quasi-energy function for diffeomorphisms with wild separatrices

We consider the class G ₄ of Morse—Smale diffeomorphisms on $ \mathbb{S} $ ³ with nonwandering set consisting of four fixed points (namely, one saddle, two sinks, and one source). According to Pixton, this class contains a diffeomorphism that does not have an energy function, i.e., a Lyapunov function whose set of critical points coincides with the set of periodic points of the diffeomorphism itself. We define a quasi-energy function for any Morse—Smale diffeomorphism as a Lyapunov function with the least number of critical points. Next, we single out the class G _4,1 ? G ₄ of diffeomorphisms inducing a special Heegaard splitting of genus 1 of the sphere $ \mathbb{S} $ ³. For each diffeomorphism in G _4,1, we present a quasi-energy function with six critical points.     

On the approximation of time one maps of Anosov flows by Axiom A diffeomorphisms

We prove that if 𝒻₁ is the time one map of a transitive and codimension one Anosov flow φ and it is C ¹-approximated by Axiom A diffeomorphisms satisfying a property called P, then the flow is topologically conjugated to the suspension of a codimension one Anosov diffeomorphism. A diffeomorphism 𝒻 satisfies property P if for every periodic point in M the number of periodic points in a fundamental domain of its central manifold is constant. Received: 15 March 2001     

Partial hyperbolicity far from homoclinic bifurcations

We prove that any diffeomorphism of a compact manifold can be C¹-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 Crovisier (in press) [10].     

Diffeomorphisms preserving R‐circles in three dimensional CR manifolds

R ‐circles in (non‐degenerate) three dimensional CR manifolds are the analogues to traces of Lagrangian totally geodesic planes on S³ viewed as the boundary of two dimensional complex hyperbolic space. They form a family of certain Legendrian curves on the manifold. We prove that a diffeomorphism between three dimensional CR manifolds which preserve circles is either a CR diffeomorphism or a conjugate CR diffeomorphism.     

Center manifolds for nonuniformly partially hyperbolic diffeomorphisms

We establish the existence of smooth invariant center manifolds for the nonuniformly partially hyperbolic trajectories of a diffeomorphism in a Banach space. This means that the differentials of the diffeomorphism along the trajectory admit a nonuniform exponential trichotomy. We also consider the more general case of sequences of diffeomorphisms, which corresponds to a nonautonomous dynamics with discrete time. In addition, we obtain an optimal regularity for the center manifolds: if the diffeomorphisms are of class C^k then the manifolds are also of class C^k. As a byproduct of our approach we obtain an exponential control not only for the trajectories on the center manifolds, but also for their derivatives up to order k.     

Random C 0 homeomorphism perturbations of hyperbolic sets

In this note we consider random C ⁰ homeomorphism perturbations of a hyperbolic set of a C ¹ diffeomorphism. We show that the hyperbolic set is semi-stable under such perturbations, in particular, the topological entropy will not decrease under such perturbations.     

Conditions for a diffeomorghism to be embedded in aC r flow

We will consider aC ^r diffeomorphism of the real lineR, and give a necessary and sufficient condition for aC ^r diffeomorphism ofR to be embedded (uniquely) in aC ^r flow. As an application, we do the same for diffeomorphisms of the circleS ¹ and a class of analytic diffeomorphisms of the planeR ².     

Fredholm properties of Riemannian exponential maps on diffeomorphism groups

We prove that exponential maps of right-invariant Sobolev H ^r metrics on a variety of diffeomorphism groups of compact manifolds are nonlinear Fredholm maps of index zero as long as r is sufficiently large. This generalizes the result of Ebin et al. (Geom. Funct. Anal. 16, 2006) for the L ² metric on the group of volume-preserving diffeomorphisms important in hydrodynamics. In particular, our results apply to many other equations of interest in mathematical physics. We also prove an infinite-dimensional Morse Index Theorem, settling a question raised by Arnold and Khesin (Topological methods in hydrodynamics. Springer, New York, 1998) on stable perturbations of flows in hydrodynamics. Finally, we include some applications to the global geometry of diffeomorphism groups.     

The information cocycle andɛ-bounded codes

We shall prove here that Bowen’s bounded codes lead to a cocycle-coboundary equation which can be exploited in various ways: through central limit theorems, through the related information variance or through a certain group invariant. Another result which emerges is that it is impossible to boundedly code two Markov automorphisms when one is of maximal type and the other is not. The functions which appear in the above cited cocycle-coboundary equation may belong to variousL ^p spaces. We devote a section to this problem. Finally we show that the information cocycle associated with small smooth partitions of aC ² Anosov diffeomorphism preserving a smooth probability is, in a sense, canonical.     

Dominated splitting versus small angles

In this paper, we give a partial answer to the problem proposed by Lan Wen. Roughly speaking, we prove that for a fixed i, f has C^1 persistently no small angles if and only if f has a dominated splitting of index i on the C^1 i-preperiodic set P＊^1（f）. To prove this, we mainly use some important conceptions and techniques developed by Christian Bonatti. In the last section, we also give a characterization of the finest dominated splitting for linear cocvcles.     

Ensembles invariants non enlacés des difféomorphismes du tore et de l’anneau

We introduce the notion of unlinked invariant set for a diffeomorphism of the 2-torus or the closed annulus and we look at the properties of these sets which generalize the Aubry-Mather sets. We prove that for any irrational number in the rotation set of an area-preserving diffeomorphism of the annulus, there exists an unliked invariant set whose rotation set is reduced to . In the same way we prove that any minimal diffeomorphism of the 2-torus homotopic to the identity may be approximated in the C⁰-topology by a periodic diffeomorphism.

---

---

Mathematics Subject Classification (2000) 37E30, 37E45, 37J10     

Converse Sturm–Hurwitz–Kellogg theorem and related results

We prove that if Vⁿ is a Chebyshev system on the circle and f is a continuous real-valued function with at least n + 1 sign changes then there exists an orientation preserving diffeomorphism of S¹ that takes f to a function L²-orthogonal to V. We also prove that if f is a function on the real projective line with at least four sign changes then there exists an orientation preserving diffeomorphism of that takes f to the Schwarzian derivative of a function on . We show that the space of piecewise constant functions on an interval with values ± 1 and at most n + 1 intervals of constant sign is homeomorphic to n-dimensional sphere. To V. I. Arnold for his 70th birthday     

Simple polytopes without small separators,II: Thurston’s bound

We construct a diffeomorphism of T³ admitting any finite or countable number of physical measures with intermingled basins. The examples are partially hyperbolic with splitting TT³ = E ^cs ⊕ E ^u and can be made volume hyperbolic and topologically mixing.     

The structure on invariant measures of <Emphasis Type="Italic">C</Emphasis><Superscript>1</Superscript> generic diffeomorphisms

Let Λ be an isolated non-trivial transitive set of a C 1 generic diffeomorphism f ∈ 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 that 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 hyperbolicity of Λ.     

On the dynamical coherence of structurally stable 3-diffeomorphisms

We prove that each structurally stable diffeomorphism f on a closed 3-manifold M ³ with a two-dimensional surface nonwandering set is topologically conjugated to some model dynamically coherent diffeomorphism.