Actions orbit equivalent to profinite ones - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T14:58:48Z http://mathoverflow.net/feeds/question/65477 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/65477/actions-orbit-equivalent-to-profinite-ones Actions orbit equivalent to profinite ones Alessandro Carderi 2011-05-19T21:56:12Z 2011-05-29T18:11:35Z <p>Let $G$ be a countable discrete residually finite group.</p> <p>Is there a way to characterise the actions of $G$ that are orbit-equivalent to profinite ones?</p> <p>Ozawa and Popa introduced the concept of weakly compact actions. Weakly compact actions are stable under orbit equivalence and profinite actions are weakly compact.</p> <p>Is it possible to find a weakly compact action that is not orbit equivalent to any profinite action?</p> http://mathoverflow.net/questions/65477/actions-orbit-equivalent-to-profinite-ones/65538#65538 Answer by Jesse Peterson for Actions orbit equivalent to profinite ones Jesse Peterson 2011-05-20T13:02:26Z 2011-05-29T18:11:35Z <p>If a group has a free profinite action then in particular it must be residually finite. On the other hand, any measure preserving action of an amenable group is weakly compact. Thus, any free measure preserving action of infinite amenable group $G$ which is not residually finite cannot be orbit equivalent to a profinite action of $G$.</p> <p>Of course by Ornstein and Weiss' theorem all such orbit equivalence relations are hyperfinte and so this doesn't work if you allow yourself to change the group $G$. </p> <p><b>Update:</b></p> <p>For residually finite groups an example will have to be more sophisticated since this will not work with amenable groups. However, there are enough orbit equivalence rigidity theorems around that this is still possible. The relevant theorem here is Ioana's rigidity theorem for profinite actions of property (T) groups (http://arxiv.org/abs/0805.2998):</p> <p><b>Theorem</b>[Adrian Ioana]: Let $\Gamma$, and $\Lambda$ be countable discrete groups and suppose that $\Gamma$ has property (T). Let $\Gamma \curvearrowright X$ be a free, ergodic, profinite, probability measure preserving action and suppose that $\Lambda \curvearrowright Y$ is a free probability measure preserving action which is orbit equivalent to the action $\Gamma \curvearrowright X$. Then there exists finite index subgroups <code>$\Gamma_1 &lt; \Gamma$</code> and <code>$\Lambda_1 &lt; \Lambda$</code> such that restricting to an <code>$\Gamma_1$</code> (resp. <code>$\Lambda_1$</code>) ergodic component <code>$X_1$</code> (resp. <code>$Y_1$</code>) we have that the actions <code>$\Gamma_1 \curvearrowright X_1$</code> and <code>$\Lambda_1 \curvearrowright Y_1$</code> are conjugate.</p> <p>In particular, this shows that for orbit equivalent actions of property (T) groups if one action is profinite then so is the other. This is because a measure preserving action $\Gamma \curvearrowright X$ is profinite if and only if the weak closure $\overline \Gamma$ of $\Gamma$ in Aut$(X)$ is a profinite group, and $\overline \Gamma$ is invariant under conjugation. Thus one just needs to construct a weakly compact action of a residually finite property (T) group which is not profinite. </p> <p>One such example is given by Dennis Sullivan (http://www.ams.org/mathscinet-getitem?mr=590825) who showed that for $n > 3$ there is a countable dense subgroup <code>$\Gamma_n$</code> of $O(n + 1)$ which has property (T). <code>$\Gamma_n$</code> will be residually finite by a classical result of Malcev since it is finitely generated and linear. Also, the Haar measure preserving action <code>$\Gamma_n \curvearrowright O(n + 1)$</code> given by left multiplication will be free (since <code>$\Gamma_n$</code> is a subgroup), ergodic (since <code>$\Gamma_n$</code> is dense), and compact (since $O(n + 1)$ is compact), and hence also weakly compact. However, <code>$\Gamma_n \curvearrowright O(n + 1)$</code> is not profinite since <code>$O(n + 1) = \overline{\Gamma_n}$</code> is not profinite.</p> <p>Note that this gives an example if you consider orbit equivalence with other groups $\Lambda$ as well.</p>