Weak equivalence and non-classifiability of measure preserving actions

Abstract

Abért and Weiss have shown that the Bernoulli shift s_Γ of a countably infinite group Γ is weakly contained in any free measure preserving action ɑ of Γ. Proving a conjecture of Ioana, we establish a strong version of this result by showing that s_Γ×ɑ is weakly equivalent to ɑ. Using random Bernoulli shifts introduced by Abért, Glasner, and Virag, we generalize this to non-free actions, replacing s_Γ with a random Bernoulli shift associated to an invariant random subgroup, and replacing the product action with a relatively independent joining. The result for free actions is used along with the theory of Borel reducibility and Hjorth's theory of turbulence to show that, on the weak equivalence class of a free measure preserving action, the equivalence relations of isomorphism, weak isomorphism, and unitary equivalence are not classifiable by countable structures. This in particular shows that there are no free weakly rigid actions, that is, actions whose weak equivalence class and isomorphism class coincide, answering negatively a question of Abért and Elek. We also answer a question of Kechris regarding two ergodic theoretic properties of residually finite groups. A countably infinite residually finite group Γ is said to have property EMD∗ if the action p_Γ of Γ on its profinite completion weakly contains all ergodic measure preserving actions of Γ, and Γ is said to have property MD if ι×p_Γ weakly contains all measure preserving actions of Γ, where ι denotes the identity action on a standard non-atomic probability space. Kechris has shown that EMD∗ implies MD and asked if the two properties are actually equivalent. We provide a positive answer to this question by studying the relationship between convexity and weak containment in the space of measure preserving actions.

Files

Additional details