Computing isogenies from modular equations in genus two
arXiv:2001.04137
Abstract
We present an algorithm solving the following problem: given two genus 2 curves over a field k with isogenous Jacobians, compute such an isogeny explicitly. This isogeny can be either an l-isogeny or, in the real multiplication case, an isogeny with cyclic kernel; we require that k have large enough characteristic and that the curves be sufficiently generic. Our algorithm uses modular equations for these isogeny types, and makes essential use of an explicit Kodaira--Spencer isomorphism in genus 2.
References in corpus (9)
- Quotients by Groupoids
- A Luna étale slice theorem for algebraic stacks
- Fast algorithms for computing isogenies between elliptic curves
- Existence and properties of geometric quotients
- Rigorous computation of the endomorphism ring of a Jacobian
- The étale local structure of algebraic stacks
- The canonical embedding of an unramified morphism in an étale morphism
- A quasi-linear time algorithm for computing modular polynomials in dimension 2
- Counting Points on Genus 2 Curves with Real Multiplication