The Zieschang-McCool method for generating algebraic mapping-class groups.

DOI10.1515/GCC.2011.007MaRDI QIDQ2884684zbMATH OpenOpenAlexFDO

Authors Lluís Bacardit, Warren Dicks

Publication date 18 May 2012

Published in Groups, Complexity, Cryptology (Search for Journal in Brave)

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

zbMATH Keywords

generating setsautomorphisms of free groupsalgebraic mapping-class groupsZieschang groupoids

Mathematics Subject Classification ID

Free nonabelian groups (20E05) Automorphisms of infinite groups (20E36) Generators, relations, and presentations of groups (20F05) Fundamental group, presentations, free differential calculus (57M05) Group actions on manifolds and cell complexes in low dimensions (57M60)

Abstract: Let g and p be non-negative integers. Let A(g,p) denote the group consisting of all those automorphisms of the free group on {t_1,...,t_p, x_1,...,x_g, y_1,...y_g} which fix the element t_1t_2...t_p[x_1,y_1]...[x_g,y_g] and permute the set of conjugacy classes {[t_1],....,[t_p]}. Labru`ere and Paris, building on work of Artin, Magnus, Dehn, Nielsen, Lickorish, Zieschang, Birman, Humphries, and others, showed that A(g,p) is generated by a set that is called the ADLH set. We use methods of Zieschang and McCool to give a self-contained, algebraic proof of this result. Labru`ere and Paris also gave defining relations for the ADLH set in A(g,p); we do not know an algebraic proof of this for g > 1. Consider an orientable surface S(g,p) of genus g with p punctures, such that (g,p) is not (0,0) or (0,1). The algebraic mapping-class group of S(g,p), denoted M(g,p), is defined as the group of all those outer automorphisms of the one-relator group with generating set {t_1,...,t_p, x_1,...,x_g, y_1,...y_g} and relator t_1t_2...t_p[x_1,y_1]...[x_g,y_g] which permute the set of conjugacy classes {[t_1],....,[t_p]}. It now follows from a result of Nielsen that M(g,p) is generated by the image of the ADLH set together with a reflection. This gives a new way of seeing that M(g,p) equals the (topological) mapping-class group of S(g,p), along lines suggested by Magnus, Karrass, and Solitar in 1966.

Recommendations

• Generating the mapping class group. (An algebraic approach)
• scientific article; zbMATH DE number 848087
• Automorphism subgroups of finite index in algebraic mapping class groups
• A simple presentation for the mapping class group of an orientable surface
• Algebraic mapping-class groups of orientable surfaces with boundaries

Cites work

• Actions of the Braid Group, and New Algebraic Proofs of Results of Dehornoy and Larue
• Alternierende Produkte in freien Gruppen
• Alternierende Produkte in freien Gruppen. II
• Automorphism subgroups of finite index in algebraic mapping class groups
• Curves von 2-manifolds and isotopies
• Die Gruppe der Abbildungsklassen. (Das arithmetische Feld auf Flächen.)
• Generating the mapping class group. (An algebraic approach)
• Mapping class groups and their relationship to braid groups
• On equivalent sets of elements in a free group
• On the homeotopy groups of surfaces
• Presentations for the punctured mapping class groups in terms of Artin groups
• Über Automorphismen ebener diskontinuierlicher Gruppen
• Über Automorphismen von Fundamentalgruppen berandeter Flächen

Cited in

(1)

• An effective algebraic detection of the Nielsen-Thurston classification of mapping classes

This page was built for publication: The Zieschang-McCool method for generating algebraic mapping-class groups.

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