Finite group actions on prism manifolds which preserve a Heegaard Klein bottle (Q2900339)

The twisted unit interval bundle bundle over a Klein bottle is obtained from the product of the torus \(T= S^1\times S^1\) and the unit interval, \(W= T\times I\), by identifying \((u,v,t)\) and \((-u,\overline v,1-t)\). If \(b\) and \(d\) are relatively prime integers and \(ad- bc= -1\), the prism manifold \(M(b,d)\) is obtained by identifying the boundary of a solid torus to the boundary of \(W\) by the homeomorphism which sends \((u,v)\) to \((u^av^b, u^cv^d)\). A Klein bottle \(K\) embedded in \(M(b,d)\) is called a Heegaard Klein bottle if every regular neighborhood of \(K\) is a twisted \(I\)-bundle over \(K\) and the complement of \(K\) is a solid torus.NEWLINENEWLINE The first major result of this paper is that two actions of a finite group \(G\) on \(M(b,d)\) which preserve a Heegaard Klein bottle \(K\) are equivalent if and only if their restrictions to \(K\) are equivalent and the second asserts that these restrictions have explicit descriptions. The group \(G\) is isomorphic to \(\mathbb{Z}_m\), \(\mathbb{Z}_2\times \mathbb{Z}_m\), \(\text{Dih}(\mathbb{Z}_m)\), or \(\text{Dih}(\mathbb{Z}_2\times \mathbb{Z}_m)\).