Centralizers of $C^1$-contractions of the half line

Abstract

A subgroup $G\subset \operatorname{Diff}^1_+([0,1])$ is $C^1$-close to the identity if there is a sequence $h_n\in \operatorname{Diff}^1_+([0,1])$ such that the conjugates $h_n g h_n^{-1}$ tend to the identity for the $C^1$-topology, for every $g\in G$. This is equivalent to the fact that $G$ can be embedded in the $C^1$-centralizer of a $C^1$-contraction of $[0,+\infty)$ (see [6] and Theorem 1.1).

We first describe the topological dynamics of groups $C^1$-close to the identity. Then, we show that the class of groups $C^1$-close to the identity is invariant under some natural dynamical and algebraic extensions. As a consequence, we can describe a large class of groups $G\subset \operatorname{Diff}^1_+([0,1])$ whose topological dynamics implies that they are $C^1$-close to the identity.

This allows us to show that the free group $\mathbb F_2$ admits faithful actions which are $C^1$-close to the identity. In particular, the $C^1$-centralizer of a $C^1$-contraction may contain free groups.