Constructing all genus 2 curves with supersingular Jacobian

DOI10.1007/S40993-022-00330-ZMaRDI QIDQ2145874zbMATH OpenOpenAlexWikidataFDO

Authors Andreas Pieper

Publication date 15 June 2022

Published in Research in Number Theory (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2105.13752

zbMATH Keywords

principally polarized abelian varieties

Mathematics Subject Classification ID

[https://duckduckgo.com/?q=MSC%2011G30%20%22Curves+of+arbitrary+genus+or+genus+%28%0D%0Ae+1%29+over+global+fields%22 Curves of arbitrary genus or genus ( e 1) over global fields (11G30)] Jacobians, Prym varieties (14H40) Special algebraic curves and curves of low genus (14H45)

Abstract: L. Moret-Bailly constructed families $mathfrakCightarrowmathbb{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.

Review text

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}\).

Recommendations

• scientific article; zbMATH DE number 3946334
• Families of supersingular curves in characteristic 2.
• Zeta Functions of Supersingular Curves of Genus 2
• On the Existence of Supersingular Curves of Given Genus
• Supersingular hyperelliptic curves of genus 2 over finite fields

Cites work

• Computing isogenies between abelian varieties
• scientific article; zbMATH DE number 3813802 (Why is no real title available?)
• scientific article; zbMATH DE number 4035980 (Why is no real title available?)
• scientific article; zbMATH DE number 3510453 (Why is no real title available?)
• scientific article; zbMATH DE number 1236965 (Why is no real title available?)
• scientific article; zbMATH DE number 3273084 (Why is no real title available?)
• Klassenzahlen definiter quadratischer Formen
• Moduli of supersingular abelian varieties
• On projective normality of abelian varieties. II
• On the equations defining Abelian varieties. I-III
• Quaternion algebras
• Schémas en groupes. II: Groupes de type multiplicatif, et structure des schémas en groupes généraux. Exposés VIII à XVIII. Séminaire de Géométrie Algébrique du Bois Marie 1962/64 (SGA 3) dirigé par Michel Demazure et Alexander Grothendieck. Rev
• Submodules of Quaternion Algebras

Cited in

(6)

• Families of supersingular curves in characteristic 2.
• Mass formula and Oort's conjecture for supersingular abelian threefolds
• Families of curves with Galois action and their L-functions
• On supersingular curves and Abelian varieties.
• On the Existence of Supersingular Curves of Given Genus
• Theta nullvalues of supersingular abelian varieties

This page was built for publication: Constructing all genus 2 curves with supersingular Jacobian

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2145874)