Related papers: Localizing Virtual Structure Sheaves for Almost Pe…
We introduce the notion of almost perfect obstruction theory on a Deligne-Mumford stack and show that stacks with almost perfect obstruction theories have virtual structure sheaves which are deformation invariant. The main components in the…
This is the third in a series of works devoted to constructing virtual structure sheaves and $K$-theoretic invariants in moduli theory. The central objects of study are almost perfect obstruction theories, introduced by Y.-H. Kiem and the…
Recently H.-L. Chang and J. Li generalized the theory of virtual fundamental class to the setting of semi-perfect obstruction theory. A semi-perfect obstruction theory requires only the local existence of a perfect obstruction theory with…
We construct virtual fundamental classes in all intersection theories including Chow theory, K-theory and algebraic cobordism for quasi-projective Deligne-Mumford stacks with perfect obstruction theories and prove the virtual pullback…
We construct a cosection localized virtual structure sheaf when a Deligne-Mumford stack is equipped with a perfect obstruction theory and a cosection of the obstruction sheaf.
We develop a theory of quasimaps to a moduli space of sheaves $M$ on a surface $S$. Under some assumptions, we prove that moduli spaces of quasimaps are proper and carry a perfect obstruction theory. Moreover, they are naturally isomorphic…
We introduce semi-perfect obstruction theory of a Deligne-Mumford stack $X$ consisting of local perfect obstruction theories with weak comparisons on overlaps. We show that semi-perfect obstruction theory shares similar properties with…
In this paper, we construct proper pushforwards and flat pullbacks in Chow groups of coherent sheaf stacks over a Deligne-Mumford(DM) stack. When there is a relative semi-perfect obstruction theory for a DM-type morphism $X \to Y$, $X$ is a…
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 quasimaps. We then establish reduced wall-crossing formulas which…
Recently Oh-Thomas constructed a virtual cycle $[X]^{\mathrm{vir}}\in A_*(X)$ for a quasi-projective moduli space $X$ of stable sheaves or complexes over a Calabi-Yau 4-fold against which DT4 invariants may be defined as integrals of…
We show that a cosection of the obstruction sheaf of a perfect obstruction theory localizes the virtual cycle to the non-surjective locus of the cosection. We give algebraic constructions of localized Gysin maps and localized virtual…
We construct an almost perfect obstruction theory of virtual dimension zero on the Quot scheme parametrizing zero-dimensional quotients of a locally free sheaf on a smooth projective $3$-fold. This gives a virtual class in degree zero and…
Given a quasi-projective scheme M over complex numbers equipped with a perfect obstruction theory and a morphism to a nonsingular quasi-projective variety B, we show it is possible to find an affine bundle M'/ M that admits a perfect…
We prove a localization formula for virtual fundamental classes in the context of torus equivariant perfect obstruction theories. As an application, the higher genus Gromov-Witten invariants of projective space are expressed as graph sums…
We develop a virtual cycle approach towards generalized Donaldson-Thomas theory of Calabi-Yau threefolds. Let $\mathcal{M}$ be the moduli stack of Gieseker semistable sheaves of fixed topological type on a Calabi-Yau threefold $W$. We…
Motivated by S-duality modularity conjectures in string theory, we study the Donaldson-Thomas type invariants of pure 2-dimensional sheaves inside a nonsingular threefold X in three different situations: (1). X is a K3 fibration over a…
The moduli spaces of stable sheaves on projective schemes admit certain gluing data of Kapranov's NC structures, which we call quasi NC structures. The formal completion of the quasi NC structure at a closed point coincides with the…
In equivariant geometry, a localization (a.k.a., concentration) theorem is typically interpreted as a relationship between the equivariant geometry of a space with a group action and the geometry of its fixed locus. We take a different…
Borisov-Joyce constructed a real virtual cycle on compact moduli spaces of stable sheaves on Calabi-Yau 4-folds, using derived differential geometry. We construct an algebraic virtual cycle. A key step is a localisation of Edidin-Graham's…
Kawasaki's formula is a tool to compute holomorphic Euler characteristics of vector bundles on a compact orbifold X. Let X be an orbispace with perfect obstruction theory which admits an embedding in a smooth orbifold. One can then…