Dehn twist presentations of hyperelliptic periodic diffeomorphisms on closed surfaces (Q2216087)

An orientation preserving diffeomorphism from a closed orientable surface \(\Sigma_g\) to itself is called a periodic diffeomorphism, if there is a positive integer \(n\) such that \(f^n=id_{\Sigma_g}\). A special periodic diffeomorphism on \(\Sigma_g\), an involution \(I\) (\(I^2=id_{\Sigma_g}\)), is called a hyperelliptic involution, if it fixes \(2g+2\) points on \(\Sigma_g\). A periodic diffeomorphism which commutes with a hyperelliptic involution is called a hyperelliptic periodic diffeomorphism. There are various results on the well-known problems of finding conjugacy classes and giving presentations (written as a product of Dehn twists) of mapping classes of periodic diffeomorphisms in the mapping class group of \(\Sigma_g\). One of these results is given by \textit{M. Ishizaka} [Rev. Mat. Complut. 20, No. 2, 483--495 (2007; Zbl 1132.14010)], where the author gave a list of conjugacy classes of hyperelliptic periodic diffeomorphisms in Lemma 1.3 and a right-handed Dehn twist presentation of them in Theorem 2.1, using resolutions of singularities of a family of Riemann surfaces. In the paper under review, similar to Ishizaka's results, a classification for conjugacy classes and presentation of mapping classes of hyperelliptic periodic diffeomorphisms on \(\Sigma_g\) in the mapping class group of \(\Sigma_g\) (in the pointed mapping class group of \(\Sigma_g\) for the latter) is given by using elementary techniques. In this study, the periodic diffeomorphisms \(f_1\), \(f_2\) and \(f_3\), which can be defined as clockwise \(\frac{2\pi}{4g+2}\) rotation of an \(8g+4\)-gon, \(\frac{2\pi}{4g}\) rotation of an \(8g\)-gon, \(\frac{2\pi}{2g+2}\) rotation of a \(4g+4\)-gon, respectively, are considered. They commute with the involutions \(I\), where for \(f_1\), \(f_2\), \(I=f_i^{n_i/2}\) for \(i=1,2\) with \(n_1=4g+2,\ n_2=4g\) respectively and for \(f_3\), \(I\) is the clockwise \(\pi\) rotation of one of the \(4g+4\) domains in the \(4g+4\)-gon in the group of orientation preserving diffeomorphisms of \(\Sigma_g\). It is proved that if \(f\) is a hyperelliptic periodic diffeomorphism on \(\Sigma_g\) then the subgroup generated by \(f\) and a hyperelliptic involution \(I\) is conjugate to one of the subgroups generated by \(f_i\) and \(I\), for \(i=1,2,3\) in the group of orientation preserving diffeomorphisms of \(\Sigma_g\). As an application, a right-handed Dehn twist presentation for the conjugacy class of each \(f_i\) in the pointed mapping class group of \(\Sigma_g\) with the marked point as the barycenter of polygons (as described above) is given using a different set of curves from Ishizaka. The presentations given by Ishizaka and the presentations given in this paper can be related by the forgetful map.