Related papers: Differential Complexes and Stratified Pro-Modules
The Stratified Foundations are a restriction of naive set theory where the comprehension scheme is restricted to stratifiable propositions. It is known that this theory is consistent and that proofs strongly normalize in this theory.…
We describe a comparison between pretriangulated differential graded categories and certain stable infinity categories. Specifically, we use a model category structure on differential graded categories over k (a field of characteristic 0)…
A notion of stratification is introduced for any compactly generated triangulated category T endowed with an action of a graded commutative noetherian ring R. The utility of this notion is demonstrated by establishing diverse consequences…
We prove that for any finite-dimensional differential graded algebra with separable semisimple part the category of perfect modules is equivalent to a full subcategory of the category of perfect complexes on a smooth projective scheme with…
We study equivalences induced by a silting module $T$ or, equivalently, by a complex of projectives $\mathbb{P}$, concentrated in $-1$ and $0$ which is silting in the derived category $\mathbf{D}(R)$ of a ring $R$.
We show that various derived categories of torsion modules and contramodules over the adic completion of a commutative ring by a weakly proregular ideal are full subcategories of the related derived categories of modules. By the work of…
Recollements of triangulated categories may be seen as exact sequences of such categories. Iterated recollements of triangulated categories are analogues of geometric or topological stratifications and of composition series of algebraic…
For a noetherian scheme, we introduce its unbounded stable derived category. This leads to a recollement which reflects the passage from the bounded derived category of coherent sheaves to the quotient modulo the subcategory of perfect…
The notion of cosilting module was recently introduced as a generalization of the notion of cotilting module. In this paper, we give a characterization of (partial) cosilting modules in terms of two-term cosilting complexes. Moreover, we…
We study the equivalences induced by some special silting objects in the derived category over dg-algebra whose positive cohomologies are all zero.
We give an alternate formulation of pseudo-coherence over an arbitrary derived stack X. The full subcategory of pseudo-coherent objects forms a stable sub-infinity-category of the derived category associated to X. Using relative…
Let $T_R$ be a right $n$-tilting module over an arbitrary associative ring $R$. In this paper we prove that there exists a $n$-tilting module $T'_R$ equivalent to $T_R$ which induces a derived equivalence between the unbounded derived…
An important result in tilting theory states that a class of modules over a ring is a tilting class if and only if it is the Ext-orthogonal class to a set of compact modules of bounded projective dimension. Moreover, cotilting classes are…
This is the fourth (and last) prepublication version of a book on derived categories, that will be published by Cambridge University Press. The purpose of the book is to provide solid foundations for the theory of derived categories, and to…
We investigate the properties of pure derived categories of module categories, and show that pure derived categories share many nice properties of classical derived categories. In particular, we show that bounded pure derived categories can…
We introduce a derived smooth duality functor on the unbounded derived category of smooth mod p representations of a p-adic Lie group. Using this functor we relate various subcategories of admissible complexes.
We prove that, under mild assumptions, the $Q$-shaped derived categories introduced by Holm and J{\o}rgensen are equivalent to derived categories of differential graded bimodules over differential graded categories. This yields new derived…
We develop the notion of crystal in the context of derived algebraic geometry, and to connect crystals to more classical objects such as D-modules.
In this paper we present the notion of ``Deligne localized functors'', an avatar of the derived functors, whose definition is inspired by Deligne in [SGA 4,XVII]. Their definition involves the notions of Ind and Pro categories, they always…
We present a novel notion of stable objects in a triangulated category. This Postnikov-stability is preserved by equivalences. We show that for the derived category of a projective variety this notion includes the case of semistable…