ﻻ يوجد ملخص باللغة العربية
We provide a definition of Tanaka-Thomass 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.
We work on a projective threefold $X$ which satisfies the Bogomolov-Gieseker conjecture of Bayer-Macr`i-Toda, such as $mathbb P^3$ or the quintic threefold. We prove certain moduli spaces of 2-dimensional torsion sheaves on $X$ are smooth bundles o
We introduce moduli spaces of stable perverse coherent systems on small crepant resolutions of Calabi-Yau 3-folds and consider their Donaldson-Thomas type counting invariants. The stability depends on the choice of a component (= a chamber) in the co
Borisov-Joyce constructed a real virtual cycle on compact moduli spaces of stable sheaves on Calabi-Yau 4-folds, using derived differential geometry. We construct an algebraic virtual cycle. A key step is a localisation of Edidin-Grahams square roo
We study moduli spaces of twisted quasimaps to a hypertoric variety $X$, arising as the Higgs branch of an abelian supersymmetric gauge theory in three dimensions. These parametrise general quiver representations whose building blocks are maps betwee
The $mathrm{SU}(r)$ Vafa-Witten partition function, which virtually counts Higgs pairs on a projective surface $S$, was mathematically defined by Tanaka-Thomas. On the Langlands dual side, the first-named author recently introduced virtual counts of