Related papers: Counting points on varieties over finite fields of…
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…
This note concerns the theoretical algorithmic problem of counting rational points on curves over finite fields. It explicates how the algorithmic scheme introduced by Schoof and generalized by the author yields an algorithm whose running…
We compute the number of points over finite fields of some algebraic varieties related to cluster algebras of finite type. More precisely, these varieties are the fibers of the projection map from the cluster variety to the affine space of…
We propose a Las Vegas probabilistic algorithm to compute the zeta function of a genus-3 hyperelliptic curve defined over a finite field $\mathbb F_q$, with explicit real multiplication by an order $\mathbb Z[\eta]$ in a totally real cubic…
The Zeta function of a curve $C$ over a finite field may be expressed in terms of the characteristic polynomial of a unitary matrix $\Theta_C$. Following the work of Rudnick, we compute the expected value of $\mbox{tr}(\Theta_C^n)$ over the…
We propose a randomized polynomial time algorithm for computing nontrivial zeros of quadratic forms in 4 or more variables over $\mathbb{F}_q(t)$, where $\mathbb{F}_q$ is a finite field of odd characteristic. The algorithm is based on a…
Suppose $p$ is a prime, $t$ is a positive integer, and $f\!\in\!\mathbb{Z}[x]$ is a univariate polynomial of degree $d$ with coefficients of absolute value $<\!p^t$. We show that for any fixed $t$, we can compute the number of roots in…
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…
I give a formula for the zeta function of a projective toric hypersurface over a finite field and estimate its Newton polygon. As an application this formula allows us to compute the exact number of rational points on the families of…
We present a probabilistic Las Vegas algorithm for computing the local zeta function of a hyperelliptic curve of genus $g$ defined over $\mathbb{F}_q$. It is based on the approaches by Schoof and Pila combined with a modeling of the…
We give a brief report on our computations of linear determinantal representations of smooth plane cubics over finite fields. After recalling a classical interpretation of linear determinantal representations as rational points on the…
In this paper we present a polynomial time algorithm to compute the local zeta function Z(s,f) attached to a polynomial f(x) in Z[x] (in one variable, with splitting field Q) and a prime p. The algorithm reduces in polynomial time the…
We give upper and lower bounds on the number of points on abelian varieties over finite fields, and lower bounds specific to Jacobian varieties. We also determine exact formulas for the maximum and minimum number of points on Jacobian…
In this paper, we study the arithmetic zeta function $$\mathscr{Z}_{\mathcal{X}}(s) = \prod_p \prod_{\substack{x \in \mathcal{X}_p \\ \text{closed}}} \Big( \frac{1}{1-|\kappa(x)|^{-s}} \Big)^{\mathfrak{m}_{p}(x)}$$ associated to a scheme…
We prove some results connecting the zeta functions of varieties over finite fields with the big Witt ring over $\mathbb Z$. We explore relations with motivic measures and a classical formula of Macdonald on invariants of symmetric products…
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…
We investigate the moments of the derivative, on the unit circle, of characteristic polynomials of random unitary matrices and use this to formulate a conjecture for the moments of the derivative of the Riemann zeta-function on the critical…
In this paper we consider polynomial representability of functions defined over $Z_{p^n}$, where $p$ is a prime and $n$ is a positive integer. Our aim is to provide an algorithmic characterization that (i) answers the decision problem: to…
We present highlights of computations of the Riemann zeta function around large values and high zeros. The main new ingredient in these computations is an implementation of the second author's fast algorithm for numerically evaluating…
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…