Holomorphic differential locus conjecture

Let (a1,,an)(a_1,\ldots,a_n) be a partition of 2g22g-2 with non-negative parts. For sufficiently large rr, let Wg;a1,,an(r)=rg1Wg,nr(a1,,an)\mathcal{W}_{g; a_1, \dots, a_n}(r)=r^{g-1}W^r_{g,n}(a_1, \dots, a_n) be the resulting polynomial in rr, and let Hg(a1,,an)\overline{\mathcal{H}}_g(a_1, \dots, a_n) denote the closure of the locus of holomorphic differentials with zero orders a1,,ana_1,\ldots,a_n. Holomorphic differential locus conjecture.

(1)gWg;a1,,an(0)=[Hg(a1,,an)]H2(g1)(Mg,n).(-1)^g\mathcal{W}_{g; a_1, \dots, a_n}(0)=[\overline{\mathcal{H}}_g(a_1, \dots, a_n)]\in H^{2(g-1)}(\overline{\mathcal{M}}_{g,n}).

This predicts that the class of the compactified holomorphic-differential locus is obtained from the constant term of the polynomial extension of Witten's rr-spin class. The claim has been proved by A. Sauvaget, so it is no longer open.

Sources & referencesView supporting material

Primary source

R. Pandharipande, A. Pixton and D. Zvonkine, “Tautological relations via r-spin structures”, arXiv:1607.00978 (2020).

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.