A-class conjecture for no frozen legs

About 2 years old · traced to

Let Q=Q[a1,…,an]Q=\mathbb{Q}[a_1,\dots,a_n], let π ⁣:M‾g,n+1→M‾g,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 g≥0g\geq 0 and n≥1n\geq 1, one has

deg⁡(lvlΩg,n0−Ag,n0)≤2g−2.\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.

References

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.