pith. sign in

arxiv: 2409.15056 · v2 · pith:JYZKXQAWnew · submitted 2024-09-23 · 🧮 math.NT · math.PR

A Heuristic approach to the Iwasawa theory of elliptic curves

Katharina M\"uller , Anwesh Ray This is my paper

Pith reviewed 2026-05-23 20:36 UTC · model grok-4.3

classification 🧮 math.NT math.PR
keywords elliptic curvesIwasawa theorymu-invariantSelmer groupsGreenberg conjectureheuristicsprobability measurescyclotomic extensions
0
0 comments X

The pith

The intersection of two Iwasawa modules is finite with probability 1 under a natural probability measure, supporting the vanishing of the μ-invariant.

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

The paper studies Greenberg's μ=0 conjecture for the Selmer group of an elliptic curve over the cyclotomic Z_p-extension, under the assumptions of good ordinary reduction at an odd prime p and irreducibility of the Galois representation on the p-torsion. It extends the Poonen-Rains heuristics by modeling the relevant Iwasawa modules as random objects equipped with an inner product. The key step shows that the μ-invariant vanishes precisely when the intersection of two such modules is finite. Under the probability measure placed on the space of pairs of modules, this intersection is finite with probability 1. A reader would care because the model supplies a probabilistic reason why the conjecture should hold for most curves satisfying the hypotheses.

Core claim

The vanishing of the μ-invariant can be detected by the intersection M1 ∩ M2 of two Iwasawa modules M1, M2 with additional properties in a given inner product space. There is a probability measure on the space of pairs (M1, M2) with respect to which the event that M1 ∩ M2 is finite happens with probability 1.

What carries the argument

The intersection M1 ∩ M2 of two Iwasawa modules with additional properties inside a given inner product space, together with the probability measure on pairs of such modules.

If this is right

  • The μ-invariant vanishes for elliptic curves meeting the stated hypotheses.
  • The Selmer group over the cyclotomic Z_p-extension is cofinitely generated as a Z_p-module.
  • Greenberg's conjecture receives further statistical support from the extended Poonen-Rains model.
  • The vanishing event occurs almost surely in the space of pairs of Iwasawa modules.

Where Pith is reading between the lines

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

  • The same style of random model could be applied to predict the typical size of other Iwasawa invariants.
  • Numerical sampling of many random pairs could be compared against explicit computations for small elliptic curves.
  • If the model is accurate, counterexamples to the conjecture would be expected to be sparse among elliptic curves.

Load-bearing premise

The random model on pairs of Iwasawa modules, including the choice of inner product space and probability measure, accurately captures the distribution and intersection behavior of the actual Iwasawa modules arising from elliptic curves.

What would settle it

An explicit computation for some elliptic curve satisfying the good ordinary reduction and irreducibility hypotheses that yields a positive μ-invariant, or that produces an infinite intersection M1 ∩ M2.

read the original abstract

Let $E_{/\mathbb{Q}}$ be an elliptic curve and $p$ an odd prime such that $E$ has good ordinary reduction at $p$ and the Galois representation on $E[p]$ is irreducible. Then Greenberg's $\mu=0$ conjecture predicts that the Selmer group of $E$ over the cyclotomic $\mathbb{Z}_p$-extension of $\mathbb{Q}$ is cofinitely generated as a $\mathbb{Z}_p$-module. In this article we study this conjecture from a statistical perspective. We extend the heuristics of Poonen and Rains to obtain further evidence for Greenberg's conjecture. The key idea is that the vanishing of the $\mu$-invariant can be detected by the intersection $M_1\cap M_2$ of two Iwasawa modules $M_1, M_2$ with additional properties in a given inner product space. The heuristic is based on showing that there is a probability measure on the space of pairs $(M_1, M_2)$ respect to which the event that $M_1\cap M_2$ is finite happens with probability $1$.

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

2 major / 2 minor

Summary. The paper extends Poonen-Rains heuristics to the Iwasawa theory of elliptic curves with good ordinary reduction at an odd prime p and irreducible Galois representation on E[p]. It constructs an inner product space together with a probability measure on pairs of Iwasawa modules (M1, M2) satisfying additional properties, and shows that under this measure the intersection M1 ∩ M2 is finite with probability 1; this is presented as heuristic evidence that the μ-invariant vanishes (Greenberg's conjecture).

Significance. If the random model is shown to be compatible with the Galois-cohomological constraints on actual Iwasawa modules, the probability-1 result would supply new statistical support for Greenberg's conjecture in the ordinary irreducible setting. The explicit construction of the inner product space and the measure yielding a probability-1 statement is a clear technical strength of the work.

major comments (2)
  1. [Abstract and §3] The manuscript asserts that the constructed measure provides evidence for Greenberg's conjecture, yet contains no derivation showing that the measure (or the 'additional properties' on (M1, M2)) arises from the Selmer-group or Galois-cohomology data of elliptic curves, nor any comparison against known computed μ-invariants. This link is load-bearing for the heuristic claim (see the paragraph following the statement of the main heuristic in the abstract and the corresponding construction in §3).
  2. [§3 (definition of the measure and additional properties)] The weakest assumption identified in the model—that the random distribution on pairs (M1, M2) accurately reflects the distribution of Iwasawa modules attached to elliptic curves—is not tested against any arithmetic constraints such as local conditions at p or global duality. Without such verification the probability-1 result remains formally correct but does not yet constitute evidence for the conjecture.
minor comments (2)
  1. [§2–3] Notation for the inner product space and the precise definition of 'additional properties' should be introduced with a numbered display equation or a dedicated subsection to improve readability.
  2. [§3] The paper would benefit from an explicit statement of the precise probability space (e.g., the σ-algebra and the normalization of the measure) in a single location.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback. The report correctly identifies that our work is a heuristic model extending Poonen-Rains without a direct cohomological derivation. We address each major comment below and will revise the manuscript to clarify the scope and limitations of the heuristic evidence.

read point-by-point responses

  1. Referee: [Abstract and §3] The manuscript asserts that the constructed measure provides evidence for Greenberg's conjecture, yet contains no derivation showing that the measure (or the 'additional properties' on (M1, M2)) arises from the Selmer-group or Galois-cohomology data of elliptic curves, nor any comparison against known computed μ-invariants. This link is load-bearing for the heuristic claim (see the paragraph following the statement of the main heuristic in the abstract and the corresponding construction in §3).

    Authors: The manuscript is presented as a heuristic extension of the Poonen-Rains framework, which likewise posits a random model on the basis of structural analogies rather than deriving the measure from Galois-cohomology data. The additional properties on the pair (M1, M2) are selected precisely to reflect the known features of Iwasawa modules under the stated hypotheses (good ordinary reduction at p and irreducibility of the mod-p representation). We do not claim that the measure itself arises from Selmer-group data; the heuristic is that, if the actual modules behave like random elements of this space, then the intersection is finite with probability 1, furnishing statistical support for μ = 0. We will revise the abstract and the relevant paragraph in §3 to state this distinction more explicitly and to remove any implication of a direct derivation. A systematic comparison with known computed μ-invariants lies outside the scope of the present paper. revision: partial

  2. Referee: [§3 (definition of the measure and additional properties)] The weakest assumption identified in the model—that the random distribution on pairs (M1, M2) accurately reflects the distribution of Iwasawa modules attached to elliptic curves—is not tested against any arithmetic constraints such as local conditions at p or global duality. Without such verification the probability-1 result remains formally correct but does not yet constitute evidence for the conjecture.

    Authors: We agree that the model has not been validated against further arithmetic constraints (local conditions at p or global duality) beyond those already encoded in the definition of the inner-product space and the additional properties. The construction is motivated by the algebraic structure that Iwasawa modules are known to satisfy under the paper’s hypotheses, and the probability-1 statement is offered as heuristic evidence in the same spirit as other models in arithmetic statistics. We will add a short discussion in §3 acknowledging this limitation and noting that explicit verification against additional constraints would be a natural direction for future work. revision: yes

Circularity Check

0 steps flagged

No significant circularity; heuristic model is independent of target conjecture

full rationale

The manuscript constructs a probability measure on pairs of Iwasawa modules (with stated additional properties) under which M1 ∩ M2 is finite almost surely, and presents this as an extension of the external Poonen-Rains heuristics. No equation or definition in the abstract reduces the vanishing of μ to a fitted parameter, a self-referential definition, or a self-citation chain; the measure is introduced as a separate statistical object rather than derived from the elliptic-curve data it is meant to model. The central claim therefore remains a non-circular heuristic whose validity rests on the plausibility of the model rather than on any internal reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the modeling assumption that a suitably chosen probability measure on module pairs reflects arithmetic reality; no free parameters or invented entities are introduced in the abstract.

axioms (1)
  • domain assumption A probability measure exists on the space of pairs of Iwasawa modules such that the intersection is finite with probability 1 and this models the actual Selmer groups in the cyclotomic extension.
    This is the core heuristic modeling step invoked to link the random intersection event to the vanishing of the μ-invariant.

pith-pipeline@v0.9.0 · 5732 in / 1415 out tokens · 37268 ms · 2026-05-23T20:36:19.630161+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

21 extracted references · 21 canonical work pages · 1 internal anchor

  1. [1]

    The average size of the 5-Selmer group of elliptic curves is 6, and the average rank is less than 1

    Manjul Bhargava and Arul Shankar. The average size of the 5-selmer group of elliptic curves is 6, and the average rank is less than 1. arXiv preprint arXiv:1312.7859 , 2013

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  2. [2]

    A positive proportion of elliptic curves over Q have rank one

    Manjul Bhargava and Christopher Skinner. A positive proportion of elliptic curves over Q have rank one. J. Ramanujan Math. Soc. , 29(2):221--242, 2014

    work page 2014

  3. [3]

    Binary quartic forms having bounded invariants, and the boundedness of the average rank of elliptic curves

    Manjul Bhargava and Arul Shankar. Binary quartic forms having bounded invariants, and the boundedness of the average rank of elliptic curves. Ann. of Math. (2) , 181(1):191--242, 2015

    work page 2015

  4. [4]

    Ternary cubic forms having bounded invariants, and the existence of a positive proportion of elliptic curves having rank 0

    Manjul Bhargava and Arul 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(2):587--621, 2015

    work page 2015

  5. [5]

    Coates and R

    J. Coates and R. Sujatha. Galois cohomology of elliptic curves , volume 88 of Tata Institute of Fundamental Research Lectures on Mathematics . Published by Narosa Publishing House, New Delhi; for the Tata Institute of Fundamental Research, Mumbai, 2000

    work page 2000

  6. [6]

    Coates and R

    J. Coates and R. Sujatha. Fine S elmer groups of elliptic curves over p -adic L ie extensions. Math. Ann. , 331(4):809--839, 2005

    work page 2005

  7. [7]

    Elliptic curves with no exceptional primes

    William Duke. Elliptic curves with no exceptional primes. C. R. Acad. Sci. Paris S\' e r. I Math. , 325(8):813--818, 1997

    work page 1997

  8. [8]

    Iwasawa theory for p -adic representations

    Ralph Greenberg. Iwasawa theory for p -adic representations. In Algebraic number theory , volume 17 of Adv. Stud. Pure Math. , pages 97--137. Academic Press, Boston, MA, 1989

    work page 1989

  9. [9]

    Iwasawa theory for elliptic curves

    Ralph Greenberg. Iwasawa theory for elliptic curves. In Arithmetic theory of elliptic curves ( C etraro, 1997) , volume 1716 of Lecture Notes in Math. , pages 51--144. Springer, Berlin, 1999

    work page 1997

  10. [10]

    Introduction to I wasawa theory for elliptic curves

    Ralph Greenberg. Introduction to I wasawa theory for elliptic curves. In Arithmetic algebraic geometry ( P ark C ity, UT , 1999) , volume 9 of IAS/Park City Math. Ser. , pages 407--464. Amer. Math. Soc., Providence, RI, 2001

    work page 1999

  11. [11]

    On the I wasawa invariants of elliptic curves

    Ralph Greenberg and Vinayak Vatsal. On the I wasawa invariants of elliptic curves. Invent. Math. , 142(1):17--63, 2000

    work page 2000

  12. [12]

    On Z l -extensions of algebraic number fields

    Kenkichi Iwasawa. On Z l -extensions of algebraic number fields. Ann. of Math. (2) , 98:246--326, 1973

    work page 1973

  13. [13]

    p -adic H odge theory and values of zeta functions of modular forms

    Kazuya Kato. p -adic H odge theory and values of zeta functions of modular forms. Number 295, pages ix, 117--290. 2004. Cohomologies p -adiques et applications arithm\' e tiques. III

    work page 2004

  14. [14]

    Rational points of abelian varieties with values in towers of number fields

    Barry Mazur. Rational points of abelian varieties with values in towers of number fields. Invent. Math. , 18:183--266, 1972

    work page 1972

  15. [15]

    Cohomology of number fields , volume 323 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]

    J\" u rgen Neukirch, Alexander Schmidt, and Kay Wingberg. Cohomology of number fields , volume 323 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] . Springer-Verlag, Berlin, second edition, 2008

    work page 2008

  16. [16]

    Pint\'er

    M. Pint\'er. The existence of an inverse limit of an inverse system of measure spaces---a purely measurable case. Acta Math. Hungar. , 126(1-2):65--77, 2010

    work page 2010

  17. [17]

    Random maximal isotropic subspaces and S elmer groups

    Bjorn Poonen and Eric Rains. Random maximal isotropic subspaces and S elmer groups. J. Amer. Math. Soc. , 25(1):245--269, 2012

    work page 2012

  18. [18]

    On the corank of the fine S elmer group of an elliptic curve over a Z_p -extension

    Anwesh Ray. On the corank of the fine S elmer group of an elliptic curve over a Z_p -extension. Ramanujan J. , 62(4):1023--1035, 2023

    work page 2023

  19. [19]

    Anwesh Ray and R. Sujatha. Arithmetic statistics for the fine S elmer group in I wasawa theory. Res. Number Theory , 9(3):Paper No. 59, 25, 2023

    work page 2023

  20. [20]

    Sujatha and M

    R. Sujatha and M. Witte. Fine S elmer groups and isogeny invariance. In Geometry, algebra, number theory, and their information technology applications , volume 251 of Springer Proc. Math. Stat. , pages 419--444. Springer, Cham, 2018

    work page 2018

  21. [21]

    Washington

    Lawrence C. Washington. Introduction to cyclotomic fields , volume 83 of Graduate Texts in Mathematics . Springer-Verlag, New York, second edition, 1997

    work page 1997