Automatic Structures for Torus Link Groups

DOI10.1142/S0218216503002627MaRDI QIDQ4474524zbMATH OpenFDO

Authors Matthieu Picantin

Publication date 12 July 2004

Published in Journal of Knot Theory and Its Ramifications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0111079

zbMATH Keywords

Artin groupsautomatic groupsGarside monoidsgroups of fractionsknot groupslink groupspresentations of groups

Mathematics Subject Classification ID

Generators, relations, and presentations of groups (20F05) Braid groups; Artin groups (20F36) Geometric group theory (20F65) Free semigroups, generators and relations, word problems (20M05) Semigroups in automata theory, linguistics, etc. (20M35) Fundamental group, presentations, free differential calculus (57M05) Topological methods in group theory (57M07)

Abstract: A general result of Epstein and Thurston implies that all link groups are automatic, but the proof provides no explicit automaton. Here we show that the groups of all torus links are groups of fractions of so-called Garside monoids, i.e., roughly speaking, monoids with a good theory of divisibility, which allows us to reprove that those groups are automatic, but, in addition, gives a completely explicit description of the involved automata, thus partially answering a question of D.F.Holt.

Review text

Garside monoids are natural extensions of the positive braid monoids introduced by \textit{F. A. Garside} [Q. J. Math., Oxf. II. Ser. 20, 235-254 (1969; Zbl 0194.03303)]. A Garside group is the group of fractions of a Garside monoid. After providing a nice summary of results about biautomaticity of Garside groups from the work of \textit{P. Dehornoy} and \textit{L. Paris} [Ann. Sci. Éc. Norm. Supér., IV. Sér. 35, No. 2, 267-306 (2002; Zbl 1017.20031) and Proc. Lond. Math. Soc., III. Ser. 79, No. 3, 569-604 (1999; Zbl 1030.20021)], and several instructive examples, the author proves, with full details provided in the appendix, that all torus link groups are groups of fractions of Garside monoids. Consequently this method provides explicit biautomatic structures for each of these groups.

Recommendations

• Groupes de Garside
• Gaussian Groups and Garside Groups, Two Generalisations of Artin Groups
• Tame Garside monoids.
• Foundations of Garside theory
• Parabolic subgroups of Garside groups.

Cites work

• A new approach to the word and conjugacy problems in the braid groups
• Artin-Gruppen und Coxeter-Gruppen
• Braids, Links, and Mapping Class Groups. (AM-82)
• Explicit presentations for the dual braid monoids
• Gaussian Groups and Garside Groups, Two Generalisations of Artin Groups
• Groups with a complemented presentation
• scientific article; zbMATH DE number 52907 (Why is no real title available?)
• scientific article; zbMATH DE number 3530652 (Why is no real title available?)
• scientific article; zbMATH DE number 3297198 (Why is no real title available?)
• Les immeubles des groupes de tresses généralises
• On the geometry of semigroup presentations
• Positive presentations of the braid groups and the embedding problem.
• Springer theory in braid groups and the Birman-Ko-Lee monoid.
• THE BRAID GROUP AND OTHER GROUPS
• THE CONJUGACY PROBLEM IN SMALL GAUSSIAN GROUPS

Cited in

(14)

• Structure groups of \(L\)-algebras and Hurwitz action
• On some torus knot groups and submonoids of the braid groups
• Cyclic amalgams, HNN extensions, and Garside one-relator groups
• Finite transducers for divisibility monoids
• Garside groups and Yang-Baxter equation.
• Groupes de Garside
• A class of Garside groupoid structures on the pure braid group
• Normal forms of random braids.
• The center of thin Gaussian groups
• A note on Garside monoids and \({\mathcal{M}} \)-braces
• On some Garsideness properties of structure groups of set-theoretic solutions of the Yang-Baxter equation
• A new Garside structure on torus knot groups and some complex braid groups
• The group of fractions of a torsion free lcm monoid is torsion free.
• Alternating normal forms for braids and locally Garside monoids.

This page was built for publication: Automatic Structures for Torus Link Groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4474524)