### Metadata

### Abstract

An action of a group $G$ is highly transitive if $G$ acts transitively on $k$-tuples of distinct points for all $k\ge 1$. Many examples of groups with a rich geometric or dynamical action admit highly transitive actions. We prove that if a group $G$ admits a highly transitive action such that $G$ does not contain the subgroup of finitary alternating permutations, and if $H$ is a confined subgroup of $G$, then the action of $H$ remains highly transitive, possibly after discarding finitely many points.

This result provides a tool to rule out the existence of highly transitive actions, and to classify highly transitive actions of a given group. We give concrete illustrations of these applications in the realm of groups of dynamical origin. In particular we obtain the first non-trivial classification of highly transitive actions of a finitely generated group.

### References

[AGV14] Kesten’s theorem for invariant random subgroups, Duke Math. J., Volume 163 (2014) no. 3, pp. 465-488 | MR | Zbl

[APP16] On the simplicity of homeomorphism groups of a tilable lamination, Monatsh. Math., Volume 181 (2016) no. 2, pp. 285-300 | DOI | MR | Zbl

[BC18] The mapping class group of a shift of finite type, J. Mod. Dyn., Volume 13 (2018), pp. 115-145 | DOI | MR | Zbl

[BCE17] Flow equivalence and isotopy for subshifts, Dyn. Syst., Volume 32 (2017) no. 3, pp. 305-325 | DOI | MR | Zbl

[BKKO17] ${C}^{*}$-simplicity and the unique trace property for discrete groups, Publ. Math., Inst. Hautes Étud. Sci., Volume 126 (2017), pp. 35-71 | DOI | MR | Zbl

[Bri04] Higher dimensional Thompson groups, Geom. Dedicata, Volume 108 (2004), pp. 163-192 | DOI | MR | Zbl

[BS85] Groups of piecewise linear homeomorphisms of the real line, Invent. Math., Volume 79 (1985) no. 3, pp. 485-498 | DOI | MR | Zbl

[Cha12] Properties of hyperbolic groups: Free normal subgroups, quasiconvex subgroups and actions of maximal growth, Ph. D. Thesis, Vanderbilt University, Nashville, USA (2012) | MR

[Cho69] Lectures on analysis. Vol. II: Representation theory, W. A. Benjamin, Inc., 1969 (edited by J. Marsden, T. Lance and S. Gelbart) | MR | Zbl

[Dix90] Most finitely generated permutation groups are free, Bull. Lond. Math. Soc., Volume 22 (1990) no. 3, pp. 222-226 | DOI | MR | Zbl

[DM96] Permutation groups, Graduate Texts in Mathematics, 163, Springer, 1996 | DOI | Zbl

[EG16] Generic IRS in free groups, after Bowen, Proc. Am. Math. Soc., Volume 144 (2016) no. 10, pp. 4231-4246 | DOI | MR | Zbl

[FLMMS20] High transitivity for more groups acting on trees (2020) (https://arxiv.org/abs/2003.11116)

[GG08] Countable primitive groups, Geom. Funct. Anal., Volume 17 (2008) no. 5, pp. 1479-1523 | DOI | MR | Zbl

[GG13a] Highly transitive actions of $\mathrm{Out}\left({F}_{n}\right)$, Groups Geom. Dyn., Volume 7 (2013) no. 2, pp. 357-376 | DOI | MR | Zbl

[GG13b] An Aschbacher–O’Nan–Scott theorem for countable linear groups, J. Algebra, Volume 378 (2013), pp. 58-63 | DOI | MR | Zbl

[GGS19] Maximal subgroups of countable groups, a survey (2019) (https://arxiv.org/abs/1909.09361)

[Gla74] Topological dynamics and group theory, Trans. Am. Math. Soc., Volume 187 (1974), pp. 327-334 | DOI | MR | Zbl

[GNS00] Automata, dynamical systems, and groups, Tr. Mat. Inst. Steklova, Volume 231 (2000), pp. 134-214 | Zbl

[Gri11] Some problems of the dynamics of group actions on rooted trees, Tr. Mat. Inst. Steklova, Volume 273 (2011), pp. 72-191 | MR | Zbl

[GW15] Uniformly recurrent subgroups, Recent trends in ergodic theory and dynamical systems. International conference in honor of S. G. Dani’s 65th birthday, Vadodara, India, December 26–29, 2012 (Bhattacharya, Siddhartha, ed.) (Contemporary Mathematics), Volume 631, American Mathematical Society, 2015, pp. 63-75 | MR | Zbl

[Hig74] Finitely presented infinite simple groups, Notes on Pure Mathematics, 8, Department of Mathematics, Australian National University, Canberra, 1974 | Zbl

[HL19] Finitely generated infinite simple groups of homeomorphisms of the real line, Invent. Math., Volume 218 (2019) no. 1, pp. 83-112 | DOI | MR | Zbl

[HLNR21] Uniformly perfect finitely generated simple left orderable groups, Ergodic Theory Dyn. Syst., Volume 41 (2021) no. 2, pp. 534-552 | DOI | MR | Zbl

[HM19] Distortion and Tits alternative in smooth mapping class groups, Trans. Am. Math. Soc., Volume 371 (2019) no. 12, pp. 8587-8623 | DOI | MR | Zbl

[HO16] Transitivity degrees of countable groups and acylindrical hyperbolicity, Isr. J. Math., Volume 216 (2016) no. 1, pp. 307-353 | DOI | MR | Zbl

[HZ97] Confined subgroups of simple locally finite groups and ideals of their group rings, J. Lond. Math. Soc., Volume 55 (1997) no. 2, pp. 210-230 | DOI | MR | Zbl

[Ken20] An intrinsic characterization of ${C}^{*}$-simplicity, Ann. Sci. Éc. Norm. Supér., Volume 53 (2020) no. 5, pp. 1105-1119 | DOI | MR | Zbl

[Kit12] Highly-transitive actions of surface groups, Proc. Am. Math. Soc., Volume 140 (2012) no. 10, pp. 3365-3375 | DOI | MR | Zbl

[KK17] Boundaries of reduced ${C}^{*}$-algebras of discrete groups, J. Reine Angew. Math., Volume 727 (2017), pp. 247-267 | MR | Zbl

[LB21] Amenable uniformly recurrent subgroups and lattice embeddings, Ergodic Theory Dyn. Syst., Volume 41 (2021) no. 5, pp. 1464-1501 | DOI | MR | Zbl

[LBMB18] Subgroup dynamics and ${C}^{*}$-simplicity of groups of homeomorphisms, Ann. Sci. Éc. Norm. Supér., Volume 51 (2018) no. 3, pp. 557-602 | DOI | MR | Zbl

[LBMB19] Triple transitivity and non-free actions in dimension one (2019) (https://arxiv.org/abs/1906.05744)

[LBMB20] A commutator lemma for confined subgroups and applications to groups acting on rooted trees (2020) (https://arxiv.org/abs/2006.08677)

[LM18] Highly faithful actions and dense free subgroups in full groups, Groups Geom. Dyn., Volume 12 (2018) no. 1, pp. 207-230 | DOI | MR | Zbl

[Mar91] Discrete subgroups of semisimple Lie groups, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge., 17, Springer, 1991 | DOI | MR | Zbl

[MB18] Rigidity properties of topological full groups of pseudogroups over the Cantor set (2018) (https://arxiv.org/abs/1801.10133)

[MBT20] Groups of piecewise linear homeomorphisms of flows, Compos. Math., Volume 156 (2020) no. 8, pp. 1595-1622 | DOI | MR | Zbl

[McD77] A permutation representation of a free group, Q. J. Math., Oxf. II. Ser., Volume 28 (1977) no. 111, pp. 353-356 | DOI | MR | Zbl

[MS81] Maximal subgroups of infinite index in finitely generated linear groups, J. Algebra, Volume 69 (1981) no. 1, pp. 1-23 | DOI | MR | Zbl

[Ols15] On pairs of finitely generated subgroups in free groups, Proc. Am. Math. Soc., Volume 143 (2015) no. 10, pp. 4177-4188 | DOI | MR | Zbl

[Ono29] Teoria delle sostituzioni che operano su una infinità numerabile di elementi, Ann. Mat. Pura Appl., Volume 7 (1929) no. 1, pp. 103-130 | DOI | MR | Zbl

[Röv99] Constructing finitely presented simple groups that contain Grigorchuk groups, J. Algebra, Volume 220 (1999) no. 1, pp. 284-313 | DOI | MR | Zbl

[SU33] Über die Permutationsgruppe der natürlichen Zahlenfolge, Stud. Math., Volume 4 (1933), pp. 134-141 | DOI | Zbl

[SZ93] Induced modules and some arithmetic invariants of the finitary symmetric groups, Nova J. Algebra Geom., Volume 2 (1993) no. 1, pp. 89-105 | MR | Zbl

[Ver12] Totally nonfree actions and the infinite symmetric group, Mosc. Math. J., Volume 12 (2012) no. 1, pp. 193-212 | DOI | MR | Zbl

[Zal95] Group rings of simple locally finite groups, Finite and locally finite groups. Proceedings of the NATO Advanced Study Institute held in Istanbul, Turkey, 14-27 August 1994 (NATO ASI Series. Series C. Mathematical and Physical Sciences), Volume 471, Kluwer Academic Publishers, 1995, pp. 219-246 | MR | Zbl

[Zar10] Limits of Thompson’s group $F$, Combinatorial and geometric group theory. Dortmund and Ottawa-Montreal conferences (Trends in Mathematics), Springer, 2010, pp. 307-315 | DOI | MR | Zbl