Abstract:We develop an algorithm for computing the motivic Hilbert zeta function for curve singularities with a monomial local ring. It is well known that the Hilbert scheme of points on a smooth curve is isomorphic to the symmetric product of the curve. However, the structure of Hilbert scheme of points of singular curves remains less understood. This work focuses on the germ of a unibranch plane curve singularity $(C,O)$ with a monomial complete local ring $\widehat{\mathcal{O}_{C,O}}= \mathbb{C}[[t^{\alpha_{1}}, \dots, t^{\alpha_{e}}]]$ and an associated valuation set $\Gamma$. The algorithm we propose computes the motivic Hilbert zeta function, $Z_{(C,O)}^{Hilb}(q)\in K_{0}(Var_{\mathbb{C}})[[q]]$, for such curve singularities. This function is represented as a series with coefficients in the Grothendieck ring of varieties over $\mathbb{C}$. The main computational challenge arises from the infinity of $\Gamma$. To address this, we approximate $\Gamma$ by truncating it to a finite subset to allow effective algorithm operation. We also analyze the time complexity and estimate the range of the effective finite length of $\Gamma$ necessary for reliable results. The Python implementation of our algorithm is available at <a class="link-external link-https" href="https://github.com/whaozhu/motivic_hilbert" rel="external noopener nofollow">this https URL</a>.

Computing zeta functions of algebraic curves using Harvey's trace formula

Zeta-functions of Curves over Finite Fields

Algorithm for motivic Hilbert zeta function of monomial curves

Computing the trace of an algebraic point on an elliptic curve

Zeta functions of trinomial curves and maximal curves

Traces of Hecke Operators via Hypergeometric Character Sums

Torsion Points and the Latte'S Family

Zeta-functions of Curves of Genus 2 over Finite Fields

Arithmetic Riemann-Roch and Hilbert-Samuel formulae for pointed stable curves

Algebraic Curves Over Finite Fields with many Rational Points and their Applications

An automorphic description of the zeta function of the basic stratum of certain Kottwitz varieties

Curves, dynamical systems, and weighted point counting

On the arithmetic inner product formula and central derivatives of L-functions

On the coefficients of the Zeta-function's L-polynomial for algebraic function fields over finite constant fields

Computation of $\wp$-functions on plane algebraic curves

Computing Euler factors of genus 2 curves at odd primes of almost good reduction

SPECIAL VALUES OF THE ZETA FUNCTION OF AN ARITHMETIC SURFACE

A note on the trace formula

Computing curves on real rational surfaces

The relative trace formula in analytic number theory

Computing nonsurjective primes associated to Galois representations of genus $2$ curves