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

At least 8 years old · documented by

Let SS be a nonsingular projective surface and let V→SV\to S be a vector bundle of rank s=r+1s=r+1, with r≠0r\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)r2−1(−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)−r−1(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)r−1(−r+(−r+1)t)−r,A_2(z)=(-r)^r(1+t)^{r-1}(-r+(-r+1)t)^{-r}, A3(z)=(−r)r2(1+t−rt)−1(1+t)(r−1)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.

References

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.