Search

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 gi...

We study the transfer of D4 and dually C4 objects via functors between abelian categories. We also give applications to Grothendieck categories, comodule categories, (graded) module categories.

We introduce and study (dual) relative F-Baer objects as specializations of (dual) relative split objects with respect to a fully invariant short exact sequence in AB3* (AB3) abelian categories. We...

We use the notion of universal extension in a linear abelian category to study extensions of variations of mixed Hodge structure and convergent and overconvergent isocrystals. The results we obtain apply, for example, to prove the exactness of some homotopy sequences for these categories and to study $F$-able isocrystals., 19 pages; added reference to [And20]

Let F (correspondingly P) denote the abelian category of functors (strict polynomial functors in the sense of Friedlander and Suslin) from finite dimensional vector spaces over Fp to vector spaces ...

Let [Formula: see text] be an abelian category, [Formula: see text] an additive, full and self-orthogonal subcategory of [Formula: see text] closed under direct summands, [Formula: see text] the right Gorenstein subcategory of [Formula: see text] relative to [Formula: see text], and [Formula: see text] the left orthogonal class of [Formula: see text]. For an object [Formula: see text] in [Formula: see text], we prove that if [Formula: see text] is in the right 1-orthogonal class of [Formula: see text], then the [Formula: see text]-projective and [Formula: see text]-projective dimensions of [Formula: see text] are identical; if the [Formula: see text]-projective dimension of [Formula: see text] is finite, then the [Formula: see text]-projective and [Formula: see text]-projective dimensions of [Formula: see text] are identical. We also prove that the supremum of the [Formula: see text]-projective dimensions of objects with finite [Formula: see text]-projective dimension and that of the [Formula: see text]-projective dimensions of objects with finite [Formula: see text]-projective dimension coincide. Then we apply these results to the category of modules.

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 $\mathrm{Ext}$ and $\mathrm{Tor}$ over a commutative coherent ring $R$? We give an answer by introducing category constructors that enable us to build up a category which is both suited for performing explicit calculations and equivalent to the category of all finitely presented functors. The second question is: how do we determine the differentials on the pages of a spectral sequence associated to a filtered cochain complex only in terms of operations directly provided by the axioms of an abelian category? Its answer relies on a constructive method for performing diagram chases based on a calculus of relations within an arbitrary abelian category.

Let $${\cal A}$$ be a finitary hereditary abelian category. We give a Hall algebra presentation of Kashaev’s theorem on the relation between Drinfeld double and Heisenberg double. As applications, we obtain realizations of the Drinfeld double Hall algebra of $${\cal A}$$ via its derived Hall algebra and Bridgeland’s Hall algebra of m-cyclic complexes.

We give an explicit recollement for a cocomplete abelian category and its colimit category. We obtain some applications on Leavitt path algebras, derived equivalences and K-groups.

Motivated by a study of Davvaz and Shabbani which introduced the concept of U-complexes and proposed a generalization on some results in homological algebra, we study thecategory of U-complexes and the homotopy category of U-complexes. In [8] we said that the category of U-complexes is an abelian category. Here, we show that the object that we claimed to be the kernel of a morphism of U-omplexes does not satisfy the universal property of the kernel, hence wecan not conclude that the category of U-complexes is an abelian category. The homotopy category of U-complexes is an additive category. In this paper, we propose a weakly chain U-complex by changing the second condition of the chain U-complex. We prove that the homotopy category ofweakly U-complexes is a triangulated category.

We study the transfer via functors between abelian categories of the (dual) relative splitness of objects with respect to a fully invariant short exact sequence. We mainly consider fully faithful f...

In category-theoretic models for the anyon systems proposed for topological quantum computing, the essential ingredients are two monoidal structures, $\oplus$ and $\otimes$. The former is symmetric but the latter is only braided, and $\otimes$ is required to distribute over $\oplus$. What are the appropriate coherence conditions for the distributivity isomorphisms? We came to this question working on a simplification of the category-theoretical foundation of topological quantum computing, which is the intended application of the research reported here. This question was answered by Laplaza when both monoidal structures are symmetric, but topological quantum computation depends crucially on $\otimes$ being only braided, not symmetric. We propose coherence conditions for distributivity in this situation, and we prove that our conditions are (a) strong enough to imply Laplaza's when the latter are suitably formulated, and (b) weak enough to hold when --- as in the categories used to model anyons --- the additive structure is that of an abelian category and the braided $\otimes$ is additive. Working on these results, we found a new redundancy in Laplaza's conditions., This is a companion paper for article "Witness algebra and anyon braiding," arXiv:1807.10414, proving results used there

We introduce a notion of total acyclicity associated to a subcategory of an abelian category and consider the Gorenstein objects they define. These Gorenstein objects form a Frobenius category, whose induced stable category is equivalent to the homotopy category of totally acyclic complexes. Applied to the flat-cotorsion theory over a coherent ring, this provides a new description of the category of cotorsion Gorenstein flat modules; one that puts it on equal footing with the category of Gorenstein projective modules., Added Proposition 4.2, updated after review. Final version, to appear in Contemp. Math.; 20 pp

This paper focuses on the Ki-groups of two types of extensions of abelian categories, which are the trivial extension and the gluing of abelian categories. We prove that, under some conditions, Ki-groups of a certian subcategory of the trivial extension category is isomorphic to Ki-groups of the similar subcategory of the original category. Moreover, under some conditions, we show that the Ki-groups of a left (right) gluing of two abelian categories are isomorphic to the direct sum of Ki-groups of two abelian categories. As their applications, we obtain some results of the Ki-groups of the trivial extension of a ring by a bimodule (i∈N).

We introduce and study strongly Gorenstein subcategory [Formula: see text], relative to an additive full subcategory [Formula: see text] of an abelian category [Formula: see text]. When [Formula: see text] is self-orthogonal, we give some sufficient conditions under which the property of an object in [Formula: see text] can be inherited by its subobjects and quotient objects. Then, we introduce the notions of one-sided (strongly) Gorenstein subcategories. Under the assumption that [Formula: see text] is closed under countable direct sums (respectively, direct products), we prove that an object is in right (respectively, left) Gorenstein category [Formula: see text] (respectively, [Formula: see text]) if and only if it is a direct summand of an object in right (respectively, left) strongly Gorenstein subcategory [Formula: see text] (respectively, [Formula: see text]). As applications, some known results are obtained as corollaries.

Let $\mathcal{A}$ be an abelian category. In this paper, we investigate the global $(\mathcal{X} , \mathcal{Y})$-Gorenstein projective dimension $\mathrm{gl.GPD}(\mathcal{X} ,\mathcal{Y})(\mathcal{A})$, associated to a GP-admissible pair $(\mathcal{X} , \mathcal{Y} )$. We give homological conditions over $(\mathcal{X} , \mathcal{Y})$ that characterize it. Moreover, given a GI-admisible pair $(\mathcal{Z} , \mathcal{W} )$, we study conditions under which $\mathrm{gl.GID}(\mathcal{Z},\mathcal{W})(\mathcal{A})$ and $\mathrm{gl.GPD}(\mathcal{X},\mathcal{Y})(\mathcal{A})$ are the same.

For an abelian category A , we define the category PEx( A ) of pullback diagrams of short exact sequences in A , as a subcategory of the functor category Fun( Δ , A ) for a fixed diagram category Δ. For any object M in PEx ( A ) , we prove the existence of a short exact sequence 0 → K → P → M → 0 of functors, where the objects are in PEx( A ) and P ( i ) ∈ Proj ( A ) for any i ∈ Δ . As an application, we prove that if ( C , D , E ) is a triple of syzygy finite classes of objects in mod Λ satisfying some special conditions, then Λ is an Igusa–Todorov algebra. Finally, we study lower triangular matrix Artin algebras and determine in terms of their components, under reasonable hypothesis, when these algebras are syzygy finite or Igusa–Todorov.

A recollement is a decomposition of a given category (abelian or triangulated) into two subcategories with functorial data that enables the glueing of structural information. This paper is dedicated to investigating the behaviour under glueing of some basic properties of abelian categories (well-poweredness, Grothendieck's axioms AB3, AB4 and AB5, existence of a generator) in the presence of a recollement. In particular, we observe that in a recollement of a Grothendieck abelian category the other two categories involved are also Grothendieck abelian and, more significantly, we provide an example where the converse does not hold and explore multiple sufficient conditions for it to hold.

Let R be a commutative Noetherian ring and I be an ideal of R. In this article, we answer affirmatively a question raised by the present author. Also, as a consequence, it is shown that the categor...

Let A be a finitary hereditary abelian category. In this note, we show that Green's formula on Hall numbers of A can be deduced from the associativity of the derived Hall algebra of A whose multiplication structure constants are given by the so-called Toen's formula.

Let $\C$ be an $(n+2)$-angulated category with shift functor $\Sigma$ and $\X$ be a cluster-tilting subcategory of $\C$. Then we show that the quotient category $\C/\X$ is an $n$-abelian category. If $\C$ has a Serre functor, then $\C/\X$ is equivalent to an $n$-cluster tilting subcategory of an abelian category $\textrm{mod}(\Sigma^{-1}\X)$. Moreover, we also prove that $\textrm{mod}(\Sigma^{-1}\X)$ is Gorenstein of Gorenstein dimension at most $n$. As an application, we generalize recent results of Jacobsen-J{\o}rgensen and Koenig-Zhu., Comment: 14 pages

The Frobenius-Perron dimension for an abelian category was recently introduced. We apply this theory to the category of representations of the finite-dimensional radical squared zero algebras associated to certain modified ADE graphs. In particular, we take an ADE quiver with arrows in a certain orientation and an arbitrary number of loops at each vertex. We show that the Frobenius-Perron dimension of this category is equal to the maximum number of loops at a vertex. Along the way, we introduce a result which can be applied in general to calculate the Frobenius-Perron dimension of a radical square zero bound quiver algebra. We use this result to introduce a family of abelian categories which produce arbitrarily large irrational Frobenius-Perron dimensions., Comment: typos corrected

In the previous article "Hearts of twin cotorsion pairs on exact categories", we introduced the notion of the heart for any cotorsion pair on an exact category with enough projectives and injectives, and showed that it is an abelian category. In this paper, we construct a half exact functor from the exact category to the heart. This is analog of the construction of Abe and Nakaoka for triangulated categories. We will also use this half exact functor to find out a sufficient condition when two different hearts are equivalent., 26 pages

Let (X,Y) be a complete and hereditary cotorsion pair in an abelian category A. We show that if Y is closed under kernels of epimorphisms, then (G(X)∩Y,X∩Y) is a strong left Frobenius pair,...

Let $R\to U$ be an associative ring epimorphism such that $U$ is a flat left $R$-module. Assume that the related Gabriel topology $\mathbb G$ of right ideals in $R$ has a countable base. Then we show that the left $R$-module $U$ has projective dimension at most $1$. Furthermore, the abelian category of left contramodules over the completion of $R$ at $\mathbb G$ fully faithfully embeds into the Geigle-Lenzing right perpendicular subcategory to $U$ in the category of left $R$-modules, and every object of the latter abelian category is an extension of two objects of the former one. We discuss conditions under which the two abelian categories are equivalent. Given a right linear topology on an assocative ring $R$, we consider the induced topology on every left $R$-module, and for a perfect Gabriel topology $\mathbb G$ compare the completion of a module with an appropriate Ext module. Finally, we characterize the $U$-strongly flat left $R$-modules by the two conditions of left positive-degree Ext-orthogonality to all left $U$-modules and all $\mathbb G$-separated $\mathbb G$-complete left $R$-modules., Comment: LaTeX 2e with pb-diagram and xy-pic, 64 pages, 6 commutative diagrams + Corrigenda, LaTeX 2e with ulem.sty, 10 pages; v.6: corrigenda added (two mistakes, one in Remark 3.3 and the other one in Section 5); v.7: third section added to corrigenda (confusion in Remark 11.3); v.8: fourth section added to corrigenda (about an unjustified assertion in the preliminaries), main results unaffected

In this paper we define the modified Ringel–Hall algebra M H ( A ) of a hereditary abelian category A from the category C b ( A ) of bounded Z -graded complexes. Two main results are obtained. One is to give a new proof of Green's formula on Ringel–Hall numbers by using the associative multiplication of the modified Ringel–Hall algebra. The other is to show that in certain twisted cases the derived Hall algebra can be embedded in the modified Ringel–Hall algebra. As a consequence of the second result, we get that in certain twisted cases the modified Ringel–Hall algebra is isomorphic to the tensor algebra of the derived Hall algebra and the torus of acyclic complexes and therefore the modified Ringel–Hall algebra is invariant under derived equivalences.

For a given hereditary abelian category satisfying some finiteness conditions, in certain twisted cases it is shown that the modified Ringel-Hall algebra is isomorphic to the naive lattice algebra and there exists an epimorphism from the modified Ringel-Hall algebra to the lattice algebra. Furthermore, the kernel of this epimorphism is described explicitly. Finally, we show that the naive lattice algebra is invariant under the derived equivalences of hereditary abelian categories.

In this paper we shall investigate the concepts of cofiniteness of local cohomology modules and Abelian categories of cofinite modules over arbitrary Noetherian rings. Then we shall improve some of the results given in the literature., Comment: 24 pages

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., 14 pages

We organize the modified trace theory with the use of the Nakayama functor of finite abelian categories. For a linear right exact functor $\Sigma$ on a finite abelian category $\mathcal{M}$, we introduce the notion of a $\Sigma$-twisted trace on the class $\mathrm{Proj}(\mathcal{M})$ of projective objects of $\mathcal{M}$. In our framework, there is a one-to-one correspondence between the set of $\Sigma$-twisted traces on $\mathrm{Proj}(\mathcal{M})$ and the set of natural transformations from $\Sigma$ to the Nakayama functor of $\mathcal{M}$. Non-degeneracy and compatibility with the module structure (when $\mathcal{M}$ is a module category over a finite tensor category) of a $\Sigma$-twisted trace can be written down in terms of the corresponding natural transformation. As an application of this principal, we give existence and uniqueness criteria for modified traces. In particular, a unimodular pivotal finite tensor category admits a non-zero two-sided modified trace if and only if it is spherical. Also, a ribbon finite tensor category admits such a trace if and only if it is unimodular., Comment: 39 pages; to appear in Algebras and Representation Theory

In the last few years, Lopez-Permouth and several collaborators have introduced a new approach in the study of the classical projectivity, injectivity and flatness of modules. This way, they introduced subprojectivity domains of modules as a tool to measure, somehow, the projectivity level of such a module (so not just to determine whether or not the module is projective). In this paper we develop a new treatment of the subprojectivity in any abelian category which shed more light on some of its various important aspects. Namely, in terms of subprojectivity, some classical results are unified and some classical rings are characterized. It is also shown that, in some categories, the subprojectivity measures notions other than the projectivity. Furthermore, this new approach allows, in addition to establishing nice generalizations of known results, to construct various new examples such as the subprojectivity domain of the class of Gorenstein projective objects, the class of semi-projective complexes and particular types of representations of a finite linear quiver. The paper ends with a study showing that the fact that a subprojectivity domain of a class coincides with its first right Ext-orthogonal class can be characterized in terms of the existence of preenvelopes and precovers.

For a locally presentable abelian category $\mathsf B$ with a projective generator, we construct the projective derived and contraderived model structures on the category of complexes, proving in particular the existence of enough homotopy projective complexes of projective objects. We also show that the derived category $\mathsf D(\mathsf B)$ is generated, as a triangulated category with coproducts, by the projective generator of $\mathsf B$. For a Grothendieck abelian category $\mathsf A$, we construct the injective derived and coderived model structures on complexes. Assuming Vopenka's principle, we prove that the derived category $\mathsf D(\mathsf A)$ is generated, as a triangulated category with products, by the injective cogenerator of $\mathsf A$. More generally, we define the notion of an exact category with an object size function and prove that the derived category of any such exact category with exact $\kappa$-directed colimits of chains of admissible monomorphisms has Hom sets. In particular, the derived category of any locally presentable abelian category has Hom sets., Comment: LaTeX 2e with xy-pic; 50 pages, 5 commutative diagrams; v.2: Remarks 6.4 and 9.2 inserted, Introduction expanded, many references added; v.3: several misprints corrected

We construct and study a t-structure on p-typical cyclotomic spectra and explain how to recover crystalline cohomology of smooth schemes over perfect fields using this t-structure. Our main tool is a new approach to p-typical cyclotomic spectra via objects we call p-typical topological Cartier modules. Using these, we prove that the heart of the cyclotomic t-structure is the full subcategory of derived V-complete objects in the abelian category of p-typical Cartier modules., Final version; to appear in J. AMS

This is the first chapter which develops the basic language of homological algebra. It introduces categories, abelian categories, and the homology theory in an abelian category. Further, it also introduces the bi-functor \(EXT (-, -)\).

In this chapter, we introduce the concept of derived functors in an abelian category, and develop its basic theory which is essential for the subsequent developments. The n-fold extension functors \(EXT^{n}_{R}\) and the functors \(Tor_{n}^{R}\) are introduced as derived co-homology and homology functors. We also establish the Kunneth formula and conclude the chapter with a basic introduction to spectral sequences.

In the paper "Deformation theory of abelian categories", the last two authors proved that an abelian category with enough injectives can be reconstructed as the category of finitely presented modules over the category of its injective objects. We show a generalization of this to pretriangulated dg-categories with a left bounded non-degenerate t-structure with enough derived injectives, the latter being derived enhancements of the injective objects in the heart of the t-structure. Such dg-categories (with an additional hypothesis of closure under suitable products) can be completely described in terms of left bounded twisted complexes of their derived injectives., 51 pages; postprint version

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., Comment: 29 pages. Accepted for publication in Journal of Pure and Applied Algebra

Let C&sube, T be subcategories of an abelian category A. Under some certain conditions, we show that the C-finitistic and T-finitistic global dimensions of A are identical. Some applications are given, in particular, some known results are obtained as corollaries.

Let [Formula: see text] be a commutative Noetherian complete local ring and [Formula: see text] be a proper ideal of [Formula: see text]. Suppose that [Formula: see text] is a nonzero [Formula: see text]-cofinite [Formula: see text]-module of Krull dimension [Formula: see text]. In this paper, it shown that [Formula: see text] As an application of this result, it is shown that [Formula: see text], for each [Formula: see text] Also it shown that for each [Formula: see text] the submodule [Formula: see text] and [Formula: see text] of [Formula: see text] is [Formula: see text]-cofinite, [Formula: see text] and [Formula: see text] whenever the category of all [Formula: see text]-cofinite [Formula: see text]-modules is an Abelian subcategory of the category of all [Formula: see text]-modules. Also some applications of these results will be included.

We introduce and study (strongly) [Formula: see text]-Rickart objects and their duals in abelian categories, which generalize (strongly) self-Rickart objects and their duals. We establish general properties of such objects, we analyze their behavior with respect to coproducts, and we study classes all of whose objects are (strongly) [Formula: see text]-Rickart. We derive consequences for module and comodule categories.

A. D'Agnolo and M. Kashiwara proved that their enhanced solution functor induces a fully faithful embedding of the triangulated category of holonomic $\cal D$-modules into the one of $\mathbb{R}$-constructible enhanced ind-sheaves. In this paper, we introduce a notion of $\mathbb{C}$-constructible enhanced ind-sheaves and show that the triangulated category of them is equivalent to its essential image. Moreover we show that there exists a t-structure on it whose heart is equivalent to the abelian category of holonomic $\cal D$-modules.

We determine versal non-commutative deformations of some simple collections in the categories of perverse coherent sheaves arising from tilting generators for projective morphisms., 20 pages

Herschend-Liu-Nakaoka introduced the notion of $n$-exangulated categories. It is not only a higher dimensional analogue of extriangulated categories defined by Nakaoka-Palu, but also gives a simultaneous generalization of $n$-exact categories in the sense of Jasso and $(n+2)$-angulated in the sense of Geiss-Keller-Oppermann. Let $\mathscr C$ be an $n$-exangulated category with enough projectives and enough injectives, and $\mathscr X$ a cluster tilting subcategory of $\mathscr C$. In this article, we show that the quotient category $\mathscr C/\mathscr X$ is an $n$-abelian category. This extends a result of Zhou-Zhu for $(n+2)$-angulated categories. Moreover, it highlights new phenomena when it is applied to $n$-exact categories., 18 pages. arXiv admin note: text overlap with arXiv:1909.13284 and arXiv:1807.06733

We show that the triangulated category of bounded constructible complexes on an algebraic variety X over an algebraically closed field is equivalent to the bounded derived category of the abelian category of constructible sheaves on X, extending a theorem of Nori to the case of positive characteristic., 8 pages

For a length abelian category, we show that all torsion-free classes can be classified by using only the information on bricks, including non functorially-finite ones. The idea is to consider the set of simple objects in a torsion-free class, which has the following property: it is a set of bricks where every non-zero map between them is an injection. We call such a set a monobrick. In this paper, we provide a uniform method to study torsion-free classes and wide subcategories via monobricks. We show that monobricks are in bijection with left Schur subcategories, which contains all subcategories closed under extensions, kernels and images, thus unifies torsion-free classes and wide subcategories. Then we show that torsion-free classes bijectively correspond to cofinally closed monobricks. Using monobricks, we deduce several known results on torsion(-free) classes and wide subcategories (e.g. finiteness result and bijections) in length abelian categories, without using $\tau$-tilting theory. For Nakayama algebras, left Schur subcategories are the same as subcategories closed under extensions, kernels and images, and we show that its number is related to the large Schr\"oder number., Comment: 28 pages, final version. a minor correction. to appear in Adv. Math

We demonstrate equivalence between two definitions of lower finite highest weight categories. We also show that, in the presence of a duality, a lower finite highest weight structure on a category is unique. Finally, we give a proof for the known fact that any abelian category is extension full in its ind-completion.

We prove that some of the main results of linkage theory can be extended to a more general context in homological algebra. Our main result states that, under suitable circumstances, if one has a morphism among two objects in an abelian category, both equipped with a good resolution, then there is a canonical procedure to build up a good resolution for the cokernel of the dual morphism.

We give a classification of substructures (= closed subbifunctors) of a given skeletally small extriangulated category by using the category of defects, in a similar way to the author's classification of exact structures of a given additive category. More precisely, for an extriangulated category, possible substructures are in bijection with Serre subcategories of an abelian category consisting of defects of conflations. As a byproduct, we prove that for a given skeletally small additive category, the poset of exact structures on it is isomorphic to the poset of Serre subcategories of some abelian category., Comment: 12 pages, comments welcome

A subcategory $\mathscr{W}$ of an abelian category is called wide if it is closed under kernels, cokernels, and extensions. Wide subcategories are of interest in representation theory because of their links to other homological and combinatorial objects, established among others by Ingalls-Thomas and Marks-\v{S}\v{t}ov\'i\v{c}ek. If $d \geqslant 1$ is an integer, then Jasso introduced the notion of $d$-abelian categories, where kernels, cokernels, and extensions have been replaced by longer complexes. Wide subcategories can be generalised to this situation. Important examples of $d$-abelian categories arise as the $d$-cluster tilting subcategories $\mathscr{M}_{n,d}$ of $\operatorname{mod} A_n^{d-1}$, where $A_n^{d-1}$ is a higher Auslander algebra of type $A$ in the sense of Iyama. This paper gives a combinatorial description of the wide subcategories of $\mathscr{M}_{n,d}$ in terms of what we call non-interlacing collections., Comment: 18 pages