Search arXivSearch

arXiv · 1511.05088

Ordered groups and topology

Abstract

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 groups. Next we consider orderability of the fundamental groups of three-dimensional manifolds. All knot groups, and more generally groups of 3-manifolds with positive first Betti number are left-orderable, in fact locally indicable and sometimes even bi-orderable. However when the first homology is finite the situation is more subtle, and we find connections with foliations, branched coverings, surgery, and conjecturally Heegaard-Floer homology. Braid groups are considered in some detail, including Dehornoy's ordering of the braid groups and its later generalizations due to Thurston. This is followed by a discussion of recent applications of Dehornoy's ordering to knot theory. A short chapter outlines a proof that the group of PL homeomorphisms of the $n$-dimensional cube (fixed on the boundary) is left-orderable; a property conjectured to be true for the group of homeomorphisms in dimension two. We present a new proof that local indicability of a group is equivalent to the existence of a "Conradian" left-ordering. A final chapter considers the space $LO(G)$ of left-orderings of a group $G$. We give a new proof of Sikora's theorem that $LO(\mathbb{Z}^n), n >1$ is a Cantor set, as well as a proof of Linnell's theorem that for any group $G$, $LO(G)$ is either finite or uncountable.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Adam Clay, Dale Rolfsen. 2015-11-16. Ordered groups and topology. https://arxiv.org/abs/1511.05088

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Hyperbolic links associated to Hamiltonian subgraphs in simple $3$-polytopes

We build a large family of hyperbolic links with an explicit decomposition of the complement into right-angled hyperbolic polytopes of finite volume. Namely, in a series of papers A.D.Mednykn and A.Yu.Vesnin introduced a construction that for a given right-angled polytope $P$ in geometry $\mathbb L^3$, $\mathbb R^3$, $\mathbb S^3$, $\mathbb L^2\times \mathbb R$, $\mathbb S^2\times \mathbb R$ and a Hamiltonian cycle, theta-subgraph or $K_4$-subgraph $Γ$ in the $1$-skeleton of $P$ builds a geometric $3$-manifold $N(P,Γ)$ with an involution $τ$ such that $N(P,Γ)/\langleτ\rangle\simeq S^3$. The brach set of the corresponding $2$-sheeted branched covering $N(P,Γ)\to S^3$ is a link $C_Γ\subset S^3$ consisting of trivially embedded circles. This construction reformulated in the language of toric topology works for such a subgraph $Γ$ in any simple $3$-polytope $P$ and gives a topological $3$-manifold $N(P,Γ)$. We give a criterion when $S^3\setminus C_Γ$ has a complete hyperbolic structure of finite volume and generalize this criterion to similar links in $3$-manifolds different from $S^3$. We prove that hyperbolic links $C_Γ$ are parametrized by nonselfcrossing Eulerian cycles, Eulerian theta-subgraphs and Eulerian $K_4$-subgraphs in hyperbolic right-angled $3$-polytopes of finite volume in $\mathbb L^3$ with $0$, $2$ or $4$ finite vertices. The complement $S^3\setminus C_Γ$ is glued of $4$, $8$ or $16$ copies of the corresponding right-angled polytope. We give a criterion when the link $C_Γ$ consists of mutually unlinked circles and prove that if such a link is nontrivial, then it contains the Borromean rings. The latter problem is motivated by the Efimov effect in quantum mechanics.

math.GT

More Versions of Real Link Floer Homology

In this paper, we further develop the real link Floer homology defined by the first author. We introduce a new base-pointing convention that leads to a different version of real link Floer homology and show that this new theory is related to the old one by an exact triangle. We also define a real link Floer theory for multi-based strongly invertible links, which is a strong real Heegaard invariant, and take a first step toward a real link Floer TQFT. A computer implementation for the new theory via grid diagrams was written by Zhenkun Li. We also include an appendix containing real grid homology of more than 50 small knots.

math.GT

Knots and the Sierpinski Tetrahedron

In this paper we prove that there are infinitely many knots that cannot be embedded in the 1-skeletons of the finite iterations of the Sierpinski tetrahedron fractal. We do this by proving that such an embedding induces a sphere decomposition of weight at most 6. There are infinitely many knots with spherewidth greater than this.

math.GT