Searcharxiv⌕ Search

arXiv subjects

Steven Sperber

Publications and source records attributed to Steven Sperber.

35 records · Page 2Linked to original sources
arXiv2014

On logarithmic solutions of A-hypergeometric systems

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 when these logarithmic solutions lie in a Nilsson ring, we do examine the $A$-hypergeometric systems corresponding to the Picard-Fuchs equations of certain families of complete intersections and we state a conjecture regarding the integrality of the associated mirror maps.

math.AG↗
arXiv2013

Families of generalized Kloosterman sums

We construct p-adic relative cohomology for a family of toric exponential sums which generalize the classical Kloosterman sums. Under natural hypotheses such as quasi-homogeneity and nondegeneracy, this cohomology is acyclic except in the top dimension. Our construction enables sufficiently sharp estimates for the action of Frobenius on cohomology so that our earlier work may be applied to the L-functions coming from linear algebra operations on these families to deduce a number of basic properties.

math.NT↗
arXiv2013

L-functions associated with families of toric exponential sums

We consider arbitrary algebraic families of lower order deformations of nondegenerate toric exponential sums over a finite field. We construct a relative polytope with the aid of which we define a ring of coefficients consisting of p-adic analytic functions with polyhedral growth prescribed by the relative polytope. Using this we compute relative cohomology for such families and calculate sharp estimates for the relative Frobenius map. In applications one is interested in L-functions associated with linear algebra operations (symmetric powers, tensor powers, exterior powers and combinations thereof) applied to the relative Frobenius. Using methods pioneered by Ax, Katz and Bombieri we prove estimates for the degree and total degree of the associated L-function and p-divisibility of the reciprocal zeros and poles. Similar estimates are then established for affine families and pure Archimedean weight families (in the simplicial case).

math.NT↗
arXiv2012

Hasse invariants and mod $p$ solutions of $A$-hypergeometric systems

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.

math.NT↗
arXiv2012

Computing zeta functions of sparse nondegenerate hypersurfaces

Using the cohomology theory of Dwork, as developed by Adolphson and Sperber, we exhibit a deterministic algorithm to compute the zeta function of a nondegenerate hypersurface defined over a finite field. This algorithm is particularly well-suited to work with polynomials in small characteristic that have few monomials (relative to their dimension). Our method covers toric, affine, and projective hypersurfaces and also can be used to compute the L-function of an exponential sum.

math.AG↗
arXiv2011

$p$-adic estimates for multiplicative character sums

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 conjectures. Applying his results, we prove one of the conjectures when the smooth projective variety is ${\mathbb P}^n$ itself.

math.NT↗
arXiv2010

On unit root formulas for toric exponential sums

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 ratio of A-hypergeometric functions. In contrast with the earlier works, we use noncohomological methods and obtain results that are valid for arbitrary exponential sums without any hypothesis of nondegeneracy.

math.NT↗
arXiv2010

$A$-hypergeometric systems that come from geometry

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."

math.AG↗
arXiv2008

Exponential sums nondegenerate relative to a lattice

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.

math.NT↗
arXiv2006

On the Jacobian ring of a complete intersection

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.

math.AG↗
arXiv2006

On the zeta function of a projective complete intersection

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 crystalline cohomology.

math.AG↗
arXiv1999

A cohomological property of Lagrange multipliers

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.

math.AG↗
arXiv1999

Dwork cohomology, de Rham cohomology, and hypergeometric functions

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 Rham cohomology. N. Katz showed that Dwork cohomology coincides with the primitive part of de Rham cohomology for smooth projective hypersurfaces, but the exact relationship for varieties of higher codimension has been an open question. In this article, we settle the case of smooth affine complete intersections.

math.AG↗
arXiv1999

Exponential sums on A^n, III

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 singular hypersurfaces, Manuscripta Math., v. 97 (1998), pp. 45-58). We also compute the p-adic cohomology of certain exponential sums on A^n whose degree is divisible by the characteristic.

math.AG↗
arXiv1999

Exponential sums on A^n, II

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.

math.AG↗
arXiv1999

Exponential sums on A^n

We discuss exponential sums on affine space from the point of view of Dwork's p-adic cohomology theory

math.AG↗