We answer in the negative Siegel's question whether all E-functions are polynomial expressions in hypergeometric E-functions. Namely, we show that if an irreducible differential operator of order three annihilates an E-function in the hypergeometric class, then the singularities of its Fourier transform are constrained to satisfy a symmetry property that generically does not hold. The proof relies on André's theory of E-operators and Katz's computation of the Galois group of hypergeometric differential equations.
We calculate the Beilinson regulators of motives associated to Fermat curves and express them by special values of generalized hypergeometric functions. As a result, we obtain surjectivity results of the regulator, which support the Beilinson conjecture on special values of L-functions.
We study periods and regulators of a certain class of fibrations of varieties whose relative $H^1$ has multiplication by a number field. Both are written in terms of values of hypergeometric functions ${}_3F_2$ and the former reduces to values of the gamma function, which provide examples of the conjecture of Gross-Deligne.
In this paper, we investigate the relationships among hypergeometric series, truncated hypergeometric series, and Gaussian hypergeometric functions through some families of `hypergeometric' algebraic varieties that are higher dimensional analogues of Legendre curves.
In this paper, we introduce degenertae generalized hypergeometric functions and study degenerate hypergeometric numbers of order p. These numbers involving of lambda-binomial coefficients and lambda-falling sequence, and can be represented by means of the degenerate generalized hypergeometric functions. we will derive some explicit expressions and combinatorial identities for those numbers. We also consider several related special numbers like lambda-hypergeometric numbers of order p and Apostol type lambda-hypergeometric numbers of order p, of which the latter reduce in a limiting case to the…
We define finite field $A$-hypergeometric functions and show that they are Fourier expansions of families of exponential sums on the torus. For an appropriate choice of $A$, our finite field $A$-hypergeometric function can be specialized to the finite field ${}_kF_{k-1}$-hypergeometric function defined by McCarthy.
We describe the structure of all codimension-two lattice configurations $A$ which admit a stable rational $A$-hypergeometric function, that is a rational function $F$ all whose partial derivatives are non zero, and which is a solution of the $A$-hypergeometric system of partial differential equations defined by Gel'fand, Kapranov and Zelevinsky. We show, moreover, that all stable rational $A$-hypergeometric functions may be described by toric residues and apply our results to study the rationality of bivariate series whose coefficients are quotients of factorials of linear forms.
In this paper we establish certain identities connecting $p$-adic hypergeometric functions with 4-th twisted Kloosterman sheaf sum. To prove these identities we express certain character sum over finite field in terms of special values of $p$-adic hypergeometric functions. One conjecture of Evans behaves as a bridge to connect $p$-adic hypergeometric functions with Kloosterman sheaf sum. We also connect $p$-adic hypergeometric functions with Fourier coefficients of certain modular forms.
This paper investigates a new family of special functions referred to as hypergeometric zeta functions. Derived from the integral representation of the classical Riemann zeta function, hypergeometric zeta functions exhibit many properties analogous to their classical counterpart, including the intimate connection to Bernoulli numbers. These new properties are treated in detail and are used to demonstrate a functional inequality satisfied by second-order hypergeometric zeta functions.
Finite hypergeometric functions are functions of a finite field ${\bf F}_q$ to ${\bf C}$. They arise as Fourier expansions of certain twisted exponential sums and were introduced independently by John Greene and Nick Katz in the 1980's. They have many properties in common with their analytic counterparts, the hypergeometric functions. One restriction in the definition of finite hypergeometric functions is that the hypergeometric parameters must be rational numbers whose denominators divide $q-1$. In this note we use the symmetry in the hypergeometric parameters and an extension of the exponent…
We classify all the zeros and non-zero values of a family of hypergeometric series in the $p$-adic setting. These values of hypergeometric series in the $p$-adic setting lead to transformations of hypergeometric series in the $p$-adic setting which can be described as $p$-adic analogues of Kummer's and Pfaff's linear transformations on classical hypergeometric series. We also evaluate certain summation identities for hypergeometric series in the $p$-adic setting as well as Gaussian hypergeometric series.
Some zero-free regions were known on the right half of the complex plane in the form of vertical strips for fractional hypergeometric zeta functions. In this paper, we describe and demonstrate zero free regions on the left half of the complex plane for fractional hypergeometric zeta functions. The fractional hypergeometric zeta function of order $a$ has no zeros to the left half of the complex plane except the trivial zeros on the real axis.
We compute the Artin $L$-function of a diagonal hypersurface D_λ over a finite field associated to a character of a finite group acting on D_λ , and under some condition, express it in terms of hypergeometric functions and Jacobi sums over the finite field. As an application, we consider the Dwork hypersurfaces and obtain relations among certain hypergeometric functions over different finite fields.
Building on the developments of many people including Evans, Greene, Katz, McCarthy, Ono, Roberts, and Rodriguez-Villegas, we consider period functions for hypergeometric type algebraic varieties over finite fields and consequently study hypergeometric functions over finite fields in a manner that is parallel to that of the classical hypergeometric functions. Using a comparison between the classical gamma function and its finite field analogue the Gauss sum, we give a systematic way to obtain certain types of hypergeometric transformation and evaluation formulas over finite fields and interpre…
We give an expression for the trace of Frobenius for the family of curves \[ y^3 = x (x-1)(x-λ)(x-μ) \] over finite fields in terms of finite field hypergeometric functions.
We consider algebraic transformations of hypergeometric functions from a geometric point of view. Hypergeometric functions are shown to arise from the deRham realization of a hypergeometric motive. The $\ell$-adic realization of the motive gives rise to hypergeometric characters sums over finite fields. This helps to unify and explain some recent results about transformations of hypergeometric character sums.
We prove two transformations for the $p$-adic hypergeometric functions which can be described as $p$-adic analogues of a Euler's transformation and a transformation of Clausen. We first evaluate certain character sums, and then relate them to the $p$-adic hypergeometric functions to deduce the transformations. We use a character sum identity proved by Ahlgren, Ono, and Penniston to deduce the $p$-adic Clausen's transformation. We also deduce special values of certain $p$-adic hypergeometric functions.
Many product formulas are known classically for generalized hypergeometric functions over the complex numbers. In this paper, we establish some analogous formulas for generalized hypergeometric functions over finite fields.
The hypergeometric zeta function is defined in terms of the zeros of the Kummer function M(a, a + b; z). It is established that this function is an entire function of order 1. The classical factorization theorem of Hadamard gives an expression as an infinite product. This provides linear and quadratic recurrences for the hypergeometric zeta function. A family of associated polynomials is characterized as Appell polynomials and the underlying distribution is given explicitly in terms of the zeros of the associated hypergeometric function. These properties are also given a probabilistic interpre…
We define a hypergeometric function over finite fields which is an analogue of the classical generalized hypergeometric series. We prove that this function satisfies many transformation and summation formulas. Some of these results are analogous to those given by Dixon, Kummer and Whipple for the well-poised classical series. We also discuss this function's relationship to other finite field analogues of the classical series, most notably those defined by Greene and Katz.
In \cite{mccarthy2}, McCarthy defined a function $_{n}G_{n}[\cdots]$ using the Teichmüller character of finite fields and quotients of the $p$-adic gamma function. This function extends hypergeometric functions over finite fields to the $p$-adic setting. In this paper, we give certain transformation formulas for the function $_{n}G_{n}[\cdots]$ which are not implied from the analogous hypergeometric functions over finite fields.
We prove three more general supercongruences between truncated hypergeometric series and $p$-adic Gamma function from which some known supercongruences follow. A supercongruence conjectured by Rodriguez-Villegas and proved by E. Mortenson using the theory of finite field hypergeometric series follows from one of our more general supercongruences. We also prove a supercongruence for ${_7}F_6$ truncated hypergeometric series which is similar to a supercongruence proved by L. Long and R. Ramakrishna.
We investigate a relation between the Mordell-Tornheim type of multiple Dirichlet series and a confluent hypergeometric function. We prove it by applying the Mellin-Barnes integral formula. Also, main results in this paper contain two kinds of functional equations for double $L$-functions as a special case.
It is a well known result that the number of points over a finite field on the Legendre family of elliptic curves can be written in terms of a hypergeometric function modulo $p$. In this paper, we extend this result, due to Igusa, to a family of monomial deformations of a diagonal hypersurface. We find explicit relationships between the number of points and generalized hypergeometric functions as well as their finite field analogues.
We prove finite field analogues of integral representations of Appell- Lauricella hypergeometric functions in many variables. We consider certain hypersurfaces having a group action and compute the numbers of rational points associated with characters of the group, which will be expressed in terms of Appell-Lauricella functions over finite fields.
This is a sequel of the paper "A generalization of the Ross symbols in higher K-groups and hypergeometric functions I" where we introduced higher Ross symbols in higher $K$-groups of the hypergeometric schemes, and discussed the Beilinson regulators. In this paper we give its p-adic counterpart and an application to the $p$-adic Beilinson conjecture for K3 surfaces of Picard number 20.
We give an expression for number of points for the family of Dwork K3 surfaces $$X_λ^4: \hspace{.1in} x_1^4+x_2^4+x_3^4+x_4^4=4λx_1x_2x_3x_4$$ over finite fields of order $q\equiv 1\pmod 4$ in terms of Greene's finite field hypergeometric functions. We also develop hypergeometric point count formulas for all odd primes using McCarthy's $p$-adic hypergeometric function. Furthermore, we investigate the relationship between certain period integrals of these surfaces and the trace of Frobenius over finite fields. We extend this work to higher dimensional Dwork hypersurfaces.
In this paper, we will obtain new algebraic transformations of the $_2F_1$-hypergeometric functions. The main novelty in our approach is the interpretation of identities among $_2F_1$-hypergeometric functions as identities among automorphic forms on different Shimura curves.
We recognize certain special hypergeometric motives, related to and inspired by the discoveries of Ramanujan more than a century ago, as arising from Asai $L$-functions of Hilbert modular forms.
We study the action of Hecke operators on the set of hypergeometric functions. We show that the spectrum of these operators is the set of powers n^a and that polylogarithms play a dominant role in the study of the corresponding eigenfunctions. As a corollary, we obtain a characterization of completely multiplicative hypergeometric coefficients.
In this paper we explore special values of Gaussian hypergeometric functions in terms of products of Euler $Γ$-functions and exponential functions of linear functions of the hypergeometric parameters. They include some classical evaluations, but the main inspiration is from the contiguity method recently applied by Akihito Ebisu.
The paper is a survey of recent results in analysis of additive functions over function fields motivated by applications to various classes of special functions including Thakur's hypergeometric function. We consider basic notions and results of calculus, analytic theory of differential equations with Carlitz derivatives (including a counterpart of regular singularity), umbral calculus, holonomic modules over the Weyl-Carlitz ring.
We study the action of the Hecke operators Un on the set of hy- pergeometric functions, as well as on formal power series. We show that the spectrum of these operators on the set of hypergeometric functions is the set n^a with a an integer and n a positive integer, and that the polylogarithms play a dominant role in the study of the eigenfunctions of the Hecke operators Un on the set of hypergeometric functions. As a corollary of our results on simultaneous eigen- functions, we also obtain an apriori unrelated result regarding the behavior of completely multiplicative hypergeometric coefficien…
We give a new method to prove in a uniform and easy way various transformation formulas for Gauss hypergeometric functions. The key is Jacobi's canonical form of the hypergeometric differential equation. Analogy for $q$-hypergeometric functions is also studied.
In the paper, the author finds an explicit formula for computing Bell numbers in terms of Kummer confluent hypergeometric functions and Stirling numbers of the second kind.
We describe a solution of the Gauss hypergeometric equation, $F(α,β,γ;z)$ by power series in paramaters $α,β,γ$ whose coefficients are $\Z$ linear combinations of multiple polylogarithms. And using the representation and connection reletions of solutions of the hypergeometric equation, we show some relations of multiple zeta values.