On isogenies among certain abelian surfaces (Q2153816)

The main theorem of the paper under review is an explicit construction of a plane bi-elliptic quartic curve \(\mathcal{D}\) with three parameters and a bi-elliptic involution \(\pi^{\mathcal{D}}_{\mathcal{E}}\) such that for a general hyperelliptic curve \(\mathcal{C}\) of genus \(2\) with three parameters the Jacobian variety \(\mathrm{Jac}(\mathcal{C})\) of \(\mathcal{C}\) and the Prym variety \(\mathrm{Prym}(\mathcal{D},\, \pi^{\mathcal{D}}_{\mathcal{E}})\) of \(\mathcal{D}\) are \(2\)-isogeny as abelian surfaces. The first part of the paper is devoted to giving an explicit equation for an elliptic curve \(\mathcal{E}\) starting from a Rosenhain normal form of a genus-2 curve \(\mathcal{C}\) such that there exists a hyperelliptic and bi-elliptic genus-3 curve \(\mathcal{H}\) that is a double covering of the both curves \(\mathcal{E}\) and \(\mathcal{C}\). Using this result, in the second part, they give an explicit equation with parameters of the plane bielliptic quartic curve \(\mathcal{D}\) that doubly covers \(\mathcal{E}\) together with its bi-elliptic involution \(\pi^{\mathcal{D}}_{\mathcal{E}}\). In the sequel, a characterization of such a curve \(\mathcal{D}\) and a description of the elliptic fibration on the associated Kummer surface of \(\mathrm{Jac}(\mathcal{C})\) due to Barth and Garbagnati are used.