Buryak–Shadrin tautological vanishing conjecture

Let g,m0g,m\geq 0, n1n\geq 1, and let d=(d1,,dn)(Z0)n\textbf{d}=(d_1,\ldots,d_n)\in(\Bbb Z_{\geq 0})^n, with d:=d1++dn|\textbf{d}|:=d_1+\cdots+d_n. For a nondegenerate balanced genus-gg stable rooted tree TT with nn regular legs, mm frozen legs, and possibly extra legs, let

Bg,dm:=TSRTg,n,m;o(b,nd)(1)E(T)e[T,qd]H2d(Mg,n+m),B^m_{g,\textbf{d}}:=\sum_{T\in{\operatorname{SRT}}^{(b,nd)}_{g,n,m;o}}(-1)^{|E(T)|}e_*[T,q_{\textbf{d}}]\in H^{2|\textbf{d}|}(\overline{\mathcal{M}}_{g,n+m}),

where ee forgets the marked points corresponding to extra legs and E(T)|E(T)| is the number of edges of TT. Buryak–Shadrin conjecture. For any g0g\geq 0, m2m\geq 2, n1n\geq 1, and nn-tuple of nonnegative integers d\textbf{d} such that d2g+m1|\textbf{d}|\geq 2g+m-1, one has

Bg,dm=0.B^m_{g,\textbf{d}}=0.

This is a tautological relation on the moduli space of stable curves. The source notes that Buryak and Shadrin proved the relation when either n=1n=1 or g=0g=0, while the general statement is presented as their conjecture.

Sources & referencesView supporting material

Primary source

Xiaobo Liu and Chongyu Wang, “On A Tautological Relation Conjectured By Buryak-Shadrin”, arXiv:2402.14504 (2024).

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.