Consider an algebraically closed field $k$ of prime characteristic. It is widely known that up to $k$-isomorphism there is a finite number of supersingular elliptic curves over $k$. Let $C$ be a projective reduced irreducible smooth genus 2 curve over $k$. It is called supersingular if the Jacobian $J_C$ is supersingular.

Is there a finite number of supersingular genus 2 curves over $k$ up to $k$-isomorphism?

  • 6
    $\begingroup$ There are infinitely many pairwise non-isomorphic supersingular abelian surfaces over $\overline{\mathbb{F}_p}$. (You even have a family parametrized by $\mathbb P^1$, but peu importe.) Is the Torelli map $\mathcal{M}_2\to \mathcal{A}_2$ surjective? Is the pull-back of the supersingular locus (contained in) the supersingular locus of $\mathcal{M}_2$? $\endgroup$ – Ariyan Javanpeykar Aug 31 '17 at 10:22
  • 6
    $\begingroup$ @Ariyan Javanpeykar I think it contains everything but the products of two elliptic curves, of which only finitely many are supersingular. $\endgroup$ – Will Sawin Sep 3 '17 at 14:23
  • 2
    $\begingroup$ @WillSawin Yes. You're right. This answers the question right? $\endgroup$ – Ariyan Javanpeykar Sep 3 '17 at 19:17

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Browse other questions tagged or ask your own question.