On knots and links in lens spaces (Q1935859)

For a knot or link in a lens space, its diagram is introduced as follows. In the usual way, a lens space \(L(p,q)\) is obtained as a quotient of the unit \(3\)-ball by the composition of a \(2\pi q/p\) rotation around the \(z\)-axis and the reflection with respect to the \(xy\)-plane. For a knot or link \(L\) in \(L(p,q)\), take an inverse image of \(L\) to this \(3\)-ball. After a suitable isotopy of \(L\), we obtain the diagram on the equatorial disk of the \(3\)-ball. Such diagrams were introduced for the case \(L(2,1)\) by \textit{Yu.V. Drobotukhina} [Leningr. Math. J. 2, No. 3, 613--630 (1991); translation from Algebra Anal. 2, No. 3, 171--191 (1990; Zbl 0724.57003)]. For these diagrams, the authors give the generalized Reidemeister moves. They consist of \(7\) types if \(p>2\), \(5\) types if \(p=2\). Two links in \(L(p,q)\) are equivalent if and only if there is a finite sequence of generalized Reidemeister moves changing one into the other. Furthermore, the Wirtinger-type presentation of the fundamental group of the link complement can be obtained from the diagram. Finally, Alexander polynomials and twisted Alexander polynomials are discussed.