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

Transcription

1 arxiv:math/ v1 [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 Λ, each of Loewy length n, consider the category sub Λ P of Λ-linear submodule representations of P We give a criterion for when the underlying translation quiver of a connected component of the Auslander-Reiten quiver of sub Λ P is independent of the choice of the base ring Λ In the case where P is the one-point poset and Λ = Z/p n the factor ring of the integers we can answer a remark by M C R Butler on the minimality of families of subgroup embeddings 1 Introduction For Λ an artinian ring and P a finite poset, we consider the category sub Λ P of Λ-linear submodule representations of P As usual, an object has the form M = (M, (M i i P where M is a finitely generated Λ- module and the M i are submodules of M such that M i M j whenever i < j in P If M and M are objects in sub Λ P then a morphism f : M M is a Λ-linear map f : M M which restricts to maps f i : M i M i for each i P It is well known that the category sub Λ P is an exact Krull-Remak-Schmidt category which has Auslander-Reiten sequences [2] Let Λ and be commutative (local artinian uniserial rings of the same (Loewy length n In this manuscript we compare the Auslander- Reiten quivers for sub Λ P and sub P and give a criterion for when connected components of these quivers are isomorphic as (valued translation quivers In order to relate objects in sub Λ P with corresponding ones in sub P we introduce the type: Since each indecomposable Λ-module has the form Λ/ rad m Λ for m n a natural number, an arbitrary (finitely generated Λ-module is uniquely determined, up to isomorphism, by a partition with all parts bounded by n For an object M = (M, (M i i sub Λ P, the type consists of the tuple of partitions 2000 Mathematics Subject Classification : 16G70, 18G20, 20E15 Keywords : Auslander-Reiten quiver; poset representations; uniserial rings; Birkhoff problem; chains of subgroups; relative homological algebra 1

2 2 Markus Schmidmeier t(m = (µ, (µ i i which represent the isomorphism classes of the modules M and M i Our main result is the following Theorem 11 Suppose Λ, are commutative uniserial rings of the same length n, P is a finite poset, Γ Λ and Γ are connected components of the Auslander-Reiten quivers of sub Λ P and sub P, and L Λ and L are slices in Γ Λ and Γ, respectively, such that the following conditions are satisfied: (1 The slices L Λ and L are isomorphic as valued graphs (2 Points in L Λ and L which correspond to each other under this isomorphism represent indecomposable objects of the same type (3 Each indecomposable object represented by a point in L Λ or in L is determined uniquely, up to isomorphism, by its type Then the components Γ Λ and Γ are isomorphic as valued translation quivers, and points which correspond to each other under this isomorphism represent indecomposable objects of the same type Our research was motivated by a remark by MCR Butler after the authors talk on categories of type S m (k[t]/t n at the ICRA XI in 2004 in Patzcuaro, Mexico For Λ a commutative uniserial ring of length n and m n, the category S m (Λ consists of all pairs (A B where B is a (finitely generated Λ-module and A a submodule of B which is annihilated by rad m Λ Thus we are dealing with a full subcategory of sub Λ P where P is the one point poset It has been shown in [10] for which pairs (m, n this category has finite, tame or wild representation type It turns out that the two pairs where (m, n = (4, 6 or (3, 7 mark the first occurances of parametrized families of indecomposable objects However, since Birkhoff [4] there is particular interest in the subgroup categories S m (Z/p n for p a prime number Then we are dealing with the possible embeddings of p m -bounded subgroups in p n -bounded finite abelian groups It is shown in [4] and in [10] that parametrized families of indecomposable objects occur also in S 4 (Z/p 6 and in S 3 (Z/p 7, respectively But are these the first occurances (as in the case of modules over the polynomial ring? According to Butler, this needs to be verified In the group case we know from [7] that the category S 5 (Z/p 5 has finite type, so there are no parametrized families of indecomposables in any of the categories S m (Z/p n for m n 5 Also if m 2 then it is known in group theory [6] that for any n, each indecomposable object (A B in S m (Z/p n has the property that A is a cyclic Z-module again there are no families So it remains to consider the single case where m = 3 and n = 6

3 Auslander-Reiten Quivers which are Independent of the Base Ring 3 In S 3 (k[t]/t 6 we are dealing with modules over an algebra over a field and can use covering theory to compute the Auslander-Reiten quiver ([10] and to verify that the category has finite representation type We show in this manuscript that there is a type preserving isomorphism of translation quivers between the two Auslander-Reiten quivers for S 3 (k[t]/t 6 and for S 3 (Z/p 6 and in fact between any two categories S 3 (Λ and S 3 ( where Λ and are commutative uniserial rings of length six Thus, the category S 3 (Z/p 6 is representation finite Moreover, among all representation finite categories of type S m (Z/p n, this category contains the most interesting objects: It is not true that each indecomposable object in S 3 (Z/p 6 is determined uniquely, up to isomorphism, by its type; in fact, among the 84 indecompsables there are 10 exceptions However, in any of the representation finite categories of type S m (Z/p n, each indecomposable object which is not determined uniquely by its type alone, occurs already in S 3 (Z/p 6 It turns out that in any representation finite category of type S m (Z/p n, the isomorphism class of an indecomposable object (A B is determined uniquely by the type together with the cotype, which is the partition for B/A By contrast, the parametrized families in S 4 (Z/p 6 and in S 3 (Z/p 7 consist of at least p 1 pairwise nonisomorphic indecomposables which all have the same type and cotype In this sense, the first parametrized families occur in S 4 (Z/p 6 and in S 3 (Z/p 7 We remark that the Auslander-Reiten quiver for each of these two categories also has a connecting component Our method can be used to show that there is a type preserving isomorphism between each of these components and the connecting component in S 4 (k[t]/t 6 and in S 3 (k[t]/t 7, respectively; both have been pictured in [10] For previous results in the representation theory of a Λ-category where the base ring Λ is not necessarily a field or a finite dimensional algebra, see in particular [11] for the case where P is a chain, [3] for modules over the group ring Z/p n C p, and [9] for lattices over tiled orders In [8] it is shown that S m (Λ is controlled wild whenever the base ring Λ has length at least 7 and m 4 We describe the contents of each section In order to reconstruct the the underlying (valued translation quiver of an Auslander-Reiten quiver from a given slice, it is essential that projective objects, injective objects, the summands of the first term in a sink map for a projective object, and the summands of the last term of a source map for an injective object can be detected by their types This is the case, as we

4 4 Markus Schmidmeier see in the next section if Λ is a commutative uniserial ring and we are dealing with a category of type sub Λ P or S m (Λ Given a short split exact sequence, then clearly, the type of the middle term is the union of the types of the end terms This is also true for almost split sequences, with finitely many exceptions In section 3 we describe these exceptional sequences It turns out that their end terms are determined uniquely by their types As a consequence if Γ is a connected component of the Auslander-Reiten quiver and L a slice in Γ, then the type of each module in Γ is determined uniquely by the types of the modules in L We show in section 4 that whenever the conditions in Theorem 11 apply, the combinatorial structure of the Auslander-Reiten quiver does not depend on the base ring chosen For illustration we consider the category of all chains of length 3 of Λ-modules where Λ = k[t]/t 2 or Λ = Z/p 2 This case is particularly straightforward as the slice is obtained from the sequences studied in section 3 In general it may require a lot of legwork to verify that a particular short exact sequence is almost split A test for Auslander-Reiten sequences from [1] applies also to our situation, as we show in section 5 With help of this and the previous results, the computation of the Auslander-Reiten quiver for S 3 (Z/p 6 becomes feasible For terminology related to Auslander-Reiten sequences and to relative homological algebra we refer the reader to [1] and [2] Some of the results in this manuscript have been presented at the 2005 Oberwolfach meeting on representation theory of finite dimensional algebras, and at the 2005 regional meeting of the AMS in Santa Barbara 2 Projectives and Injectives We consider the indecomposable projective and injective objects in the submodule category sub Λ P and determine their respective sink maps and source maps It turns out that whenever Λ is a commutative uniserial ring, the first term and the last term of each such map is zero or an indecomposable module which is determined uniquely by its type Notation For P a finite poset, denote by P and by P 0 the poset obtained from P by adding a largest and a smallest element, respectively If Λ is an algebra, we consider the two incidence algebras ΛP and ΛP 0 of the posets P and P 0 As usual, sub Λ P is the category of Λ-linear subspace representations of P and fac Λ P the category of factorspace representations of P Then sub Λ P is a full subcategory of the module

5 Auslander-Reiten Quivers which are Independent of the Base Ring 5 category mod ΛP, and similarly, fac Λ P as a full subcategory of the module category modλp 0 We start from the following observation about the projective subspace representations and the injective factorspace representations Lemma 21 1a Every projective ΛP -module is a projective subspace representation of P; moreover, each projective object in sub Λ P occurs in this way 1b Every injective ΛP 0 -module is an injective factorspace representation of P; and each injective object of fac Λ P has this form 2a For each indecomposable projective object P, the sink map in sub Λ P has the form radp P 2b For each indecomposable injective object I, the source map I I/ soci is in fac Λ P 3a There are sufficiently many projective objects in sub Λ P 3b There are sufficiently many injective objects in fac Λ P In order to obtain information about the injective objects in sub Λ P and the projective objects in fac Λ P we use that the two categories are in fact equivalent Lemma 22 There is an equivalence of categories between sub Λ P and fac Λ P Proof The equivalence is given by functors E : sub Λ P fac Λ P and E : fac Λ P sub Λ P where E maps a system (M, (M i M i P of submodules of M to the system (M 0, (M 0 M 0 /M i i P of the cokernel maps where M 0 = M Conversely, E sends a system (M 0, (M 0 M i i P to the object (M, (ker(m 0 M i M given by the kernel maps where M = M 0 The following statement about the injective objects in sub Λ P and the projective objects in fac Λ P is an immediate consequence Corollary 23 1a Each injective object in sub Λ P is isomorphic to E (I for some injective ΛP 0 -module I 1b Each projective object in fac Λ P is isomorphic to E(P for some projective ΛP -module P 2a For I an indecomposable injective ΛP 0 -module, the morphism E (I E (I/ soci is a source map in the category sub Λ P

6 6 Markus Schmidmeier 2b For P an indecomposable projective ΛP -module, the morphism E(rad P E(P is a sink map in fac Λ P 0 3a There are sufficiently many injective objects in sub Λ P 3b There are sufficiently many projective objects in fac Λ P Here is an even more explicit description of the indecomposable projective and the indecomposable injective representations in sub Λ P and their respective sink and source maps Notation For M a Λ-module and S a subset of P, define the P Λ- module M S by { M if i S Mi S = 0 otherwise In particular if ρ P P is a binary relation and x P then M ρx = M S where S = {i : (i, x ρ} Thus, for example M x given by { M x M if i x i = 0 otherwise is a submodule representation of P Proposition 24 1 If P is an indecomposable projective Λ-module and x P then P x is an indecomposable projective object in sub Λ P The corresponding sink map is the inclusion (rad P x + P >x P x Each indecomposable projective object in sub Λ P has this form 2a If I is an indecomposable injective Λ-module and x P then I x is an indecomposable injective object in sub Λ P The corresponding source map is the inclusion I x (soc I =x + I x 2b For I an indecomposable injective Λ-module the representation I is indecomposable injective in sub Λ P and has as source map the canonical map I (I/ soci 2c Each indecomposable injective object in sub Λ P is isomorphic to one listed above Example 25 (Chains of Submodules, I We compute the projective and the injective indecomposables in for the category C 3 (Λ = sub Λ P of submodule representations of the linear poset P = 2 where Λ is 1 any commutative uniserial ring Thus we are dealing with chains A = (A 1 A 2 A 3 A of submodules of Λ-modules The big module A is given by a partition with parts bounded by the length of Λ We picture A by rotating the Young diagram of the partition for A by 90 o and by using the symbols,, and to indicate in which radical 3

7 Auslander-Reiten Quivers which are Independent of the Base Ring 7 layers in A the generators of A 1, A 2, and A 3, respectively, can be found For example if Λ = Z/p 2, A 3 = A = Λ and A 1 = A 2 = pz/p 2, then we picture A as follows A = Independent of the length n of Λ, the projective representation Λ x corresponding to a point x P { } and the injective representation Λ x corresponding to this point coincide If in addition the length n of Λ is 2, then for x P, the radical of the projective presentation Λ x coincides with the last term of the source map for the injective presentation Λ x Then we obtain the following part of the Auslander- Reiten quiver for sub Λ P ø ø 3 Auslander-Reiten Sequences which are not split exact in each component Suppose that E : 0 A B C 0 is an Auslander-Reiten sequence in the submodule category sub Λ P For x P one can consider the short exact sequence E x : 0 A x B x C x 0 consisting of the x-components It turns out that E x is either split exact or almost split Given E, then at most one of the sequences E x is not split exact; and almost each sequence E is split exact in every component We first determine the exceptions Let T : 0 U r V s W 0 be an Auslander-Reiten sequence in the category of modules over the basering Λ, and let x P Define the sequence E = E(T, x : 0 A f B g C 0 Let i : U E be the inclusion of U in its injective envelope, and let j : V E be a lifting of i over the monomorphism r : U V, so jr = i holds Then there are modules A, B, C sub Λ P given by the following Λ-modules where y P A y = { U, y x E, y x, B y = { V, y = x A y C y, y x, C y = { W, y x 0, y x It is clear which inclusion maps make up the modules A and C; for ( B, the subspaces E, U, V are embedded in E W via the maps 1 ( 0 : E E W, i : U E, r : U V, and j s : V E W

8 8 Markus Schmidmeier The maps f : A B and g : B C are given as follows For y x, f y and g y are the canonical inclusions and projections, respectively, while f x = r and g x = s The following example is typical Example 31 If the poset is P = 2 3, and x = 2, then the above 1 sequence T in mod Λ gives rise to the following Auslander-Reiten sequence in sub Λ P: E : 0 i E 1 U E 1 U i r ( ( j s ( 1 0 E W V E r U i (0 1 s W W Theorem 32 1 Let T be an almost split sequence in modλ and x P Then the sequence E = E(T, x is an Auslander-Reiten sequence in sub Λ P 2 Conversely if E : 0 A B C 0 is an Auslander-Reiten sequence in sub Λ P, and x P is such that the sequence in mod Λ of the x-components T : 0 A x B x C x 0 is not split exact, then T is an Auslander-Reiten sequence in mod Λ and the sequences E and E(T, x are equivalent Proof Clearly, the sequence E : 0 A B C 0 in the first assertion is not split exact and the modules A and C are indecomposable We show that E is right almost split Let T sub Λ P and let t : T C be a morphism which is not a split epimorphism Then t x : T x C x is not a split epimorphism in mod Λ and hence factors over g x : V W: There is t x : T x B x such that g x t x = t x ( j s ( 1 0 E W V E r U i t t x t t 2 3 (0 1 s 0 0 T T x T 2 T 3 1 W W 0 0 t x t t3 t 2 We define t : T E W Since E is injective and T x T, the map jt x : T x E extends to a map t + : T E, hence t + Tx = jt x holds Put t = ( t + t As a consequence, for y x, the map t y : T y E W has to be defined as the restriction of t to T y

9 Auslander-Reiten Quivers which are Independent of the Base Ring 9 Next for y P which is not in relation with x, define the map t y : T y E as follows Since t Ty = 0, the image t (T y is contained in E 0 and hence there is a unique map t y : T y E such that ( 1 0 t y = t Ty : T y E W Finally consider y P such that y < x Since t x Ty = 0, also st x T y = 0 and hence the restriction of t xto T y factors over r : U V : There exists a unique t y : T y U such that t x Ty = rt y In conclusion, t = (t y y P : T B is a morphism which satisfies gt = t It remains to show the second assertion Note that all the sequences constructed have the property that the last term has the form W x where W is an indecomposable Λ-module and x P We show that any Auslander-Reiten sequence E : 0 A f B g C 0 for which the last term is not of type W x for a Λ-module W, is split exact in each component For y P consider the sequence of the y-components 0 A y f y By g y Cy 0 in E Define the P-representation T = (C y y and consider the map t : T C given by the identity map on the x-component By assumption, C has not the form W x hence t is not a split epimorphism Since t factors over g, the map g y : B y C y must be a split epimorphism in mod Λ This finishes the proof Example 33 (Chains of submodules, II We use the notation from 3 Example 25 where P = 2 and Λ is a commutative uniserial ring of 1 length 2 Denote the only Auslander-Reiten sequence in mod Λ by T : 0 k ι Λ π k 0 where k = Λ/ radλ For x = we obtain the Auslander-Reiten sequence in sub Λ P: E(T, : 0 (k=k=k=k (k=k=k ι Λ (0=0=0 k 0 For x P, the sequence E(T, x which we picture here for x = 2 E(T, 2 : 0 (k=k ι Λ=Λ 1,ι,(1 0,( 1 0 (k ι Λ (1 π (Λ k=(λ k 0,π,(01,(01 (0 k=k=k 0 has decomposable middle term: (k ι Λ (1 π (Λ k=(λ k = (k ι Λ=Λ=Λ (0=0 k=k Note that the irreducible map onto the second summand of the middle term of E(T, x coincides with the irreducible map starting at the first

10 10 Markus Schmidmeier summand of the middle term in the sequence E(T, x 1 (in case x = 1, take the left almost split map in E(T, Thus the Auslander-Reiten sequences E(T, x for x =, 3, 2, 1 line up to form the following part of the Auslander-Reiten quiver for sub Λ P: ø ø ø ø ø There is also the following corresponding result for the category fac Λ P Again, let 0 U r V s W 0 be an Auslander-Reiten sequence in the category mod Λ and x P 0 Let p : P W be a projective cover and q : P V a lifting of p over the epimorphism s : V W Define the representations A, B, C as follows { { { U, y x V, y = x W, y x A y = 0, y x, B y = A y C y, y x, C y = P, y x, where y P 0 Example 34 We illustrate the linear maps which make up A, B, C, f, and g in the example where P 0 =, and x = 1 The Auslander- 0 Reiten sequence in fac Λ P is as follows E : 0 0 U 0 1 U r 0 ( s W p V P (r q U P (0 1 s 1 ( W p W P p P 1 0 Theorem 35 1 Let T be an almost split sequence in modλ and x P 0 Then the sequence E = E(T, x is an Auslander-Reiten sequence in fac Λ P 2 Conversely if E : 0 A B C 0 is an Auslander-Reiten sequence in fac Λ P, and x P 0 is such that the sequence in mod Λ of the x-components T : 0 A x B x C x 0 is not split exact, then T is almost split and the sequences E and E(T, x are equivalent Example 36 (Bounded submodules of modules, I For P = 1 the one point poset, let S(Λ = sub Λ P and define for m n the full

11 Auslander-Reiten Quivers which are Independent of the Base Ring 11 subcategory S m (Λ of S(Λ consisting of all pairs (A 1 A where rad m A 1 = 0 holds Let t be a radical generator for Λ It is easy to verify that each object (A 1 A in S(Λ has a minimal right and a minimal left approximation in S m (Λ, given as follows ( soc m A 1 A ( A1 A ; ( A1 A ( A1 / rad m A 1 A / rad m A 1 As a consequence, the exact Krull-Remak-Schmidt category S m (Λ has Auslander-Reiten sequences We determine each Auslander-Reiten sequence for which one of the short exact sequences given by either the submodules, the total spaces, or the factor modules is not split exact (1 The sequence of submodules is not split exact Let Λ be the factor ring Λ/ rad m Λ and suppose that 0 A 1 B 1 C 1 0 is an Auslander-Reiten sequence in mod Λ Let u : A 1 E be an injective envelope in modλ and choose an extension v : B 1 E of u According to Theorem 32, the sequence 0 ( A 1 E ( B 1 E C 1 ( C 1 = C 1 0 is an Auslander-Reiten sequence in S(Λ (and in S m (Λ For example if n = 6 and m 3 then the Auslander-Reiten sequence in S m (Λ ending at C where C 1 = C = Λ/ rad 2 Λ is as follows 0 0 The middle term of this sequence is given by the inclusion (B 1 B where B is generated by two elements y 1 and y 2 bounded by t 6 and t 2, respectively The submodule B 1 also has two generators, x 1 = t 3 y 1 + y 2 (indicated in the diagram by the connected dots and x 2 = ty 2 (given by the isolated point; thus B 1 has partition (31 (2 The sequence of the total spaces is not split exact Let 0 A B C 0 be an Auslander-Reiten sequence in mod Λ According to Theorem 32, 0 ( A = A ( A B ( 0 C 0 is an Auslander-Reiten sequence in S(Λ and, using right approximations, 0 ( soc m A A ( soc m A B ( 0 C 0

12 12 Markus Schmidmeier is an Auslander-Reiten sequence in S m (Λ For example if n 5, and m = 3, then the Auslander-Reiten sequence in S 3 (Λ starting at A where A = Λ/ rad 4 Λ and A 1 = soc 3 A is as follows 0 0 (3 The sequence of the factor modules is not split exact Let 0 Ā f B g C 0 be an Auslander-Reiten sequence in mod Λ, u : P C a projective cover with kernel v : K P and w : P B a lifting of u Let z : K Ā P be the kernel of (f, w By Theorem 35, we have the Auslander-Reiten sequence in fac Λ P 0 ( Ā = Ā ( Ā P B ( P C 0 Using the equivalence between sub Λ P and fac Λ P given by the kernel functor, we obtain the following Auslander-Reiten sequence in S(Λ 0 ( 0 Ā ( K Ā P ( K P 0 (By the snake lemma, the two kernels K and K are isomorphic Using left approximations, we arrive at the Auslander-Reiten sequence in S m (Λ 0 ( 0 Ā ( K/ rad m K (Ā P/z(radm K ( K/ rad m K P/v(rad m K 0 For example if n 6, m = 3, and Ā = Λ/ rad2 Λ we obtain the following Auslander-Reiten sequence in the category S 3 (Λ 0 0 It turns out that in the case m = 3, n = 6, the first and last modules in the above Auslander-Reiten sequences form one stable orbit under

13 Auslander-Reiten Quivers which are Independent of the Base Ring 13 the translation to which the projective injective module is attached, and also an orbit of length three from the projective noninjective indecomposable to the injective nonprojective indecomposable, as pictured below 4 Isomorphy of Auslander-Reiten Quivers We revisit the result in the introduction about the independence of the Auslander-Reiten quiver from the commutative uniserial base ring As an immediate application we obtain the Auslander-Reiten quiver for the category in Example 25 (chains of submodules We use the terminology related to translation quivers and coverings from [5] Definition A full connected finite nonempty subquiver L of a (valued translation quiver Γ is a slice provided whenever X L and f : X C is an arrow into a nonprojective object C, then exactly one of the arrows f or σ(f : τc X is in L Here, σ denotes the semitranslation in Γ Proposition 41 Let Λ be a commutative uniserial ring, P a finite poset, Γ a connected component of the Auslander-Reiten quiver of sub Λ P, and L a slice in Γ Let Γ π Γ be the universal covering for Γ and define the type of a point x in Γ as the type of π(x in Γ The structure of the (valued translation quiver Γ and the types assigned to its points are uniquely determined by the structure of L as a (valued quiver and by the types of the objects in L Proof Starting from the slice L, we apply the knitting algorithm to reconstruct every point in the universal covering Γ and its type For every new point, the type is determined uniquely: The type is additive on those Auslander-Reiten sequences which are split exact in each component; and the types of the endterms of all the remaining sequences

14 14 Markus Schmidmeier are determined by Theorem 32 The algorithm can detect projective and injective points since they are determined uniquely, up to isomorphism, by their type The first term in the source map for a projective module, and the last term in the sink map for an injective module are indecomposable modules (or zero, and they are also determined uniquely by their types, by Proposition 24 The fact used in the above proof namely that the first term in the source map for a projective module, and the last term in the sink map for an injective module are indecomposable modules (or zero, has the following consequence for the shape of the Auslander-Reiten quiver of a submodule category Proposition 42 Let Λ be a commutative uniserial ring, P a finite poset and Γ s the stable part of a connected component Γ of the Auslander-Reiten quiver of sub Λ P If Γ s is non empty, then Γ s itself is connected and Γ is obtained from Γ s by successively attaching non stable orbits Moreover if L is a slice in Γ then each stable orbit contains at least one point in L We can now give the proof of Theorem 11 Proof We use the notation in the theorem Since the slices L Λ and L are isomorphic as quivers and consist of objects of the same types, Proposition 41 yields universal coverings π Λ : Γ Λ Γ Λ, π : Γ Γ and a type preserving isomorphism of translation quivers ϕ as in the following diagram ϕ Γ Λ Γ π Λ π Γ Λ We show that there is a type preserving isomorphism ϕ : Γ Λ Γ of translation quivers which makes the diagram commutative Suppose that x Λ Γ Λ and x Γ are objects which have the same type and which are determined uniquely by their type For example, projective objects, injective objects, and the objects in L have this property Then the fibers π 1 Λ (x Λ and π 1 (x coincide and we can define ϕ(x Λ = x Since π Λ, π are coverings, they commute with the translation and the definition of ϕ can be extended to the preprojective, to the preinjective, and since each object in L is determined uniquely by its type, also to the stable objects (Proposition 42 Thus, ϕ is a bijection of the points in Γ Λ and Γ which satisfies ϕ π Λ = π ϕ Γ

15 Auslander-Reiten Quivers which are Independent of the Base Ring 15 This bijection extends to an isomorphism of translation quivers which makes the above diagram commutative Remark 43 Note that we cannot expect that in Theorem 11 the type determines an object uniquely, up to isomorphism, not even in a representation finite category as the following example shows Thus, condition (3 may not hold for all objects in the component C Example 44 Let P = 1 and Λ = Z/p 5, then the category sub Λ P consists of all pairs (M, M 1 where M is a finite abelian p 5 -bounded group and M 1 a subgroup of M This category is known to be of finite representation type, in fact all 50 indecomposables have been determined in [7] The two indecomposable objects in sub Λ P, (M ; M 1 = ( Z/p 5 Z/p 2 ; Z/p 3 ([p 2 ], [1] and (M ; M 1 = ( Z/p 5 Z/p 2 ; Z/p 3 ([p 2 ], [p], are pictured as follows (M ; M 1 : (M ; M 1 : Both objects have type (52; 3 but since their quotients M /M 1 = Z/p 4 and M /M 1 = Z/p 3 Z/p 1 are not isomorphic, M and M cannot be isomorphic Remark 45 Condition (3 in Theorem 11 can be weakened: Let S be a set of points in the slice L Λ for which the corresponding objects in sub Λ P and in sub P are either non stable or determined uniquely, up to isomorphism, by their type It suffices to require in (3 that S is non empty and that there is no nontrivial automorphism of the underlying graph of L Λ which fixes S Example 46 (Chains of Submodules, III We continue Example 33 where we have seen that the sequence of irreducible maps forms a slice in the Auslander-Reiten quiver for sub Λ P Moreover, as endterms of Auslander-Reiten sequences which are not split exact in each component, the modules are uniquely determined by their type In fact, every indecomposable object is determined uniquely by its type and the computation of the Auslander-Reiten quiver from the slice is a straightforward task The example serves as an illustration for Theorem 11 as for any two commutative uniserial rings Λ and of length two, there is a type preserving isomorphism of translation

16 16 Markus Schmidmeier quivers between the Auslander-Reiten quivers for sub Λ P and sub P The quivers are as follows ø ø ø ø ø ø ø ø ø ø ø ø 5 Bounded subgroups of finite abelian groups In this section we show that the category S 3 (Z/p 6 is representation finite and compute its Auslander-Reiten quiver We proceed as follows The corresponding category S 3 (k[t]/t 6 has 84 indecomposables and the Auslander-Reiten quiver is as pictured on page 21 We have seen in Example 36 that the modules in the top orbit and in the non stable orbit occur as endterms of Auslander-Reiten sequences which are not split exact in each component; thus, also the corresponding modules in the category S 3 (Z/p 6 form orbits under the Auslander-Reiten translation Starting from these modules, we construct a slice in the Auslander-Reiten quiver for S 3 (Z/p 6 ; as a quiver, the slice is isomorphic to a corresponding slice for S 3 (k[t]/t 6 We deduce that there is a type preserving isomorphism between the components of the two Auslander-Reiten quivers Thus we have detected a finite component, and the Harada-Sai lemma implies that we have computed the complete Auslander-Reiten quiver for S 3 (Z/p 6 First we adapt Theorem 11 to the case of bounded subgroups Corollary 51 Suppose Λ, are commutative uniserial rings of the same length n, m n is a natural number, Γ Λ and Γ are connected components of the Auslander-Reiten quivers of S m (Λ and S m (, and L Λ and L are slices in Γ Λ and Γ, respectively, such that the following conditions are satisfied: (1 The slices L Λ and L are isomorphic as valued graphs (2 Points in L Λ and L which correspond to each other under this isomorphism represent indecomposable objects of the same type (3 Each indecomposable object represented by a point in L Λ or in L is determined uniquely, up to isomorphism, by its type

17 Auslander-Reiten Quivers which are Independent of the Base Ring 17 Then the components Γ Λ and Γ are isomorphic as valued translation quivers, and points which correspond to each other under this isomorphism represent indecomposable objects of the same type Proof The proof of Theorem 11 in section 4 applies also in this situation: In [10] the projective and the injective indecomposables in categories of type S m (Λ and their respective sink and source maps have been computed As in the case of submodule representations of a poset, each source or target in such a map is zero or an indecomposable module which is determined uniquely by its type The second fact needed in the proof is the structure of those Auslander-Reiten sequences which are not split exact in each component These sequences have been constructed in Example 36, (1 and (2 Next we provide us with a tool to verify that given short exact sequences are in fact Auslander-Reiten sequences Recall from [1, Proposition V22] that in a category of modules over an artin algebra, a nonsplit short exact sequence 0 DTr C f B g C 0 where C is an indecomposable nonprojective module is an Auslander-Reiten sequence provided only that every endomorphism of C which is not an automorphism factors factors over g We adapt this result to our situation where we are dealing with a full subcategory S of a module category which is closed under extensions We first recall the result corresponding [1, Proposition V21] Lemma 52 Let C be an indecomposable object in S which is not Extprojective, and let 0 A B C 0 be an Auslander-Reiten sequence in S Then Ext 1 R (C, A has a simple socle, both as End(C- and as End(A-module These socles coincide and each nonzero element in the socle is an Auslander-Reiten sequence in S The following result is a minor adaption of [1, Proposition V22] to the case of full subcategories Proposition 53 Let S be a full extension closed subcategory of a category of modules over an artin algebra For C an indecomposable object in S which is not Ext-projective, let 0 A B C 0 be an Auslander-Reiten sequence in S The following assertions are equivalent for a nonsplit short exact sequence E : 0 A f B g C 0 1 The sequence E is an Auslander-Reiten sequence in S 2 Every nonautomorphism h : C C factors through C

18 18 Markus Schmidmeier 3 The image of the map Hom(C, g : Hom(C, B Hom(C, C is RadEnd(C 4 The contravariant defect E (C = End(C/ ImHom(C, g is a simple End(C-module 5 The socle of the End(C-module Ext 1 R(C, A is generated by the class of E 2 Every nonautomorphism k : A A factors through f 3 The the map Hom(f, A : Hom(B, A Hom(A, A has image Rad End(A 4 The covariant defect E (A = End(C/ ImHom(f, A is a simple End(A-module 5 The socle of the End(A-module Ext 1 R(C, A is generated by the class of E Proof The implications 1 2 and are obvious and 1 5 follows from Lemma 41 We only show that 4 5 Consider the long exact sequence 0 Hom(C, A Hom(C, B Hom(C, C δ Ext 1 R (C, A Recall that δ is given by sending the identity map 1 C to the class of E in Ext 1 R(C, A and that the image of δ is the contravariant defect E (C Thus, E (C is the submodule of Ext 1 R (C, A generated by Ē If E (C End(C is a simple module then Ē is a socle generator by Lemma 41 The statements 2, 3, 4 and 5 follow by duality We return to the setup from Example 36 and compute the Auslander- Reiten quiver for S 3 (Z/p 6 Theorem 54 Let Λ be a commutative uniserial ring of length 6 (1 The category S 3 (Λ has 84 isomorphism classes of indecomposable objects The Auslander-Reiten quiver has type ZE 8 /τ 10 with two nonstable orbits of length 1 and 3 attached to the boundaries of the wings of width 5 and 3, respectively (2 Each indecomposable object in S 3 (Λ is determined uniquely, up to isomorphism, by its type with the following 10 exceptions for which we specify the type and the cotype (3;52;4 (3;52;31 (3;62;6 (3;62;41 (3;63;51 (3;63;42

19 Auslander-Reiten Quivers which are Independent of the Base Ring 19 (31;642;53 (31;642;431 (32;642;421 (32;642;52 Proof Let k be any field We show that there is a type preserving isomorphism of (valued translation quivers between the Auslander-Reiten quiver for S 3 (Λ and the Auslander-Reiten quiver for S 3 (k[t]/t 6, of which we include a copy on page 21 Both assertions in the theorem follow easily The diagram below is part of the Auslander-Reiten quiver for the category S 3 (k[t]/t 6 and has been determined in [10] using covering theory We show that the shaded region defines a slice also in the Auslander- Reiten quiver for S 3 (Λ A slice in the Auslander-Reiten quiver for S 3 (Λ (1 (2 (3 (4 (5

20 20 Markus Schmidmeier In Example 36 we have seen that the sequences labelled by a are Auslander-Reiten sequences It is straightforward to verify that also the other meshes in the picture correspond to nonsplit short exact sequences We show that each sequence is almost split From the sequences labelled by a we obtain that the first term in a sequence given by one of the meshes (1 or (5 is the translate of the last term Since every nonautomorphism of C 1 = factors through, the sequence labelled (1 is an Auslander-Reiten sequence, by Proposition 53, (2 1 As a consequence, the sequences ending at C 1, τc 1, τ 2 C 1, τ 3 C 1 and τ 1 C 1 are all Auslander-Reiten sequences with the additional property that their middle term has two indecomposable summands which are as pictured Similarly, every nonautomorphism of A 5 = factors over the inclusion, hence it follows from Proposition 53 that the sequence labelled (5 is an Auslander-Reiten sequence with middle term a direct sum of two indecomposables, as in the picture This holds also true for the sequence starting at τ 1 A 5 In order to verify that the sequences labelled (2, (3, (4 are almost split, consider the modules C 2 = ; C 3 = ; A 4 = Let X be one of these modules, then X = (U V where V = V 1 V 2 with V 1 = Λ/ rad m Λ with m = 4, 5, 6 and V 2 = Λ/ rad 2 Λ Identifying End S X as a subset of End Λ V, it is easy to see that the radical of the endomorphism ring of the object X is given as follows rad End S X = rad End Λ V = ( rad Λ/ rad m Λ Λ/ rad 2 Λ Λ/ rad 2 Λ radλ/ rad 2 Λ Thus the matrix units or radical generators form the four generators of radend S X as a Λ-module For each choice of X, each generator of rad End S X factors through the middle term of the sequence, thus condition 2 or 2 in Proposition 53 is satisfied As a consequence, the sequences labelled (2, (3, (4, and hence also the sequences ending at τ 2 C 2, τc 2, τ 1 C 2, τc 3 and τ 1 C 3 are Auslander-Reiten sequences for which the middle term decomposes as indicated The module A = (U V at the center of the slice where the summands of V = V 1 V 2 V 3 have length 6, 4, 2, is indecomposable: Consider the following submodules of V which are invariant under automorphisms of A By ρ we denote the endomorphism of V given by a

21 Auslander-Reiten Quivers which are Independent of the Base Ring 21 The Category S 3 (Λ for Λ any commutative uniserial ring of length 6

22 22 Markus Schmidmeier radical generator of Λ L 1 (U V = rad 4 V socv L 2 (U V = (rad 3 V soc 2 V L i (U V = ρ (i 2 (L 2 (U V for i > 2 L 5 L 4 L 3 L 2 L 1 As an isomorphism invariant for A we have the following system of vectorspaces and linear maps If k = Λ/ radλ and L 3 L 2 = rad3 V 1 rad 4 V 1 rad 2 V 2 rad 3 V 2 rad V 3 = k k k then the map u : (U L 3+L 2 0 L 2 L 3 L 2 given by the inclusion of the subspace k(1, 1, 0 k(0, 1, 1 in k k k makes the system, which has dimension type is indecomposable L 1 ρ L 2 L 1 ρ (U L 3 +L 2 L 2 u L 3 L , indecomposable Thus, A ρ L 5 L 4 ρ V L 5 Finally consider the Auslander-Reiten sequence E : 0 A B C 0 starting at A Our study of the sequences ending and starting at C 3 shows that C is as indicated and that C 3 occurs as a direct summand of B Since A occurs as summand of the middle term of the sequence starting at A 4, it follows that τ 1 A 4 occurs as another summand of B By Theorem 32, the sequence E is split exact in each component, and hence B must have a third direct summand, say B, of type (4; 2 It remains to note that the arrow A B has trivial valuation; for this observe that the types of the summands of the middle term of the Auslander-Reiten sequence ending at A are as specified We have seen that the shaded region in the diagram forms a slice of the Auslander-Reiten quiver for S 3 (Λ According to Theorem 11, this translation quiver is independent of the choice of the basering Λ which can be any commutative uniserial ring of length 6 References [1] M Auslander, I Reiten, SO Smal o: Representation Theory of Artin Algebras, Cambridge studies in advanced mathematics 36, 1995

23 Auslander-Reiten Quivers which are Independent of the Base Ring 23 [2] M Auslander and S O Smal o, Almost split sequences in subcategories, Journal of Algebra 69 (1981, [3] M Aviñó Dias and R Bautista Ramos, The additive structure of indecomposable Z p nc p -modules, Communications in Algebra, 24 (1996, [4] G Birkhoff, Subgroups of abelian groups, Proc Lond Math Soc, II Ser 38 (1934, [5] K Bongartz and P Gabriel, Covering spaces in representation theory, Inv Math 65 (1982, [6] R Hunter, F Richman and E Walker, Finite direct sums of cyclic valuated p-groups, Pacific J of Math 69 (1977, [7] F Richman and E A Walker, Subgroups of p 5 -bounded groups, in: Abelian groups and modules, Trends Math, Birkhäuser, Basel, 1999, pp [8] C M Ringel and M Schmidmeier, Submodule Categories of Wild Representation Type, to appear in J Pure Appl Alg, 1 13, see [9] W Rump, Irreduzible und unzerlegbare Darstellungen klassischer Ordnungen, Bayreuther Mathematische Schriften 32, Bayreuth, 1990 [10] M Schmidmeier, Bounded Submodules of Modules, to appear in J Pure Appl Alg, 1 38, see [11] D Simson, Chain categories of modules and subprojective representations of posets over uniserial algebras, Rocky Mountain J Math 32 (2002, Address of the author: Address during Fall 2005: Mathematical Sciences Florida Atlantic University Boca Raton, Florida United States of America markus@mathfauedu Institutt for Matematiske Fag NTNU 7491 Trondheim Norway