Related papers: Semi-Perfect Obstruction theory and DT Invariants …
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…
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 paper we survey some results on the symmetric semi-perfect obstruction theory on a Deligne-Mumford stack $X$ constructed by Chang-Li, and Behrend's theorem equating the weighted Euler characteristic of $X$ and the virtual count of…
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 conditions for a n-connective quasicoherent obstruction theory on a Deligne-Mumford stack to come from the structure of a connective spectral Deligne-Mumford stack on the underlying topos.
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…
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.
Almost perfect obstruction theories were introduced in an earlier paper by the authors as the appropriate notion in order to define virtual structure sheaves and $K$-theoretic invariants for many moduli stacks of interest, including…
We construct a canonical stabilizer reduction $\widetilde{X}$ for any derived $1$-algebraic stack $X$ over $\mathbb{C}$ as a sequence of derived Kirwan blow-ups, under mild natural conditions that include the existence of a good moduli…
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…
Using Quillen-Lurie deformation theory formalism we develop an obstruction theory for studying the stable $\infty$-category of modules over a given geometric $\infty$-stack. The obstruction theory studies the problem of lifting compact…
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…
Huybrechts and Thomas recently constructed relative obstruction theory of objects of the derived category of coherent sheaves over smooth projective family. In this paper, we use this construction to obtain the absolute…
In this paper, we propose a definition of the moduli stack of stable relative ideal sheaves, and prove that it is a separated and proper Deligne-Mumford stack. It is the first part of the project of relative Donaldson-Thomas theory of ideal…
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 give a universal approach to the deformation-obstruction theory of objects of the derived category of coherent sheaves over a smooth projective family. We recover and generalise the obstruction class of Lowen and Lieblich, and prove that…
We generalize the construction of a moduli space of semistable pairs parametrizing isomorphism classes of morphisms from a fixed coherent sheaf to any sheaf with fixed Hilbert polynomial under a notion of stability to the case of projective…
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…
Let $X$ be a Deligne-Mumford stack locally of finite type over an algebraically closed field $k$ of characteristic zero. We show that the intrinsic normal cone $C_X$ of $X$ is supported in the subcone $\mathbb{V}(\Omega_X[-1])$…
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…