pith. sign in

arxiv: 2605.22063 · v1 · pith:2W3Y7PIUnew · submitted 2026-05-21 · 🧮 math.NT

On the structure of fine Mordell-Weil groups over a mathbb{Z}_p-extension and its intermediate subextensions

Meng Fai Lim This is my paper

Pith reviewed 2026-05-22 03:54 UTC · model grok-4.3

classification 🧮 math.NT
keywords fine Mordell-Weil groupsZ_p-extensionsIwasawa theoryelliptic curvesnumber fieldsGalois cohomologyintermediate fields
0
0 comments X

The pith

Fine Mordell-Weil groups over intermediate subextensions of any Z_p-extension of F admit a uniform structural description.

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

The paper examines the fine Mordell-Weil groups attached to an elliptic curve as one passes through the finite layers of a Z_p-extension F_infty over a base number field F. It seeks to pin down their ranks, torsion, and Galois-module structure at each finite level. A sympathetic reader cares because these groups control the growth of rational points in infinite p-adic towers and therefore bear on the arithmetic of elliptic curves at p-adic places.

Core claim

Over every intermediate subextension F_n of the Z_p-extension F_infty/F, the fine Mordell-Weil group is a finitely generated module whose structure is determined by the Iwasawa module of the full extension together with the action of the Galois group of F_n over F.

What carries the argument

The fine Mordell-Weil group, the subgroup of the Mordell-Weil group consisting of points that remain locally trivial at almost all places after base change to the p-adic completion.

If this is right

  • The rank of the fine Mordell-Weil group remains bounded across all layers of the tower.
  • The p-primary torsion in the fine Mordell-Weil group is eventually constant for large enough n.
  • A control theorem relates the fine Mordell-Weil group at each layer to the corresponding Selmer group over the full extension.
  • The Galois action on the fine Mordell-Weil group factors through a quotient of the Iwasawa algebra.

Where Pith is reading between the lines

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

  • The same structural results may apply when the base field F is replaced by a finite extension inside the tower, yielding a recursive description of the groups.
  • If the fine Mordell-Weil groups are finite at each layer, this would give a new way to bound the p-adic height pairing on the Mordell-Weil group over F.
  • The results suggest that analogous control theorems could be proved for fine Selmer groups when the elliptic curve has good ordinary reduction at p.

Load-bearing premise

Standard definitions and properties of fine Mordell-Weil groups and Z_p-extensions from prior Iwasawa theory literature hold without additional restrictions on the base field F or the elliptic curve involved.

What would settle it

An explicit elliptic curve and Z_p-extension where the fine Mordell-Weil rank or torsion at some finite layer F_n differs from the prediction obtained by descending the Iwasawa module of the full tower.

read the original abstract

In this paper, we investigate the structure of the fine Mordell-Weil groups over the intermediate subextensions of a given $\mathbb{Z}_p$-extension $F_\infty$ of $F$.

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 investigates the structure of the fine Mordell-Weil groups of an elliptic curve over the intermediate finite layers F_n of a given Z_p-extension F_∞/F. It applies standard Iwasawa-theoretic control theorems and hypotheses (good ordinary reduction at p, non-anomalous primes) drawn from the existing literature to describe these groups.

Significance. If the results hold, the work supplies a concrete description of the fine Mordell-Weil groups in the layers of a Z_p-tower. This is relevant to p-adic Birch–Swinnerton-Dyer conjectures and the structure of fine Selmer groups. The manuscript explicitly references the usual hypotheses and prior control theorems, which is a strength.

minor comments (2)
  1. The introduction would benefit from a brief explicit recall of the definition of the fine Mordell-Weil group (even if standard) to make the paper self-contained for readers outside the immediate Iwasawa-theory community.
  2. Notation for the layers F_n and the fine Mordell-Weil group E^+(F_n) should be fixed consistently across sections; occasional shifts between E^+ and the fine version appear.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of our manuscript and for recognizing its potential relevance to p-adic Birch–Swinnerton-Dyer conjectures and the structure of fine Selmer groups. We also appreciate the acknowledgment that the paper references standard hypotheses and prior control theorems from the literature. The recommendation for minor revision is noted.

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external standard definitions

full rationale

The paper investigates the structure of fine Mordell-Weil groups over intermediate layers of a Z_p-extension by applying standard definitions, control theorems, and hypotheses (good ordinary reduction at p, non-anomalous primes) from prior Iwasawa theory literature. These are explicitly referenced as external and hold without additional restrictions on F or the elliptic curve. No equations reduce a prediction to a fitted input by construction, no load-bearing self-citation chains justify the central premise, and no ansatz or uniqueness theorem is smuggled in from the authors' prior work. The derivation chain remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Based solely on the abstract, the work rests on standard background from algebraic number theory and Iwasawa theory; no free parameters, invented entities, or ad-hoc axioms are identifiable without the full manuscript.

pith-pipeline@v0.9.0 · 5548 in / 1041 out tokens · 31907 ms · 2026-05-22T03:54:56.411913+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

18 extracted references · 18 canonical work pages

  1. [1]

    Coates and R

    J. Coates and R. Sujatha, Fine Selmer groups of elliptic curves overp-adic Lie extensions. Math. Ann. 331 (2005), no. 4, 809-839

    work page 2005

  2. [2]

    de Shalit, Iwasawa theory of elliptic curves with complex multiplication

    E. de Shalit, Iwasawa theory of elliptic curves with complex multiplication. Perspectives in Mathematics, 3. Academic Press, Inc., Boston, MA, 1987

    work page 1987

  3. [3]

    Gambheera and D

    R. Gambheera and D. Kundu, Structure of (fine) Mordell-Weil groups, arXiv:2507.20341 [math.NT]

    work page arXiv

  4. [4]

    Kato,p-adic Hodge theory and values of zeta functions of modular forms, in: Cohomologiesp-adiques et applications arithmétiques

    K. Kato,p-adic Hodge theory and values of zeta functions of modular forms, in: Cohomologiesp-adiques et applications arithmétiques. III., Astérisque 295, 2004, ix, pp. 117-290

    work page 2004

  5. [5]

    Kobayashi, Iwasawa theory for elliptic curves at supersingular primes

    S. Kobayashi, Iwasawa theory for elliptic curves at supersingular primes. Invent. Math. 152 (2003), no. 1, 1-36

    work page 2003

  6. [6]

    Lee, Structure of the Mordell-Weil group over theZp-extensions

    J. Lee, Structure of the Mordell-Weil group over theZp-extensions. Trans. Amer. Math. Soc. 373 (2020), no. 4, 2399- 2425

    work page 2020

  7. [7]

    Lei, Algebraic structure and characteristic ideals of fine Mordell-Weil groups and plus/minus Mordell-Weil groups, Math

    A. Lei, Algebraic structure and characteristic ideals of fine Mordell-Weil groups and plus/minus Mordell-Weil groups, Math. Z. 303 (2023), no. 1, Paper No. 14, 17 pp

    work page 2023

  8. [8]

    M. F. Lim, On the control theorem for fine Selmer groups and the growth of fine Tate-Shafarevich groups inZp- extensions, Doc. Math. 25 (2020), 2445-2471

    work page 2020

  9. [9]

    M. F. Lim, Structure of fine Selmer groups overZp-extensions, Math. Proc. Cambridge Philos. Soc. 176, no. 2 (2024), 287-308. 14

    work page 2024

  10. [10]

    M. F. Lim, On fine Mordell-Weil groups overZp-extensions of an imaginary quadratic field, Ann. Math. Qué. 49 (2025), no. 1, 253-278

    work page 2025

  11. [11]

    M. F. Lim, C. Qin and J. Wang, On pseudo-nullity of the fine Mordell-Weil group, Bull. Aust. Math. Soc. 112 (2025), no. 1, 71-79

    work page 2025

  12. [12]

    Mazur, K

    B. Mazur, K. Rubin and A. Silverberg, Twisting commutative algebraic groups, J. Algebra 314 (2007) 419-438

    work page 2007

  13. [13]

    Perrin-Riou,p-adicL-functions andp-adic representations

    B. Perrin-Riou,p-adicL-functions andp-adic representations. Translated from the 1995 French original by Leila Schneps and revised by the author. SMF/AMS Texts and Monographs, 3. American Mathematical Society, Providence, RI; Société Mathématique de France, Paris, 2000. xx+150 pp

    work page 1995

  14. [14]

    Ray, On signed Mordell-Weil groups for abelian varieties, to appear in: Around the class groups of number fields−a conference proceedings of ICCGNFRT

    J. Ray, On signed Mordell-Weil groups for abelian varieties, to appear in: Around the class groups of number fields−a conference proceedings of ICCGNFRT

    work page

  15. [15]

    Weil, Adeles and Algebraic Groups, Progress in Math., vol

    A. Weil, Adeles and Algebraic Groups, Progress in Math., vol. 23, Birkhäuser, Boston, 1982

    work page 1982

  16. [16]

    Wuthrich, The fine Selmer group and height pairings

    C. Wuthrich, The fine Selmer group and height pairings. Ph.D. Thesis (University of Cambridge), 2004

    work page 2004

  17. [17]

    Wuthrich, Iwasawa theory of the fine Selmer group, J

    C. Wuthrich, Iwasawa theory of the fine Selmer group, J. Algebraic Geom. 16 (2007), no. 1, 83-108

    work page 2007

  18. [18]

    Wuthrich, The fine Tate-Shafarevich group, Math

    C. Wuthrich, The fine Tate-Shafarevich group, Math. Proc. Cambridge Philos. Soc. 142 (2007), no. 1, 1-12. 15

    work page 2007