| Popis: |
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 https://github.com/whaozhu/motivic_hilbert. |
