Mutation Pairs in Abelian Categories

A notion of mutation pairs of subcategories in an abelian category is defined in this article. For an extension closed subcategory 𝒵 and a rigid subcategory 𝒟 ? 𝒵, the subfactor category 𝒵/[𝒟] is also a triangulated category whenever (𝒵, 𝒵) forms a 𝒟-mutation pair. Moreover, if 𝒟 and 𝒵 satisfy certain conditions in modΛ, the category of finitely generated Λ-modules over an artin algebra Λ, the triangulated category 𝒵/[𝒟] has a Serre functor.     

Subfactor Categories of Triangulated Categories

Let 𝒳 ? 𝒜 be subcategories of a triangulated category 𝒯, and 𝒳 a functorially finite subcategory of 𝒜. If 𝒜 has the properties that any 𝒳-monomorphism of 𝒜 has a cone and any 𝒳-epimorphism has a cocone, then the subfactor category 𝒜/[𝒳] forms a pretriangulated category in the sense of [4 Beligiannis , A. , Reiten , I. ( 2007 ). Homological and Homotopical Aspects of Torsion Theories . Memoirs of the AMS 883 : 426 – 454 . [Google Scholar]]. Moreover, the above pretriangulated category 𝒜/[𝒳] with 𝒯(𝒳, 𝒳[1]) = 0 becomes a triangulated category if and only if (𝒜, 𝒜) forms an 𝒳-mutation pair and 𝒜 is closed under extensions.     

Triangulated Quotient Categories

A notion of mutation of subcategories in a right triangulated category is defined in this article. When (𝒵, 𝒵) is a 𝒟-mutation pair in a right triangulated category 𝒞, the quotient category 𝒵/𝒟 carries naturally a right triangulated structure. Moreover, if the right triangulated category satisfies some reasonable conditions, then the right triangulated quotient category 𝒵/𝒟 becomes a triangulated category. When 𝒞 is triangulated, our result unifies the constructions of the quotient triangulated categories by Iyama-Yoshino and by Jørgensen, respectively.     

Exceptional Pairs in Hereditary Categories

We study the category 𝒞(X, Y) generated by an exceptional pair (X, Y) in a hereditary category ?. If r = dim _k Hom(X, Y) ≥ 1 we show that there are exactly 3 possible types for 𝒞(X, Y), all derived equivalent to the category of finite dimensional modules mod(H _r ) over the r-Kronecker algebra H _r . In general 𝒞(X, Y) will not be equivalent to a module category. More specifically, if ? is the category of coherent sheaves over a weighted projective line 𝕏, then 𝒞(X, Y) is equivalent to the category of coherent sheaves on the projective line ?¹ or to mod(H _r ) and, if 𝕏 is wild, then every r ≥ 1 can occur in this way.     

Mutation pairs and quotient categories of Abelian categories

The notion of 𝒟-mutation pairs of subcategories in an abelian category is defined in this article. When (𝒵,𝒵) is a 𝒟-mutation pair in an abelian category 𝒜, the quotient category 𝒵∕𝒟 carries naturally a triangulated structure. Moreover, our result generalize the construction of the quotient triangulated category by Happel [10 Happel, D. (1988). Triangulated Categories in the Representation of Finite Dimensional Algebras. London Mathematical Society, LMN, Vol. 119. Cambridge: Cambridge University Press.[Crossref] , [Google Scholar], Theorem 2.6]. Finally, we find a one-to-one correspondence between cotorsion pairs in 𝒜 and cotorsion pairs in the quotient category 𝒵∕𝒟, and study homological finiteness of subcategories in a mutation pair.     

When is the Diagonal Functor Frobenius?

Given a complete, cocomplete category 𝒞, we investigate the problem of describing those small categories I such that the diagonal functor Δ: 𝒞 → Functors(I, 𝒞) is a Frobenius functor. This condition can be rephrased by saying that the limits and the colimits of functors I → 𝒞 are naturally isomorphic. We find necessary conditions on I for a certain class of categories 𝒞, and, as an application, we give both necessary and sufficient conditions in the two special cases 𝒞 =Set or _R ?, the category of left modules over a ring R.     

Endomorphism category of an abelian category

Let 𝒞 be an additive category. Denote by End(𝒞) the endomorphism category of 𝒞, i.e., the objects in End(𝒞) are pairs (C,c) with C∈𝒞,c∈End_𝒞(C), and a morphism f:(C,c)→(D,d) is a morphism f∈Hom_𝒞(C,D) satisfying fc?=?df. This paper is devoted to an approach of the general theory of the endomorphism category of an arbitrary additive category. It is proved that the endomorphism category of an abelian category is again abelian with an induced structure without nontrivial projective or injective objects. Furthermore, the endomorphism category of any nontrivial abelian category is nonsemisimple and of infinite representation type. As an application, we show that two unital rings are Morita equivalent if and only if the endomorphism categories of their module categories are equivalent.     

Equivalences Induced by Adjoint Functors

Abstract

Let 𝒜 and ? be two Grothendieck categories, R : 𝒜 → ?, L : ? → 𝒜 a pair of adjoint functors, S ∈ ? a generator, and U = L(S). U defines a hereditary torsion class in 𝒜, which is carried by L, under suitable hypotheses, into a hereditary torsion class in ?. We investigate necessary and sufficient conditions which assure that the functors R and L induce equivalences between the quotient categories of 𝒜 and ? modulo these torsion classes. Applications to generalized module categories, rings with local units and group graded rings are also given here.     

Monomorphism Operator and Perpendicular Operator

For a quiver Q, a k-algebra A, and an additive full subcategory 𝒳 of A-mod, the monomorphism category Mon(Q, 𝒳) is introduced. The main result says that if T is an A-module such that there is an exact sequence 0 → T _m  → … → T ₀ → D(A _A ) → 0 with each T _i  ∈ add(T), then Mon(Q, ^⊥ T) =^⊥(kQ ? _k T); and if T is cotilting, then kQ ? _k T is a unique cotilting Λ-module, up to multiplicities of indecomposable direct summands, such that Mon(Q, ^⊥ T) =^⊥(kQ ? _k T).

As applications, the category of the Gorenstein-projective (kQ ? _k A)-modules is characterized as Mon(Q, 𝒢𝒫(A)) if A is Gorenstein; the contravariantly finiteness of Mon(Q, 𝒳) can be described; and a sufficient and necessary condition for Mon(Q, A) being of finite type is given.     

Right n-angulated categories arising from covariantly finite subcategories

We define right n-angulated categories, which are analogous to right triangulated categories. Let 𝒞 be an additive category and 𝒳 a covariantly finite subcategory of 𝒞. We show that under certain conditions, the quotient 𝒞∕[𝒳] is a right n-angulated category. This has immediate applications to n-angulated quotient categories.     

A GENERALIZATION OF AUSLANDER–BUCHSBAUM AND BASS FORMULAS

Abstract

Given a contravariant functor F : 𝒞 → 𝒮ets for some category 𝒞, we say that F (𝒞) (or F) is generated by a pair (X, x) where X is an object of 𝒞 and x ∈ F(X) if for any object Y of 𝒞 and any y ∈ F(Y), there is a morphism f : Y → X such that F(f)(x) = y. Furthermore, when Y = X and y = x, any f : X → X such that F(f)(x) = x is an automorphism of X, we say that F is minimally generated by (X, x). This paper shows that if the ring R is left noetherian, then there exists a minimal generator for the functor ?xt (?, M) : ? → 𝒮ets, where M is a left R-module and ? is the class (considered as full subcategory of left R-modules) of injective left R-modules.     

Completely 𝒲-Resolved Complexes

Let R be a ring and 𝒲 a self-orthogonal class of left R-modules which is closed under finite direct sums and direct summands. A complex C of left R-modules is called a 𝒲-complex if it is exact with each cycle Z ⁿ (C) ∈ 𝒲. The class of such complexes is denoted by 𝒞_𝒲. A complex C is called completely 𝒲-resolved if there exists an exact sequence of complexes D _· = … → D _?1 → D ₀ → D ₁ → … with each term D _i in 𝒞_𝒲 such that C = ker(D ₀ → D ₁) and D _· is both Hom(𝒞_𝒲, ?) and Hom(?, 𝒞_𝒲) exact. In this article, we show that C = … → C ^?1 → C ⁰ → C ¹ → … is a completely 𝒲-resolved complex if and only if C ⁿ is a completely 𝒲-resolved module for all n ∈ ?. Some known results are obtained as corollaries.     

Pure ideals quotient categories and infinite group-graded rings

Abstract

Adapting the idea of twisted tensor products to the category of conic algebras (CA), i.e., finitely generated graded algebras, we define a family of objects hom ^?[?, 𝒜] there, one for each pair 𝒜, ? ∈ CA, with analogous properties to its internal coHom objects hom [?, 𝒜], but representing spaces of transformations whose coordinate rings and the ones of their respective domains do not commute among themselves. They give rise to a CA ^op -based category different from that defined by the function (𝒜, ?) ?  hom [?, 𝒜]. The mentioned non commutativity is controlled by a collection of twisting maps τ_{𝒜, ?}. We show, under certain circumstances, that (bi)algebras end ^?[𝒜] ?  hom ^?[𝒜, 𝒜] are counital 2-cocycle twistings of the corresponding coEnd objects end [𝒜]. This fact generalizes the twist equivalence (at a semigroup level) between, for instance, the quantum groups G L _q (n) and their multiparametric versions.     

Cotorsion Theories Cogenerated by a Torsionfree Class

Let R be a right perfect ring, and let (?, 𝒞) be a cotorsion theory in the category of right R-modules ? _R . In this article, it is shown that every right R-module has a superfluous ?-cover if and only if there exists a torsion theory (𝒜, ?) such that (?, 𝒞) is cogenerated by ?. It is also proved that if (𝒜, ?) is a cosplitting torsion theory, then (^⊥?, (^⊥?)^⊥) is a hereditary and complete cotorsion theory, and if (𝒜, ?) is a centrally splitting torsion theory, then (^⊥?, (^⊥?)^⊥) is a hereditary and perfect cotorsion theory.     

Range-Inclusive Maps in Rings with Idempotents

Let 𝒜 be a ring, let ? be an 𝒜-bimodule, and let 𝒞 be the center of ?. A map F:𝒜 → ? is said to be range-inclusive if [F(x), 𝒜] ? [x, ?] for every x ∈ 𝒜. We show that if 𝒜 contains idempotents satisfying certain technical conditions (which we call wide idempotents), then every range-inclusive additive map F:𝒜 → ? is of the form F(x) = λx + μ(x) for some λ ∈ 𝒞 and μ:𝒜 → 𝒞. As a corollary we show that if 𝒜 is a prime ring containing an idempotent different from 0 and 1, then every range-inclusive additive map from 𝒜 into itself is commuting (i.e., [F(x), x] = 0 for every x ∈ 𝒜).     

On Galois Comodules

Generalizing the notion of Galois corings, Galois comodules were introduced as comodules P over an A-coring 𝒞 for which P _A is finitely generated and projective and the evaluation map μ𝒞:Hom ^𝒞 (P, 𝒞) ?  _S P → 𝒞 is an isomorphism (of corings) where S = End ^𝒞 (P). It has been observed that for such comodules the functors ? ?  _A 𝒞 and Hom _A (P, ?) ?  _S P from the category of right A-modules to the category of right 𝒞-comodules are isomorphic. In this note we use this isomorphism related to a comodule P to define Galois comodules without requiring P _A to be finitely generated and projective. This generalises the old notion with this name but we show that essential properties and relationships are maintained. Galois comodules are close to being generators and have common properties with tilting (co)modules. Some of our results also apply to generalised Hopf Galois (coalgebra Galois) extensions.     

Models for homotopy categories of injectives and Gorenstein injectives

A natural generalization of locally noetherian and locally coherent categories leads us to define locally type FP_∞ categories. They include not just all categories of modules over a ring, but also the category of sheaves over any concentrated scheme. In this setting we generalize and study the absolutely clean objects recently introduced in [5 Bravo, D., Gillespie, J., Hovey, M. The stable module category of a general ring (arXiv:1405.5768). [Google Scholar]]. We show that 𝒟(𝒜𝒞), the derived category of absolutely clean objects, is always compactly generated and that it is embedded in K(Inj), the chain homotopy category of injectives, as a full subcategory containing the DG-injectives. Assuming the ground category 𝒢 has a set of generators satisfying a certain vanishing property, we also show that there is a recollement relating 𝒟(𝒜𝒞) to the (also compactly generated) derived category 𝒟(𝒢). Finally, we generalize the Gorenstein AC-injectives of [5 Bravo, D., Gillespie, J., Hovey, M. The stable module category of a general ring (arXiv:1405.5768). [Google Scholar]], showing that they are the fibrant objects of a cofibrantly generated model structure on 𝒢.     

Rings Over which the Krull Dimension and the Noetherian Dimension of All Modules Coincide

We denote by 𝒜(R) the class of all Artinian R-modules and by 𝒩(R) the class of all Noetherian R-modules. It is shown that 𝒜(R) ? 𝒩(R) (𝒩(R) ? 𝒜(R)) if and only if 𝒜(R/P) ? 𝒩(R/P) (𝒩(R/P) ? 𝒜(R/P)), for all centrally prime ideals P (i.e., ab ∈ P, a or b in the center of R, then a ∈ P or b ∈ P). Equivalently, if and only if 𝒜(R/P) ? 𝒩(R/P) (𝒩(R/P) ? 𝒜(R/P)) for all normal prime ideals P of R (i.e., ab ∈ P, a, b normalize R, then a ∈ P or b ∈ P). We observe that finitely embedded modules and Artinian modules coincide over Noetherian duo rings. Consequently, 𝒜(R) ? 𝒩(R) implies that 𝒩(R) = 𝒜(R), where R is a duo ring. For a ring R, we prove that 𝒩(R) = 𝒜(R) if and only if the coincidence in the title occurs. Finally, if Q is the quotient field of a discrete valuation domain R, it is shown that Q is the only R-module which is both α-atomic and β-critical for some ordinals α,β ≥ 1 and in fact α = β = 1.     

Nonlinear Strong Commutativity Preserving Maps on Prime Rings

Let 𝒜 be a unital prime ring containing a nontrivial idempotent P. Assume that Φ: 𝒜 → 𝒜 is a nonlinear surjective map. It is shown that Φ preserves strong commutativity if and only if Φ has the form Φ(A) = αA + f(A) for all A ∈ 𝒜, where α ∈ {1, ?1} and f is a map from 𝒜 into 𝒵(𝒜). As an application, a characterization of nonlinear surjective strong commutativity preserving maps on factor von Neumann algebras is obtained.     

Preprojective Cluster Variables of Acyclic Cluster Algebras

It is proved that any cluster-tilted algebra defined in the cluster category 𝒞(H) has the same representation type as the initial hereditary algebra H. For any valued quiver (Γ, Ω), an injection from the subset 𝒫?(Ω) of the cluster category 𝒞(Ω) consisting of indecomposable preprojective objects, preinjective objects, and the first shifts of indecomposable projective modules to the set of cluster variables of the corresponding cluster algebra 𝒜_Ω is given. The images are called “preprojective cluster variables”. It is proved that all preprojective cluster variables other than u_i have denominators u ^dim M in their irreducible fractions of integral polynomials, where M is the corresponding preprojective module or preinjective module. In case the valued quiver (Γ, Ω) is of finite type, the denominator theorem holds with respect to any cluster. Namely, let x = (x₁,…, x_n) be a cluster of the cluster algebra 𝒜_Ω, and V the cluster tilting object in 𝒞(Ω) corresponding to x, whose endomorphism algebra is denoted by Λ. Then the denominator of any cluster variable y other than x_i is x ^dim M, where M is the indecomposable Λ-module corresponding to y. This result is a generalization of the corresponding result of Caldero–Chapoton–Schiffler to the non-simply-laced case.