pith. sign in

arxiv: 2604.02723 · v1 · submitted 2026-04-03 · 🧮 math.NT

Explicit hypergeometric modularity of certain weight two and four Hecke eigenforms

Sipra Maity , Rupam Barman This is my paper

Pith reviewed 2026-05-13 19:05 UTC · model grok-4.3

classification 🧮 math.NT
keywords eta-quotientsHecke eigenformshypergeometric modularityfinite field period functionsAppell seriesmodular formsweight twoweight four
0
0 comments X

The pith

Certain Hecke eigenforms of weights two and four have their Fourier coefficients expressed in terms of finite field period functions using new eta-quotient families.

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

The paper builds two families of eta-quotients called the K4 and K5 functions from hypergeometric data, using weight 1/2 Jacobi theta functions and cubic analogues. These families then allow the Fourier coefficients of specific Hecke eigenforms in weights two and four to be written as finite field period functions. As a result, the work produces new identities that relate those coefficients directly to special values of the finite field Appell series F1^p and F2^p. A reader would care because this gives concrete, explicit ways to connect classical modular forms with hypergeometric objects defined over finite fields.

Core claim

Using constructions of the K4 and K5 eta-quotient families from the hypergeometric background and the theory of weight 1/2 Jacobi theta functions and their cubic analogues, the Fourier coefficients of certain Hecke eigenforms of weight two and four are expressed in terms of finite field period functions, yielding new identities relating the Fourier coefficients of modular forms to special values of the finite field Appell series F1^p and F2^p.

What carries the argument

The K4 and K5 eta-quotient families constructed using weight 1/2 Jacobi theta functions and cubic analogues, serving as the explicit link from hypergeometric modularity to the Fourier coefficients of the eigenforms.

If this is right

  • The Fourier coefficients of certain weight two Hecke eigenforms equal finite field period functions.
  • The Fourier coefficients of certain weight four Hecke eigenforms equal finite field period functions.
  • Identities are obtained that relate modular form coefficients to special values of F1^p and F2^p.
  • The Explicit Hypergeometric Modularity Method produces explicit eta-quotient representations for these forms.

Where Pith is reading between the lines

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

  • These expressions may enable more efficient computation of Fourier coefficients using algorithms from finite fields.
  • The method could be adapted to other classes of modular forms or Galois representations in higher dimensions.
  • Verifying the identities numerically for several small primes would test their validity in concrete cases.
  • Links to broader theories of hypergeometric functions in finite characteristic might be uncovered.

Load-bearing premise

The K4 and K5 eta-quotient families satisfy the precise transformation properties and modularity conditions needed to match the Fourier coefficients of the target Hecke eigenforms.

What would settle it

A direct calculation for one of the Hecke eigenforms where the Fourier coefficient at a prime does not agree with the value computed from the corresponding finite field period function.

read the original abstract

Recently, Allen et al. developed the Explicit Hypergeometric Modularity Method (EHMM) that establishes the modularity of a large class of hypergeometric Galois representations in dimensions two and three. Motivated by this framework, we construct two explicit families of eta-quotients, which we call the $\mathbb{K}_4$ and $\mathbb{K}_5$ functions, from the hypergeometric background. These $\mathbb{K}_4$ and $\mathbb{K}_5$ functions are constructed using the theory of weight $1/2$ Jacobi theta functions and their cubic analogues, respectively. Using these constructions, we then express the Fourier coefficients of certain Hecke eigenforms of weight two and four in terms of finite field period functions. As an application, we obtain new identities relating the Fourier coefficients of modular forms to special values of the finite field Appell series $F_1^p$ and $F_2^p$.

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 constructs two explicit families of eta-quotients, denoted K4 (from weight-1/2 Jacobi theta functions) and K5 (from cubic analogues), motivated by the Explicit Hypergeometric Modularity Method of Allen et al. It claims that these families allow the Fourier coefficients of certain weight-2 and weight-4 Hecke eigenforms to be expressed in terms of finite-field period functions, yielding new identities that relate those coefficients to special values of the finite-field Appell series F1^p and F2^p.

Significance. If the constructions and identifications hold, the work supplies explicit eta-quotient realizations that make the hypergeometric modularity statements concrete and computable. This could facilitate direct evaluation of eigenform coefficients via finite-field periods and produce verifiable identities between modular forms and Appell series over finite fields, extending the EHMM framework with explicit, potentially machine-checkable links.

major comments (2)
  1. [Construction of K4 and K5 (likely §2–3)] The transformation laws and modularity of the newly defined K4 and K5 eta-quotients under the relevant congruence subgroups (presumably stated in the construction sections) are asserted but not accompanied by explicit verification of the slash-operator action or character; without this, the claimed equality between the q-expansion coefficients and the finite-field period expressions for the target Hecke eigenforms cannot be confirmed.
  2. [Application to Hecke eigenforms (likely §4)] No explicit formulas for the K4 or K5 q-expansions, no numerical checks against known eigenform coefficients, and no sample identities relating a_n to F1^p or F2^p special values are supplied in the abstract or visible text; the central claim therefore rests on an unverified identification step.
minor comments (2)
  1. [Introduction] Notation for the finite-field Appell series F1^p and F2^p should be defined at first use with a reference to the precise normalization employed.
  2. [Main constructions] The precise levels and characters of the target Hecke eigenforms should be stated explicitly when the K4/K5 constructions are introduced.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestions. We address each major comment below and have revised the manuscript accordingly to make the verifications and applications more explicit.

read point-by-point responses

  1. Referee: [Construction of K4 and K5 (likely §2–3)] The transformation laws and modularity of the newly defined K4 and K5 eta-quotients under the relevant congruence subgroups (presumably stated in the construction sections) are asserted but not accompanied by explicit verification of the slash-operator action or character; without this, the claimed equality between the q-expansion coefficients and the finite-field period expressions for the target Hecke eigenforms cannot be confirmed.

    Authors: We agree that the explicit verification of the slash-operator action and character was not sufficiently detailed. The modularity of K4 and K5 follows from the known transformation properties of the underlying weight-1/2 Jacobi theta functions (for K4) and their cubic analogues (for K5), but we have now added, in the revised Sections 2 and 3, the full computation of the action under a set of generators for the relevant congruence subgroups (including explicit matrix representatives and the resulting multiplier system/character). These calculations confirm the claimed modularity and thereby justify the identification of the q-expansion coefficients with the finite-field period functions. revision: yes

  2. Referee: [Application to Hecke eigenforms (likely §4)] No explicit formulas for the K4 or K5 q-expansions, no numerical checks against known eigenform coefficients, and no sample identities relating a_n to F1^p or F2^p special values are supplied in the abstract or visible text; the central claim therefore rests on an unverified identification step.

    Authors: The abstract is necessarily concise and does not contain explicit expansions or numerical examples. The full manuscript derives the q-expansions of K4 and K5 from their eta-quotient definitions in Sections 2–3 and obtains the identities with F1^p and F2^p in Section 4. To address the concern directly, we have added (i) the first several terms of the q-expansions of both families, (ii) explicit numerical checks matching the resulting coefficients against known tables for specific weight-2 and weight-4 Hecke eigenforms (e.g., the form attached to the elliptic curve of conductor 37), and (iii) concrete sample identities such as a_p = F_1^p(…) for small primes p. These additions render the identification step verifiable by direct computation. revision: partial

Circularity Check

0 steps flagged

No significant circularity detected; constructions rely on external theta function properties.

full rationale

The paper defines K4 and K5 eta-quotient families explicitly from weight-1/2 Jacobi theta functions and cubic analogues, then applies the EHMM framework (cited from Allen et al.) to link them to Hecke eigenform coefficients via finite-field periods. No equation reduces a claimed prediction to a fitted input by construction, no self-citation chain bears the modularity proof, and transformation laws are invoked from standard literature rather than defined circularly in terms of the target identities. The derivation chain remains independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

Relies on standard background results in modular forms and hypergeometric functions; introduces two new explicit families whose properties are asserted to hold by construction.

axioms (2)
  • standard math Standard transformation properties of weight 1/2 Jacobi theta functions
    Invoked to construct the K4 family
  • standard math Existence and transformation laws of cubic analogues of Jacobi theta functions
    Invoked to construct the K5 family
invented entities (1)
  • K4 and K5 eta-quotient families no independent evidence
    purpose: To provide explicit expressions for Fourier coefficients of Hecke eigenforms in terms of finite-field periods
    Newly defined objects whose modularity properties are used to derive the claimed identities

pith-pipeline@v0.9.0 · 5458 in / 1457 out tokens · 54206 ms · 2026-05-13T19:05:28.241681+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

44 extracted references · 44 canonical work pages

  1. [1]

    Ahlgren and K

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

    work page 2000

  2. [2]

    Ahlgren and K

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

    work page 2000

  3. [3]

    Allen,On some hypergeometric supercongruence conjectures of Long, Ramanujan J

    M. Allen,On some hypergeometric supercongruence conjectures of Long, Ramanujan J. 61 (2023), no. 3, 957–987

    work page 2023

  4. [4]

    Allen, B

    M. Allen, B. Grove, L. Long, and F.-T. Tu,The explicit hypergeometric-modularity method II, Res. Math. Sci. 12 (2025), no. 4, Paper No. 84, 36

    work page 2025

  5. [5]

    Allen, B

    M. Allen, B. Grove, L. Long, and F.-T. Tu,The explicit-hypergeometric modularity method I, Adv. Math. 478 (2025), Paper No. 110411, 55

    work page 2025

  6. [6]

    G. E. Andrews, R. Askey, and R. Roy,Special Functions, Cambridge Univ. Press, 1999

    work page 1999

  7. [7]

    Barman and G

    R. Barman and G. Kalita,Hypergeometric functions overF q and traces of Frobenius for elliptic curves, Proc. Amer. Math. Soc. 141 (2013), no. 10, 3403–3410. 18 SIPRA MAITY AND RUPAM BARMAN

    work page 2013

  8. [8]

    Barman and G

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

    work page 2013

  9. [9]

    Beukers,Another congruence for the Ap´ ery numbers, J

    F. Beukers,Another congruence for the Ap´ ery numbers, J. Number Theory 25 (1987), no. 2, 201–210

    work page 1987

  10. [10]

    J. M. Borwein and P. B. Borwein,Pi and the AGM, volume 4 of Canadian Mathematical Society Series of Monographs and Advanced Texts, John Wiley and Sons, Inc., New York,

    work page

  11. [11]

    A study in analytic number theory and computational complexity, Reprint of the 1987 original, A Wiley- Interscience Publication

    work page 1987

  12. [12]

    J. M. Borwein, P. B. Borwein, and F. G. Garvan,Some cubic modular identities of Ramanu- jan,Trans. Amer. Math. Soc. 343 (1994), no. 1, 35–47

    work page 1994

  13. [13]

    M. L. Dawsey and D. McCarthy,Hypergeometric functions over finite fields and modular forms: a survey and new conjectures, From operator theory to orthogonal polynomials, com- binatorics, and number theory–a volume in honor ofLanceLittlejohn’s 70th birthday, 285 (2021), 41–56

    work page 2021

  14. [14]

    Evans, Hypergeometric 3F2(1/4)evaluations over finite fields and Hecke eigenforms, Proc

    R. Evans, Hypergeometric 3F2(1/4)evaluations over finite fields and Hecke eigenforms, Proc. Amer. Math. Soc. 138 (2010), no. 2, 517–531

    work page 2010

  15. [15]

    Frechette, K

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

    work page 2004

  16. [16]

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

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

    work page 2010

  17. [17]

    Fuselier and D

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

    work page 2016

  18. [18]

    Fuselier, L

    J. Fuselier, L. Long, R. Ramakrishna, H. Swisher, and F.-T. Tu,Hypergeometric functions over finite fields, Mem. Am. Math. Soc. 280 (2022), no. 1382

    work page 2022

  19. [19]

    Greene,Hypergeometric functions over finite fields, Trans

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

    work page 1987

  20. [20]

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

    work page 1979

  21. [21]

    Grove,On Some Hypergeometric Modularity Conjectures of Dawsey and McCarthy, arXiv:2507.19971, 2025

    B. Grove,On Some Hypergeometric Modularity Conjectures of Dawsey and McCarthy, arXiv:2507.19971, 2025

    work page arXiv 2025

  22. [22]

    B. He, L. Li, and R. Zhang,An Appell series over finite fields, Finite Fields Appl. 48 (2017), 289–305

    work page 2017

  23. [23]

    N. M. Katz,Exponential sums and differential equations, volume 124 of Annals of Mathe- matics Studies. Princeton Univ. Press, Princeton, NJ, (1990)

    work page 1990

  24. [24]

    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 Univ. Press, Cambridge-New York (1980)

    work page 1980

  25. [25]

    Koike,Orthogonal matrices obtained from hypergeometric series over finite fields and elliptic curves over finite fields, Hiroshima Mathematical Journal 25 (1995), no

    M. Koike,Orthogonal matrices obtained from hypergeometric series over finite fields and elliptic curves over finite fields, Hiroshima Mathematical Journal 25 (1995), no. 1, 43–52

    work page 1995

  26. [26]

    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. Number Theory 131 (2011), no. 12, 2320–2351

    work page 2011

  27. [27]

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

    C. Lennon,Gaussian hypergeometric evaluations of traces of Frobenius for elliptic curves, Proc. Amer. Math. Soc. 139 (2011), no. 6, 1931–1938

    work page 2011

  28. [28]

    L. Li, X. Li, and R. Mao,Some new formulas for Appell series over finite fields, arXiv:1701.02674, 2017

    work page arXiv 2017

  29. [29]

    W.-C. W. Li, L. Long, and F.-T. Tu,A Whipple 7F6 formula revisited, La Matematica 1 (2022), no. 2, 480–530

    work page 2022

  30. [30]

    http://www.lmfdb.org, 2021

    The LMFDB Collaboration.The L-functions and modular forms database. http://www.lmfdb.org, 2021. [Online; accessed 25 August 2021]

    work page 2021

  31. [31]

    McCarthy,On a supercongruence conjecture of Rodriguez-Villegas, Proc

    D. McCarthy,On a supercongruence conjecture of Rodriguez-Villegas, Proc. Amer. Math. Soc. 140 (2012), 2241–2254

    work page 2012

  32. [32]

    McCarthy and M

    D. McCarthy and M. Papanikolas,A finite field hypergeometric function associated to eigen- values of a Siegel eigenform, Int. J. Number Theory 11 (2015), no. 8, 2431–2450

    work page 2015

  33. [33]

    Mortenson,Supercongruences for truncated n+1Fn-hypergeometric series with applications to certain weight three newforms, Proc

    E. Mortenson,Supercongruences for truncated n+1Fn-hypergeometric series with applications to certain weight three newforms, Proc. Amer. Math. Soc. 133 (2005), no. 2, 321–330

    work page 2005

  34. [34]

    Ono,Values of Gaussian hypergeometric series, Trans

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

    work page 1998

  35. [35]

    Ono,The web of modularity: arithmetic of the coefficients of modular forms and q-series, volume 102 of CBMS Regional Conference Series in Mathematics

    K. Ono,The web of modularity: arithmetic of the coefficients of modular forms and q-series, volume 102 of CBMS Regional Conference Series in Mathematics. Conference Board of the EXPLICIT HYPERGEOMETRIC MODULARITY 19 Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 2004

    work page 2004

  36. [36]

    Rosen,L-values of certain weight 3 Modular Forms and Transformations of Hypergeo- metric Series, arXiv:2412.07054, 2025

    E. Rosen,L-values of certain weight 3 Modular Forms and Transformations of Hypergeo- metric Series, arXiv:2412.07054, 2025

    work page arXiv 2025

  37. [37]

    Rosen,Modular forms and certain 2F1(1)hypergeometric series, to appear in Proceedings of the American Mathematical Society, arXiv:2502.08760, 2025

    E. Rosen,Modular forms and certain 2F1(1)hypergeometric series, to appear in Proceedings of the American Mathematical Society, arXiv:2502.08760, 2025

    work page arXiv 2025

  38. [38]

    Salerno,Counting points over finite fields and hypergeometric functions, Funct

    A. Salerno,Counting points over finite fields and hypergeometric functions, Funct. Approx. Comment. Math. 49 (2013), no. 1, 137–157

    work page 2013

  39. [39]

    Stienstra and F

    J. Stienstra and F. Beukers,On the Picard-Fuchs equation and the formal brauer group of certain ellipticK3-surfaces,Math. Ann. 271 (1985), 269–304

    work page 1985

  40. [40]

    Tripathi,Appell series over finite fields and modular forms, Finite Fields Appl

    M. Tripathi,Appell series over finite fields and modular forms, Finite Fields Appl. 90 (2023), Paper No. 102230, 20 p

    work page 2023

  41. [41]

    Tripathi and R

    M. Tripathi and R. Barman,A finite field analogue of the Appell seriesF 4, Res. Number Theory 4 (2018), no. 3, Paper No. 35, 23 p

    work page 2018

  42. [42]

    Tripathi, N

    M. Tripathi, N. Saikia, and R. Barman,Appell’s hypergeometric series over finite fields, Int. J. Number Theory 16 (2020), no. 4, 673–692

    work page 2020

  43. [43]

    M. V. Vega,Hypergeometric functions over finite fields and their relations to algebraic curves, Int. J. Number Theory 7 (2011), no. 8, 2171–2195

    work page 2011

  44. [44]

    Zagier,Elliptic modular forms and their applications, In The 1-2-3 of modular forms, Universitext

    D. Zagier,Elliptic modular forms and their applications, In The 1-2-3 of modular forms, Universitext. Springer, Berlin, (2008), 1–103. Department of Mathematics, Indian Institute of Technology Guwahati, North Guwa- hati, Guwahati-781039, Assam, INDIA Email address:m.sipra@iitg.ac.in Department of Mathematics, Indian Institute of Technology Guwahati, North...

    work page 2008