Table of Contents
Fetching ...

Contracting elements and conjugacy growth in Coxeter groups, graph products, and further groups

Laura Ciobanu, Anthony Genevois

TL;DR

This work constructs contracting elements in the standard Cayley graphs of periagroups, including Coxeter groups, graph products, and Dyer groups, to establish acylindrical hyperbolicity unless the group virtually splits as a product. The authors develop a novel geometric framework based on paraclique graphs and their quasi-median closures, together with systems of coherent local metrics, to recognize contracting elements via well-separated hyperplanes. These contracting elements yield sharp asymptotics for conjugacy growth, implying that the conjugacy growth series of non-virtually-abelian instances are transcendental; direct-product decompositions further refine when transcendence holds. The results provide a unified approach to contracting phenomena across periagroups and their subfamilies, with explicit criteria for when acylindrical hyperbolicity and contracting elements occur, and detailed implications for conjugacy growth and Morse elements.

Abstract

In this article we construct contracting elements in the standard Cayley graphs of the so-called periagroups, a family of groups introduced by the second-named author which include Coxeter groups, graph products, and Dyer groups. As a consequence, we deduce that, unless they virtually split as direct products, periagroups are acylindrically hyperbolic and their conjugacy growth series, with respect to standard generating sets, are transcendental.

Contracting elements and conjugacy growth in Coxeter groups, graph products, and further groups

TL;DR

This work constructs contracting elements in the standard Cayley graphs of periagroups, including Coxeter groups, graph products, and Dyer groups, to establish acylindrical hyperbolicity unless the group virtually splits as a product. The authors develop a novel geometric framework based on paraclique graphs and their quasi-median closures, together with systems of coherent local metrics, to recognize contracting elements via well-separated hyperplanes. These contracting elements yield sharp asymptotics for conjugacy growth, implying that the conjugacy growth series of non-virtually-abelian instances are transcendental; direct-product decompositions further refine when transcendence holds. The results provide a unified approach to contracting phenomena across periagroups and their subfamilies, with explicit criteria for when acylindrical hyperbolicity and contracting elements occur, and detailed implications for conjugacy growth and Morse elements.

Abstract

In this article we construct contracting elements in the standard Cayley graphs of the so-called periagroups, a family of groups introduced by the second-named author which include Coxeter groups, graph products, and Dyer groups. As a consequence, we deduce that, unless they virtually split as direct products, periagroups are acylindrically hyperbolic and their conjugacy growth series, with respect to standard generating sets, are transcendental.

Paper Structure

This paper contains 27 sections, 60 theorems, 80 equations.

Key Result

Theorem 1.1

Let $\Pi := \Pi(\Gamma, \lambda, \mathcal{G})$ be a finitely generated periagroup. For each factor $G \in \mathcal{G}$, fix a finite generating set $S_G \subset G$. Then $\Pi$ contains a contracting element in its Cayley graph $\mathrm{Cay}(\Pi, \bigcup_{G \in \mathcal{G}} S_G)$ if and only if $\Pi$

Theorems & Definitions (137)

  • Theorem 1.1
  • Corollary 1.2: Theorem \ref{['thm:CoxeterContracting']}
  • Corollary 1.3
  • Corollary 1.4
  • Conjecture 1.5
  • Theorem : Corollary 1.8 in GeYang
  • Corollary 1.6
  • Corollary 1.7
  • Definition 2.1
  • Definition 2.2
  • ...and 127 more