pith. sign in

arxiv: 2405.19142 · v3 · submitted 2024-05-29 · 🧮 math.NT

On p-adic L-functions of elliptic curves and the ideal class groups of the division fields

Naoto Dainobu This is my paper

Pith reviewed 2026-05-24 00:41 UTC · model grok-4.3

classification 🧮 math.NT
keywords elliptic curvesp-adic L-functionsideal class groupsp-division fieldsanalytic rankGalois modulesp-divisibility
0
0 comments X

The pith

When an elliptic curve has analytic rank one, the non-vanishing of its E[p]-component in the class group of the p-division field relates to the p-divisibility of the leading coefficient of its p-adic L-function.

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

The paper studies the ideal class group of the p-division field F_E of an elliptic curve E over F, where F is Q or an imaginary quadratic field satisfying certain conditions. It investigates the non-vanishing of the E[p]-component inside the semi-simplification of Cl(F_E) modulo p, viewed as a module over the group algebra F_p[Gal(F_E/F)], but only when E[p] itself is irreducible as a Galois module. When the analytic rank of E over F equals one, the work establishes a direct relationship between this non-vanishing and whether the leading coefficient of the relevant p-adic L-function is divisible by p. A sympathetic reader would care because the result ties an arithmetic invariant of the division field class group to an analytic quantity coming from the p-adic L-function, either the cyclotomic one or the anticyclotomic one constructed by Bertolini-Darmon-Prasanna.

Core claim

When the analytic rank of E over F is 1 and E[p] is irreducible as a Gal(F_E/F)-module, the non-vanishing of the E[p]-component in the semi-simplification of Cl(F_E)/pCl(F_E) is related to the p-divisibility of the leading coefficient of the cyclotomic p-adic L-function of E (when F = Q) or of the anticyclotomic p-adic L-function of E (when F is imaginary quadratic).

What carries the argument

The E[p]-component inside the semi-simplification of Cl(F_E)/pCl(F_E) as an F_p[Gal(F_E/F)]-module, linked to the leading coefficient of the p-adic L-function.

If this is right

  • The p-divisibility of the leading coefficient of the p-adic L-function controls the presence of the E[p]-component in the class group.
  • Arithmetic information from the class group of the division field can be used to study the p-adic analytic quantity attached to E.
  • The relationship holds uniformly for both the cyclotomic and anticyclotomic settings depending on the choice of F.
  • The result applies only under the stated irreducibility and rank conditions.

Where Pith is reading between the lines

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

  • The relationship might be usable in the other direction to detect p-divisibility of L-function coefficients by computing class groups instead of L-values.
  • Similar links could appear in Iwasawa-theoretic settings where one considers infinite towers of division fields.
  • The result may interact with the main conjecture for elliptic curves by providing a class-group side interpretation of the leading term.

Load-bearing premise

That E[p] is irreducible as a Gal(F_E/F)-module and that the analytic rank of E over F is exactly one.

What would settle it

An explicit elliptic curve E over Q or an imaginary quadratic field with analytic rank one, irreducible E[p], and known leading coefficient of the p-adic L-function, together with a computation of whether the E[p]-component vanishes in Cl(F_E)/pCl(F_E).

read the original abstract

Let $E$ be an elliptic curve defined over $\mathbb{Q}$ and $F$ be $\mathbb{Q}$ or an imaginary quadratic field with certain conditions. In this article, we study the ideal class group $\mathrm{Cl}(F_E)$ of the $p$-division field $F_E:=F(E[p])$ of $E$ over $F$ for an odd prime number $p$. More precisely, we investigate the non-vanishing of the $E[p]$-component in the semi-simplification of $\mathrm{Cl}(F_E)/p\mathrm{Cl}(F_E)$ as an $\mathbb{F}_p[\mathrm{Gal}(F_E/F)]$-module when $E[p]$ is an irreducible $\mathrm{Gal}(F_E/F)$-module. When the analytic rank of $E$ over $F$ is $1$, we establish a new relationship between the non-vanishing of the $E[p]$-component and the $p$-divisibility of a certain $p$-adic analytic quantity associated with $E$. The quantity is defined by the leading coefficient of the cyclotomic $p$-adic $L$-function of $E$ when $F=\mathbb{Q}$ and by that of Bertolini--Darmon--Prasanna's anticyclotomic $p$-adic $L$-function of $E$ when $F$ is the imaginary quadratic field.

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 studies the ideal class group Cl(F_E) of the p-division field F_E = F(E[p]) for an elliptic curve E over F (F = Q or an imaginary quadratic field satisfying stated conditions). Under the hypothesis that E[p] is irreducible as a Gal(F_E/F)-module, it investigates the non-vanishing of the E[p]-component in the semi-simplification of Cl(F_E)/pCl(F_E) as an F_p[Gal(F_E/F)]-module. When the analytic rank of E over F is exactly 1, the paper establishes a relationship between this non-vanishing and the p-divisibility of the leading coefficient of the cyclotomic p-adic L-function of E (when F = Q) or the Bertolini-Darmon-Prasanna anticyclotomic p-adic L-function (when F is imaginary quadratic), via standard Iwasawa-theoretic comparisons.

Significance. If the stated conditional relationship holds, the result supplies a new explicit link between an algebraic invariant (the E[p]-component of the class group of the division field) and an analytic invariant (p-divisibility of the leading term of a p-adic L-function) in the setting of elliptic curves of analytic rank 1. This could be useful for applications in Iwasawa theory, the p-adic Birch-Swinnerton-Dyer conjecture, and the study of Selmer groups over division fields. The conditional formulation under explicit hypotheses (analytic rank 1 and irreducibility) and the reliance on established Iwasawa-theoretic tools are strengths of the approach.

minor comments (2)
  1. [Abstract] The abstract states that a 'new relationship' is established but does not specify whether the result is an implication in one direction, an equivalence, or a precise formula relating the two quantities; clarifying this in the introduction would strengthen the statement of the main theorem.
  2. [§1] Notation for the semi-simplification of Cl(F_E)/pCl(F_E) and the precise meaning of the 'E[p]-component' should be defined at first use in §1 or §2 to avoid ambiguity for readers unfamiliar with the Galois-module decomposition.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, significance assessment, and recommendation of minor revision. We appreciate the recognition of the link between the algebraic and analytic invariants under the stated hypotheses.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper links the non-vanishing of an E[p]-component in the class group of the division field to the p-divisibility of the leading coefficient of an independently constructed p-adic L-function (cyclotomic or anticyclotomic) under the explicit hypotheses of analytic rank 1 and irreducibility. These objects are defined separately via standard Iwasawa theory and Galois cohomology; the claimed relationship does not reduce either side to the other by definition, fitting, or self-citation chain. The derivation is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Based solely on the abstract, the paper relies on standard domain assumptions in elliptic curve arithmetic; no free parameters or invented entities are mentioned.

axioms (2)
  • domain assumption E[p] is an irreducible Gal(F_E/F)-module
    Explicitly stated as the condition under which the non-vanishing of the E[p]-component is investigated.
  • domain assumption The analytic rank of E over F is 1
    Explicitly stated as the condition for establishing the relationship with the p-adic L-function leading coefficient.

pith-pipeline@v0.9.0 · 5790 in / 1499 out tokens · 28055 ms · 2026-05-24T00:41:28.194959+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

26 extracted references · 26 canonical work pages

  1. [1]

    Agashe and W

    A. Agashe and W. Stein. Visibility of Shafarevich-Tate groups of abelian varieties.Journal of Number Theory, 97(1):171–185, 2002

    work page 2002

  2. [2]

    Bertolini, H

    M. Bertolini, H. Darmon, and K. Prasanna. Generalized Heegner cycles andp-adic Rankin L-series.Duke Mathematical Journal, 162(6):1033 – 1148, 2013

    work page 2013

  3. [3]

    Brakočević

    M. Brakočević. Anticyclotomicp-adicL-function of central critical Rankin-SelbergL-value. Int. Math. Res. Not. IMRN, (21):4967–5018, 2011

    work page 2011

  4. [4]

    Burungale, F

    A. Burungale, F. Castella, and C.-H. Kim. A proof of Perrin-Riou’s Heegner point main con- jecture.Algebra Number Theory, 15(7):1627–1653, 2021

    work page 2021

  5. [5]

    Burungale, C

    A. Burungale, C. Skinner, Y. Tian, and X. Wan. Zeta elements for elliptic curves and applica- tions, 2024, 2409.01350

    work page arXiv 2024

  6. [6]

    Castella and M.-L

    F. Castella and M.-L. Hsieh. Heegner cycles andp-adicL-functions.Math. Ann., 370(1-2):567– 628, 2018

    work page 2018

  7. [7]

    Castella, C.-Y

    F. Castella, C.-Y. Hsu, D. Kundu, Y.-S. Lee, and Z. Liu. Derivedp-adic heights and the leading coefficient of the Bertolini-Darmon-Prasannap-adicL-function.Trans. Amer. Math. Soc. Ser. B, 12:748–788, 2025

    work page 2025

  8. [8]

    P. Colmez. La conjecture de Birch et Swinnerton-Dyerp-adique. InSéminaire Bourbaki : volume 2002/2003, exposés 909-923, number 294 in Astérisque, pages 251–319. Association des amis de Nicolas Bourbaki, Société mathématique de France, Paris, 2004. talk:919

    work page 2002

  9. [9]

    N. Dainobu. Ideal class groups of division fields of elliptic curves and everywhere unramified rational points.J. Number Theory, 264:211–232, 2024

    work page 2024

  10. [10]

    Greenberg.Iwasawa theory for elliptic curves, volume 1716 ofLecture Notes in Math

    R. Greenberg.Iwasawa theory for elliptic curves, volume 1716 ofLecture Notes in Math. Springer, Berlin, 1999

    work page 1999

  11. [11]

    Herbrand

    J. Herbrand. Sur les classes des corps circulaires.Journal de Mathématiques Pures et Ap- pliquées, 11:417–441, 1932

    work page 1932

  12. [12]

    Kato.p-adic Hodge theory and values of zeta functions of modular forms.Astérisque, (295):ix, 117–290, 2004

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

    work page 2004

  13. [13]

    Kobayashi

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

    work page 2003

  14. [14]

    Kobayashi

    S. Kobayashi. Thep-adic Gross-Zagier formula for elliptic curves at supersingular primes. Invent. Math., 191(3):527–629, 2013

    work page 2013

  15. [15]

    Kurihara and R

    M. Kurihara and R. Pollack. Twop-adicL-functions and rational points on elliptic curves with supersingular reduction. InL-functions and Galois representations, volume 320 ofLondon Math. Soc. Lecture Note Ser., pages 300–332. Cambridge Univ. Press, Cambridge, 2007

    work page 2007

  16. [16]

    TheL-functions and modular forms database.https://www.lmfdb

    LMFDB Collaboration. TheL-functions and modular forms database.https://www.lmfdb. org, 2024. [Online; accessed 29 May 2024]

    work page 2024

  17. [17]

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

    work page 1972

  18. [18]

    Perrin-Riou

    B. Perrin-Riou. Points de Heegner et dérivées de fonctionsL p-adiques.Invent. Math., 89(3):455–510, 1987. 21

    work page 1987

  19. [19]

    Perrin-Riou

    B. Perrin-Riou. FonctionsL p-adiques d’une courbe elliptique et points rationnels.Annales de l’Institut Fourier, 43(4):945–995, 1993

    work page 1993

  20. [20]

    Perrin-Riou

    B. Perrin-Riou. Théorie d’Iwasawa des représentationsp-adiques sur un corps local.Invent. Math., 115(1):81–161, 1994. With an appendix by Jean-Marc Fontaine

    work page 1994

  21. [21]

    D. Prasad. A proposal for non-abelian Herbrand-Ribet, 2017.http://www.math.iitb.ac.in/ ~dprasad/ribet1.pdf

    work page 2017

  22. [22]

    Prasad and S

    D. Prasad and S. Shekhar. Relating the Tate-Shafarevich group of an elliptic curve with the class group.Pacific J. Math., 312(1):203–218, 2021

    work page 2021

  23. [23]

    K. A. Ribet. A modular construction of unramifiedp-extensions ofQ(µ p).Invent. Math., 34(3):151–162, 1976

    work page 1976

  24. [24]

    Schneider.p-adic height pairings

    P. Schneider.p-adic height pairings. ii.Inventiones mathematicae, 79:329–374, 1985

    work page 1985

  25. [25]

    J. H. Silverman.The Arithmetic of Elliptic Curves, volume 106 ofGraduate texts in mathe- matics. Springer, Dordrecht, 2009

    work page 2009

  26. [26]

    Skinner and E

    C. Skinner and E. Urban. The Iwasawa main conjectures forGL2.Invent. Math., 195(1):1–277, 2014. F aculty Of Mathematics, Kyushu University, Motooka 744, Nishi-ku Fukuoka 819- 0395, Japan Email address:dainobu.naoto.819@m.kyushu-u.ac.jp

    work page 2014