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, including certain manifolds with non-trivial higher homotopy groups and certain products of aspherical manifolds.
We study aspherical manifolds that do not support Anosov diffeomorphisms. Weakening conditions of Gogolev and Lafont, we show that the product of an infranilmanifold with finitely many aspherical manifolds whose fundamental groups have trivial center and finite outer automorphism group does not support Anosov diffeomorphisms. In the course of our study, we obtain a result of independent group theoretic and topological interest on the stability of the Hopf property, namely, that the product of finitely many Hopfian groups with trivial center is Hopfian.
We consider the space $\X$ of Anosov diffeomorphisms homotopic to a fixed automorphism $L$ of an infranilmanifold $M$. We show that if $M$ is the 2-torus $\mathbb T^2$ then $\X$ is homotopy equivalent to $\mathbb T^2$. In contrast, if dimension of $M$ is large enough, we show that $\X$ is rich in homotopy and has infinitely many connected components.
A long-standing conjecture asserts that any Anosov diffeomorphism of a closed manifold is finitely covered by a diffeomorphism which is topologically conjugate to a hyperbolic automorphism of a nilpotent manifold. In this paper, we show that any closed 4-manifold that carries a Thurston geometry and is not finitely covered by a product of two aspherical surfaces does not support (transitive) Anosov diffeomorphisms.
We construct Anosov diffeomorphisms on manifolds that are homeomorphic to infranilmanifolds yet have exotic smooth structures. These manifolds are obtained from standard infranilmanifolds by connected summing with certain exotic spheres. Our construction produces Anosov diffeomorphisms of high codimension on infranilmanifolds with irreducible exotic smooth structures.
We show by means of a counterexample that a $C^{1+Lip}$ diffeomorphism Holder conjugate to an Anosov diffeomorphism is not necessarily Anosov. The counterexample can bear higher smoothness up to $C^3$. Also we include a result from the 2006 Ph.D. thesis of T. Fisher: a $C^{1+Lip}$ diffeomorphism Holder conjugate to an Anosov diffeomorphism is Anosov itself provided that Holder exponents of the conjugacy and its inverse are sufficiently large.
We give a simple procedure to construct explicit examples of nilmanifolds admitting an Anosov diffeomorphism, and show that a reasonable classification up to homeomorphism (or even up to commensurability) of such nilmanifolds would not be possible.
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.
Let $M$ be an $n$-dimensional manifold supporting a quasi Anosov diffeomorphism. If $n=3$ then either $M={\mathbb T}^3$, in which case the diffeomorphisms is Anosov, or else its fundamental group contains a copy of ${\mathbb Z} ^6$. If $n=4$ then $Π_1(M)$ contains a copy of ${\mathbb Z} ^4$, provided that the diffeomorphism is not Anosov.
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 transitivity for volume preserving $C^{1+}$ diffeomorphisms on $\mathbb{T}^3$ which are isotopic to a linear Anosov automorphism along a path of weakly partially hyperbolic diffeomorphisms.
Weprovethattheasymptoticsofergodicintegralsalonganinvariant foliation of a toral Anosov diffeomorphism, or of a pseudo-Anosov diffeomorphism on a compact orientable surface of higher genus, are determined (up to a logarithmic error) by the action of the diffeomorphism on the cohomology of the surface. As a consequence of our argument and of the results of Giulietti and Liverani [GL] on horospherical averages, toral Anosov diffeomorphisms have no Ruelle resonances in the open interval $(1,e^{h_{top}} )$.
Quasi-Anosov diffeomorphism is a kind of important dynamical system due to R. Mane 1970s. In this paper, we present a criterion for such dynamics using ergodic theory.
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 show that the product of infranilmanifolds with certain aspherical closed manifolds do not support Anosov diffeomorphisms. As a special case, we obtain that products of a nilmanifold and negatively curved manifolds of dimension at least 3 do not support Anosov diffeomorphisms.
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.
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.
We construct examples of $C^{1}$ Anosov diffeomorphisms on $\mathbb{T}^{2}$ which are of Krieger type ${\rm III}_{1}$ with respect to Lebesgue measure. This shows that the Gurevic Oseledec phenomena that conservative $C^{1+α}$ Anosov diffeomorphisms have a smooth invariant measure does not hold true in the $C^{1}$ setting.
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.
In this short note we prove that if a symplectomorphism f is C1-stably shadowable, then f is Anosov. The same result is obtained for volume-preserving diffeomorphisms.
We construct a plethora of Anosov-Katok diffeomorphisms with non-ergodic generic measures and various other mixing and topological properties. We also construct an explicit collection of the set containing the generic points of the system with interesting values of its Hausdorff dimension.
The Anosov-Katok method is one of the most powerful tools of constructing smooth volume-preserving diffeomorphisms of entropy zero with prescribed ergodic or topological properties. To measure the complexity of systems with entropy zero, invariants like slow entropy have been introduced. In this article we develop several mechanisms facilitating computation of topological and measure-theoretic slow entropy of Anosov-Katok diffeomorphisms.
We show that various classes of closed manifolds with non-trivial higher homotopy groups do not support (transitive) Anosov diffeomorphisms. In particular we show that a finite product of spheres at least one of which is even-dimensional does not support transitive Anosov diffeomorphisms.
We consider transitive Anosov diffeomorphisms for which every periodic orbit has only one positive and one negative Lyapunov exponent. We establish various properties of such systems including strong pinching, C^{1+β} smoothness of the Anosov splitting, and C^1 smoothness of measurable invariant conformal structures and distributions. We apply these results to volume preserving diffeomorphisms with two-dimensional stable and unstable distributions and diagonalizable derivatives of the return maps at periodic points. We show that a finite cover of such a diffeomorphism is smoothly conjugate to …
We prove that if the stable foliation and the unstable foliation of an Anosov diffeomorphism on a connected compact manifold are $C^3$, then the diffeomorphism has fixed points. This is a partial positive answer to a Smale conjecture for fixed points of Anosov diffeomorphisms.
We prove that every $C^2$ Anosov diffeomorphism in a compact and connected Riemannian manifold has a unique SRB and physical probability measure, whose basin of attraction covers Lebesgue almost every point in the manifold. Then, we use structural stability of Anosov diffeomorphisms to deduce that all $C^1$ Anosov diffeomorphisms on compact and connected Riemannian manifolds are transitive.
This note illustrates the strategy of our paper on piecewise affine surface homeomorphisms by giving a new proof of the finite multiplicity of the maximum entropy measure of Anosov diffeomorphisms (here on surfaces). This approach avoids the explicit construction of Markov partitions and will be applied elsewhere to some non-uniformly hyperbolic diffeomorphisms.
We show a fibre-preserving self-diffeomorphism which has hyperbolic splittings along the fibres on a compact principal torus bundle is topologically conjugate to a map that is linear in the fibres.
This paper deals with random perturbations of diffeomorphisms on n-dimensional Riemannian manifolds with distributions supported on k-dimensional disks, where k<n. First we demonstrate general but not very intuitive conditions which guarantee that all invariant measures for rank k random perturbations of $C^2$ diffeomorphisms are absolutely continuous with respect to the Riemannian measure on M. For two subclasses of Anosov diffeomorphisms: hyperbolic toral automorphisms and Anosov diffeomorphisms with codimension 1 stable manifolds, the above conditions are modified in order to relate k-dimen…
We prove that a $C^1-$generic symplectic diffeomorphism is either Anosov or the topological entropy is bounded from below by the supremum over the smallest positive Lyapunov exponent of the periodic points. We also prove that $C^1-$generic symplectic diffeomorphisms outside the Anosov ones do not admit symbolic extension and finally we give examples of volume preserving diffeomorphisms which are not point of upper semicontinuity of entropy function in $C^1-$topology.
After more than thirty years, the only known examples of Anosov diffeomorphisms are hyperbolic automorphisms of infranilmanifolds. It is also important to note that the existence of an Anosov automorphism is a really strong condition on an infranilmanifold. Any Anosov automorphism determines an automorphism of the (rational) Lie algebra of the Mal'cev completion of the corresponding lattice which is hyperbolic and unimodular. These two conditions together are strong enough to make of such rational nilpotent Lie algebras (called Anosov Lie algebras) very distinguished objects. In this paper, we…
Anosov families were introduced by A. Fisher and P. Arnoux motivated by generalizing the notion of Anosov diffeomorphism defined on a compact Riemannian manifold. Roughly, an Anosov family is a two-sided sequence of diffeomorphisms (or non-stationary dynamical system) with similar behavior to an Anosov diffeomorphisms. We show that the set consisting of Anosov families is an open subset of the set consisting of two-sided sequences of diffeomorphisms, which is endowed with the strong topology (or Whitney topology).
In this paper we consider the space of smooth conjugacy classes of an Anosov diffeomorphism of the two-torus. The only 2-manifold that supports an Anosov diffeomorphism is the 2-torus, and Franks and Manning showed that every such diffeomorphism is topologically conjugate to a linear example, and furthermore, the eigenvalues at periodic points are a complete smooth invariant. The question arises: what sets of eigenvalues occur as the Anosov diffeomorphism ranges over a topological conjugacy class? This question can be reformulated: what pairs of cohomology classes (one determined by the expand…
In this paper we focused our study on Derived From Anosov diffeomorphisms (DA diffeomorphisms ) of the torus $\mathbb{T}^3,$ it is, an absolute partially hyperbolic diffeomorphism on $\mathbb{T}^3$ homotopic to an Anosov linear automorphism of the $\mathbb{T}^3.$ We can prove that if $f: \mathbb{T}^3 \rightarrow \mathbb{T}^3 $ is a volume preserving DA diffeomorphism homotopic to linear Anosov $A,$ such that the center Lyapunov exponent satisfies $λ^c_f(x) > λ^c_A > 0,$ with $x $ belongs to a positive volume set, then the center foliation of $f$ is non absolutely continuous. We construct a new…
We present an example of a C1 Anosov diffeomorphism of a two-torus with a physical measure such that its basin has full Lebesgue measure and its support is a horseshoe of zero measure.
Let $f$ be an Anosov diffeomorphism of the $n$-dimensional torus ${\mathbb{T}}^n$ and $τ$ a continuous self-mapping of ${\mathbb{T}}^n$ commuting with $f$. We prove that $τ$ is surjective if and only if the restriction of $τ$ to each homoclinicity class of $f$ is injective.
We develop a thermodynamic formalism for a class of diffeomorphisms of a torus that are "almost-Anosov". In particular, we use a Young tower construction to prove the existence and uniqueness of equilibrium states for a collection of non-Hölder continuous geometric potentials over almost Anosov systems with an indifferent fixed point, as well as prove exponential decay of correlations and the central limit theorem for these equilibrium measures.
We show how an object from the combinatorially geometric version of the analytical number theory, namely geometric continued fractions, appears in the classical smooth dynamics, namely in the problem on the topological classification of Anosov diffeomorphisms of tori.
We consider two C^2 Anosov diffeomorphisms in a C^1 neighborhood of a linear hyperbolic automorphism of three dimensional torus with real spectrum. We prove that they are C^1+ conjugate if and only if the differentials of the return maps at corresponding periodic points have the same eigenvalues.
The purpose of this paper is to establish mixing rates for infinite measure preserving almost Anosov diffeomorphisms on the two-dimensional torus. The main task is to establish regular variation of the tails of the first return time to the complement of a neighbourhood of the neutral fixed point.
This monographic short book is intended to a brief introduction in the classic topic of the theory of Hiperbolic Dynamical Systems, for Spanish speaking students of an undergraduate course in Mathematics. We revisit the classic definition of Markov Partitions for Anosov diffeomorphisms on compact manifolds. We focus on the theorem of Sinai (Func. Anal. and its Applic. 2, 1968) stsating the existence of such partitions with arbitrarily small diameter. To prove the theorem of Sinai we restate the constructive method in Bowen, Lecture Notes in Math. 470, 1975. Finally we also relate the results, …
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.
In 1969, Hirsch posed the following problem: given a diffeomorphism, and a compact invariant hyperbolic set, describe its topology and restricted dynamics. We solve the problem where the hyperbolic invariant set is a closed 3-manifold: if the manifold is orientable, then it is a connected sum of tori and handles; otherwise it is a connected sum of tori and handles quotiented by involutions. The dynamics of the diffeomorphisms restricted to these manifolds, called quasi-Anosov diffeomorphisms, is also classified: it is the connected sum of DA-diffeomorphisms, quotiented by commuting involutions…
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.
Let $λ$ denote the probability Lebesgue measure on ${\mathbb T}^2$. For any $C^2$-Anosov diffeomorphism of the $2$-torus preserving $λ$ with measure-theoretic entropy equal to topological entropy, we show that the set of points with nondense orbits is hyperplane absolute winning (HAW). This generalizes the result in~\cite[Theorem~1.4]{T4} for $C^2$-expanding maps of the circle.
Let $M$ be a closed oriented $C^\infty$ manifold and $f$ a $C^\infty$ Anosov diffeomorphism on $M$. We show that if $M$ is the two torus $T^2$, then $f$ is conjugate to a hyperbolic automorphism of $T^2$, either by a $C^\infty$ diffeomorphism or by a singular homeomorphism. We also show that for general $M$, if $f$ admits an absolutely continuous invariant measure $μ$, then $μ$ is a $C^\infty$ volume. The proofs are concatenations of well known results in the field.
It is conjectured that every manifold admitting an Anosov diffeomorphism is, up to homeomorphism, finitely covered by a nilmanifold. Motivated by this conjecture, an important problem is to determine which nilmanifolds admit an Anosov diffeomorphism. The main theorem of this article gives a general method for constructing Anosov diffeomorphisms on nilmanifolds. As a consequence, we give counterexamples to a corollary of the classification of low-dimensional nilmanifolds with Anosov diffeomorphisms and a correction to this statement is proven. This method also answers some open questions about …
We consider extensions of Anosov diffeomorphisms of an infranilmanifold by the real vector space R^ω. Our main result, based on the analogous theorem in finite dimensions proven by Nitica and Pollicott, is that any Holder cocycle satisfying an obvious obstruction induces a topologically transitive extension (topologically weak mixing, in fact). We show how to construct cocycles satisfying these conditions for any Anosov diffeomorphism, and then observe that unlike the finite dimensional case, where cocycles satisfying the obstruction are C^0-stably transitive, there can be no infinite-dimensio…
A few years ago, the first example of a closed manifold admitting an Anosov diffeomorphism but no expanding map was given. Unfortunately, this example is not explicit and is high-dimensional, although its exact dimension is unknown due to the type of construction. In this paper, we present a family of concrete 12-dimensional nilmanifolds with an Anosov diffeomorphism but no expanding map, where nilmanifolds are defined as the quotient of a 1-connected nilpotent Lie group by a cocompact lattice. We show that this family has the smallest possible dimension in the class of infra-nilmanifolds, whi…
