Consider a compact manifold M of dimension at least 2 and the space of C^r-smooth diffeomorphisms Diff^r(M). The classical Artin-Mazur theorem says that for a dense subset D of Diff^r(M) the number of isolated periodic points grows at most exponentially fast (call it the A-M property). We extend this result and prove that diffeomorphisms having only hyperbolic periodic points with the A-M property are dense in Diff^r(M). Our proof of this result is much simpler than the original proof of Artin-Mazur. The second main result is that the A-M property is not (Baire) generic. Moreover, in a Newhouse domain ${\cal N} \subset Diff^r(M)$, an arbitrary quick growth of the number of periodic points holds on a residual set. This result follows from a theorem of Gonchenko-Shilnikov-Turaev, a detailed proof of which is also presented.
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 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 prove that a "positive probability" subset of the boundary of the set of hyperbolic (Axiom A) surface diffeomorphisms with no cycles $\mathcal{H}$ is constituted by Kupka-Smale diffeomorphisms: all periodic points are hyperbolic and their invariant manifolds intersect transversally. Lack of hyperbolicity arises from the presence of a tangency between a stable manifold and an unstable manifold, one of which is not associated to a periodic point. All these diffeomorphisms that we construct lie on the boundary of the same connected component of $\mathcal{H}$.
We prove that periodic asymptotic expansiveness introduced in \cite{em} implies the equidistribution of periodic points to measures of maximal entropy. Then following Yomdin's approach \cite{Yom} we show by using semi-algebraic tools that $C^\infty$ interval maps and $C^\infty$ surface diffeomorphisms satisfy this expansiveness property respectively for repelling and saddle hyperbolic points with Lyapunov exponents uniformly away from zero.
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 for any $C^r$ diffeomorphism, $f$, of a compact manifold of dimension $d>2$, $1\leq r\leq \infty$, admitting a transverse homoclinic intersection, we can find a $C^1$-open neighborhood of $f$ containing a $C^1$-open and $C^r$-dense set of $C^r$ diffeomorphisms which have a periodic point with real and simple spectrum. We use this result to prove that $C^r$-generically among $C^r$ diffeomorphisms with horseshoes, we have density of periodic points with real and simple spectrum inside the horseshoe. As a corollary, we obtain that generically in the $C^1$-topology the unique obstruc…
We consider inverse periodic shadowing properties of discrete dynamical systems generated by diffeomorphisms of closed smooth manifolds. We show that the $C^1$-interior of the set of all diffeomorphisms having so-called inverse periodic shadowing property coincides with the set of $Ω$-stable diffeomorphisms. The equivalence of Lipschitz inverse periodic shadowing property and hyperbolicity of the closure of all periodic points is proved. Besides, we prove that the set of all diffeomorphisms that have Lipschitz inverse periodic shadowing property and whose periodic points are dense in the nonwa…
Using a sifting-shadowing combination, we prove in this paper that an arbitrary $\mathrm{C}^1$-class local diffeomorphism $f$ of a closed manifold $M^n$ is uniformly expanding on the closure $\mathrm{Cl}_{M^n}(\mathrm{Per}(f))$ of its periodic point set $\mathrm{Per}(f)$, if it is nonuniformly expanding on $\mathrm{Per}(f)$.
Let M be a compact manifold of dimension at least 2, Diff^r(M) be the space of C^r diffeomorphisms of M. Define for any diffeomorphism f in Diff^r(M) number of isolated periodic points of period n by P_n(f)=# {isolated x in M: f^n(x)=x}. Artin--Mazur proved that for a dense set of diffeomorphisms the number of periodic points P_n(f) growth at most exponentially fast in n. The author proved that there is an open set N \subset Diff^r(M) such that for a Baire generic set of diffeomorphisms the number of periodic points P_n(f) growth arbitrarily fast. Arnold posed a problem: Prove that diffeomorph…
The main result of this paper is that every non-trivial Hamiltonian diffeomorphism of a closed oriented surface of genus at least one has periodic points of arbitrarily high period. The same result is true for S^2 provided the diffeomorphism has at least three fixed points. In addition we show that up to isotopy relative to its fixed point set, every orientation preserving diffeomorphism F: S --> S of a closed orientable surface has a normal form. If the fixed point set is finite this is just the Thurston normal form.
We show a $C^r$ connecting lemma for area-preserving surface diffeomorphisms and for periodic Hamiltonian on surfaces. We prove that for a generic $C^r$, $r=1, 2, ...$, $\infty$, area-preserving diffeomorphism on a compact orientable surface, homotopic to identity, every hyperbolic periodic point has a transversal homoclinic point. We also show that for a $C^r$, $r=1, 2, ...$, $\infty$ generic time periodic Hamiltonian vector field in a compact orientable surface, every hyperbolic periodic trajectory has a transversal homoclinic point. The proof explores the special properties of diffeomorphis…
We describe the topological structure of closed manifolds of dimension no less than four which admit Morse-Smale diffeomorphisms such that its non-wandering set contains any number of sink periodic points, and any number of source periodic points, and few saddle periodic points.
We prove that there exists an open subset of the set of real-analytic Hamiltonian diffeomorphisms of a closed surface in which diffeomorphisms exhibiting fast growth of the number of periodic points are dense. We also prove that there exists an open subset of the set of smooth area-preserving diffeomorphisms of a closed surface in which typical diffeomorphisms exhibit fast growth of the number of periodic points.
We construct a finitely generated subgroup of $\text{Diff}^{\infty}(\mathbb{S}^3 \times \mathbb{S}^1)$ where every element is conjugate to an isometry but such that the group action itself is far from isometric (the group has "exponential growth of derivatives"). As a corollary, one obtains a locally constant $\text{Diff}^{\infty}(\mathbb{S}^3 \times \mathbb{S}^1)$ valued cocycle over a hyperbolic dynamical system which has elliptic behavior over its periodic orbits but which preserves a measure with non-zero top Fiber Lyapunov exponent. Additionally, we provide new examples of Banach cocycles…
We construct an explicit example of family of non-uniformly hyperbolic diffeomorphisms, at the boundary of the set of uniformly hyperbolic systems, with one orbit of cubic heteroclinic tangency. One of the leaves involved in this heteroclinic tangency is periodic, and there is a certain degree of freedom for the choice of the second one. For a non-countable set of choices, this leaf is not periodic and the diffeomorphism is Kupka-Smale: every periodic point is hyperbolic and the intersections of stable and unstable leaves of periodic points are transverse. As a consequence of our construction,…
This paper deals with the dynamics of a simple family of holomorphic diffeomorphisms of $\C^2$: the polynomial automorphisms. This family of maps has been studied by a number of authors. We refer to [BLS] for a general introduction to this class of dynamical systems. An interesting object from the point of view of potential theory is the equilibrium measure $μ$ of the set $K$ of points with bounded orbits. In [BLS] $μ$ is also characterized dynamically as the unique measure of maximal entropy. Thus $μ$ is also an equilibrium measure from the point of view of the thermodynamical formalism. In t…
Given a diffeomorphism of the plane, which has a periodic orbit, we show how Nielsen fixed point theory can be used to establish the existence of a fixed point which is linked with this periodic orbit.
We prove that any Hamiltonian diffeomorphism of a closed symplectic manifold equipped with an atoroidal symplectic form has simple non-contractible periodic orbits of arbitrarily large period, provided that the diffeomorphism has a non-degenerate (or even isolated and homologically non-trivial) periodic orbit with non-zero homology class and the set of one-periodic orbits in that class is finite.
For partially hyperbolic diffeomorphisms with mostly expanding and mostly contracting centers, we establish a topological structure, called skeleton{a set consisting of finitely many hyperbolic periodic points with maximal cardinality for which there exist no heteroclinic intersections. We build the one-to-one corresponding between periodic points in any skeleton and physical measures. By making perturbations on skeletons, we study the continuity of physical measures with respect to dynamics under $C^1$-topology.
Inspired by the techniques of Givental and Théret, we provide a proof with generating functions of a recent result of Ginzburg-Gürel concerning the periodic points of Hamiltonian diffeomorphisms of $\mathbb{C}\text{P}^d$. For instance, we are able to prove that fixed points of pseudo-rotations are isolated as invariant sets or that a Hamiltonian diffeomorphism with a hyperbolic fixed point has infinitely many periodic points.
We show that the following three properties of a diffeomorphism $f$ of a smooth closed manifold are equivalent: (i) $f$ belongs to the $C^1$-interior of the set of diffeomorphisms having periodic shadowing property; (ii) $f$ has Lipschitz periodic shadowing property; (iii) $f$ is $Ω$-stable.
In this work we lead with expanding maps of the circle and Anosov diffeomorphisms on $\mathbb{T}^d, d \geq 2.$ We prove that, for these maps, \textit{constant periodic data} imply \textit{same periodic data of these maps and their linearizations}, so in particular we have smooth conjugacy. For expanding maps of the circle and Anosov diffeomorphism on $\mathbb{T}^d, d= 2, 3,$ we have global rigidity. In higher dimensions, $d \geq 4,$ we can establish a result of local rigidity, in several cases. The main tools of this work are celebrated results of rigidity involving same periodic data with lin…
We consider the space of $C^1$-diffeomorphims equipped with the $C^1$-topology on a three dimensional closed manifold. It is known that there are open sets in which $C^1$-generic diffeomorphisms display uncountably many chain recurrences classes, while only countably many of them may contain periodic orbits. The classes without periodic orbits, called aperiodic classes, are the main subject of this paper. The aim of the paper is to show that aperiodic classes of $C^1$-generic diffeomorphisms can exhibit a variety of topological properties. More specifically, there are $C^1$-generic diffeomorph…
There is a $C^1$-residual (Baire second class) subset $\mathcal{R}$ of symplectic diffeomorphisms on $2d$-dimensional manifold, $d\geq 1$, such that for every non-Anosov $f$ in $\mathcal{R}$ its topological entropy is lower bounded by the supremum of the Lyapunov exponents of their hyperbolic periodic points in the \emph{unbreakable central subbundle} (i.e., central direction with no dominated splitting) of $f$. The previous result deals with the fact that for $f$ in a residual set $\tilde{\mathcal{R}}$ of symplectic diffeomorphisms (containing $\mathcal{R}$) satisfies a trichotomy: or $f$ is …
In this paper we consider closed orientable surfaces $S$ of positive genus and $C^r$-diffeomorphisms $f:S\rightarrow S$ isotopic to the identity ($r\geq 1)$. The main objective is to study periodic open topological disks which are homotopically unbounded (i.e. which lift to unbounded connected sets in the universal covering). We show that these disks are not uncommon, and are related to important dynamical phenomena. We also study the dynamics on these disks under certain generic conditions. Our first main result implies that for the torus (or for arbitrary surfaces, with an additional conditi…
We consider C^r-diffeomorphisms of a compact smooth manifold having a pair of robust heterodimensional cycles where r is a positive integer or infinity. We prove that if certain conditions about the signatures of non-linearities and Schwarzian derivatives of the transition maps are satisfied, then by giving C^r arbitrarily small perturbation, we can produce a periodic point at which the first return map in the center direction is C^r-flat. As a consequence, we will prove that C^r-generic diffeomorphisms in the neighborhood of the initial diffeomorphism exhibit super-exponential growth of numbe…
We prove a very general Weyl-type law for Periodic Floer Homology, estimating the action of twisted Periodic Floer Homology classes over essentially any coefficient ring in terms of the grading and the degree, and recovering the Calabi invariant of Hamiltonians in the limit. We also prove a strong non-vanishing result, showing that under a monotonicity assumption which holds for a dense set of maps, the Periodic Floer Homology has infinite rank. An application of these results yields that a $C^{\infty}$-generic area-preserving diffeomorphism of a closed surface has a dense set of periodic poin…
We prove a criteria for uniform hyperbolicity based on the periodic points of the transformation. More precisely, if a mild (non uniform) hyperbolicity condition holds for the periodic points of any diffeomorphism in a residual subset of a $C^1$-open set $\SU$ then there exists an open and dense subset $\SA\subset \SU$ of Axiom A diffeomorphisms. Moreover, we also prove a noninvertible version of Ergodic Closing Lemma which we use to prove a counterpart of this result for local diffeomorphisms. As a simple corollary of our techniques, we have that an arbitrary $\mathrm{C}^1$-class local diffeo…
An area-preserving diffeomorphism of an annulus has an "action function" which measures how the diffeomorphism distorts curves. The average value of the action function over the annulus is known as the Calabi invariant of the diffeomorphism, while the average value of the action function over a periodic orbit of the diffeomorphism is the mean action of the orbit. If an area-preserving annulus diffeomorphism is a rotation near the boundary of the annulus, and if its Calabi invariant is less than the maximum boundary value of the action function, then we show that the infimum of the mean action …
A diffeomorphism f is called super exponential divergent if for every r>1, the lower limit of #Per_n(f)/r^n diverges to infinity as n tends to infinity, where Per_n(f) is the set of all periodic points of f with period n. This property is stronger than the usual super exponential growth of the number of periodic points. We show that for a three dimensional manifold M, there exists an open subset O of Diff^1(M) such that diffeomorphisms with super exponential divergent property form a dense subset of O in the C^1-topology. A relevant result of non super exponential divergence for diffeomorphism…
The Nielsen-Thurston theory of surface diffeomorphisms shows that useful dynamical information can be obtained about a surface diffeomorphism from a finite collection of periodic orbits.In this paper, we extend these results to homoclinic and heteroclinic orbits of saddle points. These orbits are most readily computed and studied as intersections of unstable and stable manifolds comprising homoclinic or heteroclinic tangles in the surface. We show how to compute a map of a one-dimensional space similar to a train-track which represents the isotopy-stable dynamics of the surface diffeomorphism …
On the torus of dimension $2$, $3$, or $4$, we show that the subset of diffeomorphisms with trivial centralizer in the $C^1$ topology has nonempty interior. We do this by developing two approaches, the fixed point and the odd prime periodic point, to obtain trivial centralizer for an open neighbourhood of Anosov diffeomorphisms arbitrarily near certain irreducible hyperbolic toral automorphism.
Topological classification of even the simplest Morse-Smale diffeomorphisms on 3-manifolds does not fit into the concept of singling out a skeleton consisting of stable and unstable manifolds of periodic orbits. The reason for this lies primarily in the possible "wild" behaviour of separatrices of saddle points. Another difference between Morse-Smale diffeomorphisms in dimension 3 from their surface analogues lies in the variety of heteroclinic intersections: a connected component of such an intersection may be not only a point as in the two-dimensional case, but also a curve, compact or non-c…
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.
We prove that for a certain class of closed monotone symplectic manifolds any Hamiltonian diffeomorphism with a hyperbolic fixed point must necessarily have infinitely many periodic orbits. Among the manifolds in this class are complex projective spaces, some Grassmannians, and also certain product manifolds such as the product of a projective space with a symplectically aspherical manifold of low dimension. A key to the proof of this theorem is the fact that the energy required for a Floer connecting trajectory to approach an iterated hyperbolic orbit and cross its fixed neighborhood is bound…
Let $L$ be a hyperbolic automorphism of $\mathbb T^d$, $d\ge3$. We study the smooth conjugacy problem in a small $C^1$-neighborhood $\mathcal U$ of $L$. The main result establishes $C^{1+ν}$ regularity of the conjugacy between two Anosov systems with the same periodic eigenvalue data. We assume that these systems are $C^1$-close to an irreducible linear hyperbolic automorphism $L$ with simple real spectrum and that they satisfy a natural transitivity assumption on certain intermediate foliations. We elaborate on the example of de la Llave of two Anosov systems on $\mathbb T^4$ with the same co…
Here we use Vinogradov's prime distribution theorem and a multi-dimensional generalization due to Harman to strengthen some recent results concerning the periodic points of Hamiltonian diffeomorphisms. In particular we establish resonance relations for the mean indices of the fixed points of Hamiltonian diffeomorphisms which do not have periodic points with arbitrarily large periods in $\mathbb{P}^2$, the set of natural numbers greater than one which have at most two prime factors when counted with multiplicity. As an application of these results we partially recover, using only symplectic too…
Let $A$ be a Hölder continuous cocycle over a hyperbolic dynamical system with values in the group of diffeomorphisms of a compact manifold $M$. We consider the periodic data of $A$, i.e., the set of its return values along the periodic orbits in the base. We show that if the periodic data of $A$ is bounded in Diff$^{\,q}(M)$, $q>1$, then the set of values of the cocycle is bounded in Diff$^{\,r}(M)$ for each $r<q$. Moreover, such a cocycle is isometric with respect to a Hölder continuous family of Riemannian metrics on $M$.
The main theme of this paper is the connection between the existence of infinitely many periodic orbits for a Hamiltonian system and the behavior of its action or index spectrum under iterations. We use the action and index spectra to show that any Hamiltonian diffeomorphism of a closed, rational manifold with zero first Chern class has infinitely many periodic orbits and that, for a general rational manifold, the number of geometrically distinct periodic orbits is bounded from below by the ratio of the minimal Chern number and half of the dimension. These generalizations of the Conley conject…
Let $f$ be a partially hyperbolic diffeomorphism on a closed (i.e., compact and boundaryless) Riemannian manifold $M$ with a uniformly compact center foliation $\mathcal{W}^{c}$. The relationship among topological entropy $h(f)$, entropy of the restriction of $f$ on the center foliation $h(f, \mathcal{W}^{c})$ and the growth rate of periodic center leaves $p^{c}(f)$ is investigated. It is first shown that if a compact locally maximal invariant center set $Λ$ is center topologically mixing then $f|_Λ$ has the center specification property, i.e., any specification with a large spacing can be cen…
In this paper, we study the number of ergodic measures of maximal entropy for partially hyperbolic diffeomorphisms defined on $3-$torus with compact center leaves. Assuming the existence of a periodic leaf with Morse-Smale dynamics we prove a sharp upper bound for the number of maximal measures in terms of the number of sources and sinks of Morse-Smale dynamics. A well-known class of examples for which our results apply are the so-called Kan-type diffeomorphisms admitting physical measures with intermingled basins.
We show that C^r generically in the space of C^r conservative diffeomorphisms of a compact surface, every hyperbolic periodic point has a transverse homoclinic orbit
