Finding the complement of an elliptic curve inside a Jacobian
This note gives a simple algorithm for the following effectivity problem: given a genus $2$ curve $X$ together with a nonconstant map $π:X\to E$ to an elliptic curve, determine an elliptic curve $E'$ and a map $π':X\to E'$ independent of $π$. Equivalently, we compute the complementary elliptic factor in the decomposition of $\operatorname{Jac}(X)$ up to isogeny. While the problem has been studied extensively, and more general ones have been solved by deep and powerful techniques, we are not aware of a reference for the simple explicit procedure described here.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.02429
curl -X POST /api/v1/records/arxiv/2606.02429/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.02429/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'