Word Length Formulae and Normal Forms of Conjugacy Classes in Surface Groups

Abstract

In this paper, we primarily investigate the following symmetric presentation of the surface group $\ddot{I}{€}_1(\hat{I}{\pounds }_g)=⟨c_1,\dots ,c_{2g}\mid c_1\cdots c_{2g}{c}_1^{-1}\cdots c_{2g}^{-1}⟩$. For every nontrivial element $x\in \ddot{I}{€}_1(\hat{I}{\pounds }_g)$, we obtain a uniform representation of the normal forms of $x^k$ under the length-lexicographical order. Based on this, we find a new relation among these normal forms, and then derive the following three formulae related to the word length: $|x^2|>|x|$; $|x^k|=(k-1)(|x^2|-|x|)+|x|$; ${\lim }_{k\to \infty }\frac{|x^k|}{k}=|x^2|-|x|$. Moreover, we extend these results to obtain analogous but less precise formulae for every minimal geometric presentation. Then, we define the normal forms of conjugacy classes in $\ddot{I}{€}_1(\hat{I}{\pounds }_g)$ and give a criterion for determining the conjugacy of elements. As a consequence, we give efficient algorithms for solving the root-finding and conjugacy problems. Finally, we present applications concerning the computation of some growth rates.

61 pages, 6 figures; Section 9 added; all other content unchanged