Supersingular Elliptic Curves Without Inseparable Small Degree Endomorphisms
math.NT, cs.CR
Submitted: 2026-09-03
Updated: 2026-09-03
Comments: Computational supplement available at https://github.com/Nicswansonwaterloo/MaxFrobeniusConj
Code: https://github.com/Nicswansonwaterloo/MaxFrobeniusConj
License: http://creativecommons.org/licenses/by/4.0/
The gist: For a fixed characteristic p, let δ(p) denote the smallest degree needed to guarantee the existence of an isogeny from any supersingular curve E to its Frobenius conjugate E(p).
Terminology
Abstract
For a fixed characteristic p, let δ(p) denote the smallest degree needed to guarantee the existence of an isogeny from any supersingular curve E to its Frobenius conjugate E(p). We translate existence questions concerning δ(p) into questions about positive definite integral ternary quadratic forms and use Voronoi's theory of perfect forms in dimension three to characterize when δ(p) is nearly maximal. For sufficiently large primes, we show that δ(p) attains its upper bound precisely when p is represented by one of nine explicit cubic polynomials, reducing the infinitude of such primes to whether one of these cubics takes prime values infinitely often. We also prove that, for almost all primes, δ(p) lies at least p 1/6-o(1) below its upper bound.
Sources
- Minimal degree of an isogeny between a supersingular elliptic curve and its conjugate
- Inseparable endomorphisms and rank-2 sublattices of the Gross lattice