# Computing zeta functions of sparse nondegenerate hypersurfaces

@article{Sperber2011ComputingZF, title={Computing zeta functions of sparse nondegenerate hypersurfaces}, author={Steven Sperber and John Voight}, journal={ArXiv}, year={2011}, volume={abs/1112.4881} }

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. Let p be prime…

## 2 Citations

### Zeta function of projective hypersurfaces with ADE singularities

- Mathematics
- 2021

Given a hypersurface, X , prime p, the zeta function is a generating function for the number of Fp rational points of X . Until now, there is no algorithm for computing hypersurfaces with ADE…

### Zeta functions of alternate mirror Calabi–Yau families

- MathematicsIsrael Journal of Mathematics
- 2018

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…

## References

SHOWING 1-10 OF 68 REFERENCES

### Deformation Theory and The Computation of Zeta Functions

- Mathematics
- 2004

We present a new approach to the problem of computing the zeta function of a hypersurface over a finite field. For a hypersurface defined by a polynomial of degree d in n variables over the field of…

### Computing zeta functions of Artin-Schreier curves over finite fields II

- Mathematics, Computer ScienceJ. Complex.
- 2004

### Exponential sums and Newton polyhedra: Cohomology and estimates

- Mathematics
- 1989

The basic objects of this study are exponential sums on a variety defined over a finite field Fq (q = pa, p = char Fq). As we have remarked in some earlier articles [1], [2], we find it more natural…

### Computing Zeta Functions of Nondegenerate Curves

- MathematicsIACR Cryptol. ePrint Arch.
- 2006

A p-adic algorithm to compute the zeta function of a nondegenerate curve over a finite field using Monsky-Washnitzer cohomology, which works for almost all curves with given Newton polytope.

### On nondegeneracy of curves

- Mathematics
- 2008

We study the conditions under which an algebraic curve can be modelled by a Laurent polynomial that is nondegenerate with respect to its Newton polytope. We prove that every curve of genus g ≤ 4 over…

### A Recursive Method for Computing Zeta Functions of Varieties

- Mathematics
- 2006

We present a method for calculating the zeta function of a smooth projective variety over a finite field which proceeds by induction on the dimension. Specifically, we outline an algorithm which…

### Weights of exponential sums, intersection cohomology, and Newton polyhedra

- Mathematics
- 1991

(1.1) Throughout this paper k always denotes a finite field Fq with q elements, and E a prime number not dividing q. The algebraic closure of a field K is denoted by / ( . Let ~b: k--+ C • be a…

### The Arithmetic of Calabi-Yau Manifolds and Mirror Symmetry

- Mathematics
- 2004

We study mirror symmetric pairs of Calabi--Yau manifolds over finite fields. In particular we compute the number of rational points of the manifolds as a function of the complex structure parameters.…

### Elliptic Curves Over Finite Fields and the Computation of Square Roots mod p

- Mathematics, Computer Science
- 1985

A deterministic algorithm to compute the number of F^-points of an elliptic curve that is defined over a finite field Fv and which is given by a Weierstrass equation is presented.

### Computing zeta functions of Artin-Schreier curves over finite fields

- Mathematics, Computer Science
- 2002

The authors present a practical polynomial-time algorithm for computing the zeta function of certain Artin–Schreier curves over finite fields based upon an efficient reduction method for the Dwork cohomology of one-variable exponential sums.