3
$\begingroup$

Is the property of left invariant orderability for finitely generated groups preserved by quasi-isometrics? More precisely, if $G$ is a left orderable (finitely generated) group and $H$ is a torsion-free group quasi-isometric (in the sense of Gromov) to $G$, can we conclude $H$ is left orderable? If the answer is no in the general case, what about 3-manifold groups?

$\endgroup$
5
  • 3
    $\begingroup$ $\mathbb Z$ and $\mathbb Z\times (\mathbb Z/2)$ are quasi-isometric groups, both are fundamental groups of 3-manifolds, $\mathbb Z$ is left orderable, but $\mathbb Z\times (\mathbb Z/2)$ is not. $\endgroup$ Sep 7, 2014 at 4:11
  • $\begingroup$ Thanks! I edited the question to exclude trivial counterexamples. $\endgroup$ Sep 7, 2014 at 4:32
  • 10
    $\begingroup$ All closed hyperbolic 3-manifold groups are quasi-isometric; however there are both orderable and non-orderable such groups. $\endgroup$
    – Ian Agol
    Sep 7, 2014 at 4:39
  • 4
    $\begingroup$ Note that all the previous examples are virtually left-orderable (VLO). There are candidates to show that for torsion-free groups, VLO is not QI-invariant. For instance, Burger-Mozes groups and irreducible cocompact lattices in $SL_2(\mathbf{Q}_p)^2$ are QI to products of two free groups; still I don't know if they are all known to be not left-orderable. Same question for irreducible cocompact lattices in $SL_2(\mathbf{R})^2$, which are QI to products of 2 surface groups. $\endgroup$
    – YCor
    Sep 7, 2014 at 10:54
  • 3
    $\begingroup$ finally I found examples not VLO: let $H,H'$ be two torsion-free, bilipschitz groups, with $H$ LO and $H'$ not LO and perfect (e.g. virtually abelian, or cocompact Kleinian). Then the wreath products $G=H\wr\mathbf{Z}$ and $G'=H'\wr\mathbf{Z}$ are QI, but $G$ is LO while $G'$ is not VLO. $\endgroup$
    – YCor
    Sep 7, 2014 at 21:03

2 Answers 2

6
$\begingroup$

This answer adds some details, and some references, following Ian's comment.

First the references:

https://arxiv.org/abs/math/0211110, https://arxiv.org/abs/math/0203192v2

Now, for the answer: In the Boyer, Rolfsen, Wiest paper (first reference) we find:

Theorem 1.8 For each of the eight 3-dimensional geometries, there exist closed, connected, orientable 3-manifolds with the given geometric structure whose fundamental groups are left-orderable. There are also closed, connected, orientable 3-manifolds with the given geometric structure whose groups are not left-orderable.

As Ian mentions, for any pair of closed three-manifolds $M$ and $N$ with the same Thurston geometry, the fundamental groups $\pi_1(M)$ and $\pi_1(N)$ are quasi-isometric.

In the second reference, by Calegari and Dunfield, there is a table of closed hyperbolic rational homology three-spheres, of low volume, with the orderability of the fundamental group given as orderable, non-orderable, or unknown. It looks like this is a difficult property to determine. Also, in this situation, orderability appears to be rare (but possible!).

$\endgroup$
4
$\begingroup$

There are also lots of amenable examples: by a theorem of P. Linnell and D. Witte-Morris (in this paper), an amenable group is left-orderable if and only if it is locally indicable (i.e. any non-trivial subgroup surjects onto $\mathbb Z$). It is not hard to see that this implies that any crystallographic group with non-solvable holonomy is not left-orderable; on the other hand any such group contains a free abelian group of finite index, and the latter is certainly orderable. One can also get examples more complicated olycyclic examples.

A simpler crystallographic example is given by the subgroup of ${\rm Isom}(\mathbb{R}^3)$ generated by three half-turns with disjoint axes of orthogonal directions (its abelianization is finite; in fact it has a presentation given by $$ \langle a,b | ab^2a^{-1}=b^{-2},\, ba^2b^{-1} = a^{-2}\rangle $$ (see for example the last section in this paper of Bowditch).

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.