L. Moret-Bailly constructed families $mathfrak{C}rightarrow mathbb{P}^1$ of genus 2 curves with supersingular jacobian. In this paper we first classify the reducible fibers of a Moret-Bailly family using linear algebra over a quaternion algebra. The main result is an algorithm that exploits properties of two reducible fibers to compute a hyperelliptic model for any irreducible fiber of a Moret-Bailly family.
We describe a method to show that certain elliptic surfaces do not admit purely inseparable multisections (equivalently, that genus one curves over function fields admit no points over the perfect closure of the base field) and use it to show that any non-Jacobian elliptic structure on a very general supersingular K3 surface has no purely inseparable multisections. We also describe specific examples of such fibrations without purely inseparable multisections. Finally, we discuss the consequences for the claimed proof of the Artin conjecture on unirationality of supersingular K3 surfaces.
We investigate the geometry of etale $4:1$ coverings of smooth complex genus 2 curves with the monodromy group isomorphic to the Klein four-group. There are two cases, isotropic and non-isotropic depending on the values of the Weil pairing restricted to the group defining the covering. We recall from our previous work cite{bo} the results concerning the non-isotropic case and fully describe the isotropic case. We show that the necessary information to construct the Klein coverings is encoded in the 6 points on $mathbb{P}^1$ defining the genus 2 curve. The main result of the paper is the fact that, in both cases the Prym map associated to these coverings is injective. Additionally, we provide a concrete description of the closure of the image of the Prym map inside the corresponding moduli space of polarised abelian varieties.
The supersingular K3 surface X in characteristic 2 with Artin invariant 1 admits several genus 1 fibrations (elliptic and quasi-elliptic). We use a bijection between fibrations and definite even lattices of rank 20 and discriminant 4 to classify the fibrations, and exhibit isomorphisms between the resulting models of X. We also study a configuration of (-2)-curves on X related to the incidence graph of points and lines of IP^2(IF_4).
Given a prime number l greater than or equal to 5, we construct an infinite family of three-dimensional abelian varieties over Q such that, for any A/Q in the family, the Galois representation rho_{A, l}: Gal_Q -> GSp(6, l) attached to the l-torsion of A is surjective. Any such variety A will be the Jacobian of a genus 3 curve over Q whose respective reductions at two auxiliary primes we prescribe to provide us with generators of Sp(6, l).
We reformulate a fundamental result due to Cook, Harbourne, Migliore and Nagel on the existence and irreduciblity of unexpected plane curves of a set of points $Z$ in $mathbb{P}^2$, using the minimal degree of a Jacobian syzygy of the defining equation for the dual line arrangement $mathcal A_Z$. Several applications of this new approach are given. In particular, we show that the irreducible unexpected quintics may occur only when the set $Z$ has the cardinality equal to 11 or 12, and describe five cases where this happens.