For a relative effective divisor on a smooth projective family of surfaces , we consider the locus in over which the fibres of are -nodal curves. We prove a conjecture by Kleiman and Piene on the univerality of an enumerating cycle on this locus. We propose a bivariant class motivated by the BPS calculus of Pandharipande and Thomas, and show that it can be expressed universally as a polynomial in classes of the form $q_*(c_1(())^a c_1(T_{/B})^b c_2(T_{/B})^c)\gamma()\cap[B]$ is the class of a natural effective cycle with support equal to the closure of the locus of -nodal curves. Finally, we will apply our method to calculate node polynomials for plane curves intersecting general lines in . We verify our results using 19th century geometry of Schubert.

生成讲解博客的中文版本

生成AI智能校验的中文版本