Hodge double ramification cycle conjecture

About 4 years old · traced to

Let g,k,u≥0g,k,u\geq 0 and let A=(a1,…,an)∈ZnA=(a_1,\ldots,a_n)\in\mathbb{Z}^n satisfy

∣A∣=k(2g−2+n).|A|=k(2g-2+n).

Let M‾g,Ak,r\overline{{\mathcal M}}_{g,A}^{k,r} be the moduli space of twisted rr-spin structures, let L\mathcal L be its universal line bundle, and let ϵ ⁣:M‾g,Ak,r→M‾g,n\epsilon\colon\overline{{\mathcal M}}_{g,A}^{k,r}\to\overline{{\mathcal M}}_{g,n} be the natural morphism. Define

Chg,Ak,r,d=r2d−2g+1ϵ∗cd(−R∗π∗L)∈Rd(M‾g,n).{\rm Ch}_{g,A}^{k,r,d}=r^{2d-2g+1}\epsilon_*c_d(-R^*\pi_*\mathcal L)\in R^d(\overline{{\mathcal M}}_{g,n}).

Let RubLA{\mathbf{Rub}}_{\mathcal L_A} denote the rubber space identified with the relevant moduli space of relative stable maps, let pp be its forgetful map to M‾g,n\overline{{\mathcal M}}_{g,n}, and let η\eta be its cotangent-line divisor class. Hodge DR conjecture. For every g,k,u≥0g,k,u\geq 0 and every A∈ZnA\in\mathbb{Z}^n with ∣A∣=k(2g−2+n)|A|=k(2g-2+n),

p∗([P(RubLA)]vir⋅ηu)=[ru]Chg,Ak,r,g+u∈CHg+u(M‾g,n),p_*\left(\left[\mathbb{P}\big({\mathbf{Rub}}_{\mathcal L_A}\big)\right]^\mathrm{vir}\cdot\eta^u\right)=[r^u]{\rm Ch}_{g,A}^{k,r,g+u}\in\mathrm{CH}^{g+u}(\overline{{\mathcal M}}_{g,n}),

where [ru][r^u] denotes the coefficient of rur^u. This conjecture proposes a relation between virtual pushforwards from rubber relative stable-map spaces and coefficients of Chiodo's classes, connecting logarithmic and multi-scale differential moduli spaces; the relation remains unresolved in the source.

References

Primary source

Dawei Chen, Samuel Grushevsky, David Holmes, Martin Möller and Johannes Schmitt, “A tale of two moduli spaces: logarithmic and multi-scale differentials”, arXiv:2212.04704 (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.