Abstract:Isogeny volcanoes are graphs whose vertices are elliptic curves and whose edges are ℓ\ell-isogenies. Algorithms allowing to travel on these graphs were developed by Kohel in his thesis (1996) and later on, by Fouquet and Morain (2001). However, up to now, no method was known, to predict, before taking a step on the volcano, the direction of this step. Hence, in Kohel’s and Fouquet-Morain’s algorithms, many steps are taken before choosing the right direction. In particular, ascending or horizontal isogenies are usually found using a trial-and-error approach. In this paper, we propose an alternative method that efficiently finds all points PP of order ℓ\ell such that the subgroup generated by PP is the kernel of a horizontal or an ascending isogeny. In many cases, our method is faster than previous methods. This is an extended version of a paper published in the proceedings of ANTS 2010. In addition, we treat the case of 2-isogeny volcanoes and we derive from the group structure of the curve and the pairing a new invariant of the endomorphism class of an elliptic curve. Our benchmarks show that the resulting algorithm for endomorphism ring computation is faster than Kohel’s method for computing the ℓ\ell-adic valuation of the conductor of the endomorphism ring for small ℓ\ell.

Bounds on Heights of $2$-isogeny Graphs in Ordinary Curves over $\mathbb{F}_p$ and $\mathbb{F}_{p^2}$ and Its Application

Ordinary isogeny graphs over $\mathbb{F}_p$: the inverse volcano problem

On ordinary isogeny graphs with level structure

On the ranks of elliptic curves with isogenies

Quantitative upper bounds related to an isogeny criterion for elliptic curves

Pairing the volcano

Families of isogenous elliptic curves ordered by height

Boundedness of trace fields of rank two local systems

Bounds for Rational Points on Algebraic Curves, Optimal in the Degree, and Dimension Growth

On towers of Isogeny graphs with full level structure

Heights and quantitative arithmetic on stacky curves

Towards strong uniformity for isogenies of prime degree

Algorithms for $p$-adic Heights on Hyperelliptic Curves of Arbitrary Reduction

Tate-Shafarevich groups of constant elliptic curves and isogeny volcanos

Effective Height Upper Bounds on Algebraic Tori

Iwasawa theory and ranks of elliptic curves in quadratic twist families

Height inequality of algebraic points on curves over functional fields

Lower bounds of the canonical height on quadratic twists of elliptic curves

Arithmetic Dijkgraaf-Witten invariants for real quadratic fields, quadratic residue graphs, and density formulas