Constructing all genus 2 curves with supersingular Jacobian (Q2145874)

A principally polarized abelian variety is called supersingular if it is isogenous to a product of supersingular elliptic curves. The locus of supersingular abelian varieties, in the moduli space of principally polarized abelian varieties of dimension \(g\), is known to be a variety whose irreducible components are all of the same dimension \([g/2]\). Let us now assume \(g=2\). In [\textit{L. Moret-Bailly}, Astérisque 86, 125--140 (1981; Zbl 0515.14007)], it is provided familes \({\mathcal A} \to {\mathbb P}^{1}\). In [\textit{T. Katsura} and \textit{F. Oort}, Compos. Math. 62, 107--167 (1987; Zbl 0636.14017)], it is observed that every supersingular principally polarized abelian variety is a fiber of one of these families. Moret-Bailly obtains a relative divisor \({\mathfrak C} \subset {\mathcal A}\) such that the fibers of \({\mathfrak C} \to {\mathbb P}^{1}\) are either smooth curves of genus two or two elliptic curves intersecting transversely. In the paper under review, the author provides an algorithm that computes all the non-singular fibers of the families \({\mathfrak C} \to {\mathbb P}^{1}\).