arXiv++ Combinatorics

In enumerative geometry, Virasoro constraints were first conjectured in Gromov-Witten theory with many new recent developments in the sheaf theoretic context. In this paper, we rephrase the sheaf-theoretic Virasoro constraints in terms of primary states coming from a natural conformal vector in Joyce's vertex algebra. This shows that Virasoro constraints are preserved under wall-crossing. As an application, we prove the conjectural Virasoro constraints for moduli spaces of torsion-free sheaves on any curve and on surfaces with only $(p,p)$ cohomology classes by reducing the statements to the rank 1 case.

We study punctual quot-schemes of torsion-free sheaves $E_Y$ on smooth projective curves, surfaces and Calabi--Yau fourfolds via their virtual geometry. Our goal is to give a complete description of the virtual fundamental classes and their tautological integrals. In the fourfold case, we first construct these classes under additional conditions. We use novel methods relying on the wall-crossing of Joyce. Our results include -the dependence of the cobordism classes on the torsion-free sheaf $E_Y$ where $Y$ is a surface, -relations to the previous results in the literature, which addressed the case of a trivial $E_Y$, -a new 12-fold correspondence relating Segre and Verlinde invariants for curves, surfaces and Calabi-Yau fourfolds based on the one observed by Arbesfeld-Johnson-Lim-Oprea-Pandharipande in dimensions one and two, -a closed formula for the Nekrasov genus, which gives a compact analogue of Nekrasov's conjecture. As our techniques are orthogonal to the original literature, we make our work independent by proving a new combinatorial identity in arXiv:2111.09868

Motivated by my work on enumerative invariants for Quot schemes, I related two power series obtained by two different means. One of them was computed using geometric arguments via virtual localization methods and the other one came from working with representation theoretic objects called vertex algebras. In this note, I give proof of the equality of the two power series by relying only on techniques related to Lagrange inversion. This makes my work on Quot schemes independent of the previous results in the literature and proves a new combinatorial identity.