On Verlinde sheaves and strange duality over elliptic Noether-Lefschetz divisors (Q486832)

Le Potier's strange duality conjecture states that the zero locus of a section of the line bundle over the product of two moduli spaces of Gieseker stable sheaves with certain numerical condition on the fixed polarized complex \(K3\) surface induces an isomorphism between the space of global sections of the determinant line bundles over the Gieseker moduli spaces. In their previous work [Duke Math. J. 162, No. 8, 1463--1501 (2013; Zbl 1275.14037)], the authors proved the conjecture for generic surfaces in the moduli space of primitively quasipolarized \(K3\) surfaces and for many pairs of Mukai vectors of the stable shaves. In the paper under review, the authors extend the results by studying the problem for elliptic \(K3\) surfaces with arbitrary singular fibers. In the proof Fourier-Mukai transforms and their behavior on the Noether-Lefschetz locus play important roles. The authors consider Fourier-Mukai transforms which give birational morphisms from the Gieseker moduli spaces appearing in the conjecture and the Hilbert scheme of points, and study their behavior on the Noether-Lefschetz divisor of elliptically fibered \(K3\) surfaces in the moduli space of quasi-polarized \(K3\) surfaces. The present paper also interprets the established strange duality as an isomorphism of the Verlinde sheaves over the Noether-Lefschetz divisor. Some open questions are given on this Verlinde sheaf, which look interesting very much.