logo IMB
Retour

Séminaire de Théorie Algorithmique des Nombres

Constructing all genus 2 curves with supersingular Jacobian

Andreas Pieper

( Universität Ulm )

Online

le 29 mars 2022 à 10:00

F. Oort showed that the moduli space of principally polarized supersingular abelian surfaces is a union of rational curves. This is proven by showing that every principally polarized supersingular abelian surface is the Jacobian of a fibre of one of the families of genus 2 curves π:CP1\pi: \mathcal{C}\rightarrow \mathbb{P}^1 constructed by L. Moret-Bailly. We present an algorithm that makes this construction effective: Given a point xP1x\in \mathbb{P}^1 we compute a hyperelliptic model of the fibre π1(x)\pi^{-1}(x). The algorithm uses Mumford's theory of theta groups to compute quotients by the group scheme αp\alpha_p.