A-class conjecture for no frozen legs

Let Q=Q[a1,,an]Q=\mathbb{Q}[a_1,\dots,a_n], let π ⁣:Mg,n+1Mg,n\pi\colon {\overline{\mathcal{M}}}_{g,n+1}\to {\overline{\mathcal{M}}}_{g,n} forget the last marked point, and define

Ag,n0=πAg,n1a1++an.A^0_{g,n}=\frac{\pi_*A^1_{g,n}}{a_1+\cdots+a_n}.

Let lvlΩg,n0{}^{lvl}\Omega^0_{g,n} be the degree-labeled stable tree expression with no frozen legs. A-class conjecture. For g0g\geq 0 and n1n\geq 1, one has

deg(lvlΩg,n0Ag,n0)2g2.\deg\bigl({}^{lvl}\Omega^0_{g,n}-A^0_{g,n}\bigr)\leq 2g-2.

The source notes that Ag,n0A^0_{g,n} is polynomial in the aia_i and presents this as the A-class conjecture for no frozen legs. The supplied text gives no resolution of the general claim.

Sources & referencesView supporting material

Primary source

Xavier Blot, Danilo Lewański, Paolo Rossi and Sergei Shadrin, “Stable tree expressions with Omega-classes and Double Ramification cycles”, arXiv:2403.05190 (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.