0
$\begingroup$

I'm working on a problem that involves an amenable group acting on some set by bijections. Initially, I assumed the group was discrete and the set was countable, however I realized that the arguments I have generalize to the group being a locally compact second countable topological group, and that the set may be uncountably infinite. I have not been able to find an example of such a group or action however, largely due to my unfamiliarity with topological groups. In addition, the group action needs to satisfy some additional requirements in order for my results to apply. Imprecisely, there needs to be "plenty" of elements in the group which fix arbitrary finite subsets of the set it's acting on. The precise requirement implies that the group cannot be compact or abelian.

What are some examples of such groups that naturally act by bijections on some uncountable set? An example where the uncountable set is some nice subset of the reals (i.e. $(0,1)$, $[0,1]$, $[0,1)$, all of $\mathbb{R}$) would be especially nice, however any example would be nice. Thanks!

$\endgroup$
4
  • $\begingroup$ Any group acts on itself. What about $S_3 \oplus \mathbb R$, where $S_3$ is not abelian and $\mathbb R$ is not compact and not discrete ? I don't know if there are "plenty" of elements as described, however. $\endgroup$ Commented Apr 6, 2023 at 0:32
  • $\begingroup$ Maybe try to ask a question for which some obvious constructions such as direct product doesn't produce obvious examples. $\endgroup$
    – YCor
    Commented Apr 6, 2023 at 0:44
  • $\begingroup$ Since there are amenable Lie groups which are not unimodular (immediately implying that they cannot be written as discrete times compact times abelian) I can answer the question in your title but this appears not to be what you want. It would help people if you made precise the "additional requirements" $\endgroup$
    – Yemon Choi
    Commented Apr 7, 2023 at 20:20
  • $\begingroup$ The Heisenberg group is a locally compact, non-compact, second-countable, amenable, non-Abelian group. $\endgroup$ Commented Jun 27, 2023 at 7:51

0

You must log in to answer this question.

Browse other questions tagged .