Related papers: Computing zeta functions of sparse nondegenerate h…
The purpose of this article is to give an explicit description, in terms of hypergeometric functions over finite fields, of zeta function of a certain type of smooth hypersurfaces that generalizes Dwork family. The point here is that we…
The aim of this article is to illustrate, on the example of Dwork hypersurfaces, how the study of the representation of a finite group of automorphisms of a hypersurface in its etale cohomology allows to factor its zeta function.
Given a hypersurface, $X$, prime $p$, the zeta function is a generating function for the number of $\mathbb{F}_{p}$ rational points of $X$. Until now, there is no algorithm for computing hypersurfaces with ADE singularities. Scott Stetson…
We give an interim report on some improvements and generalizations of the Abbott-Kedlaya-Roe method to compute the zeta function of a nondegenerate ample hypersurface in a projectively normal toric variety over $\mathbb{F}_p$ in linear time…
We present various improvements to the deformation method for computing the zeta function of smooth projective hypersurfaces over finite fields using $p$-adic cohomology. This includes new bounds for the $p$-adic and $t$-adic precisions…
We extend the approach Abbott, Kedlaya and Roe to computation of the zeta function of a projective hypersurface with $\tau$ isolated ordinary double points over a finite field $\mathbb{F}_q$ given by the reduction of a homogeneous…
We give improvements of the deformation method for computing the zeta function of a generic projective hypersurface in characteristic~$p$ that either reduce the dependence on~$p$ of the time complexity to $\tilde{O}(p^{1/2})$ or that of the…
In this paper, we give an overview of the various general methods in computing the zeta function of an algebraic variety defined over a finite field, with an emphasis on computing the reduction modulo $p^m$ of the zeta function of a…
We survey some recent applications of p-adic cohomology to machine computation of zeta functions of algebraic varieties over finite fields of small characteristic, and suggest some new avenues for further exploration.
In this paper we present a p-adic algorithm to compute the zeta function of a nondegenerate curve over a finite field using Monsky-Washnitzer cohomology. The paper vastly generalizes previous work since all known cases, e.g. hyperelliptic,…
The paper reviews Dwork's p-adic analytic methods used in the Weil Conjectures. The first two chapters review a version of his proof of the rationality conjecture. The rest of the paper is devoted to Dwork's original cohomological methods,…
In his work studying the Zeta functions of families of hypersurfaces, Dwork came upon a one-parameter family of hypersurfaces (now known as \emph{the} Dwork family). These examples were not only useful to Dwork in his study of his…
Building on our previous work (arXiv:1405.5711), we develop the first practical algorithm for computing topological zeta functions of nilpotent groups, non-associative algebras, and modules. While we previously depended upon non-degeneracy…
We present a method for computing the zeta function of a smooth projective variety over a finite field which proceeds by induction on the dimension. We have implemented our approach for some surfaces using the Magma programming language,…
We consider families of degenerating hyperbolic surfaces. The surfaces are geometrically finite of fixed topological type. Let Z(s) be the Selberg Zeta function of a surface, and let Z_d(s) be the contribution of the pinched geodesics to…
Let $\mathbb{F}_q$ be a finite field with $q$ elements, $\psi$ a non-zero element of $\mathbb{F}_q$, and $n$ an integer $\geq 3$ prime to $q$. The aim of this article is to show that the zeta function of the projective variety over…
We define the zeta function of a noncommutative K3 surface over a finite field, an invariant under Fourier-Mukai equivalence that can be used to define point counts in this noncommutative setting. These point counts can be negative, and can…
The enumeration of points on (or off) the union of some linear or affine subspaces over a finite field is dealt with in combinatorics via the characteristic polynomial and in algebraic geometry via the zeta function. We discuss the basic…
Let $X$ be a smooth projective hypersurface over a finite field $k$ of characteristic $p$. We address the problem of practically computing the zeta function $Z(X,T)$ of $X$ (equivalently, the point counts $\#X(\mathbb{F}_q)$, where $q =…
We present a randomised algorithm to compute the local zeta function of a fixed smooth, projective surface over $\mathbb{Q}$, at any large prime $p$ of good reduction. The runtime of our algorithm is polynomial in $\log p$, resolving a…