For a class of volume-preserving partially hyperbolic diffeomorphisms (or non-uniformly Anosov) $f\colon {\mathbb {T}}^d\rightarrow {\mathbb {T}}^d$ homotopic to linear Anosov automorphism, we show that the sum of the positive (negative) Lyapunov exponents of f is bounded above (respectively below) by the sum of the positive (respectively negative) Lyapunov exponents of its linearization. We show this for some classes of derived from Anosov (DA) and non-uniformly hyperbolic systems with dominated splitting, in particular for examples described by Bonatti and Viana [SRB measures for partially hyperbolic systems whose central direction is mostly contracting. Israel J. Math. 115(1) (2000), 157–193]. The results in this paper address a flexibility program by Bochi, Katok and Rodriguez Hertz [Flexibility of Lyapunov exponents. Ergod. Th. & Dynam. Sys. 42(2) (2022), 554–591].

For a class of robustly transitive diffeomorphisms on ${\mathbb T}^4$ introduced by Shub [Topologically transitive diffeomorphisms of $T^4$. Proceedings of the Symposium on Differential Equations and Dynamical Systems (Lecture notes in Mathematics, 206). Ed. D. Chillingworth. Springer, Berlin, 1971, pp. 39–40], satisfying an additional bunching condition, we show that there exists a $C^2$ open and $C^r$ dense subset ${\mathcal U}^r$, $2\leq r\leq \infty $, such that any two hyperbolic points of $g\in {\mathcal U}^r$ with stable index $2$ are homoclinically related. As a consequence, every $g\in {\mathcal U}^r$ admits a unique homoclinic class associated to the hyperbolic periodic points with index $2$, and this homoclinic class coincides with the whole ambient manifold. Moreover, every $g\in {\mathcal U}^r$ admits at most one measure of maximal entropy, and every $g\in {\mathcal U}^{\infty }$ admits a unique measure of maximal entropy.

In this paper, we study transitivity of partially hyperbolic endomorphisms of the two torus whose action in the first homology group has two integer eigenvalues of moduli greater than one. We prove that if the Jacobian is everywhere greater than the modulus of the largest eigenvalue, then the map is robustly transitive. For this, we introduce Blichfedt’s theorem as a tool for extracting dynamical information from the action of a map in homology. We also treat the case of specially partially hyperbolic endomorphisms, for which we obtain a complete dichotomy: either the map is transitive and conjugated to its linear part, or its unstable foliation must contain an annulus which may either be wandering or periodic.

We prove that for $C^{1+\theta }$, $\theta $-bunched, dynamically coherent partially hyperbolic diffeomorphisms, the stable and unstable holonomies between center leaves are $C^1$, and the derivative depends continuously on the points and on the map. Also for $C^{1+\theta }$, $\theta $-bunched partially hyperbolic diffeomorphisms, the derivative cocycle restricted to the center bundle has invariant continuous holonomies which depend continuously on the map. This generalizes previous results by Pugh, Shub, and Wilkinson; Burns and Wilkinson; Brown; Obata; Avila, Santamaria, and Viana; and Marin.

We prove that under restrictions on the fiber, any fibered partially hyperbolic system over a nilmanifold is leaf conjugate to a smooth model that is isometric on the fibers and descends to a hyperbolic nilmanifold automorphism on the base. One ingredient is a result of independent interest generalizing a result of Hiraide: an Anosov homeomorphism of a nilmanifold is topologically conjugate to a hyperbolic nilmanifold automorphism.

We give a $C^1$-perturbation technique for ejecting an a priori given finite set of periodic points preserving a given finite set of homo/heteroclinic intersections from a chain recurrence class of a periodic point. The technique is first stated under a simpler setting called a Markov iterated function system, a two-dimensional iterated function system in which the compositions are chosen in a Markovian way. Then we apply the result to the setting of three-dimensional partially hyperbolic diffeomorphisms.

For every $r\in \mathbb {N}_{\geq 2}\cup \{\infty \}$, we prove a $C^r$-orbit connecting lemma for dynamically coherent and plaque expansive partially hyperbolic diffeomorphisms with one-dimensional orientation preserving center bundle. To be precise, for such a diffeomorphism f, if a point y is chain attainable from x through pseudo-orbits, then for any neighborhood U of x and any neighborhood V of y, there exist true orbits from U to V by arbitrarily $C^r$-small perturbations. As a consequence, we prove that for $C^r$-generic diffeomorphisms in this class, periodic points are dense in the chain recurrent set, and chain transitivity implies transitivity.

We develop a geometric method to establish the existence and uniqueness of equilibrium states associated to some Hölder potentials for center isometries (as are regular elements of Anosov actions), in particular, the entropy maximizing measure and the SRB measure. A characterization of equilibrium states in terms of their disintegrations along stable and unstable foliations is also given. Finally, we show that the resulting system is isomorphic to a Bernoulli scheme.

We give an example of a path-wise connected open set of $C^{\infty }$ partially hyperbolic endomorphisms on the $2$-torus, on which the (unique) Sinai–Ruelle–Bowen (SRB) measure exists for each system and varies smoothly depending on the system, while the sign of its central Lyapunov exponent changes.

We construct measures of maximal u-entropy for any partially hyperbolic diffeomorphism that factors over an Anosov torus automorphism and has mostly contracting center direction. The space of such measures has finite dimension, and its extreme points are ergodic measures with pairwise disjoint supports.

For typical cocycles over subshifts of finite type, we show that for any given orbit segment, we can construct a periodic orbit such that it shadows the given orbit segment and that the product of the cocycle along its orbit is a proximal linear map. Using this result, we show that suitable assumptions on the periodic orbits have consequences over the entire subshift.

In this paper, we classify the three-dimensional partially hyperbolic diffeomorphisms whose stable, unstable, and central distributions $E^s$ , $E^u$ , and $E^c$ are smooth, such that $E^s\oplus E^u$ is a contact distribution, and whose non-wandering set equals the whole manifold. We prove that up to a finite quotient or a finite power, they are smoothly conjugated either to a time-map of an algebraic contact-Anosov flow, or to an affine partially hyperbolic automorphism of a nil- ${\mathrm {Heis}}{(3)}$ -manifold. The rigid geometric structure induced by the invariant distributions plays a fundamental part in the proof.

We set out some general criteria to prove the K-property, refining the assumptions used in an earlier paper for the flow case, and introducing the analogous discrete-time result. We also introduce one-sided $\lambda $ -decompositions, as well as multiple techniques for checking the pressure gap required to show the K-property. We apply our results to the family of Mañé diffeomorphisms and the Katok map. Our argument builds on the orbit decomposition theory of Climenhaga and Thompson.

We outline the flexibility program in smooth dynamics, focusing on flexibility of Lyapunov exponents for volume-preserving diffeomorphisms. We prove flexibility results for Anosov diffeomorphisms admitting dominated splittings into one-dimensional bundles.

Under a suitable bunching condition, we establish that stable holonomies inside center-stable manifolds for $C^{1+\beta }$ diffeomorphisms are uniformly bi-Lipschitz and, in fact, $C^{1+\mathrm {H}\ddot{\rm o}\mathrm {lder}}$ . This verifies the ergodicity of suitably center-bunched, essentially accessible, partially hyperbolic $C^{1+\beta }$ diffeomorphisms and verifies that the Ledrappier–Young entropy formula holds for $C^{1+\beta }$ diffeomorphisms of compact manifolds.

We consider $C^{r}$-diffeomorphisms ($1 \leq r \leq +\infty$) of a compact smooth manifold having two pairs of hyperbolic periodic points of different indices which admit transverse heteroclinic points and are connected through a blender. We prove that, by giving an arbitrarily $C^{r}$-small perturbation near the periodic points, we can produce a periodic point for which the first return map in the center direction coincides with the identity map up to order $r$, provided the transverse heteroclinic points satisfy certain natural conditions involving higher derivatives of their transition maps in the center direction. As a consequence, we prove that $C^{r}$-generic diffeomorphisms in a small neighborhood of the diffeomorphism under consideration exhibit super-exponential growth of number of periodic points. We also give examples which show the necessity of the conditions we assume.

In this paper, we study the centralizer of a partially hyperbolic diffeomorphism on ${\mathbb T}^3$ which is homotopic to an Anosov automorphism, and we show that either its centralizer is virtually trivial or such diffeomorphism is smoothly conjugate to its linear part.

In this article we study physical measures for $\operatorname {C}^{1+\alpha }$ partially hyperbolic diffeomorphisms with a mostly expanding center. We show that every diffeomorphism with a mostly expanding center direction exhibits a geometrical-combinatorial structure, which we call skeleton, that determines the number, basins and supports of the physical measures. Furthermore, the skeleton allows us to describe how physical measures bifurcate as the diffeomorphism changes under $C^1$ topology.

Moreover, for each diffeomorphism with a mostly expanding center, there exists a $C^1$ neighbourhood, such that diffeomorphism among a $C^1$ residual subset of this neighbourhood admits finitely many physical measures, whose basins have full volume.

We also show that the physical measures for diffeomorphisms with a mostly expanding center satisfy exponential decay of correlation for any Hölder observes. In particular, we prove that every $C^2$ , partially hyperbolic, accessible diffeomorphism with 1-dimensional center and nonvanishing center exponent has exponential decay of correlations for Hölder functions.

We explore new connections between the dynamics of conservative partially hyperbolic systems and the geometric measure-theoretic properties of their invariant foliations. Our methods are applied to two main classes of volume-preserving diffeomorphisms: fibered partially hyperbolic diffeomorphisms and center-fixing partially hyperbolic systems. When the center is one-dimensional, assuming the diffeomorphism is accessible, we prove that the disintegration of the volume measure along the center foliation is either atomic or Lebesgue. Moreover, the latter case is rigid in dimension three (this does not require accessibility): the center foliation is actually smooth and the diffeomorphism is smoothly conjugate to an explicit rigid model. A partial extension to fibered partially hyperbolic systems with compact fibers of any dimension is also obtained. A common feature of these classes of diffeomorphisms is that the center leaves either are compact or can be made compact by taking an appropriate dynamically defined quotient. For volume-preserving partially hyperbolic diffeomorphisms whose center foliation is absolutely continuous, if the generic center leaf is a circle, then every center leaf is compact.

Stable accessibility of partially hyperbolic systems is central to their stable ergodicity, and we establish its $C^1$ -density among partially hyperbolic flows, as well as in the categories of volume-preserving, symplectic, and contact partially hyperbolic flows. As applications, we obtain on one hand in each of these four categories of flows the $C^1$ -density of the $C^1$ -stable topological transitivity and triviality of the centralizer, and on the other hand the $C^1$ -density of the $C^1$ -stable K-property of the natural volume in the latter three categories.