Related papers: Locally finitely presented categories with no flat…

Let $(\mathcal C,\otimes,1)$ be an abelian symmetric monoidal category satisfying certain conditions and let $X$ be a scheme over $(\mathcal C,\otimes,1)$ in the sense of To\"en and Vaqui\'{e}. In this paper we show that when $X$ is…

Principal affine open subsets in affine schemes are an important tool in the foundations of algebraic geometry. Given a commutative ring $R$, $\,R$-modules built from the rings of functions on principal affine open subschemes in…

Let A be a symmetric monoidal closed exact category. This category is a natural framework to define the notions of purity and flatness. We show that an object F in A is flat if and only if any conflation ending in F is pure. Furthermore, we…

We present a general construction of model category structures on the category $\mathbb{C}(\mathfrak{Qco}(X))$ of unbounded chain complexes of quasi-coherent sheaves on a semi-separated scheme $X$. The construction is based on making…

Let $X_N$ be the second infinitesimal neighborhood of a closed point in $N$-dimensional affine space. In this note we study $D^b(coh\, X_N)$, the bounded derived category of coherent sheaves on $X_N$. We show that for $N\geq 2$ the lattice…

We continue our study of relatively divisible and relatively flat objects in exact categories in the sense of Quillen with several applications to exact structures on finitely accessible additive categories and module categories. We derive…

A geometric stack is a quasi-compact and semi-separated algebraic stack. We prove that the quasi-coherent sheaves on the small flat topology, Cartesian presheaves on the underlying category, and comodules over a Hopf algebroid associated to…

In this paper, we prove that the bounded derived category $D^b_{coh}(Y)$ of coherent sheaves on a separated scheme $Y$ of finite type over a field $\mathrm{k}$ of characteristic zero is homotopically finitely presented. This confirms a…

We prove that the bounded derived category of coherent sheaves with proper support is equivalent to the category of locally-finite, cohomological functors on the perfect derived category of a quasi-projective scheme over a field. We…

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 develop a theory of unbounded derived categories of quasi-coherent sheaves on algebraic stacks. In particular, we show that these categories are compactly generated by perfect complexes for stacks that either have finite stabilizers or…

When a non-singular complex projective surface $X$ satisfies that $K_X\sim 0$, we shall show that there are only finitely many isomorphic classes as abstract schemes in the set of moduli scheme of $H$-semistable sheaves with fixed Chern…

Let $X$ be either a quasi-compact semi-separated scheme, or a Noetherian scheme of finite Krull dimension. We show that the Grothendieck abelian category $X{-}\mathsf{Qcoh}$ of quasi-coherent sheaves on $X$ satisfies the Roos axiom…

We show that the derived category of a locally compact Hausdorff space $X$ is smooth in the sense of non-commutative geometry if and only if $X$ is discrete and finite.

We prove in this paper that for a quasi-compact and semi-separated (non necessarily noetherian) scheme X, the derived category of quasi-coherent sheaves over X, D(A_qc(X)), is a stable homotopy category in the sense of Hovey, Palmieri and…

Let $X$ be an algebraic stack with quasi-affine diagonal of finite type over a field $k$ of characteristic $0$. We extend the well-known equivalence $\mathsf{D}^+(\mathsf{QCoh}(X)) \simeq \mathsf{D}_{\mathrm{qc}}^+(X)$ to unbounded derived…

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…

The goal of this papers is to extending to the complex analytic framework the relative Kleiman duality for quasi coherent sheaves. Precisely, he show that for any flat,locally projectivea and finitely presented morphism of schemes…

We study Gorenstein categories. We show that such a category has Tate cohomological functors and Avramov-Martsinkovsky exact sequences connecting the Gorenstein relative, the absolute and the Tate cohomological functors. We show that such a…

In this paper, we investigate the order algebraic structure in the category of sheaves on a given locale $X$. Since every localic topos has a generating set formed by its subterminal objects, we define a "point" of a partially ordered sheaf…