Extension of Hölder's theorem in \(\operatorname{Diff}_{+}^{1+\epsilon}(I)\) (Q2828024)

It is a classic result that if \(\Gamma\) is a subgroup of \(\mathrm{Homeo}_+(\mathbb{R})\) such that every non-trivial element acts freely, then \(\Gamma\) is abelian. A natural question to ask is what if every non-trivial element has a most \(N\) fixed points, where \(N\) is a fixed natural number. In this paper the author gives an answer to this question for an arbitrary \(N\) assuming some regularity of action. NEWLINENEWLINENEWLINEMain result: Let \(\epsilon \in (0,1)\) and \(\Gamma\) be a subgroup of \(\mathrm{Diff}_+^{1+\epsilon}(I)\) such that every non-trivial element of \(\Gamma\) has a most \(N\) fixed points. Then \(\Gamma\) is solvable. If in addition \(\Gamma\) is a subgroup of \(\mathrm{Diff}_+^{2}(I)\), then \(\Gamma\) is meta-abelian, that is a group whose commutator is abelian.