English

The $S_n$-equivariant Euler characteristic of $\overline{\mathcal{M}}_{1, n}(\mathbb{P}^r, d)$

Algebraic Geometry 2026-03-16 v2 Mathematical Physics Combinatorics math.MP

Abstract

We compute the SnS_n-equivariant topological Euler characteristic of the Kontsevich moduli space M1,n(Pr,d)\overline{\mathcal{M}}_{1, n}(\mathbb{P}^r, d). Letting M1,nnrt(Pr,d)M1,n(r,d)\overline{\mathcal{M}}_{1, n}^{\mathrm{nrt}}(\mathbb{P}^r, d) \subset \overline{\mathcal{M}}_{1, n}(\P^r, d) denote the subspace of maps from curves without rational tails, we solve for the motive of M1,n(Pr,d)\overline{\mathcal{M}}_{1, n}(\mathbb{P}^r, d) in terms of M1,nnrt(Pr,d)\overline{\mathcal{M}}_{1, n}^{\mathrm{nrt}}(\mathbb{P}^r, d) and plethysm with a genus-zero contribution determined by Getzler and Pandharipande. Fixing a generic C\mathbb{C}^\star-action on Pr\mathbb{P}^r, we derive a closed formula for the Euler characteristic of M1,nnrt(Pr,d)C\overline{\mathcal{M}}_{1, n}^{\mathrm{nrt}}(\mathbb{P}^r, d)^{\mathbb{C}^\star} as an SnS_n-equivariant virtual mixed Hodge structure, which leads to our main formula for the Euler characteristic of M1,n(Pr,d)\overline{\mathcal{M}}_{1,n}(\mathbb{P}^r, d). Our approach connects the geometry of torus actions on Kontsevich moduli spaces with symmetric functions in Coxeter types AA and BB, as well as the enumeration of graph colourings with prescribed symmetry.

Keywords

Cite

@article{arxiv.2412.12317,
  title  = {The $S_n$-equivariant Euler characteristic of $\overline{\mathcal{M}}_{1, n}(\mathbb{P}^r, d)$},
  author = {Siddarth Kannan and Terry Dekun Song},
  journal= {arXiv preprint arXiv:2412.12317},
  year   = {2026}
}

Comments

v2: updated proof of lemma on torus localisation and exposition. Version accepted at Crelle