On the kappa ring of M_g, n

DOI10.1016/J.AIM.2016.04.012MaRDI QIDQ291750zbMATH OpenOpenAlexFDO

Authors Eaman Eftekhary, Iman Setayesh

Publication date 10 June 2016

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1307.2754

zbMATH Keywords

kappa ringmoduli space of curvestautological ring

Mathematics Subject Classification ID

Families, moduli of curves (algebraic) (14H10)

Abstract: Let $kapp{a}_e(overline{M}_{g,n})$ denote the kappa ring of $overline{M}_{g,n}$ in codimension $e$. For $g,egeq0$ fixed, as the number $n$ of the markings grows large we show that the rank of $kapp{a}_e(overline{M}_{g,n})$ is asymptotic to ${\displaystyle }$frac{{n+echoose e}{g+echoose e}}{(e+1)!}simeq frac{{g+echoose e}n^e}{e!(e+1)!}.${\displaystyle }$ When $gleq2$ we show that a kappa class $kappa$ is trivial if and only if the integral of $kappa$ against all boundary strata is trivial. For $g=1$ we further show that the rank of $kapp{a}_{n-d}(overline{M}_{1,n})$ is equal to $|P_1(d,n-d)|$, where $P_i(d,k)$ denotes the set of partitions $p=(p_1,\mathrm{...},p_{e}ll)$ of $d$ such that at most $k$ of the numbers $p_1,\mathrm{...},p_{e}ll$ are greater than $i$.

Review text

Let \(\overline{\mathcal M}_{g,n}\) be the moduli space of stable genus \(g\) curves with \(n\) markings. The \(\kappa\) classes on \(\overline{\mathcal M}_{g,n}\) are defined by powers of the cotangent line bundle classes at the markings. In particular, the kappa ring \(\kappa^*(\overline{\mathcal M}_{g,n})\) is a subring of the tautological ring \(R^*(\overline{\mathcal M}_{g,n})\).NEWLINENEWLINEIn the paper under review, the authors study the kappa ring \(\kappa_e(\overline{\mathcal M}_{g,n})\) in dimension \(e\) (equivalently, in degree \(d = 3g-3+n-e\)). For \(g,e \geq 0\) fixed, as the number \(n\) of the markings grows large, the main result of the paper computes the asymptotic rank of \(\kappa_e(\overline{\mathcal M}_{g,n})\) explicitly. Moreover for \(g\leq 2\), the authors show that an element \(\kappa \in \kappa^*(\overline{\mathcal M}_{g,n})\) is trivial if and only if the integral of \(\kappa\) against all boundary strata is trivial. Finally for \(g=1\), the authors show that the rank of \(\kappa_{n-d}(\overline{\mathcal M}_{1,n})\) is equal to certain partition function. In order to obtain these results, the authors study stable weighted graphs and apply the localization method.

Recommendations

• On the Structure of the Kappa-Ring
• The ring of the moduli of curves of compact type
• Relations on \(\overline{\mathcal{M}}_{g,n}\) via orbifold stable maps
• Relations in the tautological ring of the moduli space of curves
• On the tautological ring of \(\mathcal{M}_ g\)

Cites work

• Combinatorial and algebro-geometric cohomology classes on the moduli spaces of curves
• Constructions of nontautological classes on moduli spaces of curves.
• Hodge integrals, partition matrices, and the _g conjecture
• scientific article; zbMATH DE number 3882570 (Why is no real title available?)
• scientific article; zbMATH DE number 1445245 (Why is no real title available?)
• Intersection Theory of Moduli Space of Stable N-Pointed Curves of Genus Zero
• Localization of virtual classes
• On the kappa ring of \(\overline{\mathcal{M}}_{g, n}\)
• The ring of the moduli of curves of compact type
• The structure of the tautological ring in genus one

Cited in

(5)

• The \(k\)-derivation of a gamma-ring
• On the kappa ring of \(\overline{\mathcal{M}}_{g, n}\)
• The ring of the moduli of curves of compact type
• On the Structure of the Kappa-Ring
• Pullbacks of 𝜅 classes on \overline{ℳ}_{0,𝓃}

This page was built for publication: On the kappa ring of \(\overline{\mathcal{M}}_{g, n}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q291750)