Related papers: Pure injective and absolutely pure sheaves

A ringed finite space is a ringed space whose underlying topological space is finite. The category of ringed finite spaces contains, fully faithfully, the category of finite topological spaces and the category of affine schemes. Any ringed…

We introduce the notion of categorical absorption of singularities: an operation that removes from the derived category of a singular variety a small admissible subcategory responsible for singularity and leaves a smooth and proper…

Following ideas of Lawvere and Linton we prove that classical varieties are precisely the exact categories with a varietal generator. This means a strong generator which is abstractly finite and regularly projective. An analogous…

For any locally free coherent sheaf on a fixed smooth projective curve, we study the class, in the Grothendieck ring of varieties, of the Quot scheme that parametrizes zero-dimensional quotients of the sheaf. We prove that this class…

We give a characterization of smooth quadrics in terms of the existence of full exceptional collections of certain type, which generalizes a result of C.Vial for projective spaces.

We continue our study on infinitesimal lifting properties of maps between locally noetherian formal schemes started in math.AG/0604241. In this paper, we focus on some properties which arise specifically in the formal context. In this vein,…

We investigate the bounded derived category of coherent sheaves on irreducible singular projective curves of arithmetic genus one. A description of the group of exact auto-equivalences and the set of all t-structures of this category is…

We introduce the notion of a geometric $(\infty,1)$-category, the protopyical example of which is an $(\infty,1)$-topos. We study (hyper)sheaves on geometric $(\infty,1)$-categories, proving that these are characterized by a form of…

It is usually not straightforward to work with the category of perverse sheaves on a variety using only its definition as a heart of a $t$-structure. In this paper, the category of perverse sheaves on a smooth toric variety with its orbit…

We study foliations by curves on the three-dimensional projective space with no isolated singularities, which is equivalent to assuming that the conormal sheaf is locally free. We provide a classification of the topological and algebraic…

Let $\mathcal{P}$ be the class of rings for which every indecomposable right module is pure-projective or pure-injective. When $R$ is a Noetherian local commutative ring of maximal ideal $P$, it is proven that $R\in\mathcal{P}$ if and only…

Call a pure Hodge structure geometric if it is contained in the cohomology of a smooth complex projective variety. The main goal is to show that for any set of Hodge numbers (subject to the obvious constraints), there exists a geometric…

We define admissible and weakly admissible subcategories in exact categories and prove that the former induce semi-orthogonal decompositions on the derived categories. We develop the theory of thin exact categories, an exact-category…

We discuss the structure of the derived category of coherent sheaves on cubic fourfolds of three types: Pfaffian cubics, cubics containing a plane and singular cubics, and discuss its relation to the rationality of these cubics.

We show that the cohomology table of any coherent sheaf on projective space is a convergent--but possibly infinite--sum of positive real multiples of the cohomology tables of what we call supernatural sheaves.

We explore several variations of the notion of purity for the action of Frobenius on schemes defined over finite fields. In particular, we study how these notions are preserved under certain natural operations like quotients for principal…

We describe the constructible derived category of sheaves on the $n$-sphere, stratified in a point and its complement, as a dg module category of a formal dg algebra. We prove formality by exploring two different methods: As a combinatorial…

We prove that the dg category of perfect complexes on a smooth, proper Deligne-Mumford stack over a field of characteristic zero is geometric in the sense of Orlov, and in particular smooth and proper. On the level of triangulated…

Let $R$ be a commutative ring with identity and $D$ an $R$-module. It is shown that if $D$ is pure injective, then $D$ is isomorphic to a direct summand of the direct product of a family of finitely embedded modules. As a result, it follows…

A noetherian form is an abstract self-dual framework suitable for establishing homomorphism theorems (such as the isomorphism theorems and homological diagram lemmas) for group-like structures. In this paper we identify and carry out an…