A new characterization of Conrad's property for group orderings, with applications
ANDRÉS NAVAS CRISTÓBAL RIVAS APPENDIX BY ADAM CLAYWe provide a pure algebraic version of the first-named author's dynamical characterization of the Conrad property for group orderings. This approach allows dealing with general group actions on totally ordered spaces. As an application, we give a new and somehow constructive proof of a theorem first established by Linnell: an orderable group having infinitely many orderings has uncountably many. This proof is achieved by extending to uncountable orderable groups a result about orderings which may be approximated by their conjugates. This last result is illustrated by an example of an exotic ordering on the free group given by the third author in the Appendix.
06F15, 20F60; 57S25
IntroductionIn recent years, relevant progress has been made in the theory of (left) orderable groups. This has been achieved mainly by means of the use of a recently introduced mathematical object, namely the space of group orderings (see for instance Clay [2], Linnell [9], Morris [11], Navas [13] and Sikora [14]). This space may be endowed with a natural topology (roughly, two orderings are close if they coincide over large finite sets), and the study of this topological structure should reveal some algebraic features of the underlying group. In [13] it was realized that, for this study, the classical Conrad property for group orderings becomes relevant. Bringing ideas and techniques from the theory of codimension-one foliations, the 'dynamical' insight of this property was revealed. Unfortunately, many proofs of [13] are difficult to read for people with a pure algebraic view of orderable groups. More importantly, some of the results therein do not cover the case of uncountable groups. Indeed, the dynamical analysis of group orderings is done via the so-called 'dynamical realization' of orderable groups as groups of homeomorphisms of the line, which is not available for general uncountable orderable groups. Motivated by this, we develop here an algebraic counterpart of (part of) the analysis of [13]. We begin by giving a new characterization of the Conrad property that is purely algebraic, although it has a dynamical flavor (see Theorem 2.4). This leads naturally to the notion of Conradian actions on totally ordered spaces. A relevant example concerns the action of an ordered group on the space of cosets with respect to a convex subgroup.In this setting, we define the notion of Conradian extension (see Example 2.11), and we generalize Conrad's classical theorem on the 'level' structure of groups admitting Conradian orderings (see Theorem 2.14, Corollary 2.15).A relevant concept introduced in [13] is the Conradian soul, which corresponds to the maximal subgroup of an ordered group that is convex and restricted to which the ordering is Conradian. In [13], a more geometrical view of this notion was given in the case of countable groups. Here we provide an analogous algebraic description which applies to gen...