Related papers: Localizing Virtual Structure Sheaves for Almost Pe…
In this paper we prove a toric localization formula in the cohomological Donaldson-Thomas theory. Consider a (-1)-shifted symplectic algebraic space with a $\mathbb{G}_m$-action leaving the (-1)-shifted symplectic form invariant (typical…
The generalized Donaldson-Thomas invariants counting one dimensional semistable sheaves on Calabi-Yau 3-folds are conjectured to satisfy a certain multiple cover formula. This conjecture is equivalent to Pandharipande-Thomas's strong…
We show how a quasi-smooth derived enhancement of a Deligne-Mumford stack X naturally endows X with a functorial perfect obstruction theory in the sense of Behrend-Fantechi. This result is then applied to moduli of maps and perfect…
We give a new proof of Ciocan-Fontanine and Kim's wall-crossing formula relating the virtual classes of the moduli spaces of $\epsilon$-stable quasimaps for different $\epsilon$ in any genus, whenever the target is a complete intersection…
For a Calabi-Yau 4-fold $(X,\omega)$, where $X$ is quasi-projective and $\omega$ is a nowhere vanishing section of its canonical bundle $K_X$, the (derived) moduli stack of compactly supported perfect complexes $\mathcal{M}_X$ is…
We develop a new approach to the study of supersymmetric gauge theories on ALE spaces using the theory of framed sheaves on root toric stacks, which illuminates relations with gauge theories on $\mathbb{R}^4$ and with two-dimensional…
For a compact quasi-smooth derived scheme M with (-1)-shifted cotangent bundle N, there are at least two ways to localise the virtual cycle of N to M via torus and cosection localisations, introduced by Jiang-Thomas. We produce virtual…
We develope $\mathbb{C}^{\ast}$-equivariant categorical Donaldson-Thomas theory for local surfaces, i.e. the total spaces of canonical line bundles on smooth projective surfaces. We introduce $\mathbb{C}^{\ast}$-equivariant DT categories…
In this paper we give an inherently toric description of a special class of sheaves (known as equivariant sheaves) over toric varieties, due in part to A. A. Klyachko. We apply this technology to heterotic compactifications, in particular…
By using the infinitesimally marking point to break the loop in the localization calculation as Kim and Lho, and Zinger's explicit formulas for double $J$-functions, we obtain a formula for genus one stable quasimaps invariants when the…
The ADHM construction establishes a one-to-one correspondence between framed torsion free sheaves on the projective plane and stable framed representations of a quiver with relations in the category of complex vector spaces. This paper…
This note extends some recent results on the derived category of a geometric invariant theory quotient to the setting of derived algebraic geometry. Our main result is a structure theorem for the derived category of a derived local quotient…
Let $\mathcal{M}$ be the moduli space of rank 2 stable torsion free sheaves with Chern classes $c_i$ on a smooth 3-fold $X$. When $X$ is toric with torus $T$, we describe the $T$-fixed locus of the moduli space. Connected components of…
Virtual knots are defined diagrammatically as a collection of figures, called virtual knot diagrams, that are considered equivalent up to finite sequences of extended Reidemeister moves. By contrast, knots in $\mathbb{R}^3$ can be defined…
We study the operational bivariant theory associated to the covariant theory of Grothendieck groups of coherent sheaves, and prove that it has many geometric properties analogous to those of operational Chow theory. This operational…
Our goal in this paper is to discuss a conjectural correspondence between enumerative geometry of curves in Calabi-Yau 5-folds $Z$ and 1-dimensional sheaves on 3-folds $X$ that are embedded in $Z$ as fixed points of certain…
We provide a general framework for wall-crossing of equivariant K-theoretic enumerative invariants of appropriate moduli stacks $\mathfrak{M}$, by lifting Joyce's homological universal wall-crossing arXiv:2111.04694 to K-theory and to…
We propose a generalization of Gysin maps for DM-type morphisms of stacks $F\to G$ that admit a perfect relative obstruction theory $E_{F/G}^{\bullet}$, which we call a "virtual pull-back". We prove functoriality properties of virtual…
For models of non-interacting fermions moving within sites arranged on a surface in three dimensional space, there can be obstructions to finding localized Wannier functions. We show that such obstructions are $K$-theoretic obstructions to…
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…