W*-superrigidity for Bernoulli actions of property (T) groups

preprint2011arXivOpen access

Abstract

We consider group measure space II1_1 factors M=L∞(X)⋊ΓM=L^{\infty}(X)\rtimesΓ arising from Bernoulli actions of ICC property (T) groups ΓΓ (more generally, of groups ΓΓ containing an infinite normal subgroup with relative property (T)) and prove a rigidity result for *--homomorphisms θ:M→M⊗ˉMθ:M\to M\bar{\otimes}M. We deduce that the action Γ↷XΓ\curvearrowright X is W∗^*--superrigid. This means that if Λ↷YΛ\curvearrowright Y is {\bf any other} free, ergodic, measure preserving action such that the factors M=L∞(X)⋊ΓM=L^{\infty}(X)\rtimesΓ and L∞(Y)⋊ΛL^{\infty}(Y)\rtimesΛ are isomorphic, then the actions Γ↷XΓ\curvearrowright X and Λ↷YΛ\curvearrowright Y must be conjugate. Moreover, we show that if p∈M∖{1}p\in M\setminus\{1\} is a projection, then pMppMp does not admit a group measure space decomposition nor a group von Neumann algebra decomposition (the latter under the additional assumption that ΓΓ is torsion free). We also prove a rigidity result for *--homomorphisms θ:M→Mθ:M\to M, this time for ΓΓ in a larger class of groups than above, now including products of non--amenable groups. For certain groups ΓΓ, e.g. Γ=F2×F2Γ=\Bbb F_2\times\Bbb F_2, we deduce that MM does not embed in pMppMp, for any projection p∈M∖{1}p\in M\setminus\{1\}, and obtain a description of the endomorphism semigroup of MM.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.