Typical arithmetic structure of elliptic-curve orders
Status Partially solved · unsolvedmath.comLLM status Open unverified
Top Open Problems Not reported cataloguedPartially solvedOpenStatement
Definitions and mathematical statement
For an elliptic curve $E/{\mathbb{F}}_q$, let $N_q(E)=\#E({\mathbb{F}}_q)$, including the identity point. It lies in the Hasse interval \[ q+1-2\sqrt q\leq N_q(E)\leq q+1+2\sqrt q. \] Its arithmetic structure concerns the integer factorization \[ N_q(E)=\prod_{\ell\text{ prime}}\ell^{v_\ell(N_q(E))}, \] for example its prime factors, valuations, smoothness, or primality, rather than merely its magnitude or the abstract group structure of $E({\mathbb{F}}_q)$.Shparlinski asks to characterize the typical arithmetic structure of these orders as elliptic curves over finite fields vary. A precise distribution statement must specify how curves and fields are sampled and which arithmetic statistics and limiting regime are intended. Uniform Weierstrass equations, uniform isomorphism classes, and classes weighted by reciprocal automorphism-group size are different sampling rules. The source also does not say whether $q$ runs over primes, all prime powers, or powers of a fixed characteristic.
The supplied summary discusses order distribution in the Hasse interval and partial factorization results. Its informal near-uniform distribution claim does not supply a precise measure, estimate, or factorization law. The present task is not reduced to the Hasse size bound, and no numerical threshold for smoothness or a particular limiting distribution is invented.
Short English statement
Describe how the prime factorization of an elliptic curve's finite-field order typically behaves. The source leaves the sampling of curves and fields, arithmetic statistics, and asymptotic regime unspecified.Sources
- Local UnsolvedMath registry, permanent ID 8800037, source code catalogue entry; attributed to Igor Shparlinski; no proposal year supplied; update 2026-08-06.
- IPAM, Workshop on Number Theory and Cryptography --- Open Problems (2006), attachment 6224, PDF page 3: https://www.ipam.ucla.edu/programs/workshops/workshop-i-number-theory-and-cryptography-open-problems/?tab=schedule. Registry access date 2026-07-29; PDF and legacy-PPT visual audit. Provenance reports 19 surviving attachments, 17 PDFs and two legacy PPT decks, with repetitions and solved definitions excluded. Present status and redistribution terms require review.
- The summary names Lenstra (1987), Deuring (1941), and Luca--Shparlinski for related distribution and arithmetic results without full bibliographic entries or exact hypotheses. Its reference to "0041" for smooth orders is a supplied cross-reference, not a separate verified theorem.
Statement licence: CC-BY-4.0 · Source file
Contributions 0
No attempts yet. Significant partial results and substantial reductions are welcome. Contribute an attempt.