We obtain a new interpretation of the cohomological Hall algebra $\mathcal {H}_Q$ of a symmetric quiver Q in the context of the theory of vertex algebras. Namely, we show that the graded dual of $\mathcal {H}_Q$ is naturally identified with the underlying vector space of the principal free vertex algebra associated to the Euler form of Q. Properties of that vertex algebra are shown to account for the key results about $\mathcal {H}_Q$. In particular, it has a natural structure of a vertex bialgebra, leading to a new interpretation of the product of $\mathcal {H}_Q$. Moreover, it is isomorphic to the universal enveloping vertex algebra of a certain vertex Lie algebra, which leads to a new interpretation of Donaldson–Thomas invariants of Q (and, in particular, re-proves their positivity). Finally, it is possible to use that vertex algebra to give a new interpretation of CoHA modules made of cohomologies of non-commutative Hilbert schemes.

This paper is the first part in a series of three papers devoted to the study of enumerative invariants of abelian surfaces through the tropical approach. In this paper, we consider the enumeration of genus g curves of fixed degree passing through g points. We compute the tropical multiplicity provided by a correspondence theorem due to T. Nishinou and show that it is possible to refine this multiplicity in the style of the Block–Göttsche refined multiplicity to get tropical refined invariants.

We study a quiver description of the nested Hilbert scheme of points on the affine plane and its higher rank generalization – that is, the moduli space of flags of framed torsion-free sheaves on the projective plane. We show that stable representations of the quiver provide an ADHM-like construction for such moduli spaces. We introduce a natural torus action and use equivariant localization to compute some of their (virtual) topological invariants, including the case of compact toric surfaces. We conjecture that the generating function of holomorphic Euler characteristics for rank one is given in terms of polynomials in the equivariant weights, which, for specific numerical types, coincide with (modified) Macdonald polynomials. From the physics viewpoint, the quivers we study describe a class of surface defects in four-dimensional supersymmetric gauge theories in terms of nested instantons.

We define $p$-adic $\mathrm {BPS}$ or $p\mathrm {BPS}$ invariants for moduli spaces $\operatorname {M}_{\beta,\chi }$ of one-dimensional sheaves on del Pezzo and K3 surfaces by means of integration over a non-archimedean local field $F$. Our definition relies on a canonical measure $\mu _{\rm can}$ on the $F$-analytic manifold associated to $\operatorname {M}_{\beta,\chi }$ and the $p\mathrm {BPS}$ invariants are integrals of natural ${\mathbb {G}}_m$ gerbes with respect to $\mu _{\rm can}$. A similar construction can be done for meromorphic and usual Higgs bundles on a curve. Our main theorem is a $\chi$-independence result for these $p\mathrm {BPS}$ invariants. For one-dimensional sheaves on del Pezzo surfaces and meromorphic Higgs bundles, we obtain as a corollary the agreement of $p\mathrm {BPS}$ with usual $\mathrm {BPS}$ invariants through a result of Maulik and Shen [Cohomological $\chi$-independence for moduli of one-dimensional sheaves and moduli of Higgs bundles, Geom. Topol. 27 (2023), 1539–1586].

In this article, we study quasimaps to moduli spaces of sheaves on a $K3$ surface S. We construct a surjective cosection of the obstruction theory of moduli spaces of $\epsilon $-stable quasimaps. We then establish reduced wall-crossing formulas which relate the reduced Gromov–Witten theory of moduli spaces of sheaves on S and the reduced Donaldson–Thomas theory of $S\times C$, where C is a nodal curve. As applications, we prove the Hilbert-schemes part of the Igusa cusp form conjecture; higher-rank/rank-one Donaldson–Thomas correspondence with relative insertions on $S\times C$, if $g(C)\leq 1$; Donaldson–Thomas/Pandharipande–Thomas correspondence with relative insertions on $S\times \mathbb {P}^1$.

Let X be a smooth and projective threefold with a simple normal crossings divisor D. We construct the Donaldson–Thomas theory of the pair $(X|D)$ enumerating ideal sheaves on X relative to D. These moduli spaces are compactified by studying subschemes in expansions of the target geometry, and the moduli space carries a virtual fundamental class leading to numerical invariants with expected properties. We formulate punctual evaluation, rationality and wall-crossing conjectures, in parallel with the standard theory. Our formalism specializes to the Li–Wu theory of relative ideal sheaves when the divisor is smooth and is parallel to recent work on logarithmic Gromov–Witten theory with expansions.

We consider K-theoretic Gromov-Witten theory of root constructions. We calculate some genus $0$ K-theoretic Gromov-Witten invariants of a root gerbe. We also obtain a K-theoretic relative/orbifold correspondence in genus $0$.

We show that the Virasoro conjecture in Gromov–Witten theory holds for the the total space of a toric bundle $E \to B$ if and only if it holds for the base B. The main steps are: (i) We establish a localization formula that expresses Gromov–Witten invariants of E, equivariant with respect to the fiberwise torus action in terms of genus-zero invariants of the toric fiber and all-genus invariants of B, and (ii) we pass to the nonequivariant limit in this formula, using Brown’s mirror theorem for toric bundles.

Quasi-BPS categories appear as summands in semiorthogonal decompositions of DT categories for Hilbert schemes of points in the three-dimensional affine space and in the categorical Hall algebra of the two-dimensional affine space. In this paper, we prove several properties of quasi-BPS categories analogous to BPS sheaves in cohomological DT theory.

We first prove a categorical analogue of Davison’s support lemma, namely that complexes in the quasi-BPS categories for coprime length and weight are supported over the small diagonal in the symmetric product of the three-dimensional affine space. The categorical support lemma is used to determine the torsion-free generator of the torus equivariant K-theory of the quasi-BPS category of coprime length and weight.

We next construct a bialgebra structure on the torsion free equivariant K-theory of quasi-BPS categories for a fixed ratio of length and weight. We define the K-theoretic BPS space as the space of primitive elements with respect to the coproduct. We show that all localized equivariant K-theoretic BPS spaces are one-dimensional, which is a K-theoretic analogue of the computation of (numerical) BPS invariants of the three-dimensional affine space.

In this paper, we provide a new approach to prove some weighted-blowup formulae for genus zero orbifold Gromov–Witten invariants. As a consequence, we show the invariance of symplectically rational connectedness with respect to weighted-blowup along positive centers. Furthermore, we use this method to give a new proof to the genus zero relative-orbifold correspondence of Gromov–Witten invariants.

Let $\sigma $ be a stability condition on the bounded derived category $D^b({\mathop{\mathrm {Coh}}\nolimits } W)$ of a Calabi–Yau threefold W and $\mathcal {M}$ a moduli stack parametrizing $\sigma $ -semistable objects of fixed topological type. We define generalized Donaldson–Thomas invariants which act as virtual counts of objects in $\mathcal {M}$ , fully generalizing the approach introduced by Kiem, Li and the author in the case of semistable sheaves. We construct an associated proper Deligne–Mumford stack $\widetilde {\mathcal {M}}^{\mathbb {C}^{\ast }}$ , called the $\mathbb {C}^{\ast }$ -rigidified intrinsic stabilizer reduction of $\mathcal {M}$ , with an induced semiperfect obstruction theory of virtual dimension zero, and define the generalized Donaldson–Thomas invariant via Kirwan blowups to be the degree of the associated virtual cycle $[\widetilde {\mathcal {M}}]^{\mathrm {vir}} \in A_0(\widetilde {\mathcal {M}})$ . This stays invariant under deformations of the complex structure of W. Applications include Bridgeland stability, polynomial stability, Gieseker and slope stability.

Gross and Siebert developed a program for constructing in arbitrary dimension a mirror family to a log Calabi–Yau pair (X, D), consisting of a smooth projective variety X with a normal-crossing anti-canonical divisor D in X. In this paper, we provide an algorithm to practically compute explicit equations of the mirror family in the case when X is obtained as a blow-up of a toric variety along hypersurfaces in its toric boundary, and D is the strict transform of the toric boundary. The main ingredient is the heart of the canonical wall structure associated to such pairs (X, D), which is constructed purely combinatorially, following our previous work with Mark Gross. In the case when we blow up a single hypersurface we show that our results agree with previous results computed symplectically by Aroux–Abouzaid–Katzarkov. In the situation when the locus of blow-up is formed by more than a single hypersurface, due to infinitely many walls interacting, writing the equations becomes significantly more challenging. We provide the first examples of explicit equations for mirror families in such situations.

We prove a formula expressing the K-theoretic log Gromov-Witten invariants of a product of log smooth varieties $V \times W$ in terms of the invariants of V and W. The proof requires introducing log virtual fundamental classes in K-theory and verifying their various functorial properties. We introduce a log version of K-theory and prove the formula there as well.

We determine all the extremal Gromov-Witten invariants of the Hilbert scheme of $3$ points on a smooth projective complex surface. Our result for the genus- $1$ case verifies a conjecture that we propose for the genus- $1$ extremal Gromov-Witten invariant of the Hilbert scheme of n points with n being arbitrary. The main ideas in the proofs are to use geometric arguments involving the cosection localization theory of Kiem and J. Li [17, 23], algebraic manipulations related to the Heisenberg operators of Grojnowski [13] and Nakajima [34], and the virtual localization formulas of Gromov-Witten theory [12, 20, 30].

We introduce a conjecture on Virasoro constraints for the moduli space of stable sheaves on a smooth projective surface. These generalise the Virasoro constraints on the Hilbert scheme of a surface found by Moreira and Moreira, Oblomkov, Okounkov and Pandharipande. We verify the conjecture in many nontrivial cases by using a combinatorial description of equivariant sheaves found by Klyachko.

We prove the flow tree formula conjectured by Alexandrov and Pioline, which computes Donaldson–Thomas invariants of quivers with potentials in terms of a smaller set of attractor invariants. This result is obtained as a particular case of a more general flow tree formula reconstructing a consistent scattering diagram from its initial walls.

Using new explicit formulas for the stationary Gromov–Witten/Pandharipande–Thomas ( $\mathrm {GW}/{\mathrm {PT}}$ ) descendent correspondence for nonsingular projective toric threefolds, we show that the correspondence intertwines the Virasoro constraints in Gromov–Witten theory for stable maps with the Virasoro constraints for stable pairs proposed in [18]. Since the Virasoro constraints in Gromov–Witten theory are known to hold in the toric case, we establish the stationary Virasoro constraints for the theory of stable pairs on toric threefolds. As a consequence, new Virasoro constraints for tautological integrals over Hilbert schemes of points on surfaces are also obtained.

We propose a variation of the classical Hilbert scheme of points, the double nested Hilbert scheme of points, which parametrizes flags of zero-dimensional subschemes whose nesting is dictated by a Young diagram. Over a smooth quasi-projective curve, we compute the generating series of topological Euler characteristic of these spaces, by exploiting the combinatorics of reversed plane partitions. Moreover, we realize this moduli space as the zero locus of a section of a vector bundle over a smooth ambient space, which therefore admits a virtual fundamental class. We apply this construction to the stable pair theory of a local curve, that is the total space of the direct sum of two line bundles over a curve. We show that the invariants localize to virtual intersection numbers on double nested Hilbert scheme of points on the curve, and that the localized contributions to the invariants are controlled by three universal series for every Young diagram, which can be explicitly determined after the anti-diagonal restriction of the equivariant parameters. Under the anti-diagonal restriction, the invariants are matched with the Gromov–Witten invariants of local curves of Bryan–Pandharipande, as predicted by the Maulik–Nekrasov–Okounkov–Pandharipande (MNOP) correspondence. Finally, we discuss $K$-theoretic refinements à la Nekrasov–Okounkov.

We prove the abelian/nonabelian correspondence with bundles for target spaces that are partial flag bundles, combining and generalising results by Ciocan-Fontanine–Kim–Sabbah, Brown, and Oh. From this, we deduce how genus-zero Gromov–Witten invariants change when a smooth projective variety X is blown up in a complete intersection defined by convex line bundles. In the case where the blow-up is Fano, our result gives closed-form expressions for certain genus-zero invariants of the blow-up in terms of invariants of X. We also give a reformulation of the abelian/nonabelian Correspondence in terms of Givental’s formalism, which may be of independent interest.

We study open-closed orbifold Gromov-Witten invariants of 3-dimensional Calabi-Yau smooth toric Deligne-Mumford stacks (with possibly nontrivial generic stabilisers K and semi-projective coarse moduli spaces) relative to Lagrangian branes of Aganagic-Vafa type. An Aganagic-Vafa brane in this paper is a possibly ineffective $C^\infty $ orbifold that admits a presentation $[(S^1\times \mathbb {R} ^2)/G_\tau ]$ , where $G_\tau $ is a finite abelian group containing K and $G_\tau /K \cong \boldsymbol {\mu }_{\mathfrak {m}}$ is cyclic of some order $\mathfrak {m}\in \mathbb {Z} _{>0}$ .

1. 1. We present foundational materials of enumerative geometry of stable holomorphic maps from bordered orbifold Riemann surfaces to a 3-dimensional Calabi-Yau smooth toric DM stack $\mathcal {X}$ with boundaries mapped into an Aganagic-Vafa brane $\mathcal {L}$ . All genus open-closed Gromov-Witten invariants of $\mathcal {X}$ relative to $\mathcal {L}$ are defined by torus localisation and depend on the choice of a framing $f\in \mathbb {Z} $ of $\mathcal {L}$ .

2. 2. We provide another definition of all genus open-closed Gromov-Witten invariants in (1) based on algebraic relative orbifold Gromov-Witten theory, which agrees with the definition in (1) up to a sign depending on the choice of orientation on moduli of maps in (1). This generalises the definition in [57] for smooth toric Calabi-Yau 3-folds and specifies an orientation on moduli of maps in (1) compatible with the canonical orientation on moduli of relative stable maps determined by the complex structure.

3. 3. When $\mathcal {X}$ is a toric Calabi-Yau 3-orbifold (i.e., when the generic stabiliser K is trivial), so that $G_\tau =\boldsymbol {\mu }_{\mathfrak {m}}$ , we define generating functions $F_{g,h}^{\mathcal {X},(\mathcal {L},f)}$ of open-closed Gromov-Witten invariants of arbitrary genus g and number h of boundary circles; it takes values in $H^*_{ {\mathrm {CR}} }(\mathcal {B} \boldsymbol {\mu }_{\mathfrak {m}}; \mathbb {C} )^{\otimes h}$ , where $H^*_{ {\mathrm {CR}} }(\mathcal {B} \boldsymbol {\mu }_{\mathfrak {m}}; \mathbb {C} )\cong \mathbb {C} ^{\mathfrak {m}}$ is the Chen-Ruan orbifold cohomology of the classifying space $\mathcal {B} \boldsymbol {\mu }_{\mathfrak {m}}$ of $\boldsymbol {\mu }_{\mathfrak {m}}$ .

4. 4. We prove an open mirror theorem that relates the generating function $F_{0,1}^{\mathcal {X},(\mathcal {L},f)}$ of orbifold disk invariants to Abel-Jacobi maps of the mirror curve of $\mathcal {X}$ . This generalises a conjecture by Aganagic-Vafa [6] and Aganagic-Klemm-Vafa [5] (proved in full generality by the first and the second authors in [33]) on the disk potential of a smooth semi-projective toric Calabi-Yau 3-fold.