The conjugacy problem for Dehn twist automorphisms of free groups
type: Item
instance of: scholarly article
title: The conjugacy problem for Dehn twist automorphisms of free groups
zbMATH Open document ID: 0956.20021
author: Marshall M. Cohen
author: Martin Lustig
published in: Commentarii Mathematici Helvetici
publication date: 2001-03-06T00:00:00Z
review text: A Dehn twist \(D=D({\mathcal G},(z_e)_{e\in E}({\mathcal G}))\) consists of a graph of groups \(\mathcal G\) and for every edge \(e\) of \(\mathcal G\) a specified \(z_e\) in the centre of the edge group \(G_e\). This determines a Dehn twist automorphism \(D_\upsilon\) of the fundamental group \(\pi_1({\mathcal G},\upsilon)\) for each vertex \(\upsilon\) of \(\mathcal G\) and hence an automorphism of the abstract group \(\pi_1({\mathcal G})\) which is well defined up to inner automorphisms. The classic example is that of an automorphism of the fundamental group of a surface which is induced by a Dehn twist homeomorphism of the surface. Thus \(D\) determines an outer automorphism \(\widehat D\in\text{Out}(\pi({\mathcal G}))\). A Dehn twist automorphism of the free group \(F_n\) is an automorphism which is conjugate to such a Dehn twist automorphism of \(\pi_1({\mathcal G},\upsilon)\) for some graph of groups \(\mathcal G\). The main result is an algorithm which decides whether two given Dehn twist automorphisms of the free group \(F_n\) are conjugate or conjugate up to an inner automorphism. It is also announced that the results of the present paper will be extended in the forthcoming paper by \textit{S. Krstic}, \textit{M. Lustig} and \textit{K. Vogtmann} [An equivariant Whitehead algorithm and conjugacy for roots of Dehn twists (preprint 1997)] to roots of Dehn twist automorphisms (and hence to all automorphisms of \(F_n\) of linear growth) and will be a key part of the second author's complete solution of the conjugacy problem for \(\text{Out}(F_n)\) as announced in \textit{M. Lustig}'s survey preprint 1994 [Prime factorization and conjugacy problem in \(\text{Out}(F_n)\)].
Mathematics Subject Classification ID: 20E36
Mathematics Subject Classification ID: 20E05
Mathematics Subject Classification ID: 20F10
Mathematics Subject Classification ID: 20F28
Mathematics Subject Classification ID: 57M07
Mathematics Subject Classification ID: 20E08
zbMATH DE Number: 1333319
zbMATH Keywords: conjugacy problem
zbMATH Keywords: graphs of groups
zbMATH Keywords: fundamental groups
zbMATH Keywords: inner automorphisms
zbMATH Keywords: Dehn twist homeomorphisms
zbMATH Keywords: outer automorphisms
zbMATH Keywords: free groups
zbMATH Keywords: Dehn twist automorphisms
MaRDI profile type: Publication
full work available at URL: s000140050085
OpenAlex ID: W2023592829
DOI: 10.1007/S000140050085
description: scientific article; zbMATH DE number 1333319