Spaces of invariant circular orders of groups (Q1650831): Difference between revisions

Summary: Motivated by well known results in low-dimensional topology, we introduce and study a topology on the set \(\mathrm{CO}(G)\) of all left-invariant circular orders on a fixed countable and discrete group \(G\). \(\mathrm{CO}(G)\) contains as a closed subspace \(\mathrm{LO}(G)\), the space of all left-invariant linear orders of \(G\), as first topologized by Sikora. We use the compactness of these spaces to show the sets of non-linearly and non-circularly orderable finitely presented groups are recursively enumerable. We describe the action of \(\mathrm{Aut}(G)\) on \(\mathrm{CO}(G)\) and relate it to results of Koberda regarding the action on \(\mathrm{LO}(G)\). We then study two families of circularly orderable groups: finitely generated abelian groups, and free products of circularly orderable groups. For finitely generated abelian groups \(A\), we use a classification of elements of \(\mathrm{CO}(A)\) to describe the homeomorphism type of the space \(\mathrm{CO}(A)\), and to show that \(\mathrm{Aut}(A)\) acts faithfully on the subspace of circular orders which are not linear. We define and characterize Archimedean circular orders, in analogy with linear Archimedean orders. We describe explicit examples of circular orders on free products of circularly orderable groups, and prove a result about the abundance of orders on free products. Whenever possible, we prove and interpret our results from a dynamical perspective.