The identification conjecture for Bg,d0B^0_{g,\overline{d}} and Ag,d0A^0_{g,\overline{d}}

For g0g\ge 0, n1n\ge 1, and d=(d1,,dn)Z0n\overline{d}=(d_1,\ldots,d_n)\in\mathbb Z_{\ge 0}^n with di2g1\sum d_i\ge 2g-1, let Bg,d0B^0_{g,\overline{d}} and Ag,d0A^0_{g,\overline{d}} be the tautological classes defined in Rdi(Mg,n)R^{\sum d_i}({\overline{\mathcal{M}}}_{g,n}) from the balanced-tree construction and the coefficients of the pushed-forward double-ramification expression, respectively.

Identification conjecture. For any such gg, nn, and d\overline{d},

Bg,d0=Ag,d0in Rdi(Mg,n).B^0_{g,\overline{d}}=A^0_{g,\overline{d}}\quad\text{in }R^{\sum d_i}({\overline{\mathcal{M}}}_{g,n}).

This is the conjecture recalled from Buryak, Guéré and Rossi and is presented as the m=0m=0 member of the proposed series; the supplied text gives no resolution status.

Sources & referencesView supporting material

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.