On groups of diffeomorphisms of the interval with finitely many fixed points

In [13], it is proved that any subgroup of $\mathrm{Diff}_{+}^{\omega }(I)$ (the group of orientation preserving analytic diffeomorphisms of the interval) is either metaabelian or does not satisfy a law. A stronger question is asked whether or not the Girth Alternative holds for subgroups of $\mathrm{Diff}_{+}^{\omega }(I)$. In this paper, we answer this question affirmatively for even a larger class of groups of orientation preserving diffeomorphisms of the interval where every non-identity element has finitely many fixed points. We show that every such (irreducible) group is either affine (in particular, metaabelian) or has infinite girth. The proof is based on our study of discrete subgroups of the diffeomorphism group $\mathrm{Diff}_{+}(I)$ which we initiated in [9] and later developed in [1] and [2]; more specifically, our results are obtained by sharpening the tools from the earlier works [1] and [2]. One of the major tools (local transitivity) is heavily exploited in [2] to get an extension of Holders theorem which is crucially used in this paper. We show that local transitivity can be proved for any (up to a conjugacy) non-affine group of irreducible diffeomorphisms with every non-identity element having finitely many fixed points.