Marian–Oprea–Pandharipande conjecture relating higher-rank Segre series and Verlinde series

Let SS be a nonsingular projective surface and let VSV\to S be a vector bundle of rank s=r+1s=r+1, with r0r\ne0. Let V[n]V^{[n]} be the induced bundle on S[n]S^{[n]}, and let A1(z),,A5(z)A_1(z),\ldots,A_5(z) be the universal power series appearing in the higher-rank Segre generating formula. Let ar(w)a_r(w) and br(w)b_r(w) be the two unknown Verlinde series. After the change of variables

z=1rt(1+t)r,w=t(r+(r+1)t)r21(r(1+t))r2,z=-\frac{1}{r}t(1+t)^{-r},\qquad w=\frac{t(-r+(-r+1)t)^{r^2-1}}{(-r(1+t))^{r^2}},

Marian–Oprea–Pandharipande conjecture. The universal series are

A1(z)=(r)r1(1+t)r(r+(r+1)t)r+1,A_1(z)=(-r)^{-r-1}(1+t)^{-r}(-r+(-r+1)t)^{r+1}, A2(z)=(r)r(1+t)r1(r+(r+1)t)r,A_2(z)=(-r)^r(1+t)^{r-1}(-r+(-r+1)t)^{-r}, A3(z)=(r)r2(1+trt)1(1+t)(r1)2(r+t(r+1))r2,A_3(z)=(-r)^{r^2}(1+t-rt)^{-1}(1+t)^{(r-1)^2}(-r+t(-r+1))^{-r^2}, A4(z)=ar(w),A5(z)=br(w).A_4(z)=a_r(w),\qquad A_5(z)=b_r(w).

This refines the higher-rank extension of Lehn's formula and connects its last two universal series to the unknown Verlinde series. The supplied text does not establish the conjecture itself; the rank-one case is singular and is excluded by the stated formulas.

Sources & referencesView supporting material

Primary source

Alina Marian, Dragos Oprea and Rahul Pandharipande, “The combinatorics of Lehn's conjecture”, arXiv:1708.08129 (2018).

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.