Related papers: Localizing virtual structure sheaves by cosections

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…

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 define a new geometric object--the stack of local systems with restricted variation. We formulate a version of the categorical geometric Langlands conjecture that makes sense for any constructible sheaf theory (such as l-adic sheaves).…

In this paper, we study the geometric invariant theory on algebraic spaces, and construct te moduli spaces of $\mathcal{H}$-semistable sheaves on projective Deligne-Mumford stacks over algebraic spaces $S$. We prove that this moduli space…

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…

We introduce a notion of Gieseker stability for coherent sheaves on tame Deligne-Mumford stacks with projective moduli scheme and some chosen generating sheaf on the stack in the sense of Olsson and Starr \cite{MR2007396}. We prove that…

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…

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])$…

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…

This work studies $t$-structures for the derived category of quasi-coherent sheaves on a quasi-compact quasi-separated algebraic stack. Specifically, using Thomason filtrations, we classify those $t$-structures which are generated by…

We present a uniform theory of constructible sheaves on arbitrary schemes with coefficients in topological or even condensed rings. This is accomplished by defining lisse sheaves to be the dualizable objects in the derived infinity-category…

This note is but a research announcement, summarizing and explaining results proven and detailed in forthcoming papers. When one studies families of objects over curves, and the objects are parametrized by a Deligne-Mumford stack M, then…

We show that a perfect obstruction theory for a $\mathbb{G}_\text{m}$-gerbe determines a semi-perfect obstruction theory for its base, which is perfect if the gerbe is quasi-compact and affine-pointed. These results streamline the…

We decompose each moduli space of semistable sheaves on the complex projective plane with support of dimension one and degree four into locally closed subvarieties, each subvariety being the good or geometric quotient of a set of morphisms…

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 detailed proof that locally Noetherian moduli stacks of sections carry canonical obstruction theories. As part of the argument we construct a dualizing sheaf and trace map, in the lisse-etale topology, for families of tame twisted…

Given an open-closed decomposition of the stratifying poset, we construct a new semi-orthogonal decomposition of the $\infty$-category of constructible sheaves on a stratified space admitting an exit-path $\infty$-category. From this we…

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…

Let $\mathcal{X}$ be an algebraic stack admitting a moduli space $\mathcal{X}_{\mathrm{mod}}$. We study the factorizations of the moduli space morphism $\mathcal{X}\rightarrow\mathcal{X}_{\mathrm{mod}}$ to construct intermediate stacks that…

We prove the existence of the dualizing functor for a separated morphism of algebraic stacks with affine diagonal; then we explicitly develop duality for compact Deligne-Mumford stacks focusing in particular on the morphism from a stack to…