Weighted Distributions of Complex Multiplication Orders in Ordinary Isogeny Classes

Abstract

We develop a global arithmetic framework for studying endomorphism rings inside ordinary elliptic isogeny classes over finite fields. Let p be a prime and let I(t,p) be an ordinary isogeny class over the finite field Fp with Frobenius trace t. The discriminant Delta = t2 - 4p can be written as Delta = v2 DK, where DK is the fundamental discriminant of an imaginary quadratic field K. In this setting, the possible endomorphism rings are precisely the quadratic orders Of = Z + f OK, with f dividing v. Building on Deuring's correspondence, we express the distribution of these orders in terms of weighted class numbers h*(D) = h(D)/w(D), and obtain explicit formulas for global distributions across the entire isogeny class. This approach goes beyond the classical local viewpoint, where the endomorphism ring is constant along each level of an ell-isogeny volcano. In particular, we introduce weighted exact and cumulative distributions of endomorphism rings. These distributions induce canonical laws for the ell-adic valuation of conductors and recover the vertical stratification of ell-volcanoes in an averaged sense. On the global side, by varying the prime p, we relate the existence of curves with a prescribed CM order OD to splitting conditions in the associated ring class field LD. Using the Chebotarev density theorem, we obtain the natural density 1/(2h(D)) for primes admitting CM by OD. This gives a horizontal distribution law complementary to the vertical conductor distribution. These results establish a unified perspective linking Deuring theory, isogeny graph geometry, and class field theory. They also provide a natural framework for quantitative and algorithmic studies of ordinary isogeny classes.

0

Turn this paper into a full lesson

ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.

Discussion (0)

Sign in to join the discussion.

Loading comments…