-
Piecewise Visual, Linearly Connected Metrics on Boundaries of Relatively Hyperbolic Groups
Authors:
Matthew Haulmark,
Michael L. Mihalik
Abstract:
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…
▽ More
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.
△ Less
Submitted 20 August, 2019;
originally announced August 2019.
-
Relatively Hyperbolic Groups have Semistabile Fundamental Group at Infinity
Authors:
Michael L. Mihalik,
Eric Swenson
Abstract:
Suppose $G$ is a 1-ended finitely generated group that is hyperbolic relative to P a finite collection of 1-ended finitely generated subgroups. Our main theorem states that if the boundary $\partial (G, P)$ has no cut point, then $G$ has semistable fundamental group at $\infty$. Under mild conditions on $G$ and the members of P the 1-ended hypotheses and the no cut point condition can be eliminate…
▽ More
Suppose $G$ is a 1-ended finitely generated group that is hyperbolic relative to P a finite collection of 1-ended finitely generated subgroups. Our main theorem states that if the boundary $\partial (G, P)$ has no cut point, then $G$ has semistable fundamental group at $\infty$. Under mild conditions on $G$ and the members of P the 1-ended hypotheses and the no cut point condition can be eliminated to obtain the same semistability conclusion. We give an example that shows our main result is somewhat optimal. Finally, we improve a "double dagge" result of F. Dahmani and D. Groves.
△ Less
Submitted 10 November, 2017; v1 submitted 7 September, 2017;
originally announced September 2017.
-
Geodesically Tracking Quasi-geodesic Paths for Coxeter Groups
Authors:
Michael L. Mihalik,
Steven Tschantz
Abstract:
The main theorem of this paper classifies the quasi-geodesics in a Coxeter group that are tracked by geodesics. As corollaries, we show that if a Coxeter group acts geometrically on a CAT(0) space X then CAT(0) rays (and lines) are tracked by Cayley graph geodesics, all special subgroups of the Coxeter group are quasi-convex in X, and in Cayley graphs for Coxeter groups, elements of infinite order…
▽ More
The main theorem of this paper classifies the quasi-geodesics in a Coxeter group that are tracked by geodesics. As corollaries, we show that if a Coxeter group acts geometrically on a CAT(0) space X then CAT(0) rays (and lines) are tracked by Cayley graph geodesics, all special subgroups of the Coxeter group are quasi-convex in X, and in Cayley graphs for Coxeter groups, elements of infinite order are tracked by geodesics.
△ Less
Submitted 14 December, 2011;
originally announced December 2011.
-
Strong accessibility of Coxeter groups over minimal splittings
Authors:
Michael L. Mihalik,
Steven Tschantz
Abstract:
Given a class of groups C, a group G is strongly accessible over C if there is a bound on the number of terms in a sequence L(1), L(2), ..., L(n) of graph of groups decompositions of G with edge groups in C such that L(1) is the trivial decomposition (with 1-vertex) and for i>1, L(i) is obtained from L(i-1) by non-trivially and compatibly splitting a vertex group of L(i-1) over a group in C, rep…
▽ More
Given a class of groups C, a group G is strongly accessible over C if there is a bound on the number of terms in a sequence L(1), L(2), ..., L(n) of graph of groups decompositions of G with edge groups in C such that L(1) is the trivial decomposition (with 1-vertex) and for i>1, L(i) is obtained from L(i-1) by non-trivially and compatibly splitting a vertex group of L(i-1) over a group in C, replacing this vertex group by the splitting and then reducing. If H and K are subgroups of a group G then H is smaller than K if H intersect K has finite index in H and infinite index in K. The minimal splitting subgroups of G, are the subgroups H of G, such that G splits non-trivially (as an amalgamated product or HNN-extension) over H and for any other splitting subgroup K of W, K is not smaller than H. When G is a finitely generated Coxeter group, minimal splitting subgroups are always finitely generated. Minimal splittings are explicitly or implicitly important aspects of Dunwoody's work on accessibility and the JSJ results of Rips-Sela, Dunwoody-Sageev and Mihalik. Our main results are that Coxeter groups are strongly accessible over minimal splittings and if L is an irreducible graph of groups decomposition of a Coxeter group with minimal splitting edge groups, then the vertex and edge groups of L are Coxeter.
△ Less
Submitted 26 February, 2010;
originally announced March 2010.
-
Commensurators and Quasi-Normal Subgroups
Authors:
Gregory R. Conner,
Michael L. Mihalik
Abstract:
We say A is a quasi-normal subgroup of the group G if the commensurator of A in G is all of G. We develop geometric versions of commensurators in finitely generated groups. In particular, g is an element of the commensurator of A in G iff the Hausdorff distance between A and gA is finite.
We show that a quasi-normal subgroup of a group is the kernel of a certain map, and a subgroup of a finite…
▽ More
We say A is a quasi-normal subgroup of the group G if the commensurator of A in G is all of G. We develop geometric versions of commensurators in finitely generated groups. In particular, g is an element of the commensurator of A in G iff the Hausdorff distance between A and gA is finite.
We show that a quasi-normal subgroup of a group is the kernel of a certain map, and a subgroup of a finitely generated group is quasi-normal iff the natural coset graph is locally finite. This last equivalence is particularly useful for deriving asymptotic results for finitely generated groups. Our primary goal in this paper is to develop the basic theory of quasi-normal subgroups, comparing analogous results for normal subgroups and isolating differences between quasi-normal and normal subgroups.
△ Less
Submitted 29 December, 2009;
originally announced December 2009.
-
On the rank of a Coxeter group
Authors:
Michael L. Mihalik,
John G. Ratcliffe
Abstract:
Let W be a Coxeter group with Coxeter generators S. The rank of the Coxeter system (W,S) is the cardinality |S| of S. The Coxeter system (W,S) has finite rank if and only if W is finitely generated. If (W,S) has infinite rank, then |S| = |W|, since every element of W is represented by a finite product of elements of S. Thus if W is not finitely generated, the rank of (W,S) is uniquely determined…
▽ More
Let W be a Coxeter group with Coxeter generators S. The rank of the Coxeter system (W,S) is the cardinality |S| of S. The Coxeter system (W,S) has finite rank if and only if W is finitely generated. If (W,S) has infinite rank, then |S| = |W|, since every element of W is represented by a finite product of elements of S. Thus if W is not finitely generated, the rank of (W,S) is uniquely determined by W. If W is finitely generated, then W may have sets of Coxeter generators S and S' of different ranks. In this paper, we determine the set of all possible ranks for an arbitrary finitely generated Coxeter group W.
△ Less
Submitted 26 June, 2007;
originally announced June 2007.
-
Visual Decompositions of Coxeter Groups
Authors:
Michael L. Mihalik,
Steven Tschantz
Abstract:
A Coxeter system is an ordered pair (W,S) where S is the generating set in a particular type of presentation for the Coxeter group W. A subgroup of W is called special if it is generated by a subset of S. Amalgamated product decompositions of a Coxeter group having special factors and special amalgamated subgroup are easily recognized from the presentation of the Coxeter group. If a Coxeter grou…
▽ More
A Coxeter system is an ordered pair (W,S) where S is the generating set in a particular type of presentation for the Coxeter group W. A subgroup of W is called special if it is generated by a subset of S. Amalgamated product decompositions of a Coxeter group having special factors and special amalgamated subgroup are easily recognized from the presentation of the Coxeter group. If a Coxeter group is a subgroup of the fundamental group of a given graph of groups, then the Coxeter group is also the fundamental group of a graph of special subgroups, where each vertex and edge group is a subgroup of a conjugate of a vertex or edge group of the given graph of groups. A vertex group of an arbitrary graph of groups decomposition of a Coxeter group is shown to split into parts conjugate to special groups and parts that are subgroups of edge groups of the given decomposition. Several applications of the main theorem are produced, including the classification of maximal FA-subgroups of a finitely generated Coxeter group as all conjugates of certain special subgroups.
△ Less
Submitted 14 March, 2007;
originally announced March 2007.
-
The Even Isomorphism Theorem for Coxeter Groups
Authors:
Michael L. Mihalik
Abstract:
We prove the even isomorphism theorem for Coxeter groups
We prove the even isomorphism theorem for Coxeter groups
△ Less
Submitted 13 February, 2004;
originally announced February 2004.
-
Semistability of amalgamated products, HNN-extensions, and all one-relator groups
Authors:
Michael L. Mihalik,
Steven T. Tschantz
Abstract:
The authors announce the following theorem.
Theorem 1. If $G=A*_H B$ is an amalgamated product where $A$ and $B$ are finitely presented and semistable at infinity, and $H$ is finitely generated, then $G$ is semistable at infinity. If $G=A*_H$ is an HNN-extension where $A$ is finitely presented and semistable at infinity, and $H$ is finitely generated, then $G$ is semistable at infinity.
The authors announce the following theorem.
Theorem 1. If $G=A*_H B$ is an amalgamated product where $A$ and $B$ are finitely presented and semistable at infinity, and $H$ is finitely generated, then $G$ is semistable at infinity. If $G=A*_H$ is an HNN-extension where $A$ is finitely presented and semistable at infinity, and $H$ is finitely generated, then $G$ is semistable at infinity.
△ Less
Submitted 31 December, 1991;
originally announced January 1992.
