相关论文: A proof of all ranks S-duality conjecture for K3 s…

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…

We generalize the multiple cover formula of Y. Toda (proved by Maulik-Thomas) for counting invariants for semistable coherent sheaves on local K3 surfaces to semistable twisted sheaves over twisted local K3 surfaces. The formula has an…

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…

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 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…

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 propose a definition of Vafa-Witten invariants counting semistable Higgs pairs on a polarised surface. We use virtual localisation applied to Mochizuki/Joyce-Song pairs. For $K_S\le0$ we expect our definition coincides with an…

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 conjecture a structure formula for the $\mathrm{SU}(r)$ Vafa-Witten partition function for surfaces with holomorphic 2-form. The conjecture is based on $S$-duality and a structure formula for the vertical contribution previously derived…

We conjecture an explicit formula for the $K$-theoretically refined Vafa-Witten invariants of the Enriques surface. By a wall-crossing argument the conjecture is equivalent to a new conjectural formula for the K-theoretically refined…

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…

We consider three different families of Vafa-Witten invariants of $K3$ surfaces. In each case, the partition function that encodes the Vafa-Witten invariants is given by combinations of twisted Dedekind $\eta$-functions. By utilising known…

We prove the transformation formula of Donaldson-Thomas (DT) invariants counting two dimensional torsion sheaves on Calabi-Yau 3-folds under flops. The error term is described by the Dedekind eta function and the Jacobi theta function, and…

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 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…

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…

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…

We study the equivariant sheaf counting theory on K3 surfaces with finite group actions. Let $\sS=[S/G]$ be a global quotient stack, where $S$ is a K3 surface and $G$ is a finite group acting as symplectic homomorphisms on $S$. We show that…

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…