In this paper, we consider entropy spectra on topological Markov shifts. We prove that if two measure-preserving dynamical systems of Gibbs measures with Hölder continuous potentials are isomorphic, then their entropy spectra are the same. This result raises a new rigidity problem. We call this problem the weak rigidity problem, contrasting it with the strong rigidity problem proposed by Barreira and Saraiva. We give a complete answer to the weak rigidity problem for Markov measures on a topological Markov shift with an aperiodic transition matrix of size 2.
Given a closed, orientable surface of constant negative curvature and genus $g \ge 2$, we study a family of generalized Bowen-Series boundary maps and prove the following rigidity result: in this family the topological entropy is constant and depends only on the genus of the surface. We give an explicit formula for this entropy and show that the value of the topological entropy also stays constant in the Teichmüller space of the surface. The proofs use conjugation to maps of constant slope.
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 introduce the notion of a one-way horseshoe and show that the polynomial entropy of an interval map is given by one-way horseshoes of iterates of the map, obtaining in such a way an analogue of Misiurewicz's theorem on topological entropy and standard `two-way' horseshoes. Moreover, if the map is of Sharkovskii type 1 then its polynomial entropy can also be computed by what we call chains of essential intervals. As a consequence we get a rigidity result that if the polynomial entropy of an interval map is finite, then it is an integer. We also describe the possible values of polynomial entr…
We set up a real entropy function $h_\Bbb{R}$ on the space $\mathcal{M}'_d$ of Möbius conjugacy classes of real rational maps of degree $d$ by assigning to each class the real entropy of a representative $f\in\Bbb{R}(z)$; namely, the topological entropy of its restriction $f\restriction_{\hat{\Bbb{R}}}$ to the real circle. We prove a rigidity result stating that $h_\Bbb{R}$ is locally constant on the subspace determined by real maps quasi-conformally conjugate to $f$. As examples of this result, we analyze real analytic stable families of hyperbolic and flexible Lattès maps with real coefficie…
We prove entropy rigidity for finite volume strictly convex projective manifolds in dimensions $\geq 3$, generalizing the work of arXiv:1708.03983 to the finite volume setting. The rigidity theorem uses the techniques of Besson, Courtois, and Gallot's entropy rigidity theorem. It implies uniform lower bounds on the volume of any finite volume strictly convex projective manifold in dimensions $\geq 3$.
Given a closed, orientable surface of constant negative curvature and genus $g \ge 2$, we study the topological entropy and measure-theoretic entropy (with respect to a smooth invariant measure) of generalized Bowen--Series boundary maps. Each such map is defined for a particular fundamental polygon for the surface and a particular multi-parameter. We present and sketch the proofs of two strikingly different results: topological entropy is constant in this entire family ("rigidity"), while measure-theoretic entropy varies within Teichmüller space, taking all values ("flexibility") between zero…
The original proof has a gap, and need extra hypothesis that the strong stable and strong unstable filiation both to be $C^1$. The argument is like the following: with the regularity, one can show that the weak-stable and weak-unstable foliation both to be $C^{1+Lip}$, and then following the same argument as in the paper one can conclude the proof. But this extra hypothesis seems implying that the flow has a contact structure. Then it will be only a result which improves the Foulon's proof on contract structure for $C^\infty$ regularity to $C^2$, not so interest.
Assuming positive entropy we prove a measure rigidity theorem for higher rank actions on tori and solenoids by commuting automorphisms. We also apply this result to obtain a complete classification of disjointness and measurable factors for these actions.
This text is an expanded series of lecture notes based on a 5-hour course given at the workshop entitled "Workshop for young researchers: Groups acting on manifolds" held in Teresópolis, Brazil in June 2016. The course introduced a number of classical tools in smooth ergodic theory -- particularly Lyapunov exponents and metric entropy -- as tools to study rigidity properties of group actions on manifolds. We do not present comprehensive treatment of group actions or general rigidity programs. Rather, we focus on two rigidity results in higher-rank dynamics: the measure rigidity theorem for aff…
The notion of slow entropy, both upper and lower slow entropy, was defined by Katok and Thouvenot as a more refined measure of complexity for dynamical systems, than the classical Kolmogorov-Sinai entropy. For any subexponential rate function $a_n(t)$, we prove there exists a generic class of invertible measure preserving systems such that the lower slow entropy is zero and the upper slow entropy is infinite. Also, given any subexponential rate $a_n(t)$, we show there exists a rigid, weak mixing, invertible system such that the lower slow entropy is infinite with respect to $a_n(t)$. This give…
In this survey we recall basic notions of disintegration of measures and entropy along unstable laminations. We review some roles of unstable entropy in smooth ergodic theory including the so-called invariance principle, Margulis construction of measures of maximal entropy, physical measures and rigidity. We also give some new examples and pose some open questions.
We prove $\times a$ $\times b$ measure rigidity for multiplicatively independent pairs when $a\in\mathbb{N}$ and $b>1$ is a ``specified'' real number (the $b$-expansion of $1$ has a tail or bounded runs of $0$'s) under a positive entropy condition. This is done by proving a mean decay of the Fourier series of the point masses average along $\times b$ orbits. We also prove a quantitative version of this decay under stronger conditions on the $\times a$ invariant measure. The quantitative version together with the $\times b$ invariance of the limit measure is a step toward a general Host-type po…
Let $f\colon\mathbb{T}^d\to\mathbb{T}^d$ be an Anosov diffeomorphism whose linearization $A\in{\rm GL}(d,\mathbb{Z})$ is irreducible. Assume that $f$ is also absolutely partially hyperbolic where a weak stable subbundle is considered as the center subbundle. We show that if the strong stable and unstable subbundles are jointly integrable, then $f$ is dynamically coherent and all foliations match corresponding linear foliation under the conjugacy to the linearization $A$. Moreover, $f$ admits the finest dominated splitting in weak stable subbundle with dimensions matching those for $A$, and it …
