arXiv subjects
Publications and source records attributed to Steven Sperber.
We give a class of examples of $A$-hypergeometric systems that display integrality of mirror maps. Specifically, these systems have solutions $F(λ_1,\dots,λ_N) = 1$ and $\logλ^l + G(λ_1,\dots,λ_N)$ (for certain $l\in{\mathbb Z}^N$) such that $\exp G(λ)$ has integral coefficients. The proof requires only some elementary congruences.
The symmetric power L-function of the hyper-Kloosterman family is a rational function over the integers. Its degree and complex absolute values of its zeros and poles are now known through the work of Fu and Wan. The purpose of this paper is to study the p-adic absolute value of these zeros and poles. In particular, we give a uniform lower bound, independent of the symmetric power, of the q-adic Newton polygon of this $L$-function under suitable conditions. We also give similar results for any other linear algebra operation of the hyper-Kloosterman family, such as tensor, exterior, symmetric powers, or combinations thereof.
By a generalized Delsarte polynomial we mean a Laurent polynomial whose exponent vectors are linearly independent. We consider certain monomial deformations of generalized Delsarte polynomials and study their associated differential modules. We determine the solutions at the origin, which are all classical ${}_kF_{k-1}$-hypergeometric functions with the variable raised to a power. Using standard changes of variable, we also obtain the solutions at infinity.
We describe the action of the Dwork-Frobenius operator on certain $A$-hypergeometric series. As a consequence, we obtain an integrality result for the coefficients of those series. This implies an integrality result for classical hypergeometric series.
By a codimension-one system we mean a system whose lattice of relations has rank one. We consider codimension-one $A$-hypergeometric systems and explicitly construct some of the logarithmic series solutions at the origin. When the parameter vector $β$ is nonresonant we obtain a full set of logarithmic series solutions at the origin by this procedure. We also determine when a codimension-one system with nonresonant parameter can have maximal unipotent monodromy at the origin.
We study the hypergeometric functions associated to five one-parameter deformations of Delsarte K3 quartic hypersurfaces in projective space. We compute all of their Picard--Fuchs differential equations; we count points using Gauss sums and rewrite this in terms of finite field hypergeometric sums; then we match up each differential equation to a factor of the zeta function, and we write this in terms of global L-functions. This computation gives a complete, explicit description of the motives for these pencils in terms of hypergeometric motives.
We identify the $p$-adic unit roots of the zeta function of a projective hypersurface over a finite field of characteristic $p$ as the eigenvalues of a product of special values of a certain matrix of $p$-adic series. That matrix is a product $F(Λ^p)^{-1}F(Λ)$, where the entries in the matrix $F(Λ)$ are $A$-hypergeometric series with integral coefficients and $F(Λ)$ is independent of $p$.
We use the Dwork-Frobenius operator to prove an integrality result for $A$-hypergeometric series whose coefficients are factorial ratios. As a special case, we generalize one direction of a classical result of Landau on the integrality of factorial ratios.
We return to some past studies of hyperkloosterman sums ([9,10]) via $p$-adic cohomology with an aim to improve earlier results. In particular, we work here with Dwork's $θ_\infty$-splitting function and a better choice of basis for cohomology. To a large extent, we are guided to this choice of basis by our recent work on the $p$-integrality of coefficients of $A$-hypergeometric series[3]. In the earlier work, congruence estimates were limited to $p>n+2$. We are here able to remove all characteristic restrictions from earlier results.
Let $A$ be a set of $N$ vectors in ${\mathbb Z}^n$ and let $v$ be a vector in ${\mathbb C}^N$ that has minimal negative support for $A$. Such a vector $v$ gives rise to a formal series solution of the $A$-hypergeometric system with parameter $β=Av$. If $v$ lies in ${\mathbb Q}^n$, then this series has rational coefficients. Let $p$ be a prime number. We characterize those $v$ whose coordinates are rational, $p$-integral, and lie in the closed interval $[-1,0]$ for which the corresponding normalized series solution has $p$-integral coefficients. From this we deduce further integrality results for hypergeometric series.
Let $X$ be the family of hypersurfaces in the odd-dimensional torus ${\mathbb T}^{2n+1}$ defined by a Laurent polynomial $f$ with fixed exponents and variable coefficients. We show that if $nΔ$, the dilation of the Newton polytope $Δ$ of $f$ by the factor $n$, contains no interior lattice points, then the Picard-Fuchs equation of $W_{2n}H^{2n}_{\rm DR}(X)$ has a full set of algebraic solutions (where $W_\bullet$ denotes the weight filtration on de Rham cohomology). We also describe a procedure for finding solutions of these Picard-Fuchs equations.
Landau has characterized the integrality of certain ratios of factorials. Delaygue has characterized the integrality of the Taylor coefficients of certain mirror maps constructed from series involving those ratios. Using the $A$-hypergeometric point of view, we express those characterizations in terms of the nonexistence of interior points in multiples of the associated lattice polytope.
We prove that if two Calabi-Yau invertible pencils have the same dual weights, then they share a common factor in their zeta functions. By using Dwork cohomology, we demonstrate that this common factor is related to a hypergeometric Picard--Fuchs differential equation. The factor in the zeta function is defined over the rationals and has degree at least the order of the Picard--Fuchs equation. As an application, we relate several pencils of K3 surfaces to the Dwork pencil, obtaining new cases of arithmetic mirror symmetry.
The Hasse-Witt matrix of a hypersurface in ${\mathbb P}^n$ over a finite field of characteristic $p$ gives essentially complete mod $p$ information about the zeta function of the hypersurface. But if the degree $d$ of the hypersurface is $\leq n$, the zeta function is trivial mod $p$ and the Hasse-Witt matrix is zero-by-zero. We generalize a classical formula for the Hasse-Witt matrix to obtain a matrix that gives a nontrivial congruence for the zeta function for all $d$. We also describe the differential equations satisfied by this matrix and prove that it is generically invertible.
By a "generalized Calabi-Yau hypersurface" we mean a hypersurface in ${\mathbb P}^n$ of degree $d$ dividing $n+1$. The zeta function of a generic such hypersurface has a reciprocal root distinguished by minimal $p$-divisibility. We study the $p$-adic variation of that distinguished root in a family and show that it equals the product of an appropriate power of $p$ times a product of special values of a certain $p$-adic analytic function ${\mathcal F}$. That function ${\mathcal F}$ is the $p$-adic analytic continuation of the ratio $F(Λ)/F(Λ^p)$, where $F(Λ)$ is a solution of the $A$-hypergeometric system of differential equations corresponding to the Picard-Fuchs equation of the family.
We give a short combinatorial proof of the generic invertibility of the Hasse-Witt matrix of a projective hypersurface. We also examine the relationship between the Hasse-Witt matrix and certain $A$-hypergeometric series, which is what motivated the proof.
Dwork's conjecture, now proven by Wan, states that unit root L-functions "coming from geometry" are p-adic meromorphic. In this paper we study the p-adic variation of a family of unit root L-functions coming from a suitable family of toric exponential sums. In this setting, we find that the unit root L-functions each have a unique p-adic unit root. We then study the variation of this unit root over the family of unit root L-functions. Surprisingly, we find that this unit root behaves similarly to the classical case of families of exponential sums. That is, the unit root is essentially a ratio of A-hypergeometric functions.
Let $A$ be a set of $N$ vectors in ${\mathbb Z}^n$ and let $v$ be a vector in ${\mathbb C}^N$ that has minimal negative support for $A$. Such a vector $v$ gives rise to a formal series solution of the $A$-hypergeometric system with parameter $β= Av$. If $v$ lies in ${\mathbb Q}^n$, then this series has rational coefficients. Let $p$ be a prime number. We characterize those $v$ whose coordinates are rational, $p$-integral, and lie in the closed interval $[-1,0]$ for which the corresponding normalized series solution has $p$-integral coefficients.