The language of geodesics for Garside groups
type: Item
instance of: scholarly article
title: The language of geodesics for Garside groups
zbMATH Open document ID: 1062.57002
author: John Meier
author: Ruth Charney
published in: Mathematische Zeitschrift
publication date: 2005-02-01T00:00:00Z
review text: The paper studies a certain class of finitely generated groups from the point of view of regular language. If a finitely generated group fixes a generating set, then the group admits a metric structure called word metric. There is a basic question raised by J. Cannon, under which conditions can the set of all geodesics be a regular language with respect to a generating set, which implies that it can be accepted by a finite state automaton. This paper studies the Garside groups, which is a class of finitely generated groups. Roughly speaking, they are characterised by some properties similar to the braid groups. In particular, the braid groups and also the Artin groups of finite type are Garside groups. The main theorem of this paper is that the language of geodesics of a Garside group with respect to the generating set of simple divisors of \(\Delta\) is regular, where \(\Delta\) is a similar element to the half twist in the braid groups. Regularity of language is shown by constructing an explicit automaton. Regularity is reflected by the rationality of some growth functions including spherical growth series. Let us define the geodesic growth series by: \[ l(z)=\sum_{z\in G} p(g)z^{|g|} \] where \(p(g) \in {\mathbb N}\) is the number of geodesics whose end points correspond to \(g\). The authors also show that if the language is regular, then \(l(z)\) is rational. In particular it follows that the geodesic growth series of a Garside group with respect to the generating set of simple divisors of \(\Delta\) is rational.
reviewed by: Tsuyoshi Kato
Mathematics Subject Classification ID: 57M07
Mathematics Subject Classification ID: 20F65
Mathematics Subject Classification ID: 20F36
zbMATH DE Number: 2131991
MaRDI profile type: Publication
full work available at URL: s00209-004-0666-8
OpenAlex ID: W2053031719
cites work: The dual braid monoid
cites work: Springer theory in braid groups and the Birman-Ko-Lee monoid.
cites work: A new approach to the word and conjugacy problems in the braid groups
cites work: \(K(\pi,1)\)'s for Artin groups of finite type.
cites work: The combinatorial structure of cocompact discrete hyperbolic groups
cites work: Geodesic automation and growth functions for Artin groups of finite type
cites work: Bestvina's normal form complex and the homology of Garside groups.
cites work: The \(K(\pi,1)\)-conjecture for the affine braid groups.
cites work: Gaussian groups are torsion free
cites work: Groupes de Garside
cites work: Homology of Gaussian groups.
cites work: Gaussian Groups and Garside Groups, Two Generalisations of Artin Groups
cites work: THE BRAID GROUP AND OTHER GROUPS
cites work: Complete growth functions of hyperbolic groups
cites work: GRAPH PRODUCTS AND CANNON PAIRS
cites work: Automatic structures, rational growth, and geometrically finite hyperbolic groups
cites work: Q4865840
cites work: Q4656961
cites work: Q4380507
Wikidata QID: Q115019317
DOI: 10.1007/S00209-004-0666-8
description: scientific article; zbMATH DE number 2131991