pith. sign in

arxiv: 2606.02254 · v2 · pith:MSVN3S2Knew · submitted 2026-06-01 · 🧮 math.NT

On periods of Elliptic curves

Daniel Barrera Salazar , Juan-Pablo Llerena-C\'ordova This is my paper

Pith reviewed 2026-06-28 12:41 UTC · model grok-4.3

classification 🧮 math.NT
keywords elliptic curvesL-invariantsp-adic periodsexceptional zero conjecturessplit multiplicative reductionautomorphic periodstame L-invariant
0
0 comments X

The pith

The tame part of the L-invariant of an elliptic curve at a prime of split multiplicative reduction equals an expression built from automorphic p-adic periods.

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

The paper equates two expressions for the tame part of the L-invariant attached to an elliptic curve E over the rationals that has split multiplicative reduction at a prime p. One expression comes from the arithmetic of E itself; the other is built from automorphic p-adic periods that Darmon introduced. The equality is obtained by matching refined versions of the L-invariant on each side, which in turn rests on twisted forms of refined exceptional-zero conjectures. In the special situation where the conductor of E is exactly p and the period arises from an optimal embedding of conductor 1, the equality is proved without any conjecture by invoking earlier results of de-Shalit. A reader would care because the result supplies an explicit bridge between an arithmetic invariant and a period that can sometimes be computed by other means.

Core claim

Let E be an elliptic curve over Q with split multiplicative reduction at p. The tame part of the L-invariant of E at p equals the corresponding quantity defined from Darmon's automorphic p-adic periods. This is proved by establishing an equality between refined L-invariants that follows from twisted versions of the refined exceptional zero conjectures. When the conductor of E is exactly p and the automorphic period is attached to an optimal embedding of conductor 1, the equality holds unconditionally by de-Shalit's work.

What carries the argument

Automorphic p-adic periods from Darmon's work, which are used to construct a refined L-invariant shown equal to the arithmetic one attached to E.

If this is right

  • The tame L-invariant can be rewritten in terms of the automorphic periods whenever the twisted conjectures are known.
  • In the special case of conductor exactly p and optimal embedding of conductor 1 the equality is unconditional, giving an explicit formula without extra assumptions.
  • The description applies to any elliptic curve with split multiplicative reduction at p once the relevant twisted conjectures are verified for that curve.

Where Pith is reading between the lines

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

  • The result gives a concrete way to relate the size of the L-invariant to quantities coming from automorphic forms, which might be useful for explicit computations when the periods are accessible.
  • Similar equalities could be explored for other reduction types or for invariants attached to higher-dimensional motives if the underlying conjectures admit analogous twists.

Load-bearing premise

The twisted versions of the refined exceptional zero conjectures hold, or in the special conductor-p case that de-Shalit's earlier results apply directly to the period in question.

What would settle it

A concrete elliptic curve E with split multiplicative reduction at p together with explicit numerical values on both sides of the refined L-invariant equality that disagree.

read the original abstract

Let $E$ be an elliptic curve over $\mathbb{Q}$ having split multiplicative reduction at a prime number $p$. We describe the tame part of the $\mathcal{L}$-invariant of $E$ at $p$ in terms of automorphic $p$-adic periods introduced in the work of Darmon. More precisely, we prove an equality of refined $\mathcal{L}$-invariants using twisted versions of refined exceptional zero conjectures. When the conductor of the elliptic curve is exactly $p$ and the automorphic period is attached to an optimal embedding of conductor $1$ then we prove this equality unconditionally by using the work of de-Shalit.

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

1 major / 1 minor

Summary. The paper claims that for an elliptic curve E/Q with split multiplicative reduction at p, the tame part of the L-invariant at p equals an automorphic p-adic period of Darmon type. This is obtained by proving an equality of refined L-invariants that invokes twisted versions of the refined exceptional zero conjectures; the equality is unconditional when the conductor of E is exactly p and the period arises from an optimal embedding of conductor 1, via de-Shalit's results.

Significance. If the twisted refined exceptional zero conjectures hold, the result would relate the algebraic p-adic L-invariant directly to Darmon periods, extending the arithmetic significance of exceptional-zero phenomena. The unconditional special case supplies a concrete verification that does not rely on additional conjectures and thereby strengthens the overall contribution. The manuscript correctly credits the independent inputs from Darmon and de-Shalit.

major comments (1)
  1. [Abstract] Abstract and introduction: the general equality is explicitly conditional on the twisted refined exceptional zero conjectures, which remain open; this is stated but the load-bearing status of these assumptions for the main theorem is not accompanied by any discussion of known cases or supporting evidence beyond the special unconditional setting.
minor comments (1)
  1. All invocations of Darmon's periods and de-Shalit's theorems should include precise theorem or section citations so that the reductions can be checked without external lookup.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and the recommendation of minor revision. We address the major comment below.

read point-by-point responses

  1. Referee: [Abstract] Abstract and introduction: the general equality is explicitly conditional on the twisted refined exceptional zero conjectures, which remain open; this is stated but the load-bearing status of these assumptions for the main theorem is not accompanied by any discussion of known cases or supporting evidence beyond the special unconditional setting.

    Authors: We agree that the manuscript would benefit from additional context on the status of the twisted refined exceptional zero conjectures. In the revised version we will add a short paragraph in the introduction that recalls the relation of these twisted conjectures to the (untwisted) refined exceptional zero conjecture, notes the cases in which the latter has been established or numerically verified in the literature, and briefly indicates the computational evidence available for the twisted versions in low-conductors settings. This discussion will clarify the assumptions without changing the statements of the theorems. revision: yes

Circularity Check

0 steps flagged

No circularity: equality conditional on external conjectures and independent prior results

full rationale

The paper proves an equality of refined L-invariants relating the tame part of the p-adic L-invariant of E to Darmon-type automorphic periods, but does so by assuming twisted refined exceptional zero conjectures (or, unconditionally, by direct appeal to de-Shalit's independent prior results in the special case of conductor exactly p). No step reduces by construction to the paper's own definitions, fitted parameters, or self-citations; the load-bearing assumptions are external conjectures and non-author prior work. The derivation chain therefore remains non-circular and self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the validity of twisted refined exceptional zero conjectures and on the direct applicability of de-Shalit's results in the conductor-p case; no free parameters or new entities are introduced in the abstract.

axioms (2)
  • domain assumption Twisted versions of refined exceptional zero conjectures hold
    Invoked to obtain the equality of refined L-invariants in the general case.
  • domain assumption de-Shalit's results apply to the automorphic period attached to an optimal embedding of conductor 1 when conductor of E is p
    Used to obtain the unconditional equality in the special case.

pith-pipeline@v0.9.1-grok · 5630 in / 1397 out tokens · 28962 ms · 2026-06-28T12:41:55.701095+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

96 extracted references · 20 canonical work pages

  1. [1]

    Growth of

    Dokchitser, Tim and Dokchitser, Vladimir , Fjournal =. Growth of. Compos. Math. , Pages =

  2. [2]

    , TITLE =

    Agashe, Amod and Ribet, Kenneth and Stein, William A. , TITLE =. Pure Appl. Math. Q. , FJOURNAL =. 2006 , NUMBER =. doi:10.4310/PAMQ.2006.v2.n2.a11 , URL =

    work page doi:10.4310/pamq.2006.v2.n2.a11 2006

  3. [3]

    American Journal of Mathematics , Year =

    Lecouturier, Emmanuel , Title =. American Journal of Mathematics , Year =

  4. [4]

    Manin, Ju. I. , TITLE =. Izv. Akad. Nauk SSSR Ser. Mat. , FJOURNAL =. 1972 , PAGES =

    1972

  5. [5]

    Wuthrich, Christian , TITLE =. Math. Comp. , FJOURNAL =. 2018 , NUMBER =. doi:10.1090/mcom/3274 , URL =

    work page doi:10.1090/mcom/3274 2018

  6. [6]

    1987 , Journal =

    Mazur, Barry and Tate, John , Title =. 1987 , Journal =

    1987

  7. [7]

    Drinfeld, V. G. , TITLE =. Funkcional. Anal. i Prilo. 1973 , NUMBER =

    1973

  8. [8]

    Silverman , Year =

    Joseph H. Silverman , Year =. Advanced Topics in the Arithmetic of Elliptic Curves , Publisher =

  9. [9]

    de Shalit, Ehud , Fjournal =. Invent. Math. , Number =

  10. [10]

    de Shalit, Ehud , title =. Compos. Math. , issn =. 1995 , language =

    1995

  11. [11]

    and de Shalit, E

    Goldberger, A. and de Shalit, E. , TITLE =. Ann. Inst. Fourier (Grenoble) , FJOURNAL =. 2002 , NUMBER =

    2002

  12. [12]

    American Journal of Mathematics , Pages=

    Lecouturier, Emmanuel , Title =. American Journal of Mathematics , Pages=

  13. [13]

    Perrin-Riou, Bernadette , TITLE =. Ast\'. 1995 , PAGES =

    1995

  14. [14]

    , TITLE =

    Panchishkin, Alexei A. , TITLE =. Ann. Inst. Fourier (Grenoble) , FJOURNAL =. 1994 , NUMBER =

    1994

  15. [15]

    On the cohomology groups of local systems over

    M\". On the cohomology groups of local systems over. Amer. J. Math. , Mrclass =. 2015 , Bdsk-Url-1 =. doi:10.1353/ajm.2015.0005 , Fjournal =

    work page doi:10.1353/ajm.2015.0005 2015

  16. [16]

    Barrera Salazar, Daniel and Williams, Chris , Date-Added =. Canad. J. Math. , Mrclass =. 2019 , Bdsk-Url-1 =. doi:10.4153/cjm-2017-062-0 , Fjournal =

    work page doi:10.4153/cjm-2017-062-0 2019

  17. [17]

    Overconvergent cohomology of

    Barrera Salazar, Daniel , Date-Added =. Overconvergent cohomology of. Ann. Inst. Fourier , Mrclass =. 2018 , Bdsk-Url-1 =

    2018

  18. [18]

    Vishik, M. M. , Journal =. Nonarchimedean measures associated with

  19. [19]

    Parallel weight 2 points on

    Johansson, Christian and Newton, James , Date-Added =. Parallel weight 2 points on. Forum Math. Sigma , Mrclass =. 2019 , Bdsk-Url-1 =. doi:10.1017/fms.2019.23 , Fjournal =

    work page doi:10.1017/fms.2019.23 2019

  20. [20]

    Overconvergent algebraic automorphic forms , Url =

    Loeffler, David , Date-Added =. Overconvergent algebraic automorphic forms , Url =. Proc. Lond. Math. Soc. (3) , Mrclass =. 2011 , Bdsk-Url-1 =. doi:10.1112/plms/pdq019 , Fjournal =

    work page doi:10.1112/plms/pdq019 2011

  21. [21]

    , Date-Added =

    Lepowsky, J. , Date-Added =. A generalization of the. J. Algebra , Mrclass =. 1977 , Bdsk-Url-1 =. doi:10.1016/0021-8693(77)90254-X , Fjournal =

    work page doi:10.1016/0021-8693(77)90254-x 1977

  22. [22]

    Pure Appl

    Hida, Haruzo , Doi =. Pure Appl. Math. Q. , Mrclass =. 2009 , Bdsk-Url-1 =

    2009

  23. [23]

    Universal eigenvarieties, trianguline

    Hansen, David , Date-Modified =. Universal eigenvarieties, trianguline. J. Reine Angew. Math. , Pages =

  24. [24]

    Integration on

    Henri Darmon , Fjournal =. Integration on. Ann. of Math. , Pages =

  25. [25]

    Numerical study of refined conjectures of the BSD type , author=

  26. [26]

    Dominik Bullach and Matthew H. L. Honnor , Note=. On the refined `

  27. [27]

    On Euler systems and Nekov\'a

    Dominik Bullach and David Burns , year=. On Euler systems and Nekov\'a

  28. [28]

    Wach modules and critical slope

    Loeffler, David and Zerbes, Sarah Livia , Fjournal =. Wach modules and critical slope. J. Reine Angew. Math. , Mrclass =

  29. [29]

    Hecke fields of

    Hida, Haruzo , Booktitle =. Hecke fields of. 2014 , Bdsk-Url-1 =. doi:10.1090/conm/614/12251 , Mrclass =

    work page doi:10.1090/conm/614/12251 2014

  30. [30]

    Smoothness and classicality on eigenvarieties , Url =

    Breuil, Christophe and Hellmann, Eugen and Schraen, Benjamin , Doi =. Smoothness and classicality on eigenvarieties , Url =. Invent. Math. , Mrclass =

  31. [31]

    Zhang, YuanCao , Doi =. Sci. China Math. , Mrclass =. 2014 , Bdsk-Url-1 =

    2014

  32. [32]

    Blasius, Don and Rogawski, Jonathan D. , Doi =. Motives for. Invent. Math. , Mrclass =. 1993 , Bdsk-Url-1 =

    1993

  33. [33]

    Familles de repr\'esentations de de

    Berger, Laurent and Colmez, Pierre , Fjournal =. Familles de repr\'esentations de de. Ast\'erisque , Mrclass =

  34. [34]

    Pseudo-repr\'

    Nyssen, Louise , Doi =. Pseudo-repr\'. Math. Ann. , Mrclass =. 1996 , Bdsk-Url-1 =

    1996

  35. [35]

    Caract\'erisation des caract\`eres et pseudo-caract\`eres , Volume =

    Rouquier, Rapha. Caract\'erisation des caract\`eres et pseudo-caract\`eres , Volume =. J. Algebra , Number =

  36. [36]

    Une application des vari\'et\'es de Hecke des groupes unitaires , Volume =

    Ga\". Une application des vari\'et\'es de Hecke des groupes unitaires , Volume =. Shimura Varieties , Date-Modified =

  37. [37]

    A converse to a theorem of Gross, Zagier, and Kolyvagin , Year =

    Christopher Skinner , Eprint =. A converse to a theorem of Gross, Zagier, and Kolyvagin , Year =

  38. [38]

    Liubomir Chiriac , Eprint =

  39. [39]

    Greenberg, Ralph and Stevens, Glenn , Date-Modified =. Invent. Math. , Mrclass =. 1993 , Bdsk-Url-1 =. doi:10.1007/BF01231294 , Fjournal =

    work page doi:10.1007/bf01231294 1993

  40. [40]

    John Bergdall and David Hansen , Eprint =

  41. [41]

    Arithmetic properties of L-functions attached to Hilbert modular forms , Year =

    Tanabe, Naomi , Publisher =. Arithmetic properties of L-functions attached to Hilbert modular forms , Year =

  42. [42]

    An elementary proof of a weak exceptional zero conjecture , Url =

    Orton, Louisa , Doi =. An elementary proof of a weak exceptional zero conjecture , Url =. Canad. J. Math. , Mrclass =. 2004 , Bdsk-Url-1 =

    2004

  43. [43]

    and Tanabe, Naomi , Fjournal =

    Raghuram, A. and Tanabe, Naomi , Fjournal =. Notes on the arithmetic of. J. Ramanujan Math. Soc. , Mrclass =

  44. [44]

    Eigenvarieties for reductive groups , Url =

    Urban, Eric , Date-Modified =. Eigenvarieties for reductive groups , Url =. Ann. of Math. (2) , Mrclass =. 2011 , Bdsk-Url-1 =. doi:10.4007/annals.2011.174.3.7 , Fjournal =

    work page doi:10.4007/annals.2011.174.3.7 2011

  45. [45]

    On the conjecture of

    Greenberg, Ralph and Stevens, Glenn , Booktitle =. On the conjecture of. 1994 , Bdsk-Url-1 =. doi:10.1090/conm/165/01607 , Mrclass =

    work page doi:10.1090/conm/165/01607 1994

  46. [46]

    A nonvanishing result for twists of

    Barthel, Laure and Ramakrishnan, Dinakar , Doi =. A nonvanishing result for twists of. Duke Math. J. , Mrclass =. 1994 , Bdsk-Url-1 =

    1994

  47. [47]

    Rohrlich, David E. , Doi =. Nonvanishing of. Invent. Math. , Mrclass =. 1989 , Bdsk-Url-1 =

    1989

  48. [48]

    Liu, R. , Doi =. Triangulation of refined families , Url =. Comment. Math. Helv. , Mrclass =. 2015 , Bdsk-Url-1 =

    2015

  49. [49]

    A note on the

    Skinner, Christopher , Fjournal =. A note on the. Doc. Math. , Mrclass =

  50. [50]

    Taylor, Richard , Doi =. On. Invent. Math. , Mrclass =. 1989 , Bdsk-Url-1 =

    1989

  51. [51]

    Sur les repr\'esentations

    Carayol, Henri , Fjournal =. Sur les repr\'esentations. Ann. Sci. \'Ecole Norm. Sup. (4) , Mrclass =. 1986 , Bdsk-Url-1 =

    1986

  52. [52]

    Hilbert modular forms and

    Saito, Takeshi , Doi =. Hilbert modular forms and. Compos. Math. , Mrclass =. 2009 , Bdsk-Url-1 =

    2009

  53. [53]

    and Langlands, R

    Jacquet, H. and Langlands, R. P. , Mrclass =. Automorphic forms on

  54. [54]

    Jacquet, Herv\'e and Shalika, Joseph A. , Doi =. A non-vanishing theorem for zeta functions of. Invent. Math. , Mrclass =. 1976/77 , Bdsk-Url-1 =

    1976

  55. [55]

    and Shahidi, Freydoon , Date-Modified =

    Raghuram, A. and Shahidi, Freydoon , Date-Modified =. On certain period relations for cusp forms on. Int. Math. Res. Not. IMRN , Mrclass =

  56. [56]

    Trivial zeros of

    Greenberg, Ralph , Booktitle =. Trivial zeros of. 1994 , Bdsk-Url-1 =. doi:10.1090/conm/165/01606 , Mrclass =

    work page doi:10.1090/conm/165/01606 1994

  57. [57]

    A generalization of

    Benois, Denis , Doi =. A generalization of. Amer. J. Math. , Mrclass =. 2011 , Bdsk-Url-1 =

    2011

  58. [58]

    On symmetric power

    Harron, Robert and Jorza, Andrei , Date-Modified =. On symmetric power. Amer. J. Math. , Mrclass =. 2017 , Bdsk-Url-1 =. doi:10.1353/ajm.2017.0040 , Fjournal =

    work page doi:10.1353/ajm.2017.0040 2017

  59. [59]

    and Stevens, G

    Ash, A. and Stevens, G. , Title =

  60. [60]

    Zhang, Yuancao , Journal =

  61. [61]

    Invariants

    Colmez, Pierre , Fjournal =. Invariants. Ast\'erisque , Mrclass =

  62. [62]

    Coleman's

    Stevens, Glenn , Fjournal =. Coleman's. Ast\'erisque , Mrclass =

  63. [63]

    p-adic L-functions for unitary groups , Year =

    Ellen Eischen and Michael Harris and Jianshu Li and Christopher Skinner , Eprint =. p-adic L-functions for unitary groups , Year =

  64. [64]

    Overconvergent modular forms and the

    Kisin, Mark , Doi =. Overconvergent modular forms and the. Invent. Math. , Mrclass =. 2003 , Bdsk-Url-1 =

    2003

  65. [65]

    Families of

    Bella\". Families of. Ast\'

  66. [66]

    Osaka Journal of Mathematics , year=

    ELLIPTIC CURVES OF PRIME POWER CONDUCTOR WITH Q-RATIONAL POINTS OF FINITE ORDER , author=. Osaka Journal of Mathematics , year=

  67. [67]

    , TITLE =

    Mazur, B. , TITLE =. Inst. Hautes \'. 1977 , PAGES =

    1977

  68. [68]

    On the eigencurve at classical weight 1 points , Url =

    Bella\". On the eigencurve at classical weight 1 points , Url =. Duke Math. J. , Mrclass =. 2016 , Bdsk-Url-1 =. doi:10.1215/00127094-3165755 , Fjournal =

    work page doi:10.1215/00127094-3165755 2016

  69. [69]

    Critical slope

    Pollack, Robert and Stevens, Glenn , Doi =. Critical slope. J. Lond. Math. Soc. (2) , Mrclass =. 2013 , Bdsk-Url-1 =

    2013

  70. [70]

    Une preuve de la conjecture de

    Barr\'e-Sirieix, Katia and Diaz, Guy and Gramain, Fran. Une preuve de la conjecture de. Invent. Math. , Mrclass =. 1996 , Bdsk-Url-1 =. doi:10.1007/s002220050044 , Fjournal =

    work page doi:10.1007/s002220050044 1996

  71. [71]

    Manjul Bhargava and Christopher Skinner and Wei Zhang , Eprint =

  72. [72]

    Hilbert modular forms and the

    Blasius, Don , Booktitle =. Hilbert modular forms and the. 2006 , Bdsk-Url-1 =. doi:10.1007/978-3-8348-0352-8_2 , Mrclass =

    work page doi:10.1007/978-3-8348-0352-8_2 2006

  73. [73]

    iche, Jo\

    Bella\"iche, Jo\"el , Doi =. Critical. Invent. Math. , Mrclass =. 2012 , Bdsk-Url-1 =

    2012

  74. [74]

    Skinner, Christopher and Urban, Eric , Doi =. The. Invent. Math. , Mrclass =. 2014 , Bdsk-Url-1 =

    2014

  75. [75]

    , title =

    Tate, John T. , title =. Invent. Math. , issn =. 1974 , language =. doi:10.1007/BF01389745 , keywords =

    work page doi:10.1007/bf01389745 1974

  76. [76]

    and Wiles, A

    Mazur, B. and Wiles, A. , Doi =. Class fields of abelian extensions of. Invent. Math. , Mrclass =. 1984 , Bdsk-Url-1 =

    1984

  77. [77]

    and Tate, J

    Mazur, B. and Tate, J. and Teitelbaum, J. , Doi =. On. Invent. Math. , Mrclass =. 1986 , Bdsk-Url-1 =

    1986

  78. [78]

    Dimitrov, Mladen , Doi =. On. Compos. Math. , Mrclass =. 2009 , Bdsk-Url-1 =

    2009

  79. [79]

    2016 , Bdsk-Url-1 =

    Dimitrov, Mladen , Booktitle =. 2016 , Bdsk-Url-1 =. doi:10.1142/9789814719230_0005 , Mrclass =

    work page doi:10.1142/9789814719230_0005 2016

  80. [80]

    , Isbn =

    Garrett, Paul B. , Isbn =. Holomorphic

Showing first 80 references.