The Borel complexity of the space of left-orderings, low-dimensional topology, and dynamics

TL;DR

This paper investigates the complexity of the conjugacy equivalence relation on left-orderable groups, especially in the context of 3-manifold groups, revealing non-smoothness and universality in various cases and connecting to the L-space conjecture.

Contribution

It introduces new tools to analyze the complexity of $E_{lo}(G)$, demonstrates non-smoothness for certain dynamical groups, and systematically studies $E_{lo}(\pi_1(M))$ for 3-manifolds, linking to topological conjectures.

Findings

$E_{lo}(G)$ is non-smooth for certain groups of dynamical origin.

If $M$ is not prime, then $E_{lo}(\pi_1(M))$ is a universal countable Borel equivalence relation.

For knot complements in $S^3$, $E_{lo}(\pi_1(M))$ is not smooth.

Abstract

We develop new tools to analyze the complexity of the conjugacy equivalence relation $E_\mathsf{lo}(G)$, whenever $G$ is a left-orderable group. Our methods are used to demonstrate non-smoothness of $E_\mathsf{lo}(G)$ for certain groups $G$ of dynamical origin, such as certain amalgams constructed from Thompson's group $F$. We also initiate a systematic analysis of $E_\mathsf{lo}(\pi_1(M))$, where $M$ is a $3$-manifold. We prove that if $M$ is not prime, then $E_\mathsf{lo}(\pi_1(M))$ is a universal countable Borel equivalence relation, and show that in certain cases the complexity of $E_\mathsf{lo}(\pi_1(M))$ is bounded below by the complexity of the conjugacy equivalence relation arising from the fundamental group of each of the JSJ pieces of $M$. We also prove that if $M$ is the complement of a nontrivial knot in $S^3$ then $E_\mathsf{lo}(\pi_1(M))$ is not smooth, and show how determining smoothness of $E_\mathsf{lo}(\pi_1(M))$ for all knot manifolds $M$ is related to the L-space conjecture.