Related papers: Stabilizer Reduction for Derived Stacks and Applic…
For a reductive group $G$, Harder-Narasimhan theory gives a structure theorem for principal $G$ bundles on a smooth projective curve $C$. A bundle is either semistable, or it admits a canonical parabolic reduction whose associated Levi…
We define canonical refinements of Harder-Narasimhan filtrations and stratifications in moduli theory, generalising and relating work of Haiden-Katzarkov-Kontsevich-Pandit and Kirwan. More precisely, we define a canonical stratification on…
For a quasi-projective scheme M which carries a perfect obstruction theory, we construct the virtual cobordism class of M. If M is projective, we prove that the corresponding Chern numbers of the virtual cobordism class are given by…
The introduction is modified in the revised version. Also, many typos and errors were corrected. Let $W\to C$ be degeneration of smooth varieties so that the special fiber has normal crossing singularity. In this paper, we first constructed…
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 a reductive group $G$ act on a smooth variety $X$ such that a good quotient $X{/\!\!/}G$ exists. We show that the derived category of a noncommutative crepant resolution (NCCR) of $X{/\!\!/} G$, obtained from a $G$-equivariant vector…
We introduce a higher rank analog of the Pandharipande-Thomas theory of stable pairs on a Calabi-Yau threefold $X$. More precisely, we develop a moduli theory for frozen triples given by the data $O^r(-n)\rightarrow F$ where $F$ is a sheaf…
For a proper local embedding between two Deligne--Mumford stacks Y and X, we find, under certain mild conditions, a new (possibly non-separated) Deligne--Mumford stack X', with an etale, surjective and universally closed map to the target…
In this article we construct a categorical resolution of singularities of an excellent reduced curve $X$, introducing a certain sheaf of orders on $X$. This categorical resolution is shown to be a recollement of the derived category of…
Let $V$ be a linear representation of a connected complex reductive group $G$. Given a choice of character $\theta$ of $G$, Geometric Invariant Theory defines a locus $V^{ss}_\theta(G) \subseteq V$ of semistable points. We give necessary,…
The representability theorem for stacks, due to Artin in the underived setting and Lurie in the derived setting, gives conditions under which a stack is representable by an $n$-geometric stack. In recent work of Ben-Bassat, Kelly, and…
We show that the moduli spaces of stable sheaves on projective schemes admit certain non-commutative structures, which we call quasi NC structures, generalizing Kapranov's NC structures. The completion of our quasi NC structure at a closed…
In this paper, we provide new examples of 1-obstructed and atomic sheaves on an infinite series of locally complete families of projective hyper-K\"ahler manifolds. More precisely, (1) we prove that the fixed loci of the natural…
Let $X$ be a surface with an ADE-singularity and let $\widetilde{X}$ be its crepant resolution. In this paper, we show that there exists a Bridgeland stability condition $\sigma_X$ on ${\rm D}^b(X)$ and a weak stability condition…
Let $K$ be a $C_1$-field of any characteristic and $X$ a projective variety over $K$. In this article we prove that for a finite Galois extension $L$ of $K$, a simple sheaf with covering datum on $X \times_K L$ descends to a simple sheaf on…
Let Y be a smooth algebraic stack exhausted by quotient stacks. Given a Kirwan-Ness stratification of the cotangent stack T^*Y, we establish a recollement package for twisted D-modules on Y, gluing the category from subquotients described…
We prove that the moduli space of stable maps of degree 2 to the moduli space of rank 2 stable bundles of fixed determinant O(-x) over a smooth projective curve of genus g>2 has two irre- ducible components which intersect transversely. One…
We associate to a pair $(X,D)$, consisting of a smooth scheme with a divisor $D\in \text{Div}(X)\otimes \mathbb{Q}$ whose support is a divisor with normal crossings, a canonical Deligne--Mumford stack over $X$ on which $D$ becomes integral.…
Let $f \colon X \to Y$ be the blow-up of a smooth projective variety $Y$ along its codimension two smooth closed subvariety. In this paper, we show that the moduli space of stable sheaves on $X$ and $Y$ are connected by a sequence of…
Let $X$ be a smooth connected projective algebraic curve over an algebraically closed field, and let $S$ be a finite nonempty closed subset in $X$. We study deformations of $\overline{\mathbb F}_\ell$-sheaves. The universal deformation…