Related papers: Descent for coherent sheaves along formal/open cov…

We give a generalization of Gabriel's Theorem on coherent sheaves to the case of coherent twisted sheaves on a smooth variety X over a field k. We show that the category Coh(X,\alpha) determines the scheme structure of X for \alpha in the…

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 projective variety. We study admissible subcategories of the bounded derived category of coherent sheaves on $X$ whose support is a proper subvariety $Z \subset X$. We show that any one-dimensional irreducible component…

We show that a closed subscheme of a given locally noetherian scheme can be constructed by prescribing it germs at all points of the ambient scheme in a manner consistent with specialization of points, provided the resulting set of all…

Consider a family of integral complex locally planar curves. We show that under some assumptions on the basis, the relative nested Hilbert scheme is smooth. In this case, the decomposition theorem of Beilinson, Bernstein and Deligne asserts…

We investigate the positivity and extension of invertible sheaves on group homogeneous spaces over coherent bases. Bypassing the failure of standard limit arguments and the classical Weil--Cartier correspondence, we develop a valuative…

Given a suitable Noetherian scheme, we classify tensor $t$-structures on the bounded derived category of coherent sheaves and its variants with prescribed support. Furthermore, we show that the existence of such $t$-structures restricting…

We generalize the construction given in math.AG/0309435 of a "constant" t-structure on the bounded derived category of coherent sheaves $D(X\times S)$ starting with a t-structure on $D(X)$. Namely, we remove smoothness and quasiprojectivity…

This note studies the structure of the divisorial fixed part of the dualizing sheaf of a 1-connected curve D on a smooth surface S. It is shown that if the divisorial fixed part F of the dualizing sheaf is non empty then it has arithmetic…

We prove that on separated algebraic surfaces every coherent sheaf is a quotient of a locally free sheaf. This class contains many schemes that are neither normal, reduced, quasiprojective or embeddable into toric varieties. Our methods…

We consider an algebraic variety X together with the choice of a subvariety Z. We show that any coherent sheaf on X can be constructed out of a coherent sheaf on the formal neighborhood of Z, a coherent sheaf on the complement of Z, and an…

A criterion for a functor between derived categories of coherent sheaves to be full and faithful is given. A semiorthogonal decomposition for the derived category of coherent sheaves on the intersection of two even dimensional quadrics is…

We describe an analogue of the notion of a perverse sheaf in the setting of the derived category of coherent sheaves on an algebraic stack. Under strong additional assumptions the construction of coherent "intersection cohomology" complexes…

We prove $v$-descent for solid quasi-coherent sheaves on perfectoid spaces as a key technical input for the development of a $6$-functor formalism with values in solid quasi-coherent sheaves on relative Fargues--Fontaine curves.

This is a large audience version of our previous work (see math.AG/0301146) in which we prove the existence of an (exact) equivalence between the category of coherent analytic sheaves and the category of $\bar{\partial}$-coherent sheaves.…

The subject is partial resolution of singularities. Given an algebraic variety X (not necessarily equidimensional) in characteristic zero (or, more generally, a pair (X,D), where D is a divisor on X), we construct a functorial…

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…

Let X be a scheme of finite type over a Noetherian base scheme S admitting a dualizing complex, and let U be an open subset whose complement has codimension at least 2. We extend the Deligne-Bezrukavnikov theory of perverse coherent sheaves…

We prove a theorem on how a conclusion on homological dimension of a family of coherent sheaves over a scheme can be done from homological dimension of the restriction of this family to the reduction of the base.

We show that the existence of locally finite stability conditions on the bounded derived category $\mathbf{D}^{b}(X)$ of coherent sheaves on an affine Noetherian scheme $X$ is equivalent to $\dim X=0$. We also study the spaces of stability…