Coherent actions by homeomorphisms on the real line or an interval

TL;DR

This paper investigates a class of group actions called coherent actions on the real line, proving their rigidity, analyzing their group properties, and applying these results to show certain groups cannot embed into Thompson's group F.

Contribution

The paper introduces the concept of coherent actions on the real line, establishes their rigidity, and applies these results to prove non-embeddability of specific groups into Thompson's group F.

Findings

Coherent actions are topologically conjugate if they share the same group.

Such groups are non-elementary amenable but have solvable proper quotients.

Certain Brown-Stein-Thompson groups do not embed into Thompson's group F.

Abstract

We study actions of groups by homeomorphisms on $\mathbf{R}$ (or an interval) that are minimal, have solvable germs at $\pm \infty$ and contain a pair of elements of a certain type. We call such actions coherent. We establish that such an action is rigid, i.e. any two such actions of the same group are topologically conjugate. We also establish that the underlying group is always non elementary amenable, but satisfies that every proper quotient is solvable. As a first application, we demonstrate that any coherent group action $G<Homeo^+(\mathbf{R})$ that produces a nonamenable equivalence relation with respect to the Lebesgue measure satisfies that the underlying group does not embed into Thompson's group $F$. This includes all known examples of nonamenable groups that do not contain non abelian free subgroups and act faithfully on the real line by homeomorphisms. As a second application, we establish that the Brown-Stein-Thompson groups $F(2,p_1,...,p_n)$ for $n\geq 1$ and $p_1,...,p_n$ distinct odd primes, do not embed into Thompson's group $F$. This answers a question recently raised by C. Bleak, M. Brin, and J. Moore. Our tools also allow us to prove additional non embeddability results for Brown-Stein-Thompson and Bieri-Strebel groups.