We exhibit a quantum algorithm for determining the zeta function of a genus g curve over a finite field F_q, which is polynomial in g and log(q). This amounts to giving an algorithm to produce provably random elements of the class group of a curve, plus a recipe for recovering a Weil polynomial from enough of its cyclic resultants. The latter effectivizes a result of Fried in a restricted setting.
We present a new method for computing the zeta function of an algebraic curve over a finite field. The algorithm relies on a trace formula of Harvey to count points on a plane model of the curve. The zeta function of the curve is then obtained by making corrections at singular points. We report on an implementation and provide some examples in MAGMA which demonstrate an improvement over Tuitman's algorithm.
We describe some experiments that show a connection between elliptic curves of high rank and the Riemann zeta function on the one line. We also discuss a couple of statistics involving $L$-functions where the zeta function on the one line plays a prominent role.
We compute in a direct (not algorithmic) way the zeta function of all supersingular curves of genus 2 over a finite field k, with many geometric automorphisms. We display these computations in an appendix where we select a family of representatives of all these curves up to geometric isomorphism and we exhibit equations and the zeta function of all their twists. As an application we obtain a direct computation of the cryptographic exponent of the Jacobians of these curves.
The aim of this paper is twofold: on one hand we study the invariants of traces of quadratic forms over a finite field of characteristic two. On the other hand, we give results about the zeta functions of certain curves studied by van der Geer and ven der Vlugt.
We study the analytic behaviour of adelic versions of Igusa integrals given by integer polynomials defining elliptic curves. By applying results on the meromorphic continuation of symmetric power L-functions and the Sato-Tate conjectures we prove that these global Igusa zeta functions have some meromorphic continuation until a natural boundary beyond which no continuation is possible.
In these notes, we explore possible stable properties for the zeta function of a geometric Zp-tower of curves over a finite field of characteristic p, in the spirit of Iwasawa theory. A number of fundamental questions and conjectures are proposed for those Zp towers coming from algebraic geometry.
In 2007 Chang and Yu determined all the algebraic relations among Goss's zeta values for the rational function field - these are also known as the Carlitz zeta values. Goss raised the problem about algebraic relations among Goss's zeta values for a general base ring A, but very little is known. In this paper we develop a general method and determine all algebraic relations among Goss's zeta values for the base ring A attached to an elliptic curve over a finite field. To our knowledge, these are the first non-trivial solutions of Goss's problem for a base ring whose class number is strictly gre…
For a function field $k$ over a finite field with $\mathbb{F}_q$ as the field of constant, and a finite abelian group $G$ whose exponent is divisible by $q-1$, we study the distribution of zeta zeroes for a random $G$-extension of $k$, ordered by the degree of conductors. We prove that when the degree goes to infinity, the number of zeta zeroes lying in a prescribed arc is uniformly distributed and the variance follows a Gaussian distribution.
It is known from work of du Sautoy and Grunewald in \cite{duSG1} that the zeta functions counting subgroups of finite index in infinite nilpotent groups depend upon the behaviour of some associated system of algebraic varieties on reduction $\modp.$ Further to this, in \cite{duS3, duS4} du Sautoy constructed a group whose local zeta function was determined by the number of points on the elliptic curve $E:Y^2=X^3-X.$ In this work we generalise du Sautoy\rq s construction to define a class of groups whose local zeta functions are dependent upon the number of points on the reduction of a given el…
This paper draws connections between the double shuffle equations and structure of associators; universal mixed elliptic motives as defined by Hain and Matsumoto; and the Rankin-Selberg method for modular forms for $SL_2(\mathbb{Z})$. We write down explicit formulae for zeta elements $σ_{2n-1}$ (generators of the Tannaka Lie algebra of the category of mixed Tate motives over $\mathbb{Z}$) in depths up to four, give applications to the Broadhurst-Kreimer conjecture, and completely solve the double shuffle equations for multiple zeta values in depths two and three.
We study the distribution of the zeroes of the zeta functions of the family of Artin-Schreier covers of the projective line over $\mathbb{F}_q$ when $q$ is fixed and the genus goes to infinity. We consider both the global and the mesoscopic regimes, proving that when the genus goes to infinity, the number of zeroes with angles in a prescribed non-trivial subinterval of $[-π,π)$ has a standard Gaussian distribution (when properly normalized).
I explain how the Lax-Phillips theory can be applied to a purely innovating time series and compute the corresponding scattering function. I then associate such a time series to an algebraic curve (of genus at least 1) over a finite field and show that the Riemann Hypothesis (proven long ago) holds if and only if the scattering is causal (this causality is not independently established, though).
We prove or conjecture several relations between the multizeta values for positive genus function fields of class number one, focusing on the zeta-like values, namely those whose ratio with the zeta value of the same weight is rational (or conjecturally equivalently algebraic). These are the first known relations between multizetas, which are not with prime field coefficients. We seem to have one universal family. We also find that interestingly the mechanism with which the relations work is quite different from the rational function field case, raising interesting questions about the expected…
We determine the zeta functions of trinomial curves in terms of Gauss sums and Jacobi sums, and we obtain an explicit formula of the genus of a trinomial curve over a finite field, then we study the conditions for a trinomial curve to be a maximal curve over a finite field.
We describe iterated integrals as unipotent periods on families of marked elliptic curves in terms of multiple zeta values and elliptic multiple zeta values.
For primes $p>3$ we produce a new derivation of the universal $p$-adic sigma function and $p$-adic Weierstrass zeta functions of Mazur and Tate for ordinary elliptic curves by a method that highlights congruences among coefficients in Laurent expansions of elliptic functions, and works simultaneously for generalized elliptic curves defined by Weierstrass equations.
We determine what isogeny classes of supersingular abelian surfaces over a finite field k of characteristic 2 contain jacobians. We deal with this problem in a direct way by computing explicitly the zeta function of all supersingular curves of genus 2. Our procedure is constructive, so that we are able to exhibit curves with prescribed zeta function and to count the number of curves, up to k-isomorphism, leading to the same zeta function.
Let $K$ be a local field and $f(x)\in K[x]$ be a non-constant polynomial. The local zeta function $Z_f(s, χ)$ was first introduced by Weil, then studied in detail by Igusa. When ${\rm char}(K)=0$, Igusa proved that $Z_f(s, χ)$ is a rational function of $q^{-s}$ by using the resolution of singularities. Later on, Denef gave another proof of this remarkable result. However, if ${\rm char}(K)>0$, the question of rationality of $Z_f(s, χ)$ is still kept open. Actually, there are only a few known results so far. In this paper, we investigate the local zeta functions of two-variable polynomial $g(x,…
In [P] R. Pellikaan introduced a two variable zeta-function for a curve over a finite field and proved that it is a rational function. Here we show that its denominator is absolutely irreducible. This is motivated by work of J. Lagarias and E. Rains on an analogous two variable zeta-funtion for number fields.
The numerical data of an embedded resolution determine the candidate poles of Igusa's p-adic zeta function. We determine in complete generality which real candidate poles are actual poles in the curve case.
We prove a large sieve statement for the average distribution of Frobenius conjugacy classes in arithmetic monodromy groups over finite fields. As a first application we prove a stronger version of a result of Chavdarov on the ``generic'' irreducibility of the numerator of the zeta functions in a family of curves with large monodromy.
We show that the motivic zeta functions of smooth, geometrically connected curves with no rational points are rational functions. This was previously known only for curves whose smooth projective models have a rational point on each connected component. In the course of the proof we study the class of a Severi-Brauer scheme over a general base in the Grothendieck ring of varieties.
Let $q$ be an odd prime power, and $H_{d,q}$ denote the set of square-free monic polynomials $D(x) \in F_q[x]$ of degree $d$. Katz and Sarnak showed that the moments, over $H_{d,q}$, of the zeta functions associated to the curves $y^2=D(x)$, evaluated at the central point, tend, as $q \to \infty$, to the moments of characteristic polynomials, evaluated at the central point, of matrices in $USp(2\lfloor (d-1)/2 \rfloor)$. Using techniques that were originally developed for studying moments of $L$-functions over number fields, Andrade and Keating conjectured an asymptotic formula for the moments…
Let X be a complete, geometrically irreducible, singular, algebraic curve defined over a field of characteristic p big enough. Given a local ring O_{P,X} at a rational singular point P of X, we attached a universal zeta function which is a rational function and admits a functional equation if O_{P,X} is Gorenstein. This universal zeta function specializes to other known zeta functions and Poincare series attached to singular points of algebraic curves. In particular, for the local ring attached to a complex analytic function in two variables, our universal zeta function specializes to the gene…
This paper describes a class of Artin-Schreier curves, generalizing results of Van der Geer and Van der Vlugt to odd characteristic. The automorphism group of these curves contains a large extraspecial group as a subgroup. Precise knowledge of this subgroup makes it possible to compute the zeta functions of the curves in the class over the field of definition of all automorphisms in the subgroup. As a consequence, we obtain new examples of maximal curves.
Let $p$ and $l$ be rational primes such that $l$ is odd and the order of $p$ modulo $l$ is even. For such primes $p$ and $l$, and for $e=l, 2l$, we consider the non-singular projective curves $aY^e = bX^e + cZ^e$ ($abc \neq 0$) defined over finite fields $\mathbf{F}_q$ such that $q=p^α\equiv 1(\bmod {e})$. We see that the Fermat curves correspond precisely to those curves among each class (for $e=l,2l$), that are maximal or minimal over $\mathbf{F}_q$. We observe that each Fermat prime gives rise to explicit maximal and minimal curves over finite fields of characteristic 2. For $e=2l$, we expl…
Let $\mathcal{M}$ be a pure motive over $\mathbb{Q}$ of odd weight $w\geq 3$, even rank $d\geq 2$, and global conductor $N$ whose $L$-function $L(s,\mathcal{M})$ coincides with the $L$-function of a self-dual algebraic tempered cuspidal symplectic representation of $\mathrm{GL}_{d}(\mathbb{A}_{\mathbb{Q}})$. We show that a certain polynomial which generates special values of $L(s,\mathcal{M})$ (including all of the critical values) has all of its zeros equidistributed on the unit circle, provided that $N$ or $w$ are sufficiently large with respect to $d$. These special values have arithmetic s…
The distribution of the zeros of the Euler double zeta-function $ζ_2(s_1,s_2)$, in the case when $s_1=s_2$, is studied numerically. Some similarity to the distribution of the zeros of Hurwitz zeta-functions is observed.
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, superelliptic and C_{ab} curves, can be transformed to fit the nondegenerate case. For curves with a fixed Newton polytope, the property of being nondegenerate is generic, so that the algorithm works for almost all curves with given Newton polytope. For a genus g curve over F_{p^n}, the expected running time is O(n^3g^6 + n^2g^{6.5}), whereas the space compl…
In this paper, we will define analogues of multiple zeta values by replacing the differential forms defining multiple zeta values with some $\mathbb{Q}$-rational differential forms on the Fermat curve $F_2$ of degree 2 and discuss their arithmetic properties. We also investigate a motivic structure of the motivic periods corresponding to our periods. However, in order to study them, the current theory for motivic zeta elements is insufficient, and it leads us to study the base extension of the space of the motivic periods $\mathcal{H}_4$ of level 4 and its Galois invariant part.
In this paper we study asymptotic properties of families of zeta and $L$-functions over finite fields. We do it in the context of three main problems: the basic inequality, the Brauer--Siegel type results and the results on distribution of zeroes. We generalize to this abstract setting the results of Tsfasman, Vlăduţ and Lachaud, who studied similar problems for curves and (in some cases) for varieties over finite fields. In the classical case of zeta functions of curves we extend a result of Ihara on the limit behaviour of the Euler--Kronecker constant. Our results also apply to $L$-functions…
We investigate the intersections of the curve $\mathbb{R}\ni t\mapsto ζ({1\over 2}+it)$ with the real axis. We show unconditionally that the zeta-function takes arbitrarily large positive and negative values on the critical line.
The formal multiple zeta space we consider with a computer is an $\mathbb{F}_2$-vector space generated by $2^{k-2}$ formal symbols for a given weight $k$, where the symbols satisfy binary extended double shuffle relations. Up to weight $k=22$, we compute the dimensions of the formal multiple zeta spaces, and verify the dimension conjecture on original extended double shuffle relations of real multiple zeta values. Our computations adopt Gaussian forward elimination and give information for spaces filtered by depth. We can observe that the dimensions of the depth-graded formal multiple zeta spa…
In this article, we give a proof of the link between the zeta function of two families of hypergeometric curves and the zeta function of a family of quintics that was observed numerically by Candelas, de la Ossa, and Rodriguez Villegas. The method we use is based on formulas of Koblitz and various Gauss sums identities; it does not give any geometric information on the link.
We establish a new decoupling inequality for curves in the spirit of [B-D1], [B-D2] which implies a new mean value theorem for certain exponential sums crucial to the Bombieri-Iwaniec method as developed further in [H]. In particular, this leads to an improved bound $|ζ(\frac 12+it)|\ll t^{53/342+\varepsilon}$ for the zeta function on the critical line
We study the fluctuations in the distribution of zeros of zeta functions of a family of hyperelliptic curves defined over a fixed finite field, in the limit of large genus. According to the Riemann Hypothesis for curves, the zeros all lie on a circle. Their angles are uniformly distributed, so for a curve of genus g a fixed interval I will contain 2g|I| angles as the genus grows. We show that for the variance of number of angles in I is asymptotically a constant multiple of log(2g|I|) and prove a central limit theorem: The normalized fluctuations are Gaussian. These results continue to hold fo…
Fixing $t \in \mathbb{R}$ and a finite field $\mathbb{F}_q$ of odd characteristic, we give an explicit upper bound on the proportion of genus $g$ hyperelliptic curves over $\mathbb{F}_q$ whose zeta function vanishes at $\frac{1}{2} + it$. Our upper bound is independent of $g$ and tends to $0$ as $q$ grows.
We investigate the intersections of the curve $\mathbb{R}\ni t\mapsto ζ({1\over 2}+it)$ with the real axis. We show that if the Riemann hypothesis is true, the mean-value of those real values exists and is equal to 1. Moreover, we show unconditionally that the zeta-function takes arbitrarily large real values on the critical line.
This paper provides specific results on the Igusa local zeta function for the curves $x^n+y^m$. In addition to specific results, we give an introduction to $p$-adic analysis and a discussion of various methods which have been used to compute these zeta functions. The paper was written by the 1992 REU group in $p$-adic analysis supervised by Margaret Robinson. It has been available on the Mount Holyoke REU website.
We present new algorithms for computing zeta functions of algebraic varieties over finite fields. In particular, let X be an arithmetic scheme (scheme of finite type over Z), and for a prime p let zeta_{X_p}(s) be the local factor of its zeta function. We present an algorithm that computes zeta_{X_p}(s) for a single prime p in time p^(1/2+o(1)), and another algorithm that computes zeta_{X_p}(s) for all primes p < N in time N (log N)^(3+o(1)). These generalise previous results of the author from hyperelliptic curves to completely arbitrary varieties.
We study the behavior of zero-divisors of the double zeta-function $ζ_2(s_1,s_2)$. In our former paper \cite{MatSho14} we studied the case $s_1=s_2$, but in the present paper we consider the more general two variable situation. We carry out numerical computations in order to trace the behavior of zero-divisors. We observe that some divisors approach the points with $s_2=0$, while other divisors approach the points which are solutions of $ζ(s_2)=1$.
We consider generalised root identities for zeta functions of curves over finite fields, ζ_{k}, and compare with the corresponding analysis for the Riemann zeta function. We verify numerically that, as for ζ, the ζ_{k} do satisfy the generalised root identities and we investigate these in detail for the special cases of μ=0,-1\:\&\:-2. Unlike for ζ, however, we show that in the setting of zeta functions of curves over finite fields the μ=-2 root identity is consistent with the Riemann hypothesis (RH) proved by Weil. Comparison of this analysis with the corresponding calculations for ζilluminat…
Partial zeta functions of algebraic varieties over finite fields generalize the classical zeta function by allowing each variable to be defined over a possibly different extension field of a fixed finite field. Due to this extra variation their rationality is surprising, and even simple examples are delicate to compute. For instance, we give a detailed description of the partial zeta function of an affine curve where the number of unit poles varies, a property different from classical zeta functions. On the other hand, they do retain some properties similar to the classical case. To this end, …