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

About 14 years old · traced to

Let G,d,mG,d,m be as in the moduli problem, let xx be the marked point, and let M‾G,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′=G−g−n+1,κ=(k1,…,kn,1d−K).G'=G-g-n+1,\qquad \kappa=(k_1,\dots,k_n,1^{d-K}).

Let DRg(\frameboxK−p,−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 [M‾G,1,d0(CP1)]virt=∑n≥11n!∑g=0G−n+1∑p=0g∑K=pm+pm!p! (K−p)! ψxm−K+p∑k1,…,kn∑ki=K∏i=1nki×DRg(\frameboxK−p,−k1,…,−kn;1~p)⊠[M‾G′,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.

References

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.