pith. sign in

arxiv: 2606.06024 · v1 · pith:5GT6YGJSnew · submitted 2026-06-04 · 🧮 math.NT

Recent Progress around Cohen-Lenstra Heuristics

Jordan S. Ellenberg This is my paper

Pith reviewed 2026-06-27 23:45 UTC · model grok-4.3

classification 🧮 math.NT
keywords Cohen-Lenstra heuristicsclass groupsquadratic fieldsSelmer groupsarithmetic statisticselliptic curvesPell equation
0
0 comments X

The pith

Theorems now prove the Cohen-Lenstra heuristics for the 2-primary and ell-primary parts of class groups of quadratic fields.

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

This review surveys recent theorems that establish portions of the Cohen-Lenstra heuristics, which predict the distribution of torsion subgroups in the class groups of quadratic fields. The original 1983 conjectures remain largely open but have been confirmed in specific cases through connections to Selmer groups of elliptic curves in quadratic twist families. Smith's theorems settle the 2-primary case and simultaneously resolve the minimalist conjecture on ranks of elliptic curves. Koymans and Pagano handle the ell-primary case and prove Stevenhagen's conjecture on the negative Pell equation. A sympathetic reader cares because these distributions govern the frequency of ideal class structures and the behavior of ranks in families of elliptic curves.

Core claim

Smith's theorems prove the Cohen-Lenstra conjectures for the 2-primary part of the class group of quadratic fields as part of general theorems about Selmer groups in quadratic twists, leading to a resolution of the minimalist conjecture for elliptic curves; Koymans and Pagano prove the ell-primary case and Stevenhagen's conjecture on the negative Pell equation.

What carries the argument

The Cohen-Lenstra heuristics, which predict the probability that a given finite abelian group appears as the N-torsion subgroup of the class group of a random quadratic field.

If this is right

  • The minimalist conjecture on the average rank of elliptic curves is resolved.
  • Stevenhagen's conjecture on the solvability of the negative Pell equation is proved.
  • The distribution of Selmer groups is determined for quadratic twist families of elliptic curves.
  • Generalized Cohen-Lenstra predictions receive additional support from topological constructions.

Where Pith is reading between the lines

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

  • The same Selmer-group techniques may extend to prove heuristics for class groups in other families of number fields.
  • Linking arithmetic statistics questions to computable Selmer groups could make further heuristic predictions rigorous.
  • The topological support for the generalized conjectures suggests similar models may apply to distributions arising in other contexts such as function fields.

Load-bearing premise

The roster of generalized Cohen-Lenstra conjectures correctly describes the distribution of class groups of quadratic fields.

What would settle it

A large-scale computation of class groups for quadratic fields with discriminants up to 10^12 that shows the observed frequency of a fixed 2-primary torsion structure deviates from the predicted probability by more than the error term allowed by the theorems.

read the original abstract

In 1983, Henri Cohen and Hendrik Lenstra proposed a conjecture about the distribution of the N-torsion of the class group of a random quadratic field, supported by what was at the time a large amount of computational evidence. The Cohen-Lenstra heuristics, which are still almost entirely unproven, have become one of the central foundational problems in arithmetic statistics. Recent years have seen a rapidly accelerated pace of development in Cohen-Lenstra problems. I will give a tour of these developments, including the work of Wood and her collaborators developing a fully fleshed out roster of generalized Cohen-Lenstra conjectures, with support from topology; Smith's theorems proving the Cohen--Lenstra conjectures for the 2-primary part of the class group, as part of more general theorems about Selmer groups in quadratic twists, leading to a resolution of the minimalist conjecture for elliptic curves; and recent work by Koymans and Pagano in the ell-primary case, expanding on Smith's work and proving Stevenhagen's conjecture on the negative Pell equation.

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.

Referee Report

0 major / 2 minor

Summary. The manuscript is a survey paper that reviews recent progress on the Cohen-Lenstra heuristics for the distribution of torsion in class groups of quadratic fields. It outlines the generalized conjectures developed by Wood and collaborators (with topological motivation), Smith's theorems establishing the 2-primary case via results on Selmer groups of quadratic twists (with consequences for the minimalist conjecture on elliptic curves), and the work of Koymans and Pagano establishing the ℓ-primary case together with Stevenhagen's conjecture on the negative Pell equation.

Significance. If the summaries of the cited theorems are accurate and the exposition is clear, the survey would offer a useful synthesis of a fast-moving area in arithmetic statistics, making connections between class-group heuristics, Selmer groups, topology, and elliptic-curve conjectures accessible to a broader audience. Its primary contribution is organizational rather than original; value therefore hinges on the precision with which external results are presented and on the absence of new derivations or verifications inside the manuscript itself.

minor comments (2)
  1. The abstract and introduction use both 'ell-primary' and 'ℓ-primary'; standardize on the latter throughout for notational consistency with the number-theory literature.
  2. Section headings and the table of contents (if present) should explicitly list the main theorems being surveyed (e.g., 'Smith's theorem on 2-Selmer groups') so that readers can locate specific results quickly.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for the recommendation to accept. The report correctly captures the scope and purpose of the survey.

Circularity Check

0 steps flagged

No significant circularity: survey attributes all results externally

full rationale

This document is a literature survey summarizing external theorems (Smith, Koymans-Pagano, Wood et al.) with no new derivations, predictions, or load-bearing internal arguments. No equations or self-citations reduce any claim to a fitted input or self-defined quantity within the paper itself.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

This is an expository survey containing no new derivations, so it introduces no free parameters, axioms, or invented entities of its own.

pith-pipeline@v0.9.1-grok · 5703 in / 1034 out tokens · 25148 ms · 2026-06-27T23:45:00.053516+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

58 extracted references · 11 canonical work pages · 1 internal anchor

  1. [1]

    Number Theory Noordwijkerhout 1983: Proceedings of the Journ

    Heuristics on class groups of number fields , author=. Number Theory Noordwijkerhout 1983: Proceedings of the Journ. 1983 , publisher=

    1983

  2. [2]

    Probability theory for random groups arising in number theory , author=. Proc. Int. Cong. Math , volume=

  3. [3]

    Mathematics of Computation , volume=

    Class groups of quadratic fields , author=. Mathematics of Computation , volume=

  4. [4]

    Journal of Number Theory , volume=

    Cohen--Lenstra heuristic and roots of unity , author=. Journal of Number Theory , volume=. 2008 , publisher=

    2008

  5. [5]

    Commentarii Mathematici Helvetici , volume=

    Moments and interpretations of the Cohen--Lenstra--Martinet heuristics , author=. Commentarii Mathematici Helvetici , volume=

  6. [6]

    Inventiones mathematicae , volume=

    A predicted distribution for Galois groups of maximal unramified extensions , author=. Inventiones mathematicae , volume=. 2024 , publisher=

    2024

  7. [7]

    Compositio Mathematica , volume=

    On the probabilities of local behaviors in abelian field extensions , author=. Compositio Mathematica , volume=. 2010 , publisher=

    2010

  8. [8]

    Inventiones mathematicae , volume=

    Finite quotients of 3-manifold groups , author=. Inventiones mathematicae , volume=. 2024 , publisher=

    2024

  9. [9]

    The moment problem for random objects in a category.arXiv preprint arXiv:2210.06279, 2022

    The moment problem for random objects in a category , author=. arXiv preprint arXiv:2210.06279 , year=

    work page arXiv

  10. [10]

    Journal of the American Mathematical Society , volume=

    The distribution of ^ -Selmer groups in degree twist families I , author=. Journal of the American Mathematical Society , volume=

  11. [11]

    Journal of the American Mathematical Society , volume=

    The distribution of ^ -Selmer groups in degree twist families II , author=. Journal of the American Mathematical Society , volume=

  12. [12]

    arXiv preprint arXiv:2405.09311 , year=

    Sums of rational cubes and the 3 -Selmer group , author=. arXiv preprint arXiv:2405.09311 , year=

    work page arXiv

  13. [13]

    Mathematika , volume=

    The distribution of 2-Selmer ranks of quadratic twists of elliptic curves with partial two-torsion , author=. Mathematika , volume=. 2016 , publisher=

    2016

  14. [14]

    arXiv preprint arXiv:2503.17619 , year=

    The Birch and Swinnerton-Dyer conjecture implies Goldfeld's conjecture , author=. arXiv preprint arXiv:2503.17619 , year=

    work page arXiv

  15. [15]

    Annals of Mathematics , volume=

    Binary quartic forms having bounded invariants, and the boundedness of the average rank of elliptic curves , author=. Annals of Mathematics , volume=. 2015 , publisher=

    2015

  16. [16]

    The average size of the 2-Selmer group of Jacobians of hyperelliptic curves having a rational Weierstrass point

    The average size of the 2-Selmer group of Jacobians of hyperelliptic curves having a rational Weierstrass point , author=. arXiv preprint arXiv:1208.1007 , year=

    work page internal anchor Pith review Pith/arXiv arXiv

  17. [17]

    Annals of mathematics , volume=

    Most odd degree hyperelliptic curves have only one rational point , author=. Annals of mathematics , volume=. 2014 , publisher=

    2014

  18. [18]

    Compositio Mathematica , volume=

    Independence of rational points on twists of a given curve , author=. Compositio Mathematica , volume=. 2006 , publisher=

    2006

  19. [19]

    Compositio Mathematica , volume=

    A Markov model for Selmer ranks in families of twists , author=. Compositio Mathematica , volume=. 2014 , publisher=

    2014

  20. [20]

    Algebra & Number Theory , volume=

    On the ranks of the 2-Selmer groups of twists of a given elliptic curve , author=. Algebra & Number Theory , volume=. 2013 , publisher=

    2013

  21. [21]

    An inverse theorem for the Gowers U^

    Green, Ben and Tao, Terence and Ziegler, Tamar , journal=. An inverse theorem for the Gowers U^. 2012 , publisher=

    2012

  22. [22]

    arXiv preprint arXiv:2103.08530 , year=

    The Cassels-Tate pairing for finite Galois modules , author=. arXiv preprint arXiv:2103.08530 , year=

    work page arXiv

  23. [23]

    Research in Number Theory , volume=

    Triple symbols in arithmetic , author=. Research in Number Theory , volume=. 2025 , publisher=

    2025

  24. [24]

    Experimental Mathematics , volume=

    The number of real quadratic fields having units of negative norm , author=. Experimental Mathematics , volume=. 1993 , publisher=

    1993

  25. [25]

    Acta Mathematica , year=

    On Stevenhagen's conjecture , author=. Acta Mathematica , year=

  26. [26]

    arXiv preprint arXiv:2005.14157 , year=

    Higher R 'edei reciprocity and integral points on conics , author=. arXiv preprint arXiv:2005.14157 , year=

    work page arXiv 2005

  27. [27]

    International Mathematics Research Notices , volume=

    Higher genus theory , author=. International Mathematics Research Notices , volume=. 2022 , publisher=

    2022

  28. [28]

    , author=

    On the 4-rank of class groups of quadratic number fields. , author=. Inventiones mathematicae , volume=

  29. [29]

    Groups, Geometry, and Dynamics , volume=

    Random pro- p groups, braid groups, and random tame Galois groups , author=. Groups, Geometry, and Dynamics , volume=

  30. [30]

    arXiv preprint arXiv:2503.03861 , year=

    Homological stability for Hurwitz spaces and applications , author=. arXiv preprint arXiv:2503.03861 , year=

    work page arXiv

  31. [31]

    II , author=

    On the density of discriminants of cubic fields. II , author=. Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences , volume=. 1971 , publisher=

    1971

  32. [32]

    Compositio Mathematica , volume=

    Non-abelian Cohen--Lenstra heuristics over function fields , author=. Compositio Mathematica , volume=. 2017 , publisher=

    2017

  33. [33]

    arXiv preprint arXiv:2411.19318 , year=

    On the distribution of class groups of abelian extensions , author=. arXiv preprint arXiv:2411.19318 , year=

    work page arXiv

  34. [34]

    arXiv preprint arXiv:2512.22849 , year=

    Statistics of bad parts of class groups , author=. arXiv preprint arXiv:2512.22849 , year=

    work page arXiv

  35. [35]

    Research in the Mathematical Sciences , volume=

    An algebraic lifting invariant of Ellenberg, Venkatesh, and Westerland , author=. Research in the Mathematical Sciences , volume=. 2021 , publisher=

    2021

  36. [36]

    On the prime Selmer ranks of cyclic prime twist families of elliptic curves over global function fields , author=. Compos. Math. , pages=

  37. [37]

    Mathematische Annalen , volume=

    Heuristics for p -class towers of imaginary quadratic fields , author=. Mathematische Annalen , volume=. 2017 , publisher=

    2017

  38. [38]

    Homology of Hurwitz spaces and the Cohen-Lenstra heuristic for function fields , author=. S

  39. [39]

    arXiv preprint arXiv:2301.00791 , year=

    Conjectures for distributions of class groups of extensions of number fields containing roots of unity , author=. arXiv preprint arXiv:2301.00791 , year=

    work page arXiv

  40. [40]

    Illinois Journal of Mathematics , volume=

    The 4 -class ranks of quadratic extensions of certain imaginary quadratic fields , author=. Illinois Journal of Mathematics , volume=. 1989 , publisher=

    1989

  41. [41]

    Inventiones mathematicae , volume=

    The 4-class ranks of quadratic fields , author=. Inventiones mathematicae , volume=. 1984 , publisher=

    1984

  42. [42]

    Exposition

    Extension of conjectures of Cohen and Lenstra , author=. Exposition. Math , volume=

  43. [43]

    Finite Fields and Their Applications , volume=

    The distribution of a -numbers of hyperelliptic curves in characteristic three , author=. Finite Fields and Their Applications , volume=. 2026 , publisher=

    2026

  44. [44]

    Mathematics of Computation , volume=

    Class groups of number fields: numerical heuristics , author=. Mathematics of Computation , volume=

  45. [45]

    Cambridge Journal of Mathematics , volume=

    Modeling the distribution of ranks, Selmer groups, and Shafarevich--Tate groups of elliptic curves , author=. Cambridge Journal of Mathematics , volume=. 2015 , publisher=

    2015

  46. [46]

    Proceedings of the London Mathematical Society , volume=

    On class groups of random number fields , author=. Proceedings of the London Mathematical Society , volume=. 2020 , publisher=

    2020

  47. [47]

    Algebra & Number Theory , volume=

    Random matrices, the Cohen--Lenstra heuristics, and roots of unity , author=. Algebra & Number Theory , volume=. 2015 , publisher=

    2015

  48. [48]

    On the distribution of divisor class groups of curves over a finite field , author=. Th. 1989 , organization=

    1989

  49. [49]

    On the 16-Rank of Class Groups of (

    Koymans, Peter and Milovic, Djordjo , journal=. On the 16-Rank of Class Groups of (. 2019 , publisher=

    2019

  50. [50]

    Annals of Mathematics , volume=

    Homological stability for Hurwitz spaces and the Cohen-Lenstra conjecture over function fields , author=. Annals of Mathematics , volume=. 2016 , publisher=

    2016

  51. [51]

    arXiv preprint arXiv:2602.21032 , year=

    Distributions of unramified extensions of global fields , author=. arXiv preprint arXiv:2602.21032 , year=

    work page arXiv

  52. [52]

    Inventiones Mathematicae , volume=

    The size of Selmer groups for the congruent number problem , author=. Inventiones Mathematicae , volume=. 1993 , publisher=

    1993

  53. [53]

    Inventiones Mathematicae , volume=

    The size of Selmer groups for the congruent number problem, II , author=. Inventiones Mathematicae , volume=. 1994 , publisher=

    1994

  54. [54]

    Mathematische Annalen , volume=

    Arakelov class groups of random number fields , author=. Mathematische Annalen , volume=. 2024 , publisher=

    2024

  55. [55]

    , title =

    Silverman, Joseph H. , title =

  56. [56]

    Modular curves , author=

    Generalizing the Birch-Stephens theorem: I. Modular curves , author=. Mathematische Zeitschrift , volume=. 1996 , publisher=

    1996

  57. [57]

    Journal of the American Mathematical Society , volume=

    On the size of Kakeya sets in finite fields , author=. Journal of the American Mathematical Society , volume=

  58. [58]

    Izvestiya Rossiiskoi Akademii Nauk

    On the class field tower , author=. Izvestiya Rossiiskoi Akademii Nauk. Seriya Matematicheskaya , volume=. 1964 , publisher=

    1964