English

Oriented Supersingular Elliptic Curves and Eichler Orders

Number Theory 2024-09-10 v2

Abstract

Let p>3p>3 be a prime and EE be a supersingular elliptic curve defined over Fp2\mathbb{F}_{p^2}. Let cc be a prime with c<3p/16c < 3p/16 and GG be a subgroup of E[c]E[c] of order cc. The pair (E,G)(E,G) is called a supersingular elliptic curve with level-cc structure, and the endomorphism ring End(E,G)\text{End}(E,G) is isomorphic to an Eichler order with level cc. We construct two kinds of Eichler orders Oc(q,r)\mathcal{O}_c(q,r) and Oc(q,r)\mathcal{O}'_c(q,r') with level cc. Interestingly, we prove that each Oc(q,r)\mathcal{O}_c(q,r) or Oc(q,r)\mathcal{O}'_c(q,r') can represent a primitive reduced binary quadratic form with discriminant 16cp-16cp or cp-cp respectively. If a curve EE is Z[cp]\mathbb{Z}[\sqrt{-cp}]-oriented or Z[1+cp2]\mathbb{Z}[\frac{1+\sqrt{-cp}}{2}]-oriented, then we prove that End(E,G)\text{End}(E,G) is isomorphic to Oc(q,r)\mathcal{O}_c(q,r) or Oc(q,r)\mathcal{O}'_c(q,r') respectively. Due to the fact that Z[cp]\mathbb{Z}[\sqrt{-cp}]-oriented isogenies between Z[cp]\mathbb{Z}[\sqrt{-cp}]-oriented elliptic curves could be represented by quadratic forms, we show that these isogenies are reflected in the corresponding Eichler orders via the composition law for their corresponding quadratic forms.

Keywords

Cite

@article{arxiv.2312.08844,
  title  = {Oriented Supersingular Elliptic Curves and Eichler Orders},
  author = {Guanju Xiao and Zijian Zhou and Longjiang Qu},
  journal= {arXiv preprint arXiv:2312.08844},
  year   = {2024}
}

Comments

26 pages. Accepted by Finite Fields and Their Applications

R2 v1 2026-06-28T13:50:46.504Z