A Whitehead algorithm for surface groups (Q1585063): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q127878358, #quickstatements; #temporary_batch_1722035971323 |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/s0040-9383(99)00027-0 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2082663834 / rank | |||
Normal rank |
Latest revision as of 12:02, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A Whitehead algorithm for surface groups |
scientific article |
Statements
A Whitehead algorithm for surface groups (English)
0 references
24 June 2001
0 references
A problem about a group and its automorphisms: Given finite sets \(\{a_1,\dots,a_n\}\) and \(\{b_1,\dots,b_n\}\) of elements of a group \(G\), is there an automorphism of \(G\) taking \(a_i\) to \(b_i\) for all \(i\)? If so, find one. In 1936, J.~H.~C. Whitehead found an elegant algorithm which solves this problem for a finitely generated free group. In 1984, Collins and Zieschang extended Whitehead's methods to free products of finitely many freely indecomposable groups, assuming that the above problem, which will be called the Whitehead problem, can be solved in each factor. In this paper, the authors give an algorithm to solve the Whitehead problem for the fundamental group of a closed surface \(\Sigma\) and a surface with boundary. If one represents the elements \(a_i\) and \(b_i\) in \(\pi_1(\Sigma,p)\) by loops, the problem then translates into the following problem about closed curves on a surface: Is there a diffeomorphism of \(\Sigma\) fixing \(p\) which takes each \(\alpha_i\) to a loop homotopic to \(\beta_i\)? If so, find one. The solution to this geometric problem relies in part on work of Hass and Scott on straightening curves on surfaces.
0 references
Whitehead problem
0 references
fundamental groups of closed surfaces
0 references
automorphisms
0 references
free products
0 references