Related papers: Vafa-Witten invariants for projective surfaces II:…
On a polarised surface, solutions of the Vafa-Witten equations correspond to certain polystable Higgs pairs. When stability and semistability coincide, the moduli space admits a symmetric obstruction theory and a $\mathbb C^*$ action with…
Motivated by the S-duality conjecture of Vafa-Witten, Tanaka-Thomas have developed a theory of Vafa-Witten invariants for projective surfaces using the moduli space of Higgs sheaves. Their definition and calculation prove the S-duality…
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…
We show that \emph{vertical} contributions to (possibly semistable) Tanaka-Thomas-Vafa-Witten invariants are well defined for surfaces with $p_g(S)>0$, partially proving conjectures of \cite{TT2} and \cite{T}. Moreover, we show that such…
We conjecture a formula for the refined $\mathrm{SU}(3)$ Vafa-Witten invariants of any smooth surface $S$ satisfying $H_1(S,\mathbb{Z}) = 0$ and $p_g(S)>0$. The unrefined formula corrects a proposal by Labastida-Lozano and involves…
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…
Using the multiple cover formula of Y. Toda for counting invariants of semistable twisted sheaves over twisted local K3 surfaces we calculate the $\SU(r)/\zz_r$-Vafa-Witten invariants for K3 surfaces for any rank $r$ for the Langlands dual…
There are two natural ways to count stable pairs or Joyce-Song pairs on $X=\mathrm{K3}\times\mathbb C$; one via weighted Euler characteristic and the other by virtual localisation of the reduced virtual class. Since $X$ is noncompact these…
We provide a definition of Vafa-Witten invariants for projective surface Deligne-Mumford stacks, generalizing the construction of Tanaka-Thomas on the Vafa-Witten invariants for projective surfaces inspired by the S-duality conjecture. We…
We consider the refined $\mathrm{SU}(r)$ Vafa-Witten partition function of a smooth projective surface with non-zero holomorphic 2-form. This partition function has a vertical contribution, expressible in terms of nested Hilbert schemes.…
We conjecture a Verlinde type formula for the moduli space of Higgs sheaves on a surface with a holomorphic 2-form. The conjecture specializes to a Verlinde formula for the moduli space of sheaves. Our formula interpolates between…
We compute all refined sheaf counting invariants -- Vafa-Witten, reduced DT, stable pairs and Gopakumar-Vafa -- for all classes on local $K3$ surfaces. Along the way we develop rank 0 Vafa-Witten theory on $K3$ surfaces. An important…
For any smooth complex projective surface $S$, we construct semistable refined Vafa-Witten invariants of $S$ which prove the main conjecture of arXiv:1810.00078. This is done by extending part of Joyce's universal wall-crossing formalism to…
In [MT2] the Vafa-Witten theory of complex projective surfaces is lifted to oriented $\mathbb C^*$-equivariant cohomology theories. Here we study the K-theoretic refinement. It gives rational functions in $t^{1/2}$ invariant under…
It is known that the Seiberg-Witten invariants, derived from supersymmetric Yang-Mill theories in four-dimensions, do not distinguish smooth structure of certain non-simply-connected four manifolds. We propose generalizations of…
Vafa-Witten (VW) theory is a topologically twisted version of N=4 supersymmetric Yang-Mills theory. S-duality suggests that the partition function of VW theory with gauge group SU(N) transforms as a modular form under duality…
We prove the KKV conjecture expressing Gromov-Witten invariants of K3 surfaces in terms of modular forms. Our results apply in every genus and for every curve class. The proof uses the Gromov-Witten/Pairs correspondence for K3-fibered…
We prove a formula which relates Euler characteristic of moduli spaces of stable pairs on local K3 surfaces to counting invariants of semistable sheaves on them. Our formula generalizes Kawai-Yoshioka's formula for stable pairs with…
Supersymmetric D-branes supported on the complex two-dimensional base $S$ of the local Calabi-Yau threefold $K_S$ are described by semi-stable coherent sheaves on $S$. Under suitable conditions, the BPS indices counting these objects (known…
We define a perfect obstruction theory for a moduli of symplectic Higgs sheaves $(E,\phi)$ on projective surfaces $S$. Key to this is a minimality assumption on $\textrm{ch}(E)$ that forces all $E$ to be locally free. This might have…