1: \begin{abstract}
2: Let $M$ be a circle or a compact interval, and let $\alpha=k+\tau\ge1$ be a real number such that $k=\lfloor \alpha\rfloor$.
3: We write $\Diff_+^{\alpha}(M)$ for the
4: group of orientation preserving $C^k$ diffeomorphisms of $M$ whose $k^{th}$ derivatives are H\"older continuous with exponent $\tau$.
5: We prove that there exists a continuum of isomorphism types of finitely generated subgroups $G\le\Diff_+^\alpha(M)$ with the property that $G$ admits no
6: injective homomorphisms into
7: $\bigcup_{\beta>\alpha}\Diff_+^\beta(M)$.
8: We also show the dual result:
9: there exists a continuum of isomorphism types of finitely generated subgroups $G$ of $\bigcap_{\beta<\alpha}\Diff_+^\beta(M)$
10: with the property that
11: $G$ admits no injective homomorphisms into
12: $\Diff_+^\alpha(M)$.
13: %We can further require that the same properties are inherited by all finite index subgroups and by the commutator subgroups of $G_\alpha$ and of $H_\alpha$.
14: The groups $G$ are constructed so that their commutator groups are simple.
15: %We further obtain a continuum of isomorphism types of finitely generated nonabelian subgroups of $\Diff_+^\alpha(M)$ whose images under arbitrary homomorphisms to $\bigcup_{\beta>\alpha}\Diff_+^{\beta}(M)$ are abelian.
16: We give some applications to smoothability of codimension one foliations and to homomorphisms between certain continuous groups of diffeomorphisms. For example, we show that if $\alpha\ge1$ is a real number not equal to $2$, then there is no nontrivial homomorphism $\Diff_+^\alpha(S^1)\to\bigcup_{\beta>\alpha}\Diff_+^{\beta}(S^1)$.
17: Finally, we obtain an independent result that the class of finitely generated subgroups of $\Diff_+^1(M)$ is not closed under taking finite free products.
18: \end{abstract}
19: