-
arXiv:2410.04293 [pdf, ps, other]
A note on the integrality of mirror maps
Abstract: 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.
Submitted 5 October, 2024; originally announced October 2024.
Comments: 7 pages
-
arXiv:2312.01563 [pdf, ps, other]
On Monomial Deformations of Generalized Delsarte Polynomials
Abstract: 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 c… ▽ More
Submitted 3 December, 2023; originally announced December 2023.
Comments: 31 pages
-
arXiv:2204.09814 [pdf, ps, other]
The Dwork-Frobenius operator on hypergeometric series
Abstract: 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.
Submitted 20 April, 2022; originally announced April 2022.
Comments: 33 pages
-
arXiv:2202.08389 [pdf, ps, other]
On solutions of codimension-one $A$-hypergeometric systems
Abstract: 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… ▽ More
Submitted 16 February, 2022; originally announced February 2022.
Comments: 31 pages
-
arXiv:2001.07280 [pdf, ps, other]
$A$-hypergeometric series and a $p$-adic refinement of the Hasse-Witt matrix
Abstract: 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$.
Submitted 20 January, 2020; originally announced January 2020.
Comments: 28 pages
-
arXiv:2001.03296 [pdf, ps, other]
On the integrality of hypergeometric series whose coefficients are factorial ratios
Abstract: 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.
Submitted 9 January, 2020; originally announced January 2020.
Comments: 18 pages
-
arXiv:1911.10639 [pdf, ps, other]
Hyperkloosterman sums revisited
Abstract: 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… ▽ More
Submitted 24 November, 2019; originally announced November 2019.
Comments: 22 pages
-
arXiv:1905.03235 [pdf, ps, other]
On integrality properties of hypergeometric series
Abstract: 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… ▽ More
Submitted 8 May, 2019; originally announced May 2019.
Comments: 19 pages
-
arXiv:1806.10243 [pdf, ps, other]
Newton polytopes and algebraic hypergeometric series
Abstract: 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 (wh… ▽ More
Submitted 26 June, 2018; originally announced June 2018.
Comments: With an appendix by Nicholas Katz
-
arXiv:1802.08348 [pdf, ps, other]
On the integrality of factorial ratios and mirror maps
Abstract: 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.
Submitted 22 February, 2018; originally announced February 2018.
Comments: 13 pages
-
arXiv:1701.04509 [pdf, ps, other]
A generalization of the Hasse-Witt matrix of a hypersurface
Abstract: 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… ▽ More
Submitted 16 January, 2017; originally announced January 2017.
Comments: 18 pages
-
arXiv:1602.03578 [pdf, ps, other]
Distinguished-root formulas for generalized Calabi-Yau hypersurfaces
Abstract: 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… ▽ More
Submitted 10 February, 2016; originally announced February 2016.
Comments: 33 pages
MSC Class: 14G15; 11G25
Journal ref: Alg. Number Th. 11 (2017) 1317-1356
-
arXiv:1601.05127 [pdf, ps, other]
A-hypergeometric series and the Hasse-Witt matrix of a hypersurface
Abstract: 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.
Submitted 19 January, 2016; originally announced January 2016.
Comments: 7 pages
-
arXiv:1402.5173 [pdf, ps, other]
On logarithmic solutions of A-hypergeometric systems
Abstract: For an $A$-hypergeometric system with parameter $β$, a vector $v$ with minimal negative support satisfying $Av = β$ gives rise to a logarithm-free series solution. We find conditions on $v$ analogous to `minimal negative support' that guarantee the existence of logarithmic solutions of the system and we give explicit formulas for those solutions. Although we do not study in general the question of… ▽ More
Submitted 20 February, 2014; originally announced February 2014.
Comments: 23 pages
-
arXiv:1311.5252 [pdf, ps, other]
On the $p$-integrality of $A$-hypergeometric series
Abstract: 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 ar… ▽ More
Submitted 4 August, 2015; v1 submitted 20 November, 2013; originally announced November 2013.
Comments: Expanded introduction, Sections 2 and 5 rewritten, Section 7 added, small changes elsewhere
-
arXiv:1308.4439 [pdf, ps, other]
$A$-hypergeometric series associated to a lattice polytope with a unique interior lattice point
Abstract: We associate to lattice points a_0,a_1,...,a_N in Z^n an A-hypergeometric series Φ(λ) with integer coefficients. If a_0 is the unique interior lattice point of the convex hull of a_1,...,a_N, then for every prime p\neq 2 the ratio Φ(λ)/Φ(λ^p) has a p-adic analytic continuation to a closed unit polydisk minus a neighborhood of a hypersurface.
Submitted 20 August, 2013; originally announced August 2013.
Comments: 12 pages
-
arXiv:1210.6400 [pdf, ps, other]
Exponential sums and finite field $A$-hypergeometric functions
Abstract: 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.
Submitted 23 October, 2012; originally announced October 2012.
Comments: 4 pages
-
arXiv:1209.2448 [pdf, ps, other]
Hasse invariants and mod $p$ solutions of $A$-hypergeometric systems
Abstract: Igusa noted that the Hasse invariant of the Legendre family of elliptic curves over a finite field of odd characteristic is a solution mod $p$ of a Gaussian hypergeometric equation. We show that any family of exponential sums over a finite field has a Hasse invariant which is a sum of products of mod $p$ solutions of $A$-hypergeometric systems.
Submitted 11 September, 2012; originally announced September 2012.
Comments: 22 pages
-
arXiv:1103.5513 [pdf, ps, other]
$p$-adic estimates for multiplicative character sums
Abstract: This article is an expanded version of the talk given by the first author at the conference "Exponential sums over finite fields and applications" (ETH, Zürich, November, 2010). We state some conjectures on archimedian and $p$-adic estimates for multiplicative character sums over smooth projective varieties. We also review some of the results of J. Dollarhide, which formed the basis for these conj… ▽ More
Submitted 28 March, 2011; originally announced March 2011.
Comments: 9 pages
MSC Class: 11T24; 14F40
-
arXiv:1012.1637 [pdf, ps, other]
On unit root formulas for toric exponential sums
Abstract: Starting from a classical generating series for Bessel functions due to Schlomilch, we use Dwork's relative dual theory to broadly generalize unit-root results of Dwork on Kloosterman sums and Sperber on hyperkloosterman sums. In particular, we express the (unique) p-adic unit root of an arbitrary exponential sum on the torus in terms of special values of the p-adic analytic continuation of a rati… ▽ More
Submitted 7 December, 2010; originally announced December 2010.
Comments: 10 pages
MSC Class: 11T23
-
arXiv:1007.4030 [pdf, ps, other]
$A$-hypergeometric systems that come from geometry
Abstract: We establish some connections between nonresonant $A$-hypergeometric systems and de Rham-type complexes. This allows us to determine which of these $A$-hypergeometric systems "come from geometry."
Submitted 22 July, 2010; originally announced July 2010.
Comments: 10 pages
MSC Class: 33C70; 14F40
-
arXiv:0808.2755 [pdf, ps, other]
Exponential sums nondegenerate relative to a lattice
Abstract: Our previous theorems on exponential sums often did not apply or did not give sharp results when certain powers of a variable appearing in the polynomial were divisible by p. We remedy that defect in this paper by systematically applying "p-power reduction," making it possible to strengthen and extend our earlier results.
Submitted 20 August, 2008; originally announced August 2008.
Comments: 21 pages
MSC Class: 11L07; 11T23; 14F30
-
arXiv:math/0610230 [pdf, ps, other]
On the zeta function of a projective complete intersection
Abstract: We compute a basis for the p-adic Dwork cohomology of a smooth complete intersection in projective space over a finite field and use it to give p-adic estimates for the action of Frobenius on this cohomology. In particular, we prove that the Newton polygon of the characteristic polynomial of Frobenius lies on or above the associated Hodge polygon. This result was first proved by B. Mazur using c… ▽ More
Submitted 6 October, 2006; originally announced October 2006.
Comments: 24 pages, no figures
MSC Class: 11M38;14F30
-
arXiv:math/0610228 [pdf, ps, other]
On the Jacobian ring of a complete intersection
Abstract: Let f_1,...,f_r be homogeneous polynomials in K[x_1,...,x_n], K a field. Put F=y_1f_1+...+y_rf_r in K[x,y] and let I be the ideal of K[x,y] generated by the partials of F relative to the x_i and y_j. The Jacobian ring of F is the quotient J:=K[x,y]/I. We describe J by computing the cohomology of a certain complex whose top cohomology group is J.
Submitted 6 October, 2006; originally announced October 2006.
Comments: 28 pages, no figures
MSC Class: 14F40;13D25
-
arXiv:math/9910023 [pdf, ps, other]
A cohomological property of Lagrange multipliers
Abstract: The method of Lagrange multipliers relates the critical points of a given function f to the critical points of an auxiliary function F. We establish a cohomological relationship between f and F and use it, in conjunction with the Eagon-Northcott complex, to compute the sum of the Milnor numbers of the critical points in certain situations.
Submitted 5 October, 1999; originally announced October 1999.
Comments: 15 pages
-
arXiv:math/9910009 [pdf, ps, other]
Dwork cohomology, de Rham cohomology, and hypergeometric functions
Abstract: In the 1960s, Dwork developed a p-adic cohomology theory of de Rham type for varieties over finite fields, based on a trace formula for the action of a Frobenius operator on certain spaces of p-adic analytic functions. One can consider a purely algebraic analogue of Dwork's theory for varieties over a field of characteristic zero and ask what is the connection between this theory and ordinary de… ▽ More
Submitted 3 October, 1999; originally announced October 1999.
Comments: 20 pages
-
arXiv:math/9909018 [pdf, ps, other]
Exponential sums on A^n, III
Abstract: We give two applications of our earlier work "Exponential sums on A^n, II" (math.AG/9909009). We compute the p-adic cohomology of certain exponential sums on A^n involving a polynomial whose homogeneous component of highest degree defines a projective hypersurface with at worst weighted homogeneous isolated singularities. This study was motivated by recent work of Garcia (Exponential sums and si… ▽ More
Submitted 2 September, 1999; originally announced September 1999.
Comments: 15 pages, LaTeX2e
MSC Class: 11T23; 14F30
-
arXiv:math/9909009 [pdf, ps, other]
Exponential sums on A^n, II
Abstract: We prove a vanishing theorem for the p-adic cohomology of exponential sums on affine space. In particular, we obtain new classes of exponential sums on affine space that have a single nonvanishing p-adic cohomology group. The dimension of this cohomology group equals a sum of Milnor numbers.
Submitted 1 September, 1999; originally announced September 1999.
Comments: 24 pp., LaTeX2e
MSC Class: 11L07; 11T23; 14F20; 14F30
-
arXiv:math/9908176 [pdf, ps, other]
Exponential sums on A^n
Abstract: We discuss exponential sums on affine space from the point of view of Dwork's p-adic cohomology theory
Submitted 31 August, 1999; originally announced August 1999.
Comments: 15 pages, to appear in Israel J. Math
MSC Class: 11L07;11T23;14F20;14F30