Every left-invariant ordering of a group is either discrete, meaning there is a least element greater than the identity, or dense. Corresponding to this dichotomy, the spaces of left, Conradian, and bi-orderings of a group are naturally partitioned into two subsets. This note investigates the structure of this partition, specifically the set of dense orderings of a group and its closure within the space of orderings. We show that for bi-orderable groups this closure will always contain the space of Conradian orderings---and often much more. In particular, the closure of the set of dense orderings of the free group is the entire space of left-orderings.
We generalize a result of T. Koberda by showing that the natural action of the automorphism group on the space of left-orderings is faithful for all nonabelian bi-orderable groups G, as well as for a certain class of left-orderable groups that includes the braid groups. As a corollary we show that the action of the automorphism group of G on the boundary of G is faithful whenever G is bi-orderable and hyperbolic. We also analyze the action of the commensurator of G on its space of virtual left-orderings.
Work of Linnell shows that the space of left-orderings of a group is either finite or uncountable, and in the case that the space is finite, the isomorphism type of the group is known---it is what is known as a Tararin group. By defining semiconjugacy of circular orderings in a general setting (that is, for arbitrary circular orderings of groups that may not act on $S^1$), we can view the subspace of left-orderings of any group as a single semiconjugacy class of circular orderings. Taking this perspective, we generalize the result of Linnell, to show that every semiconjugacy class of circular …
We show that if a nontrivial group admits a locally invariant ordering, then it admits uncountably many locally invariant orderings. For the case of a left-orderable group, we provide an explicit construction of uncountable families of locally invariant orderings; for a general group we provide an existence theorem that applies compactness to yield uncountably many locally invariant orderings. Along the way, we define and investigate the space of locally invariant orderings of a group, the natural group actions on this space, and their relationship to the space of left-orderings.
We introduce a condition on Garside groups that we call Dehornoy structure. An iteration of such a structure leads to a left order on the group. We show conditions for a Garside group to admit a Dehornoy structure, and we apply these criteria to prove that the Artin groups of type A and I 2 (m), m $\ge$ 4, have Dehornoy structures. We show that the left orders on the Artin groups of type A obtained from their Dehornoy structures are the Dehornoy orders. In the case of the Artin groups of type I 2 (m), m $\ge$ 4, we show that the left orders derived from their Dehornoy structures coincide with …
In this paper we study the Borel structure of the space of left-orderings $\mathrm{LO}(G)$ of a group $G$ modulo the natural conjugacy action, and by using tools from descriptive set theory we find many examples of countable left-orderable groups such that the quotient space $\mathrm{LO}(G)/G$ is not standard. This answers a question of Deroin, Navas, and Rivas. We also prove that the countable Borel equivalence relation induced from the conjugacy action of $\mathbb{F}_{2}$ on $\mathrm{LO}(\mathbb{F}_{2})$ is universal, and leverage this result to provide many other examples of countable left-…
Motivated by the recent result that left-orderability of a group $G$ is intimately connected to circular orderability of direct products $G \times \mathbb{Z}/n\mathbb{Z}$, we provide necessary and sufficient cohomological conditions that such a direct product be circularly orderable. As a consequence of the main theorem, we arrive at a new characterization for the fundamental group of a rational homology 3-sphere to be left-orderable. Our results imply that for mapping class groups of once-punctured surfaces, and other groups whose actions on $S^1$ are cohomologically rigid, the products $G \t…
In this paper, we introduce the notion of circular orderability for quandles. We show that the set all right (respectively left) circular orderings of a quandle is a compact topological space. We also show that the space of right (respectively left) orderings of a quandle embeds in its space of right (respectively left) circular orderings. Examples of quandles that are not left circularly orderable and examples of quandles that are neither left nor right circularly orderable are given.
It is well-known that the direct product of left-orderable groups is left-orderable and that, under a certain condition, the semi-direct product of left-orderable groups is left-orderable. We extend this result and show that, under a similar condition, the Zappa-Szep product of left-orderable groups is left-orderable. Moreover, we find conditions that ensure the existence of a partial left and right invariant ordering (bi-order) in the Zappa-Szep product of bi-orderable groups and prove some properties.
Let G be a countable group. We show there is a topological relationship between the space CO(G) of circular orders on G and the moduli space of actions of G on the circle; as well as an analogous relationship for spaces of left orders and actions on the line. In particular, we give a complete characterization of isolated left and circular orders in terms of strong rigidity of their induced actions of G on $S^1$ and R. As an application of our techniques, we give an explicit construction of infinitely many nonconjugate isolated points in the spaces CO(F_{2n}) of circular orders on free groups d…
This is a draft of a book submitted for publication by the AMS. Its theme is the remarkable interplay, accelerating in the last few decades, between topology and the theory of orderable groups, with applications in both directions. It begins with an introduction to orderable groups and their algebraic properties. Many of the algebraic results are proved by topological methods, via consideration of the space of orderings. After a discussion Hölder's theorem and some dynamical aspects of orderable groups, we provide explicit orderings of important groups in topology: free groups and most surface…
We examine the Polish group $H_{+}^{AC}$ of order-preserving self-homeomorphisms $f$ of the interval $\left[ 0,1 \right]$ for which both $f$ and $f^{-1}$ are absolutely continuous; in particular, we establish two results. First, we prove that $H_{+}^{AC}$ is topologically $2$-generated; in fact, it is generically $2$-generated, i.e., there is a dense $G_δ$ set of pairs $\left( f,g \right) \in H_{+}^{AC} \times H_{+}^{AC}$ for which $\left\langle f,g \right\rangle$ is dense. Secondly, we prove that $H_{+}^{AC}$ admits a dense $G_δ$ conjugacy class, and we explicitly characterize the elements th…
In this work we exhibit flexibility phenomena for some (countable) groups acting by order preserving homeomorphisms of the line. More precisely, we show that if a left orderable group admits an amalgam decomposition of the form $G=\mathbb{F}_n*_{\mathbb Z} \mathbb{F}_m$ where $n+m\geq 3$, then every faithful action of $G$ on the line by order preserving homeomorphisms can be approximated by another action (without global fixed points) that is not semi-conjugated to the initial action. We deduce that $\mathcal{LO}(G)$, the space of left orders of $G$, is a Cantor set. In the special case where …
This paper gives necessary and sufficient conditions that the free product with amalgamation of circularly-ordered groups admit a circular ordering extending the given orderings of the factors. Our result follows from establishing a categorical framework that allows the problem to be restated in terms of amalgamating certain left-ordered central extensions, where we are able to apply work of Bludov and Glass.
