Related papers: A smooth zero-entropy diffeomorphism whose product…

We show that on any smooth compact connected manifold of dimension $m\geq 2$ admitting a smooth non-trivial circle action $\mathcal{S} = \left\{S_t\right\}_{t \in \mathbb{R}}$, $S_{t+1}=S_t$, the set of weakly mixing…

Let M be a smooth compact connected manifold, on which there exists an effective smooth circle action preserving a positive smooth volume. We show that on M, the smooth closure of the smooth volume-preserving conjugation class of some…

In both smooth and analytic categories, we construct examples of diffeomorphisms of topological entropy zero with intricate ergodic properties. On any smooth compact connected manifold of dimension 2 admitting a nontrivial circle action, we…

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$…

Suppose f is a $C^{1+\alpha}$ surface diffeomorphism, and m is an equilibrium measure of a Holder continuous potential. We show that if m has positive metric entropy, then f is measure theoretically isomorphic to the product of a Bernoulli…

We prove that for any $\ell\in\NN\cup\{\infty\}$ and any $r\in \NN$, every compact smooth Riemannian manifold $\cM$ of $\dim \cM\ge 5$ carries a $C^\infty$ volume preserving nonuniformly hyperbolic diffeomorphism, which has exactly $\ell$…

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+\alpha}$ diffeomorphism of a closed surface…

We show that any surface admits an area preserving $C^{1+\beta}$ diffeomorphism with non-zero Lyapunov exponents which is Bernoulli and has polynomial decay of correlations. We establish both upper and lower polynomial bounds on…

Let $M$ be a compact orientable surface equipped with a volume form $\omega$, $P$ be either $\mathbb{R}$ or $S^1$, $f:M\to P$ be a $C^{\infty}$ Morse map, and $H$ be the Hamiltonian vector field of $f$ with respect to $\omega$. Let also…

Let $f$ be a $C^{1+\alpha}$ diffeomorphism of a compact manifold $M$ preserving a smooth measure $\mu$. We show that if $f:(M,\mu)\to (M,\mu)$ is exponentially mixing then it is Bernoulli.

We construct a $C^\infty$ area-preserving diffeomorphism of the two-dimensional torus which is Bernoulli (in particular, ergodic) with respect to Lebesgue measure, homotopic to the identity, and has a lift to the universal covering whose…

For any $1\le r\le \infty$, we show that every diffeomorphism of a manifold of the form $\mathbb{R}/\mathbb{Z} \times M$ is a total renormalization of a $C^r$-close to identity map. In other words, for every diffeomorphism $f$ of…

Let $M$ be a closed surface and $f$ a diffeomorphism of $M$. A diffeomorphism is said to permute a dense collection of domains, if the union of the domains are dense and the iterates of any one domain are mutually disjoint. In this note, we…

In this article, we construct countably many mutually non-isotopic diffeomorphisms of some closed non simply-connected 4-manifolds that are homotopic to but not isotopic to the identity, by surgery along $\Theta$-graphs. As corollaries of…

Suppose f is a C^{1+\epsilon} surface diffeomorphism with positive topological entropy. For every positive \delta strictly smaller than the topological entropy of f we construct an invariant Borel set E such that (a) f|E has a countable…

A fundamental result of Banyaga states that the Hamiltonian diffeomorphism group of a closed symplectic manifold is perfect. We refine this result by proving that, locally in the $C^\infty$ topology, the number of commutators needed to…

It is known that on a closed manifold of dimension greater than one, every smooth weak Riemannian metric on the space of smooth positive densities that is invariant under the action of the diffeomorphism group, is of the form $$…

Let $M, N$ the be smooth manifolds, $\mathcal{C}^{r}(M,N)$ the space of ${C}^{r}$ maps endowed with weak $C^{r}$ Whitney topology, and $\mathcal{B} \subset \mathcal{C}^{r}(M,N)$ an open subset. It is proved that for $0\leq r<s\leq\infty$…

Under a suitable bunching condition, we establish that stable holonomies inside center-stable manifolds for $C^{1+\beta}$ diffeomorphisms are uniformly bi-Lipschitz and in fact $C^{1+\text{H\"older}}$. This verifies that the Pugh-Shub…

We present the proof of Berger and Turaev of Herman's positive entropy conjecture. In every neighbourhood of identity in the set of smooth symplectic diffeomorphisms of the 2-dimensional disc, there exists a diffeomorphism with positive…