Counting twisted sheaves and S-duality

TL;DR

This paper defines twisted Vafa-Witten invariants for étale gerbes on surfaces, proves S-duality in specific cases, and explores their relation to the Brauer group and Langlands duality.

Contribution

It introduces a new framework for Vafa-Witten invariants using twisted sheaves and proves S-duality for certain surfaces and ranks.

Findings

Defined virtual fundamental classes for twisted sheaves.

Proved S-duality for rank two on the projective plane.

Established invariants for K3 surfaces in prime ranks.

Abstract

We provide a definition of Tanaka-Thomas's Vafa-Witten invariants for \'etale gerbes over smooth projective surfaces using the moduli spaces of $\mu_r$-gerbe twisted sheaves and Higgs sheaves. Twisted sheaves and their moduli are naturally used to study the period-index theorem for the corresponding $\mu_r$-gerbe in the Brauer group of the surfaces. Deformation and obstruction theory of the twisted sheaves and Higgs sheaves behave like general sheaves and Higgs sheaves. We define virtual fundamental classes on the moduli spaces and define the twisted Vafa-Witten invariants using virtual localization and the Behrend function on the moduli spaces. As applications for the Langlands dual group $\SU(r)/\zz_r$ of $\SU(r)$, we define the $\SU(r)/\zz_r$-Vafa-Witten invariants using the twisted invariants for \'etale gerbes, and prove the S-duality conjecture of Vafa-Witten for the projective plane in rank two and for K3 surfaces in prime ranks. We also conjecture for other surfaces.