### Current browse context:

math.DS

### Change to browse by:

### References & Citations

# Mathematics > Dynamical Systems

# Title: The complexity of conjugacy, orbit equivalence, and von Neumann equivalence of actions of nonamenable groups

(Submitted on 3 Aug 2017 (v1), last revised 17 Dec 2017 (this version, v2))

Abstract: Building on work of Popa, Ioana, and Epstein--T\"{o}rnquist, we show that, for every nonamenable countable discrete group $\Gamma$, the relations of conjugacy, orbit equivalence, and von Neumann equivalence of free ergodic (or weak mixing) measure preserving actions of $\Gamma$ on the standard atomless probability space are not Borel, thus answering questions of Kechris. This is an optimal and definitive result, which establishes a neat dichotomy with the amenable case, since any two free ergodic actions of an amenable group on the standard atomless probability space are orbit equivalent by classical results of Dye and Ornstein--Weiss. The statement about conjugacy solves the nonamenable case of Halmos' conjugacy problem in Ergodic Theory, originally posed by Halmos in 1956 for ergodic transformations.

In order to obtain these results, we study ergodic (or weak mixing) class-bijective extensions of a given ergodic countable probability measure preserving equivalence relation $R$. When $R$ is nonamenable, we show that the relations of isomorphism and von Neumann equivalence of extensions of $R$ are not Borel. When $R$ is amenable, all the extensions of $R$ are again amenable, and hence isomorphic by classical results of Dye and Connes--Feldman--Weiss. This approach allows us to extend the results about group actions mentioned above to the case of nonamenable locally compact unimodular groups, via the study of their cross-section equivalence relations.

## Submission history

From: Eusebio Gardella [view email]**[v1]**Thu, 3 Aug 2017 22:50:26 GMT (52kb)

**[v2]**Sun, 17 Dec 2017 21:57:14 GMT (69kb)

Link back to: arXiv, form interface, contact.