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 a finite dimension, and its extreme points are ergodic measures with pairwise disjoint supports.
It was proven by Ures that $C^1$ diffeomorphism on three dimensional torus that is derived from Anosov admits a unique maximal measure. Here we show that the maximal measure has exponential decay of correlations for Hölder observables, assuming the middle eigenvalue of the linear Anosov model is contracting.
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 study the effects that the constant periodic data condition have on topological entropy of Anosov diffeomorphisms. Under constant periodic data condition we prove that Anosov diffeomorphism has finitely many measures of maximal entropy and each one of them is absolutely continuous with respect to Lebesgue. From this, in the setting of $C^{\infty}-$Anosov diffeomorphisms satisfying constant periodic data, we provide a characterization of transitivity property via measures of maximal entropy.
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.
A sectional-Anosov flow on a manifold M is a C^1 vector field inwardly transverse to the boundary for which the maximal invariant is sectional-hyperbolic. We prove that every attractor of every vector field C^1 close to a transitive sectional-Anosov flow with singularities on a compact manifold has a singularity. This extends the three-dimensional result obtained in [Morales, C.A., The explosion of singular-hyperbolic attractors].
Given an integer $k \geq 5$, and a $C^k$ Anosov flow $Φ$ on some compact connected $3$-manifold preserving a smooth volume, we show that the measure of maximal entropy (MME) is the volume measure if and only if $Φ$ is $C^{k-\varepsilon}$-conjugate to an algebraic flow, for $\varepsilon>0$ arbitrarily small. Besides the rigidity, we also study the entropy flexibility, and show that the metric entropy with respect to the volume measure and the topological entropy of suspension flows over Anosov diffeomorphisms on the $2$-torus achieve all possible values subject to natural normalizations. Moreov…
We develop a thermodynamic formalism for a smooth realization of pseudo-Anosov surface homeomorphisms. In this realization, the singularities of the pseudo-Anosov map are assumed to be fixed, and the trajectories are slowed down so the differential is the identity at these points. Using Young towers, we prove existence and uniqueness of equilibrium states for geometric $t$-potentials. This family of equilibrium states includes a unique SRB measure and a measure of maximal entropy, the latter of which has exponential decay of correlations and the Central Limit Theorem.
Let $Γ$ be a Zariski dense Anosov subgroup of a connected semisimple real algebraic group $G$. For a maximal horospherical subgroup $N$ of $G$, we show that the space of all non-trivial $NM$-invariant ergodic and $A$-quasi-invariant Radon measures on $Γ\backslash G$, up to proportionality, is homeomorphic to ${\mathbb R}^{\text{rank}\,G-1}$, where $A$ is a maximal real split torus and $M$ is a maximal compact subgroup which normalizes $N$. One of the main ingredients is to establish the $NM$-ergodicity of all Burger-Roblin measures.
For any $C^\infty$, area-preserving Anosov diffeomorphism $f$ of a surface, we show that a suspension flow over $f$ is $C^\infty$-conjugate to a constant-time suspension flow of a hyperbolic automorphism of the two torus if and only if the volume measure is the measure with maximal entropy. We also show that the the metric entropy with respect to the volume measure and the topological entropy of suspension flow over Anosov diffeomorphisms on torus achieve all possible values. Our results fit into two programs related to entropy rigidity and flexibility of Anosov systems.
Let G be a connected semisimple Lie group such that the associated symmetric space X is Hermitian and let Gamma be the fundamental group of a compact orientable surface of genus at least 2. We survey the study of maximal representations, that is the subset of Hom(Gamma,G) which is a union of components characterized by the maximality of the Toledo invariant. Then we concentrate on the particular case G=SP(2n,R), and we show that the image of Gamma under any maximal representation is a discrete faithful realization of Gamma as a Kleinian group of complex motions in X with an associated Anosov s…
In this paper we mainly address the problem of disintegration of Lebesgue measure and measure of maximal entropy along the central foliation of (conservative) Derived from Anosov (DA) diffeomorphisms. We prove that for accessible DA diffeomorphisms of $\mathbb{T}^3$, atomic disintegration has the peculiarity of being mono-atomic (one atom per leaf). We further provide open and non-empty condition for the existence of atomic disintegration. Finally, we prove some new relations between Lyapunov exponents of DA diffeomorphisms and their linearization.
We prove that every smooth diffeomorphism group valued cocycle over certain abelian Anosov actions on tori (and more generally on infranilmanifolds), is a smooth coboundary on a finite cover, if the cocycle is center bunched and trivial at a fixed point. For smooth cocycles which are not trivial at a fixed point, we have smooth reduction of cocycles to constant ones, when lifted to the universal cover. These results on cocycle trivialisation apply, via the existing global rigidity results, to maximal Cartan actions by Anosov diffeomorphisms (with at least one transitive), on any compact smooth…
We prove that for any closed manifold of dimension 3 or greater that there is an open set of smooth flows that have a hyperbolic set that is not contained in a locally maximal one. Additionally, we show that the stabilization of the shadowing closure of a hyperbolic set is an intrinsic property for premaximality. Lastly,we review some results due to Anosov that concern premaximality.
We characterize the maximal entropy measures of partially hyperbolic C^2 diffeomorphisms whose center foliations form circle bundles, by means of suitable finite sets of saddle points, that we call skeletons. In the special case of 3-dimensional nilmanifolds other than the torus, this entails the following dichotomy: either the diffeomorphism is a rotation extension of an Anosov diffeomorphism -- in which case there is a unique maximal measure, with full support and zero center Lyapunov exponents -- or there exist exactly two ergodic maximal measures, both hyperbolic and whose center Lyapunov …
Let $G=\prod_{i=1}^{r} G_i$ be a product of simple real algebraic groups of rank one and $Γ$ an Anosov subgroup of $G$ with respect to a minimal parabolic subgroup. For each $v$ in the interior of a positive Weyl chamber, let $\mathcal R_v\subsetΓ\backslash G$ denote the Borel subset of all points with recurrent $\exp (\mathbb R_+ v)$-orbits. For a maximal horospherical subgroup $N$ of $G$, we show that the $N$-action on ${\mathcal R}_v$ is uniquely ergodic if $r={rank}(G)\le 3$ and $v$ belongs to the interior of the limit cone of $Γ$, and that there exists no $N$-invariant {Radon} measure on …
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 consider smooth partially hyperbolic volume preserving Z^k actions on smooth manifolds, with uniformly compact center foliation. We show that under certain irreducibility condition on the action, bunching and uniform quasiconformality conditions, the action is a smooth fiber bundle extension of an Anosov action, or the center foliation is pathological. We obtain several corollaries of this result. For example, we prove a global dichotomy result that any smooth conservative circle extension over a maximal Cartan action is either essentially a product of an action by rotations and a linear An…
We study the high-energy eigenfunctions of the Laplacian on a compact Riemannian manifold with Anosov geodesic flow. The localization of a semiclassical measure associated with a sequence of eigenfunctions is characterized by the Kolmogorov-Sinai entropy of this measure. We show that this entropy is necessarily bounded from below by a constant which, in the case of constant negative curvature, equals half the maximal entropy. In this sense, high-energy eigenfunctions are at least half-delocalized.
We consider a smooth area-preserving Anosov diffeomorphism $f\colon \mathbb T^2\rightarrow \mathbb T^2$ homotopic to an Anosov automorphism $L$ of $\mathbb T^2$. It is known that the positive Lyapunov exponent of $f$ with respect to the normalized Lebesgue measure is less than or equal to the topological entropy of $L$, which, in addition, is less than or equal to the Lyapunov exponent of $f$ with respect to the probability measure of maximal entropy. Moreover, the equalities only occur simultaneously. We show that these are the only restrictions on these two dynamical invariants.
We show the existence and uniqueness of the maximal entropy probability measure for partially hyperbolic diffeomorphisms which are semi-conjugate to nonuniformly expanding maps. Using the theory of projective metric on cones we then prove exponential decay of correlations for Hölder continuous observables and the central limit theorem for the maximal entropy probability measure. Moreover, for systems derived from solenoid we also prove the statistical stability for the maximal entropy probability measure. Finally, we use such techniques to obtain similar results in a context containing partial…
Livšic theorem asserts that, for Anosov diffeomorphisms/flows, a Lipschitz observable is a coboundary if all its Birkhoff sums on every periodic orbits are equal to zero. The transfer function is then Lipschitz. We prove a positive Livšic theorem which asserts that a Lipschitz observable is bounded from below by a coboundary if and only if all its Birkhoff sums on periodic orbits are non negative. The new result is that the coboundary can be chosen Lipschitz. The map is only assumed to be $C^1$ and hyperbolic, but not necessarily bijective nor transitive. We actually prove our main result in t…
In this paper we study two properties related to the structure of hyperbolic sets. First we construct new examples answering in the negative the following question posed by Katok and Hasselblatt. Let $Λ$ be a hyperbolic set, and let $V$ be an open neighborhood of $Λ$. Does there exist a locally maximal hyperbolic set $\widetildeΛ$ such that $Λ\subset \widetildeΛ \subset V $? We show that such examples are present in linear anosov diffeomorophisms of $\mathbb{T}^3$, and are therefore robust. Also we construct new examples of sets that are not contained in any locally maximal hyperbolic set. The…
In this paper we study the ergodic theory of a robust non-uniformly expanding maps where no Markov assumption is required. We prove that the topological pressure is differentiable as a function of the dynamics and analytic with respect to the potential. Moreover we not only prove the continuity of the equilibrium states and their metric entropy as well as the differentiability of the maximal entropy measure and extremal Lyapunov exponents with respect to the dynamics. We also prove a local large deviations principle and central limit theorem and show that the rate function, mean and variance v…
We effect thermodynamical formalism for the non-uniformly hyperbolic $C^\infty$ map of the two dimensional torus known as the Katok map. It is a slowdown of a linear Anosov map near the origin and it is a local (but not small) perturbation. We prove the existence of equilibrium measures for any continuous potential function and obtain uniqueness of equilibrium measures associated to the geometric $t$-potential $φ_t=-t\log |df|_{E^u(x)}|$ for any $t\in(t_0,\infty)$, $t\neq 1$ where $E^u(x)$ denotes the unstable direction. We show that $t_0$ tends to $-\infty$ as the size of the perturbation ten…
ICEx-UFMG(米纳斯吉拉斯联邦大学);Penn State(宾夕法尼亚州立大学);Department of Mathematics and Shenzhen International Center for Mathematics - Southern University of Science and Technology(南方科技大学数学系及深圳国际数学中心)
We introduce a class of continuous maps f of a compact metric space I admitting inducing schemes and describe the tower constructions associated with them. We then establish a thermodynamical formalism, i.e., describe a class of real-valued potential functions ϕon I which admit unique equilibrium measures μ_ϕminimizing the free energy for a certain class of measures. We also describe ergodic properties of equilibrium measures including decay of correlation and the Central Limit Theorem. Our results apply in particular to some one-dimensional unimodal and multimodal maps as well as to multidime…