Generalized A=B relations

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

π ⁣:Mg,n+1Mg,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 g0g\geq0, n1n\geq1, and m2m\geq2, degBg,nm2g2+m\deg B^m_{g,n}\leq2g-2+m; for g0g\geq0, n1n\geq1, and 2g1+n>02g-1+n>0, deg(Bg,n1Ag,n1)2g1\deg(B^1_{g,n}-A^1_{g,n})\leq2g-1; and for g0g\geq0, n1n\geq1, and 2g2+n>02g-2+n>0,

deg(Bg,n01i=1naiπAg,n1)2g2.\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.

Sources & referencesView supporting material

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.