More Polish full groups

From MaRDI portal



Abstract: We associate to every action of a Polish group on a standard probability space a Polish group that we call the orbit full group. For discrete groups, we recover the well-known full groups of pmp equivalence relations equipped with the uniform topology. However, there are many new examples, such as orbit full groups associated to measure preserving actions of locally compact groups. In fact, we show that such full groups are complete invariants of orbit equivalence. We give various characterizations of the existence of a dense conjugacy class for orbit full groups, and we show that the ergodic ones actually have a unique Polish group topology. Furthermore, we characterize ergodic full groups of countable pmp equivalence relations as those admitting non-trivial continuous character representations.


Actions of countable groups \(\Gamma_1\) and \(\Gamma_2\) on a standard probability space \((X,\mu)\) are orbit equivalent if there is a map \(S\in\mathrm{Aut}(X)\) with \(S(\Gamma_1x)=\Gamma_2(Sx)\) for \(\mu\)-almost every \(x\in X\). One of several ways to formulate this notion of equivalence (which is an extremely coarse one, particularly for actions of amenable groups) is via the full group. The full group of an action of \(\Gamma\) on \((X,\mu)\) is the subgroup consisting of all \(T\in\mathrm{Aut}(X)\) such that for almost every \(x\in X\) we have \(Tx\in\Gamma x\). The full group carries knowledge of the orbit equivalence class in the sense that two such actions are orbit equivalent if and only if their full groups are conjugate in \(\mathrm{Aut}(X)\). Other properties preserved by orbit equivalence are visible here: for example, the action is ergodic if and only the full group is simple. Finer properties rely on topologies on the full group. Here `orbit' full groups are defined and studied for actions of arbitrary Polish groups rather than just countable ones, and many new examples and phenomena are found in this setting. In addition to the basic infrastructure, for example showing these full groups to be complete invariants of orbit equivalence, various characterizations of the existence of a dense conjugacy class for orbit full groups are found, and ergodic full groups of countable probability-preserving equivalence relations are characterized in terms of their character representations.



Cites work









This page was built for publication: More Polish full groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q260532)