Search arXiv⌕ Search

arXiv · 2610.09694

Motivic Euler characteristics of moduli spaces of curves

Abstract

A combination of recent results of Canning--Larson--Payne--Willwacher and Payne--Willwacher is that the motivic Euler characteristic of the moduli space $M_{g,n}$ of nonsingular curves with $n$ markings is polynomial in the Tate motive if and only if $g=0$ or $3g+2n<25$. In the cases when $g\geq 1$ and $3g+2n<25$, there are $32$ pairs $(g,n)$ where the motivic Euler characteristic has been computed. We compute the motivic Euler characteristic for $9$ more pairs, leaving only $6$ pairs where the motivic Euler characteristic is polynomial but unknown. In genus $4$, we moreover compute the answer when $n=7$, i.e.~the first non-polynomial case.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jonas Bergström, Samir Canning, Dan Petersen, Johannes Schmitt. 2026-10-07. Motivic Euler characteristics of moduli spaces of curves. https://arxiv.org/abs/2610.09694

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Lawson Homology for projective varieties with C^*-action

We establish a decomposition of integral Lawson homology compatible with cycle class maps for projective varieties filtered by Zariski locally trivial affine space bundles over smooth projective bases. Resolving the graph closures produces liftings without a flatness assumption on the graph projections. We prove that these liftings are independent of the chosen resolutions and yield compatible projectors and filtrations on Lawson homology and singular homology. When the bases have dimension at most two, the comparison maps are injective, are isomorphisms in degrees $k>2p$, and have torsion free diagonal cokernels determined by the surface bases. In this case all integral Hodge homology classes are algebraic. For smooth projective varieties with a multiplicative group action and fixed components of dimension at most two, the ranks of the diagonal cokernels form a symmetric polynomial. We also describe the change of this polynomial under blow-ups and compute it for rational varieties obtained by blowing up quartic surfaces. We recover the known smooth motivic decomposition and distinguish its consequences from these refinements. Applications include cones, singular hypersurfaces, toric varieties, finite quotients, symmetric products, and Hilbert schemes of points on surfaces with integral Tate motives.

math.AG↗

Valuations and henselization

We study the extension of valuations centered in a local domain to its henseliza-tion. We prove that a valuation $ν$ centered in a local domain R uniquely determines a minimal prime H($ν$) of the henselization R h of R and an extension of $ν$ centered in R h /H($ν$), which has the same value group as $ν$. Our method, which assumes neither that R is noetherian nor that it is integrally closed, is to reduce the problem to the extension of the valuation to a quotient of a standard {é}tale local R-algebra and in that situation to draw valuative consequences from the observation that the Newton-Hensel algorithm for constructing roots of polynomials produces sequences that are always pseudo-convergent in the sense of Ostrowski. We then apply this method to the study of the approximation of elements of the henselization of a valued field by elements of the field and give a characterization of the henselian property of a local domain (R, m R) in terms of the limits of certain pseudo-convergent sequences of elements of m R for a valuation centered in it. Another consequence of our work is to establish in full generality a bijective correspondence between the minimal primes of the henselization of a local domain R and the connected components of the Riemann-Zariski space of valuations centered in R.

math.AG↗

Algebra of global sections of $ψ$-bundles on $\bar{M}_{0,n}$

We consider the ${\mathbb Z}^n$-graded algebra of global sections of line bundles generated by the standard line bundles $L_1,\ldots,L_n$ on $\bar{M}_{0,n}$. We find a simple presentation of this algebra by generators and quadratic relations. As an application we prove that the moduli space $\bar{M}_{0,n}[ψ]$ of $ψ$-stable curves of genus $0$ is Cohen-Macaulay and normal, and the natural map $\bar{M}_{0,n}\to \bar{M}_{0,n}[ψ]$ is a rational resolution.

math.AG↗