Related papers: Derived Quot schemes

We study when the derived intersection of two smooth subvarieties of a smooth variety is formal. As a consequence we obtain a derived base change theorem for non-transversal intersections. We also obtain applications to the study of the…

In this brief note, we investigate graded functions of linear stacks in derived geometry. In particular, we show that under mild assumptions, we can recover a quasi-coherent sheaf on a derived stack from the data of the…

Let $K$ be a local field, $X$ the Drinfel'd symmetric space $X$ of dimension $d$ over $K$ and ${\mathfrak X}$ the natural formal ${\mathcal O}_K$-scheme underlying $X$; thus $G={\rm GL}\sb {d+1}(K)$ acts on $X$ and ${\mathfrak X}$. Given a…

We investigate conditions for a Fourier-Mukai transform between derived categories of coherent sheaves on smooth projective stacks endowed with actions by finite groups to lift to the associated equivariant derived categories. As an…

Let X be a smooth complex algebraic variety with the Zariski topology, and let Y be the underlying complex manifold with the complex topology. Grothendieck's algebraic de Rham theorem asserts that the singular cohomology of Y with complex…

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…

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 the fiber-full scheme which can be seen as the parameter space that generalizes the Hilbert and Quot schemes by controlling the entire cohomological data. The fiber-full scheme $\text{Fib}_{\mathcal{F}/X/S}^\mathbf{h}$ is a…

We propose a construction of some canonical bases for quantum loop algebras of Kac-Moody algebras. We consider a smooth projective curve X, a group of automorphism G of X such that X/G=P^1, and we consider some Quot schemes of G-equivariant…

On a smooth projective threefold, we construct an essentially surjective functor $\mathcal{F}$ from a category of two-term complexes to a category of quotients of coherent sheaves, and describe the fibers of this functor. Under a coprime…

We study the spectrum of closed subcategories in a quasi-scheme, i.e. a Grothendieck category $X$. The closed subcategories are the direct analogs of closed subschemes in the commutative case, in the sense that when $X$ is the category of…

We define quantum exterior product wedge_h and quantum exterior differential d_h on Poisson manifolds, of which symplectic manifolds are an important class of examples. Quantum de Rham cohomology is defined as the cohomology of d_h. We also…

The first part of this paper is a survey on algebro-geometric aspects of sheaves of logarithmic vector fields of hyperplane arrangements. In the second part we prove that the relative de Rham cohomology (of degree two) of ADE-type adjoint…

The purpose of this paper is to present a mathematical theory of the half-twisted $(0,2)$ gauged linear sigma model and its correlation functions that agrees with and extends results from physics. The theory is associated to a smooth…

We study autoequivalences of the derived category of coherent sheaves of a variety arising from a variation of GIT quotient. We show that these automorphisms are spherical twists, and describe how they result from mutations of…

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…

We develop a general framework for Abel maps associated with a family $X/S$ of integral curves using derived algebraic geometry. For compactified Picard schemes, our approach yields relative quasi-smooth derived enhancements of the Quot…

Let \pi : X -> S be a finite type morphism of noetherian schemes. A smooth formal embedding of X (over S) is a bijective closed immersion X -> \frak{X}, where \frak{X} is a noetherian formal scheme, formally smooth over S. An example of…

It is shown that quantized irreducible flag manifolds possess a canonical $q$-analogue of the de Rham complex. Generalizing the well known situation for the standard Podle\'s' quantum sphere this analogue is obtained as the universal…

This paper is devoted to study of differential calculi over quadratic algebras, which arise in the theory of quantum bounded symmetric domains. We prove that in the quantum case dimensions of the homogeneous components of the graded vector…