arxiv: 2605.07626 · v1 · submitted 2026-05-08 · 🧮 math.NT

Recognition: 3 theorem links

· Lean Theorem

Weighted Distributions of Complex Multiplication Orders in Ordinary Isogeny Classes

Mohammed el baraka ans Siham ezzouak

Pith reviewed 2026-05-11 02:09 UTC · model grok-4.3

classification 🧮 math.NT

keywords complex multiplicationordinary isogeny classesendomorphism ringsDeuring correspondenceweighted class numbersChebotarev density theoremring class fieldselliptic curves over finite fields

0 comments

The pith

Weighted class numbers determine the global distribution of complex multiplication orders in ordinary isogeny classes over finite fields.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper develops a global arithmetic framework for endomorphism rings inside ordinary elliptic isogeny classes I(t,p) over F_p. Using Deuring's correspondence, it shows that the possible quadratic orders O_f appear in proportions given by the weighted class numbers h*(D) = h(D)/w(D). This produces explicit formulas for both exact and cumulative distributions of the rings and for the ell-adic valuations of their conductors. Varying the prime p, the authors apply the Chebotarev density theorem in the ring class field L_D to prove that primes admitting a fixed order O_D occur with natural density 1/(2 h(D)). The resulting horizontal law complements the vertical conductor distribution inside each fixed class.

Core claim

In an ordinary isogeny class I(t,p) with discriminant Delta = v^2 D_K, the endomorphism rings are the orders O_f = Z + f O_K for f dividing v. Their distribution across the class is governed by the weighted class numbers h*(D) of the corresponding discriminants, which induce canonical laws for the ell-adic valuations of conductors and recover the vertical stratification of ell-isogeny volcanoes in an averaged sense. Varying p, the primes for which a given order O_D appears satisfy a horizontal distribution law of natural density 1/(2 h(D)) obtained via Chebotarev in the ring class field L_D.

What carries the argument

The weighted class numbers h*(D) = h(D)/w(D) that express the proportion of curves in the isogeny class whose endomorphism ring is isomorphic to a given quadratic order O_D.

If this is right

Explicit formulas exist for the global distribution of endomorphism rings across an entire ordinary isogeny class.
The ell-adic valuation of conductors obeys canonical laws induced by the weighted distributions.
The vertical stratification of ell-isogeny volcanoes is recovered on average from the global distribution.
Primes admitting a prescribed CM order O_D occur with natural density 1/(2 h(D)).

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The framework supplies proportions that can be used directly to predict the size of subsets of curves with prescribed conductors inside large isogeny classes.
Quantitative and algorithmic searches for curves with desired endomorphism rings can rely on class-number computations rather than exhaustive enumeration.
The horizontal density result implies that orders with large class numbers become correspondingly rarer as one varies the prime field.

Load-bearing premise

The weighted class numbers h*(D) fully capture the global distribution of orders O_f across the isogeny class without additional local conditions or exceptions beyond those stated in Deuring's correspondence.

What would settle it

A direct enumeration of elliptic curves in a concrete isogeny class I(t,p) that shows the observed proportion of curves with a fixed conductor f deviates from the ratio predicted by the weighted class number h*(D) for the corresponding discriminant.

read the original 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 F_p with Frobenius trace t. The discriminant Delta = t^2 - 4p can be written as Delta = v^2 D_K, where D_K is the fundamental discriminant of an imaginary quadratic field K. In this setting, the possible endomorphism rings are precisely the quadratic orders O_f = Z + f O_K, 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 O_D to splitting conditions in the associated ring class field L_D. Using the Chebotarev density theorem, we obtain the natural density 1/(2h(D)) for primes admitting CM by O_D. 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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives explicit weighted distributions for CM orders inside ordinary isogeny classes and a clean horizontal density 1/(2h(D)) via Chebotarev, tying Deuring to volcanoes and class fields.

read the letter

The main point is that this work puts together weighted counts of endomorphism rings across an entire ordinary isogeny class and then adds a global density for primes that admit a fixed CM order. They start with the standard decomposition Delta = v^2 D_K and note that the possible orders O_f run over f dividing v. Deuring's correspondence turns the isogeny class into ideal classes in those orders, and weighting by h*(D) = h(D)/w(D) accounts for the unit action and the number of curves per j-invariant. This produces exact and cumulative distribution formulas that, when averaged, recover the vertical conductor layers of an ell-volcano without having to walk the graph level by level. On the horizontal side, they apply Chebotarev in the ring class field L_D to get the natural density 1/(2h(D)) for primes p where an ordinary curve has End exactly O_D. That part sits next to the local volcano picture as a complementary global law. The derivations rest on Deuring and Chebotarev, so the logic is standard and does not introduce circular steps or fitted quantities. The unification is useful: it gives a single arithmetic language that covers both the fixed-p distribution inside one class and the varying-p existence question. The soft spots are limited. The abstract and sketch leave the precise summation formulas for the weighted distributions implicit, so a referee would want to see the expanded expressions to confirm there are no hidden local exceptions when f runs over the divisors of v. The density statement itself is a direct Chebotarev count and therefore unsurprising once the setup is granted, but it is correctly placed as the horizontal counterpart. This is aimed at people who already know CM theory, isogeny volcanoes, and class field applications, such as those working on elliptic curve algorithms or arithmetic statistics. It is coherent and grounded enough to deserve a serious referee, even if the core tools are classical. I would send it to peer review.

Referee Report

2 major / 3 minor

Summary. The paper develops a global arithmetic framework for endomorphism rings inside ordinary elliptic isogeny classes I(t,p) over F_p. It expresses the distribution of quadratic orders O_f (f dividing v, where Delta = v^2 D_K) via Deuring's correspondence in terms of weighted class numbers h*(D) = h(D)/w(D), derives explicit global and weighted exact/cumulative distributions, obtains laws for the ell-adic valuation of conductors that recover vertical volcano stratification in an averaged sense, and applies the Chebotarev density theorem to show that the natural density of primes p admitting CM by a fixed O_D is 1/(2h(D)).

Significance. If the central derivations hold, the work supplies a unified perspective connecting Deuring theory, isogeny graph geometry, and class field theory. It complements the classical local (volcano) viewpoint with global horizontal densities and provides a natural setting for quantitative and algorithmic investigations of ordinary isogeny classes. The reliance on standard external theorems (Deuring correspondence and Chebotarev) without ad-hoc parameters or self-referential fitting is a clear strength.

major comments (2)

[Global side (Chebotarev application)] The global distribution claim (density 1/(2h(D))) is load-bearing for the horizontal law. The manuscript should explicitly confirm, in the paragraph applying Chebotarev, that the splitting condition in the ring class field L_D of degree 2h(D) accounts for the ordinary reduction condition and the precise Galois action without additional local exceptions beyond those already in Deuring's correspondence.
[Weighted distributions via Deuring correspondence] The assertion that weighted distributions h*(D) fully capture the global distribution of orders O_f across I(t,p) without further local conditions is central to both vertical and horizontal results. A brief verification that the multiplicity of F_p-isomorphism classes per j-invariant is exactly accounted for by the unit action in h*(D) for all f | v would strengthen the claim.

minor comments (3)

[Introduction / notation] Notation for the weighted class number h*(D) is introduced in the abstract but should be restated with the precise definition h(D)/w(D) at its first use in the main text.
[Vertical stratification paragraph] The phrase 'induce canonical laws for the ell-adic valuation of conductors' would benefit from an explicit formula or short derivation showing how the weighted counts translate into the valuation distribution.
[Explicit formulas section] A short table or example computing the weighted distribution for a small isogeny class (e.g., small p and t) would help readers verify the formulas.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading, positive assessment, and constructive suggestions. We address each major comment below and have incorporated revisions to strengthen the exposition as requested.

read point-by-point responses

Referee: The global distribution claim (density 1/(2h(D))) is load-bearing for the horizontal law. The manuscript should explicitly confirm, in the paragraph applying Chebotarev, that the splitting condition in the ring class field L_D of degree 2h(D) accounts for the ordinary reduction condition and the precise Galois action without additional local exceptions beyond those already in Deuring's correspondence.

Authors: We agree that an explicit confirmation will improve clarity. In the revised manuscript, we have expanded the relevant paragraph (in the section on global distributions via Chebotarev) to state that the splitting conditions in the ring class field L_D of degree 2h(D) incorporate the ordinary reduction of elliptic curves with CM by O_D, together with the precise Galois action on the endomorphism ring, as given by Deuring's lifting theorem. No further local exceptions arise beyond those already accounted for in the correspondence. revision: yes
Referee: The assertion that weighted distributions h*(D) fully capture the global distribution of orders O_f across I(t,p) without further local conditions is central to both vertical and horizontal results. A brief verification that the multiplicity of F_p-isomorphism classes per j-invariant is exactly accounted for by the unit action in h*(D) for all f | v would strengthen the claim.

Authors: We concur that a brief verification strengthens the central claim. We have added a short remark immediately following the definition of the weighted class numbers h*(D) = h(D)/w(D) in the section on weighted distributions via Deuring's correspondence. This remark verifies that, for each order O_f with f dividing v, the factor 1/w(D_f) precisely accounts for the multiplicity of F_p-isomorphism classes per j-invariant through the action of the unit group of O_f (which determines |Aut(E)| for the corresponding curves). This is the standard adjustment in Deuring's correspondence and holds uniformly for all such f without additional local conditions. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivations rely on external theorems

full rationale

The paper's central results follow from Deuring's correspondence (mapping isogeny classes to ideal classes in orders O_f) combined with the Chebotarev density theorem applied to ring class fields L_D of degree 2h(D). The weighted class numbers h*(D) = h(D)/w(D) arise directly from the action of units on the class group and match the multiplicity of F_p-isomorphism classes, without any fitted parameters, self-defined quantities, or load-bearing self-citations. The horizontal density 1/(2h(D)) is a standard consequence of complete splitting in L_D, and the vertical conductor distributions recover known volcano stratification in averaged form. All steps are self-contained against these independent external benchmarks, with no reduction of predictions to inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The framework rests on two standard theorems with no free parameters or new entities introduced.

axioms (2)

domain assumption Deuring's correspondence between ordinary isogeny classes and endomorphism rings as quadratic orders O_f
Used to identify possible endomorphism rings and express distributions via weighted class numbers.
standard math Chebotarev density theorem applies to splitting in the ring class field L_D
Invoked to obtain the natural density 1/(2h(D)) for primes admitting CM by O_D.

pith-pipeline@v0.9.0 · 5620 in / 1253 out tokens · 28519 ms · 2026-05-11T02:09:28.678366+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
Theorem 3.1 (Weighted Deuring decomposition) ... H(Δ) = ∑_{f|v} h*(D_f) ... Δ_{=,wt}^f(t,p) := h*(D_f) / ∑_{g|v} h*(D_g)
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear
Theorem 4.4 (Chebotarev density for CM primes) ... dens(P_D) = 1/(2 h(D))
IndisputableMonolith/Foundation/ArithmeticFromLogic.lean embed_strictMono_of_one_lt unclear
vertical ℓ-adic distribution ... M_i(t,p;ℓ) ... recovers the vertical stratification of ℓ-volcanoes in an averaged sense

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages

[1]

Bisson and A

G. Bisson and A. V. Sutherland, Computing the endomorphism ring of an or- dinary elliptic curve over a finite field,J. Number Theory131(2011), 815–831. doi:10.1016/j.jnt.2009.11.003. 9

work page doi:10.1016/j.jnt.2009.11.003 2011
[2]

D. A. Cox,Primes of the Form x2 +ny2: Fermat, Class Field Theory, and Complex Multiplication, 2nd ed., Wiley, 2013. doi:10.1002/9781118400722

work page doi:10.1002/9781118400722 2013
[3]

Deuring, Die Typen der Multiplikatorenringe elliptischer Funktionenkörper,Abh

M. Deuring, Die Typen der Multiplikatorenringe elliptischer Funktionenkörper,Abh. Math. Sem. Univ. Hamburg14(1941), 197–272. doi:10.1007/BF02940746

work page doi:10.1007/bf02940746 1941
[4]

Exploring Alternative Elliptic Curves for Bit- coin: An Efficiency Comparison,

M. El Baraka, S. Ezzouak, and D. Sow, “Exploring Alternative Elliptic Curves for Bit- coin: An Efficiency Comparison,”ACM International Conference Proceeding Series, 2024. doi:10.1145/3659677.3659698

work page doi:10.1145/3659677.3659698 2024
[5]

Diving into Alternate Elliptic Curves for Bitcoin: A Security Analysis,

M. El Baraka, S. Ezzouak, and D. Sow, “Diving into Alternate Elliptic Curves for Bitcoin: A Security Analysis,”ACM International Conference Proceeding Series, 2024. doi:10.1145/3659677.3659714

work page doi:10.1145/3659677.3659714 2024
[6]

Chain modular units and explicit unit groups in Ray class fields over imaginary quadratic fields,

M. El Baraka and S. Ezzouak, “Chain modular units and explicit unit groups in Ray class fields over imaginary quadratic fields,”Gulf Journal of Mathematics21(1) (2025), 302–318. doi:10.56947/gjom.v21i1.3334. Available: https://gjom.org/index.php/gjom/article/ view/3334

work page doi:10.56947/gjom.v21i1.3334 2025
[7]

A Novel Isogeny-Based Digital Signature Scheme with Enhanced Efficiency and Security,

M. El Baraka and S. Ezzouak, “A Novel Isogeny-Based Digital Signature Scheme with Enhanced Efficiency and Security,”International Journal of Computing24(3) (2025), 474–

work page 2025
[8]

Available: https://computingonline.net/computing/ article/view/4184

doi:10.47839/ijc.24.3.4184. Available: https://computingonline.net/computing/ article/view/4184

work page doi:10.47839/ijc.24.3.4184
[9]

Optimization of isogeny computation algo- rithms for post-quantum cryptography,

M. El Baraka and S. Ezzouak, “Optimization of isogeny computation algo- rithms for post-quantum cryptography,”Scientific African29 (2025), e02790. doi:10.1016/j.sciaf.2025.e02790

work page doi:10.1016/j.sciaf.2025.e02790 2025
[10]

Zeta Functions of Isogeny Graphs and Spectral Properties of Adjacency Oper- ators,

M. El Baraka, “Zeta Functions of Isogeny Graphs and Spectral Properties of Adjacency Oper- ators,”Boletim da Sociedade Paranaense de Matemática43 (2025). doi:10.5269/bspm.76382. Available: https://periodicos.uem.br/ojs/index.php/BSocParanMat/article/view/ 76382

work page doi:10.5269/bspm.76382 2025
[11]

Adjacency Matrices and the Spectrum ofℓ-Isogeny Graphs,

M. El Baraka and S. Ezzouak, “Adjacency Matrices and the Spectrum ofℓ-Isogeny Graphs,” Boletim da Sociedade Paranaense de Matemática43 (2025). doi:10.5269/bspm.78181. Available: https://periodicos.uem.br/ojs/index.php/BSocParanMat/article/view/ 78181

work page doi:10.5269/bspm.78181 2025
[12]

Explicit Class-Field Generation via Chains of Modular Polynomials,

M. El Baraka, “Explicit Class-Field Generation via Chains of Modular Polynomials,”Boletim da Sociedade Paranaense de Matemática43(2) (2025). doi:10.5269/bspm.77836. Available: https://periodicos.uem.br/ojs/index.php/BSocParanMat/article/view/77836

work page doi:10.5269/bspm.77836 2025
[13]

Efficient Algorithms for Isogeny Computation on Hy- perelliptic Curves: Their Applications in Post-Quantum Cryptography,

M. El Baraka and S. Ezzouak, “Efficient Algorithms for Isogeny Computation on Hy- perelliptic Curves: Their Applications in Post-Quantum Cryptography,”International Journal of Computer Networks and Communications17(2) (2025), 93–112. Available (PDF): https://aircconline.com/ijcnc/V17N2/17225cnc06.pdf. Also: https://arxiv.org/ abs/2504.04559

work page arXiv 2025
[14]

Enhancing PAKE Protocols with Isogenies for Post- Quantum Security,

M. El Baraka and S. Ezzouak, “Enhancing PAKE Protocols with Isogenies for Post- Quantum Security,”Palestine Journal of Mathematics14(3) (2025), 668–683. Available: https://www.palestine-jm.org/

work page 2025
[15]

Quantum-resistant modifications to ECDSA for blockchain security,

M. El Baraka and S. Ezzouak, “Quantum-resistant modifications to ECDSA for blockchain security,”Journal of Cyber Security Technology(2025). doi:10.1080/23742917.2025.2458320

work page doi:10.1080/23742917.2025.2458320 2025
[16]

Fouquet and F

M. Fouquet and F. Morain, Isogeny volcanoes and the SEA algorithm, inAlgorithmic Number Theory (ANTS V), LNCS2369, Springer, 2002, 276–291. doi:10.1007/3-540-45455-1_23. 10

work page doi:10.1007/3-540-45455-1_23 2002
[17]

Kohel,Endomorphism Rings of Elliptic Curves over Finite Fields, Ph.D

D. Kohel,Endomorphism Rings of Elliptic Curves over Finite Fields, Ph.D. thesis, University of California, Berkeley, 1996.https://www.i2m.univ-amu.fr/perso/david.kohel/pub/ thesis.pdf

work page 1996
[18]

Serre, Quelques applications du théorème de densité de Chebotarev,Publ

J.-P. Serre, Quelques applications du théorème de densité de Chebotarev,Publ. Math. Inst. Hautes Études Sci.54(1981), 123–201. doi:10.1007/BF02698692.https://www.numdam. org/item/PMIHES_1981__54__123_0/

work page doi:10.1007/bf02698692.https://www.numdam 1981
[19]

J. H. Silverman,The Arithmetic of Elliptic Curves, 2nd ed., Graduate Texts in Mathematics 106, Springer, 2009. doi:10.1007/978-0-387-09494-6

work page doi:10.1007/978-0-387-09494-6 2009
[20]

A. V. Sutherland, Isogeny volcanoes, inANTS X, The Open Book Series1, Mathematical Sciences Publishers, 2013, 507–530. doi:10.2140/obs.2013.1.507.https://msp.org/obs/ 2013/1-1/p25.xhtml

work page doi:10.2140/obs.2013.1.507.https://msp.org/obs/ 2013
[21]

A. V. Sutherland,18.783 (MIT) Lecture Notes: Isogeny Volcanoes(Lec- ture 22), MIT OpenCourseWare (Spring 2021). https://ocw.mit.edu/courses/ 18-783-elliptic-curves-spring-2021/resources/mit18_783s21_notes22/

work page 2021
[22]

W. C. Waterhouse, Abelian varieties over finite fields,Ann. Sci. Éc. Norm. Supér.(4)2 (1969), no. 4, 521–560. doi:10.24033/asens.1183.https://www.numdam.org/item/ASENS_ 1969_4_2_4_521_0/. 11

work page doi:10.24033/asens.1183.https://www.numdam.org/item/asens_ 1969