pith. sign in

arxiv: 2505.05858 · v4 · submitted 2025-05-09 · 🧮 math.NT

Symmetry of hypergeometric functions over finite fields and geometric interpretation

Akio Nakagawa This is my paper

Pith reviewed 2026-05-22 16:46 UTC · model grok-4.3

classification 🧮 math.NT
keywords hypergeometric functionsfinite fieldssymmetryalgebraic varietiesrational pointsgeometric proofnumber theory
0
0 comments X

The pith

Hypergeometric functions over finite fields satisfy a classical symmetry proved by isomorphisms of algebraic varieties.

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

The paper defines general hypergeometric functions over finite fields. It establishes that these functions obey a symmetry analogous to the one in their complex counterparts. The proof proceeds geometrically by constructing explicit isomorphisms between certain algebraic varieties. These varieties are chosen so that the number of rational points over the finite field equals the value of the corresponding hypergeometric function. This geometric realization makes the symmetry visible through the correspondence between point counts and the functions.

Core claim

We define general hypergeometric functions over finite fields and obtain a finite field analogue of a classical symmetry in their complex counterparts. We give a geometric proof for the symmetry by constructing isomorphisms between certain algebraic varieties. The numbers of rational points on these varieties are hypergeometric functions over finite fields.

What carries the argument

Isomorphisms between algebraic varieties whose rational point counts equal the values of the hypergeometric functions over finite fields.

Load-bearing premise

The general hypergeometric functions over finite fields are defined so that their values coincide with the counts of rational points on the varieties for which the authors construct isomorphisms.

What would settle it

An explicit pair of varieties where the constructed isomorphism fails to preserve the count of rational points, or a direct computation showing that the defined hypergeometric functions deviate from those point counts while the symmetry relation is checked separately.

read the original abstract

We begin by defining general hypergeometric functions over finite fields and obtaining a finite field analogue of a classical symmetry in their complex counterparts. We give a geometric proof for the symmetry by constructing isomorphisms between certain algebraic varieties. The numbers of rational points on these varieties are hypergeometric functions over finite fields.

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 defines general hypergeometric functions over finite fields, establishes a finite-field analogue of a classical symmetry relation, and supplies a geometric proof of this symmetry by constructing explicit isomorphisms between certain algebraic varieties whose F_q-rational point counts are shown to equal the hypergeometric values.

Significance. If the identification between the (character-sum or sum-based) definition of the hypergeometric functions and the geometric point counts is fully rigorous, the work supplies an independent geometric route to the symmetry that parallels the complex case and may facilitate further applications in arithmetic geometry over finite fields. The explicit isomorphism construction is a concrete strength.

major comments (2)
  1. [§2] §2 (definition of general hypergeometric functions): the manuscript must verify that the chosen definition coincides exactly with the F_q-point counts on the varieties introduced in §3 for the full range of parameters and base fields; without this explicit bridge the geometric isomorphism does not automatically transfer the symmetry to the functions themselves.
  2. [§3.2] §3.2 (construction of the isomorphism): confirm that the isomorphism is defined over the base field F_q (rather than an extension) so that it induces a bijection on F_q-rational points; any dependence on auxiliary choices (e.g., roots of unity or characters) should be shown to cancel in the final count.
minor comments (2)
  1. [§1] Notation for the hypergeometric parameters should be introduced once and used consistently; a short table comparing the finite-field and classical parameters would improve readability.
  2. [§4] Add a brief remark on how the new symmetry reduces to known special cases (e.g., Gauss sums or Jacobi sums) when the number of parameters is small.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. The geometric interpretation via explicit isomorphisms is central to our approach, and we address the major comments below with plans for targeted revisions.

read point-by-point responses

  1. Referee: [§2] §2 (definition of general hypergeometric functions): the manuscript must verify that the chosen definition coincides exactly with the F_q-point counts on the varieties introduced in §3 for the full range of parameters and base fields; without this explicit bridge the geometric isomorphism does not automatically transfer the symmetry to the functions themselves.

    Authors: We agree that making the identification fully explicit for all parameters strengthens the argument. The manuscript already equates the character-sum definition of the hypergeometric functions to the F_q-point counts on the varieties in §3 for the primary cases under consideration, with the equality following from the standard character-sum expressions for point counts on hypersurfaces. To cover the complete range of parameters and arbitrary base fields F_q, we will insert an additional lemma or subsection in the revised §2 that verifies the equality in full generality, thereby ensuring the isomorphism directly transfers the symmetry. revision: yes

  2. Referee: [§3.2] §3.2 (construction of the isomorphism): confirm that the isomorphism is defined over the base field F_q (rather than an extension) so that it induces a bijection on F_q-rational points; any dependence on auxiliary choices (e.g., roots of unity or characters) should be shown to cancel in the final count.

    Authors: The isomorphism in §3.2 is constructed via explicit polynomial equations with coefficients in F_q, so the morphism is defined over the base field and induces a bijection on F_q-rational points. The auxiliary choices (roots of unity and characters) enter only through the original character-sum definition of the hypergeometric functions; they are independent of the geometric isomorphism itself. Because the point-counting interpretation is invariant under these choices, their contributions cancel in the final equality. We will add a clarifying paragraph in §3.2 together with a short invariance argument to make this cancellation explicit. revision: yes

Circularity Check

0 steps flagged

No significant circularity; geometric construction is independent of the functional definition

full rationale

The paper defines general hypergeometric functions over finite fields (presumably via standard character-sum or sum expressions), obtains a finite-field symmetry analogue from that definition, and separately constructs isomorphisms between algebraic varieties whose F_q-point counts are shown to equal those functions. The equality between the algebraic definition and the geometric counts is presented as a supporting identification rather than a definitional tautology, and the isomorphisms then transfer the symmetry geometrically. No step reduces the claimed symmetry or the functions themselves to their inputs by construction, and the derivation remains self-contained against known external results on hypergeometric functions over finite fields.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; no explicit free parameters, axioms, or invented entities are stated. The work appears to rest on standard definitions of hypergeometric functions and algebraic varieties over finite fields.

pith-pipeline@v0.9.0 · 5554 in / 1064 out tokens · 67653 ms · 2026-05-22T16:46:53.749127+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

33 extracted references · 33 canonical work pages · 3 internal anchors

  1. [1]

    Archinard, Hypergeometric abelian varieties, Canad

    N. Archinard, Hypergeometric abelian varieties, Canad. J. Math.55(5) (2003), 897–932

    work page 2003

  2. [2]

    Asakura and N

    M. Asakura and N. Otsubo, On the adelic Gaussian hypergeometric function, arXiv:2408.080- 12v1 (2024)

    work page 2024

  3. [3]

    Beukers, H

    F. Beukers, H. Cohen and A. Mellit, Finite hypergeometric functions, Pure Appl. Math. Q., 11(4) (2015), 559–589. SYMMETRY OF HYPERGEOMETRIC FUNCTIONS OVER FINITE FIELDS 45

    work page 2015

  4. [4]

    A. S. Chetry and G. Kalita, Lauricella hypergeometric seriesF (n) A over finite fields, The Ramanujan J.,57(2022), 1335–1354

    work page 2022

  5. [5]

    Frechette, H

    S. Frechette, H. Swisher and F.-T. Tu, A cubic transformation formula for Appell-Lauricella hypergeometric functions over finite fields, Res. Number Theory,4:27 (2018)

    work page 2018

  6. [6]

    Fuselier, L

    J. Fuselier, L. Long, R. Ramakrishna, H. Swisher and F.-T. Tu,Hypergeometric functions over finite fields, Memoirs of the AMS (2022)

    work page 2022

  7. [7]

    I. M. Gel’fand, M. I. Graev and V. S. Retakh, Hypergeometric functions over an arbitrary field, Russian Math. Surveys,59:5 (2004), 831–905

    work page 2004

  8. [8]

    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

  9. [9]

    A Lauricella hypergeometric series over finite fields

    B. He, A Lauricella hypergeometric series over finite fields, arXiv:1610.04473v3 (2017)

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  10. [10]

    A finite field analogue for Appell series F_3

    B. He, A finite field analogue for Appell seriesF 3, arXiv:1704.03509v2 (2017)

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  11. [11]

    B. He, L. Li and R. Zhang, An Appell series over finite fields, Finite fields and their applica- tions,48(2017), 289–305

    work page 2017

  12. [12]

    Humbert, The confluent hypergeometric functions of two variables, Proc

    P. Humbert, The confluent hypergeometric functions of two variables, Proc. Royal Soc. Ed- inburgh,41(1920), 73–96

    work page 1920

  13. [13]

    R. Ito, S. Kumabe, A. Nakagawa, Y. Nemoto, Kamp´ e de F´ eriet hypergeometric functions over finite fields, Res. Number Theory,9:52 (2023)

    work page 2023

  14. [14]

    N. M. Katz,Exponential sums and differential equations, Annals of Mathematics Studies, Volume 124, Princeton University Press, Princeton, NJ, 1990

    work page 1990

  15. [15]

    Kimura and M

    H. Kimura and M. Taneda, Analogue of flat basis and cohomological intersection numbers for general hypergeometric functions, J. Math. Sci. Univ. Tokyo,6(1999), 415–436

    work page 1999

  16. [16]

    Kimura, Y

    H. Kimura, Y. Haraoka and K. Takano, The generalized confluent hypergeometric functions, Proc. Japan Acad.,68Ser. A (1992), 290–295

    work page 1992

  17. [17]

    Kimura and T

    H. Kimura and T. Koitabashi, Normalizer of maximal abelian subgroups ofGL(n) and general hypergeometric functions, Kumamoto J. Math.,9(1996), 13–43

    work page 1996

  18. [18]

    Koblitz, The number of points on certain families of hypersurfaces over finite fields, Com- positio Math.,48(1983), 3–23

    N. Koblitz, The number of points on certain families of hypersurfaces over finite fields, Com- positio Math.,48(1983), 3–23

    work page 1983

  19. [19]

    Koornwinder and J.-V

    T.-H. Koornwinder and J.-V. Stokman (Eds.),Encyclopedia of special functions the Askey- Betaman project, Vol. II : Multivariable special functions, Cambridge University Press, 2021

    work page 2021

  20. [20]

    Li, X, Li and R

    L. Li, X, Li and R. Mao, Appell seriesF 1 over finite fields, Int. J. Num. Th.14(3) (2018), 727–738

    work page 2018

  21. [21]

    Ma, Some properties for Appell seriesF 2 over finite fields, Integral transforms and special functions,30(12) (2019), 992–1003

    H. Ma, Some properties for Appell seriesF 2 over finite fields, Integral transforms and special functions,30(12) (2019), 992–1003

    work page 2019

  22. [22]

    Macdonald,Symmetric functions and Hall polynomials, Oxford Univ

    I. Macdonald,Symmetric functions and Hall polynomials, Oxford Univ. Press, 1995

    work page 1995

  23. [23]

    McCarthy, Transformations of well-poised hypergeometric functions over finite fields, Fi- nite Fields Appl.,18(6) (2012), 1133–1147

    D. McCarthy, Transformations of well-poised hypergeometric functions over finite fields, Fi- nite Fields Appl.,18(6) (2012), 1133–1147

    work page 2012

  24. [24]

    Nakagawa, Appell-Lauricella hypergeometric functions over finite fields and algebraic va- rieties, Hokkaido Math

    A. Nakagawa, Appell-Lauricella hypergeometric functions over finite fields and algebraic va- rieties, Hokkaido Math. J.,53(2) (2024), 307–347

    work page 2024

  25. [25]

    Nakagawa, Sum representations of Appell-Lauricella functions over finite fields using con- fluent hypergeometric functions and their applications, Res

    A. Nakagawa, Sum representations of Appell-Lauricella functions over finite fields using con- fluent hypergeometric functions and their applications, Res. Number Theory,10:74 (2024)

    work page 2024

  26. [26]

    A unified approach to $q$-special functions of the Laplace type

    Y. Ohyama, A unified approach toq-special functions of the Laplace type, arXiv:1103.5232 (2011)

    work page internal anchor Pith review Pith/arXiv arXiv 2011

  27. [27]

    Otsubo, Hypergeometric functions over finite fields, Ramanujan J.,63(2024), 55–104

    N. Otsubo, Hypergeometric functions over finite fields, Ramanujan J.,63(2024), 55–104

    work page 2024

  28. [28]

    Otsubo and T

    N. Otsubo and T. Senoue, Product formulas for hypergeometric functions over finite fields, Res. Number Theory,8:80 (2022)

    work page 2022

  29. [29]

    J.-P. Serre. Zeta and L functions,Arithmetical Algebraic Geometry, Harper and Row, New York (1965), 82–92

    work page 1965

  30. [30]

    L. J. Slater,Generalized hypergeometric functions, Cambridge University Press 1966

    work page 1966

  31. [31]

    Tripathi and R

    M. Tripathi and R. Barman, A finite field analogue of the Appell seriesF 4, Res. Number Theory,4:35 (2018)

    work page 2018

  32. [32]

    Tripathi, N

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

    work page 2020

  33. [33]

    Vid¯ unas, Specialization of Appell’s functions to univariate hypergeometric functions, J

    R. Vid¯ unas, Specialization of Appell’s functions to univariate hypergeometric functions, J. Math. Analysis and Applications355(2009), 145–163. Email address:akio.nakagawa.math@icloud.com 46 AKIO NAKAGAWA F aculty of Engineering Department of General Education, Chiba Institute of Tech- nology, 2-1-1 Shibazono,Narashino, Chiba, 275-0023, JAPAN

    work page 2009