The centralizer of $C^r$-generic diffeomorphisms at hyperbolic basic sets is trivial

TL;DR

This paper proves that for a broad class of hyperbolic dynamical systems, the centralizer is trivial, confirming a long-standing conjecture for generic diffeomorphisms and exploring properties of specific examples.

Contribution

It establishes the triviality of $C^r$-centralizers on hyperbolic basic sets and for generic transitive Anosov diffeomorphisms, and characterizes centralizers of linear Anosov diffeomorphisms.

Findings

Trivial $C^r$-centralizers on hyperbolic basic sets.

Existence of a linear Anosov diffeomorphism with a non-trivial centralizer.

Elements in the centralizer preserve maximal entropy measures.

Abstract

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 centralizer and with elements that are not roots. Finally, we prove that all elements in the centralizer of an Anosov diffeomorphism preserve some of its maximal entropy measures, and use this to characterize the centralizer of linear Anosov diffeomorphisms on tori.