Higher rank Segre integrals over the Hilbert scheme of points (Q2135445)

The determination of Segre classes of tautological vector bundles on the Hilbert scheme of points on surfaces is a central problem in enumerative geometry. More precisely, given a nonsingular projective surface \(S\) a vector bundle \(V\) on \(S\) induces naturally a tautological vector bundle \(V^{[n]}\) on the Hilbert scheme of points \(S^{[n]}\). The associated Segre series \begin{align*} S_{\alpha}(z)=\sum_{n=0}^{\infty}z^n\int_{S^{[n]}} s(V^{[n]}) \end{align*} was studied in [Invent. Math. 136, No. 1, 157--207 (1999; Zbl 0919.14001)] by \textit{M. Lehn} and has been the object of intense research in the last decades. More in general similar series can be studied for a \(K\)-theory class \(\alpha\in K(S)\) and the induced class \(\alpha^{[n]}\in K(S^{[n]})\). In particular \textit{G. Ellingsrud} et al. [J. Algebr. Geom. 10, No. 1, 81--100 (2001; Zbl 0976.14002)] show a factorization \begin{align*} S_{\alpha}(z)=A_0(z)^{c_2(\alpha)} \cdot A_1(z)^{c_1(\alpha)^2} \cdot A_2(z)^{\chi(\mathcal O_S)} \cdot A_3(z)^{c_1(\alpha)\cdot K_S}\cdot A_4(z)^{K_S^2} \end{align*} in universal series \(A_0(z),\dots,A_4(z)\in \mathbb Q[[z]]\) depending on \(\alpha\) just through the rank. The main results of the paper under review prove formulas for: \begin{itemize} \item \(A_0, A_1, A_2\) for \(S\) a \(K\)-trivial surface (and hence the factors involving \(A_3\) and \(A_4\) are trivial); \item \(A_3, A_4\) for any surface \(S\) when the rank of \(\alpha\) is 2. \end{itemize} The formulas for the \(K\)-trivial surfaces are obtained by finding an optimal geometric setup where to compute them. Whereas the formulas for \(A_3\) and \(A_4\) are determined by studying the blow-up of a \(K3\) surface at a point. Key ingredients in the proofs are Reider techniques and intersection excess formula.