RELATIVE HOMOLOGY. M. Auslander Ø. Solberg

Size: px
Start display at page:

Download "RELATIVE HOMOLOGY. M. Auslander Ø. Solberg"

Transcription

1 RELATIVE HOMOLOGY M. Auslander Ø. Solberg Department of Mathematics Institutt for matematikk og statistikk Brandeis University Universitetet i Trondheim, AVH Waltham, Mass N 7055 Dragvoll USA NORWAY September 15, 2005 Introduction Throughout this paper all rings are assumed to be artin R-algebras over a fixed commutative artin ring R, i.e. R-algebras which are finitely generated R-modules. All modules are assumed to be finitely generated and we denote the category of finitely generated left modules over an artin algebra Λ by mod Λ. Our purpose in this paper is to explain some applications of relative homological algebra to the study of the modules over an artin R-algebra Λ. We start by describing two applications of relative homological algebra, one ring theoretic and the other module theoretic. We hope this will encourage the reader to read the rest of the paper, which consists of a brief summary of relative homological algebra for modules over artin algebras and an explanation of how the two results given in the first section follow from the general theory. Throughout the paper all subcategories are assumed to be additive subcategories. Recall that an additive subcategory of mod Λ is a full subcategory X closed under isomorphisms and all finite direct sums of modules in X and all direct summands of modules in X again are in X. Moreover, for any module A in mod Λ we let add A denote the additive subcategory of mod Λ generated by A, i.e. add A consists of the Λ-modules isomorphic to direct summands of finite direct sums of A. Also, the symbol denotes the direct sum in mod Λ. 1 Results Before stating our first result it is convenient to make the following definition. We say an artin algebra Λ is D Tr-selfinjective if the subcategory add{(tr D) i Λ} i=0 is of finite type, i.e. there is a module C in mod Λ such that add C = add{(tr D) i Λ} i=0. Here Tr D0 is defined to be the identity map. Clearly Λ being D Tr-selfinjective is equivalent to either of the following equivalent conditions: (a) the D Tr-orbit of all the indecomposable injective modules are finite or (b) the union of the Tr D-orbits of all the indecomposable projective modules coincide with the union of the D Tr-orbits of all the indecomposable injective modules. It is obvious that selfinjective algebras as well as algebras of finite representation type are D Tr-selfinjective. The somewhat less obvious result that the Auslander algebras of selfinjective algebras of finite representation type are D Tr-selfinjective gives other examples of D Tr-selfinjective algebras. In this connection it is worth noting that not all Auslander algebras are D Tr-selfinjective. Our reason for introducing D Tr-selfinjective algebras is that these algebras are intimately related to the better known class of algebras of injective dimension 2 which are also of dominant Partially supported by NSF Grant No. DMS Supported by the Norwegian Research Council for Science and Humanities. 1

2 dimension 2. However, before stating the precise relationship between these type of algebras we recall that an artin algebra Γ is of dominant dimension at least r 1 (notation: dom.dim Γ r), if in a minimal injective resolution 0 Γ I 0 I 1 the injective Γ-modules I j are also projective for j = 0, 1,..., r 1. Theorem 1.1 An artin algebra Γ has dom.dim Γ = 2 and id Γ Γ = 2 if and only if there is a module T over a D Tr-selfinjective algebra Λ satisfying the following: (a) Γ = End Λ (T ) (b) T = C M, where add C = add{(tr D) i Λ} i=0 and M D Tr M. The following is a special case of this result which seems of particular interest. Corollary 1.2 Suppose Λ is a symmetric algebra (e.g. Λ is a modular group ring) and A a Λ- module of finite Ω-period n. Let M = n 1 i=0 Ωi Λ (A) and let T = Λ M. Then Γ = End Λ(T ) has the property dom.dim Γ = 2 = id Γ Γ. For those readers unfamiliar with the notation Ω i Λ (M) used above, we recall that Ω Λ(M) denotes the kernel of a projective cover of a module M and the Ω i Λ (M) for all i = 0, 1,... are defined inductively as follows: Ω 0 Λ (M) = M and Ωi+1 Λ (M) = Ω Λ(Ω i Λ (M)) for all i 0. The Ωi Λ (M) is called the i-th syzygy of M. Before giving our other application we recall the notion of homologically finite subcategories introduced by M. Auslander and S. O. Smalø in [4]. Let Λ be an artin algebra. An additive subcategory X of mod Λ is contravariantly finite in mod Λ, if given any module C in mod Λ there is a morphism f: X C C with X C in X such that Hom Λ (X, X C ) Hom Λ (X, C) 0 is exact for all X in X. For a given module C such a morphism f: X C C is called a right X -approximation of C. The approximation is called minimal if in addition a morphism g: X C X C is an isomorphism whenever f g = f. It is easy to see that if C has a right X -approximation, then there is a minimal right X -approximation which is unique up to isomorphism. Dually, an additive subcategory Y of mod Λ is covariantly finite in mod Λ, if given any module A in mod Λ there is a morphism g: A Y A with Y in Y such that Hom Λ (Y A, Y ) Hom Λ (A, Y ) 0 is exact for all Y in Y. Dually one also defines left Y-approximations and minimal left Y-approximations. For example, if X = add A for some module A in mod Λ, then X is both contravariantly and covariantly finite in mod Λ. A subcategory X of mod Λ which is both contravariantly and covariantly finite in mod Λ is called functorially finite in mod Λ. Moreover, a subcategory of mod Λ satisfying one of these notions of finiteness is called a homologically finite subcategory of mod Λ. Now we have the necessary background to explain our second application. In [3] M. Auslander and I. Reiten showed that the additive subcategory generated by all n-th syzygy modules, Ω n Λ (mod Λ), is functorially finite for all positive n. We generalize this result as follows. Let X be a functorially finite subcategory of mod Λ containing all the projective Λ-modules. For each module C in mod Λ let X 1 (C) f1(c) X 0 (C) f0(c) C 0 be exact with each f i (C): X i (C) Im f i (C) being a minimal right X -approximation. For each module C in mod Λ denote Im f n (C) by Ω n X (C). Let Ωn X (mod Λ) denote the additive subcategory of mod Λ generated by the modules Ω n X (C) for all modules C in mod Λ. Then we have the following result. Theorem 1.3 The subcategory X Ω n X (mod Λ) is functorially finite in mod Λ for all positive n. 2

3 A special case of this result is the following. Let X = add G for a generator G of mod Λ. Then X is functorially finite in mod Λ and contains all the projective Λ-modules. In this case the above result says that the union of X and the additive subcategory of mod Λ generated by all the kernels of the minimal right X -approximations is functorially finite in mod Λ. By [4, Proposition 3.13 (a)] removing a subcategory of finite type from a homologically finite subcategory does not change the homological finiteness. Hence it follows that the additive subcategory of mod Λ generated by all the kernels of the minimal right X -approximations is functorially finite in mod Λ. 2 Relative Homological Algebra In this section we give a brief summary of relative homological algebra for modules over artin algebras. Let Λ be an artin algebra. A relative homology theory for the category mod Λ consists of a class E of short exact sequences 0 A B C 0 in mod Λ which is closed under isomorphisms f 1 f 2 of exact sequences, pushouts, pullbacks and finite sums, i.e. if 0 A 1 A2 A3 0 and 0 A f 1 1 A f 2 2 A 3 0 are in E, then 0 A 1 A (f 1,f 1 ) 1 A 2 (f2,f 2 ) A 3 A 3 0 is in E. Of particular concern to us are the relative homological theories one obtains as follows. Let X be an arbitrary additive subcategory of mod Λ. Then associated with X is the relative homology theory E X consisting of all exact sequences 0 A B C 0 such that 0 Hom Λ (X, A) Hom Λ (X, B) Hom Λ (X, C) 0 is exact for all X in X and also the relative homological theory E X consisting all exact sequences 0 A B C 0 in mod Λ such that 0 Hom Λ (C, X) Hom Λ (B, X) Hom Λ (A, X) 0 is exact for all X in X. Now it is not difficult to see that associated with a relative homological theory E of mod Λ is the additive subfunctor F of the bifunctor Ext 1 Λ (, ): (mod Λ)op mod Λ Ab given by F (C, A) consisting of all exact sequences 0 A B C 0 in Ext 1 Λ(C, A) with are in E, where Ab denotes the category of abelian groups and (mod Λ) op denotes the opposite category of mod Λ. Recall that a functor F : (mod Λ) op mod Λ Ab is called a bifunctor. A bifunctor F : (mod Λ) op mod Λ Ab is said to be additive if for each C in (mod Λ) op and A in mod Λ the functors F (C, ): mod Λ Ab and F (, A): (mod Λ) op Ab are additive functors. Moreover, a subfunctor F of Ext 1 Λ(, ): (mod Λ) op mod Λ Ab is called an additive subfunctor if F is an additive bifunctor. In fact the map which assigns to each relative homological theory E the additive subfunctor F of Ext 1 Λ (, ) gives a bijection between the set of relative homological theories and the set of additive subfunctors of Ext 1 Λ(, ). Since the only subfunctors of Ext 1 Λ(, ) which are of interest to us are those associated with a relative homological theory E of mod Λ, we assume from now on that when we say that F is a subfunctor of Ext 1 Λ(, ) we mean that F is an additive subfunctor of Ext 1 Λ(, ). Suppose now that E is a relative homological theory with corresponding subfunctor F of Ext 1 Λ (, ). We say that an exact sequence C f 2 f 1 f 0 2 C1 C0 0 is F -exact if the exact sequences 0 Ker f i C i Ker f i 1 0 are in E for all i = 1, 2,.... We will often use the notation Ext 1 F (C, A) for F (C, A) when we want to emphasize that F (C, A) consists of the F -exact sequences 0 A B C 0. As with standard homological algebra, if 0 A B C 0 is F -exact, then for all X in mod Λ there are exact sequences ( ) 0 Hom Λ (X, A) Hom Λ (X, B) Hom Λ (X, C) Ext 1 F (X, A), which are functorial in X and the F -exact sequence 0 A B C 0. As in standard homological algebra we would like to define additive bifunctors Ext i F (, ): (mod Λ) op mod Λ Ab for i = 0, 1,..., such that for an F -exact sequence 0 A B C 0 we get the usual type of long exact sequences of additive functors 0 Hom Λ (X, A) Hom Λ (X, B) Hom Λ (X, C) Ext 1 F (X, A) Ext1 F (X, B) Ext1 F (X, C) Ext 2 F (X, A) Ext 2 F (X, B)..., Ext 1 F (X, C) 3

4 which are functorial in X and the F -exact sequence 0 A B C 0. For this purpose it is convenient to introduce the notion of an F -projective module for a corresponding relative homological theory E. We say that a module P is F -projective if 0 Hom Λ (P, A) Hom Λ (P, B) Hom Λ (P, C) 0 is exact for all F -exact sequences 0 A B C 0 in mod Λ. We denote by P(F ) the subcategory of mod Λ consisting of all F -projective modules. Using the exact sequence ( ), it is easy to see as in the standard homological algebra, that a module P is F -projective if and only if Ext 1 F (P, ) = 0. It is clear that P(F ) contains P(Λ), where P(Λ) is the subcategory of mod Λ consisting of the projective Λ-modules. In particular, from the existence of almost split sequences, it follows that P(F X ) = P(Λ) X, where F X is the subfunctor of Ext 1 Λ(, ) corresponding to E X. Using this one can show that a relative homological theory E has the property that F = F P(F ) if and only if F = F X for some additive subcategory X of mod Λ. Suppose now that F = F P(F ). Then for each F -exact sequence 0 A B C 0 and X in mod Λ we have an exact sequence 0 Hom Λ (X, A) Hom Λ (X, B) Hom Λ (X, C) Ext 1 F (X, A) Ext 1 F (X, B) Ext 1 F (X, C), which is functorial in X and F -exact sequences 0 A B C 0. Thus we see that the hypothesis that F = F P(F ) gives us part of our desired long exact sequence. However in order to get a fully satisfactory theory, it seems necessary to make further assumptions on F. We say that a subfunctor F of Ext 1 Λ (, ) has enough projectives if and only if given any Λ- module C there is an F -exact sequence 0 K P C 0 with P an F -projective module. From this it follows that each Λ-module C has an F -projective resolution, i.e. there is an F -exact sequence P 2 P 1 P 0 C 0 with the P i in P(F ) for all i. In analogy with standard homological algebra we define Ext i F (C, X) to be the i-th homology of the complex 0 Hom Λ (P 0, X) Hom Λ (P 1, X) Hom Λ (P 2, X). If one substitutes F -exact sequences and F -projective modules for exact sequences and projective modules, then most of the basic result and concepts of standard homological algebra translate verbatim to the relative context. For instance, it is clear what one means by pd F C, the F - projective dimension of a module C as well as gl.dim F Λ, the F -global dimension of Λ. Moreover, for each F -exact sequence 0 A B C 0 and X in mod Λ we get our desired long exact sequence 0 Hom Λ (X, A) Hom Λ (X, B) Hom Λ (X, C) Ext 1 F (X, A) Ext 1 F (X, B) Ext 1 F (X, C) Ext 2 F (X, A) Ext2 F (X, B)... Ext1 F (X, C) functorial in the F -exact sequence 0 A B C 0 and X in mod Λ. In view of these observations it is of particular interest to know when a subfunctor F of Ext 1 Λ (, ) has enough projectives. Here we use the notion of homologically finite subcategories defined in section 1. It is relatively straightforward to see that a subfunctor F of Ext 1 Λ (, ) has enough projective modules if and only if P(F ) is contravariantly finite in mod Λ and F = F P(F ). In particular, if X = add A for some module A, then F X has enough projectives and P(F X ) = P(Λ) X. We also have the dual notion of F -injective modules for a subfunctor F of Ext 1 Λ (, ). A module I in mod Λ is F -injective if and only if 0 Hom Λ (C, I) Hom Λ (B, I) Hom Λ (A, I) 0 is exact for all F -exact sequences 0 A B C 0 in mod Λ. The subcategory of all F - injective modules is denoted by I(F ), which clearly contains the subcategory I(Λ) of all injective Λ-modules. The subfunctor F has enough injectives if and only if given any Λ-module A there is an F -exact sequence 0 A I K 0 with I in I(F ). Let F X denote the subfunctor of Ext 1 Λ (, ) corresponding to the relative homological theory E X for a subcategory X of mod Λ. Then, dual 4

5 to the characterization of subfunctors of Ext 1 Λ(, ) with enough projectives, a subfunctor F of Ext 1 Λ (, ) has enough injectives if and only if I(F ) is covariantly finite in mod Λ and F = F I(F ). In general the F -projective and F -injective modules are related in the following way. Using that for an exact sequence 0 A B C 0 the sequence Hom Λ (X, B) Hom Λ (X, C) 0 is exact if and only if Hom Λ (B, D Tr X) Hom Λ (A, D Tr X) 0 is exact by [1, III, Corollary 4.2], it follows that I(F ) = I(Λ) D Tr P(F ) and P(F ) = P(Λ) Tr DI(F ). This implies that for an additive subcategory X of mod Λ the equality I(F X ) = I(Λ) D Tr X holds. The duality D and the transpose Tr map contravariantly finite subcategories to covariantly finite subcategories and vice versa. By [4, Proposition 3.13] adding a subcategory of finite type to a homologically finite subcategory does not change the type of homologically finiteness. Using these observations a subfunctor F of Ext 1 Λ (, ) has enough projective and injective modules if and only if P(F ) is functorially finite in mod Λ and F = F P(F ). In particular, if X = add A for some module A in mod Λ, then (a) F X has enough projective nodules and enough injective modules and (b) P(F ) = P(Λ) X and I(F ) = I(Λ) D Tr X. The main feature of relative homological algebra is that the class of extensions of modules is restricted while the homomorphisms remain the same. This has the effect of making some Λ- modules which are not projective or injective Λ-modules behave like projective or injective objects in the relative homological setting. For example, in the relative homological theory of F = F P(Λ), the projective Λ-modules also behave like injective objects since an exact sequence 0 A B C 0 is F -exact if and only if 0 Hom Λ (C, Λ) Hom Λ (B, Λ) Hom Λ (A, Λ) 0 is exact. In fact, I(F ) = I(Λ) P(Λ). But this is not the only change that occurs when one goes from standard to relative homology. Some subcategories of mod Λ may be closed under extensions in a suitable relative theory without being extension closed in the standard theory. For example, the functorially finite subcategory Sub(Λ) consisting of all modules isomorphic to submodules of free Λ-modules is extension closed in the relative theory F = F P(Λ) but not in general extension closed in the standard theory. In fact Sub(Λ) is extension closed in the standard theory if and only if Λ satisfies the rather restrictive condition that the Λ op -injective envelope of Λ op is at most 1 [2, Proposition 3.5]. Many of the results in the theory of homologically finite subcategories require that subcategories are closed under extensions. As we saw above not all homologically finite subcategories are closed under extensions, hence many of the results for homologically finite subcategories do not apply. One example of such a result is the Auslander-Reiten Lemma, which says the following. If Y is an extension closed covariantly finite subcategory of mod Λ, then the subcategory {X mod Λ Ext 1 Λ(X, ) Y = 0} is an extension closed contravariantly finite subcategory of mod Λ. But it turns out that most of the results in the standard theory for homologically finite subcategories generalize to relative homological settings when reformulated properly. For example, the generalization of the Auslander-Reiten Lemma to the relative setting is the following. Theorem 2.1 Let F be a subfunctor of Ext 1 Λ (, ) with enough projectives. If Y is an F -extension closed covariantly finite subcategory of mod Λ, then the subcategory {X mod Λ Ext 1 F (X, ) Y = 0} is an F -extension closed contravariantly finite subcategory of mod Λ. We observed above that the subcategory Sub(Λ) is covariantly finite in mod Λ and closed under the relative extensions given by F = F P(Λ), which has enough projectives. Then Theorem 2.1 implies that the subcategory X = {X mod Λ Ext 1 F (X, ) Sub(Λ) = 0} is an F -extension closed contravariantly finite subcategory of mod Λ. Even though X is given by expressions involving relative homology functors, we have the following description of X not involving any relative homological algebra. The subcategory X is equal to the subcategory {X mod Λ Hom Λ (X, ) A = 0}, where A = {A mod Λ Ext 1 Λ(A, Λ) = 0} and Hom Λ (X, A) is Hom Λ (X, A) modulo the morphisms from X to A which factor through a projective Λ-module. For more information on this and additional topics the reader is referred to the papers [5, 6, 7, 8]. The first examples of relative homology theories for categories of modules over a ring were given and developed by G. Hochshild in [12, 1956]. Relative homological algebra was generalized 5

6 and extended to abstract categories by A. Heller in [11, 1958] and by D. A. Buchsbaum in [9, 1959]. M. C. R. Butler and G. Horrocks showed in [10, 1961] that the relative homology theories in a module category over a ring Λ are in one-one correspondence with the category of additive subfunctors of Ext 1 Λ(, ). It is their approach to relative homological algebra we have taken in this paper and also in the papers [5, 6, 7, 8]. 3 Outline of proofs This section is devoted to describing some of the theoretical background for the proofs of the theorems stated in section 1. We start with the ring theoretic application given in Theorem 1.1, which is proven using relative cotilting theory. We begin with a brief review of this theory. Let Λ be an artin algebra. The object of cotilting theory is to compare Λ and End Λ (T ) for a cotilting module T over Λ. A cotilting module T is a Λ-module with (i) Ext i Λ(T, T ) = 0, for i > 0, (ii) id Λ T < and (iii) for any injective Λ-module I there is an exact sequence 0 T n T n 1 T 1 T 0 I 0 with T i in add T for all i. During the discussion of the theoretical background for Theorem 1.1 we fix F to be F add G for some generator G of mod Λ. Recall that F (C, A) = {0 A B C 0 Hom Λ (G, B) Hom Λ (G, C) 0 is exact}. Then P(F ) = add G and F has enough projectives and injectives. A relative cotilting module is given by the following. An F -cotilting module is a Λ-module T with (i) Ext i F (T, T ) = 0 for all i > 0, (ii) id F T < (iii) for all modules I in I(F ) there is an F -exact sequence 0 T n T n 1 T 1 T 0 I 0 with T i is in add T for all i. An example of an F -cotilting module that always exists is a module T such that add T = I(F ), which trivially satisfies (i) (iii). It is this type of relative cotilting modules that we use in proving Theorem 1.1. The standard cotilting modules are obtained by letting G = Λ so F = Ext 1 Λ (, ). The relative extension groups may be zero without the standard extension groups being zero. This enables us to construct more relative cotilting modules than standard ones. For instance, for standard cotilting theory selfinjective algebras have only the trivial cotilting module Λ, while using various relative homological theories one obtains relative cotilting modules other than Λ which give nontrivial results of which Theorem 1.1 is an example. Let T be a Λ-module which is an F -cotilting module. We want to compare Λ and Γ. Since T is a module over Γ, we have the functor Hom Λ (, T ): mod Λ mod Γ and Hom Λ (Λ, Λ T ) Γ T. As in the standard case the naturally induced homomorphism Λ End Γ ( Γ T Λ op) is an isomorphism. Moreover, one can show that the number of nonisomorphic simple Γ-modules is the same as the number of nonisomorphic indecomposable modules in P(F ) = add G. So, if the subcategory P(F ) properly contains P(Λ), then Γ has more nonisomorphic simple modules than Λ. Furthermore, we have the following connections between Λ and Γ. Theorem 3.1 Let F = F add G for a generator G of mod Λ and let T be a Λ-module which is an F -cotilting module. Denote End Λ (T ) by Γ. Then the subcategory Hom Λ (P(F ), T ) in mod Γ contains add Γ T and is add T 0 for a standard cotilting module T 0 over Γ with id Γ T 0 max{id F T, 2}. Moreover, id Γ Γ T id F Λ T and the modules Λ T and Γ T 0 have the property that the natural homomorphism Γ T 0 Hom Λ (Hom Γ ( Γ T 0, Γ T ), Λ T ) is an isomorphism. The last property of the modules T and T 0 mentioned in Theorem 3.1 turns out to be important. In this connection it is convenient to make the following definition. Let M be a Λ-module and Σ = End Λ (M). If A is a Λ-module such that the natural homomorphism A Hom Σ (Hom Λ (A, M), M) is an isomorphism, then M is said to dualize A. If A is a direct summand of M, then A is called a 6

7 dualizing summand of M. Since add Γ T is contained in Hom Λ (P(F ), T ) = add T 0, we can choose T 0 such that Γ T is a direct summand of Γ T 0. Then Theorem 3.1 says that Γ T is a dualizing summand of the standard cotilting module Γ T 0. The converse of this result is also true, namely all dualizing summands of standard cotilting modules are obtained from relative cotilting modules. More precisely, we have the following result. Theorem 3.2 Let T = T 1 T 2 be a standard cotilting module in mod Γ for an artin algebra Γ. Let Λ = End Γ (T 1 ). Define F to be the subfunctor of Ext 1 Λ(, ) given by F P(F ), where P(F ) = Hom Γ (add Γ T, T 1 ). Then T 1 is a dualizing summand of the Γ-module T if and only if the Λ-module ΛT 1 is an F -cotilting module. This shows that relative cotilting modules and dualizing summands of standard cotilting modules are intimately connected and give a way of comparing algebras with a different number of nonisomorphic simple modules. We saw that a module T such that add T = I(F ) always is an F -cotilting module. In this case we have even more information than in the general case. Proposition 3.3 Let F = F add G for a generator G of mod Λ, where add G properly contains P(Λ). Let T be a Λ-module such that add T = I(F ). Denote End Λ (T ) by Γ. Then the Γ-module Hom Λ (G, T ) is a standard cotilting module over Γ with id Γ Hom Λ (G, T ) = 2. Recall that Theorem 1.1 from section 1 says the following. Theorem 1.1 An artin algebra Γ has dom.dim Γ = 2 and id Γ Γ = 2 if and only if there is a module T over a D Tr-selfinjective algebra Λ satisfying the following: (a) Γ = End Λ (T ) (b) T = C M, where add C = add{(tr D) i Λ} i=0 and M D Tr M. Next we explain part of the proof of this result using what we have discussed so far. Let Λ be an artin algebra. Assume that O Λ = add{(tr D) i Λ} i=0 is finite. This implies that all the injective Λ-modules are in O Λ. Let C be a Λ-module such that add C = O Λ and M a Λ-module such that M D Tr M. Denote C M by T. Let F = F add T. Using that I(F ) = I(Λ) Tr DP(F ) and P(F ) = add T, it follows that P(F ) = I(F ) = add T. Hence, T is an F -cotilting module. By the above result we have that id Γ Γ = 2. By Theorem 3.1 we have that id Γ Γ T = 0. Since Λ T is a generator, it follows that Γ T is a projective injective Γ-module. Let P 1 P 0 T 0 be a projective presentation of T as a Λ-module. Apply the functor Hom Λ (, T ) to this sequence and we obtain the following exact sequence 0 Γ Hom Λ (P 0, T ) Hom Λ (P 1, T ) I 2 0. The modules Hom Λ (P i, T ) for i = 0, 1 are in add Γ T, so that the dominant dimension of Γ is at least 2. Since id Γ Γ = 2, the dominant dimension of Γ must be 2. This proves one direction of Theorem 1.1 we mentioned above. The other direction is more involved and the reader is referred to [8] for further details of the proof. We end this paper by giving some details of the proof of the second result, which we recall next. Let X be a functorially finite subcategory of mod Λ containing the projective Λ-modules. For each module C in mod Λ let X 1 (C) f1(c) X 0 (C) f0(c) C 0 be exact with each f i (C): X i (C) Im f i (C) being a minimal right X -approximation. Denote Im f n (C) by Ω n X (C) for each C in mod Λ and n > 0. Let Ω n X (mod Λ) denote the additive subcategory of mod Λ generated by the modules Ω n X (C) for all modules C in mod Λ. Theorem 1.3 The subcategory X Ω n X (mod Λ) is functorially finite in mod Λ for all positive n. 7

8 In [3] M. Auslander and I. Reiten proved that Ω n Λ (mod Λ) is functorially finite in mod Λ for all positive n. We claimed in the first section that the above result is an generalization of this result. To see this let F be the subfunctor F X of Ext 1 Λ (, ). Then P(F ) = X and F has enough projectives and injectives. Since a relative projective cover of a module C in mod Λ is the same as a minimal right X -approximation, we have that relative syzygies Ω n F (C) coincide with Ωn X (C) for every module C in mod Λ. This gives the analogy with the standard result. To prove the theorem we have to show that for each n the subcategory X Ω n Λ (mod Λ) is functorially finite. We first prove that it is a contravariantly finite subcategory of mod Λ. The proof goes by induction on n, where we only indicate the steps for n = 1. Since F has enough injectives, we also have negative relative syzygies Ω n F (C) using a minimal relative injective resolution of C in mod Λ. Let C be an arbitrary module in mod Λ. Then construct the following diagram 0 0 Ω F (I) == Ω F (I) 0 Z P I Ω 1 F (C) 0 0 C I Ω 1 F (C) 0, 0 0 where the diagram is induced by starting with the minimal right X -approximation 0 Ω F (I) P I I 0. Since 0 Z P I Ω 1 F (C) 0 is a right X -approximation, Z Ω F (Ω 1 F (C)) X for some module X in X. Then it is relatively straightforward to see that Z C is a right X Ω 1 X (mod Λ)-approximation. To prove that X Ω n X (mod Λ) is covariantly finite in mod Λ we make use of the following result by M. Auslander and I. Reiten. Proposition 3.4 ([2, Proposition 1.2 (b)]) Suppose C and D are two categories and G: C D and H: D C is an adjoint pair of functors with G a left adjoint and H a right adjoint. Then Im H is covariantly finite in C and the homomorphism I HG given by the adjointness gives a left Im H-approximation C HG(C) for each object C in C. Let mod F Λ denote the category mod Λ modulo the subcategory P(F ) = X. Then we show that Ω n X : mod F Λ mod F Λ has a right adjoint, hence Ω n X (mod Λ) is covariantly finite in mod F Λ. Since X is covariantly finite in mod Λ, it follows easily that X Ω n X (mod Λ) is covariantly finite in mod Λ. Acknowledgements The work leading up to this paper was done while the second author spent the academic years of and in the Department of Mathematics at Brandeis University, Waltham, Mass., USA. He would like to express his gratitude for the hospitality and the support of the department and his coauthor during his stay there. References [1] M. Auslander, Functors and morphisms determined by objects, in Representation theory of artin algebras, Proceedings of the Philadelphia conference, Lecture Notes in Pure and Appl. Math., vol. 37, Dekker, New York, 1978, [2] M. Auslander, I. Reiten, Homologically finite subcategories, Proceedings of the ICRA V, Tsukuba, Japan. 8

9 [3] M. Auslander, I. Reiten, k-gorenstein algebras and syzygy modules, Preprint, Mathematics no. 12/1992, The University of Trondheim, Trondheim, Norway. [4] M. Auslander, S. O. Smalø, Preprojective modules over artin algebras, J. Algebra 66 (1980) [5] M. Auslander, Ø. Solberg, Relative homology and representation theory I, Relative homology and homologically finite subcategories, Comm. in Alg., to appear. [6] M. Auslander, Ø. Solberg, Relative homology and representation theory II, Relative cotilting theory, Comm. in Alg., to appear. [7] M. Auslander, Ø. Solberg, Relative homology and representation theory III, Cotilting modules and Wedderburn correspondence, Comm. in Alg., to appear. [8] M. Auslander, Ø. Solberg, Gorenstein algebras and algebras with dominant dimension at least 2, Comm. in Alg., to appear. [9] D. A. Buchsbaum, A note on homology in categories, Ann. Math., Princeton 69 (1959) [10] M. C. R. Butler, G. Horrocks, Classes of extensions and resolutions, Phil. Trans. Royal Soc., London, Ser. A, 254 (1961) [11] A. Heller, Homological algebra in abelian categories, Ann. Math., Princeton, 68 (1958) [12] G. Hochshild, Relative homological algebra, Trans. Amer. Math. Soc. 82 (1956)

Gorenstein algebras and algebras with dominant dimension at least 2.

Gorenstein algebras and algebras with dominant dimension at least 2. Gorenstein algebras and algebras with dominant dimension at least 2. M. Auslander Ø. Solberg Department of Mathematics Brandeis University Waltham, Mass. 02254 9110 USA Institutt for matematikk og statistikk

More information

TRIVIAL MAXIMAL 1-ORTHOGONAL SUBCATEGORIES FOR AUSLANDER 1-GORENSTEIN ALGEBRAS

TRIVIAL MAXIMAL 1-ORTHOGONAL SUBCATEGORIES FOR AUSLANDER 1-GORENSTEIN ALGEBRAS J. Aust. Math. Soc. 94 (2013), 133 144 doi:10.1017/s1446788712000420 TRIVIAL MAXIMAL 1-ORTHOGONAL SUBCATEGORIES FOR AUSLANDER 1-GORENSTEIN ALGEBRAS ZHAOYONG HUANG and XIAOJIN ZHANG (Received 25 February

More information

Extensions of covariantly finite subcategories

Extensions of covariantly finite subcategories Arch. Math. 93 (2009), 29 35 c 2009 Birkhäuser Verlag Basel/Switzerland 0003-889X/09/010029-7 published online June 26, 2009 DOI 10.1007/s00013-009-0013-8 Archiv der Mathematik Extensions of covariantly

More information

RELATIVE THEORY IN SUBCATEGORIES. Introduction

RELATIVE THEORY IN SUBCATEGORIES. Introduction RELATIVE THEORY IN SUBCATEGORIES SOUD KHALIFA MOHAMMED Abstract. We generalize the relative (co)tilting theory of Auslander- Solberg [9, 1] in the category mod Λ of finitely generated left modules over

More information

STABLE MODULE THEORY WITH KERNELS

STABLE MODULE THEORY WITH KERNELS Math. J. Okayama Univ. 43(21), 31 41 STABLE MODULE THEORY WITH KERNELS Kiriko KATO 1. Introduction Auslander and Bridger introduced the notion of projective stabilization mod R of a category of finite

More information

Applications of exact structures in abelian categories

Applications of exact structures in abelian categories Publ. Math. Debrecen 88/3-4 (216), 269 286 DOI: 1.5486/PMD.216.722 Applications of exact structures in abelian categories By JUNFU WANG (Nanjing), HUANHUAN LI (Xi an) and ZHAOYONG HUANG (Nanjing) Abstract.

More information

Relative Left Derived Functors of Tensor Product Functors. Junfu Wang and Zhaoyong Huang

Relative Left Derived Functors of Tensor Product Functors. Junfu Wang and Zhaoyong Huang Relative Left Derived Functors of Tensor Product Functors Junfu Wang and Zhaoyong Huang Department of Mathematics, Nanjing University, Nanjing 210093, Jiangsu Province, China Abstract We introduce and

More information

Stable equivalence functors and syzygy functors

Stable equivalence functors and syzygy functors Stable equivalence functors and syzygy functors Yosuke OHNUKI 29 November, 2002 Tokyo University of Agriculture and Technology, 2-24-16 Nakacho, Koganei, Tokyo 184-8588, Japan E-mail: ohnuki@cc.tuat.ac.jp

More information

REPRESENTATION DIMENSION AS A RELATIVE HOMOLOGICAL INVARIANT OF STABLE EQUIVALENCE

REPRESENTATION DIMENSION AS A RELATIVE HOMOLOGICAL INVARIANT OF STABLE EQUIVALENCE REPRESENTATION DIMENSION AS A RELATIVE HOMOLOGICAL INVARIANT OF STABLE EQUIVALENCE ALEX S. DUGAS Abstract. Over an Artin algebra Λ many standard concepts from homological algebra can be relativized with

More information

AUSLANDER-REITEN THEORY VIA BROWN REPRESENTABILITY

AUSLANDER-REITEN THEORY VIA BROWN REPRESENTABILITY AUSLANDER-REITEN THEORY VIA BROWN REPRESENTABILITY HENNING KRAUSE Abstract. We develop an Auslander-Reiten theory for triangulated categories which is based on Brown s representability theorem. In a fundamental

More information

Auslander-Reiten-quivers of functorially finite subcategories

Auslander-Reiten-quivers of functorially finite subcategories Auslander-Reiten-quivers of functorially finite subcategories Matthias Krebs University of East Anglia August 13, 2012 Preliminaries Preliminaries Let K be an algebraically closed field, Preliminaries

More information

ON A GENERALIZED VERSION OF THE NAKAYAMA CONJECTURE MAURICE AUSLANDER1 AND IDUN REITEN

ON A GENERALIZED VERSION OF THE NAKAYAMA CONJECTURE MAURICE AUSLANDER1 AND IDUN REITEN PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 52, October 1975 ON A GENERALIZED VERSION OF THE NAKAYAMA CONJECTURE MAURICE AUSLANDER1 AND IDUN REITEN ABSTRACT. Nakayama proposed a conjecture

More information

CONTRAVARIANTLY FINITE RESOLVING SUBCATEGORIES OVER A GORENSTEIN LOCAL RING

CONTRAVARIANTLY FINITE RESOLVING SUBCATEGORIES OVER A GORENSTEIN LOCAL RING CONTRAVARIANTLY FINITE RESOLVING SUBCATEGORIES OVER A GORENSTEIN LOCAL RING RYO TAKAHASHI Introduction The notion of a contravariantly finite subcategory (of the category of finitely generated modules)

More information

Higher dimensional homological algebra

Higher dimensional homological algebra Higher dimensional homological algebra Peter Jørgensen Contents 1 Preface 3 2 Notation and Terminology 5 3 d-cluster tilting subcategories 6 4 Higher Auslander Reiten translations 10 5 d-abelian categories

More information

ON SPLIT-BY-NILPOTENT EXTENSIONS

ON SPLIT-BY-NILPOTENT EXTENSIONS C O L L O Q U I U M M A T H E M A T I C U M VOL. 98 2003 NO. 2 ON SPLIT-BY-NILPOTENT EXTENSIONS BY IBRAHIM ASSEM (Sherbrooke) and DAN ZACHARIA (Syracuse, NY) Dedicated to Raymundo Bautista and Roberto

More information

On Auslander Reiten components for quasitilted algebras

On Auslander Reiten components for quasitilted algebras F U N D A M E N T A MATHEMATICAE 149 (1996) On Auslander Reiten components for quasitilted algebras by Flávio U. C o e l h o (São Paulo) and Andrzej S k o w r o ń s k i (Toruń) Abstract. An artin algebra

More information

Gorenstein Homological Algebra of Artin Algebras. Xiao-Wu Chen

Gorenstein Homological Algebra of Artin Algebras. Xiao-Wu Chen Gorenstein Homological Algebra of Artin Algebras Xiao-Wu Chen Department of Mathematics University of Science and Technology of China Hefei, 230026, People s Republic of China March 2010 Acknowledgements

More information

Journal of Algebra 330 (2011) Contents lists available at ScienceDirect. Journal of Algebra.

Journal of Algebra 330 (2011) Contents lists available at ScienceDirect. Journal of Algebra. Journal of Algebra 330 2011) 375 387 Contents lists available at ciencedirect Journal of Algebra www.elsevier.com/locate/jalgebra Higher Auslander algebras admitting trivial maximal orthogonal subcategories

More information

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to

More information

An Axiomatic Description of a Duality for Modules

An Axiomatic Description of a Duality for Modules advances in mathematics 130, 280286 (1997) article no. AI971660 An Axiomatic Description of a Duality for Modules Henning Krause* Fakulta t fu r Mathematik, Universita t Bielefeld, 33501 Bielefeld, Germany

More information

2 HENNING KRAUSE AND MANUEL SAOR IN is closely related is that of an injective envelope. Recall that a monomorphism : M! N in any abelian category is

2 HENNING KRAUSE AND MANUEL SAOR IN is closely related is that of an injective envelope. Recall that a monomorphism : M! N in any abelian category is ON MINIMAL APPROXIMATIONS OF MODULES HENNING KRAUSE AND MANUEL SAOR IN Let R be a ring and consider the category Mod R of (right) R-modules. Given a class C of R-modules, a morphism M! N in Mod R is called

More information

RELATIVE EXT GROUPS, RESOLUTIONS, AND SCHANUEL CLASSES

RELATIVE EXT GROUPS, RESOLUTIONS, AND SCHANUEL CLASSES RELATIVE EXT GROUPS, RESOLUTIONS, AND SCHANUEL CLASSES HENRIK HOLM Abstract. Given a precovering (also called contravariantly finite) class there are three natural approaches to a homological dimension

More information

ON MINIMAL APPROXIMATIONS OF MODULES

ON MINIMAL APPROXIMATIONS OF MODULES ON MINIMAL APPROXIMATIONS OF MODULES HENNING KRAUSE AND MANUEL SAORÍN Let R be a ring and consider the category ModR of (right) R-modules. Given a class C of R-modules, a morphism M N in Mod R is called

More information

Decompositions of Modules and Comodules

Decompositions of Modules and Comodules Decompositions of Modules and Comodules Robert Wisbauer University of Düsseldorf, Germany Abstract It is well-known that any semiperfect A ring has a decomposition as a direct sum (product) of indecomposable

More information

Dedicated to Helmut Lenzing for his 60th birthday

Dedicated to Helmut Lenzing for his 60th birthday C O L L O Q U I U M M A T H E M A T I C U M VOL. 8 999 NO. FULL EMBEDDINGS OF ALMOST SPLIT SEQUENCES OVER SPLIT-BY-NILPOTENT EXTENSIONS BY IBRAHIM A S S E M (SHERBROOKE, QUE.) AND DAN Z A C H A R I A (SYRACUSE,

More information

LINKAGE AND DUALITY OF MODULES

LINKAGE AND DUALITY OF MODULES Math. J. Okayama Univ. 51 (2009), 71 81 LINKAGE AND DUALITY OF MODULES Kenji NISHIDA Abstract. Martsinkovsky and Strooker [13] recently introduced module theoretic linkage using syzygy and transpose. This

More information

De Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)

De Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1) II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the

More information

Infinite dimensional tilting theory

Infinite dimensional tilting theory Infinite dimensional tilting theory Lidia Angeleri Hügel Abstract. Infinite dimensional tilting modules are abundant in representation theory. They occur when studying torsion pairs in module categories,

More information

SUPPORT VARIETIES FOR SELFINJECTIVE ALGEBRAS

SUPPORT VARIETIES FOR SELFINJECTIVE ALGEBRAS SUPPORT VARIETIES FOR SELFINJECTIVE ALGEBRAS KARIN ERDMANN, MILES HOLLOWAY, NICOLE SNASHALL, ØYVIND SOLBERG, AND RACHEL TAILLEFER Abstract. Support varieties for any finite dimensional algebra over a field

More information

Auslander-Reiten theory in functorially finite resolving subcategories

Auslander-Reiten theory in functorially finite resolving subcategories Auslander-Reiten theory in functorially finite resolving subcategories arxiv:1501.01328v1 [math.rt] 6 Jan 2015 A thesis submitted to the University of East Anglia in partial fulfilment of the requirements

More information

MODULE CATEGORIES WITHOUT SHORT CYCLES ARE OF FINITE TYPE

MODULE CATEGORIES WITHOUT SHORT CYCLES ARE OF FINITE TYPE proceedings of the american mathematical society Volume 120, Number 2, February 1994 MODULE CATEGORIES WITHOUT SHORT CYCLES ARE OF FINITE TYPE DIETER HAPPEL AND SHIPING LIU (Communicated by Maurice Auslander)

More information

arxiv:math/ v2 [math.rt] 9 Feb 2004

arxiv:math/ v2 [math.rt] 9 Feb 2004 CLUSTER-TILTED ALGEBRAS ASLAK BAKKE BUAN, ROBERT J. MARSH, AND IDUN REITEN arxiv:math/040075v [math.rt] 9 Feb 004 Abstract. We introduce a new class of algebras, which we call cluster-tilted. They are

More information

REPRESENTATION DIMENSION OF ARTIN ALGEBRAS

REPRESENTATION DIMENSION OF ARTIN ALGEBRAS REPRESENTATION DIMENSION OF ARTIN ALGEBRAS STEFFEN OPPERMANN In 1971, Auslander [1] has introduced the notion of representation dimension of an artin algebra. His definition is as follows (see Section

More information

A BRIEF INTRODUCTION TO GORENSTEIN PROJECTIVE MODULES. Shanghai , P. R. China

A BRIEF INTRODUCTION TO GORENSTEIN PROJECTIVE MODULES. Shanghai , P. R. China A BRIEF INTRODUCTION TO GORENSTEIN PROJECTIVE MODULES PU ZHANG Department of Mathematics, Shanghai 200240, P. R. China Shanghai Jiao Tong University Since Eilenberg and Moore [EM], the relative homological

More information

REMARKS ON REFLEXIVE MODULES, COVERS, AND ENVELOPES

REMARKS ON REFLEXIVE MODULES, COVERS, AND ENVELOPES REMARKS ON REFLEXIVE MODULES, COVERS, AND ENVELOPES RICHARD BELSHOFF Abstract. We present results on reflexive modules over Gorenstein rings which generalize results of Serre and Samuel on reflexive modules

More information

The Diamond Category of a Locally Discrete Ordered Set.

The Diamond Category of a Locally Discrete Ordered Set. The Diamond Category of a Locally Discrete Ordered Set Claus Michael Ringel Let k be a field Let I be a ordered set (what we call an ordered set is sometimes also said to be a totally ordered set or a

More information

A BRIEF INTRODUCTION TO GORENSTEIN PROJECTIVE MODULES. Department of Mathematics, Shanghai Jiao Tong University Shanghai , P. R.

A BRIEF INTRODUCTION TO GORENSTEIN PROJECTIVE MODULES. Department of Mathematics, Shanghai Jiao Tong University Shanghai , P. R. A BRIEF INTRODUCTION TO GORENSTEIN PROJECTIVE MODULES PU ZHANG Department of Mathematics, Shanghai Jiao Tong University Shanghai 200240, P. R. China Since Eilenberg and Moore [EM], the relative homological

More information

KOSZUL DUALITY FOR STRATIFIED ALGEBRAS I. QUASI-HEREDITARY ALGEBRAS

KOSZUL DUALITY FOR STRATIFIED ALGEBRAS I. QUASI-HEREDITARY ALGEBRAS KOSZUL DUALITY FOR STRATIFIED ALGEBRAS I. QUASI-HEREDITARY ALGEBRAS VOLODYMYR MAZORCHUK Abstract. We give a complete picture of the interaction between Koszul and Ringel dualities for quasi-hereditary

More information

A functorial approach to modules of G-dimension zero

A functorial approach to modules of G-dimension zero A functorial approach to modules of G-dimension zero Yuji Yoshino Math. Department, Faculty of Science Okayama University, Okayama 700-8530, Japan yoshino@math.okayama-u.ac.jp Abstract Let R be a commutative

More information

NONCOMMUTATIVE GRADED GORENSTEIN ISOLATED SINGULARITIES

NONCOMMUTATIVE GRADED GORENSTEIN ISOLATED SINGULARITIES NONCOMMUTATIVE GRADED GORENSTEIN ISOLATED SINGULARITIES KENTA UEYAMA Abstract. Gorenstein isolated singularities play an essential role in representation theory of Cohen-Macaulay modules. In this article,

More information

Tilting categories with applications to stratifying systems

Tilting categories with applications to stratifying systems Journal of Algebra 302 (2006) 419 449 www.elsevier.com/locate/jalgebra Tilting categories with applications to stratifying systems Octavio Mendoza a,, Corina Sáenz b a Instituto de Matemáticas, UNAM, Circuito

More information

Pure-Injectivity in the Category of Gorenstein Projective Modules

Pure-Injectivity in the Category of Gorenstein Projective Modules Pure-Injectivity in the Category of Gorenstein Projective Modules Peng Yu and Zhaoyong Huang Department of Mathematics, Nanjing University, Nanjing 2193, Jiangsu Province, China Abstract In this paper,

More information

The What, Where, and Why of Almost Split Sequences

The What, Where, and Why of Almost Split Sequences Proceedings of the International Congress of Mathematicians Berkeley, California, USA, 1986 The What, Where, and Why of Almost Split Sequences MAURICE AUSLANDER Throughout this paper we assume that R is

More information

Duality, Residues, Fundamental class

Duality, Residues, Fundamental class Duality, Residues, Fundamental class Joseph Lipman Purdue University Department of Mathematics lipman@math.purdue.edu May 22, 2011 Joseph Lipman (Purdue University) Duality, Residues, Fundamental class

More information

COHEN-MACAULAY RINGS SELECTED EXERCISES. 1. Problem 1.1.9

COHEN-MACAULAY RINGS SELECTED EXERCISES. 1. Problem 1.1.9 COHEN-MACAULAY RINGS SELECTED EXERCISES KELLER VANDEBOGERT 1. Problem 1.1.9 Proceed by induction, and suppose x R is a U and N-regular element for the base case. Suppose now that xm = 0 for some m M. We

More information

HOMOLOGICAL PROPERTIES OF MODULES OVER DING-CHEN RINGS

HOMOLOGICAL PROPERTIES OF MODULES OVER DING-CHEN RINGS J. Korean Math. Soc. 49 (2012), No. 1, pp. 31 47 http://dx.doi.org/10.4134/jkms.2012.49.1.031 HOMOLOGICAL POPETIES OF MODULES OVE DING-CHEN INGS Gang Yang Abstract. The so-called Ding-Chen ring is an n-fc

More information

Some Remarks on D-Koszul Algebras

Some Remarks on D-Koszul Algebras International Journal of Algebra, Vol. 4, 2010, no. 24, 1177-1183 Some Remarks on D-Koszul Algebras Chen Pei-Sen Yiwu Industrial and Commercial College Yiwu, Zhejiang, 322000, P.R. China peisenchen@126.com

More information

A generalized Koszul theory and its applications in representation theory

A generalized Koszul theory and its applications in representation theory A generalized Koszul theory and its applications in representation theory A DISSERTATION SUBMITTED TO THE FACULTY OF THE GRADUATE SCHOOL OF THE UNIVERSITY OF MINNESOTA BY Liping Li IN PARTIAL FULFILLMENT

More information

HOMOLOGICAL DIMENSIONS AND REGULAR RINGS

HOMOLOGICAL DIMENSIONS AND REGULAR RINGS HOMOLOGICAL DIMENSIONS AND REGULAR RINGS ALINA IACOB AND SRIKANTH B. IYENGAR Abstract. A question of Avramov and Foxby concerning injective dimension of complexes is settled in the affirmative for the

More information

LECTURE 3: RELATIVE SINGULAR HOMOLOGY

LECTURE 3: RELATIVE SINGULAR HOMOLOGY LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following

More information

Dimension of the mesh algebra of a finite Auslander-Reiten quiver. Ragnar-Olaf Buchweitz and Shiping Liu

Dimension of the mesh algebra of a finite Auslander-Reiten quiver. Ragnar-Olaf Buchweitz and Shiping Liu Dimension of the mesh algebra of a finite Auslander-Reiten quiver Ragnar-Olaf Buchweitz and Shiping Liu Abstract. We show that the dimension of the mesh algebra of a finite Auslander-Reiten quiver over

More information

Partial orders related to the Hom-order and degenerations.

Partial orders related to the Hom-order and degenerations. São Paulo Journal of Mathematical Sciences 4, 3 (2010), 473 478 Partial orders related to the Hom-order and degenerations. Nils Nornes Norwegian University of Science and Technology, Department of Mathematical

More information

Structures of AS-regular Algebras

Structures of AS-regular Algebras Structures of AS-regular Algebras Hiroyuki Minamoto and Izuru Mori Abstract In this paper, we define a notion of AS-Gorenstein algebra for N-graded algebras, and show that symmetric AS-regular algebras

More information

LADDER FUNCTORS WITH AN APPLICATION TO REPRESENTATION-FINITE ARTINIAN RINGS

LADDER FUNCTORS WITH AN APPLICATION TO REPRESENTATION-FINITE ARTINIAN RINGS An. Şt. Univ. Ovidius Constanţa Vol. 9(1), 2001, 107 124 LADDER FUNCTORS WITH AN APPLICATION TO REPRESENTATION-FINITE ARTINIAN RINGS Wolfgang Rump Introduction Ladders were introduced by Igusa and Todorov

More information

Special Precovered Categories of Gorenstein Categories

Special Precovered Categories of Gorenstein Categories Special Precovered Categories of Gorenstein Categories Tiwei Zhao and Zhaoyong Huang Department of Mathematics, Nanjing University, Nanjing 9, Jiangsu Province, P. R. China Astract Let A e an aelian category

More information

WIDE SUBCATEGORIES OF d-cluster TILTING SUBCATEGORIES

WIDE SUBCATEGORIES OF d-cluster TILTING SUBCATEGORIES WIDE SUBCATEGORIES OF d-cluster TILTING SUBCATEGORIES MARTIN HERSCHEND, PETER JØRGENSEN, AND LAERTIS VASO Abstract. A subcategory of an abelian category is wide if it is closed under sums, summands, kernels,

More information

Generalized tilting modules with finite injective dimension

Generalized tilting modules with finite injective dimension Journal of Algebra 3 (2007) 69 634 www.elsevier.com/locate/jalgebra Generalized tilting modules with finite injective dimension Zhaoyong Huang Department of Mathematics, Nanjing University, Nanjing 20093,

More information

THE RADIUS OF A SUBCATEGORY OF MODULES

THE RADIUS OF A SUBCATEGORY OF MODULES THE RADIUS OF A SUBCATEGORY OF MODULES HAILONG DAO AND RYO TAKAHASHI Dedicated to Professor Craig Huneke on the occasion of his sixtieth birthday Abstract. We introduce a new invariant for subcategories

More information

Good tilting modules and recollements of derived module categories, II.

Good tilting modules and recollements of derived module categories, II. Good tilting modules and recollements of derived module categories, II. Hongxing Chen and Changchang Xi Abstract Homological tilting modules of finite projective dimension are investigated. They generalize

More information

HIGHER DIMENSIONAL AUSLANDER-REITEN THEORY ON MAXIMAL ORTHOGONAL SUBCATEGORIES 1. Osamu Iyama

HIGHER DIMENSIONAL AUSLANDER-REITEN THEORY ON MAXIMAL ORTHOGONAL SUBCATEGORIES 1. Osamu Iyama HIGHER DIMENSIONAL AUSLANDER-REITEN THEORY ON MAXIMAL ORTHOGONAL SUBCATEGORIES 1 Osamu Iyama Abstract. Auslander-Reiten theory, especially the concept of almost split sequences and their existence theorem,

More information

arxiv: v2 [math.ct] 27 Dec 2014

arxiv: v2 [math.ct] 27 Dec 2014 ON DIRECT SUMMANDS OF HOMOLOGICAL FUNCTORS ON LENGTH CATEGORIES arxiv:1305.1914v2 [math.ct] 27 Dec 2014 ALEX MARTSINKOVSKY Abstract. We show that direct summands of certain additive functors arising as

More information

CLUSTER-TILTED ALGEBRAS OF FINITE REPRESENTATION TYPE

CLUSTER-TILTED ALGEBRAS OF FINITE REPRESENTATION TYPE CLUSTER-TILTED ALGEBRAS OF FINITE REPRESENTATION TYPE ASLAK BAKKE BUAN, ROBERT J. MARSH, AND IDUN REITEN Abstract. We investigate the cluster-tilted algebras of finite representation type over an algebraically

More information

arxiv:math/ v2 [math.ac] 25 Sep 2006

arxiv:math/ v2 [math.ac] 25 Sep 2006 arxiv:math/0607315v2 [math.ac] 25 Sep 2006 ON THE NUMBER OF INDECOMPOSABLE TOTALLY REFLEXIVE MODULES RYO TAKAHASHI Abstract. In this note, it is proved that over a commutative noetherian henselian non-gorenstein

More information

Higher dimensional homological algebra

Higher dimensional homological algebra Higher dimensional homological algebra Peter Jørgensen Contents 1 Preface 3 2 Notation and Terminology 6 3 d-cluster tilting subcategories 7 4 Higher Auslander Reiten translations 12 5 d-abelian categories

More information

AUSLANDER REITEN TRIANGLES AND A THEOREM OF ZIMMERMANN

AUSLANDER REITEN TRIANGLES AND A THEOREM OF ZIMMERMANN Bull. London Math. Soc. 37 (2005) 361 372 C 2005 London Mathematical Society doi:10.1112/s0024609304004011 AUSLANDER REITEN TRIANGLES AND A THEOREM OF ZIMMERMANN HENNING KRAUSE Abstract A classical theorem

More information

AUSLANDER-REITEN THEORY FOR FINITE DIMENSIONAL ALGEBRAS. Piotr Malicki

AUSLANDER-REITEN THEORY FOR FINITE DIMENSIONAL ALGEBRAS. Piotr Malicki AUSLANDER-REITEN THEORY FOR FINITE DIMENSIONAL ALGEBRAS Piotr Malicki CIMPA, Mar del Plata, March 2016 3. Irreducible morphisms and almost split sequences A algebra, L, M, N modules in mod A A homomorphism

More information

The Depth Formula for Modules with Reducible Complexity

The Depth Formula for Modules with Reducible Complexity The Depth Formula for Modules with Reducible Complexity Petter Andreas Bergh David A Jorgensen Technical Report 2010-10 http://wwwutaedu/math/preprint/ THE DEPTH FORMULA FOR MODULES WITH REDUCIBLE COMPLEXITY

More information

On U-dominant dimension

On U-dominant dimension Journal of Algebra 285 (2005) 669 68 www.elsevier.com/locate/jalgebra On U-dominant dimension Zhaoyong Huang Department of Mathematics, Nanjing University, Nanjing 20093, PR China Received 20 August 2003

More information

STRONGLY COPURE PROJECTIVE, INJECTIVE AND FLAT COMPLEXES

STRONGLY COPURE PROJECTIVE, INJECTIVE AND FLAT COMPLEXES ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 46, Number 6, 2016 STRONGLY COPURE PROJECTIVE, INJECTIVE AND FLAT COMPLEXES XIN MA AND ZHONGKUI LIU ABSTRACT. In this paper, we extend the notions of strongly

More information

MODEL STRUCTURES ON MODULES OVER DING-CHEN RINGS

MODEL STRUCTURES ON MODULES OVER DING-CHEN RINGS Homology, Homotopy and Applications, vol. 12(1), 2010, pp.61 73 MODEL STRUCTURES ON MODULES OVER DING-CHEN RINGS JAMES GILLESPIE (communicated by J. Daniel Christensen) Abstract An n-fc ring is a left

More information

Generalized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485

Generalized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485 Title Generalized Alexander duality and applications Author(s) Romer, Tim Citation Osaka Journal of Mathematics. 38(2) P.469-P.485 Issue Date 2001-06 Text Version publisher URL https://doi.org/10.18910/4757

More information

d-calabi-yau algebras and d-cluster tilting subcategories

d-calabi-yau algebras and d-cluster tilting subcategories d-calabi-yau algebras and d-cluster tilting subcategories Osamu Iyama Recently, the the concept of cluster tilting object played an important role in representation theory [BMRRT]. The concept of d-cluster

More information

Abelian categories. triangulated categories: Some examples.

Abelian categories. triangulated categories: Some examples. Abelian categories versus triangulated categories: Some examples Claus Michael Ringel Trondheim, 000 For Idun Reiten on the occasion of her 70th birthday Comparison Abelian categories Rigidity Factorizations

More information

Artin algebras of dominant dimension at least 2.

Artin algebras of dominant dimension at least 2. WS 2007/8 Selected Topics CMR Artin algebras of dominant dimension at least 2. Claus Michael Ringel We consider artin algebras with duality functor D. We consider left modules (usually, we call them just

More information

A TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor

A TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor A TALE OF TWO FUNCTORS Marc Culler 1. Hom and Tensor It was the best of times, it was the worst of times, it was the age of covariance, it was the age of contravariance, it was the epoch of homology, it

More information

NOTES ON SPLITTING FIELDS

NOTES ON SPLITTING FIELDS NOTES ON SPLITTING FIELDS CİHAN BAHRAN I will try to define the notion of a splitting field of an algebra over a field using my words, to understand it better. The sources I use are Peter Webb s and T.Y

More information

On the Existence of Gorenstein Projective Precovers

On the Existence of Gorenstein Projective Precovers Rend. Sem. Mat. Univ. Padova 1xx (201x) Rendiconti del Seminario Matematico della Università di Padova c European Mathematical Society On the Existence of Gorenstein Projective Precovers Javad Asadollahi

More information

arxiv: v1 [math.rt] 22 Jun 2015

arxiv: v1 [math.rt] 22 Jun 2015 SINGULAR EQUIVALENCE AND THE (FG) CONDITION ØYSTEIN SKARTSÆTERHAGEN arxiv:156.667v1 [math.rt] 22 Jun 215 Abstract. We show that singular equivalences of Morita type with level between finite-dimensional

More information

Direct Limits. Mathematics 683, Fall 2013

Direct Limits. Mathematics 683, Fall 2013 Direct Limits Mathematics 683, Fall 2013 In this note we define direct limits and prove their basic properties. This notion is important in various places in algebra. In particular, in algebraic geometry

More information

Matrix factorisations

Matrix factorisations 28.08.2013 Outline Main Theorem (Eisenbud) Let R = S/(f ) be a hypersurface. Then MCM(R) MF S (f ) Survey of the talk: 1 Define hypersurfaces. Explain, why they fit in our setting. 2 Define. Prove, that

More information

Homological Aspects of the Dual Auslander Transpose II

Homological Aspects of the Dual Auslander Transpose II Homological Aspects of the Dual Auslander Transpose II Xi Tang College of Science, Guilin University of Technology, Guilin 541004, Guangxi Province, P.R. China E-mail: tx5259@sina.com.cn Zhaoyong Huang

More information

STABILITY OF FROBENIUS ALGEBRAS WITH POSITIVE GALOIS COVERINGS 1. Kunio Yamagata 2

STABILITY OF FROBENIUS ALGEBRAS WITH POSITIVE GALOIS COVERINGS 1. Kunio Yamagata 2 STABILITY OF FROBENIUS ALGEBRAS WITH POSITIVE GALOIS COVERINGS 1 Kunio Yamagata 2 Abstract. A finite dimensional self-injective algebra will be determined when it is stably equivalent to a positive self-injective

More information

RESEARCH STATEMENT. My research is in the field of commutative algebra. My main area of interest is homological algebra. I

RESEARCH STATEMENT. My research is in the field of commutative algebra. My main area of interest is homological algebra. I RESEARCH STATEMENT BETHANY KUBIK My research is in the field of commutative algebra. My main area of interest is homological algebra. I have four projects that I am currently working on; three of these

More information

Correct classes of modules

Correct classes of modules Algebra and Discrete Mathematics Number?. (????). pp. 1 13 c Journal Algebra and Discrete Mathematics RESEARCH ARTICLE Correct classes of modules Robert Wisbauer Abstract. For a ring R, call a class C

More information

arxiv:math/ v1 [math.rt] 27 Jul 2005

arxiv:math/ v1 [math.rt] 27 Jul 2005 arxiv:math/0507559v1 [mathrt] 27 Jul 2005 Auslander-Reiten Quivers which are Independent of the Base Ring By Markus Schmidmeier Fix a poset P and a natural number n For various commutative local rings

More information

CONTRAVARIANTLY FINITE SUBCATEGORIES CLOSED UNDER PREDECESSORS

CONTRAVARIANTLY FINITE SUBCATEGORIES CLOSED UNDER PREDECESSORS CONTRAVARIANTLY FINITE SUBCATEGORIES CLOSED UNDER PREDECESSORS IBRAHIM ASSEM, FLÁVIO U. COELHO, AND SONIA TREPODE Abstract. Let A be an artin algebra, moda the category of finitely generated right A-modules,

More information

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23 MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23 6.4. Homotopy uniqueness of projective resolutions. Here I proved that the projective resolution of any R-module (or any object of an abelian category

More information

RAPHAËL ROUQUIER. k( )

RAPHAËL ROUQUIER. k( ) GLUING p-permutation MODULES 1. Introduction We give a local construction of the stable category of p-permutation modules : a p- permutation kg-module gives rise, via the Brauer functor, to a family of

More information

REFLEXIVE MODULES OVER GORENSTEIN RINGS

REFLEXIVE MODULES OVER GORENSTEIN RINGS REFLEXIVE MODULES OVER GORENSTEIN RINGS WOLMER V. VASCONCELOS1 Introduction. The aim of this paper is to show the relevance of a class of commutative noetherian rings to the study of reflexive modules.

More information

SEQUENCES FOR COMPLEXES II

SEQUENCES FOR COMPLEXES II SEQUENCES FOR COMPLEXES II LARS WINTHER CHRISTENSEN 1. Introduction and Notation This short paper elaborates on an example given in [4] to illustrate an application of sequences for complexes: Let R be

More information

Gorenstein homological dimensions

Gorenstein homological dimensions Journal of Pure and Applied Algebra 189 (24) 167 193 www.elsevier.com/locate/jpaa Gorenstein homological dimensions Henrik Holm Matematisk Afdeling, Universitetsparken 5, Copenhagen DK-21, Denmark Received

More information

Generalized Matrix Artin Algebras. International Conference, Woods Hole, Ma. April 2011

Generalized Matrix Artin Algebras. International Conference, Woods Hole, Ma. April 2011 Generalized Matrix Artin Algebras Edward L. Green Department of Mathematics Virginia Tech Blacksburg, VA, USA Chrysostomos Psaroudakis Department of Mathematics University of Ioannina Ioannina, Greece

More information

ON sfp-injective AND sfp-flat MODULES

ON sfp-injective AND sfp-flat MODULES Gulf Journal of Mathematics Vol 5, Issue 3 (2017) 79-90 ON sfp-injective AND sfp-flat MODULES C. SELVARAJ 1 AND P. PRABAKARAN 2 Abstract. Let R be a ring. A left R-module M is said to be sfp-injective

More information

On a Conjecture of Auslander and Reiten

On a Conjecture of Auslander and Reiten Syracuse University SURFACE Mathematics Faculty Scholarship Mathematics 4-30-2003 On a Conjecture of Auslander and Reiten Craig Huneke University of Kansas Graham J. Leuschke Syracuse University Follow

More information

FILTRATIONS IN ABELIAN CATEGORIES WITH A TILTING OBJECT OF HOMOLOGICAL DIMENSION TWO

FILTRATIONS IN ABELIAN CATEGORIES WITH A TILTING OBJECT OF HOMOLOGICAL DIMENSION TWO FILTRATIONS IN ABELIAN CATEGORIES WITH A TILTING OBJECT OF HOMOLOGICAL DIMENSION TWO BERNT TORE JENSEN, DAG MADSEN AND XIUPING SU Abstract. We consider filtrations of objects in an abelian category A induced

More information

On the number of terms in the middle of almost split sequences over cycle-finite artin algebras

On the number of terms in the middle of almost split sequences over cycle-finite artin algebras Cent. Eur. J. Math. 12(1) 2014 39-45 DOI: 10.2478/s11533-013-0328-3 Central European Journal of Mathematics On the number of terms in the middle of almost split sequences over cycle-finite artin algebras

More information

GENERALIZED MORPHIC RINGS AND THEIR APPLICATIONS. Haiyan Zhu and Nanqing Ding Department of Mathematics, Nanjing University, Nanjing, China

GENERALIZED MORPHIC RINGS AND THEIR APPLICATIONS. Haiyan Zhu and Nanqing Ding Department of Mathematics, Nanjing University, Nanjing, China Communications in Algebra, 35: 2820 2837, 2007 Copyright Taylor & Francis Group, LLC ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870701354017 GENERALIZED MORPHIC RINGS AND THEIR APPLICATIONS

More information

ON THE VANISHING OF HOMOLOGY WITH MODULES OF FINITE LENGTH

ON THE VANISHING OF HOMOLOGY WITH MODULES OF FINITE LENGTH ON THE VANISHING OF HOMOLOGY WITH MODULES OF FINITE LENGTH PETTER ANDREAS BERGH Abstract We study the vanishing of homology and cohomology of a module of finite complete intersection dimension over a local

More information

arxiv: v1 [math.rt] 15 Aug 2016

arxiv: v1 [math.rt] 15 Aug 2016 GENDO-SYMMETRIC ALGEBRAS, DOMINANT DIMENSIONS AND GORENSTEIN HOMOLOGICAL ALGEBRA RENÉ MARCZINZIK arxiv:1608.04212v1 [math.rt] 15 Aug 2016 Abstract. This article relates dominant and codominant dimensions

More information

Projective modules: Wedderburn rings

Projective modules: Wedderburn rings Projective modules: Wedderburn rings April 10, 2008 8 Wedderburn rings A Wedderburn ring is an artinian ring which has no nonzero nilpotent left ideals. Note that if R has no left ideals I such that I

More information