In this announcement, we describe the solution in the C1 topology to a question asked by S. Smale on the genericity of trivial centralizers: the set of diffeomorphisms of a compact connected manifold with trivial centralizer residual in Diff^1 but does not contain an open and dense subset.
Answering a question of Smale, we prove that the space of C1 diffeomorphisms of a compact manifold contains a residual subset of diffeomorphisms whose centralizers are trivial.
In this paper we study the diffeomorphism centralizer of a vector field: given a vector field it is the set of diffeomorphisms that commutes with the flow. Our main theorem states that for a $C^1$-generic diffeomorphism having at most finitely many sinks or sources, the diffeomorphism centralizer is quasi-trivial. In certain cases, we can promote the quasi-triviality to triviality. We also obtain a criterion for a diffeomorphism in the centralizer to be a reparametrization of the flow.
On the one hand, we prove that the spaces of C^1 symplectomorphisms and of C^1 volume-preserving diffeomorphisms both contain residual subsets of diffeomorphisms whose centralizers are trivial. On the other hand, we show that the space of C^1 diffeomorphisms of the circle and a non-empty open set of C^1 diffeomorphisms of the two-sphere contain dense subsets of diffeomorphisms whose centralizer has a sub-group isomorphic to R.
Given any compact manifold M, we construct a non-empty open subset O of the space of C^1-diffeomorphisms of M and a dense subset D of O such that the centralizer of every diffeomorphism in D is uncountable, hence non-trivial.
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.
We show there is a residual set of non-Anosov $C^{\infty}$ Axiom A diffeomorphisms with the no cycles property whose elements have trivial centralizer. If $M$ is a surface and $2\leq r\leq \infty$, then we will show there exists an open and dense set of of $C^r$ Axiom A diffeomorphisms with the no cycles property whose elements have trivial centralizer. Additionally, we examine commuting diffeomorphisms preserving a compact invariant set $Λ$ where $Λ$ is a hyperbolic chain recurrent class for one of the diffeomorphisms.
We prove that the spaces of C1 symplectomorphisms and of C1 volume-preserving diffeomorphisms of connected manifolds both contain residual subsets of diffeomorphisms whose centralizers are trivial. (Les difféomorphismes conservatifs C1-génériques ont un centralisateur trivial. Nous montrons que l'espace des symplectomorphismes de classe C1 et l'espace des difféomomorphismes de classe C1 préservant une forme volume contiennent tous deux des sous-ensembles résiduels de difféomorphismes dont le centralisateur est trivial.)
In this note we describe centralizers of volume preserving partially hyperbolic diffeomorphisms which are homotopic to identity on Seifert fibered and hyperbolic 3-manifolds. Our proof follows the strategy of Damjanovic, Wilkinson and Xu (arXiv:1902.05201) who recently classified the centralizer for perturbations of time-$1$ maps of geodesic flows in negative curvature. We strongly rely on recent classification results in dimension 3 established in (arXiv:1908.06227).
In the late nineties, Smale proposed a list of problems for the next century and, among these, it was conjectured that for every $r\ge 1$ a $C^r$-generic diffeomorphism has trivial centralizer. Our contribution here is to prove the triviality of $C^r$-centralizers on hyperbolic basic sets. In particular, $C^r$-generic transitive Anosov diffeomorphisms have a trivial $C^1$-centralizer. These results follow from a more general criterium for expansive homeomorphisms with the gluing orbit property. We also construct a linear Anosov diffeomorphism on $\mathbb T^3$ with discrete, non-trivial central…
Let f be a smooth diffeomorphism of the half-line fixing only the origin and Z^r_f its centralizer in the group of C^r diffeomorphisms. According to well-known results of Szekeres and Kopell, Z^1_f is always a one-parameter group, naturally identified to \R, (with f identified to 1). On the other hand, Z^r_f, for r greater or equal to 2, can be smaller: in [Se], Sergeraert constructed an f whose C^infty centralizer reduces to the infinite cyclic group generated by f (i.e Z^\infty_f identifies to \Z). In [Ey1], we adapted Sergeraert's construction to obtain an f whose C^r centralizer, for all r…
In this paper, we study the centralizer of a partially hyperbolic diffeomorphism on $\mathbb{T}^3$ which is homotopic to an Anosov automorphism, and we show that either its centralizer is virtually trivial or such diffeomorphism is smoothly conjugate to its linear part.
We show generic $C^\infty$ hyperbolic flows (Axiom A and no cycles, but not transitive Anosov) commute with no $C^\infty$-diffeomorphism other than a time-t map of the flow itself. Kinematic expansivity, a substantial weakening of expansivity, implies that $C^0$ flows have quasi-discrete $C^0$-centralizer, and additional conditions broader than transitivity then give discrete $C^0$-centralizer. We also prove centralizer-rigidity: a diffeomorphism commuting with a generic hyperbolic flow is determined by its values on any open set.
Let f be a smooth diffeomorphism of the half-line fixing only the origin and Z^r its centralizer in the group of C^r diffeomorphisms. According to well-known results of Szekeres and Kopell, Z^1 is a one-parameter group. On the other hand, Sergeraert constructed an f whose centralizer Z^r, $2\le r\le \infty$, reduces to the group generated by f. We show that Z^r can actually be a proper dense and uncountable subgroup of Z^1 and that this phenomenon is not scarce.
We discover a rigidity phenomenon within the volume-preserving partially hyperbolic diffeomorphisms with $1$-dimensional center. In particular, for smooth, ergodic perturbations of certain algebraic systems -- including the discretized geodesic flows over hyperbolic manifolds and certain toral automorphisms with simple spectrum and exactly one eigenvalue on the unit circle, the smooth centralizer is either virtually $\mathbb Z^\ell$ or contains a smooth flow. At the heart of this work are two very different rigidity phenomena. The first was discovered in [2,3] for a class of volume-preserving …
Given a dynamical system $(X,G)$, the centralizer $C(G)$ denotes the group of all homeomorphisms of $X$ which commute with the action of $G$. This group is sometimes called the automorphism group of the dynamical system $(X,G)$. In this note, we generalize the construction of Bulatek and Kwiatkowski (1992) to $\mathbb Z^d$-Toepltiz systems by identifying a class of $\mathbb Z^d$-Toeplitz systems that have trivial centralizers. We show that this class of $\mathbb Z^d$-Toeplitz with trivial centralizers contains systems with positive topological entropy.
We show that if $Λ$ is a codimension-one hyperbolic attractor for a $C^r$ diffeomorphism $f$, where $2\leq r\leq \infty$, and $f$ is not Anosov, then there is a neighborhood $\mathcal{U}$ of $f$ in $\mathrm{Diff}^r(M)$ and an open and dense set $\mathcal{V}$ of $\mathcal{U}$ such that any $g\in\mathcal{V}$ has a trivial centralizer on the basin of attraction for $Λ$.
We prove that for infinite rank-one transformations satisfying a property called "partial boundedness," the only commuting transformations are powers of the original transformation. This shows that a large class of infinite measure-preserving rank-one transformations with bounded cuts have trivial centralizers. We also characterize when partially bounded transformations are isomorphic to their inverse.
In this paper we consider the conjugacy classes of diffeomorphisms of the interval, endowed with the $C^1$-topology. We present several results in the spirit of the one below : Given two diffeomorphisms $f,g$ of the interval $[0;1]$ without hyperbolic fixed point, we give a complete answer to the two following questions: - under what conditions does there exist a sequence of smooth conjugates $h_n f h_n^{-1}$ of $f$ tending to $g$ in the $C^1$-topology ? - under what conditions does there exist a continuous path of $C^1$-diffeomorphisms $h_t$ such that $h_t f h_t^{-1}$ tends to $g$ in the $C^1…
In this paper, we investigate the question of whether a typical vector field on a compact connected Riemannian manifold $M^d$ has a `small' centralizer. In the $C^1$ case, we give two criteria, one of which is $C^1$-generic, which guarantees that the centralizer of a $C^1$-generic vector field is indeed small, namely \textit{collinear}. The other criterion states that a $C^1$ \textit{separating} flow has a collinear $C^1$-centralizer. When all the singularities are hyperbolic, we prove that the collinearity property can actually be promoted to a stronger one, refered as \textit{quasi-trivialit…
In this paper we study the centralizer of flows and $\mathbb R^d$-actions on compact Riemannian manifolds. We prove that the centralizer of every $C^\infty$ Komuro-expansive flow with non-ressonant singularities is trivial, meaning it is the smallest possible, and deduce there exists an open and dense subset of geometric Lorenz attractors with trivial centralizer. We show that $\mathbb R^d$-actions obtained as suspension of $\mathbb Z^d$-actions are expansive if and only if the same holds for the $\mathbb Z^d$-actions. We also show that homogeneous expansive $\mathbb R^d$-actions have quasi-tr…
We study real analytic perturbations of hyperbolic linear automorphisms on the 2-torus. The Koopman and the transfer operator are nuclear of order 0 when acting on a suitable Hilbert space. We show the generic existence of non-trivial Ruelle resonances for both operators. We prove that some of the perturbations preserve the volume and some of them do not.
We present a sufficient condition for three-dimensional diffeomorphisms having heterodimensional cycles to be approximated arbitrarily well by diffeomorphisms with non-trivial contracting wandering domains via several perturbations. The key idea is to show that diffeomorphisms with heterodimensional cycles associated with saddle points with non-real eigenvalues can be approximated by diffeomorphisms with generalized homoclinic tangencies presented by Tatjer. The generalized homoclinic tangency is an organizing center including a Bogdanov-Takens bifurcation, by which one can obtain non-trivial …
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…
Recent works related to Palis conjecture of J. Yang, S. Crovisier, M. Sambarino and D. Yang showed that any aperiodic class of a $C^1$-generic diffeomorphism far away from homoclinic bifurcations (or homoclinic tangencies) is partially hyperbolic. We show in this paper that, generically, a non-trivial dominated splitting implies partial hyperbolicity for an aperiodic class if it is Lyapunov stable. More precisely, for $C^1$-generic diffeomorphisms, if a Lyapunov stable aperiodic class has a non-trivial dominated splitting $E\oplus F$, then one of the two bundles is hyperbolic (either $E$ is co…
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…
In this paper we're considering the question of whether or not a partial order on a finite set is realisable as a Smale order of a structurally stable diffeomorphism or flow acting on a closed manifold. We classify the orders that are realisable by 1) an $Ω$-stable diffeomorphism acting on a closed surface 2) an Anosov flow on a closed 3-manifold 3) a stable diffeomorphism with trivial attractors and repellers acting on a closed surface.