English

Uniform simplicity for subgroups of piecewise continuous bijections of the unit interval

Group Theory 2021-09-17 v2 Dynamical Systems

Abstract

Let I=[0,1)I=[0,1) and PC(I)\mathcal{PC}(I) [resp. PC+(I)\mathcal{PC}^+(I)] be the quotient group of the group of all piecewise continuous [resp. piecewise continuous and orientation preserving] bijections of II by its normal subgroup consisting in elements with finite support (i.e. that are trivial except at possibly finitely many points). Unpublished Theorems of Arnoux ([Arn81b]) state that PC+(I)\mathcal{PC}^+(I) and certain groups of interval exchanges are simple, their proofs are the purpose of the Appendix. Dealing with piecewise direct affine maps, we prove the simplicity of the group A+(I)\mathcal A^+(I) (see Definition 1.6). These results can be improved. Indeed, a group GG is uniformly simple if there exists a positive integer NN such that for any f,ϕG{Id}f,\phi \in G\setminus\{Id\}, the element ϕ\phi can be written as a product of at most NN conjugates of ff or f1f^{-1}. We provide conditions which guarantee that a subgroup GG of PC(I)\mathcal{PC}(I) is uniformly simple. As Corollaries, we obtain that PC(I)\mathcal{PC}(I), PC+(I)\mathcal{PC}^+(I), PL+(S1)PL^+ (\mathbb S^1), A(I)\mathcal A(I), A+(I)\mathcal A^+(I) and some Thompson like groups included the Thompson group TT are uniformly simple.

Keywords

Cite

@article{arxiv.2109.05706,
  title  = {Uniform simplicity for subgroups of piecewise continuous bijections of the unit interval},
  author = {Nancy Guelman and Isabelle Liousse and Pierre Arnoux},
  journal= {arXiv preprint arXiv:2109.05706},
  year   = {2021}
}

Comments

This text contains the simplicity result for the group of Affine Interval Exchange Transformations of arXiv: 1910.0823V1, but its major part concerns the uniform simplicity of this group and subgroups of piecewise continuous bijections of the interval and an appendix by Pierre Arnoux that resumes its unpublished thesis results on the simplicity of certain groups of piecewise continuous bijections