Related papers: Fully Faithful Functors and Dimension

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…

We show that the faithful highest weight hearts in an algebraic triangulated category are the serially faithful glued hearts, equivalently the hearts containing a dual pair of full exceptional collections in the sense of Bodzenta--Bondal…

We give an example of a commutative coherent ring of infinite global dimension such that the category of perfect complexes has finite Rouquier dimension.

In the paper where he defined the Cauchy completion of a $\mathscr{V}$-category, Lawvere also defined a condition on a $\mathscr{V}$-functor which made it analogous to a map of metric spaces whose image is topologically dense in its…

We characterise those objects in the derived category of a scheme which are a sheaf supported on a closed subscheme in terms of Koszul complexes. This is applied to generalize to arbitrary schemes the fully faithfullness criteria of an…

The functor that takes a manifold to its configuration category exhibits a type of full faithfulness in some cases.

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…

Orlov's famous representability theorem asserts that any fully faithful exact functor between the bounded derived categories of coherent sheaves on smooth projective varieties is a Fourier-Mukai functor. In this paper we show that this…

Let A be an algebra with a countable basis and let B be, say, a Frechet algebra that contains A as a dense subalgebra. This embedding induces a functor from the derived category of B-modules to the derived category of A-modules. In many…

Let X be a smooth variety over a field of characteristic p>0. We prove that the forgetful functor from the category of overconvergent F-isocrystals on X to the category of convergent F-isocrystals is fully faithful. The argument uses the…

Let R be a commutative noetherian local ring. As an analogue of the notion of the dimension of a triangulated category defined by Rouquier, the notion of the dimension of a subcategory of finitely generated R-modules is introduced in this…

The question of when the derived category of a ring satisfies Brown--Adams representability is revisited via studying the transfer of pure homological dimension along definable functors: it is shown that, for any ring, the pure global…

A theorem by Orlov states that any equivalence between the bounded derived categories of coherent sheaves of two smooth projective varieties, X and Y, is isomorphic to a Fourier-Mukai transform with kernel in the bounded derived category of…

Let X be e quasi-compact and semi-separated scheme. If every at quasi- coherent sheaf has finite cotorsion dimension, we prove that X is n-perfect for some n > 0. If X is coherent and n-perfect(not necessarily of finite krull dimension), we…

In this survey we present the relatively new concept of \emph{approximable triangulated categories.} We will show that the definition is natural, that it leads to powerful new results, and that it throws new light on old, familiar objects.…

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…

For a quasi-compact quasi-separated scheme X and an arbitrary scheme Y we show that the pullback construction implements an equivalence between the discrete category of morphisms Y --> X and the category of cocontinuous tensor functors…

Due to a theorem by Orlov every exact fully faithful functor between the bounded derived categories of coherent sheaves on smooth projective varieties is of Fourier-Mukai type. We extend this result to the case of bounded derived categories…

Some properties of the (normed) dual Hom-functor $D$ and its iterations $D^n$ are exhibited. For instance: $D$ turns every canonical embedding (in the second dual space) into a retraction (of the third dual onto the first one); $D$ rises…

We systematically develop the theory of definable functors between compactly generated triangulated categories. Such functors preserve pure triangles, pure injective objects, and definable subcategories, and as such appear in a wide range…