We establish a theory for the existence and regularity of solutions to the cohomological equation over an accessible, partially hyperbolic diffeomorphism. As a by-product of our techniques, we show that for $r>1$, any $C^r$ homogeneous, locally compact submanifold of a $C^r$ manifold is in fact a $C^r$ submanifold.
In this article, we study analyticity properties of (directed) areas of epsilon-neighborhoods of orbits of parabolic germs. The article is motivated by the question of analytic classification using epsilon-neighborhoods of orbits in the simplest formal class. We show that the coefficient in front of epsilon^2 term in the asymptotic expansion in epsilon, which we call the principal part of the area, is a sectorially analytic function of initial point of the orbit. It satisfies a cohomological equation similar to the standard trivialization equation for parabolic diffeomorphisms. We give necessa…
Given any smooth circle diffeomorphism with irrational rotation number, we show that its invariant probability measure is the only invariant distribution (up to multiplication by a real constant). As a consequence of this, we show that the space of real smooth coboundaries of such a diffeomorphism is closed if and only if its rotation number is Diophantine.
We announce some results towards the classification of partially hyperbolic diffeomorphisms on 3-manifolds, and outline the proofs in the case when the diffeomorphism is dynamically coherent. Detailed proofs are long and technical and will appear later.
We provide a general argument for the failure of Anosov-Katok-like constructions (as in \cite{AFKo2015} and \cite{NKInvDist}) to produce Cohomologically Rigid diffeomorphisms in manifolds other than tori. A $C^{\infty }$ smooth diffeomorphism $f $ of a compact manifold $M$ is Cohomologically Rigid iff the equation, known as Linear Cohomological one, \begin{equation*} ψ\circ f - ψ= φ\end{equation*} admits a $C^{\infty }$ smooth solution $ψ$ for every $φ$ in a codimension $1$ closed subspace of $C^{\infty } (M, \mathbb{C} )$. As an application, we show that no Cohomologically Rigid diffeomorphis…
We study conservative partially hyperbolic diffeomorphisms in hyperbolic 3-manifolds. We show that they are always accessible and deduce as a result that every conservative $C^{1+}$ partially hyperbolic in a hyperbolic 3-manifold must be ergodic, giving an afirmative answer to a conjecture of Hertz-Hertz-Ures in the context of hyperbolic 3-manifolds. Some of the intermediary steps are also done for general partially hyperbolic diffeomorphisms homotopic to the identity.
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.
A classification of partially hyperbolic diffeomorphisms on 3-dimensional manifolds with (virtually) solvable fundamental group is obtained. If such a diffeomorphism does not admit a periodic attracting or repelling two-dimensional torus, it is dynamically coherent and leaf conjugate to a known algebraic example. This classification includes manifolds which support Anosov flows, and it confirms conjectures by Rodriguez Hertz--Rodriguez Hertz--Ures and Pujals in the specific case of solvable fundamental group.
We show that if a partially hyperbolic diffeomorphism of a Seifert manifold induces a map in the base which has a pseudo-Anosov component then it cannot be dynamically coherent. This extends work of Bonatti, Gogolev, Hammerlindl and Potrie to the whole isotopy class. We relate the techniques with the study of certain partially hyperbolic diffeomorphisms in hyperbolic 3-manifolds performed in the previous paper by the authors. The appendix reviews some consequences of the Nielsen-Thurston classification of surface homeomorphisms to the dynamics of lifts of such maps to the universal cover.
We study 3-dimensional dynamically coherent partially hyperbolic diffeomorphisms that are homotopic to the identity, focusing on the transverse geometry and topology of the center stable and center unstable foliations, and the dynamics within their leaves. We find a structural dichotomy for these foliations, which we use to show that every such diffeomorphism on a hyperbolic or Seifert fibered 3-manifold is leaf conjugate to the time one map of a (topological) Anosov flow. This proves a classification conjecture of Hertz-Hertz-Ures in hyperbolic 3-manifolds and in the homotopy class of the ide…
We show that partially hyperbolic diffeomorphisms of $d$-dimensional tori isotopic to an Anosov diffeomorphism, where the isotopy is contained in the set of partially hyperbolic diffeomorphisms, are dynamically coherent. Moreover, we show a \textit{global stability result}, i.e. every partially hyperbolic diffeomorphism as above is \textit{leaf-conjugate} to the linear one. As a consequence, we obtain intrinsic ergodicity and measure equivalence for partially hyperbolic diffeomorphisms with one-dimensional center direction that are isotopic to Anosov diffeomorphisms through such a path.
Let f:M->M be a partially hyperbolic diffeomorphism such that all of its center leaves are compact. We prove that Sullivan's example of a circle foliation that has arbitrary long leaves cannot be the center foliation of f. This is proved by thorough study of the accessible boundaries of the center-stable and the center-unstable leaves. Also we show that a finite cover of f fibers over an Anosov toral automorphism if one of the following conditions is met: 1. the center foliation of f has codimension 2, or 2. the center leaves of f are simply connected leaves and the unstable foliation of f is …
We show that a strong partially hyperbolic diffeomorphism of $\mathbb{T}^3$ isotopic to Anosov has a unique quasi-attractor. Moreover, we study the entropy of the diffeomorphism restricted to this quasi-attractor.
We call a partially hyperbolic diffeomorphism \emph{partially volume expanding} if the Jacobian restricted to any hyperplane that contains the unstable bundle $E^u$ is larger than $1$. This is a $C^1$ open property. We show that any $C^{1+}$ partially volume expanding diffeomorphisms admits finitely many physical measures, the union of whose basins has full volume.
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.
The purpose of this article is to obtain dynamically coherence of partially hyperbolic diffeomorphisms in certain classes of Anosov diffeomorphisms on nilmanifolds, extending a result due to T. Fisher, R. Potrie and M. Sambarino [FPS] on the torus.
For every $r\in\mathbb{N}_{\geq2}\cup\{\infty\}$, we prove the $C^r$-closing lemma for general and conservative partially hyperbolic diffeomorphisms with one-dimensional center bundle. In particular, it implies periodic points are dense for $C^r$-generic conservative partially hyperbolic diffeomorphisms with one-dimensional center bundle.
We prove results related to robust transitivity and density of periodic points of Partially Hyperbolic Diffeomorphisms under conditions involving Accessibility and a property in the tangent bundle .
We discuss about the denseness of the strong stable and unstable manifolds of partially hyperbolic diffeomorphisms. In this sense, we introduce a concept of m-minimality. More precisely, we say that a partially hyperbolic diffeomorphisms is m-minimal if m-almost every point in M has its strong stable and unstable manifolds dense in M. We show that this property has dynamics consequences: topological and ergodic. Also, we prove the abundance of m-minimal partially hyperbolic diffeomorphisms in the volume preserving and symplectic scenario.
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 show stable ergodicity of a class of conservative diffeomorphisms which do not have any hyperbolic invariant subbundle. Moreover the uniqueness of SRB measures for non-conservative $C^1$ perturbations of such diffeomorphisms. This class contains strictly non-partially hyperbolic robustly transitive diffeomorphisms by Bonatti-Viana and so we answer their question about the stable ergodicity of such systems.
We show that every partially hyperbolic diffeomorphism with a 1-dimensional center bundle has a principal symbolic extension. On the other hand, we show there are no symbolic extensions $C^1$-generically among diffeomorphisms containing non-hyperbolic robustly transitive sets with center indecomposable bundle of dimension at least 2.
We show that for any integer $r \geq 2$, stable accessibility is $C^r$-dense among partially hyperbolic diffeomorphisms with two-dimensional center that satisfy some strong bunching and are stably dynamically coherent.
We prove that stable ergodicity is C r open and dense among conservative partially hyperbolic diffeomorphisms with one-dimensional center bundle, for all r in [2,infty]. The proof follows Pugh-Shub program: among conservative partially hyperbolic diffeomorphisms with one-dimensional center bundle, accessibility is C r open and dense, and essential accessibility implies ergodicity.
We study partially hyperbolic diffeomorphisms satisfying a trapping property which makes them look as if they were Anosov at large scale. We show that, as expected, they share several properties with Anosov diffeomorphisms. We construct an expansive quotient of the dynamics and study some dynamical consequences related to this quotient.
It was shown that in robustly transitive, partially hyperbolic diffeomorphisms on three dimensional closed manifolds, the strong stable or unstable foliation is minimal. In this article, we prove ``almost all'' leaves of both stable and unstable foliations are dense in the whole manifold.
We show that every codimension one partially hyperbolic diffeomorphism must support on $\mathbb{T}^{n}$. It is locally uniquely integrable and derived from a linear codimension one Anosov diffeomorphism. Moreover, this system is intrinsically ergodic, and the A. Katok's conjecture about the existence of ergodic measures with intermediate entropies holds for it.
We establish sufficient conditions for the upper semicontinuity and the continuity of the entropy of Sinai probability measures invariant by partially hyperbolic diffeomorphisms and discuss their application in several examples.
We prove the stochastic stability of an open class of partially hyperbolic diffeomorphisms, each of which admits two centers $E^c_1$ and $E^c_2$ such that any Gibbs $u$-state admits only positive (resp. negative) Lyapunov exponents along $E^c_1$ (resp. $E^c_2$).
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 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.
A partially hyperbolic diffeomorphism $f$ is structurally quasi-stable if for any diffeomorphism $g$ $C^1$-close to $f$, there is a homeomorphism $π$ of $M$ such that $π\circ g$ and $f\circπ$ differ only by a motion $τ$ along center directions. $f$ is topologically quasi-stable if for any homeomorphism $g$ $C^0$-close to $f$, the above holds for a continuous map $π$ instead of a homeomorphism. We show that any partially hyperbolic diffeomorphism $f$ is topologically quasi-stable, and if $f$ has $C^1$ center foliation $W^c_f$, then $f$ is structurally quasi-stable. As applications we obtain con…
In this paper we construct some "pathological" volume preserving partially hyperbolic diffeomorphisms on $\toro{3}$ such that their behaviour in small scales in the central direction (Lyapunov exponent) is opposite to the behavior of their linearization. These examples are isotopic to Anosov. We also get partially hyperbolic diffeomorphisms isotopic to Anosov (consequently with non-compact central leaves) with zero central Lyapunov exponent at almost every point.
Let $\mathbb{G}$ be a higher-rank connected semisimple Lie group with finite center and without compact factors. In any unitary representation $(π, \mathcal{H})$ of $\mathbb{G}$ without non-trivial $\mathbb{G}$-fixed vectors, we study the twisted cohomological equation $(X+m)f=g$, where $m\in\mathbb{R}$ and $X$ is in a $\mathbb{R}$-split Cartan subalgebra of $\text{Lie}(\mathbb{G})$. We characterize the obstructions to solving the cohomological equation, construct smooth solutions of the cohomological equation and obtain tame Sobolev estimates for $f$. We also study common solution to (the inf…
We consider classes of partially hyperbolic diffeomorphism $f:M\to M$ with splitting $TM=E^s\oplus E^c\oplus E^u$ and $\dim E^c=2$. These classes include for instance (perturbations of) the product of Anosov and conservative surface diffeomorphisms, skew products of surface diffeomorphisms over Anosov, partially hyperbolic symplectomorphisms on manifolds of dimension four with bidimensional center foliation whose center leaves are all compact. We prove that accessibility holds in these classes for $C^1$ open and $C^r$ dense subsets and moreover they are stably ergodic.
Consider a three dimensional partially hyperbolic diffeomorphism. It is proven that under some rigid hypothesis on the tangent bundle dynamics, the map is (modulo finite covers and iterates) either an Anosov diffeomorphism, a skew-product or the time-one map of an Anosov flow, thus recovering a well known classification conjecture of the second author to this restricted setting.
A partially hyperbolic diffeomorphism $f$ has quasi-shadowing property if for any pseudo orbit ${x_k}_{k\in \mathbb{Z}}$, there is a sequence of points ${y_k}_{k\in \mathbb{Z}}$ tracing it in which $y_{k+1}$ is obtained from $f(y_k)$ by a motion $τ$ along the center direction. We show that any partially hyperbolic diffeomorphism has quasi-shadowing property, and if $f$ has $C^1$ center foliation then we can require $τ$ to move the points along the center foliation. As applications, we show that any partially hyperbolic diffeomorphism is topologically quasi-stable under $C^0$-perturbation. When…
Katok's entropy formula is an important formula in entropy theory. This paper is devoted to establishing Katok's entropy formula of unstable metric entropy which is the entropy caused by the unstable part of partially hyperbolic systems.
We address the problem of existence and uniqueness (finite- ness) of ergodic equilibrium states for a natural class of partially hyperbolic dynamics homotopic to Anosov. We propose to study the disintegration of equilibrium states along central foliation as a tool to develop the theory of equilibrium states for partially hyperbolic dynamics.
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.
In this paper, we introduce the unstable topological pressure for C^1-smooth partially hyperbolic diffeomorphisms with sub-additive potentials. Moreover, without any additional assumption, we have established the expected variational principle which connects this unstable topological pressure and the unstable measure theoretic entropy, as well as the corresponding Lyapunov exponent.
Shub & Wilkinson and Ruelle & Wilkinson studied a class of volume preserving diffeomorphisms on the three dimensional torus that are stably ergodic. The diffeomorphisms are partially hyperbolic and admit an invariant central foliation of circles. The foliation is not absolutely continuous, in fact, Ruelle & Wilkinson established that the disintegration of volume along central leaves is atomic. We show that in such a class of volume preserving diffeomorphisms the disintegration of volume along central leaves is a single delta measure. We also formulate a general result for conservative three di…
We show that the metric entropy of a $C^1$ diffeomorphism with a dominated splitting and the dominating bundle uniformly expanding is bounded from above by the integrated volume growth of the dominating (expanding) bundle plus the maximal Lyapunov exponent from the dominated bundle multiplied by its dimension. We also discuss different types of volume growth that can be associated with an expanding foliation and relationships between them, specially when there exists a closed form non-degenerate on the foliation. Some consequences for partially hyperbolic diffeomorphisms are presented.
In this note we describe centralizers of volume preserving partially hyperbolic diffeomorphisms which are homotopic to identity on Seifert fibered and hyperbolic 3-manifolds. Our proof follows the strategy of Damjanovic, Wilkinson and Xu (arXiv:1902.05201) who recently classified the centralizer for perturbations of time-$1$ maps of geodesic flows in negative curvature. We strongly rely on recent classification results in dimension 3 established in (arXiv:1908.06227).
We address the classical problem of equivalence between Kolmogorov and Bernoulli property of smooth dynamical systems. In a natural class of volume preserving partially hyperbolic diffeomorphisms homotopic to Anosov ("derived from Anosov") on 3-torus, we prove that Kolmogorov and Bernoulli properties are equivalent. In our approach, we propose to study the conditional measures of volume along central foliation to recover fine ergodic properties for partially hyperbolic diffeomorphisms. As an important consequence we obtain that there exists an almost everywhere conjugacy between any volume pre…