arXiv subjects
Publications and source records attributed to Matthew Haulmark.
In this paper, we obtain an action on a cube complex from an action on a path-connected topological space with a system of divisions. In the settings of hyperbolic groups or relatively hyperbolic groups with no peripheral splittings, our result provides an alternate route to Sageev's construction of a cube complex action from a collection of (relatively) quasiconvex subgroups of a (relatively) hyperbolic group.
Bregman and Clay recently characterized which right-angled Artin groups with geometric dimension 2 have vanishing minimal volume entropy. In this note, we extend this characterization to higher dimensions.
Suppose $G$ is a finitely presented group that is hyperbolic relative to ${\bf P}$ a finite collection of 1-ended finitely generated proper subgroups of $G$. If $G$ and the ${\bf P}$ are 1-ended and the boundary $\partial (G,{\bf P})$ has no cut point, then $G$ was known to have semistable fundamental group at $\infty$. We consider the more general situation when $\partial (G,{\bf P})$ contains cut points. Our main theorem states that if $G$ is finitely presented and each $P\in {\bf P}$ is finitely generated and has semistable fundamental group at $\infty$, then $G$ has semistable fundamental group at $\infty$.
A JSJ decomposition of a group is a splitting that allows one to classify all possible splittings of the group over a certain family of edge groups. Although JSJ decompositions are not unique in general, Guirardel--Levitt have constructed a canonical JSJ decomposition, the tree of cylinders, which classifies splittings of relatively hyperbolic groups over elementary subgroups. In this paper, we give a new topological construction of the Guirardel--Levitt tree of cylinders, and we show that this tree depends only on the homeomorphism type of the Bowditch boundary. Furthermore, the tree of cylinders admits a natural action by the group of homeomorphisms of the boundary. In particular, the quasi-isometry group of $(G,\mathbb{P})$ acts naturally on the tree of cylinders.
Suppose a finitely generated group $G$ is hyperbolic relative to $\mathcal P$ a set of proper finitely generated subgroups of $G$. Established results in the literature imply that a "visual" metric on $\partial (G,\mathcal P)$ is "linearly connected" if and only if the boundary $\partial (G,\mathcal P)$ has no cut point. Our goal is to produce linearly connected metrics on $\partial (G,\mathcal P)$ that are "piecewise" visual when $\partial (G,\mathcal P)$ contains cut points. %Visual metrics for $\partial (G,\mathcal P)$ are tightly linked to inner products of geodesic rays in "cusped" spaces for $(G,\mathcal P)$. The identity vertex $\ast$ is usually our base point in these cusped spaces and visual metrics depend on this base point. %We say the visual metric $d_p$ on $\partial(G,\mathcal P)$, with base point $p$, is {\it $G$-equivariant} if for points $x_1,x_2\in \partial(G,\mathcal P)$, we have $d_p(x_1,x_2)=d_{gp}(gx_1,gx_2)$ for all $g\in G$. Our main theorem is about graph of groups decompositions of relatively hyperbolic groups $(G,\mathcal P)$, and piecewise visual metrics on their boundaries. We assume that each vertex group of our decomposition has a boundary with linearly connected visual metric or the vertex group is in $\mathcal P$. If a vertex group is not in $\mathcal P$, then it is hyperbolic relative to its adjacent edge groups. Our linearly connected metric on $\partial (G,\mathcal P)$ agrees with the visual metric on limit sets of vertex groups and is in this sense piecewise visual.
We investigate the planarity of the boundaries of right-angled Coxeter groups. We show that non-planarity of the defining graph does not necessarily imply non-planarity of every boundary of the associated right-angled Coxeter group, although it does in many cases. Our techniques yield a characterization of the triangle-free defining graphs such that the associated right-angled Coxeter group has boundary a Menger curve.
A generic finite presentation defines a word hyperbolic group whose boundary is homeomorphic to the Menger curve. In this article, we produce the first known examples of non-hyperbolic $CAT(0)$ groups whose visual boundary is homeomorphic to the Menger curve. The examples in question are the Coxeter groups whose nerve is a complete graph on $n$ vertices for $n\geq 5$. The construction depends on a slight extension of Sierpi\'nski's theorem on embedding $1$--dimensional planar compacta into the Sierpi\'nski carpet. See the appendix for a brief erratum.
In this article, we study the manifold structure and the relatively hyperbolic structure of right-angled Coxeter groups with planar nerves. We then apply our results to the quasi-isometry problem for this class of right-angled Coxeter groups.
In this paper we show that the existence of a non-parabolic local cut point in the Bowditch boundary $\partial(G,\mathbb{P})$ of a relatively hyperbolic group $(G,\mathbb{P})$ implies that $G$ splits over a $2$-ended subgroup. This theorem generalizes a theorem of Bowditch from the setting of hyperbolic groups to relatively hyperbolic groups. As a consequence we are able to generalize a theorem of Kapovich and Kleiner by classifying the homeomorphism type of $1$-dimensional Bowditch boundaries of relatively hyperbolic groups which satisfy certain properties, such as no splittings over $2$-ended subgroups and no peripheral splittings. In order to prove the boundary classification result we require a notion of ends of a group which is more general than the standard notion. We show that if a finitely generated discrete group acts properly and cocompactly on two generalized Peano continua $X$ and $Y$, then $Ends(X)$ is homeomorphic to $Ends(Y)$. Thus we propose an alternate definition of $Ends(G)$ which increases the class of spaces on which $G$ can act.
In this paper we provide a classification theorem for 1-dimensional boundaries of groups with isolated flats. Given a group $\Gamma$ acting geometrically on a $CAT(0)$ space $X$ with isolated flats and 1-dimensional boundary, we show that if $\Gamma$ does not split over a virtually cyclic subgroup, then $\partial X$ is homeomorphic to a circle, a Sierpinski carpet, or a Menger curve. This theorem generalizes a theorem of Kapovich-Kleiner, and resolves a question due to Kim Ruane. We also study the relationship between local cut points in $\partial X$ and splittings of $\Gamma$ over $2$-ended subgroups. In particular, we generalize a theorem of Bowditch by showing that the existence of a local point in $\partial X$ implies that $\Gamma$ splits over a $2$-ended subgroup.