The vanishing conjecture for the classes Bg,d‾mB^m_{g,\overline{d}}

About 4 years old · traced to

For m≥0m\ge 0, g≥0g\ge 0, and n≥1n\ge 1, let d‾=(d1,…,dn)∈Z≥0n\overline{d}=(d_1,\ldots,d_n)\in\mathbb Z_{\ge 0}^n, and let Bg,d‾mB^m_{g,\overline{d}} be the tautological class defined from admissible balanced trees. It lies in R∑di(M‾g,n+m)R^{\sum d_i}({\overline{\mathcal{M}}}_{g,n+m}).

Vanishing conjecture for Bg,d‾mB^m_{g,\overline{d}}. For any m≥2m\ge 2, g≥0g\ge 0, n≥1n\ge 1, and d‾\overline{d} such that ∑di≥2g+m−1\sum d_i\ge 2g+m-1, one has

Bg,d‾m=0in R∑di(M‾g,n+m).B^m_{g,\overline{d}}=0\quad\text{in }R^{\sum d_i}({\overline{\mathcal{M}}}_{g,n+m}).

This is the paper's first conjecture and forms part of a proposed system of tautological relations on moduli spaces of stable curves. The supplied text gives no resolution status.

References

Primary source

Alexandr Buryak and Sergey Shadrin, “Tautological relations and integrable systems”, arXiv:2210.07552 (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.