Master relation for the classes Ξg,nm\Xi^m_{g,n}

For g0g\geq0 and m,n1m,n\geq1 with 2g2+n+m>02g-2+n+m>0, let Ξg,nm\Xi^m_{g,n} be the Laurent polynomial in uu with coefficients in the tautological ring of Mg,n+m\overline{\mathcal{M}}_{g,n+m} obtained by summing the classes Ξ(T)\Xi(T) over the relevant pre-stable rooted trees, and write (Ξg,nm)d(\Xi^m_{g,n})_d for its coefficient in tautological degree dd. Master relation. One has

Ξg,nmR(Mg,n+m)QQ[u].\Xi^m_{g,n}\in R^*(\overline{\mathcal{M}}_{g,n+m})\otimes_{\mathbb{Q}}\mathbb{Q}[u].

Equivalently, for every d2g1+md\geq2g-1+m,

(Ξg,nm)d=0.(\Xi^m_{g,n})_d=0.

This is the asserted vanishing relation for the tree-sum class; the source supplies no resolution evidence, so its status remains open.

Sources & referencesView supporting material

Primary source

Xavier Blot, Danilo Lewanski and Sergey Shadrin, “On the strong DR/DZ equivalence conjecture”, arXiv:2405.12334 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.