Geometry of Prym varieties for certain bielliptic curves of genus three and five (Q2071462)

Let \({\mathcal C}\) be a closed Riemann surface of genus two. The general theory asserts that the hyperelliptic involution \(\tau\) of \({\mathcal C}\) always lifts to any abelian covering of it. The authors provide an explicit construction of a tower of unbranched \({\mathbb Z}_{2}\)-coverings of Riemann surfaces \({\mathcal F} \stackrel{q}{\to} {\mathcal H} \stackrel{p}{\to} {\mathcal C}\) (so, \({\mathcal H}\) has genus three and \({\mathcal F}\) has genus five) such that the composite covering \(p \circ q:{\mathcal F} \to {\mathcal C}\) is a \({\mathbb Z}_{2}^{2}\)-covering. These constructions are provided by Theorems 1.1. and 1.2. of the paper. One of the liftings of \(\tau\) under \(p\) is an involution \(j\) with four fixed points such that \({\mathcal E}={\mathcal H}/ \langle j \rangle\) has genus one (and four conical points of order two). There is also a lifting \(j'\) of \(\tau\) under \(q \circ p\) which is an involution with eigth fixed points such that \({\mathcal E}'={\mathcal F}/ \langle j' \rangle\) has genus one (and eight conical points of order two). The Prym variety associated to the \(\langle j \rangle\)-branched covering \({\mathcal H} \to {\mathcal E}\) is an abelian surface with a polarization of type \((1,2)\) which is \(2\)-isogenous to the jacobian variety \(J({\mathcal C})\). The Prym variety associated to the covering \(q:{\mathcal F} \to {\mathcal H}\) is isomorphic to the jacobian variety \(J({\mathcal C}')\) of a genus two curve \({\mathcal C}'\) (explicitly described in Theorem 1.2. of the paper), which is also isomorphic to the quotient \(J({\mathcal C})/G'\), where \(G'\) is a subgroup maximally isotropic (under the Weil pairing) of the \(2\)-torsion subgroup of the jacobian variety \(J({\mathcal C})\). Moreover, there is an embedding of \({\mathcal F}\) into such a Prym variety (as a curve of self-intersection eight).