Segre classes and Hilbert schemes of points

TL;DR

This paper derives a closed formula for top Segre classes of tautological bundles on Hilbert schemes of points on K3 surfaces, confirming a longstanding conjecture and establishing new relations among tautological classes.

Contribution

It provides the first explicit formula for Segre classes in this setting and introduces new relations among tautological classes via localization techniques.

Findings

Proves a closed formula for Segre classes on K3 surface Hilbert schemes.

Derives and solves recursions for Segre classes explicitly.

Establishes new relations among tautological classes on moduli spaces of surfaces.

Abstract

We prove a closed formula for the integrals of the top Segre classes of tautological bundles over the Hilbert schemes of points of a K3 surface X. We derive relations among the Segre classes via equivariant localization of the virtual fundamental classes of Quot schemes on X. The resulting recursions are then solved explicitly. The formula proves the K-trivial case of a conjecture of M. Lehn from 1999. The relations determining the Segre classes fit into a much wider theory. By localizing the virtual classes of certain relative Quot schemes on surfaces, we obtain new systems of relations among tautological classes on moduli spaces of surfaces and their relative Hilbert schemes of points. For the moduli of K3 sufaces, we produce relations intertwining the kappa classes and the Noether-Lefschetz loci. Conjectures are proposed.