We investigate relative CS-Baer objects in abelian categories in relationship with other relevant classes of objects such as relative Baer objects, extending objects, objects having certain summand intersection properties and relative CS-Rickart objects. Dual results are automatically obtained by applying the duality principle in abelian categories. We also study direct sums of relative CS-Baer objects, and we determine the complete structure of dual self-CS-Baer modules over Dedekind domains. Further applications are given to module categories.
We show how the theory of (dual) strongly relative Rickart objects may be employed in order to study strongly relative regular objects and (dual) strongly relative Baer objects in abelian categories. For each of them, we prove general properties, we analyze the behaviour with respect to (co)products, and we study the transfer via functors. We also give applications to Grothendieck categories, (graded) module categories and comodule categories.
It is well known that the set of isomorphism classes of extensions of groups with abelian kernel is characterized by the second cohomology group. In this paper we generalise this characterization of extensions to a natural class of extensions of monoids, the cosetal extensions. An extension k: N -> G, e: G -> H, where k is the inclusion and e is the quotient , is cosetal if for all g,g' in G in which e(g) = e(g'), there exists a (not necessarily unique) n in N such that g = k(n)g'. These extensions generalise the notion of special Schreier extensions, which are themselves examples of Schreier …
We introduce and study (dual) strongly relative Rickart objects in abelian categories. We prove general properties, we analyze the behaviour with respect to (co)products, and we study the transfer via functors. We also give applications to Grothendieck categories, (graded) module categories and comodule categories. Our theory of (dual) strongly relative Rickart objects may be employed in order to study strongly relative regular objects and (dual) strongly relative Baer objects in abelian categories.
We study the transfer of (dual) relative Rickart properties via functors between abelian categories, and we deduce the transfer of (dual) relative Baer property. We also give applications to Grothendieck categories, comodule categories and (graded) module categories, with emphasis on endomorphism rings.
We prove general results about completeness of cotorsion theories and existence of covers and envelopes in locally presentable abelian categories, extending the well-established theory for module categories and Grothendieck categories. These results are then applied to the categories of contramodules over topological rings, which provide examples and counterexamples.
We study the transfer of (dual) relative CS-Rickart properties via functors between abelian categories. We consider fully faithful functors as well as adjoint pairs of functors. We give several applications to Grothendieck categories and, in particular, to (graded) module and comodule categories.
We introduce (dual) relative CS-Rickart objects in abelian categories, as common generalizations of (dual) relative Rickart objects and extending (lifting) objects. We study direct summands and (co)products of (dual) relative CS-Rickart objects as well as classes all of whose objects are (dual) self-CS-Rickart. Applications are given to Grothendieck categories and, in particular, to module and comodule categories.
Let $\mathcal{M}$ be an abelian model category (in the sense of Hovey). For a large class of quivers, we describe associated abelian model structures on categories of quiver representations with values in $\mathcal{M}$. This is based on recent work of Holm and Jørgensen on cotorsion pairs in categories of quiver representations. An application on Ding projective and Ding injective representations of quivers over Ding-Chen rings is given.
We introduce and investigate (dual) relative split objects with respect to a fully invariant short exact sequence in abelian categories. We compare them with (dual) relative Rickart objects, and we study their behaviour with respect to direct sums and classes all of whose objects are (dual) relative split. We also introduce and study (dual) strongly relative split objects. Applications are given to Grothendieck categories, module and comodule categories.
We relativize the notion of a compact object in an abelian category with respect to a fixed subclass of objects. We show that the standard closure properties persist to hold in this case. Furthermore, we describe categorical and set-theoretical conditions under which all products of compact objects remain compact.
We introduce (dual) strongly relative CS-Rickart objects in abelian categories, as common generalizations of (dual) strongly relative Rickart objects and strongly extending (lifting) objects. We give general properties, and we study direct summands, (co)products of (dual) strongly relative CS-Rickart objects and classes all of whose objects are (dual) strongly self-CS-Rickart.
We show that an abelian category can be exactly, fully faithfully embedded into a module category as the right perpendicular subcategory to a set of modules or module morphisms if and only if it is a locally presentable abelian category with a projective generator, or in other words, the category of models of an additive algebraic theory of possibly infinite bounded arity. This includes the categories of contramodules over topological rings and other examples. Various versions of the definition of the right perpendicular subcategory are considered, all leading to the same class of abelian cate…
We introduce the notions of proto-complete, complete, complete* and strong-complete objects in pointed categories. We show under mild conditions on a pointed exact protomodular category that every proto-complete (respectively complete) object is the product of an abelian proto-complete (respectively complete) object and a strong-complete object. This together with the observation that the trivial group is the only abelian complete group recovers a theorem of Baer classifying complete groups. In addition we generalize several theorems about groups (subgroups) with trivial center (respectively, …
Ladders of recollements of abelian categories are introduced, and used to address three general problems. Ladders of a certain height allow to construct recollements of triangulated categories, involving derived categories and singularity categories, from abelian ones. Ladders also allow to tilt abelian recollements, and ladders guarantee that properties like Gorenstein projective or injective are preserved by some functors in abelian recollements. Breaking symmetry is crucial in developing this theory.
Derived decompositions of abelian categories are introduced in internal terms of abelian subcategories to construct semi-orthogonal decompositions (or Bousfield localizations, or hereditary torsion pairs) in various derived categories of abelian categories. We give a sufficient condition for arbitrary abelian categories to have such derived decompositions and show that it is also necessary for abelian categories with enough projectives and injectives. For bounded derived categories, we describe which semi-orthogonal decompositions are determined by derived decompositions. The necessary and suf…
In this paper, we study the relationship of Gorenstein projective objects among three Abelian categories in a recollement. As an application, we introduce the relation of $n$-Gorenstein tilting modules (and Gorenstein syzygy modules) in three Abelian categories. For a recollement of Abelian categories, we show that a resolving subcategory induce two resolving subcategories. On the other hand, we also prove that two resolving subcategories can induce a resolving subcategory. Moreover, we give the size relationship between the relative global dimensions of three Abelian categories.
We give a classification of nullity classes (or torsion classes) in an abelian category by forming a spectrum of equivalence classes of premonoform objects. This is parallel to Kanda's classification of Serre subcategories.
For an abelian category $\mathcal{A}$, we establish the relation between its derived and extension dimensions. Then for an artin algebra $Λ$, we give the upper bounds of the extension dimension of $Λ$ in terms of the radical layer length of $Λ$ and certain relative projective (or injective) dimension of some simple $Λ$-modules, from which some new upper bounds of the derived dimension of $Λ$ are induced.
We define torsion pairs for quasi-abelian categories and give several characterisations. We show that many of the torsion theoretic concepts translate from abelian categories to quasi-abelian categories. As an application, we generalise the recently defined algebraic Harder-Narasimhan filtrations to quasi-abelian categories.
In this article, we study the relationship among maximal green sequences, complete forward hom-orthogonal sequences and stability functions in abelian length categories. Mainly, we firstly give a one-to-one correspondence between maximal green sequences and complete forward hom-orthogonal sequences via mutual constructions, and then prove that a maximal green sequence can be induced by a central charge if and only if it satisfies crossing inequalities. As applications, we show that crossing inequalities can be computed by $c$-vectors for finite dimensional algebras; finally, we give the Rotati…
Let $\mathcal{M}$ be a small $n$-abelian category. We show that the category of absolutely pure group valued functors over $\mathcal{M}$, denote by $\mathcal{L}_2(\mathcal{M},\mathcal{G})$, is an abelian category and $\mathcal{M}$ is equivalent to a full subcategory of $\mathcal{L}_2(\mathcal{M},\mathcal{G})$ in such a way that $n$-kernels and $n$-cokernels are precisely exact sequences of $\mathcal{L}_2(\mathcal{M},\mathcal{G})$ with terms in $\mathcal{M}$. This gives a higher-dimensional version of the Freyd-Mitchell embedding theorem for $n$-abelian categories.
We describe a general framework for prime, completely prime, semiprime, and primitive ideals of an abelian 2-category. This provides a noncommutative version of Balmer's prime spectrum of a tensor triangulated category. These notions are based on containment conditions in terms of thick subcategories of an abelian category and thick ideals of an abelian 2-category. We prove categorical analogs of the main properties of noncommutative prime spectra. Similar notions, starting with Serre subcategories of an abelian category and Serre ideals of an abelian 2-category, are developed. They are linked…
We investigate how to characterize subcategories of abelian categories in terms of intrinsic axioms. In particular, we find intrinsic axioms which characterize generating cogenerating functorially finite subcategories, precluster tilting subcategories, and cluster tilting subcategories of abelian categories. As a consequence we prove that any $d$-abelian category is equivalent to a $d$-cluster tilting subcategory of an abelian category, without any assumption on the categories being projectively generated.
We introduce $n$-abelian and $n$-exact categories, these are analogs of abelian and exact categories from the point of view of higher homological algebra. We show that $n$-cluster-tilting subcategories of abelian (resp. exact) categories are $n$-abelian (resp. $n$-exact). These results allow to construct several examples of $n$-abelian and $n$-exact categories. Conversely, we prove that $n$-abelian categories satisfying certain mild assumptions can be realized as $n$-cluster-tilting subcategories of abelian categories. In analogy with a classical result of Happel, we show that the stable categ…
In this paper we define Gabriel monads as the idempotent monads associated to exact reflective localizations in Abelian categories and characterize them by a simple set of properties. The coimage of a Gabriel monad is a Serre quotient category. The Gabriel monad induces an equivalence between its coimage and its image, the localizing subcategory of local objects.
A semi-localization of a category is a full reflective subcategory with the property that the reflector is semi-left-exact. In this article we first determine an abstract characterization of the categories which are semi-localizations of an exact Mal'tsev category, by specializing a result due to S. Mantovani. We then turn our attention to semi-abelian categories, where a special type of semi-localizations are known to coincide with torsion-free subcategories. A new characterisation of protomodular categories in terms of binary relations is obtained, inspired by the one discovered in the point…
We study the notion of fundamental group in the framework of descent-exact homological categories. This setting is sufficiently wide to include several categories of "algebraic" nature such as the almost abelian categories, the semi-abelian categories, and the categories of topological semi-abelian algebras. For many adjunctions in this context, the fundamental groups are described by generalised Brown-Ellis-Hopf formulae for the integral homology of groups.
The stable module category of a selfinjective algebra is triangulated, but need not have any nontrivial $t$-structures, and in particular, full abelian subcategories need not arise as hearts of a $t$-structure. The purpose of this paper is to investigate full abelian subcategories of triangulated categories whose exact structures are related, and more precisely, to explore relations between invariants of finite-dimensional selfinjective algebras and full abelian subcategories of their stable module categories.
For a recollement $(\mathcal{A},\mathcal{B},\mathcal{C})$ of abelian categories, we show that torsion pairs in $\mathcal{A}$ and $\mathcal{C}$ can induce torsion pairs in $\mathcal{B}$; and the converse holds true under certain conditions.
