Isogenous hyperelliptic and non-hyperelliptic Jacobians with maximal complex multiplication

Bogdan Dina (1) , Sorina Ionica (2) , Jeroen Sijsling (1)

1 Universität Ulm - Ulm University [Ulm, Allemagne]
2 MIS - Modélisation, Information et Systèmes - UR UPJV 4290

We analyze complex multiplication for Jacobians of curves of genus 3, as well as the resulting Shimura class groups and their subgroups corresponding to Galois conjugation over the reflex field. We combine our results with numerical methods to find CM fields K for which there exist both hyperelliptic and non-hyperelliptic curves whose Jacobian has complex multiplication by ZK. More precisely, we find all sextic CM fields K in the LMFDB for which (heuristically) Jacobians of both types with CM by ZK exist. There turn out to be 14 such fields among the 547,156 sextic CM fields that the LMFDB contains. We determine invariants of the corresponding curves, and in the simplest case we also give an explicit defining equation.

Mots clés: May 18; 2021. 2020 Mathematics Subject Classification. 14H40; 14H25; 14H45; 14H50; 14K20; 14K22 Complex multiplication; hyperelliptic curve; plane quartic

Domaines: Mathématiques générales [math.GM]; Théorie des nombres [math.NT]

Bogdan Dina, Sorina Ionica, Jeroen Sijsling. Isogenous hyperelliptic and non-hyperelliptic Jacobians with maximal complex multiplication. Mathematics of Computation, 2023, 92, pp.349-383. ⟨hal-03251240⟩