The Blowup Formula for the Instanton Part of Vafa-Witten Invariants on Projective Surfaces

TL;DR

This paper establishes a blow-up formula for the generating series of virtual $_y$-genera of moduli spaces of sheaves on projective surfaces, connecting to conjectures and dualities in algebraic geometry.

Contribution

It provides a new blow-up formula applicable to Gieseker stable and framed sheaves, extending previous algorithms to a broader class of surfaces.

Findings

Proved a blow-up formula for virtual $_y$-genera.

Connected the formula to G"ottsche's conjecture and S-duality.

Extended Nakajima-Yoshioka's blow-up algorithm to Gieseker stable sheaves.

Abstract

We prove a blow-up formula for the generating series of virtual $\chi_y$-genera for moduli spaces of sheaves on projective surfaces, which is related to a conjectured formula for topological $\chi_y$-genera of G\"ottsche. Our formula is a refinement of one by Vafa-Witten relating to S-duality. We prove the formula simultaneously in the setting of Gieseker stable sheaves on polarised surfaces and also in the setting of framed sheaves on $\mathbb{P}^2$. The proof is based on the blow-up algorithm of Nakajima-Yoshioka for framed sheaves on $\mathbb{P}^2$, which has recently been extend to the setting of Gieseker $H$-stable sheaves on $H$-polarised surfaces by Kuhn-Tanaka.