Weighted Distributions of Complex Multiplication Orders in Ordinary Isogeny Classes

Technical Summary: Weighted Distributions of Complex Multiplication Orders in Ordinary Isogeny Classes

Problem Statement
The study of ordinary elliptic curves over finite fields $\mathbb{F}_q$ is central to computational number theory and isogeny-based cryptography. A key structural feature of these curves is their endomorphism ring, $\text{End}(E)$, which is an order in an imaginary quadratic field. In the context of $\ell$-isogeny graphs, the geometry of connected components is described by "$\ell$-isogeny volcanoes," where the vertical position of a curve is determined by the $\ell$-adic valuation of the conductor of its endomorphism ring.

However, the traditional "local" viewpoint, which analyzes a single volcano component, faces an intrinsic limitation: within a fixed component, the endomorphism ring is constant on each level (stratum). Consequently, any notion of "exact density" for endomorphism rings within a single component is trivial, as it is supported on a single level. This prevents the extraction of meaningful statistical information regarding the distribution of endomorphism rings purely from the geometry of individual components. The paper addresses the need for a framework that captures the distribution of these rings across an entire isogeny class and across varying base fields.

Methodology
The authors develop a "global arithmetic framework" that shifts the perspective from individual volcano components to the entire ordinary isogeny class $I(t, p)$ over a prime field $\mathbb{F}_p$.

1. Global Decomposition: For a fixed isogeny class defined by Frobenius trace $t$ and discriminant $\Delta = t^2 - 4p = v^2 D_K$, the possible endomorphism rings are precisely the quadratic orders $\mathcal{O}_f = \mathbb{Z} + f\mathcal{O}_K$ where $f$ divides $v$.
2. Weighted Counting: To handle the arithmetic complexities arising from automorphisms (specifically for $j=0$ and $j=1728$), the authors utilize weighted class numbers defined as $h^*(D) = h(D)/w(D)$, where $h(D)$ is the class number and $w(D)$ is the number of units in the order. This approach relies on Deuring's correspondence between isogeny classes and equivalence classes of binary quadratic forms.
3. Vertical Analysis (Fixed $p$): The paper defines "weighted exact" and "weighted cumulative" distributions for endomorphism rings within a fixed isogeny class. These distributions aggregate the weighted counts of curves with specific conductors across all volcano components in the class.
4. Horizontal Analysis (Varying $p$): The paper analyzes the occurrence of curves with a prescribed endomorphism ring $\mathcal{O}_D$ as the prime $p$ varies. This is linked to the splitting behavior of the prime $p$ in the ring class field $L_D$ associated with $\mathcal{O}_D$, utilizing the Chebotarev density theorem.

Key Contributions and Results

• Explicit Global Formulas: The authors derive explicit formulas for the global distribution of endomorphism rings inside an isogeny class $I(t, p)$. The contribution of curves with endomorphism ring $\mathcal{O}_f$ is given by the weighted count $h^*(D_f)$, normalized by the total Hurwitz class number of the discriminant.
• Canonical $\ell$-adic Laws: By summing over divisors of the conductor, the authors establish a canonical global law for the $\ell$-adic valuation of the conductor. This provides an "averaged" description of the vertical stratification of $\ell$-volcanoes, recovering the volcano structure when viewed across the entire isogeny class rather than a single component.
• Horizontal Density via Chebotarev: The paper establishes that the set of primes $p$ for which there exists an elliptic curve with endomorphism ring $\mathcal{O}_D$ has a natural density of $1/(2h(D))$. This result is derived from the fact that such primes correspond exactly to those that split completely in the ring class field $L_D$.
• Unified Perspective: The work unifies Deuring's correspondence, the geometry of isogeny graphs, and class field theory. It demonstrates a duality between:
  • Vertical distributions: Conductor-driven structures within a fixed isogeny class.
  • Horizontal distributions: Chebotarev-governed distributions as the base field varies.

Significance and Claims
The paper claims to provide a "natural framework" for the quantitative and algorithmic study of isogeny classes. By overcoming the limitations of the local viewpoint, the proposed weighted distributions allow for the extraction of non-trivial statistical information that is inaccessible when analyzing single volcano components.

The authors assert that these results establish a clear bridge between the arithmetic of class fields and the statistical behavior of isogeny classes. While the paper notes that these findings have "potential applications" in computational number theory and isogeny-based cryptography (specifically regarding algorithmic navigation, parameter selection, and security analysis), it does not propose specific new algorithms or experimental protocols. Instead, it offers a theoretical foundation for understanding the arithmetic and combinatorial properties of isogeny graphs, suggesting that future work could refine these distributions for individual components or extend the analysis to higher-dimensional abelian varieties.