{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/paper/algorithm-for-motivic-hilbert-zeta-function","title":"Algorithm for motivic Hilbert zeta function of some curve singularities","arxiv_id":"2411.03283","date":"2024-11-05","proceeding":null,"authors":["Yizi Chen","Hussein Mourtada","Wenhao Zhu"],"abstract":"We develop algorithms to compute two versions of the motivic Hilbert zeta function for curve singularities: the classical version, applicable to singularities with a monomial valuation semigroup or to singular curves defined by \\(y^{k}=x^{n}\\) with \\(\\gcd(k,n)=1\\), and a finer version introduced by the first and third authors together with Mounir Hajli, which currently applies to the specific family \\(y^{k}=x^{n}\\) where \\(\\gcd(k,n)=1\\). 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 geometry of the Hilbert scheme of points on singular curves remains much less understood. Our algorithms compute the motivic Hilbert zeta functions \\[ Z_{(C,O)}^{\\mathrm{Hilb}}(q) \\in K_{0}(\\mathrm{Var}_{\\mathbb{C}})[[q]], \\qquad Zm_{(C,O)}^{\\mathrm{Hilb}}(a^{2},q^{2}) \\in K_{0}(\\mathrm{Var}_{\\mathbb{C}})[[a^{2}, q^{2}]], \\] for such curve singularities, expressed as formal power series with coefficients in the Grothendieck ring of complex varieties. The main computational difficulty arises from the fact that \\(\\Gamma\\) is infinite. To overcome this, we approximate \\(\\Gamma\\) by truncating it to a suitable finite subset, which allows the algorithms to run effectively. We analyze the time complexity of the method and provide an estimate for the effective finite length of \\(\\Gamma\\) required to obtain reliable results. A Python implementation of the algorithms is available at https://github.com/whaozhu/motivic_hilbert.","url_abs":"https://arxiv.org/abs/2411.03283v2","url_pdf":"https://arxiv.org/pdf/2411.03283v2.pdf","source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","row_kind":"links_only","authors_date_abstract":"arXiv metadata, CC0 1.0 (https://info.arxiv.org/help/license), from the Kaggle arXiv metadata snapshot of 2026-09-12"},"code_links":[{"paper_slug":"algorithm-for-motivic-hilbert-zeta-function","repo_url":"https://github.com/whaozhu/motivic_hilbert","is_official":1,"mentioned_in_paper":1,"mentioned_in_github":0,"framework":"none","reach":null}],"tasks":[],"methods":[],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"syntology_url":null,"atlas_url":null,"mcp":null,"developers":"https://syntology.ai/developers"},"arxiv_metadata":null,"syntology_extracted_results":null}