Computing residual representations of abelian threefolds with imaginary multiplication
Abstract
Let M be an imaginary quadratic field. Let A be a polarised abelian threefold defined over M with geometric endomorphism algebra isomorphic to M. We study residual Galois representations attached to A. In particular, we describe the endomorphism field and the natural restrictions placed on the residual representations by their endomorphisms. We then devise criteria for the image of residual Galois representations to be large, and provide efficient algorithms suitable for large scale calculations. Subsequently, we apply this algorithm to millions of curves in several families, whose Jacobians are abelian threefolds with imaginary multiplication, and to Sutherland's dataset of $7$-smooth Picard curves. We produce an explicit example of a Picard curve which appears to have an isogeny of degree $13$ defined over ℚ(ζ3). The Jacobians of all other curves, in the range of our computation with endomorphism algebra M, have mod-ℓ image as large as possible for any prime ℓ>7. This allows us to realise the group ΓU3(ℓ) of unitary semisimilitudes as a Galois group over ℚ for all ℓ not≡ 1, 25, 121 pmod168. Our algorithms also led us to the discovery of several interesting rational families of Picard curves whose generic members appear to have endomorphism algebra of dimension $6$ which is not a CM field. These represent curves on the Picard modular surface and appear to be Shimura curves. Some of them appear to parametrise non-principally polarised abelian surfaces with quaternionic multiplication.
Related
BibTeX
@misc{chidambaram2026computing,
title = {{Computing residual representations of abelian threefolds with imaginary multiplication}},
author = {Shiva Chidambaram and Pip Goodman},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.37975},
eprint = {2609.37975},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.37975},
note = {CC BY-NC-SA 4.0},
}
RIS
TY - UNPB
TI - Computing residual representations of abelian threefolds with imaginary multiplication
AU - Shiva Chidambaram
AU - Pip Goodman
PY - 2026
DA - 2026/09/29
PB - arXiv
DO - 10.48550/arxiv.2609.37975
UR - https://arxiv.org/abs/2609.37975
AB - Let M be an imaginary quadratic field. Let A be a polarised abelian threefold defined over M with geometric endomorphism algebra isomorphic to M. We study residual Galois representations attached to A. In particular, we describe the endomorphism field and the natural restrictions placed on the residual representations by their endomorphisms. We then devise criteria for the image of residual Galois representations to be large, and provide efficient algorithms suitable for large scale calculations. Subsequently, we apply this algorithm to millions of curves in several families, whose Jacobians are abelian threefolds with imaginary multiplication, and to Sutherland's dataset of $7$-smooth Picard curves. We produce an explicit example of a Picard curve which appears to have an isogeny of degree $13$ defined over ℚ(ζ_3). The Jacobians of all other curves, in the range of our computation with endomorphism algebra M, have mod-ℓ image as large as possible for any prime ℓ>7. This allows us to realise the group ΓU_3(ℓ) of unitary semisimilitudes as a Galois group over ℚ for all ℓ not≡ 1, 25, 121 pmod168. Our algorithms also led us to the discovery of several interesting rational families of Picard curves whose generic members appear to have endomorphism algebra of dimension $6$ which is not a CM field. These represent curves on the Picard modular surface and appear to be Shimura curves. Some of them appear to parametrise non-principally polarised abelian surfaces with quaternionic multiplication.
ER -