Related papers: Derived Quot schemes

Let K be a finite extension of Q_p and X a smooth projective variety over K. We define the notion of totally degenerate reduction of such an X and the associated Chow complexes of the special fibre of a suitable regular proper model of X…

We construct a cofibrantly generated model structure on the category of differential non-negatively graded quasi-coherent commutative $D_X$-algebras, where $D_X$ is the sheaf of differential operators of a smooth afine algebraic variety X.…

We determine the structure modulo p of the de Rham-Witt complex of a smooth scheme X over a discrete valuation ring of mixed characteristic with log-poles along the special fiber Y and show that the sub-sheaf fixed by the Frobenius is…

To any finite group G in SL_2(C), and each `t' in the center of the group algebra of G, we associate a category, Coh_t. It is defined as a suitable quotient of the category of graded modules over (a graded version of) the deformed…

We develop a theory of quasicoherent sheaves on dagger analytic varieties based on Ind-Banach spaces. We show that they satisfy descent in the analytic topology. We define compactly supported pushforwards and produce an adjunction $f_!…

We consider a class of tautological top intersection products on the moduli space of stable pairs consisting of semistable vector bundles together with N sections on a smooth complex projective curve C. We show that when N is large, these…

Let $X$ be a quasiprojective scheme. In this expository note we collect a series of useful structural results on the stack $\mathscr{C}oh^n(X)$ parametrising $0$-dimensional coherent sheaves of length $n$ over $X$. For instance, we discuss…

We identify a class of "quasi-compact semi-separated" (qcss) twisted presheaves of algebras A for which well-behaved Grothendieck abelian categories of quasi-coherent modules Qch(A) are defined. This class is stable under algebraic…

This note is supposed to answer some questions on deformation theory in derived algebraic geometry. We show that derived algebraic geometry allows for a geometrical interpretation of the full cotangent complex and gives a natural setting…

We compute Hochschild cohomology of projective hypersurfaces starting from the Gerstenhaber-Schack complex of the (restricted) structure sheaf. We are particularly interested in the second cohomology group and its relation with…

We construct a 2-category of differential graded schemes. The local affine models in this theory are differential graded algebras, which are graded commutative with unit over a field of characteristic zero, are concentrated in non-positive…

Let $X$ be a smooth variety, $E$ a locally free sheaf on $X$. We express the generating function of the motives $[\textrm{Quot}_X(E,n)]$ in terms of the power structure on the Grothendieck ring of varieties. This extends a recent result of…

We prove the conjectural relation between the Stokes matrix for the quantum cohomology and an exceptional collection generating the derived category of coherent sheaves in the case of smooth cubic surfaces. The proof is based on a toric…

Let $X$ be a smooth, projective, geometrically irreducible curve of genus at least two defined over a number field $K$. We prove that there is an algorithm that determines whether $X$ has a $K$-rational point if Grothendieck's section…

In this paper we give smoothness criterions for a good quotient Y of a smooth variety X by a reductive group G. Our results partially answer a question raised by J. Fogarty in the case where G is a finite group. They also give a converse to…

We prove a sheaf-theoretic derived-category generalization of Greenlees-May duality (a far-reaching generalization of Grothendieck's local duality theorem): for a quasi-compact separated scheme X and a "proregular" subscheme Z---for…

We show that for a quasicompact quasiseparated scheme $X$, the following assertions are equivalent: (1) the category $\operatorname{QCoh}(X)$ of all quasicoherent sheaves on $X$ has a flat generator; (2) for every injective object $\mathcal…

In this paper, we expand the foundations of derived complex analytic geometry introduced in [DAG-IX] by J. Lurie. We start by studying the analytification functor and its properties. In particular, we prove that for a derived complex scheme…

Let X=GM be a finite group factorisation. It is shown that the quantum double D(H) of the associated bicrossproduct Hopf algebra $H=kM\cobicross k(G)$ is itself a bicrossproduct $kX\cobicross k(Y)$ associated to a group YX, where $Y=G\times…

We consider the quot scheme $\mathrm{Quot}^d_{\mathcal F^r/ \mathbb P^1/ k}$ of locally free quotients of $\mathcal F^r:= \bigoplus ^{ r} \mathcal O_{\mathbb P^1 }$ with Hilbert polynomial $p(t)=d$. We prove that it is a smooth variety of…