Values of \(p\)-adic hypergeometric functions and \(p\)-adic analogue of Kummer's linear identity
type: Item
instance of: scholarly article
title: Values of \(p\)-adic hypergeometric functions and \(p\)-adic analogue of Kummer's linear identity
author: Neelam Saikia
published in: International Journal of Number Theory
publication date: 2024-10-29T00:00:00Z
review text: The author studies McCarthy's hypergeometric sums \(p\)-adically and expresses them in terms of the roots of an explicit polynomial over \(\mathbb{F}_p\). Several corollaries follow.\N\NLet \(p\) be an odd prime, \(n\geq 1\) and \(t\in\mathbb{F}_p\). The family of hypergeometric sums considered by the author is:\N\[\N_{3n-1}G_{3n-1}(p,t) = _{3n-1} \mathbb{G}_{3n-1}\left [ \begin{matrix} \frac{1}{3n}, & \frac{2}{3n}, & \frac{3}{3n}, & \cdots, & \frac{3n-1}{3n}\\\N0, & \frac{1}{2}, & \frac{1}{3n-2}, & \cdots, & \frac{3n-3}{3n-2}\end{matrix} \biggr\rvert t\right ]_p.\N\]\NLet \(\widehat{\mathbb{F}_p^\times}\) be the group of multiplicative characters of \(\mathbb{F}_p^\times\) and define a map \(\delta\) from \(\widehat{\mathbb{F}_p^\times}\to\{0,1\}\) by setting \(\delta(\chi)=1\) if \(\chi\) is the trivial character and zero otherwise. The main theorem states that if \(p\nmid 3n(3n-2)\), \(\alpha = \frac{(-1)^n(3n-2)^{3n-2}}{(3n)^{3n}t}\) and\N\[\Nf_t(y)=y^{3n}-2y^{3n-1}+y^{3n-2}-(-1)^n4\alpha\in\mathbb{F}_p[y],\N\]\Nthen:\N\[\N_{3n-1}G_{3n-1}(p,t) = r-1 + \frac{1-p}{p}\phi(\alpha)\delta(\phi^n),\N\]\Nwhere \(\phi\) is the quadratic character and \(r\) is the number of distinct roots of \(f_t(y)\) over \(\mathbb{F}_p\).\N\NAs an example of an immediate corollary, when \(n=1\), it is shown that \(_2G_2(p,1)=1\), and when \(t\neq 1\), \(_2G_2(p,t)\) is equal to one less the cardinality in \(\{y\in\mathbb{F}_p : 27y^3-27y^2+4t^{-1}\equiv 0\bmod p\}\).\N\NAnalogous results are shown for the function\N\[\N_2\widetilde{G}_2(p,t) = _2\mathbb{G}_2\left [\begin{matrix} \frac{1}{6}, & \frac{5}{6}\\\N0, &\frac{1}{2}\end{matrix} \biggr\rvert t\right]_p,\N\]\Nand it is also shown that for \(p>3\), \(_2\widetilde{G}_2(p,t)\) can only have values \(0,\pm 1\) and \(\pm 2\).\N\NFinally, a \(p\)-adic version of Kummer's transformation identity is given between \(_2G_2\) and \(_2\widetilde{G}_2\).
reviewed by: Matthew Schmidt
Mathematics Subject Classification ID: 33E50
Mathematics Subject Classification ID: 11S80
Mathematics Subject Classification ID: 11T24
zbMATH DE Number: 7935177
zbMATH Keywords: character sum
zbMATH Keywords: Gauss sums
zbMATH Keywords: Jacobi sums
zbMATH Keywords: \(p\)-adic gamma functions
MaRDI profile type: MaRDI publication profile
cites work: Generalized hypergeometric series.
cites work: Q4382830
cites work: Hypergeometric series with a p-adic variable
cites work: Summation of a certain series.
cites work: Polynomial solutions of differential-difference equations
cites work: Zeros of the hypergeometric polynomials \(F(-n,b;2b;z)\)
cites work: Hypergeometric type identities in the \(p\)-adic setting and modular forms
cites work: Hypergeometric Functions Over Finite Fields
cites work: Gauss sums and the p-adic \(\Gamma\)-function
cites work: Q3895569
cites work: Q3880931
cites work: Über die hypergeometrische Reihe .
cites work: Q3216750
cites work: The trace of Frobenius of elliptic curves and the \(p\)-adic gamma function
cites work: Q5508372
cites work: Certain transformations and values of \(p\)-adic hypergeometric functions
cites work: On well-poised series, generalized hypergeometric series having parameters in pairs, each pair with the same sum.
DOI: 10.1142/S1793042124501136
description: scientific article; zbMATH DE number 7935177