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

DOI10.1515/GCC.2011.007zbMATH Open1278.20043arXiv1104.5451OpenAlexW3104825298MaRDI QIDQ2884684FDOQ2884684

Authors: Lluís Bacardit, Warren Dicks 

Publication date: 18 May 2012

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

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.

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

Recommendations

• Generating the mapping class group. (An algebraic approach)
• Publication:4867139
• 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

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)

Cites Work

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

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)