Relative hyperbolicity and Artin groups

Abstract

Abstract. This paper considers the question of relative hyperbolicity of an Artin group with regard to the geometry of its associated Deligne complex. We prove that an Artin group is weakly hyperbolic relative to its finite (or spherical) type parabolic subgroups if and only if its Deligne complex is a Gromov hyperbolic space. For a 2-dimensional Artin group the Deligne complex is Gromov hyperbolic precisely when the corresponding Davis complex is Gromov hyperbolic, that is, precisely when the underlying Coxeter group is a hyperbolic group. For Artin groups of FC type we give a sufficient condition for hyperbolicity of the Deligne complex which applies to a large class of these groups for which the underlying Coxeter group is hyperbolic.

Relatively geometric actions on CAT$\operatorname{CAT}$(0) cube complexes

“…As noted in [5], the results of Charney–Crisp [4, Theorem 5.1] immediately imply the following result. Proposition The space $$\widetilde{X}$$ is quasi‐isometric to the coned‐off Cayley graph of $$(G,\mathcal {P})$$, and in particular is $$\delta$$‐hyperbolic for some $$\delta$$.…”

The geometry of the curve graph of a right-angled Artin group

“…If Γ has an isolated vertex, then Y vPV pΓq xLk vy does not generate ApΓq. The general case of weak hyperbolicity of Artin groups (not necessarily rightangled ones) relative to subgroups generated by subsets of the vertices of the defining graph was studied by Charney and Crisp in [12].…”

Equivariant hierarchically hyperbolic structures for 3-manifold groups via quasimorphisms

“…Let ty i u be a finite set of vertices of Y containing exactly one element of each G µ -orbit, and let H be the collection of stabilisers in G µ of the vertices y i . Given our fixed finite generating set J µ of G µ , Theorem 5.1 of [CC07] implies that any orbit map G µ Ñ Y induces a quasi-isometry Γ Ñ Y (with constants just depending on J µ ), where Γ is the Cayley graph of G µ with respect to the infinite set J µ Y tHu HPH . If y is a vertex of Y , then the stabiliser in G µ of y is exactly the stabiliser of some edge e of T with e `" v. Hence, each H P H is conjugate to the image of some edge group τ α pG α q where α `" µ.…”