pith. sign in

arxiv: 2603.01148 · v2 · submitted 2026-03-01 · 🧮 math.NT

Weighted averages of p-adic hypergeometric functions and traces of Frobenius of elliptic curves

Riya Mandal , Neelam Saikia This is my paper

Pith reviewed 2026-05-15 18:24 UTC · model grok-4.3

classification 🧮 math.NT
keywords p-adic hypergeometric functionstrace of Frobeniuselliptic curvesDIK familyJacobi curvessummation identitiesEuler transformationPfaff transformation
0
0 comments X

The pith

Traces of Frobenius for DIK and Jacobi elliptic curve families equal weighted averages or single values of p-adic hypergeometric functions.

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

The paper shows how the trace of Frobenius, which determines the number of points on an elliptic curve over a finite field, can be rewritten using p-adic hypergeometric functions for two specific one-parameter families. For the DIK family the trace appears as a weighted average of special values of these functions taken across arrays of parameters. For Jacobi curves the trace reduces directly to one such special value. The equalities produce four new summation identities for the p-adic hypergeometric functions and supply p-adic versions of the classical Euler and Pfaff transformations.

Core claim

We establish the trace of Frobenius as weighted averages of special values of certain families of p-adic hypergeometric functions for the DIK family of elliptic curves, where the average is taken over the arrays of parameters. For Jacobi curves we express the trace of Frobenius as a special value of p-adic hypergeometric functions. As a consequence we obtain four summation identities for the p-adic hypergeometric functions that arise from the DIK family and p-adic analogues of the Euler and Pfaff transformations for certain of these functions.

What carries the argument

p-adic hypergeometric functions that directly encode the trace of Frobenius for one-parameter families of elliptic curves.

Load-bearing premise

The DIK and Jacobi one-parameter families of elliptic curves admit exact expressions for their Frobenius traces in terms of p-adic hypergeometric functions without further restrictions on the prime or the curve parameters.

What would settle it

For a concrete small prime p and a specific parameter value in the DIK family, compute the actual trace of Frobenius by counting points over the finite field and compare it with the weighted average of the corresponding p-adic hypergeometric special values; any mismatch disproves the claimed equality.

read the original abstract

In this paper, we aim to study traces of Frobenius of certain one parameter families of elliptic curves and their relationships with $p$-adic hypergeometric functions. For example, we consider a DIK family of curves and establish the trace of Frobenius as weighted averages of special values of certain families of $p$-adic hypegeometric functions, where the average is taken over the arrays of parameters. Moreover, we consider Jacobi curves and express the trace of Frobenius as a special values of $p$-adic hypergeomtric functions. As a consequence of these results we obtain four summation identities for the $p$-adic hypegeometric functions that arise from the DIK family. Furthermore, we obtain $p$-adic analogous of Euler and Pfaff transformations for certain $p$-adic hypergemetric functions.

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 claims to relate traces of Frobenius a_p(E_t) for one-parameter families of elliptic curves (the DIK family and Jacobi curves) to p-adic hypergeometric functions. For the DIK family, a_p is expressed as weighted averages of special values of certain families of p-adic hypergeometric functions, averaged over arrays of parameters. For Jacobi curves, a_p is expressed as a single special value of a p-adic hypergeometric function. These yield four summation identities for the p-adic hypergeometric functions arising from the DIK family, together with p-adic analogs of the Euler and Pfaff transformations.

Significance. If the derivations are complete and the stated identities hold under appropriate conditions, the work supplies explicit arithmetic-to-special-function links for these elliptic curve families, producing new summation formulas and transformation laws in the p-adic setting. Such connections can be useful for generating identities and for studying both Frobenius traces and p-adic hypergeometrics.

major comments (2)
  1. [Main theorems on DIK family] The statements of the main results for the DIK family (abstract and the theorems deriving the weighted-average expressions) do not list explicit restrictions on p and t. p-adic hypergeometric series (Morita or Dwork type) converge only when the parameters satisfy |a_i|_p < 1 or when p avoids denominators in the Pochhammer symbols; the underlying character-sum expressions for a_p likewise require p not dividing the discriminant. Without these conditions stated, the claimed generality of the trace formulas and the four summation identities is not fully supported.
  2. [Jacobi curves section] The Jacobi-curve result equating a_p to a single special value of a p-adic hypergeometric function likewise omits the necessary range on p (typically p > 3) and the residue class of the parameter. This condition is load-bearing for the validity of the identity and for the claimed p-adic Euler/Pfaff analogs.
minor comments (2)
  1. [Abstract] The abstract contains repeated spelling errors: 'hypegeometric' and 'hypergeomtric' should read 'hypergeometric'.
  2. [Introduction] Notation for the p-adic hypergeometric functions should be introduced with a brief reminder of the precise definition (Morita gamma or Dwork) used in the paper, to avoid ambiguity when the weighted averages are formed.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough review and insightful comments on our manuscript. We address each of the major comments below and will revise the paper accordingly to incorporate the suggested clarifications.

read point-by-point responses

  1. Referee: [Main theorems on DIK family] The statements of the main results for the DIK family (abstract and the theorems deriving the weighted-average expressions) do not list explicit restrictions on p and t. p-adic hypergeometric series (Morita or Dwork type) converge only when the parameters satisfy |a_i|_p < 1 or when p avoids denominators in the Pochhammer symbols; the underlying character-sum expressions for a_p likewise require p not dividing the discriminant. Without these conditions stated, the claimed generality of the trace formulas and the four summation identities is not fully supported.

    Authors: We agree with the referee that the main theorems for the DIK family require explicit restrictions on p and t to ensure convergence of the p-adic hypergeometric functions and validity of the trace expressions. In the revised manuscript, we will update the abstract and the relevant theorems to include these conditions, such as p not dividing the discriminant of the family and the parameters satisfying |a_i|_p < 1 where necessary. This will also properly delimit the four summation identities derived. revision: yes

  2. Referee: [Jacobi curves section] The Jacobi-curve result equating a_p to a single special value of a p-adic hypergeometric function likewise omits the necessary range on p (typically p > 3) and the residue class of the parameter. This condition is load-bearing for the validity of the identity and for the claimed p-adic Euler/Pfaff analogs.

    Authors: We concur that the result for Jacobi curves depends on p > 3 and appropriate residue conditions on the parameter. We will revise the section to explicitly state these assumptions, thereby supporting the validity of the identity and the p-adic transformation analogs. revision: yes

Circularity Check

0 steps flagged

Derivation self-contained with no circularity

full rationale

The paper derives explicit formulas equating a_p(E_t) for the DIK and Jacobi families to weighted averages or special values of p-adic hypergeometric functions. Both sides are defined independently: the trace via the standard point-counting definition on the elliptic curve over F_p, and the hypergeometric functions via their Morita-gamma or Dwork-style p-adic series. The matching proceeds from known character-sum expressions for a_p that are external to the hypergeometric definitions; the resulting summation identities are consequences, not inputs. No equation reduces one quantity to the other by construction, no parameter is fitted and then relabeled as a prediction, and no load-bearing step relies on a self-citation whose content is itself unverified. The derivation therefore remains non-circular.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on established mathematical frameworks without introducing new free parameters, axioms beyond standard ones, or invented entities.

axioms (2)
  • standard math The standard definition and properties of p-adic hypergeometric functions
    Used as the basis for the special values and averages.
  • domain assumption The theory of elliptic curves over finite fields including the definition of the trace of Frobenius
    Fundamental to expressing the traces.

pith-pipeline@v0.9.0 · 5440 in / 1309 out tokens · 64736 ms · 2026-05-15T18:24:21.887771+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

38 extracted references · 38 canonical work pages

  1. [1]

    Ahlgren and K

    S. Ahlgren and K. Ono,Modularity of a certain Calabi-Yau threefold, Montash. Math.129(2000), no. 3, 177–190

    work page 2000

  2. [2]

    G. E. Andrews, R. Askey and R. Roy,Special functions, Encyclopedia of mathematics and its applications, Cambridge Univ. Press, 1999

    work page 1999

  3. [3]

    Ahgren and K

    S. Ahgren and K. Ono,A Gaussian hypergeometric series evaluation and Ap´ ery number congruences, J. Reine Angew. Math.518(2000), 187-212

    work page 2000

  4. [4]

    Ahlgren, K

    S. Ahlgren, K. Ono, and D. Penniston,Zeta functions of an infinite family ofK3surfaces, Amer. J. Math., 124(2) (2002), 353–368

    work page 2002

  5. [5]

    Bailey,Generalized hypergeometric series, Cambridge Tracts in Mathematics and Mathematical Physics 32, Cambridge Univ

    W. Bailey,Generalized hypergeometric series, Cambridge Tracts in Mathematics and Mathematical Physics 32, Cambridge Univ. Press, Cambridge, 1935

    work page 1935

  6. [6]

    Barman and G

    R. Barman and G. Kalita,Elliptic curves and special values of Gaussian hypergeometric series, J. Number Th.,133(2013), 3099-3111

    work page 2013

  7. [7]

    Barman and N

    R. Barman and N. Saikia,p-Adic gamma function and the trace of Frobenius of elliptic curves, J. Number Th.140(2014), 181-195

    work page 2014

  8. [8]

    Barman and N

    R. Barman and N. Saikia,Certain transformations for hypergeometric series in thep-adic setting, Int. J. Number Th.11(02)(2015), 645-660

    work page 2015

  9. [9]

    Barman, N

    R. Barman, N. Saikia, and D. McCarthy,Summation identities and special values of hypergeometric series in thep-adic setting, J. Number Theory153(2015), 63–84

    work page 2015

  10. [10]

    Barman and Sulakashna,p-Adic hypergeometric functions and certain weight three newforms, J

    R. Barman and Sulakashna,p-Adic hypergeometric functions and certain weight three newforms, J. Math. Anal. Appl.542(1), (2025), 1–18

    work page 2025

  11. [11]

    Barman and Sulakashna,p-adic hypergeometric functions and the trace of Frobenius of elliptic curves, Int

    R. Barman and Sulakashna,p-adic hypergeometric functions and the trace of Frobenius of elliptic curves, Int. J. Number Theory20(10) (2024), 2663–2694

    work page 2024

  12. [12]

    Berndt, R

    B. Berndt, R. Evans, K. Williams,Gauss and Jacobi sum, Canadian Mathematical Society Series of Mono- graphs and Advanced Texts, A Wiley-Interscience Publication , Jhon Wiley & Sons, Inc., New York, 1998

    work page 1998

  13. [13]

    B. J. Birch,How the number of points of an elliptic curve over a fixed prime field varies, J. London Math. Soc.,43(1968), 57–60

    work page 1968

  14. [14]

    Evans and J

    R. Evans and J. Greene,Clausen’s theorem and hypergeometric functions over finite fields, Finite Fields Appl.15(1) (2009), 97–109

    work page 2009

  15. [15]

    Evans and J

    R. Evans and J. Greene,Evaluations of hypergeometric functions over finite fields, Hiroshima Math. J.39 (2) (2009), 217–235

    work page 2009

  16. [16]

    Frechette, K

    S. Frechette, K. Ono, and M. Papanikolas,Gaussian hypergeometric functions and traces of Hecke operators, Int. Math. Res. Not.(60)(2004), 3233–3262

    work page 2004

  17. [17]

    Fuselier,Hypergeometric functions overF p and relations to elliptic curves and modular forms, Proc

    J. Fuselier,Hypergeometric functions overF p and relations to elliptic curves and modular forms, Proc. Amer. Math. Soc.138(2010), 109-123

    work page 2010

  18. [18]

    Fuselier,Traces of Hecke operators in level 1 and Gaussian hypergeometric functions, Proc

    J. Fuselier,Traces of Hecke operators in level 1 and Gaussian hypergeometric functions, Proc. Amer. Math. Soc.141(2013), 1871-1881

    work page 2013

  19. [19]

    Fuselier and D

    J. Fuselier and D. McCarthy,Hypergeometric type identities in the p-adic setting and modular forms, Proc. Amer. Math. Soc.144(4) (2016), 1493–1508

    work page 2016

  20. [20]

    C. F. Gauss,Disquisitiones generales circa seriem infinitam1 + αβ 1·γ x+ α(α+1)β(β+1) 1·2·γ(γ+1) x2 + α(α+1)(α+2)β(β+1)(β+2) 1·2·3·γ(γ+1)(γ+2) x3+etc., Cambridge Univ. Press, Cambridge, 2011, 233-279

    work page 2011

  21. [21]

    Greene,Character sum analogues for hypergeometric and generalized hypergeometric functions over finite fields, Thesis (Ph.D.)-University of Minnesota, 1984

    J. Greene,Character sum analogues for hypergeometric and generalized hypergeometric functions over finite fields, Thesis (Ph.D.)-University of Minnesota, 1984. p-ADIC HYPERGEOMETRIC FUNCTIONS AND ELLIPTIC CUR VES 17

    work page 1984

  22. [22]

    Greene,Hypergeometric functions over finite fields, Trans

    J. Greene,Hypergeometric functions over finite fields, Trans. Amer. Math. Soc.301(1) (1987), 77–101

    work page 1987

  23. [23]

    Greene and D

    J. Greene and D. Stanton,A character sum evaluation and Gaussian hypergeometric series, J. Number Theory23(1) (1986), 136–148

    work page 1986

  24. [24]

    B. H. Gross and N. Koblitz,Gauss sum and thep-adicΓ-function, Annals of Mathematics 109 (1979), 569–581

    work page 1979

  25. [25]

    Ireland and M.Rosen,A Classical introduction to modern number theory, 2nd ed, Springer, GTM Vol

    K. Ireland and M.Rosen,A Classical introduction to modern number theory, 2nd ed, Springer, GTM Vol. 84, New York, (1990)

    work page 1990

  26. [26]

    Koblitz,p-adic analysis: a short course on recent work, London Math

    N. Koblitz,p-adic analysis: a short course on recent work, London Math. Soc. Lecture Note Series, 46. Cambridge University Press, Cambridge-New York, 1980

    work page 1980

  27. [27]

    Lennon,Trace formulas for Hecke operators, Gaussian hypergeometric functions, and the modularity of a threefold, J

    C. Lennon,Trace formulas for Hecke operators, Gaussian hypergeometric functions, and the modularity of a threefold, J. Numb. Th.131(2011), 2320-2351

    work page 2011

  28. [28]

    Lennon,Gaussian hypergeometric evaluations of traces of Frobernius for elliptic curves, Proc

    C. Lennon,Gaussian hypergeometric evaluations of traces of Frobernius for elliptic curves, Proc. Amer. Math. Soc.139(2011), 1931-1938

    work page 2011

  29. [29]

    L. Long, R. Ramakrishna, H. Swisher and F.-T. Tu,Hypergeometric functions over finite fields, (arXiv:1510.02575v4), preprint (2019)

    work page arXiv 2019

  30. [30]

    McCarthy,The trace of Frobenius of elliptic curves and thep-adic Gamma-function, Pacific J

    D. McCarthy,The trace of Frobenius of elliptic curves and thep-adic Gamma-function, Pacific J. Math.261 (2013), 219-236

    work page 2013

  31. [31]

    McCarthy,The number ofF q-points on Dwork hypersurfaces and hypergeometric functions, Res

    D. McCarthy,The number ofF q-points on Dwork hypersurfaces and hypergeometric functions, Res. in Math. Sci.,4(2017), no. 4, 1-15

    work page 2017

  32. [32]

    McCarthy and M

    D. McCarthy and M. Papanikolas,A finite field hypergeometric function associated to eigenvalues of a Siegel eigenform, Int. J. Number Th.11(2015), 2431-2450

    work page 2015

  33. [33]

    Ono,Values of Gaussian hypergeometric series, Trans

    K. Ono,Values of Gaussian hypergeometric series, Trans. Amer. Math. Soc.350(3) (1998), 1205–1223

    work page 1998

  34. [34]

    Ono,The web of modularity: Arithmetic of the coefficients of modular forms andq-series, CBMS, Regional Conference series in Mathematics, 102, Amer

    K. Ono,The web of modularity: Arithmetic of the coefficients of modular forms andq-series, CBMS, Regional Conference series in Mathematics, 102, Amer. Math. Soc., Providence, 2004

    work page 2004

  35. [35]

    Pujahari and N

    S. Pujahari and N. Saikia,Traces of Hecke operators in level 1 andp-adic hypergeometric functions, Ra- manujan J.52(2020), 519-539

    work page 2020

  36. [36]

    Pujahari, N

    S. Pujahari, N. Saikia,Sato-Tate distribution ofp-adic hypergeometric functions, Res. Number Theory9(4) (2023), 1–11

    work page 2023

  37. [37]

    Rouse,Hypergeometric functions and elliptic curves, Ramanujan J.,12(2006), no

    J. Rouse,Hypergeometric functions and elliptic curves, Ramanujan J.,12(2006), no. 2, pages 197-205

    work page 2006

  38. [38]

    Tu and Y

    F.-T. Tu and Y. Yang,Evaluation of certain hypergeometric functions over finite fields, SIGMA14(2018), Art. 50. School of Basic Sciences, Indian Institute of Technology Bhubaneswar, Argul, Khordha 752050, Odisha, India. Email address:a23ma09010@iitbbs.ac.in School of Basic Sciences, Indian Institute of Technology Bhubaneswar, Argul, Khordha 752050, Odisha...

    work page 2018