arXiv Science⌕ Search

arXiv subjects

Kim Ruane

Publications and source records attributed to Kim Ruane.

14 recordsLinked to original sources
arXiv2026

Quasi-isometric rigidity of the integers: an elementary primer

Chatawate (Flame) Ruethaimetapat was a passionate, enthusiastic, and wonderful person who passed away in August of 2024. At the time of their passing they were working towards their PhD, specializing in geometric group theory. Flame was just as excited about learning new mathematics as they were about sharing it with everyone else, so it's no surprise that they spent a lot of time thinking about how to write down expository proofs of classical theorems that would be accessible for first year students. In particular, they sought a simple, elementary proof of the fact that any finitely generated group quasi-isometric to the integers is virtually the integers. In the spirit of this endeavor and in loving memory of Flame, we present such a proof here.

math.GR↗
arXiv2025

Local Connectivity of Right-angled Coxeter group boundaries

We provide conditions on the defining graph of a right-angled Coxeter group presentation that guarantees the boundary of any CAT(0) space on which the group acts geometrically will be locally connected. This is a revised version of a published paper where we streamline some of the proofs and add figures.

math.GR↗
arXiv2023

Hyperbolic groups and local connectivity

The goal of this paper is to give an exposition of some results of Bestvina-Mess on local connectivity of the boundary of a one-ended word hyperbolic group. We also give elementary proofs that all hyperbolic groups are semistable at infinity and their boundaries are linearly connected in the one-ended case. Geoghegan first observed that semistability at infinity is a consequence of local connectivity using ideas from shape theory, and Bonk-Kleiner proved linear connectivity using analytical methods. The methods in this paper are closely based on the original ideas of Bestvina-Mess.

math.GR↗
arXiv2021

The boundary rigidity of lattices in products of trees

We show that every group acting freely and vertex-transitively by isometries on a product of two regular trees of finite valence is boundary rigid. That means that every CAT(0) space that admits a geometric action of any such group has the visual boundary homeomorphic to a join of two copies of the Cantor set.

math.GR↗
arXiv2019

An introduction to semistability in geometric group theory

A finitely presented group is semistable at infinity if all proper rays in the Cayley 2-complex are properly homotopic. A long standing open question asks whether all finitely presented groups are semistable at infinity. This article provides a brief introduction to the notion of semistability at infinity in geometric group theory. We discuss techniques for proving semistability at infinity that involve either the topology of the boundary or the existence of certain hierarchies of splittings of the group. As an illustration of the second technique, we apply a combination theorem of Mihalik-Tschantz to prove semistability at infinity for groups that are hyperbolic relative to polycyclic subgroups using work of Mihalik-Swenson and Louder-Touikan.

math.GR↗
arXiv2017

Connectedness properties and splittings of groups with isolated flats

In this paper we study CAT(0) groups and their splittings as graphs of groups. For one-ended CAT(0) groups with isolated flats we prove a theorem characterizing exactly when the visual boundary is locally connected. This characterization depends on whether the group has a certain type of splitting over a virtually abelian subgroup. In the locally connected case, we describe the boundary as a tree of metric spaces in the sense of \'Swi\k{a}tkowski. A significant tool used in the proofs of the above results is a general convex splitting theorem for arbitrary CAT(0) groups. If a CAT(0) group splits as a graph of groups with convex edge groups, then the vertex groups are also CAT(0) groups.

math.GR↗
arXiv2014

Recognizing Right-Angled Coxeter Groups Using Involutions

We consider the question of determining whether a given group (especially one generated by involutions) is a right-angled Coxeter group. We describe a group invariant, the involution graph, and we characterize the involution graphs of right-angled Coxeter groups. We use this characterization to describe a process for constructing candidate right-angled Coxeter presentations for a given group or proving that one cannot exist. We provide some first applications. In addition, we provide an elementary proof of rigidity of the defining graph for a right-angled Coxeter group. We also recover a result stating that if the defining graph contains no SILs, then Aut^0(W) is a right-angled Coxeter group.

math.GR↗
arXiv2013

CAT(0) cubical complexes for graph products of finitely generated abelian groups

We show that every graph product of finitely generated abelian groups acts properly and cocompactly on a CAT(0) cubical complex. The complex generalizes (up to subdivision) the Salvetti complex of a right-angled Artin group and the Coxeter complex of a right-angled Coxeter group. In the right-angled Artin group case it is related to the embedding into a right-angled Coxeter group described by Davis and Januszkiewicz. We compare the approaches and also adapt the argument that the action extends to finite index supergroup that is a graph product of finite groups.

math.GR↗
arXiv2009

The automorphism group of a graph product with no SIL

We study the automorphisms of graph products of cyclic groups, a class of groups that includes all right-angled Coxeter and right-angled Artin groups. We show that the group of automorphism generated by partial conjugations is itself a graph product of cyclic groups providing its defining graph does not contain any separating intersection of links (SIL). In the case that all the cyclic groups are finite, this implies that the automorphism group is virtually CAT(0); it has a finite index subgroup which acts geometrically on a right-angled building.

math.GR↗
arXiv2009

CAT(0) groups with specified boundary

We specify exactly which groups can act geometrically on CAT(0) spaces whose visual boundary is homeomorphic to either a circle or a suspension of a Cantor set.

math.GT↗
arXiv2008

The automorphism group of the free group of rank two is a CAT(0) group

We prove that the automorphism group of the braid group on four strands acts faithfully and geometrically on a CAT(0) 2-complex. This implies that the automorphism group of the free group of rank two acts faithfully and geometrically on a CAT(0) 2-complex, in contrast to the situation for rank three and above.

math.GR↗
arXiv2007

On the automorphisms of a graph product of abelian groups

We study the automorphisms of a graph product of finitely-generated abelian groups W. More precisely, we study a natural subgroup Aut* W of Aut W, with Aut* W = Aut W whenever vertex groups are finite and in a number of other cases. We prove a number of structure results, including a semi-direct product decomposition of Aut* W in which one of the factors is Inn W. We also give a number of applications, some of which are geometric in nature.

math.GR↗
arXiv2004

Some geometric groups with rapid decay

We explain some simple methods to establish the property of Rapid Decay for a number of groups arising geometrically. We also give new examples of groups with the property of Rapid Decay. In particular we establish the property of Rapid Decay for all lattices in rank one Lie groups.

math.GR↗