Systoles of hyperbolic surfaces with big cyclic symmetry (Q829458)

The authors calculate the exact values of the systoles of hyperbolic surfaces of genus \(g\) with cyclic symmetry of the maximum order, depending on their genus. More specifically, the following is a main result in this article. Theorem. Suppose \(\Sigma_g^1\) and \(\Sigma_g^2\) are hyperbolic surfaces with cyclic symmetry of orders \(4g\) and \(4g + 2\) respectively. Then, we have (1) \(sys(\Sigma_g^1)\) \(=\) \(2 arccosh(1+2 cos \frac{\pi}{2g})\) for \(g \geq 4\) and (2) \(sys(\Sigma_g^2)\) \(=\) \(2 arccosh(1+ cos \frac{\pi}{2g + 1} + cos \frac{2\pi}{2g + 1} )\) for \(g \geq 7\). Note we assume all the surfaces are closed and orientable, any symmetries on surfaces are orientation preserving maps. Further, when we talk about these maps on hyperbolic surfaces, they are isometries. The values below are obtained by using the theorem. \hspace{20mm} Genus \hspace{10mm} \(sys(\Sigma_g^1)\) \hspace{33mm} Genus \hspace{10mm} \(sys(\Sigma_g^2)\) \hspace{25mm} 4 \hspace{10mm} 3.41464123 \hspace{35mm} 7 \hspace{10mm} 3.44730852 \hspace{25mm} 5 \hspace{10mm} 3.45497357 \hspace{35mm} 8 \hspace{10mm} 3.46473555 \hspace{25mm} 6 \hspace{10mm} 3.47667914 \hspace{35mm} 9 \hspace{10mm} 3.47691634 There are several interesting references I would like to include. First of all, the study of hyperbolic systoles has a long history and a survey of the study is found in [\textit{H. Parlier}, IRMA Lect. Math. Theor. Phys. 19, 113--134 (2014; Zbl 1314.30081)]. There are also some results close to the ones shown in this article. For instance, [\textit{F. Jenni}, Comment. Math. Helv. 59, 193--203 (1984; Zbl 0541.30034)] shows the maximal systole of genus \(2\) surfaces and \textit{C. Bavard} in [``La systole des surfaces hyperelliptiques'', Prépubl. Éc. Norm. Sup. Lyon, 71, 1--6 (1992)] has obtained that of genus \(2\) and \(5\) hyperbolic surfaces. Finally, the paper has an appendix showing us codes in MATLAB which I strongly think useful since interested readers can easily test approximations based upon theories discussed by the authors.