Related papers: The countable Telescope Conjecture for module cate…

Let $R$ be any ring with identity. We show that the homotopy category of all acyclic chain complexes of pure-projective $R$-modules is a compactly generated triangulated category. We do this by constructing abelian model structures that put…

We introduce the new concept of silting modules. These modules generalise tilting modules over an arbitrary ring, as well as support $\tau$-tilting modules over a finite dimensional algebra recently introduced by Adachi, Iyama and Reiten.…

For a commutative noetherian ring A, we compare the support of a complex of A-modules with the support of its cohomology. This leads to a classification of all full subcategories of A-modules which are thick (that is, closed under taking…

We verify a conjecture of Etingof and Ostrik, stating that an algebra object in a finite tensor category is exact if and only if it is a finite direct product of simple algebras. Towards that end, we introduce an analogue of the Jacobson…

It is shown that the idempotent completion of the additive hull of the tensor product of the residue category of the category of paths of a locally finite quiver modulo an admissible ideal and a dualizing category is dualizing. Furthermore,…

Let R be a commutative Noetherian local ring with residue field k. Let X be a resolving subcategory of finitely generated R-modules. This paper mainly studies when X contains k or consists of totally reflexive modules. It is proved that X…

Let R be a ring (not necessarily commutative). A left R-module is said to be cotorsion if Ext 1 R (G, M) = 0 for any flat R-module G. It is well known that each pure-injective left R-module is cotorsion, but the converse does not hold: for…

Let $T$ be an infinitely generated tilting module of projective dimension at most one over an arbitrary associative ring $A$, and let $B$ be the endomorphism ring of $T$. In this paper, we prove that if $T$ is good then there exists a ring…

We give an introduction to constructive category theory by answering two guiding computational questions. The first question is: how do we compute the set of all natural transformations between two finitely presented functors like…

Given a complete hereditary cotorsion pair $(\mathcal{A},\mathcal{B})$ in a Grothendieck category $\mathcal{G}$, the derived category $\mathcal{D}(\mathcal{B})$ of the exact category $\mathcal{B}$ is defined as the quotient of the category…

A cohomological support, Supp_A(M), is defined for finitely generated modules M over an left noetherian ring R, with respect to a ring A of central cohomology operations on the derived category of R-modules. It is proved that if the…

Let R be a commutative noetherian ring. Denote by mod R the category of finitely generated R-modules. In the present paper, we first provide various sufficient (and necessary) conditions for a full subcategory of mod R to be a Serre…

We describe a general correspondence between injective (resp. projective) recollements of triangulated categories and injective (resp. projective) cotorsion pairs. This provides a model category description of these recollement situations.…

We generalize the notion of ends and coends in category theory to the realm of module categories over finite tensor categories. We call this new concept "module (co)end". This tool allows us to give different proofs to several known results…

For a left artinian ring A, we study the lattice torsA of torsion pairs in the category of finitely generated A-modules by considering an isomorphic lattice formed by certain closed sets in a topological space associated to A, the Ziegler…

Tachikawa's second conjecture predicts that a finitely generated, orthogonal module over a finite-dimensional self-injective algebra is projective. This conjecture is an important part of the Nakayama conjecture. Our principal motivation of…

Let T be a Hom-finite triangulated Krull-Schmidt category over a field k. Inspired by a definition of Koenig and Liu, we say that a family S of pairwise orthogonal objects in T with trivial endomorphism rings is a simple-minded system if…

The homotopy category of complexes of projective left-modules over any reasonably nice ring is proved to be a compactly generated triangulated category, and a duality is given between its subcategory of compact objects and the finite…

We give an account of model theory in the context of compactly generated triangulated and tensor-triangulated categories ${\cal T}$. We describe pp formulas, pp-types and free realisations in such categories and we prove elimination of…

Let $R$ be a commutative noetherian ring. We prove that the class of modules of projective dimension bounded by $k$ is of finite type if and only if $R$ satisfies Serre's condition $(S_k)$. In particular, this answers positively a question…