On the Borel complexity of the space of left-orderings of nilpotent groups
We give the first examples of nonabelian left-orderable groups such that the conjugacy orbit equivalence relation on its space of orders has infinity orbits, yet it is smooth in the Borel sense. The examples are all nilpotent groups and we provide a sufficient condition so that the space of orders of a nilpotent group has a smooth conjugacy orbit relation. We also show with different examples that nilpotence is not a sufficient condition for smoothness.
math.GR↗