Pith. sign in

REVIEW 2 minor 26 references

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

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

Challenge this review Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read 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.

desk verdict The paper links non-vanishing of the E[p]-component in class groups of division fields to p-divisibility of p-adic L-function leading coefficients when analytic rank is exactly 1 and E[p] is irreducible. read the letter →

arxiv 2405.19142 v3 submitted 2024-05-29 math.NT

Naoto Dainobu This is my paper · ORCID
classification math.NT
keywords ellipticcurvesp-adicL-functionsidealclassgroupsp-divisionfieldsanalyticrankGaloismodulesp-divisibility
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

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.

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.

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).

Watch

Extended reading notes

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).

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.

Editorial extensions

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.

Reading between the lines

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.
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.

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 · score 0.0 of 10

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.

Assumptions & free parameters 0 free parameters · 2 assumptions · 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.

assumptions (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.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On $p$-adic $L$-functions of elliptic curves and the ideal class groups of the division fields." pith.science (2026). https://pith.science/paper/2405.19142

@misc{pith2026240519142,
  author       = {Pith},
  title        = {Pith review of: On $p$-adic $L$-functions of elliptic curves and the ideal class groups of the division fields},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2405.19142}},
  note         = {Machine review of arXiv:2405.19142}
}
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.

Discussion (0). Continue with ORCID to comment.

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

Show all 26 references
  1. [9]

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

    2024

  2. [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

    1999

  3. [11]

    Herbrand

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

    1932

  4. [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

    2004

  5. [13]

    Kobayashi

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

    2003

  6. [14]

    Kobayashi

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

    2013

  7. [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

    2007

  8. [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]

    2024

  9. [17]

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

    1972

  10. [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

    1987

  11. [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

    1993

  12. [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

    1994

  13. [21]

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

    2017

  14. [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

    2021

  15. [23]

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

    1976

  16. [24]

    Schneider.p-adic height pairings

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

    1985

  17. [25]

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

    2009

  18. [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

    2014

Pith tools

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