3
$\begingroup$

Which countable discrete groups (apart from the infinite amenable ones) admit uncountably many mutually non-conjugate free ergodic probability measure preserving actions that are all mutually orbit equivalent?

$\endgroup$
  • $\begingroup$ Many. Are you expecting the answer to provide a classification (don't) or an ilustrative example? $\endgroup$ – Uri Bader May 9 '17 at 9:22
  • $\begingroup$ @Uri I would particularly like to see an example with Property (T). $\endgroup$ – hetairoi22 May 10 '17 at 11:55
  • $\begingroup$ This desire will not be fulfilled, by a theorem of Hjorth. I will write an answer when I will have the time. $\endgroup$ – Uri Bader May 10 '17 at 16:25
  • $\begingroup$ @Uri What if I just want two non-conjugate free ergodic actions that are orbit equivalent? Or infinitely many? $\endgroup$ – hetairoi22 May 11 '17 at 17:02
3
$\begingroup$

We consider infinite countable groups and ask about the this property: admitting uncountably many mutually non-isomorphis free ergodic probability measure preserving (pmp) actions that are all mutually orbit equivalent.

You ask which groups satisfy this property. I do not know exactly. I think no one knows. But it is a big class of groups, maybe all groups which do not satisfy property (T).

In Corollary 2.6 of A converse to Dye’s theorem Hjorth proves that property (T) groups do not satisfy this property.

On the other hand, amenable groups do satisfy this property. Indeed, any amenable group has uncountably many mutually non-isomorphic pmp actions (say, by entropy theory), but these are all orbit equivalent, by the celebrated Ornstein-Weiss theorem.

To see that there are many non-amenable groups satisfying this property, fix a pmp action of a non-amenable group $\Gamma_1$ on $X$ and uncountably many pmp actions of an amenable group $\Gamma_2$ on $Y_\alpha$. Then the non-amenable group $\Gamma=\Gamma_1\times \Gamma_2$ will satisfy this property, as witness by its actions on $X\times Y_\alpha$.

If you want to study this property further, I suggest you to start with the following two things: try to show that if a group has a quotient that satisfies this property then the group satisfies this property, and try to show that this property is a measure equivalence invariant.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.