Related papers: K-flat complexes and derived categories

We exhibit a canonical equivalence between the hermitian $K$-theory (alias Grothendieck-Witt) spectrum of an exact form category and that of its derived Poincar\'e $\infty$-category, with no assumptions on the invertibility of $2$. Along…

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…

A equivalence relation, preserving the Chern-Weil form, is defined between connections on a complex vector bundle. Bundles equipped with such an equivalence class are called Structured Bundles, and their isomorphism classes form an abelian…

Let (X;OX) be a locally noetherian scheme with a dualizing complex D. We prove that DOX - : K(PinfX)----> K(InjX) is an equivalence of triangulated categories where K(InjX) is the homotopy category of injective quasi-coherent OX- modules…

For a separated scheme $X$ of finite type over a perfect field $k$ of characteristic $p>0$ which admits an immersion into a proper smooth scheme over the truncated Witt ring $W_{n}$, we define the bounded derived category of locally…

For a recollement of derived module categories of rings, we provide sufficient conditions to guarantee the additivity formula of higher algebraic K-groups of the rings involved, and establish a long Mayer-Vietoris exact sequence of higher…

Let $R$ be a ring with identity and $\C(R)$ denote the category of complexes of $R$-modules. In this paper we study the homotopy categories arising from projective (resp. injective) complexes as well as Gorenstein projective (resp.…

Consider a monoidal category which is at the same time abelian with enough projectives and such that projectives are flat on the right. We show that there is a $B_{\infty}$-algebra which is $A_{\infty}$-quasi-isomorphic to the derived…

We introduce and study relatively divisible and relatively flat objects in exact categories in the sense of Quillen. For every relative cotorsion pair $(\mathcal{A},\mathcal{B})$ in an exact category $\mathcal{C}$, $\mathcal{A}$ coincides…

We construct a flat model structure on the category $_{\mathcal{Q},R}{\mathsf{Mod}}$ of additive functors from a small preadditive category $\mathcal{Q}$ satisfying certain conditions to the module category $_{R}{\mathsf{Mod}}$ over an…

We study Verdier quotients of diverse homotopy categories of a full additive subcategory $\mathcal E$ of an abelian category. In particular, we consider the categories $K^{x,y}({\mathcal E})$ for $x\in\{\infty, +,-,b\}$, and…

For an abelian category, a category equivalent to its derived category is constructed by means of specific projective (injective) multicomplexes, the so-called homological resolutions.

Over a commutative noetherian ring $R$ of finite Krull dimension, we show that every complex of flat cotorsion $R$-modules decomposes as a direct sum of a minimal complex and a contractible complex. Moreover, we define the notion of a…

For any acyclic quiver $Q$ without multiple edges, we construct a monoidal category $\mathcal{R}_Q$ whose indecomposable objects are tensor products (over the base field) of finite-dimensional modules over the path algebra of $Q$. We show…

We show that the homotopy category of complexes K(B) over any finitely accessible additive category B is locally well generated. That is, any localizing subcategory L in K(B) which is generated by a set is well generated in the sense of…

Given a hereditary complete cotorsion pair $(\mathsf A,\mathsf B)$ generated by a set of objects in a Grothendieck category $\mathsf K$, we construct a natural equivalence between the Becker coderived category of the left-hand class…

In his paper [Ric89], Rickard presents the stable module category of a self-injective algebra as a Verdier quotient of its derived category by perfect complexes. We present a similar realization of the homotopy category in hopfological…

Let S be a commutative ring with topologically noetherian spectrum and let R be the absolutely flat approximation of S. We prove that subsets of the spectrum of R parametrise the localising subcategories of D(R). Moreover, we prove the…

Auslander's formula shows that any abelian category C is equivalent to the category of coherent functors on C modulo the Serre subcategory of all effaceable functors. We establish a derived version of this equivalence. This amounts to…

We study the homotopy category of unbounded complexes with bounded homologies and its quotient category by the homotopy category of bounded complexes. We show the existence of a recollement of the above quotient category and it has the…