We observe that a Polish group $G$ is amenable if and only if every
continuous action of $G$ on the Hilbert cube admits an invariant probability
measure. This generalizes a result of Bogatyi and Fedorchuk. We also show that
actions on the Cantor space can be used to detect amenability and extreme
amenability of Polish non-archimedean groups as well as amenability at infinity
of discrete countable groups. As corollary, the latter property can also be
tested by actions on the Hilbert cube. These results generalise a criterion due
to Giordano and de la Harpe.
This is an edited write-up of lecture notes of the 7-th Appalachian set
theory workshop of the same title led by the first named author at the Cornell
University on November 22, 2008. A draft version of the notes was prepared by
the second named author. This presentation is largely complementary to the
earlier survey by the first-named author (Hyperlinear and sofic groups: a brief
guide, Bull. Symb. Logic 14 (2008), pp. 449-480; arXiv:0804.3968v8 [math.GR]).