Ellenberg–Venkatesh

Ellenberg–Venkatesh

The Ellenberg–Venkatesh conjecture is a conjectural statement in Number theory concerning distributional bounds for class groups and integral points, proposed by Jordan Ellenberg and Akshay Venkatesh. It sits at the intersection of the arithmetic of number fields, the geometry of algebraic varieties, and the analytic techniques developed in automorphic and spectral methods. The conjecture refines predictions about torsion in class groups and the growth of rational points, drawing on heuristics that relate to the Cohen–Lenstra heuristics, the Malle conjecture, and work of Bhargava and Davenport–Heilbronn.

Introduction

The conjecture emerged from interactions among researchers studying the asymptotic behavior of arithmetic invariants of quadratic fields, number fields of higher degree, and families of curves over global fields. Ellenberg and Venkatesh formulated a precise upper bound predicting how large the l-torsion subgroup of the class group of a degree-n number field can be, linking it to discriminant growth and to counting problems originally studied by Hermite and Minkowski. The statement complements empirical patterns observed by Cohen–Lenstra and rigorous results obtained by Ellenberg, Venkatesh, Bhargava, and collaborators such as Davenport, Heilbronn, Fouvry, Klüners, and Wood.

Statement of the Conjecture

Roughly stated, for a fixed prime l and fixed degree n, the conjecture predicts that the l-power torsion of the ideal class group of a number field K of degree n is bounded by a power of the absolute discriminant Disc(K) that is substantially smaller than trivial Minkowski bounds. More precisely, for every ε>0 one expects |Cl(K)[l]| = O(Disc(K)^ε) uniformly in families specified by Galois or local conditions, mirroring expectations in the Cohen–Lenstra heuristics for random abelian groups. The conjecture also admits formulations for torsion in Pic groups of arithmetic surfaces, for integral points on varieties over Q, and for specialization of families parametrized by moduli such as the Hurwitz space or spaces that appear in GIT quotients. The statement ties to distributional conjectures like the Malle conjecture on counting number fields with bounded discriminant and to density results in the style of Faltings and Mordell for rational points.

Partial Results and Known Cases

Progress on special cases has been significant but partial. For quadratic fields (degree 2) and l=2 classical results of Gauss and modern refinements by Heath-Brown, Soundararajan, and Fouvry give strong control over 2-torsion. For cubic and quartic fields, counting results of Davenport–Heilbronn and Bhargava combined with methods of Hooley and Manjul Bhargava yield bounds consistent with the conjecture for many families. Ellenberg and Venkatesh proved conditional bounds under hypotheses connecting to the Generalized Riemann Hypothesis and to subconvexity estimates for L-functions associated to GL2 or higher rank representations. Results by Ellenberg, Venkatesh, Bhargava, Shankar, Tsimerman, Wood, and Klüners give averaged estimates or bounds for specific Galois types such as S_n-extensions and A_n-extensions, while results of Bhargava on parametrizations produce effective bounds in low degree via resolvent constructions. For torsion in Picard groups of curves over finite fields, work of Weil, Deligne, and Néron provides analogues supporting the conjectural growth rates.

Methods and Techniques

Techniques invoked include analytic number theory—explicit use of Linnik-type dispersion methods, zero-density estimates for L-series, and subconvexity bounds for GL(1) and GL2 L-functions—alongside geometry-of-numbers lattice counting à la Minkowski and geometry of numbers approaches used by Davenport and Heilbronn. Geometric and representation-theoretic tools appear via Automorphic forms, harmonic analysis on adelic groups, and the Arthur–Selberg trace formula as employed by Venkatesh and others. Parametrization methods developed by Bhargava use orbits of integral representations under groups like GL_n and SL_n to relate field counts to lattice counts. Sieve methods and probabilistic models, inspired by Cohen–Lenstra heuristics, are combined with algebraic geometry techniques from Faltings and arithmetic geometry inputs such as Néron–Severi control and specialization arguments pioneered by Silverman and Néron.

Applications and Implications

If proved, the conjecture would yield strong uniform bounds on class group torsion affecting results in explicit Diophantine uniformity, effective versions of Faltings-type finiteness statements, and improvements in counting number fields predicted by the Malle conjecture. Consequences would touch the arithmetic of elliptic curves via the Shafarevich–Tate group and bounds on Selmer groups, influence distributional problems studied in Iwasawa theory and arithmetic statistics, and refine heuristics used in computational algebraic number theory by researchers at institutions such as Institute for Advanced Study, Princeton University, Harvard University, Massachusetts Institute of Technology, and University of Cambridge. Progress toward the conjecture continues to motivate interactions among scholars like Ellenberg, Venkatesh, Bhargava, Wood, Shankar, Tsimerman, Klüners, Fouvry, Soundararajan, and many others in collaborative programs spanning Prizes and research networks worldwide.

Category:Conjectures in number theory