The combinatorics of Lehn's conjecture

Abstract

Let 𝑆 be a nonsingular projective surface equipped with a line bundle 𝐻. Lehn's conjecture is a formula for the top Segre class of the tautological bundle associated to 𝐻 on the Hilbert scheme of points of 𝑆. Voisin has recently reduced Lehn's conjecture to the vanishing of certain coefficients of special power series. The first result here is a proof of the vanishings required by Voisin by residue calculations (A. Szenes and M. Vergne have independently found the same proof). Our second result is an elementary solution of the parallel question for the top Segre class on the symmetric power of a nonsingular projective curve 𝐶 associated to a higher rank vector bundle 𝑉 on 𝐶. Finally, we propose a complete conjecture for the top Segre class on the Hilbert scheme of points of 𝑆 associated to a higher rank vector bundle on 𝑆 in the 𝐾-trivial case.