1: \begin{abstract}

2: We construct a finitely presented, infinite, simple group that acts by homeomorphisms on the circle,

3: but does not admit a non-trivial action by $C^1$-diffeomorphisms on the circle.

4: The group emerges as a group of piecewise projective homeomorphisms of $\mathbf{S}^1=\mathbf{R}\cup \{\infty\}$.

5: However, we show that it does not admit a non-trivial action by piecewise linear homeomorphisms of the circle.

6: Another interesting and new feature of this example is that it produces a non amenable orbit equivalence relation with respect to the Lebesgue measure.

7: %Finally, we show that the group is of type $F_{\infty}$, which means that it is the fundamental group of a connected, aspherical CW complex

8: %with finitely many cells in each dimension.

9: \end{abstract}

10: