The two main results of this paper concern the regularity of the invariant foliation of a C0-integrable symplectic twist diffeomorphisms of the 2-dimensional annulus, namely that $\bullet$ the generating function of such a foliation is C1 ; $\bullet$ the foliation is H{ö}lder with exponent 1/2. We also characterize foliations by graphs that are straightenable via a symplectic homeomorphism and prove that every symplectic homeomorphism that leaves invariant all the leaves of a straightenable foliation has Arnol'd-Liouville coordinates, in which the Dynamics restricted to the leaves is conjugated to a rotation. We deduce that every Lipschitz integrable symplectic twist diffeomorphisms of the 2-dimensional annulus has Arnol'd-Liouville coordinates and then provide examples of 'strange' Lipschitz foliations in smooth curves that cannot be straightened by a symplectic homeomorphism and cannot be invariant by a symplectic twist diffeomorphism.This article is a part of another preprint of the authors, entitled On the transversal dependence of weak K.A.M. solutions for symplectic twist maps, after rewriting ant adding of the H{ö}lder part.
This article deals with directional rotational deviations for non-wandering periodic point free homeomorphisms of the 2-torus which are homotopic to the identity. We prove that under mild assumptions, such a homeomorphism exhibits uniformly bounded rotational deviations in some direction if and only it leaves invariant a pseudo-foliation, a notion which is a slight generalization of classical one-dimensional foliations. To get these results, we introduce a novel object called $\tildeρ$-centralized skew-product and their associated stable sets at infinity.
It was shown that in robustly transitive, partially hyperbolic diffeomorphisms on three dimensional closed manifolds, the strong stable or unstable foliation is minimal. In this article, we prove ``almost all'' leaves of both stable and unstable foliations are dense in the whole manifold.
We introduce Smale A-homeomorphisms that includes regular, semi-chaotic, chaotic, and super chaotic homeomorphisms of topo\-lo\-gi\-cal $n$-manifold $M^n$, $n\geq 2$. Smale A-homeo\-mor\-p\-hisms contain A-diffeomorphisms (in particular, structurally stable diffeomorphisms) provided $M^n$ admits a smooth structure. Regular A-homeomorphisms contain all Morse-Smale diffeomorphisms, while semi-chaotic and chaotic A-homeomorphisms contain A-diffeo\-mor\-p\-hisms with trivial and nontrivial basic sets. Super chaotic A-homeo\-mor\-p\-hisms contain A-diffeomorphisms whose basic sets are nontrivial. W…
Metric entropies along a hierarchy of unstable foliations are investigated for $C^1$ diffeomorphisms with dominated splitting. The analogues of Ruelle's inequality and Pesin's formula, which relate the metric entropy and Lyapunov exponents in each hierarchy, are given.
We describe necessary and sufficient conditions for an orientation preserving fixed point free planar homeomorphism that preserves the standard Reeb foliation to embed in a planar flow that leaves the foliation invariant.
This essay summarizes the state of the art on some aspects of the dynamics of polynomial diffeomorphsms in complex dimension two, and it presents a number of open questions.
Let f be a class P -homeomorphism of the circle. We prove that there exists a piecewise analytic homeomorphism that conjugate f to a one-class P with prescribed break points lying on pairwise distinct orbits. As a consequence, we give a sharp estimate for the smoothness of a conjugation of class P -homeomorphism f of the circle satisfying the (D)-property (i.e. the product of f-jumps in the break points contained in a same orbit is trivial), to diffeomorphism. When f does not satisfy the (D)-property the conjugating homeomorphism is never piecewise C^1 and even more it is not absolutely contin…
Let $f$ be a $C^2$ partially hyperbolic diffeomorphisms of ${\mathbb T}^3$ (not necessarily volume preserving or transitive) isotopic to a linear Anosov diffeomorphism $A$ with eigenvalues $$λ_{s}<1<λ_{c}<λ_{u}.$$ Under the assumption that the set $$\{x: \,\mid\log \det(Tf\mid_{E^{cu}(x)})\mid \leq \log λ_{u} \}$$ has zero volume inside any unstable leaf of $f$ where $E^{cu} = E^c\oplus E^u$ is the center unstable bundle, we prove that the stable foliation of $f$ is $C^1$ robustly minimal, i.e., the stable foliation of any diffeomorphism $C^1$ sufficiently close to $f$ is minimal. In particula…
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…
The (measure-theoretical) entropy of a diffeomorphism along an expanding invariant foliation is the rate of complexity generated by the diffeomorphism along the leaves of the foliation. We prove that this number varies upper semi-continuously with the diffeomorphism ($\C^1$ topology), the invariant measure (weak* topology) and the foliation itself in a suitable sense. This has several important consequences. For one thing, it implies that the set of Gibbs $u$-states of $\C^{1+}$ partially hyperbolic diffeomorphisms is an upper semi-continuous function of the map in the $\C^1$ topology. Another…
We consider a partially hyperbolic C1-diffeomorphism f on a smooth compact manifold M with a uniformly compact f-invariant center foliation. We show that if the unstable bundle is one-dimensional and oriented, then the holonomy of the center foliation vanishes everywhere, the quotient space of the center foliation is a torus and f induces a hyperbolic automorphism on it, in particular, f is centrally transitive. We actually obtain further interesting results without restrictions on the unstable, stable and center dimension: we prove a kind of spectral decomposition for the chain recurrent set …
Given closed topological $n$-manifold $M^n$, $n\geq 2$, one introduces the classes of Smale regular $SRH(M^n)$ and Smale semi-regular $SsRH(M^n)$ homeomorphisms of $M^n$ with $SRH(M^n)\subset~SsRH(M^n)$. The class $SRH(M^n)$ contains all Morse-Smale diffeomorphisms, while $SsRH(M^n)$ contains A-diffeomorphisms with trivial and some nontrivial basic sets provided $M^n$ admits a smooth structure. We select invariant sets that determine dynamics of Smale homeomorphisms. This allows us to get necessary and sufficient conditions of conjugacy for $SRH(M^n)$ and $SsRH(M^n)$. We deduce applications fo…
We consider diffeomorphisms in the $C^\infty$-closure of the conjugancy class of translations of the 2-torus. By a theorem of Fathi and Herman, a generic diffeomorphism in that space is minimal and uniquely ergodic. We define a new mixing-like property, which takes into account the "directions" of mixing, and we prove that generic elements of the space in question satisfy this property. As a consequence, we show that there is a residual set of strictly ergodic diffeomorphisms without invariant foliations of any kind. We also obtain an analytic version of these results.
We show that a partially hyperbolic $C^1$ -diffeomorphism $f : M \to M$ with a uniformly compact $f$ -invariant center foliation $F^c$ is dynamically coherent. Further, the induced homeomorphism $F : M/F^c \to M/F^c$ on the quotient space of the center foliation has the shadowing property, i.e. for every $\varepsilon> 0$ there exists $δ> 0$ such that every $δ$-pseudo orbit of center leaves is $\varepsilon$-shadowed by an orbit of center leaves. Although the shadowing orbit is not necessarily unique, we prove the density of periodic center leaves inside the chain recurrent set of the quotient d…
A partially hyperbolic diffeomorphism $f$ is structurally quasi-stable if for any diffeomorphism $g$ $C^1$-close to $f$, there is a homeomorphism $π$ of $M$ such that $π\circ g$ and $f\circπ$ differ only by a motion $τ$ along center directions. $f$ is topologically quasi-stable if for any homeomorphism $g$ $C^0$-close to $f$, the above holds for a continuous map $π$ instead of a homeomorphism. We show that any partially hyperbolic diffeomorphism $f$ is topologically quasi-stable, and if $f$ has $C^1$ center foliation $W^c_f$, then $f$ is structurally quasi-stable. As applications we obtain con…
Let $Y=(f,g,h):\mathbb{R}^{3} \to \mathbb{R}^{3}$ be a $C^{2}$ map and let $\spec(Y)$ denote the set of eigenvalues of the derivative $DY_p$, when $p$ varies in $\mathbb{R}^3$. We begin proving that if, for some $ε>0,$ $\spec(Y)\cap (-ε,ε)=\emptyset,$ then the foliation $\mathcal{F}(k),$ with $k\in \{f,g,h\},$ made up by the level surfaces $\{k={\rm constant}\},$ consists just of planes. As a consequence, we prove a bijectivity result related to the three-dimensional case of Jelonek's Jacobian Conjecture for polynomial maps of $\mathbb{R}^n.$
A diffeomorphism $f:\mathbb{R}^2\to\mathbb{R}^2$ in the plane is Anosov if it has a hyperbolic splitting at every point of the plane. The two known topological conjugacy classes of such diffeomorphisms are linear hyperbolic automorphisms and translations (the existence of Anosov structures for plane translations was originally shown by W. White). P. Mendes conjectured that these are the only topological conjugacy classes for Anosov diffeomorphisms in the plane. We prove that this claim holds when the Anosov diffeomorphism is the time-one map of a flow, via a theorem about foliations invariant …
We prove that a compactly supported homeomorphism of a smooth manifold of dimension greater or equal to 5 can be approximated uniformly by compactly supported diffeomorphisms if and only if it is isotopic to a diffeomorphism. If the given homeomorphism is in addition volume preserving, then it can be approximated uniformly by volume preserving diffeomorphisms.
In this paper we are considering partially hyperbolic diffeomorphims of the torus, with $dim(E^c) > 1.$ We prove, under some conditions, that if the all center Lyapunov exponents of the linearization $A,$ of a \mbox{DA-diffeomorphism} $f,$ are positive and the center foliation of $f$ is absolutely continuous, then the sum of the center Lyapunov exponents of $f$ is bounded by the sum of the center Lyapunov exponents of $A.$ After, we construct a $C^1-$open class of volume preserving \mbox{DA-diffeomorphisms}, far from Anosov diffeomorphisms, with non compact pathological two dimensional center …
In this work we completely classify $C^\infty$ conjugacy for conservative partially hyperbolic diffeomorphisms homotopic to a linear Anosov automorphism on the 3-torus by its center foliation behavior. We prove that the uniform version of absolute continuity for the center foliation is the natural hypothesis to obtain $C^\infty$ conjugacy to its linear Anosov automorphism. On a recent work Avila, Viana and Wilkinson proved that for a perturbation in the volume preserving case of the time-one map of an Anosov flow absolute continuity of the center foliation implies smooth rigidity. The absolute…
We construct infinite sequences of pseudo-Anosov homeomorphisms without fixed points and leaving invariant a sequence of orientable measured foliations on the same topological surface and the same stratum of the space of abelian differentials. The existence of such sequences show that all pseudo-Anosov homeomorphisms fixing orientable measured foliations cannot be obtained by the Rauzy-Veech induction strategy.
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.
Center foliations of partially hyperbolic diffeomorphisms may exhibit pathological behavior from a measure-theoretical viewpoint: quite often, the disintegration of the ambient volume measure along the center leaves consists of atomic measures. We add to this theory by constructing stable examples for which the disintegration is singular without being atomic. In the context of diffeomorphisms with mostly contracting center direction, for which upper leafwise absolute continuity is known to hold, we provide examples where the center foliation is not lower leafwise absolutely continuous.
A partially hyperbolic diffeomorphism $f$ has quasi-shadowing property if for any pseudo orbit ${x_k}_{k\in \mathbb{Z}}$, there is a sequence of points ${y_k}_{k\in \mathbb{Z}}$ tracing it in which $y_{k+1}$ is obtained from $f(y_k)$ by a motion $τ$ along the center direction. We show that any partially hyperbolic diffeomorphism has quasi-shadowing property, and if $f$ has $C^1$ center foliation then we can require $τ$ to move the points along the center foliation. As applications, we show that any partially hyperbolic diffeomorphism is topologically quasi-stable under $C^0$-perturbation. When…
Classical results by Poincaré and Denjoy show that two orientation-preserving $C^2$ diffeomorphisms of the circle are topologically conjugate if and only if they have the same rotation number. We show that there is no possibility of getting such a complete numerical Borel invariant for the conjugacy relation of orientation-preserving circle diffeomorphisms by homeomorphisms with higher degree of regularity. For instance, we consider conjugacy by Hölder homeomorphisms or by $C^k$-diffeomorphisms with $k\in \mathbb{Z}^+ \cup \{\infty\}$. The proof combines techniques from Descriptive Set Theory …
In this work we obtain some metric and ergodic properties of $C^{1+}$ partially hyperbolic diffeomorphisms with one-dimensional topological neutral center, mainly regarding the behavior of its center foliation. Based on a trichotomy for the center conditional measures of any invariant ergodic measure, we show that if these conditionals have full support, then the center foliation is leafwise absolutely continuous, the diffeomorphism is Bernoulli in the $C^{1+}$ case, and an invariance principle occurs in the sense that M may be covered by a finite number of open sets where the system of center…
Let $M$ be a compact manifold equipped with a pair of complementary foliations, say horizontal and vertical. In Catuogno, Silva and Ruffino ($Stoch$. $Dyn$., 2013) it is shown that, up to a stopping time $τ$, a stochastic flow of local diffeomorphisms $φ_t$ in $M$ can be written as a Markovian process in the subgroup of diffeomorphisms which preserve the horizontal foliation composed with a process in the subgroup of diffeomorphisms which preserve the vertical foliation. Here, we discuss topological aspects of this decomposition. The main result guarantees the global decomposition of a flow if…
In 1980, Albert Fathi asked whether the group of area-preserving homeomorphisms of the 2-disc that are the identity near the boundary is a simple group. In this paper, we show that the simplicity of this group is equivalent to the following fragmentation property in the group of compactly supported, area preserving diffeomorphisms of the plane: there exists a constant m such that every element supported on a disc D is the product of at most m elements supported on topological discs whose area are half the area of D.
We determine all the normal subgroups of the group of C^r diffeomorphisms of R^n, r = 1,2,...,infinity, except when r=n+1 or n=4, and also of the group of homeomorphisms of R^n (r=0). We also study the group A_0 of diffeomorphisms of an open manifold M that are isotopic to the identity. If M is the interior of a compact manifold with nonempty boundary, then the quotient of A_0 by the normal subgroup of diffeomorphisms that coincide with the identity near to a given end e of M is simple.
We show that the metric entropy of a $C^1$ diffeomorphism with a dominated splitting and the dominating bundle uniformly expanding is bounded from above by the integrated volume growth of the dominating (expanding) bundle plus the maximal Lyapunov exponent from the dominated bundle multiplied by its dimension. We also discuss different types of volume growth that can be associated with an expanding foliation and relationships between them, specially when there exists a closed form non-degenerate on the foliation. Some consequences for partially hyperbolic diffeomorphisms are presented.
Let f:M->M be a partially hyperbolic diffeomorphism such that all of its center leaves are compact. We prove that Sullivan's example of a circle foliation that has arbitrary long leaves cannot be the center foliation of f. This is proved by thorough study of the accessible boundaries of the center-stable and the center-unstable leaves. Also we show that a finite cover of f fibers over an Anosov toral automorphism if one of the following conditions is met: 1. the center foliation of f has codimension 2, or 2. the center leaves of f are simply connected leaves and the unstable foliation of f is …
In a non-compact setting, the notion of hyperbolicity, and the associated structure of stable and unstable manifolds (for unbounded orbits), is highly dependent on the choice of metric used to define it. We consider the simplest version of this, the analogue for the plane of Anosov diffeomorphisms, studied earlier by W. White and P. Mendes. The two known topological conjugacy classes of such diffeomorphisms are linear hyperbolic automorphisms and translations. We show that if the structure of stable and unstable manifolds is required to be preserved by these conjugacies, the number of distinct…
For a partiallyhyperbolic diffeomorphism on a 3-manifold, we show that any invariant foliation tangent to the center-unstable (or center-stable) bundle has no compact leaves.
This self-contained paper is part of a series \cite{FF2,FF3} on actions by diffeomorphisms of infinite groups on compact manifolds. The two main results presented here are: 1) Any homomorphism of (almost any) mapping class group or automorphism group of a free group into $\Diff_+^r(S^1), r\geq 2$ is trivial. For r=0 Nielsen showed that in many cases nontrivial (even faithful) representations exist. Somewhat weaker results are proven for finite index subgroups. 2) We construct a finitely-presented group of real-analytic diffeomorphisms of $\R$ which is not residually finite.
We study perturbations of a partially hyperbolic toral automorphism L which is diagonalizable over C and has a dense center foliation. For a small perturbation of L with a smooth center foliation we establish existence of a smooth leaf conjugacy to L. We also show that if a small perturbation of an ergodic irreducible L has smooth center foliation and is bi-Holder conjugate to L, then the conjugacy is smooth. As a corollary, we show that for any symplectic perturbation of such an L any bi-Holder conjugacy must be smooth. For a totally irreducible L with two-dimensional center, we establish a n…
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 work we study relations between regularity of invariant foliations and Lyapunov exponents of partially hyperbolic diffeomorphisms. We suggest a new regularity condition for foliations in terms of desintegration of Lebesgue measure which can be considered as a criterium for rigidity of Lyapunov exponents.
In this note we prove that a homeomorphism is countably-expansive if and only if it is measure-expansive. This result is applied for showing that the $C^1$-interior of the sets of expansive, measure-expansive and continuum-wise expansive $C^1$-diffeomorphisms coincide.
We prove that generically in $\text{Diff}^{1}_{m}(M)$, if an expanding $f$-invariant foliation $W$ of dimension $u$ is minimal and there is a periodic point of unstable index $u$, the foliation is stably minimal. By this we mean there is a $C^{1}$-neighborhood $\mathcal{U}$ of $f$ such that for all $C^{2}$-diffeomorphisms $g\in \mathcal{U}$, the $g$-invariant analytic continuation of $W$ is minimal. In particular, all such $g$ are topologically mixing. Moreover, all such $g$ have a hyperbolic ergodic component of the volume measure $m$ which is essentially dense. This component is, in fact, Be…
We show that for a large space of volume preserving partially hyperbolic diffeomorphisms of the 3-torus with non-compact central leaves the central foliation generically is non-absolutely continuous.
The goal of the article is to characterize the conservative homeomorphisms of a closed orientable surface $S$ of genus $\geq 2$, that have finitely many periodic points. By conservative, we mean a map with no wandering point. As a particular case, when $S$ is furnished with a symplectic form, we characterize the symplectic diffeomorphisms of $S$ with finitely many periodic points.
We consider Anosov diffeomorphisms on $\mathbb{T}^3$ such that the tangent bundle splits into three subbundles $E^s_f \oplus E^{wu}_f \oplus E^{su}_f.$ We show that if $f$ is $C^r, r \geq 2,$ volume preserving, then $f$ is $C^1$ conjugated with its linear part $A$ if and only if the center foliation $\mathcal{F}^{wu}_f$ is absolutely continuous and the equality $λ^{wu}_f(x) = λ^{wu}_A,$ between center Lyapunov exponents of $f$ and $A,$ holds for $m$ a.e. $x \in \mathbb{T}^3.$ We also conclude rigidity of derived from Anosov diffeomorphism, assuming an strong absolute continuity property (Unifo…
Thurston obtained a classification of individual surface homeomorphisms via the dynamics of the corresponding mapping class elements on Teichmüller space. In this paper we present certain extended versions of this, first, to random products of homeomorphisms and second, to holomorphic self-maps of Teichmüller spaces.
We show that for the C^1-open set of partially hyperbolic diffeomorphisms constructed in (M. Shub and A. Wilkinson, "Pathological foliations and removable zero exponents," Invent. math. 139 (2000) 3, 495-508), Lebesgue measure on the 3-torus decomposes as atomic measure along the leaves of the central foliation.
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.
A homeomorphism of a compact metric space is {\em tight} provided every non-degenerate compact connected (not necessarily invariant) subset carries positive entropy. It is shown that every $C^{1+α}$ diffeomorphism of a closed surface factors to a tight homeomorphism of a generalized cactoid (roughly, a surface with nodes) by a semi-conjugacy whose fibers carry zero entropy.
