The Pixton formula conjecture for weighted fundamental classes of twisted canonical divisors

Let g,n,kg,n,k be as above, let A=(a1,,an)A=(a_1,\ldots,a_n) satisfy i=1nai=k(2g2)\sum_{i=1}^n a_i=k(2g-2), and let A~=(a1+k,,an+k)\widetilde A=(a_1+k,\ldots,a_n+k). For k1k\geq 1, assume that AA is not of the form A=kAA=k\cdot A' for a vector AA' of nonnegative integers. Let Hg,AkCH2g3+n(Mg,n)\mathsf{H}^k_{g,A}\in\mathsf{CH}_{2g-3+n}(\overline{\mathcal{M}}_{g,n}) be the weighted fundamental class of the compactified locus of twisted kk-canonical divisors, and let Pgg,k(A~)P_g^{g,k}(\widetilde A) denote Pixton's cycle class. Pixton's formula conjecture. One has

Hg,Ak=2gPgg,k(A~).\mathsf{H}^k_{g,A}=2^{-g}P_g^{g,k}(\widetilde A).

The class Hg,Ak\mathsf{H}^k_{g,A} includes weighted boundary contributions beyond the closure of the locus of smooth curves. The equality was conjectured in the cited work and is the expected formula relating weighted fundamental classes of twisted kk-canonical divisors to Pixton's double ramification cycle; the supplied text gives no evidence that it has been resolved.

Sources & referencesView supporting material

Primary source

Younghan Bae, David Holmes, Rahul Pandharipande, Johannes Schmitt and Rosa Schwarz, “Pixton's formula and Abel-Jacobi theory on the Picard stack”, arXiv:2004.08676 (2021).

Additional references

2 papers in this index state this conjecture (2014–2020). The statement above is taken from the most recent of them; the others are arXiv:1410.8550.

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.