Buryak–Shadrin tautological vanishing conjecture

At least 1 year old · documented by

Let g,m≥0g,m\geq 0, n≥1n\geq 1, and let d=(d1,…,dn)∈(Z≥0)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:=∑T∈SRT⁡g,n,m;o(b,nd)(−1)∣E(T)∣e∗[T,qd]∈H2∣d∣(M‾g,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 g≥0g\geq 0, m≥2m\geq 2, n≥1n\geq 1, and nn-tuple of nonnegative integers d\textbf{d} such that ∣d∣≥2g+m−1|\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.

References

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.