In this paper, we construct a partially hyperbolic skew-product diffeomorphism $f$ on $\mathbb{T}^3$, such that $f$ is accessible and chain transitive, but not transitive.
In this paper, we study transitive partially hyperbolic diffeomorphisms with one-dimensional topologically neutral center, meaning that the length of the iterate of small center segments remains small. Such systems are dynamically coherent. We show that there exists a continuous metric along the center foliation which is invariant under the dynamics. As an application, we classify the transitive partially hyperbolic diffeomorphisms on 3-manifolds with topologically neutral center.
We construct a family of partially hyperbolic skew-product diffeomorphisms on $\mathbb{T}^3$ that are robustly transitive and admitting two physical measures with intermingled basins. In particularly, all these diffeomorphisms are not topologically mixing. Moreover, for every such example, it exhibits a dichotomy under perturbation: every perturbation of such example either has a unique physical measure and is robustly topologically mixing, or has two physical measures with intermingled basins.
We present an example of a $\mathcal{C}^1$-robustly transitive skew-product with non-trivial, non-hyperbolic action on homology. The example is conservative, ergodic, non-uniformly hyperbolic and its fiber directions cannot be decomposed into two dominated expanded/contracted bundles.
We build an example of a non-transitive, dynamically coherent partially hyperbolic diffeomorphism $f$ on a closed $3$-manifold with exponential growth in its fundamental group such that $f^n$ is not isotopic to the identity for all $n\neq 0$. This example contradicts a conjecture in \cite{HHU}. The main idea is to consider a well-understood time-$t$ map of a non-transitive Anosov flow and then carefully compose with a Dehn twist.
We consider the space of $C^1$-diffeomorphims equipped with the $C^1$-topology on a three dimensional closed manifold. It is known that there are open sets in which $C^1$-generic diffeomorphisms display uncountably many chain recurrences classes, while only countably many of them may contain periodic orbits. The classes without periodic orbits, called aperiodic classes, are the main subject of this paper. The aim of the paper is to show that aperiodic classes of $C^1$-generic diffeomorphisms can exhibit a variety of topological properties. More specifically, there are $C^1$-generic diffeomorph…
We show that time-one maps of transitive Anosov flows of compact manifolds are accumulated by diffeomorphisms robustly satisfying the following dichotomy: either all of the measures of maximal entropy are non-hyperbolic, or there are exactly two ergodic measures of maximal entropy, one with a positive central exponent and the other with a negative central exponent. We establish this dichotomy for certain partially hyperbolic diffeomorphisms isotopic to the identity whenever both of their strong foliations are minimal. Our proof builds on the approach developed by Margulis for Anosov flows wher…
We characterize which 3-dimensional Seifert manifolds admit transitive partially hyperbolic diffeomorphisms. In particular, a circle bundle over a higher-genus surface admits a transitive partially hyperbolic diffeomorphism if and only if it admits an Anosov flow.
We show that there is no transitive Anosov diffeomorphism with the global product structure, which is homotopic to a product of pseudo-Anosov diffeomorphisms, on a product of two closed surfaces each of which has genus greater than or equal to two.
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 prove that, on connected compact manifolds, both C1-generic conservative diffeomorphisms and C1-generic transitive diffeomorphisms are topologically mixing. This is obtained through a description of the periods of a homoclinic class and by a control of the period of the periodic points given by the closing lemma.
Let $f$ be a $C^2$ partially hyperbolic diffeomorphisms of ${\mathbb T}^3$ (not necessarily volume preserving or transitive) isotopic to a linear Anosov diffeomorphism $A$ with eigenvalues $$λ_{s}<1<λ_{c}<λ_{u}.$$ Under the assumption that the set $$\{x: \,\mid\log \det(Tf\mid_{E^{cu}(x)})\mid \leq \log λ_{u} \}$$ has zero volume inside any unstable leaf of $f$ where $E^{cu} = E^c\oplus E^u$ is the center unstable bundle, we prove that the stable foliation of $f$ is $C^1$ robustly minimal, i.e., the stable foliation of any diffeomorphism $C^1$ sufficiently close to $f$ is minimal. In particula…
We study how physical measures vary with the underlying dynamics in the open class of $C^r$, $r>1$, strong partially hyperbolic diffeomorphisms for which the central Lyapunov exponents of every Gibbs $u$-state is positive. If transitive, such a diffeomorphism has a unique physical measure that persists and varies continuously with the dynamics. A main ingredient in the proof is a new Pliss-like Lemma which, under the right circumstances, yields frequency of hyperbolic times close to one. Another novelty is the introduction of a new characterization of Gibbs $cu$-states. Both of these may be of…
The (measure-theoretical) entropy of a diffeomorphism along an expanding invariant foliation is the rate of complexity generated by the diffeomorphism along the leaves of the foliation. We prove that this number varies upper semi-continuously with the diffeomorphism ($\C^1$ topology), the invariant measure (weak* topology) and the foliation itself in a suitable sense. This has several important consequences. For one thing, it implies that the set of Gibbs $u$-states of $\C^{1+}$ partially hyperbolic diffeomorphisms is an upper semi-continuous function of the map in the $\C^1$ topology. Another…
In this paper, we prove that any group of diffeomorphisms acting on the 2-sphere and properly extending the conformal group of Möbius transformations must be at least 4-transitive or, more precisely, arc 4-transitive. In addition, we show that any such group must always contain an element of positive topological entropy. We also provide an elementary characterization, in terms of transitivity, of the Möbius transformations within the full group of sphere diffeomorphisms.
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 various classes of products of manifolds do not support transitive Anosov diffeomorphisms. Exploiting the Ruelle-Sullivan cohomology class, we prove that the product of a negatively curved manifold with a rational homology sphere does not support transitive Anosov diffeomorphisms. We extend this result to products of finitely many negatively curved manifolds of dimensions at least three with a rational homology sphere that has vanishing simplicial volume. As an application of this study, we obtain new examples of manifolds that do not support transitive Anosov diffeomorphisms, inc…
We show that the robustly transitive diffeomorphisms constructed by Bonatti and Viana have unique equilibrium states for natural classes of potentials. In particular, we characterize the SRB measure as the unique equilibrium state for a suitable geometric potential. The techniques developed are applicable to a wide class of DA diffeomorphisms, and persist under $C^1$ perturbations of the map. These results are an application of general machinery developed by the first and last named authors.
In the present paper we contribute to the thermodynamic formalism of partially hyperbolic attractors for local diffeomorphisms admitting an invariant stable bundle and a positively invariant cone field with non-uniform cone expansion at a positive Lebesgue measure set of points. These include the case of attractors for Axiom A endomorphisms and partially hyperbolic endomorphisms derived from Anosov. We prove these attractors have finitely many SRB measures, that these are hyperbolic, and that the SRB measure is unique provided the dynamics is transitive. Moreover, we show that the SRB measures…
In this article we prove that for a diffeomorphism on a compact Riemannian manifold, if there is a nontrival homoclinic class that is not uniformly hyperbolic or the diffeomorphism is a $C^{1+α}$ and there is a hyperbolic ergodic measure whose support is not uniformly hyperbolic, then we find a type of strongly distributional chaos which is stronger than usual distributional chaos and Li-Yorke chaos in the set of irregular orbits that are not uniformly hyperbolic. Meanwhile, we prove that various fractal sets are strongly distributional chaotic, such as irregular sets, level sets, several recu…
We construct examples of robustly transitive and stably ergodic partially hyperbolic diffeomorphisms $f$ on compact $3$-manifolds with fundamental groups of exponential growth such that $f^n$ is not homotopic to identity for all $n>0$. These provide counterexamples to a classification conjecture of Pujals.
In this paper we prove that for an ergodic hyperbolic measure $ω$ of a $C^{1+α}$ diffeomorphism $f$ on a Riemannian manifold $M$, there is an $ω$-full measured set $\widetildeΛ$ such that for every invariant probability $μ\in \mathcal{M}_{inv}(\widetildeΛ,f)$, the metric entropy of $μ$ is equal to the topological entropy of saturated set $G_μ$ consisting of generic points of $μ$: $$h_μ(f)=h_{\top}(f,G_μ).$$ Moreover, for every nonempty, compact and connected subset $K$ of $\mathcal{M}_{inv}(\widetildeΛ,f)$ with the same hyperbolic rate, we compute the topological entropy of saturated set $G_K$…
In the late nineties, Smale proposed a list of problems for the next century and, among these, it was conjectured that for every $r\ge 1$ a $C^r$-generic diffeomorphism has trivial centralizer. Our contribution here is to prove the triviality of $C^r$-centralizers on hyperbolic basic sets. In particular, $C^r$-generic transitive Anosov diffeomorphisms have a trivial $C^1$-centralizer. These results follow from a more general criterium for expansive homeomorphisms with the gluing orbit property. We also construct a linear Anosov diffeomorphism on $\mathbb T^3$ with discrete, non-trivial central…
We show generic $C^\infty$ hyperbolic flows (Axiom A and no cycles, but not transitive Anosov) commute with no $C^\infty$-diffeomorphism other than a time-t map of the flow itself. Kinematic expansivity, a substantial weakening of expansivity, implies that $C^0$ flows have quasi-discrete $C^0$-centralizer, and additional conditions broader than transitivity then give discrete $C^0$-centralizer. We also prove centralizer-rigidity: a diffeomorphism commuting with a generic hyperbolic flow is determined by its values on any open set.
We consider group-valued cocycles over a partially hyperbolic diffeomorphism which is accessible volume-preserving and center bunched. We study cocycles with values in the group of invertible continuous linear operators on a Banach space. We describe properties of holonomies for fiber bunched cocycles and establish their Holder regularity. We also study cohomology of cocycles and its connection with holonomies. We obtain a result on regularity of a measurable conjugacy, as well as a necessary and sufficient condition for existence of a contionuous conjugacy between two cocycles.
We answer a question of Burns and Wilkinson, showing that there are open families of volume-preserving partially hyperbolic diffeomorphisms which are accessible and center bunched and neither dynamically coherent nor Anosov. We also show in the volume-preserving setting that any diffeomorphism which is partially hyperbolic and Anosov may be isotoped to a diffeomorphism which is partially hyperbolic and not Anosov.