Sabok's completeness conjecture for conjugacy of automorphisms

Let (X,μ)(X,\mu) be a standard probability space. The Polish group Aut(X,μ)\operatorname{Aut}(X,\mu) acts on itself by conjugation, inducing an orbit equivalence relation. An orbit equivalence relation is called complete if every orbit equivalence relation is Borel reducible to it.

Sabok's conjecture. The action of Aut(X,μ)\operatorname{Aut}(X,\mu) on itself by conjugation is a complete orbit equivalence relation.

The claim concerns the descriptive complexity of measure-preserving automorphisms under conjugacy. The surrounding discussion notes that related conjugacy relations are complete analytic and that the conjugation action on ergodic automorphisms is turbulent, but gives no resolution of this stronger completeness claim.

Sources & referencesView supporting material

Primary source

Jérôme Buzzi, Nishant Chandgotia, Matthew Foreman, Su Gao, Felipe García-Ramos, Anton Gorodetski, François Le Maitre, Federico Rodríguez-Hertz and Marcin Sabok, “Open questions in descriptive set theory and dynamical systems”, arXiv:2305.00248 (2023).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.