Elliptic curves attached to Jacobians with imaginary multiplication
Abstract
Let M be an imaginary quadratic field and A be an abelian variety of odd dimension g defined over Q for which there is a unitary algebra embedding of M in End^0(A_M) of signature ((g+1)/2,(g-1)/2). Extending a result by Fité and Goodman, we show the existence of an elliptic curve E over Q with complex multiplication by M such that H_et^1(E_Qbar, Q_l) is a G_Q-subrepresentation of H_et^g ( A_Qbar, Q_l((g-1)/2) ). The main results of the article consist on explicit descriptions of E for A in two different families. First, when A is the Jacobian of the curve y^2 = xh(x^2), where h in Z[x] is a degree g monic separable polynomial with nonzero h(0), we show that E is given by y^2 = x^3 + h(0)x. Second, when A is the Jacobian of y^3=f(x), where h in Z[x] is a degree 4 monic separable polynomial, we show that E is given by y^2 = x^3 + 16 disc(f). This latter result builds on work by Laga and Shnidman in the bielliptic case, of which we give an alternative proof by means of a new p-adic method. As an application, we derive a practical average polynomial time algorithm to compute the Zeta functions of the reductions of a Picard curve.
Related
- Counterexamples to Dujella's conjecture on integral points on the elliptic curve attached to a Diophantine triple
- Factorization patterns and fields of definition of ℓ-torsion points on the Jacobians of genus 3 hyperelliptic curves
- Computing residual representations of abelian threefolds with imaginary multiplication
- Bad Reduction of Genus Two Curves with complex multiplication
- Torsion points in families of elliptic curves
BibTeX
@misc{fite2026elliptic,
title = {{Elliptic curves attached to Jacobians with imaginary multiplication}},
author = {Francesc Fité and Francesc Pedret},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.19069},
eprint = {2610.19069},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.19069},
}
RIS
TY - UNPB
TI - Elliptic curves attached to Jacobians with imaginary multiplication
AU - Francesc Fité
AU - Francesc Pedret
PY - 2026
DA - 2026/10/13
PB - arXiv
DO - 10.48550/arxiv.2610.19069
UR - https://arxiv.org/abs/2610.19069
AB - Let M be an imaginary quadratic field and A be an abelian variety of odd dimension g defined over Q for which there is a unitary algebra embedding of M in End^0(A_M) of signature ((g+1)/2,(g-1)/2). Extending a result by Fité and Goodman, we show the existence of an elliptic curve E over Q with complex multiplication by M such that H_et^1(E_Qbar, Q_l) is a G_Q-subrepresentation of H_et^g ( A_Qbar, Q_l((g-1)/2) ). The main results of the article consist on explicit descriptions of E for A in two different families. First, when A is the Jacobian of the curve y^2 = xh(x^2), where h in Z[x] is a degree g monic separable polynomial with nonzero h(0), we show that E is given by y^2 = x^3 + h(0)x. Second, when A is the Jacobian of y^3=f(x), where h in Z[x] is a degree 4 monic separable polynomial, we show that E is given by y^2 = x^3 + 16 disc(f). This latter result builds on work by Laga and Shnidman in the bielliptic case, of which we give an alternative proof by means of a new p-adic method. As an application, we derive a practical average polynomial time algorithm to compute the Zeta functions of the reductions of a Picard curve.
ER -