Geometry-of-numbers methods over global fields II: Coregular representations

Arul Shankar; Manjul Bhargava; Xiaoheng Wang

Geometry-of-numbers methods over global fields II: Coregular representations

T0 review · 0 major / 2 minor · reviewed 2026-05-10 · grok-4.3

Challenge this review Download PDF Read on arXiv ↗

Pith's one-line read Geometry-of-numbers methods extend to count orbits over any global field, bounding average ranks of elliptic curves and determining average Selmer sizes.

desk verdict Bhargava, Shankar, and Wang extend orbit counting in coregular spaces to arbitrary global fields and apply it to get average rank bounds and Selmer sizes for elliptic curves and hyperelliptic Jacobians over them. read the letter →

arxiv 2604.16978 v1 submitted 2026-04-18 math.NT

Manjul Bhargava , Arul Shankar , Xiaoheng Wang This is my paper

classification math.NT

keywords geometryofnumberscoregularrepresentationsglobalfieldsellipticcurvesSelmergroupsaveragerankshyperellipticJacobians

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper shows how to adapt geometry-of-numbers techniques to count orbits with bounded invariants in coregular vector spaces when the base field is an arbitrary global field. The resulting orbit counts are applied to families of elliptic curves and Jacobians of hyperelliptic curves. A reader cares because this produces bounds on average ranks and exact averages for Selmer groups that hold over every number field or function field of characteristic not 2, 3, or 5. Previously such results were limited to the rationals, so this provides a uniform arithmetic picture across all global fields.

What carries the argument

Coregular vector spaces whose orbits with bounded invariants can be counted using volume estimates from the geometry of numbers, now extended to global fields.

What would settle it

Finding a global field F of suitable characteristic where an explicit count of orbits with small invariants deviates significantly from the predicted volume would show that the extension fails.

Watch

Extended reading notes

Core claim

We develop geometry-of-numbers methods to count orbits in coregular vector spaces having bounded invariants over any global field. We apply these techniques to bound the average ranks and determine average Selmer group sizes of elliptic curves and Jacobians of hyperelliptic curves over any base global field F of characteristic not 2, 3 or 5.

Load-bearing premise

The coregular representations remain well-behaved and the geometry-of-numbers volume estimates extend without essential change when the base is switched from the rationals to an arbitrary global field F of characteristic not 2, 3 or 5.

Editorial extensions

If this is right

Average ranks of elliptic curves over any such global field F are bounded.
Average sizes of the Selmer groups of these elliptic curves are determined explicitly.
The same bounds and averages hold for Jacobians of hyperelliptic curves over F.
The results apply uniformly to all global fields F of characteristic not 2, 3, or 5.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The method suggests that similar orbit-counting arguments could apply to other arithmetic invariants arising from coregular actions.
Uniformity over global fields implies that rank distributions are comparable between number fields and function fields.
The characteristic restrictions might be removable with further analysis of bad primes.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

read the letter

The main point is that this paper shows how to adapt geometry-of-numbers techniques for counting orbits in coregular representations to work over arbitrary global fields instead of just the rationals. They then use this to bound average ranks and find average Selmer group sizes for elliptic curves and Jacobians of hyperelliptic curves over any such field F. What they do well is handle the change of base field carefully. By working with adelic quotients and computing local volumes at each place of F, they show that the local densities are the same as in the rational case for almost all places. This keeps the main term intact and lets the error terms be controlled in the same way. The application to hyperelliptic Jacobians is a genuine extension beyond the elliptic curve case over Q. The soft spots are limited. The characteristic restrictions (not 2, 3, or 5) are needed to keep the representations coregular, which is expected and not a problem. There are no signs of circular reasoning or unfalsifiable claims. The work seems to build directly on prior results without hidden assumptions. This is for specialists in arithmetic statistics who want to see how these counting methods generalize beyond number fields to function fields and other global fields. A reader familiar with the Q case will find the adaptations straightforward to follow. It has enough technical substance to merit a serious referee. I would send it to peer review.

Referee Report

0 major / 2 minor

Summary. The manuscript develops geometry-of-numbers methods to count orbits in coregular vector spaces having bounded invariants over any global field F. It applies these techniques to bound the average ranks and determine average Selmer group sizes of elliptic curves and Jacobians of hyperelliptic curves over any base global field F of characteristic not 2, 3 or 5.

Significance. If the results hold, this extends geometry-of-numbers orbit counting from the rational case to arbitrary global fields via adelic quotients and local volume computations. The fact that local densities agree with the Q-case for all but finitely many places, leaving the Euler product for the main term unchanged, is a clear strength that preserves explicit main terms and error-term control. This yields uniform statements on average ranks and Selmer sizes that apply equally to number fields and function fields.

minor comments (2)

[Introduction] The introduction would benefit from a short paragraph explicitly contrasting the new adelic setup with the methods of the predecessor paper (part I) to highlight what changes and what remains unchanged.
[§2] Notation for the height functions and the coregular invariants after base change to F could be collected in a single preliminary subsection for easier reference.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, recognition of the significance of extending geometry-of-numbers methods to arbitrary global fields, and recommendation to accept the manuscript.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; methods developed independently for global fields

full rationale

The paper develops new geometry-of-numbers techniques for counting orbits in coregular spaces over arbitrary global fields F (char ≠2,3,5) via adelic quotients and explicit local volume computations at places of F. These local densities are shown to match the rational case for all but finitely many places, allowing the Euler product for the main term to carry over directly. No equations reduce a claimed prediction or count to a fitted parameter from the same data, no uniqueness theorem is imported solely from prior self-citations as a load-bearing axiom, and no ansatz is smuggled in via citation. The central results on average ranks and Selmer sizes follow from the new counting estimates without definitional collapse or renaming of known patterns. The derivation chain remains self-contained against external benchmarks.

Assumptions & free parameters 0 free parameters · 1 assumptions · 0 invented entities

The central claim rests on the existence of coregular representations whose invariants control Selmer groups and on the validity of geometry-of-numbers volume estimates over arbitrary global fields; no new free parameters or invented entities are introduced in the abstract.

assumptions (1)

domain assumption Coregular representations and their invariant rings behave as in the rational case when base-changed to an arbitrary global field of good characteristic.
The counting method and the application to Selmer groups presuppose that the algebraic-group-theoretic properties survive the base change.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Geometry-of-numbers methods over global fields II: Coregular representations." pith.science (2026). https://pith.science/paper/2604.16978

@misc{pith2026260416978,
  author       = {Pith},
  title        = {Pith review of: Geometry-of-numbers methods over global fields II: Coregular representations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2604.16978}},
  note         = {Machine review of arXiv:2604.16978}
}

abstract

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Tamagawa ratios and unbounded Selmer moments
math.NT 2026-06 unverdicted novelty 6.0 of 10

Framework gives conjectural characterization of geometric families of abelian varieties with unbounded average l-Selmer sizes, proven correct when l-torsion module is constant across the family.

Reference graph

Works this paper leans on

49 extracted references · 49 canonical work pages · cited by 1 Pith paper

[1]

Most hyperelliptic curves over Q have no rational points

M. Bhargava, Most hyperelliptic overQcurves have no rational points,http://arxiv.org/abs/ 1308.0395

work page Pith review arXiv
[2]

Bhargava, The density of discriminants of quartic rings and fields,Ann

M. Bhargava, The density of discriminants of quartic rings and fields,Ann. of Math.(2)162 (2005), no. 2, 1031–1063. 36

work page 2005
[3]

Bhargava, The density of discriminants of quintic rings and fields,Ann

M. Bhargava, The density of discriminants of quintic rings and fields,Ann. of Math.(2)172 (2010), no. 3, 1559–1591

work page 2010
[4]

The geometric sieve and the density of squarefree values of invariant polynomials

M. Bhargava, The geometric sieve and the density of squarefree values of invariant polynomials, http://arxiv.org/abs/1402.0031

work page Pith review arXiv
[5]

Bhargava and B

M. Bhargava and B. Gross, The average size of the 2-Selmer group of the Jacobians of hyperelliptic curves with a rational Weierstrass point,Automorphic Representations andL-functions,TIFR Studies in Math.22(2013), 23–91

work page 2013
[6]

Bhargava, B

M. Bhargava, B. Gross. and X. Wang, A positive proportion of locally soluble hyperelliptic curves overQhave no point over any odd degree extension,J. Amer. Math. Soc.30(2017), 451–493

work page 2017
[7]

Bhargava and W

M. Bhargava and W. Ho, Coregular spaces and genus one curves,Camb. J. Math.4(2016), no. 1, 1–119

work page 2016
[8]

Bhargava and W

M. Bhargava and W. Ho, On average sizes of Selmer groups and ranks in families of elliptic curves having marked points,https://arxiv.org/abs/2207.03309

work page arXiv

Show all 49 references

[9]

Bhargava and A

M. Bhargava and A. Shankar, Binary quartic forms having bounded invariants, and the bounded- ness of the average rank of elliptic curves,Ann. of Math.(2),181(2015), no. 1, 191–242

2015
[10]

Bhargava and A

M. Bhargava and A. Shankar, Ternary cubic forms having bounded invariants, and the existence of a positive proportion of elliptic curves having rank 0,Ann. of Math.(2)181(2015), no. 2, 587–621

2015
[11]

Bhargava and A

M. Bhargava and A. Shankar, The average number of elements in the 4-Selmer groups of elliptic curves is 7,http://arxiv.org/abs/1312.7333
[12]

Bhargava and A

M. Bhargava and A. Shankar, The average number of elements in the 5-Selmer groups of elliptic curves is 6, and the average rank is less than 1,http://arxiv.org/abs/1312.7859
[13]

Bhargava, A

M. Bhargava, A. Shankar and X. Wang, Geometry-of-numbers methods over global fields I: Pre- homogeneous vector spaces,http://arxiv.org/abs/1512.03035
[14]

Bhargava, A

M. Bhargava, A. Shankar and X. Wang, Squarefree values of polynomial discriminants I,Invent. Math.228(2022) no. 3, 1037–1073

2022
[15]

Bhargava, A

M. Bhargava, A. Shankar and X. Wang, Squarefree values of polynomial discriminants II,Forum Math. Pi13(2025), e17

2025
[16]

Bhargava and C

M. Bhargava and C. Skinner, A positive proportion of elliptic curves overQhave rank one,J. Ramanujan Math. Soc.29(2014), no. 2, 221–242

2014
[17]

Bhargava, C

M. Bhargava, C. Skinner, and W. Zhang, A majority of elliptic curves overQsatisfy the Birch and Swinnerton-Dyer Conjecture,http://arxiv.org/abs/1407.1826
[18]

Bhargava and I

M. Bhargava and I. Varma, On the mean number of 2-torsion elements in the class groups, narrow class groups, and ideal groups of cubic orders and fields, Duke Math. J.10(2015), 1911–1933

2015
[19]

Bhargava and I

M. Bhargava and I. Varma, The mean number of 3-torsion elements in the class groups and ideal groups of quadratic orders,Proc. Lond. Math. Soc.(3)112(2016), no. 2, 235–266

2016
[20]

Borel, Some finiteness properties of adele groups over number fields,Publ

A. Borel, Some finiteness properties of adele groups over number fields,Publ. Math. IHES16 (1983), 5–30

1983
[21]

Borel and Harish-Chandra, Arithmetic subgroups of algebraic groups,Ann

A. Borel and Harish-Chandra, Arithmetic subgroups of algebraic groups,Ann. of Math.75(1962), 485–535 37

1962
[22]

Borel, G

A. Borel, G. Prasad, Finiteness thoerems for discrete subgroups of bounded covolume in semi- simple groups,Publ. Math. IHES69(1989), 119–171

1989
[23]

Conrad, Finiteness theorems for algebraic groups over function fields,Compos

B. Conrad, Finiteness theorems for algebraic groups over function fields,Compos. Math.148 (2012), no. 2, 555–639

2012
[24]

J. E. Cremona, T. A. Fisher and M. Stoll, Minimalisation and reduction of 2-, 3-, and 4-coverings of elliptic curves,Algebr. Number Theory4No. 6 (2010), 763–820

2010
[25]

Davenport and H

H. Davenport and H. Heilbronn, On the density of discriminats of cubic fields II,Proc. Roy. Soc. London. Ser. A322(1971), no. 1551, 405–420

1971
[26]

A. J. de Jong, Counting elliptic surfaces over finite fields,Mosc. Math. J.2(2002), no. 2, 281-–311

2002
[27]

A. W. Deng, Rational points on weighted projective spaces,http://arxiv.org/abs/math/981 2082
[28]

Fisher, Explicit 5-descent on elliptic curves,ANTS X–Proceedings of the Tenth Algorithmic Number Theorem Symposium, 395–411

T. Fisher, Explicit 5-descent on elliptic curves,ANTS X–Proceedings of the Tenth Algorithmic Number Theorem Symposium, 395–411
[29]

Goldfeld, Conjectures on elliptic curves over quadratic fields,Number Theory, Carbondale 1979 (Proc

D. Goldfeld, Conjectures on elliptic curves over quadratic fields,Number Theory, Carbondale 1979 (Proc. Southern Illinois Conf.), 108–118. Lecture Notes in Math.751, Springer, Berlin, 1979

1979
[30]

Laga, Graded Lie algebras, compactified Jacobians and arithmetic statistics,J

J. Laga, Graded Lie algebras, compactified Jacobians and arithmetic statistics,J. Eur. Math. Soc. (2024)

2024
[31]

Laga, The average size of the 2-Selmer group of a family of non-hyperelliptic curves of genus 3, Algebr

J. Laga, The average size of the 2-Selmer group of a family of non-hyperelliptic curves of genus 3, Algebr. Number Theory16, no. 5 (2022), 1161–1212

2022
[32]

Q. P. Ho, V. B. Le Hung and B. C. Ngo, Average size of 2-Selmer groups of elliptic curves over function fields,http://arxiv.org/abs/1310.7963
[33]

N. M. Katz and P. Sarnak, Random matrices, Frobenius eigenvalues, and monodromy,American Mathematical Society Colloquium Publications45, American Mathematical Society, Providence, RI, 1999

1999
[34]

Oller, Geometry-of-numbers over number fields and the density of ADE families of curves having squarefree discriminant,https://arxiv.org/abs/2505.11301

M. Oller, Geometry-of-numbers over number fields and the density of ADE families of curves having squarefree discriminant,https://arxiv.org/abs/2505.11301
[35]

Poonen, M

B. Poonen, M. Stoll, Most odd degree hyperelliptic curves have only one rational point,Ann. of Math.(2)180(2014), 1137–1166

2014
[36]

Poonen and M

B. Poonen and M. Stoll, The Cassels–Tate pairing on polarized abelian varieties,Ann. of Math. 150(1999), 1109–1149

1999
[37]

Romano, and J

B. Romano, and J. Thorne,E 8 and the average size of the 3-Selmer group of the Jacobian of a pointed genus-2 curve,Proc. of the London Math. Soc.122 (5), (2021), 678–723

2021
[38]

A. N. Shankar, 2-Selmer groups of hyperelliptic curves with marked points,Trans. Amer. Math. Soc.372(2019), 267–304

2019
[39]

A. N. Shankar, A. Shankar, and X. Wang, Large families of elliptic curves ordered by conductor, Compos. Math.157(2021), no. 7, 1538–1583

2021
[40]

Shankar, The average rank of elliptic curves over number fields, Ph.D thesis, Princeton 2012

A. Shankar, The average rank of elliptic curves over number fields, Ph.D thesis, Princeton 2012

2012
[41]

Shankar and X

A. Shankar and X. Wang, Rational points on hyperelliptic curves having a marked non-Weierstrass point,Compos. Math.154(2018), 188–222. 38

2018
[42]

Siad, Effect of monogenicity on 2-torsion in the class group of number fields of odd degree, https://arxiv.org/abs/2011.08834

A. Siad, Effect of monogenicity on 2-torsion in the class group of number fields of odd degree, https://arxiv.org/abs/2011.08834

2011
[43]

Siad, Monogenic fields with odd class number Part II: even degree,https://arxiv.org/abs/ 2011.08842

A. Siad, Monogenic fields with odd class number Part II: even degree,https://arxiv.org/abs/ 2011.08842

2011
[44]

A. A. Swaminathan, Most odd-degree binary forms fail to primitively represent a square,Compos. Math.,160(3)(2024), 481–517

2024
[45]

T. A. Springer. Reduction theory over global fields,Proc. Indian Acad. Sci. (Math. Sci. )104 (1994), 207–216

1994
[46]

Thorne,E 6 and the arithmetic of a family of non-hyperelliptic curves of genus 3,Forum Math

J. Thorne,E 6 and the arithmetic of a family of non-hyperelliptic curves of genus 3,Forum Math. Pi, Vol. 3 (2015), e1

2015
[47]

Thorne, On the average number of 2-Selmer elements of elliptic curves overF q(X) with two marked points.Doc

J. Thorne, On the average number of 2-Selmer elements of elliptic curves overF q(X) with two marked points.Doc. Math.24(2019), pp. 1179–1223

2019
[48]

Wang,Maximal linear spaces contained in the base loci of pencils of quadrics,Algebr

X. Wang,Maximal linear spaces contained in the base loci of pencils of quadrics,Algebr. Geom.5 (2018), no. 3, 359–397

2018
[49]

Weil,Adeles and algebraic groups, Birkh¨ auser, 1982

A. Weil,Adeles and algebraic groups, Birkh¨ auser, 1982. 39

1982

Pith tools

Reviewed May 10, 2026 · model on record in the stance chip above.

[1] [1]

Most hyperelliptic curves over Q have no rational points

M. Bhargava, Most hyperelliptic overQcurves have no rational points,http://arxiv.org/abs/ 1308.0395

work page Pith review arXiv

[2] [2]

Bhargava, The density of discriminants of quartic rings and fields,Ann

M. Bhargava, The density of discriminants of quartic rings and fields,Ann. of Math.(2)162 (2005), no. 2, 1031–1063. 36

work page 2005

[3] [3]

Bhargava, The density of discriminants of quintic rings and fields,Ann

M. Bhargava, The density of discriminants of quintic rings and fields,Ann. of Math.(2)172 (2010), no. 3, 1559–1591

work page 2010

[4] [4]

The geometric sieve and the density of squarefree values of invariant polynomials

M. Bhargava, The geometric sieve and the density of squarefree values of invariant polynomials, http://arxiv.org/abs/1402.0031

work page Pith review arXiv

[5] [5]

Bhargava and B

M. Bhargava and B. Gross, The average size of the 2-Selmer group of the Jacobians of hyperelliptic curves with a rational Weierstrass point,Automorphic Representations andL-functions,TIFR Studies in Math.22(2013), 23–91

work page 2013

[6] [6]

Bhargava, B

M. Bhargava, B. Gross. and X. Wang, A positive proportion of locally soluble hyperelliptic curves overQhave no point over any odd degree extension,J. Amer. Math. Soc.30(2017), 451–493

work page 2017

[7] [7]

Bhargava and W

M. Bhargava and W. Ho, Coregular spaces and genus one curves,Camb. J. Math.4(2016), no. 1, 1–119

work page 2016

[8] [8]

Bhargava and W

M. Bhargava and W. Ho, On average sizes of Selmer groups and ranks in families of elliptic curves having marked points,https://arxiv.org/abs/2207.03309

work page arXiv