Auslander-Reiten conjecture for symmetric algebras of polynomial growth
aa r X i v : . [ m a t h . R T ] M a y AUSLANDER-REITEN CONJECTURE FOR SYMMETRIC ALGEBRAS OFPOLYNOMIAL GROWTH
GUODONG ZHOU AND ALEXANDER ZIMMERMANN
Abstract.
This paper studies self-injective algebras of polynomial growth. We prove that thederived equivalence classification of weakly symmetric algebras of domestic type coincides with theclassification up to stable equivalences (of Morita type). As for weakly symmetric non-domesticalgebras of polynomial growth, up to some scalar problems, the derived equivalence classificationcoincides with the classification up to stable equivalences of Morita type. As a consequence, weget the validity of the Auslander-Reiten conjecture for stable equivalences of Morita type betweenweakly symmetric algebras of polynomial growth.
Introduction
Drozd [7] showed that finite dimensional algebras A over an algebraically closed field K are eitherof finite representation type, or of tame representation type or of wild representation type. Here,an algebra is of finite representation type if there are only a finite number of isomorphism classes ofindecomposable modules. An algebra is of wild representation type if all module categories are fullsubcategories of the module category of the algebra. An algebra is of tame representation type iffor every positive integer d there are A − K [ X ]-bimodules M i ( d ) for i ∈ { , . . . , n d } so that M i ( d ) isfree as K [ X ]-module and so that all but finite number of isomorphism classes of indecomposable d -dimensional A -modules are isomorphic to M i ( d ) ⊗ K [ X ] K [ X ] / ( X − λ ) for λ ∈ K and i ∈ { , . . . , n d } .If n d is minimal with respect to d satisfying this property, A is of polynomial growth if there is aninteger m so that lim d →∞ n d d m = 0, and A is domestic if there is an integer m so that n d ≤ d · m forall d .Bocian, Holm and Skowro´nski [5, 6, 12] classified all weakly symmetric algebras of domestic typeup to derived equivalence and Bia lkowski, Holm and Skowro´nski [3, 4, 13] did the same thing forall weakly symmetric non-domestic algebras of polynomial growth. The result is a finite number offamilies of algebras given by quivers and relations, depending on certain parameters. In the caseof domestic algebras the classification is complete, whereas in case of weakly symmetric algebras ofpolynomial growth it is not known if certain choices of parameters may lead to the same derivedequivalence class. This question if certain parameters lead to derived equivalent algebras will becalled the scalar problem in the sequel.The main result of this paper is that the derived equivalence classification of weakly symmetricalgebras of polynomial growth coincides (up to some scalar problems) with the classification up tostable equivalences of Morita type as given in [5, 6, 12] and [3, 4, 13]. As a consequence, the Auslander-Reiten conjecture holds for a stable equivalence of Morita type between two weakly symmetricalgebras of polynomial growth.For weakly symmetric algebras of domestic type we can show more. We prove that the derivedequivalence classification coincides with the classification up to stable equivalences (no scalar problemoccurs in this case) and that the Auslander-Reiten conjecture holds for stable equivalences betweenweakly symmetric algebras of domestic types.As mentioned above the classification of symmetric algebras of polynomial growth up to derivedequivalence leaves open if for certain choices of parameters the algebras are derived equivalent or not. Date : May 3, 2010.2000
Mathematics Subject Classification.
Key words and phrases.
Auslander–Reiten conjecture; Derived equivalence; Reynolds ideal; Self-injective algebrasof polynomial growth; Stable equivalence; Stable equivalence of Morita type.
The same questions concerning the same choices of parameters remain open also for the classificationup to stable equivalences of Morita type.Moreover, using our result [26], we show that for tame symmetric algebras with periodic modules,the derived equivalence classification coincides with the classification up to stable equivalence ofMorita type, up to some scalar problem, and that the Auslander-Reiten conjecture holds for stableequivalences between tame symmetric algebras with periodic modules.The paper is organised as follows. In Section 1 we recall basic definitions and recall the stableinvariants we use in the sequel. In Section 2 we prove the main result Theorem 2.9 for weakly sym-metric algebras of domestic representation type and in Section 3 we show the main result Theorem 3.7for stable equivalences of Morita type for weakly symmetric algebras of polynomial growth.As soon as we use statements on representation type we shall always assume that K is an alge-braically closed field.1. Stable categories; definitions, notations and invariants
The definitions.
Let K be a field and let A be a finite dimensional K -algebra. The stablecategory A − mod has as objects all finite dimensional A -modules and morphisms from na A -module X to another A -module Y are the equivalence classes of A -linear homomorphisms Hom A ( X, Y ),where two morphisms of A -modules are declared to be equivalent if their difference factors througha projective A -module.Two algebras are called stably equivalent if A − mod ≃ B − mod as additive categories. Let M bean A − B -bimodule and let N be a B − A -bimodule. Following Brou´e the couple ( M, N ) defines a stable equivalence of Morita type if • M is projective as A -module and is projective as B -module • N is projective as B -module and is projective as A -module • M ⊗ B N ≃ A ⊕ P as A − A -bimodules, where P is a projective A − A -bimodule. • N ⊗ A M ≃ B ⊕ Q as B − B -bimodules, where Q is a projective B − B -bimodule.Of course, if ( M, N ) defines a stable equivalence of Morita type, then M ⊗ B − : B − mod ≃ A − mod is an equivalence. However, it is known that there are algebras which are stably equivalent but forwhich there is no stable equivalence of Morita type.1.2. Invariants under stable equivalences.
Auslander and Reiten conjectured that if A and B are stably equivalent, then the number of isomorphism classes of non-projective simple A -modulesis equal to the number of isomorphism classes of non-projective simple B -modules. The conjectureis open in general, but we shall use in this article the following positive result [22] of Pogorza ly: If A is stably equivalent to B and if A is selfinjective special biserial that is not Nakayama, then B isself-injective special biserial as well and the Auslander-Reiten conjecture holds in this case.Krause and Zwara [17] showed that stable equivalences preserve the representation type. Suppose A and B are two finite dimensional stably equivalent K -algebras. If A is of domestic representationtype (respectively of polynomial growth, respectively of tame representation type), then so is B .Reiten [23] show that being selfinjective is almost invariant under stable equivalences. Moreprecisely, let A be a selfinjective finite dimensional K -algebra which is stably equivalent to a finitedimensional indecomposable K -algebra B . Then B is either selfinjective or a radical squared zeroNakayama algebra.Finally, if A and B are stably equivalent finite dimensional algebras with Loewy length at leastthree, then the stable Auslander-Reiten quivers are isomorphic as translation quivers.1.3. Invariants under stable equivalence of Morita type.
Much more is known for stableequivalences of Morita type. We shall cite only those properties used in the sequel.Xi has shown [25] that if two finite dimensional K -algebras A and B are stably equivalent of Moritatype, then the absolute value of the Cartan determinants are equal. Even better, the elementarydivisors, including their multiplies, of the Cartan matrices different from ± A and for B . Liu showed [19] that if A is an indecomposable finite dimensional K -algebra, and B is a finitedimensional K -algebra stably equivalent of Morita type to A , then B is indecomposable as well. USLANDER-REITEN CONJECTURE FOR SYMMETRIC ALGEBRAS OF POLYNOMIAL GROWTH 3 If K is an algebraically closed field of characteristic p > A a finite dimensional K -algebra.Define [ A, A ] the K -space generated by all elements ab − ba ∈ A for all a, b ∈ A . Then, { x ∈ A | x p n ∈ [ A, A ] } =: T n ( A )is a K -subspace of A containing [ A, A ]. Liu and the authors have shown [20] that dim K ( T n ( A ) / [ A, A ]) = dim K ( T n ( B ) / [ B, B ])for all n ∈ N . If A and B are symmetric and stably equivalent of Morita type, then taking theorthogonal space with respect to the symmetrising form, observing that [ A, A ] ⊥ = Z ( A ), Liu, K¨onigand the first author have shown [15] that Z ( A ) /T n ( A ) ⊥ ≃ Z ( B ) /T n ( B ) ⊥ as rings. 2. Weakly symmetric algebras of domestic representation type
Selfinjective algebras of domestic type split into two subclasses: standard algebras and non-standard ones.A selfinjective algebra of tame representation type is called standard if its basic algebra admitsimply connected Galois coverings. A selfinjective algebra of tame representation type is called nonstandard if it is not standard.2.1.
Standard domestic weakly symmetric algebras.Theorem 2.1. [5, Theorem 1]
For an algebra A the following statements are equivalent: (1) A is representation-infinite domestic weakly symmetric algebras having simply connected Ga-lois coverings and the Cartan matrix C A is singular. (2) A is derived equivalent to the trivial extension T ( C ) of a canonical algebra C of Euclideantype. (3) A is stably equivalent to the trivial extension T ( C ) of a canonical algebra C of Euclideantype.Moreover, the trivial extensions T ( C ) and T ( C ′ ) of two canonical algebras C and C ′ of Euclideantype are derived equivalent (respectively, stably equivalent) if and only if the algebras C and C ′ areisomorphic. From this theorem, we know that a standard weakly symmetric algebras of domestic representationtype with singular Cartan matrice is symmetric.
Corollary 2.2.
The class of indecomposable standard weakly symmetric algebras of domestic repre-sentation type with singular Cartan matrices is closed under stable equivalences.
Proof
In fact, let A be an indecomposable algebra stably equivalent to an indecomposable standardweakly symmetric algebras of domestic representation type. Then by the preceding theorem, A isstably equivalent to the trivial extension T ( C ) of a canonical algebra C of Euclidean type. Again bythe preceding theorem, A is standard weakly symmetric algebras of domestic representation type. (cid:3) For standard weakly symmetric algebras of domestic representation type with nonsingular Cartanmatrices, we have the following derived norm forms. ✧✦★✥✧✦★✥ ✻ • ✻ β αA ( λ ) λ ∈ K \{ } α = 0 , β = 0 , αβ = λβα GUODONG ZHOU AND ALEXANDER ZIMMERMANN (cid:0)(cid:0)(cid:0)✒ β ❅❅❅■ β ❍❍❍❨ β ✛ β ✟✟✟✙ β q − ❍❍❍❥ β q − ✲ β q − ✟✟✟✯ β q (cid:0)(cid:0)(cid:0)✒ α ❅❅❅■ α ❍❍❍❨ α ✛ α ✟✟✟✙ α p α p − α p − α p − ✟✟✟✯ ✲ ❍❍❍❥ ♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣ ♣♣♣♣♣♣♣♣♣♣ ♣♣♣♣♣♣♣♣♣♣ A ( p, q )1 ≤ p ≤ qp + q ≥ α α · · · α p β β · · · β q = β β · · · β q α α · · · α p α p α = 0 , β q β = 0 α i α i +1 · · · α p β · · · β q α · · · α i − α i = 0 , ≤ i ≤ pβ j β j +1 · · · β q α · · · α p β · · · β j − β j = 0 , ≤ j ≤ q ♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣ β ❅❅❅■ β ❍❍❍❨ β ✛ β ✟✟✟✙ β n − ❍❍❍❥ β n − ✲ β n − ✟✟✟✯ β n (cid:0)(cid:0)(cid:0)✒ ✚✙✛✘ ✛ α Λ( n ) n ≥ α = ( β β · · · β n ) , αβ = 0 , β n α = 0 β j β j +1 · · · β n β · · · β n β · · · β j − β j = 0 , ≤ j ≤ n ♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣ β ❅❅❅■ β ❍❍❍❨ β ✛ β ✟✟✟✙ β n − ❍❍❍❥ β n − ✲ β n − ✟✟✟✯ β n (cid:0)(cid:0)(cid:0)✒ ✁✁✁✁✕✁✁✁✁☛❆❆❆❆❯❆❆❆❆❑ γ α γ α Γ( n ) n ≥ α α = ( β β · · · β n ) = γ γ ,α β = 0 , γ β = 0 , β n α = 0 β n γ = 0 , α γ = 0 , γ α = 0 β j β j +1 · · · β n β · · · β n β · · · β j − β j = 0 , ≤ j ≤ n USLANDER-REITEN CONJECTURE FOR SYMMETRIC ALGEBRAS OF POLYNOMIAL GROWTH 5
Theorem 2.3. [5, Theorem 2]
For a domestic standard self-injective algebra A , the following state-ments are equivalent: (1) A is weakly symmetric and the Cartan matrix C A is nonsingular. (2) A is derived equivalent to an algebra of the form A ( λ ) , A ( p, q ) , Λ( n ) , Γ( n ) . (3) A is stably equivalent to an algebra of the form A ( λ ) , A ( p, q ) , Λ( n ) , Γ( n ) .Moreover, two algebras of the forms A ( λ ) , A ( p, q ) , Λ( n ) or Γ( n ) are derived equivalent (respectively,stably equivalent) if and only if they are isomorphic. All these algebras except A ( λ ) = k h X, Y i / ( X , Y , XY − λY X ) , λ
6∈ { , } are symmetric. Remark that except Γ( n ), all algebras are special biserial algebras.Since the class of indecomposable standard weakly symmetric algebras of domestic representationtype is closed under stable equivalences, we have the following Corollary 2.4.
Two standard weakly symmetric algebras of domestic representation type are stablyequivalent if and only if they are derived equivalent.
Non standard domestic weakly symmetric algebras.
Nonstandard self-injective algebrasof domestic representation type are classified up to derived and stable equivalences in [6].
Theorem 2.5. [6, Theorem 1]
Any nonstandard representation-infinite selfinjective algebra of do-mestic type is derived equivalent (resp. stably equivalent) to an algebra Ω( n ) with n ≥ . Moreover,two algebras Ω( n ) and Ω( m ) are derived equivalent (respectively, stably equivalent) if and only if m = n . The quiver with relations of Ω( n ) is as follows. ♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣ β ❅❅❅■ β ❍❍❍❨ β ✛ β ✟✟✟✙ β n − ❍❍❍❥ β n − ✲ β n − ✟✟✟✯ β n (cid:0)(cid:0)(cid:0)✒ ✚✙✛✘ ✛ α Ω( n ) n ≥ α = αβ β · · · β n , αβ β · · · β n + β β · · · β n α = 0 ,β n β = 0 , β j β j +1 · · · β n β · · · β n β · · · β j − β j = 0 , ≤ j ≤ n Remark that the algebra Ω( n ) is always weakly symmetric, but it is symmetric only when thecharacteristic of the base field is 2. Note that Ω( n ) is not special biserial.2.3. Domestic standard type versus domestic non standard type.Theorem 2.6. [12, Theorem 1.1]
A standard symmetric algebra of domestic representation typecannot be derived equivalent to a non-standard symmetric one.
In course of the proof of the above theorem, one needs to compare the algebras Ω( n ) with A (1 , n ) incase the characteristic of K is 2. It is proved in [12] that the dimensions of the centre modulo the firstK¨ulshammer ideal, for Ω( n ) and A (1 , n ), are different, but this dimension is in fact invariant understable equivalences of Morita type ([20]). So a standard symmetric algebra of domestic representationtype cannot be stably equivalent of Morita type to a non-standard symmetric one. In fact, we caneven prove more. Lemma 2.7.
A standard weakly symmetric algebra of domestic type cannot be stably equivalent toa nonstandard one.
GUODONG ZHOU AND ALEXANDER ZIMMERMANN
Proof
Stably equivalent algebras of Loewy length at least 3 have isomorphic stable Auslander-Reitenquivers ([2, Corollary X. 1.9]). Notice that the stable Auslander-Reiten quiver of A ( λ ) for λ = 0consists of an Euclidean component of type Z ˜ A and a P ( K )-family of homogenous tubes. Sinceall algebras in the above list of Theorems 2.1, 2.3, 2.5 are of Loewy length at least 3, by comparingthe shapes of the stable Auslander-Reiten quivers as in [12, Section 4], we know that a standardweakly symmetric algebra of domestic type A in the list of Theorems 2.1, 2.3 is stably equivalent toa nonstandard one B = Ω( n ) only when A = A (1 , n ) and B = Ω( n ) for n ≥
1. However, notice that A (1 , n ) is special biserial and Ω( n ) is not. By the result of Pogorza ly [22, Theorem 7.3], they cannever be stably equivalent. (cid:3) Stable equivalence classification of domestic weakly symmetric algebras.Proposition 2.8. (1)
Two symmetric algebras of domestic representation type are derived equiv-alent if and only if they are stably equivalent of Morita type if and only if they are stablyequivalent. (2)
The class of symmetric algebras of domestic representation type is closed under stable equiv-alences, hence is closed under stably equivalences of Morita type and derived equivalences.
Proof
Corollary 2.4 shows that for standard weakly symmetric algebras the notions of derived equiv-alence and of stable equivalence are the same. Lemma 2.7 shows that standard weakly symmetricalgebras cannot be stably equivalent to non standard weakly symmetric algebras. Theorem 2.5 showsthat for non standard domestic weakly symmetric algebras derived and stable equivalence are thesame notion. This proves (1).Now let A be an indecomposable algebra stably equivalent to an indecomposable symmetricalgebra B of domestic representation type in the list of algebras in Theorems 2.1, 2.3 and 2.5. Thenby a result of Idun Reiten [23, Theorem 2.6] (see also [18, Theorem]), A itself is also self-injective or A is isomorphic to a radical square zero algebra whose quiver is of type A with linear orientation.But the latter algebra has finite representation type, and thus cannot be stably equivalent to arepresentation-infinite algebra. We infer that A is self-injective and now by [5, Proposition 5.2], A is weakly symmetric. By [17, Corollary 2 and the discussions afterwards], A is of domestic type. Wethus proved that A is weakly symmetric of domestic type.To finish the proof of the second assertion, one needs to show that A is symmetric and thus toexclude the cases where A is stably equivalent to A ( λ ) with λ ∈ K \{ , } or to Ω( n ) with n ≥ charK = 2, since these are the only cases where non symmetric algebras may occur.If A is stably equivalent to A ( λ ) with λ ∈ K \{ , } , then by [22, Theorem 7.3], B is specialbiserial. Since the Auslander-Reiten conjecture is proved for self-injective special biserial algebras([22, Theorem 0.1]), B is also local and is thus necessary isomorphic to A (1). However, A (1) is neverstably equivalent to A ( λ ) with λ = 1 by an unpublished result of Rickard.If char ( K ) = 2 and A is stably equivalent to A = Ω( n ) with n ≥
1, then by Lemma 2.7, B isnecessarily nonstandard and B = Ω( n ) for some n . But the fact that B is symmetric implies that char ( K ) = 2 which is a contradiction. (cid:3) In fact we can extend (at least partially) the above result to all weakly symmetric algebras ofdomestic representation type.
Theorem 2.9. (1)
Two weakly symmetric algebras of domestic representation type are derivedequivalent if and only if they are stably equivalent of Morita type if and only if they are stablyequivalent. (2)
The class of weakly symmetric algebras of standard domestic representation type is closedunder stable equivalences, hence under stably equivalences of Morita type, and derived equiv-alences.
Proof
Since by Lemma 2.7, a standard weakly symmetric algebra of domestic type cannot be stablyequivalent to a nonstandard one, Theorems 2.1, 2.3 and 2.5 imply the first assertion.
USLANDER-REITEN CONJECTURE FOR SYMMETRIC ALGEBRAS OF POLYNOMIAL GROWTH 7
For the second assertion, let A be an indecomposable algebra stably equivalent to a weakly sym-metric standard algebra B of domestic representation type in the list of algebras in Theorems 2.1and 2.3. By [17, Corollary 2 and the discussions afterwards], A is of domestic type. As in the proof ofProposition 2.8, A is still self-injective. Since by Proposition 2.8(2), the class of symmetric algebrasof domestic type is closed under stable equivalences, one can assume that B is not symmetric. Now B = A ( λ ) with λ
6∈ { , } . Since B = A ( λ ) is a local special biserial algebra, so is A by [22, Theorems0.1 and 7.3]. The algebra A is thus weakly symmetric. (cid:3) Remark 2.10. (1) If the class of self-injective nonstandard algebras of domestic type is closedunder under stable equivalences (hence under stably equivalences of Morita type and derivedequivalences), so is the class of weakly symmetric algebras of domestic representation type.(2) The second assertion of the above theorem answers a question of [5, Page 47].(3) If we have a complete Morita equivalence classification of all self-injective algebras of domestictype, the classification up to stable equivalence (of Morita type) might be feasible as well.As a consequence, the Auslander-Reiten conjecture holds for this class of algebras.
Corollary 2.11. (1)
Let A be an indecomposable algebra stably equivalent to an indecomposablesymmetric algebra B of domestic type. Then A has the same number of simple modules as B . (2) Let A be an indecomposable algebra stably equivalent to an indecomposable weakly symmetricstandard algebra B of domestic type. Then A has the same number of simple modules as B . Remark 2.12.
If the class of self-injective nonstandard algebras of domestic type is closed underunder stable equivalences, then Auslander-Reiten conjecture holds for a stable equivalence betweentwo weakly symmetric algebras of domestic type.3.
Non-domestic self-injective algebras of polynomial growth
The derived equivalence classification of the standard (resp. non-standard) non-domestic sym-metric algebras of polynomial growth is achieved in [3, Page 653 Theorem] (resp.[4, Theorem 3.1]).They give a complete list of representatives of derived equivalence classes in terms of quiver withrelations. We recall the derived norm forms following [13].We have five quivers and various relations. Q (1) • • ✲✛ ✚✙✛✘ ❄ γβα Q (2) • • ✲✛ ✚✙✛✘ ❄ ✚✙✛✘ ✻ σγα β Q (3) • • • ✲✛ ✲✛ αγ σβ Q (1) • • • ✲✛ ✲✛ ✖✕✗✔ ✲ βγ δσα Q (2) • • • ✲✛ ✲✛ • ✻❄ αβ ǫξδ γ Define for any λ ∈ K \ { , } the algebras GUODONG ZHOU AND ALEXANDER ZIMMERMANN Λ := KQ (1) / ( α γ, βα , γβγ, βγβ, βγ − βαγ, α − γβ )Λ ′ := KQ (1) / ( α γ, βα , βγ, α − γβ )Λ ( λ ) := KQ (2) / ( α , γα , α σ, α − σγ − α , λβ − γσ, γα − βγ, σβ − ασ )Λ ′ ( λ ) := KQ (2) / ( α − σγ, λβ − γσ, γα − βγ, σβ − ασ )Λ := KQ (1) / ( α − γβ, α − δσ, βδ, σγ, αδ, σα, γβγ, βγβ, βγ − βαγ )Λ ′ := KQ (1) / ( α − γβ, α − δσ, βδ, σγ, αδ, σα, βγ )Λ := KQ (2) / ( βα + δγ + ǫξ, γδ, ξǫ, αβα, βαβ, αβ − αδγβ )Λ ′ := KQ (2) / ( βα + δγ + ǫξ, γδ, ξǫ, αβ ) A ( λ ) := KQ (3) / ( αγα − ασβ, βγα − λ · βσβ, γαγ − σβγ, γασ − λσβσ ) A := KQ (2) / ( βα + δγ + ǫξ, αβ, γǫ, ξδ )Further, denote the trivial extensions of tubular canonical algebras as usual, in particularΛ(2 , , , , λ ) = T ( C (2 , , , λ )) for λ ∈ K \ { , } Λ(3 , ,
3) = T ( C (3 , , , ,
4) = T ( C (2 , , , ,
6) = T ( C (2 , , . The precise quivers with relations of the trivial extensions of tubular canonical algebras in questionare displayed in [13]. We will refrain from presenting them here since we do not really need thisinformation in such details.3.1.
Weakly symmetric standard non-domestic polynomial growth algebras.Theorem 3.1. [3, Page 653 Theorem]
Let A be an indecomposable standard non-domestic weaklysymmetric algebra of polynomial growth. Then A is derived equivalent to one of the following algebras: • two simple modules: Λ ′ and Λ ′ ( λ ) , λ ∈ K \{ , } ; • three simple modules: Λ ′ and A ( λ ) , λ ∈ K \{ , } ; • four simple modules: Λ ′ and A ; • six simple modules: Λ(2 , , , , λ ) , λ ∈ K \{ , } ; • eight simple modules: Λ(3 , , ; • nine simple modules: Λ(2 , , ; • ten simple modules: Λ(2 , , . The above classification is complete up to the scalar problems in Λ ′ ( λ ) and in A ( λ ). Remarkthat except Λ ′ in case the characteristic of the base field K is different from 2, all algebras aresymmetric.We shall prove Proposition 3.2.
The classification of indecomposable standard non-domestic weakly symmetricalgebras of polynomial growth up to stable equivalences of Morita type coincide with the derivedequivalence classification, modulo the scalar problems in Λ ′ ( λ ) , λ ∈ K \{ , } and in A ( λ ) , λ ∈ K \{ , } . Proof
Since a derived equivalence between self-injective algebras induces a stable equivalence ofMorita type ([14], [24]), we only need to show that two algebras from the above list which are notderived equivalent are not stably equivalent of Morita type, either.Since the property of being symmetric is invariant under a stable equivalence of Morita type([19, Corollary 2.4]), in case the characteristic of the base field is different from 2, Λ ′ cannot bestably equivalent of Morita type to any of the other algebras. We can concentrate on the remainingsymmetric algebras in the list.Now the algebras of at least six simple modules are trivial extensions of canonical algebras oftubular type (2 , , , , , , , , ,
6) respectively. They have singular Cartan matrices,
USLANDER-REITEN CONJECTURE FOR SYMMETRIC ALGEBRAS OF POLYNOMIAL GROWTH 9 while all other algebras have non-singular Cartan matrix. Since, by a result of Xi [25, Proposition5.1] the absolute value of the Cartan determinant is preserved by a stable equivalence of Morita type,we can consider separately those algebras of at most four simple modules and those of at least sixsimple modules.For trivial extension cases, by [3, Propositions 5.1 and 5.2], two algebras of this type are stablyequivalent if and only if they are derived equivalent. So the number of simple modules, which is aninvariant under derived equivalence, distinguishes them.Now suppose two indecomposable standard non-domestic weakly symmetric algebras of polyno-mial growth are stably equivalent of Morita type and have non-singular Cartan matrices. Then thealgebras are algebras in the above list. The following table gives some stable invariants of Moritatype which distinguish two algebras in the above list.
Algebra A Λ ′ Λ ′ ( λ ) Λ ′ A ( λ ) Λ ′ A det C A dim ( Z ( A ) /R ( A )) 3 4 2 2 1 2 (cid:3) Selfinjective non-standard non-domestic polynomial growth algebras.
Now we turnto non-domestic non-standard selfinjective algebras of polynomial growth. Recall the following
Theorem 3.3. (Bia lkowski, Holm, Skowro´nski [4, Theorem 3.1] ) Let A be an indecomposable non-standard non-domestic self-injective algebra of polynomial growth. Then we get the following. • If the base field is of characteristic , then A is derived equivalent to Λ . • else the base field is of characteristic and then – if A has two simple modules, A is derived equivalent to Λ ( λ ) , λ ∈ K \ { , } – if A has three simple modules, A is derived equivalent to Λ – if A has four simple modules, A is derived equivalent to Λ – else A has five simple modules and then A is derived equivalent to Λ If the base field is of characteristic 2 and λ = λ ′ , we do not know if Λ ( λ ) is derived equivalent toΛ ( λ ′ ) or not. We call this question the scalar problem.The above classification is complete up to the scalar problem in case the base field is of charac-teristic 2 for the algebra Λ ( λ ) , λ ∈ K \{ , } .Remark that the algebra Λ is not symmetric (even not weakly symmetric), so it is not stablyequivalent of Morita type to any other algebra in the above list.We can now prove Proposition 3.4.
The classification of indecomposable non-standard non-domestic self-injective al-gebras of polynomial growth up to stable equivalences of Morita type coincides with the derived equiv-alence classification, modulo the scalar problem in Λ ( λ ) . Proof
We only need to consider the case of characteristic two, since if the characteristic of K is 3,there is only one algebra. But notice det C Λ ( λ ) = 12, det C Λ = 6 and det C Λ = 4. (cid:3) Standard algebras versus non-standard algebras.
Now one can prove that a non-standardalgebra cannot be stably equivalent to a standard one. The case of a derived equivalence is provedby Holm-Skowro´nski in [13].
Theorem 3.5. [13, Main Theorem]
Let A be a standard self-injective algebra of polynomial growthand let Λ be an indecomposable, nonstandard, non-domestic, symmetric algebra of polynomial growth.Then A and Λ are not derived equivalent. Proposition 3.6.
Let A be an indecomposable standard weakly symmetric algebra and Λ be anindecomposable nonstandard non-domestic self-injective algebra of polynomial growth. Then A and Λ are not stably equivalent of Morita type. Proof
Suppose that A and Λ are stably equivalent of Morita type. By Krause [16, Page 605Corollary], A is also non-domestic of polynomial growth.We only need to consider symmetric algebras. In fact, the only non-symmetric nonstandard,non-domestic self-injective algebra of polynomial growth Λ is only defined when the characteristicof the base field is 2, but in case of characteristic 2, all standard non-domestic weakly symmetricalgebras of polynomial growth are symmetric, as Λ ′ is non-symmetric if and only if characteristic ofthe base field is different from 2.Now we consider symmetric algebras. In fact, the method of the proof of [13, Main Theo-rem] works. Since two algebras which are stably equivalent of Morita type have isomorphic sta-ble Auslander-Reiten quivers, by the shape of the stable Auslander-Reiten quivers (see the secondparagraph of Section 4 of Holm-Skowro´nski [13]), we proceed by remarking the following facts.(1) If K is of characteristic 3, the algebras Λ and Λ ′ are not stably equivalent of Morita type.Indeed Holm-Skowro´nski [13] have shown that dim Z (Λ ′ ) /T (Λ ′ ) ⊥ = 3 = 2 = dim Z (Λ ) /T (Λ ) ⊥ . (2) If K is of characteristic 2 and λ, µ ∈ K \ { , } , the algebras Λ ( λ ) and Λ ( µ ) ′ are not stablyequivalent of Morita type. Indeed Holm-Skowro´nski [13] have shown that dim Z (Λ ′ ( λ )) /T (Λ ′ ( λ )) ⊥ = 3 = 2 = dim Z (Λ ( µ )) /T (Λ ( µ )) ⊥ . (3) If K is of characteristic 2, the algebras Λ and Λ ′ are not stably equivalent of Morita type.Indeed Holm-Skowro´nski [13] have shown that dimZ (Λ ′ ) /T (Λ ′ ) ⊥ = 0 = dimZ (Λ ) /T (Λ ) ⊥ . (4) If K is of characteristic 2, the algebras Λ and Λ ′ are not stably equivalent of Morita type.Indeed Holm-Skowro´nski [13] have shown that dimHH (Λ ) = 4 = 3 = dimHH (Λ ′ ) . Since Z ( A ) /T ( A ) ⊥ and HH ( A ) are invariants under stable equivalences of Morita type, thiscompletes the proof. (cid:3) Stable equivalence classification of weakly symmetric non-domestic polynomial growthalgebras.
Combining Propositions 3.2, 3.4 and 3.6, we have
Theorem 3.7.
The classification of indecomposable non-domestic weakly symmetric algebras ofpolynomial growth up to stable equivalences of Morita type coincides with the derived equivalenceclassification, up to the above mentioned scalar problems.
As a consequence, we can prove a special case of Auslander-Reiten conjecture.
Theorem 3.8. (1)
Let A be an indecomposable algebra which is stably equivalent of Morita typeto an indecomposable non-domestic symmetric algebra Λ of polynomial growth. Then A and Λ have the same number of simple modules. (2) Let A and Λ be two indecomposable algebras which are both non-domestic weakly symmetricalgebra of polynomial growth or which are both non-standard self-injective algebras of poly-nomial growth. If they are stably equivalent of Morita type, then A and Λ have the samenumber of simple modules. Proof (1). By Krause [16, Page 605 Corollary] and Liu [19, Corollary 2.4], A is also symmetric,non-domestic, and of polynomial growth. Then one can apply Theorem 3.7, by noticing that theexisting scalar problems all occur in families of algebras for which different scalars yield algebrashaving the same number of simple modules.(2) is a direct consequence of Theorem 3.7 and Proposition 3.4. (cid:3) USLANDER-REITEN CONJECTURE FOR SYMMETRIC ALGEBRAS OF POLYNOMIAL GROWTH 11
Periodic algebras.
Recently, Karin Erdmann and Andrzej Skowro´nski [9] have shown thata non-simple indecomposable symmetric algebra A is tame with periodic modules if and only if A belongs to one of the following classes of algebras: a representation-finite symmetric algebra, a nondomestic symmetric algebra of polynomial growth, or an algebra of quaternion type (in the sense of[8]). Note that these three classes of algebras are closed under stable equivalences of Morita type,by Krause [16, Page 605 Corollary] and Liu [19, Corollary 2.4].In [1] Asashiba, in combination with Holm-Skowro´nski [12], the statement displayed in [10, The-orem 3.4, Theorem 3.5, Theorem 3.6] proved that for the class of representation-finite selfinjectiveindecomposable algebras are derived equivalent if and only if they are stable equivalent. In ourrecent paper [26, Theorem 7.1], we proved that for the class of algebras of quaternion type, derivedequivalence classification coincide with the classification up to stable equivalences of Morita type (upto some scalar problems). Therefore, combining the above Theorem 3.8, we showed the following Theorem 3.9. (1)
The class of tame symmetric algebras with periodic modules is closed understable equivalences of Morita type, in particular under derived equivalences; (2)
For tame symmetric algebras with periodic modules derived equivalence classification coincidewith the classification up to stable equivalences of Morita type (up to some scalar problems); (3)
The Auslander-Reiten conjecture holds for a stable equivalence of Morita type between twotame symmetric algebra with periodic modules. Concluding remarks
In Section 3 we classified symmetric algebras of polynomial growth only up to stable equivalencesof Morita type, whereas the results in Section 2 concern stable equivalences in general. It wouldbe most interesting to get a stable equivalence classification for general selfinjective algebras ofpolynomial growth, in particular the validity of the Auslander-Reiten conjecture in general. Thecrucial point for this more general statement would be to first classify algebras which are stablyequivalent (of Morita type) to Λ ′ in case the characteristic of K is different from 2 or to Λ , sincethese are the selfinjective polynomial growth algebras which are not symmetric. The second step isto classify weakly symmetric algebras of polynomial growth up to stable equivalences.If the for the class of selfinjective algebras of polynomial growth the derived equivalence classifica-tion would coincide with the classification up to stable equivalences (of Morita type) the Auslander-Reiten conjecture for this class of algebras should follow.Another point concerns the work of Martinez-Villa ([21]) of the reduction of the Auslander-Reitenconjecture to selfinjective algebras. If we can prove that this reduction preserves representation type:domestic type, polynomial growth etc, then the conjectural result of the preceding paragraph wouldimply the validity of the Auslander-Reiten conjecture for algebras of polynomial growth.The results of this paper present a second occurrence of a phenomenon of the same kind: In ourprevious paper [26] we also obtained that the classification of a class of tame symmetric algebrasup to stable equivalence coincides with the derived equivalence classification. One might ask if twoindecomposable tame symmetric algebras are stably equivalent of Morita type if and only if they arederived equivalent. References [1] Hideto Asashiba,
The derived equivalence classification of representation-finite selfinjective algebras . J. Algebra (1999) 182-221.[2] Maurice Auslander, Idun Reiten and Sverre O. Smalø,
Representation Theory of Artin Algebras , Cambridge Stud.Adv. Math., 36, Cambridge Univ. Press, 1995.[3] Jerzy Bia lkowski, Thorsten Holm and Andrzej Skowro´nski,
Derived equivalences for tame weakly symmetricalgebras having only periodic modules . J. Algebra (2003), no. 2, 652-668.[4] Jerzy Bia lkowski, Thorsten Holm and Andrzej Skowronski,
On nonstandard tame selfinjective algebras havingonly periodic modules . Colloq. Math. (2003), no. 1, 33-47.[5] Rafa l Bocian, Thorsten Holm and Andrzej Skowro´nski, Derived equivalence classification of weakly symmetricalgebras of Euclidean type . J. Pure Appl. Algebra (2004), no. 1-2, 43-74.[6] Rafa l Bocian, Thorsten Holm and Andrzej Skowro´nski,
Derived equivalence classification of nonstandard selfin-jective algebras of domestic type . Comm. Algebra (2007), no. 2, 515–526.[7] Yurij A. Drozd, Tame and wild matrix problems. Representation theory, (Proc. Second Internat. Conf., CarletonUniv., Ottawa, Ont., 1979), pp. 242-258, Lecture Notes in Math., 832, Springer, Berlin-New York, 1980. [8] Karin Erdmann,
Blocks of tame representation type and related algebras , Springer LNM 1428 (1980).[9] Karin Erdmann and Andrzej Skowronski,
Classification of tame symmetric algebras with periodic modules ,preprint in preparation.[10] Karin Erdmann and Andrzej Skowro´nski,
Periodic algebras , in ”Trends in representation theory of algebras andrelated topics”, European Mathematical Society, Series of Congress Reports, (2008) pp 201-251[11] Thorsten Holm,
Blocks of tame representation type and related algebras: derived equivalences and Hochschildcohomology , Habilitationsschrift (2001) Universit¨at Magdeburg.[12] Thorsten Holm and Andrzej Skowro´nski,
Derived equivalence classification of symmetric algebras of domestictype . J. Math. Soc. Japan (2006), no. 4, 1133-1149[13] Thorsten Holm and Andrzej Skowro´nski, Derived equivalence classification of symmetric algebras of polynomialgrowth . preprint (2009).[14] Bernhard Keller and Dieter Vossieck,
Sous les cat´egories d´eriv´ees . C. R. Acad. Sci. Paris S´erie I Math. (1987),no. 6, 225–228.[15] Steffen K¨onig, Yuming Liu and Guodong Zhou,
Transfer maps in Hochschild (co-)homology and their applications, preprint 2009, to appear Trans. Amer. Math. Soc.[16] Henning Krause,
Representation type and stable equivalence of Morita type for finite-dimensional algebras , Math.Z. (1998), no. 4, 601-606.[17] Henning Krause and Grzegorz Zwara, stable equivalence and generic modules , Bull. London Math. Soc. (2000)615-618.[18] Shiping Liu and Charles Paquette, Stably triangulated algebras . J. Algebra (2008), no. 6, 2629-2631.[19] Yuming Liu,
Summands of stable equivalences of Morita type . Comm. in Algebra (10) (2008), 3778-3782.[20] Yuming Liu, Guodong Zhou and Alexander Zimmermann, Higman ideal, stable Hochschild homology andAuslander-Reiten conjecture , preprint (2008).[21] Roberto Martinez-Villa,
Properties that are left invariant under stable equivalence . Comm. Algebra (1990),no. 12,4141-4169.[22] Zygmunt Pogorza ly, Algebras stably equivalent to self-injective special biserial algebras , Comm. Algebra (1994),no. 4, 1127-1160[23] Idun Reiten, Stable equivalence of self-injective algebras . J. Algebra (1976), no. 1, 63-74.[24] Jeremy Rickard, Derived categories and stable equivalence . J. Pure Appl. Algebra (1989), no. 3, 303–317.[25] Chang-Chang Xi, Stable equivalences of adjoint type . Forum Math. (2008), 81-97.[26] Guodong Zhou and Alexander Zimmermann Classifying tame blocks and related algebras up to stable equivalencesof Morita type . preprint (2010)
Guodong ZhouInstitut f¨ur Mathematik,Universit¨at Paderborn,33095 Paderborn,Germany
E-mail address : [email protected] Alexander ZimmermannUniversit´e de Picardie,D´epartement de Math´ematiques et LAMFA (UMR 6140 du CNRS),33 rue St Leu,F-80039 Amiens Cedex 1,France
E-mail address ::