Related papers: Derived hyperquot schemes
For any locally free coherent sheaf on a fixed smooth projective curve, we study the class, in the Grothendieck ring of varieties, of the Quot scheme that parametrizes zero-dimensional quotients of the sheaf. We prove that this class…
Let $V$ be a vector bundle of rank $r$ on a smooth projective complex curve $C$. The Hyperquot scheme $\text{F}^{n}\text{Quot}\,(V)$ is the moduli space of length $n$ flags of rank $r$ sub-sheaves of $V$. This article has two main results:…
It is proved that derived Quot-schemes, as defined by Ciocan-Fontanine and Kapranov, are represented by dg manifolds of finite type. This is the second part if a work aimed to analyze shifted symplectic structures on moduli spaces of…
Fix a scheme $X$ over a field of characteristic zero that is equipped with an action of a reductive algebraic group $G$. We give necessary and sufficient conditions for a $G$-equivariant coherent sheaf on $X$ or a bounded-above complex of…
In these notes, an introduction to derived categories and derived functors is given. The main focus is the bounded derived category of coherent sheaves on a smooth projective variety.
In this note we present a work in progress whose main purpose is to establish a categorified version of sheaf theory. We present a notion of derived categorical sheaves, which is a categorified version of the notion of complexes of sheaves…
We investigate equivalences between the categories of perfects complexes of the quotients of two smooth projective schemes by the action of a finite group. As a result we give a necessary and sufficient condition for an equivalence between…
We express nested Hilbert schemes of points and curves on a smooth projective surface as "virtual resolutions" of degeneracy loci of maps of vector bundles on smooth ambient spaces. We show how to modify the resulting obstruction theories…
We construct the derived scheme of stable sheaves on a smooth projective variety via derived moduli of finite graded modules over a graded ring. We do this by dividing the derived scheme of actions of Ciocan-Fontanine and Kapranov by a…
This paper studies how the theory of derived algebras (in the sense of Bhatt-Mathew and Raksit) interacts with formal derived geometry, specifically the formal derived stacks which show up in the theory of prismatization. As an application…
In this paper we prove first a general theorem on semiorthogonal decompositions in derived categories of coherent sheaves for flat families over a smooth base. Based on the results of math.AG/0510670, we then show that the derived…
We study jet schemes and arc spaces in the context of derived algebraic geometry. Explicitly, we consider the jet and arc functors in the category of schemes and study their animations to the category of derived schemes -- what we call the…
We introduce new enhancements for the bounded derived category $D^b(Coh(X))$ of coherent sheaves on a suitable scheme $X$ and for its subcategory $Perf(X)$ of perfect complexes. They are used for translating Fourier-Mukai functors to…
The punctual Quot scheme parametrizes all length d quotients of a (locally) trivial rank r sheaf which are supported at a fixed point. The author shows that this scheme is irreducible and (rd-1)-dimensional. The same result was proved…
Let $k$ be an algebraically closed field. Let $C$ be an irreducible smooth projective curve over $k$. Let $E$ be a locally free sheaf on $C$ of rank $\geq 2$. Fix an integer $d \geq 2$. Let $\mathcal{Q}$ denote the Quot scheme…
We introduce frameworks for constructing global derived moduli stacks associated to a broad range of problems, bridging the gap between the concrete and abstract conceptions of derived moduli. Our three approaches are via differential…
These are notes on derived algebraic geometry in the context of animated rings. More precisely, we recall the proof of To\"en-Vaqui\'e that the derived stack of perfect complexes is locally geometric in the language of $\infty$-categories.…
We introduce a derived representation scheme associated with a quiver, which may be thought of as a derived version of a Nakajima variety. We exhibit an explicit model for the derived representation scheme as a Koszul complex and by doing…
We investigate the bounded derived category of coherent sheaves on irreducible singular projective curves of arithmetic genus one. A description of the group of exact auto-equivalences and the set of all t-structures of this category is…
This paper describes how to define and work with differential equations in the abstract setting of tangent categories. The key notion is that of a curve object which is, for differential geometry, the structural analogue of a natural number…