← Back to arXiv
arXivNumber TheoryarXiv:2609.11037

Ordinary 3-Isogeny Graphs and Improvement of Supersingularity Testing for Twisted Hessian Curves over Prime Fields

Elliptic curves are fundamental objects in modern cryptography and number theory. One important question about an elliptic curve defined over a finite field is whether it is "supersingular" or "ordinary," a distinction that has major implications for cryptographic security and algorithmic efficiency. A classical tool for answering this question is Sutherland's algorithm, which works by studying the network of mathematical maps called isogenies that connect elliptic curves to one another. These networks form layered structures called volcanoes, where curves sit at different levels, and the level a curve occupies reveals information about its arithmetic properties.

This paper focuses on a specific family of elliptic curves called twisted Hessian curves, studied over prime fields satisfying a particular condition on the prime. The authors show that when this condition holds, every ordinary twisted Hessian curve sits specifically at the top layer, called the surface, of a 3-volcano. This is a structural result about where these curves live within the isogeny network, and it is non-trivial because curves can generally sit at any level of the volcano. Using this insight, the authors build an improved version of Sutherland's supersingularity testing algorithm that is tailored to this setting, taking advantage of the special position of these curves to reduce the computational work needed.

The paper also establishes a clean algebraic criterion connecting a curve's position in the volcano to a property of its j-invariant, which is a number that uniquely identifies the curve up to isomorphism. Specifically, the authors show that a twisted Hessian curve is ordinary and sits at the bottom layer of a 3-volcano if and only if its j-invariant is not a perfect cube in the relevant finite field. This generalizes a previously known fact about supersingular curves and gives a simple, computable test for determining where a curve sits in the volcanic structure, linking abstract geometry to concrete arithmetic.

Read original →