Generalized A=B relations

About 2 years old · traced to

Let Ag,n1A^1_{g,n} and Bg,n1B^1_{g,n} be the polynomial-valued tautological classes associated with the rubber and corresponding constructions in the paper, and let Bg,nmB^m_{g,n} and Bg,n0B^0_{g,n} denote the analogous classes. Let

π ⁣:M‾g,n+1→M‾g,n\pi\colon \overline{\mathcal{M}}_{g,n+1}\to\overline{\mathcal{M}}_{g,n}

be the morphism forgetting the last marked point. Generalized A=BA=B relations. The following statements hold: for g≥0g\geq0, n≥1n\geq1, and m≥2m\geq2, deg⁡Bg,nm≤2g−2+m\deg B^m_{g,n}\leq2g-2+m; for g≥0g\geq0, n≥1n\geq1, and 2g−1+n>02g-1+n>0, deg⁡(Bg,n1−Ag,n1)≤2g−1\deg(B^1_{g,n}-A^1_{g,n})\leq2g-1; and for g≥0g\geq0, n≥1n\geq1, and 2g−2+n>02g-2+n>0,

deg⁡(Bg,n0−1∑i=1naiπ∗Ag,n1)≤2g−2.\deg\left(B^0_{g,n}-\frac{1}{\sum_{i=1}^n a_i}\pi_*A^1_{g,n}\right)\leq2g-2.

These degree bounds formulate the generalized A=BA=B relations for the tautological classes; their validity is presented as conjectural in the source.

References

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.