The stable-map decomposition formula for powers of the cotangent class

Let G,d,mG,d,m be as in the moduli problem, let xx be the marked point, and let MG,1,d0(CP1)\overline{\mathcal M}^0_{G,1,d}(\mathbb{CP}^1) denote the relevant moduli space of stable maps. For integers g,n,p,Kg,n,p,K and positive integers k1,,knk_1,\dots,k_n satisfying the displayed constraints, set

G=Ggn+1,κ=(k1,,kn,1dK).G'=G-g-n+1,\qquad \kappa=(k_1,\dots,k_n,1^{d-K}).

Let DRg(\frameboxKp,k1,,kn;1~p){\rm DR}_g(\framebox{K-p},-k_1,\dots,-k_n;\widetilde 1^p) denote the indicated pushed-forward double ramification class, and let the second factor be the corresponding disconnected relative stable-map virtual class. Stable-map decomposition conjecture.

m!ψxm[MG,1,d0(CP1)]virt=n11n!g=0Gn+1p=0gK=pm+pm!p!(Kp)!ψxmK+pk1,,knki=Ki=1nki×DRg(\frameboxKp,k1,,kn;1~p)[MG,0,d;κdisc(CP1,0)]virt.m!\,\psi_x^m\,[\overline{\mathcal M}^0_{G,1,d}(\mathbb{CP}^1)]^{\rm virt}= \sum_{n\geq1}\frac1{n!}\sum_{g=0}^{G-n+1}\sum_{p=0}^g\sum_{K=p}^{m+p}\frac{m!}{p!\,(K-p)!}\,\psi_x^{m-K+p}\sum_{\substack{k_1,\dots,k_n\sum k_i=K}}\prod_{i=1}^n k_i\times {\rm DR}_g(\framebox{K-p},-k_1,\dots,-k_n;\widetilde 1^p)\boxtimes[\overline{\mathcal M}^{\rm disc}_{G',0,d;\kappa}(\mathbb{CP}^1,0)]^{\rm virt}.

The formula is proved in genus 00 by the result cited in the source, while its validity in higher genus is not established here.

Sources & referencesView supporting material

Primary source

A. Buryak, S. Shadrin, L. Spitz and D. Zvonkine, “Integrals of psi-classes over double ramification cycles”, arXiv:1211.5273 (2012).

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.