## Geometry & Topology

### Hyperbolicity as an obstruction to smoothability for one-dimensional actions

#### Abstract

Ghys and Sergiescu proved in the 1980s that Thompson’s group $T$, and hence $F$, admits actions by $C∞$ diffeomorphisms of the circle. They proved that the standard actions of these groups are topologically conjugate to a group of $C∞$ diffeomorphisms. Monod defined a family of groups of piecewise projective homeomorphisms, and Lodha and Moore defined finitely presentable groups of piecewise projective homeomorphisms. These groups are of particular interest because they are nonamenable and contain no free subgroup. In contrast to the result of Ghys and Sergiescu, we prove that the groups of Monod and Lodha and Moore are not topologically conjugate to a group of $C1$ diffeomorphisms.

Furthermore, we show that the group of Lodha and Moore has no nonabelian $C1$ action on the interval. We also show that many of Monod’s groups $H(A)$, for instance when $A$ is such that $PSL(2,A)$ contains a rational homothety $x↦pqx$, do not admit a $C1$ action on the interval. The obstruction comes from the existence of hyperbolic fixed points for $C1$ actions. With slightly different techniques, we also show that some groups of piecewise affine homeomorphisms of the interval or the circle are not smoothable.

#### Article information

Source
Geom. Topol., Volume 23, Number 4 (2019), 1841-1876.

Dates
Revised: 17 July 2018
Accepted: 24 November 2018
First available in Project Euclid: 16 July 2019

https://projecteuclid.org/euclid.gt/1563242521

Digital Object Identifier
doi:10.2140/gt.2019.23.1841

Mathematical Reviews number (MathSciNet)
MR3988090

Zentralblatt MATH identifier
07094909

#### Citation

Bonatti, Christian; Lodha, Yash; Triestino, Michele. Hyperbolicity as an obstruction to smoothability for one-dimensional actions. Geom. Topol. 23 (2019), no. 4, 1841--1876. doi:10.2140/gt.2019.23.1841. https://projecteuclid.org/euclid.gt/1563242521

#### References

• J Alonso, N Guelman, C Rivas, J Xavier, On some planar Baumslag–Solitar actions, preprint (2017)
• J Alonso, C Rivas, J Xavier, Planar Baumslag–Solitar actions, preprint (2017)
• M Asaoka, Rigidity of certain solvable actions on the sphere, Geom. Topol. 16 (2012) 1835–1857
• M Asaoka, Rigidity of certain solvable actions on the torus, from “Geometry, dynamics, and foliations 2013” (T Asuke, S Matsumoto, Y Mitsumatsu, editors), Adv. Stud. Pure Math. 72, Math. Soc. Japan, Tokyo (2017) 269–281
• H Baik, S-H Kim, S Koberda, Unsmoothable group actions on compact one-manifolds, J. Eur. Math. Soc. (online publication April 2019)
• B Bekka, P de la Harpe, A Valette, Kazhdan's property $({T})$, New Mathematical Monographs 11, Cambridge Univ. Press (2008)
• R Bieri, R Strebel, On groups of PL–homeomorphisms of the real line, Mathematical Surveys and Monographs 215, Amer. Math. Soc., Providence, RI (2016)
• C Bleak, M Brin, M Kassabov, J T Moore, M C B Zaremsky, Groups of fast homeomorphisms of the interval and the ping-pong argument, J. Comb. Algebra 3 (2019) 1–40
• C Bonatti, E Farinelli, Centralizers of $C^1$–contractions of the half line, Groups Geom. Dyn. 9 (2015) 831–889
• C Bonatti, I Monteverde, A Navas, C Rivas, Rigidity for $C^1$ actions on the interval arising from hyperbolicity, I: Solvable groups, Math. Z. 286 (2017) 919–949
• M G Brin, C C Squier, Groups of piecewise linear homeomorphisms of the real line, Invent. Math. 79 (1985) 485–498
• M Burger, N Monod, Bounded cohomology of lattices in higher rank Lie groups, J. Eur. Math. Soc. 1 (1999) 199–235
• J Burillo, Y Lodha, L Reeves, Commutators in groups of piecewise projective homeomorphisms, Adv. Math. 332 (2018) 34–56
• L Burslem, A Wilkinson, Global rigidity of solvable group actions on $S^1$, Geom. Topol. 8 (2004) 877–924
• D Calegari, Dynamical forcing of circular groups, Trans. Amer. Math. Soc. 358 (2006) 3473–3491
• D Calegari, Nonsmoothable, locally indicable group actions on the interval, Algebr. Geom. Topol. 8 (2008) 609–613
• J W Cannon, W J Floyd, W R Parry, Introductory notes on Richard Thompson's groups, Enseign. Math. 42 (1996) 215–256
• T Ceccherini-Silberstein, M Coornaert, Cellular automata and groups, from “Computational complexity: theory, techniques, and applications” (R A Meyers, editor), volume 1, Springer (2012) 336–349
• B Deroin, V Kleptsyn, A Navas, Sur la dynamique unidimensionnelle en régularité intermédiaire, Acta Math. 199 (2007) 199–262
• B Farb, J Franks, Groups of homeomorphisms of one-manifolds, I: Actions of nonlinear groups, preprint (2001)
• E Ghys, Actions de réseaux sur le cercle, Invent. Math. 137 (1999) 199–231
• E Ghys, V Sergiescu, Sur un groupe remarquable de difféomorphismes du cercle, Comment. Math. Helv. 62 (1987) 185–239
• N Guelman, I Liousse, $C^1$–actions of Baumslag–Solitar groups on $S^1$, Algebr. Geom. Topol. 11 (2011) 1701–1707
• N Guelman, I Liousse, Actions of Baumslag–Solitar groups on surfaces, Discrete Contin. Dyn. Syst. 33 (2013) 1945–1964
• S-H Kim, T Koberda, Y Lodha, Chain groups of homeomorphisms of the interval and the circle, preprint (2016) To appear in Ann. Sci. Éc. Norm. Supér. (4)
• I Liousse, Rotation numbers in Thompson–Stein groups and applications, Geom. Dedicata 131 (2008) 49–71
• Y Lodha, J T Moore, A nonamenable finitely presented group of piecewise projective homeomorphisms, Groups Geom. Dyn. 10 (2016) 177–200
• A E McCarthy, Rigidity of trivial actions of abelian-by-cyclic groups, Proc. Amer. Math. Soc. 138 (2010) 1395–1403
• H Minakawa, Exotic circles of ${\rm PL}_+(S^1)$, Hokkaido Math. J. 24 (1995) 567–573
• H Minakawa, Classification of exotic circles of ${\rm PL}_+(S^1)$, Hokkaido Math. J. 26 (1997) 685–697
• N Monod, Groups of piecewise projective homeomorphisms, Proc. Natl. Acad. Sci. USA 110 (2013) 4524–4527
• A Navas, Actions de groupes de Kazhdan sur le cercle, Ann. Sci. École Norm. Sup. 35 (2002) 749–758
• A Navas, Quelques nouveaux phénomènes de rang $1$ pour les groupes de difféomorphismes du cercle, Comment. Math. Helv. 80 (2005) 355–375
• A Navas, A finitely generated, locally indicable group with no faithful action by $C^1$ diffeomorphisms of the interval, Geom. Topol. 14 (2010) 573–584
• A Navas, Groups of circle diffeomorphisms, Univ. Chicago Press (2011)
• K Parwani, $C^1$ actions on the mapping class groups on the circle, Algebr. Geom. Topol. 8 (2008) 935–944
• M Stein, Groups of piecewise linear homeomorphisms, Trans. Amer. Math. Soc. 332 (1992) 477–514
• G Szekeres, Regular iteration of real and complex functions, Acta Math. 100 (1958) 203–258
• W P Thurston, A generalization of the Reeb stability theorem, Topology 13 (1974) 347–352
• A Wilkinson, J Xue, Rigidity of some abelian-by-cyclic solvable group actions on $\mathbb T^N$, preprint (2019)
• D Witte, Arithmetic groups of higher ${\mathbb Q}$–rank cannot act on $1$–manifolds, Proc. Amer. Math. Soc. 122 (1994) 333–340