SKEW GROUP ALGEBRAS AND THEIR YONEDA ALGEBRAS
|
|
- Alexina Woods
- 6 years ago
- Views:
Transcription
1 Math. J. Okayama Univ. 43(21), 1 16 SEW GROUP ALGEBRAS AND THEIR YONEDA ALGEBRAS Dedicated to Helmut Lenzing on the occasion of the 6-th birthday Roberto MARTÍNEZ-VILLA Abstract. Skew group algebras appear in connection with the study of singularities [1], [2]. It was proved in [4], [6], [1] the preprojective algebra of an Euclidean diagram is Morita equivalent to a skew group algebra of a polynomial algebra. In [7] we investigated the Yoneda algebra of a selfinjective oszul algebra and proved they have properties analogous to the commutative regular algebras, we call such algebras generalized Auslander regular. The aim of the paper is to prove that given a positively graded locally finite -algebra Λ = P i Λ i and a finite grading preserving group G of automorphisms of Λ, with characteristic not dividing the order of G, then G acts naturally on the Yoneda algebra Γ = L k Ext k Λ(Λ, Λ ) and the skew group algebra Γ G is isomorphic to the Yoneda algebra Λ G = L k Ext k Λ G(Λ G, Λ G). As an application we prove Λ is generalized Auslander regular if and only if Λ G is generalized Auslander regular and Λ is oszul if and only if Λ G is so. It was proved by H. Lenzing the indecomposable modules over a quiver algebra Q with a field and Q an Euclidean diagram, are parametrized by lein curve singularities P 1 (C)/G arising from the action of polyhedral groups on projective line. The polyhedral groups are the finite subgroups of SL(2, C), [8] they act naturally on C[x, y] sending homogeneous elements to homogeneous elements, for example the cyclic group Z n = { (ξ ) } ξ 1 ξ is a complex primitive n-th root of unity acts on C[x, y] by x ξx, y ξ 1 y. The coordinate ring of P 1 (C)/G is C[x, y] G. In general, given a positively graded locally finite -algebra Λ = j Λ j, with Λ semisimple, Λ i Λ j = Λ i+j and G a finite group of grading preserving -automorphisms of Λ, we associate to them two -algebras, the fixed ring Λ G = {λ Λ λ g = λ for all g G} and the skew group algebra Λ G defined as follows: 1
2 2 R. MARTÍNEZ-VILLA As a vector space Λ G = Λ G. For λ Λ and g G, we write λg instead of λ g, and multiplication is given by gλ = λ g g, where the element λ g Λ denotes the image of λ under the automorphism g. The algebra Λ G is the endomorphism ring of a finitely generated projective Λ G-module, explicitly: given the idempotent e = 1/ G g of Λ G there exists an isomorphisms e(λ G)e = Λ G [3]. Given a quiver Q and a field the preprojective algebra is the -algebra ˆQ/I with quiver ˆQ with vertices ˆQ = Q and arrows ˆQ 1 = Q 1 Q op 1, where Q op denotes the opposite quiver of Q. For any arrow α Q 1 write ˆα for the corresponding arrow in the opposite quiver. The ideal I is generated by relations α i ˆα i and ˆα i α i. We have the following: Theorem 1 (Lenzing [6], Reiten and Van den Bergh [1], Crawley -Boevey [4]). The preprojective algebras Λ = C ˆQ/I corresponding to an Euclidean quiver Q are Morita equivalent to the skew group algebras C[x, y] G, with G a polyhedral group. In the example of the cyclic group Z n acting on C[x, y] given above the skew group algebra C[x, y] Z n is the Mckay quiver [8] obtained as follows: Let {S 1, S 2,..., S n } be the irreducible representations of Z n, put a vertex v i for each simple S i and m ij arrows from v i to v j if V S i = m ij S j, C j where V is the two dimensional representation given by (x, y)/(x, y) 2. The Mckay quiver is: n 1 g G n. In this paper we consider generalized Auslander regular algebras, they constitute non commutative versions of the regular algebras and contain the preprojective algebras. We will prove that given a positively graded algebra Λ as above and a finite a group of automorphisms G, the skew group algebra Λ G is generalized Auslander regular if and only if Λ is so. Let M be a Λ G-module and V a G-module. The vector space M is a Λ G-module with action given by: λ.(m v) = λm v and g(m v) = gm gv, for λ Λ, m M and g G. Lemma 2. Let Λ = j Λ j be a positively graded, locally finite -algebra with Λ semisimple, Λ i Λ j = Λ i+j and an algebraically closed field. Let V
3 SEW GROUP ALGEBRAS AND THEIR YONEDA ALGEBRAS 3 G be a finite grading preserving group of automorphisms of Λ such that the characteristic of does not divide the order of G and Λ G the skew group algebra. Then the Λ G-simple modules are of the form: S V with S a simple Λ G submodule of Λ and V an irreducible G-module. Proof. The radical of Λ G is J G and J G(S V ) = JS V =, then S V is a Λ G/J G = Λ G-module. By [9], Λ G is semisimple, therefore: S V is semisimple. We need to prove S V is indecomposable. We have natural isomorphisms: Hom Λ G (S V, S V ) = Hom Λ (S V, S V ) G = Hom (V, Hom Λ (S, S V )) G = Hom G (V, Hom Λ (S, S V )). We have also natural isomorphisms: Hom Λ (S, S V ) = Hom Λ/J (S, S V ) = Hom Λ/J (S, Λ/J) S Λ/J V = Hom Λ/J (S, S) V = Hom Λ (S, S) V. Then we have isomorphisms: Hom G (V, Hom Λ (S, S V )) = Hom G (V, V ) = =. Hom Λ (S, S) If S is a Λ G simple, then S is a Λ G/J G = Λ G-module. Therefore: S is isomorphic to a summand of Λ G = Λ G. Decomposing Λ = G = m V j we obtain S is isomorphic to some module S i V j. j=1 t i=1 S i,
4 4 R. MARTÍNEZ-VILLA Lemma 3. Let be a field, G a finite group with characteristic of not dividing the order of G. Let M be a -vector space with G-action. Denote by M G = {m M gm = m for all g G} the set of fixed points. Then the fixed point functor ( ) G : Mod G Mod G is exact. Proof. Let t : M M be a -linear map given by: t(m) = 1/ G gm. Then it is clear t(m) = M G. Let L j M π N be an exact sequence of G-modules and G-maps. Then we have an exact commutative diagram: L M which induces an exact diagram: t t N L M N, t g G M π N t M G t res π N G. Therefore, res π is a map onto N G. It is clear M G L = L G. Hence; L G M G N G is exact. Lemma 4. Let Λ be a positively graded -algebra, G a finite grading preserving group of automorphisms of Λ. Let L, M and N be Λ G-modules. Then the following statements hold: i) The abelian group Hom Λ (M, N) is a G-module with action g f(m) = gf(g 1 m). ii) There is an equality Hom Λ (M, N) G = Hom Λ G (M, N). iii) For all k there is a natural action of G on Ext k Λ (M, N). If x Ext k Λ (M, N) and y Exts Λ (N, L), then g(y.x) = (gy).(gx). Proof. i) Let g 1, g 2 be elements of G and f Hom Λ (M, N). We have identities: (g 1.g 2 ) f(m) = g 1 g 2 f(g2 1 g 1 1 m) = g 1(g 2 f(g2 1 ))(g 1 1 m) = g 1 (g 2 f(m)). ii) If f is an element of Hom Λ (M, N) G, then g f = f for all g G, in particular: g 1 f = f. It follows gf(m) = f(gm) and f Hom Λ G (M, N). If f is in Hom Λ G (M, N), then g 1 f(m) = f(g 1 m). Therefore f(m) = gf(g 1 m), this is g f = f for all g G, hence; f Hom Λ (M, N) G.
5 SEW GROUP ALGEBRAS AND THEIR YONEDA ALGEBRAS 5 iii) Let g be an element of G and M a Λ-module. Define the Λ-module M g 1 as follows: M g 1 = M as -vector space and for λ Λ and m M we have λ m = λ g 1 m. If M is a G-module, then we have an isomorphism φ g 1 : M M g 1 given by φ g 1(m) = g 1 m. Then φ g 1(λm) = g 1 λm = λ g 1 g 1 m = λ φ g 1(m). If M and N are G-modules and f : M N is a Λ-map, then we have the following commutative diagram: M g 1 φ g 1 f g 1 N g 1 M g f N, φ g 1 where f g 1 (x) = f(x) and f g 1 (λ x) = f(λ g 1 x) = λ g 1 f(x) = λ f g 1 (x). Then φ g f g 1 φ g 1(m) = gf(g 1 m) = g f(m). Let x Ext k Λ (M, N) be the extension: Define g.x as the extension: N j f E k f 1 k Ek 1 E 1 M. N jg 1 φg 1 E g 1 k f g 1 k E g 1 k 1 Eg 1 1 φ g f g 1 1 M. Since ( ) g is an exact functor we have: x y if and only if gx gy. We have the following commutative diagram: φ h 1 N φ h 1 φ h 1 g 1 g 1 N N h 1 g 1. It follows (hg)(x) = h(gx). Hence; G acts on Ext k Λ (M, N). It is clear that if x Ext k Λ (M, L) and y Exts Λ (L, N), then g(yx) = (gy)(gx). Corollary 5. Let Λ be a positively graded -algebra, G a finite grading preserving group of automorphisms of Λ such that the characteristic of does not divide the order of the group G. Let L f M π N be an exact sequence of G-modules and G-maps. Then for any G-module X the
6 6 R. MARTÍNEZ-VILLA long exact sequences: Hom Λ (X, L) Hom Λ (X, M) Hom Λ (X, N) Ext 1 Λ(X, L) Ext 1 Λ(X, M) Ext k Λ(X, M) Hom Λ (N, X) Hom Λ (M, X) Hom Λ (L, X) Ext 1 Λ(N, X) Ext 1 Λ(M, X) Ext k Λ(M, X) are exact sequences of G-modules and G-maps. t k Proof. Let L j t E k Ek 1 E 1 1 X be an exact sequence and f : L M be a G-map. We have an induced exact sequence y obtained from the commutative diagram: x : L j t k E k t 1 E k 1 E 1 X f y : M i F k s k F k 1 F 1 s 1 X. Applying ( ) g 1 and composing with the natural isomorphisms we have a commutative exact diagram: 1 gx : L jφ g 1 E g 1 k g f gy : M F g 1 k t k E g 1 k 1 Eg 1 1 F g 1 k 1 F g 1 1 φ g t 1 X 1 φ g s 1 X. Then Ext k Λ (f, M)(x) = y. We have g Extk Λ (f, M)(x) = gy = Extk Λ (g f, M)(gx). Since g f = f, then Ext k Λ (f, M) is a G-map. Let δ : Ext k Λ (X, N) Extk+1 Λ (X, L) be the connecting map and x Ext k Λ (X, N), where x : N E k E k 1 E 1 X and z is the exact sequence: L f M π N. We have the following commutative exact diagram: L f M π N φ g 1 L g 1 φ g 1 f φ g 1 M g 1 π N g 1 with φ g 1 isomorphisms. This implies gz = z. Then δ(gx) = zgx = gzgx = g(zx) = gδ(x). Hence; δ is a G-map. The proof for the second long exact sequence is by dual arguments.
7 SEW GROUP ALGEBRAS AND THEIR YONEDA ALGEBRAS 7 Lemma 6. Let Λ be a positively graded -algebra, G a finite grading preserving group of automorphisms of Λ such that the characteristic of does not divide the order of the group G. Let X be a finitely generated graded Λ G-module. Then X is projective if and only if X is projective as Λ- module. Proof. Assume the module X is projective as Λ G-module, this implies there exists a graded Λ G-module Q such that X Q = (Λ G) n = ( G Λ) n. Therefore: X is a projective Λ-module. Assume X is projective as Λ-module. Let A B C be an exact sequence of Λ G-modules. Then the sequence: Hom Λ (X, A) Hom Λ (X, B) Hom Λ (X, C) is an exact sequence of G-modules. have an exact sequence: Applying the fixed point functor we Hom Λ (X, A) G Hom Λ (X, B) G Hom Λ (X, C) G, which is isomorphic to the sequence: Hom Λ G (X, A) Hom Λ G (X, B) Hom Λ G (X, C). It follows X is projective. Corollary 7. If Λ and G are as in the lemma, then Λ is a projective Λ G- module. Lemma 8. Let G be a finite grading preserving group of automorphisms of the -algebra Λ and assume the characteristic of Λ does not divide the order of the group G. Let P be a graded finitely generated projective Λ G- module and N an arbitrary graded Λ G-module. Then we have a natural isomorphism: θ : Hom Λ (P, N) W Hom Λ G (P G, N W ) given by θ(f w)(p g) = g f(p) gw. Proof. We have a natural isomorphism of -vector spaces: ψ : Hom (G, Hom Λ (P, N W )) Hom Λ (P G, N W ) given by ψ(γ)(p g) = γ(g)(p). The map ψ is a G-map. We have equalities: ψ(h γ)(p g) = h γ(g)(p). But h γ(g) = (h.γ)(h 1 g). Then, [(h.γ)(h 1 g)](p) = h(h 1 g)(h 1 p) = h(ψ(γ)(h 1 p h 1 g) = h(ψ(γ))(h 1 (p g) = (h ψ(γ)(p g) = ψ(h γ)(p g).
8 8 R. MARTÍNEZ-VILLA Hence ψ(h γ) = h ψ(γ). It follows ψ induces an isomorphisms: ψ : Hom (G, Hom Λ (P, N Hence an isomorphism: W )) G Hom Λ (P G, N W ) G ψ : Hom G (G, Hom Λ (P, N W )) Hom Λ G (P G, N W ). Consider the natural isomorphisms: σ 1 : Hom Λ (P, N) W Hom Λ (P, Λ) Λ N W, σ 2 : Hom Λ (P, Λ) Λ N W Hom Λ (P, N W ), where f Hom Λ (P, N) we have the equality f(p) = f i (p)n i with f i Hom Λ (P, Λ) and n i N. Then, σ 1 (f w) = f i n i w and σ 2 ( f i n i w)(p) = f i (p)n i w = ( f i (p)n i ) w = f(p) w. Hence; σ(f w)(p) = σ 2 σ 1 (f w)(p) = f(p) w. The map α : Hom Λ (P, N W ) Hom G (G, Hom Λ (P, N W )) is the isomorphism α(f)(h) = h f. The natural isomorphism θ is the composition ψασ. Then we have a chain of equalities: θ(h w)(p g) = ψασ(h w)(p g) = ψ(ασ(h w))(p g) = ασ(h w)(g)(p) = g σ(h w)(g)(p) = gσ(h w)(g 1 p) = g[h(g 1 p) w] = ghg 1 p hw = g h(p) gw. Proposition 9. Let G be a finite group of grading preserving automorphisms of the -algebra Λ such that the characteristic of does not divide the order of G. Let M be a graded Λ G-module with a graded projective resolution consisting of finitely generated modules, N a graded Λ G-module and W a G-module. Then for all k we have a natural isomorphism: ˆθ : Ext k Λ(M, N) W Ext k Λ G (M G, N W ). f k f Proof. Let P k Pk 1 P M be a Λ G-projective resolution of M. By lemma 6, each P j is a finitely generated projective Λ-module. Tensoring with G we have an exact sequence of Λ G-modules: P k P k 1 G P G f 1 M G. G f k1
9 SEW GROUP ALGEBRAS AND THEIR YONEDA ALGEBRAS 9 Each P k G is isomorphic to P k as Λ-module, hence projective as Λ- G module. By lemma 6, P k G is a finitely generated graded projective Λ G-module. We have a complex: Hom Λ (P, N) Hom Λ (P k, N) Hom Λ (P k+1, N). Tensoring with W we obtain a complex: Hom Λ (P, N) W Hom Λ (P k, N) W Hom Λ (P k+1, N) W, whose k-th homology is Ext k Λ (M, N) W. By the lemma, we have an isomorphism of complexes: Hom Λ (P, N) W Hom Λ (P G, N W ) θ Hom Λ (P k, N) W Hom Λ (P k+1, N) W θ Hom Λ (P k G, N W ) Hom Λ (P k+1 G, N W ), which induces an isomorphism ˆθ of the homologies, therefore an isomorphism: ˆθ : Ext k Λ(M, N) W Ext k Λ G (M θ G, N W ). Theorem 1. Let Λ be a positively graded -algebra, G a finite grading preserving group of automorphisms of Λ with characteristic of do not dividing the order of G. Let M be a graded Λ G-module with a graded projective resolution consisting of finitely generated modules Γ = Ext k Λ (M, M). k Then the skew group algebra Γ G is isomorphic as graded algebra to ˆΓ = Ext k Λ G (M G, M G). k Proof. We need to prove isomorphism ˆθ preserves multiplication. Let x Ext k Λ (M, N) and y Exts Λ (M, N): x = M E k E k 1 E 1 M, y = M F s F s 1 F 1 M,
10 1 R. MARTÍNEZ-VILLA where the multiplication x y is the Yoneda product: x y = y.x = M F s F s 1 F 1 E k E k 1 E 1 M. α t α Let P t Pt 1 P M be a Λ G-projective resolution of M and Ω t (M) = er α t. To the extension x corresponds a map f : Ω k (M) M, to the extension y a map h : Ω s (M) M and to the Yoneda product y.x corresponds the composition h.ω k (f). We have the following commutative exact diagrams: Ω k (M) P k 1 P M f f k M E k E 1 M, f 1 Ω k s (M) P k+s 1 P k Ω k (M) Ω s (f) Ω s (M) f k P s 1 P f M h h s M F s F 1 M. We need to prove the following diagram: h 1 1 Ext k Λ (M, M) G Ext s Λ (M, M) G ˆθ Ext k Λ G (M G, M G) Ext s Λ G (M G, M G) ν Ext k+s Λ (M, M) G ˆθ µ Ext k+s Λ G (M G, M G) with ν(x g, y t) = (x.g)(y.t) and µ the Yoneda product, commutes. We have the following equalities: (x.g)(y.t) = x.(gy.t) = x.gy gt = gy.x gt and the following correspondences under the natural isomorphisms: x g f g, y t h t. ˆθ
11 SEW GROUP ALGEBRAS AND THEIR YONEDA ALGEBRAS 11 Then the following correspondences: ˆθ(xg) θ(f g), ˆθ(yt) θ(ht). The maps θ(f g), θ(h t) induce exact commutative diagrams: Ω s (M) G P s 1 G P G M G θ(ht) 1 M G ˆFs ˆF1 M, Ω k+s (M) G P k+s 1 G Ω s θ(fg) Ω s M G P s G P k G Ω k (M) G θ(fg) P G M G, where the bottom rows are ˆθ(y t) and ˆθ(x g). We have the following correspondence: ˆθ(y t)ˆθ(x g) = ˆθ(x g) ˆθ(y t) θ(h t)ω s θ(f g). We claim Ω s θ(f g) = θ(ω s f g). We have commutative squares: P k+s i α k+s i P k+s i 1 f k+s i f k+s i 1 P s i α s i P s i 1. It is enough to prove the following square commute: P k+s i G θ(f k+s i g) P s i G α k+s i 1 P k+s i 1 G θ(f k+s i 1 g) α s i 1 P s i 1 G. But we have the following chain of equalities: θ(f k+s i g)α k+s i 1(p t) = θ(f k+s i g)(α k+s i (p) t) = t f k+s i 1 (α k+s i (p) gt) = tf k+s i 1 (t 1 α k+s i (p) gt = tf k+s i 1 (α k+s i (t 1 p) gt = tα s i f k+s i (t 1 p) gt = α s i (tf k+s i (t 1 p) gt = α s i t f k+s i (p) gt = (α s i 1)(t f k+s i (p) gt) = (α s i 1)(θ(f k+s i g)(p t).
12 12 R. MARTÍNEZ-VILLA We also have equalities: θ(h t)ω s θ(f g) = θ(h t)θ(ω s f g)(m l) = θ(h t)(l Ω s f(m) lg) = lg h(l Ω s f(m) lgt) = lg h(lω s f(l 1 m) lgt) = lgh(g 1 l 1 lω s f(l 1 m) lgt) = l(gh(g 1 Ω s f(l 1 m) lgt) = l((g h)ω s f(m) lgt) = θ(g hω s f gt)(m l). We have the following commutative diagrams with exact rows: Ω s M ϕ 1 h Ω s M g 1 h M g 1 P s 1 P g 1 s 1 F g 1 s ϕ g M Fs g 1 P k P g 1 k F g 1 1 F g 1 1 M ϕ g 1 M g 1 1 M g 1 ϕ g M, where the last raw is y g. Since ϕ g hϕ g 1 = g h, then we have a correspondence g h y g, and ˆθ(x g) ˆθ(y t) = ˆθ(x y g, gt). Recall the following definitions from [7] and the references given there: Definition 11. A positively graded -algebra Λ = j Λ j such that each Λ j is finite dimensional over the field and for each pair of integers i j we have equalities Λ i Λ j = Λ i+j, will be called a graded quiver algebra. By J we denote the graded Jacobson radical J = j 1 Λ j. Let M be a finitely generated graded Λ-module, generated in highest degree zero, we say M is a oszul module if F (M) = Ext i Λ (M, Λ/J) is i generated in highest degree zero. We say Λ is oszul if all graded simples generated in degree zero are oszul. Definition 12. Let Λ be a graded quiver algebra, we say Λ is generalized Auslander regular if the following statements are true: i) The algebra Λ has finite, graded, small, global dimension n. ii) All graded simples have projective dimension n. iii) For any graded simple S, Ext k Λ (S, Λ) = for k < n. iv) The functor Ext n Λ (, Λ) induces a bijection between the Λ and the Λ op -graded simples.
13 SEW GROUP ALGEBRAS AND THEIR YONEDA ALGEBRAS 13 Lemma 13. Let Λ be a positively graded -algebra, G a finite group of grading preserving automorphisms of Λ with characteristic of not dividing the order of G. Then Λ G is generalized Auslander regular if and only if Λ is generalized Auslander regular. Proof. Assume Λ is generalized Auslander regular, M a Λ G-module semisimple. Then Ext k Λ G (M G, Λ G) = Ext k Λ (M, Λ) G for all k n. Then by hypothesis, Ext n Λ (M, Λ) is a semisimple Λ G-module. Assume G = n V i, V i an irreducible G-module. Then i=1 Ext n Λ G(M G, Λ G) = m i=1 Ext n Λ G (M V i, Λ G) and each Ext n Λ G (M V i, Λ G) is a semisimple Λ G-module. Let T be a simple Λ G-module with minimal projective resolution: Dualizing by ( P n P n 1 P T. ) = Hom Λ G (, Λ G) we have a complex: ( ) P P 1 P n Ext n Λ G(T, Λ G) and Ext k Λ G (T G, Λ G) = Ext k Λ (T, Λ) G = m Ext k Λ G (T V i, Λ i=1 G) =, imply Ext k Λ G (T, Λ G) = for all k n and the sequence ( ) is exact. Let S = Ext n Λ G (T, Λ G). Dualizing, we have an exact diagram: P n P n 1 P T P n P n 1 P T. Therefore: Ext k Λ G (S, Λ G) = for all k n. If S 1 S2 = S, with S 1, S 2 non zero semisimple Λ G-modules, then Ext k Λ G (S i, Λ G) = for i = 1, 2 and all k n. If Ext n Λ G (S i, Λ G) =, then S i =, a contradiction. Therefore: T = Ext n Λ G (S 1, Λ G) Ext n Λ G (S 2, Λ G), contradicting T is simple. Now if T 1, T 2 are simple Λ G-modules with Ext n Λ G (T 1, Λ G) = Ext n Λ G (T 2, Λ G) and projective resolutions: P n P n 1 P T 1, P n P n 1 P T 2.
14 14 R. MARTÍNEZ-VILLA Dualizing, we have exact sequences: (P ) (P 1) (P n) Ext n Λ G(T 1, Λ G), (P ) (P 1 ) (P n ) Ext n Λ G(T 2, Λ G). From the fact Ext n Λ G (T 1, Λ G) = Ext n Λ G (T 2, Λ G) we have isomorphisms: (P j ) = (P j ), in particular (P ) = (P ). Then P = P and T 1 = T 2. Now assume Λ G is generalized Auslander regular, S Λ a simple Λ-module. The module T defined as T = gs is a simple Λ G-module. Then Ext k Λ G (T G, Λ G) = Ext k Λ G (T, Λ) G. Decomposing G = m V i where each V i is irreducible and using the fact Ext k Λ (T, Λ) G = i=1 m Ext k Λ G (T V i, Λ G), we obtain Ext k Λ G (T V i, Λ G) = if k n. i=1 Therefore: Ext k Λ (T, Λ) = for all k n. m Since Ext n Λ (T, Λ) G = Ext n Λ G (T V i, Λ G), where Ext n Λ G ( i=1 T V i, Λ G) is a semisimple Λ G-module, then Ext n Λ (T, Λ) G is a semisimple Λ-module. The module S is a submodule of the semisimple Λ-module T, hence; a summand. It follows Ext n Λ (S, Λ) Extn Λ (T, Λ), hence Ext n Λ (S, Λ) is a semisimple Λ-module. Let P n P n 1 P T be a minimal projective resolution of the Λ-module S, dualizing with respect to Λ we have an exact sequence: g G (P ) (P 1 ) (P n ) Ext n Λ(S, Λ). Dualizing again we have isomorphisms: P n P n P n 1 P n 1 P P S Ext n Λ (Extn Λ (S, Λ), Λ). It follows S = Ext n Λ (Extn Λ (S, Λ), Λ). If S is simple, then Extn Λ (S, Λ) = S 1 S2, S 1 S 2. This implies S = Ext n Λ (S 1, Λ) Ext n Λ (S 2, Λ). If Ext n Λ (S i, Λ) =, then Ext k Λ (S i, Λ) = for all i, a contradiction. It follows Ext n Λ (S, Λ) is simple. Theorem 14. Let G be a finite group of automorphisms of a graded - algebra Λ. Assume characteristic of the field does not divide the order of the group, let M be a finitely generated graded Λ G-module. Then M G
15 SEW GROUP ALGEBRAS AND THEIR YONEDA ALGEBRAS 15 is a oszul Λ G-module if and only if M is a oszul Λ-module. In particular Λ is oszul if and only if Λ G is oszul. Proof. We have a natural isomorphisms: Ext k Λ G(M G, Λ G) = Ext k Λ G (M, Λ) G and Ext k Λ G(M G, Λ G) Ext j Λ G (Λ G, Λ G) = (Ext k Λ(M, Λ ) G)(Ext j Λ (Λ, Λ ) G) = Ext k Λ(M, Λ ) Ext j Λ (Λ, Λ ) G. Therefore, Ext k Λ G (M G, Λ G) Ext j Λ G (Λ G, Λ G) = Ext k+j Λ G ( M G, Λ G) if and only if Ext k Λ (M, Λ ) Ext j Λ (Λ, Λ ) = Ext k+j Λ (M, Λ ). It follows M is oszul if and only if M G is oszul, in particular Λ is oszul if and only if Λ G is oszul. References [1] M. Auslander, Rational singularities and almost split sequences, Trans. Amer. Math. Soc. (2) 293(1986), [2] M. Auslander and I. Reiten, Almost split sequences for rational double points, Trans. Amer. Math. Soc. (1) 32(1987), [3] M. Cohen and S. Montgomery, Group-graded rings, smash products, and group actions, Trans. Amer. Math. Soc. 282(1984), [4] W. Crawley-Boevey and M. P. Holland, Noncommutative deformations of leinian singularities, Duke Math. J. 92(1998), [5] F. lein, Vorlesungen über das Ikosaeder und die Auflösung der Gleichungen vom fümften Grade, Teubner, Leipzig, [6] H. Lenzing, Curve singularities arising from the representation theory of tame hereditary algebras, Rep. Theory I. Finite dim. Algebras , Lecture Notes in Math. 1177, Springer-Verlag, [7] R. Martínez-Villa, Serre duality for generalized Auslander regular algebras, Trends in Rep. Theory of finite dimensional Algebras, Contemporary Math. 229(1998), [8] J. Mcay, Graphs, singularities and finite groups, Proceedings of Symposia in Pure Mathematics 37(198), [9] I. Reiten and C. Riedtmann, Skew Group Algebras in the Representation Theory of Artin Algebras, J. of Algebra (1) 92(1985), [1] I. Reiten and M. Van den Bergh, Two-dimensional tame and maximal orders of finite representation type, Mem. Amer. Math. Soc. 8, 1989.
16 16 R. MARTÍNEZ-VILLA Roberto Martínez-Villa Instituto de Matemáticas, UNAM Unidad Morelia Apartado Postal 61-3 Morelia 5889, Mich. México address: (Received July 13, 21 )
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 informationTRIVIAL 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 informationHIGHER 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 informationThe 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 informationON MINIMAL HORSE-SHOE LEMMA
ON MINIMAL HORSE-SHOE LEMMA GUO-JUN WANG FANG LI Abstract. The main aim of this paper is to give some conditions under which the Minimal Horse-shoe Lemma holds and apply it to investigate the category
More informationHochschild and cyclic homology of a family of Auslander algebras
Hochschild and cyclic homology of a family of Auslander algebras Rachel Taillefer Abstract In this paper, we compute the Hochschild and cyclic homologies of the Auslander algebras of the Taft algebras
More informationDerived Canonical Algebras as One-Point Extensions
Contemporary Mathematics Derived Canonical Algebras as One-Point Extensions Michael Barot and Helmut Lenzing Abstract. Canonical algebras have been intensively studied, see for example [12], [3] and [11]
More informationON 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 informationNoetherian property of infinite EI categories
Noetherian property of infinite EI categories Wee Liang Gan and Liping Li Abstract. It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result
More informationDedicated 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 information6. Dynkin quivers, Euclidean quivers, wild quivers.
6 Dynkin quivers, Euclidean quivers, wild quivers This last section is more sketchy, its aim is, on the one hand, to provide a short survey concerning the difference between the Dynkin quivers, the Euclidean
More information4.1. Paths. For definitions see section 2.1 (In particular: path; head, tail, length of a path; concatenation;
4 The path algebra of a quiver 41 Paths For definitions see section 21 (In particular: path; head, tail, length of a path; concatenation; oriented cycle) Lemma Let Q be a quiver If there is a path of length
More informationRELATIVE HOMOLOGY. M. Auslander Ø. Solberg
RELATIVE HOMOLOGY M. Auslander Ø. Solberg Department of Mathematics Institutt for matematikk og statistikk Brandeis University Universitetet i Trondheim, AVH Waltham, Mass. 02254 9110 N 7055 Dragvoll USA
More informationHochschild Cohomology of skew group rings and invariants
arxiv:math/31246v1 [math.rt] 26 Dec 23 Hochschild Cohomology of skew group rings and invariants E. N. Marcos, R. Martínez-Villa and Ma. I. R. Martins In memory of Sheila Brenner Abstract Let A be a k-algebra
More informationProjective 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 informationArtin 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 informationON THE EXCEPTIONAL FIBRES OF KLEINIAN SINGULARITIES WILLIAM CRAWLEY-BOEVEY
ON THE EXCEPTIONAL FIBRES OF KLEINIAN SINGULARITIES WILLIAM CRAWLEY-BOEVEY Abstract. We give a new proof, avoiding case-by-case analysis, of a theorem of Y. Ito and I. Nakamura which provides a module-theoretic
More informationOn Extensions of Modules
On Extensions of Modules Janet Striuli Department of Mathematics, University of Kansas, Lawrence, KS 66045, USA Abstract In this paper we study closely Yoneda s correspondence between short exact sequences
More informationIdeals in mod-r and the -radical. Prest, Mike. MIMS EPrint: Manchester Institute for Mathematical Sciences School of Mathematics
Ideals in mod-r and the -radical Prest, Mike 2005 MIMS EPrint: 2006.114 Manchester Institute for Mathematical Sciences School of Mathematics The University of Manchester Reports available from: And by
More informationDEFORMATIONS OF BIMODULE PROBLEMS
DEFORMATIONS OF BIMODULE PROBLEMS CHRISTOF GEISS (MEXICO D.F.) Abstract. We prove that deformations of tame Krull-Schmidt bimodule problems with trivial differential are again tame. Here we understand
More informationAUSLANDER 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 informationWIDE 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 informationAUSLANDER-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 information12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold.
12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold. 12.1. Indecomposability of M and the localness of End
More informationMath 250: Higher Algebra Representations of finite groups
Math 250: Higher Algebra Representations of finite groups 1 Basic definitions Representations. A representation of a group G over a field k is a k-vector space V together with an action of G on V by linear
More informationA 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 informationSTABILITY 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 informationDedicated to Professor Klaus Roggenkamp on the occasion of 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. 86 2000 NO. 2 REPRESENTATION THEORY OF TWO-DIMENSIONAL BRAUER GRAPH RINGS BY WOLFGANG R U M P (STUTTGART) Dedicated to Professor Klaus Roggenkamp on the
More informationNoetherianity and Ext
Journal of Pure and Applied Algebra 212 (2008) 1612 1625 www.elsevier.com/locate/jpaa Noetherianity and Ext E.L. Green a, N. Snashall b, Ø. Solberg c, D. Zacharia d, a Department of Mathematics, Virginia
More informationTOWERS OF SEMISIMPLE ALGEBRAS, THEIR GRAPHS AND JONES INDEX
SARAJEVO JOURNAL OF MATHEMATICS Vol12 (25), No2, (2016), 335 348, Suppl DOI: 105644/SJM12307 TOWERS OF SEMISIMPLE ALGEBRAS, THEIR GRAPHS AND JONES INDEX VLASTIMIL DLAB Dedicated to the memory of Professor
More informationTHE GLOBAL DIMENSION OF THE ENDOMORPHISM RING OF A GENERATOR-COGENERATOR FOR A HEREDITARY ARTIN ALGEBRA
C. R. Math. Rep. Acad. Sci. Canada Vol. 30 (3) 2008, pp. 89 96 THE GLOBAL DIMENSION OF THE ENDOMORPHISM RING OF A GENERATOR-COGENERATOR FOR A HEREDITARY ARTIN ALGEBRA VLASTIMIL DLAB AND CLAUS MICHAEL RINGEL
More informationOne-point extensions and derived equivalence
Journal of Algebra 264 (2003) 1 5 www.elsevier.com/locate/jalgebra One-point extensions and derived equivalence Michael Barot a, and Helmut Lenzing b a Instituto de Matemáticas, UNAM, Mexico 04510 D.F.,
More informationREMARKS 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 informationREPRESENTATION THEORY WEEK 9
REPRESENTATION THEORY WEEK 9 1. Jordan-Hölder theorem and indecomposable modules Let M be a module satisfying ascending and descending chain conditions (ACC and DCC). In other words every increasing sequence
More informationSELF-DUAL HOPF QUIVERS
Communications in Algebra, 33: 4505 4514, 2005 Copyright Taylor & Francis, Inc. ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870500274846 SELF-DUAL HOPF QUIVERS Hua-Lin Huang Department of
More informationExtensions 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 informationARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES
ARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES N. MOHAN KUMAR, A. P. RAO, AND G. V. RAVINDRA Abstract. We prove that any rank two arithmetically Cohen- Macaulay vector bundle on a general hypersurface
More informationKOSZUL 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 informationDimension 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 informationStructures 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 informationON THE GEOMETRY OF ORBIT CLOSURES FOR REPRESENTATION-INFINITE ALGEBRAS
ON THE GEOMETRY OF ORBIT CLOSURES FOR REPRESENTATION-INFINITE ALGEBRAS CALIN CHINDRIS ABSTRACT. For the Kronecker algebra, Zwara found in [13] an example of a module whose orbit closure is neither unibranch
More informationNoncommutative invariant theory and Auslander s Theorem
Noncommutative invariant theory and Auslander s Theorem Miami University Algebra Seminar Robert Won Wake Forest University Joint with Jason Gaddis, Ellen Kirkman, and Frank Moore arxiv:1707.02822 November
More informationALGEBRA EXERCISES, PhD EXAMINATION LEVEL
ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)
More informationMATH 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 informationGENERALIZED BRAUER TREE ORDERS
C O L L O Q U I U M M A T H E M A T I C U M VOL. 71 1996 NO. 2 GENERALIZED BRAUER TREE ORDERS BY K. W. R O G G E N K A M P (STUTTGART) Introduction. p-adic blocks of integral group rings with cyclic defect
More informationTHE GL(2, C) MCKAY CORRESPONDENCE
THE GL(2, C) MCKAY CORRESPONDENCE MICHAEL WEMYSS Abstract. In this paper we show that for any affine complete rational surface singularity the quiver of the reconstruction algebra can be determined combinatorially
More informationOn 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 informationA COURSE IN HOMOLOGICAL ALGEBRA CHAPTER 11: Auslander s Proof of Roiter s Theorem E. L. Lady (April 29, 1998)
A COURSE IN HOMOLOGICAL ALGEBRA CHAPTER 11: Auslander s Proof of Roiter s Theorem E. L. Lady (April 29, 1998) A category C is skeletally small if there exists a set of objects in C such that every object
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationRelations for the Grothendieck groups of triangulated categories
Journal of Algebra 257 (2002) 37 50 www.academicpress.com Relations for the Grothendieck groups of triangulated categories Jie Xiao and Bin Zhu Department of Mathematical Sciences, Tsinghua University,
More informationAn 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 informationPeriodicity of selfinjective algebras of polynomial growth
Periodicity of selfinjective algebras of polynomial growth 0 Periodicity of selfinjective algebras of polynomial growth Jerzy Białkowski (Nagoya, November 2013) joint work with Karin Erdmann and Andrzej
More informationOn real root representations of quivers
On real root representations of quivers Marcel Wiedemann Submitted in accordance with the requirements for the degree of Doctor of Philosophy The University of Leeds Department of Pure Mathematics July
More informationHigher 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 informationSTANDARD COMPONENTS OF A KRULL-SCHMIDT CATEGORY
STANDARD COMPONENTS OF A KRULL-SCHMIDT CATEGORY SHIPING LIU AND CHARLES PAQUETTE Abstract. First, for a general Krull-Schmidt category, we provide criteria for an Auslander-Reiten component with sections
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationARITHMETICALLY COHEN-MACAULAY BUNDLES ON THREE DIMENSIONAL HYPERSURFACES
ARITHMETICALLY COHEN-MACAULAY BUNDLES ON THREE DIMENSIONAL HYPERSURFACES N. MOHAN KUMAR, A. P. RAO, AND G. V. RAVINDRA Abstract. We prove that any rank two arithmetically Cohen- Macaulay vector bundle
More informationON 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 informationSome 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 informationCyclic homology of truncated quiver algebras and notes on the no loops conjecture for Hochschild homology
Cyclic homology of truncated quiver algebras and notes on the no loops conjecture for Hochschild homology Tomohiro Itagaki (joint work with Katsunori Sanada) November 13, 2013 Perspectives of Representation
More informationREPRESENTATION 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 informationADE Dynkin diagrams in algebra, geometry and beyond based on work of Ellen Kirkman
ADE Dynkin diagrams in algebra, geometry and beyond based on work of Ellen Kirkman James J. Zhang University of Washington, Seattle, USA at Algebra Extravaganza! Temple University July 24-28, 2017 Happy
More informationCLUSTER-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 informationALGEBRAIC GROUPS J. WARNER
ALGEBRAIC GROUPS J. WARNER Let k be an algebraically closed field. varieties unless otherwise stated. 1. Definitions and Examples For simplicity we will work strictly with affine Definition 1.1. An algebraic
More informationThe preprojective algebra revisited
The preprojective algebra revisited Helmut Lenzing Universität Paderborn Auslander Conference Woodshole 2015 H. Lenzing Preprojective algebra 1 / 1 Aim of the talk Aim of the talk My talk is going to review
More informationOn the Genus of the Graph of Tilting Modules
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 45 (004), No., 45-47. On the Genus of the Graph of Tilting Modules Dedicated to Idun Reiten on the occasion of her 60th birthday
More informationSTRONGNESS OF COMPANION BASES FOR CLUSTER-TILTED ALGEBRAS OF FINITE TYPE
STRONGNESS OF COMPANION BASES FOR CLUSTER-TILTED ALGEBRAS OF FINITE TYPE KARIN BAUR AND ALIREZA NASR-ISFAHANI Abstract. For every cluster-tilted algebra of simply-laced Dynkin type we provide a companion
More informationEXTERIOR AND SYMMETRIC POWERS OF MODULES FOR CYCLIC 2-GROUPS
EXTERIOR AND SYMMETRIC POWERS OF MODULES FOR CYCLIC 2-GROUPS FRANK IMSTEDT AND PETER SYMONDS Abstract. We prove a recursive formula for the exterior and symmetric powers of modules for a cyclic 2-group.
More informationIrreducible subgroups of algebraic groups
Irreducible subgroups of algebraic groups Martin W. Liebeck Department of Mathematics Imperial College London SW7 2BZ England Donna M. Testerman Department of Mathematics University of Lausanne Switzerland
More informationd-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 informationOn 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 informationCOURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA
COURSE SUMMARY FOR MATH 504, FALL QUARTER 2017-8: MODERN ALGEBRA JAROD ALPER Week 1, Sept 27, 29: Introduction to Groups Lecture 1: Introduction to groups. Defined a group and discussed basic properties
More informationMODULE CATEGORIES WITH INFINITE RADICAL SQUARE ZERO ARE OF FINITE TYPE
MODULE CATEGORIES WITH INFINITE RADICAL SQUARE ZERO ARE OF FINITE TYPE Flávio U. Coelho, Eduardo N. Marcos, Héctor A. Merklen Institute of Mathematics and Statistics, University of São Paulo C. P. 20570
More informationHilbert function, Betti numbers. Daniel Gromada
Hilbert function, Betti numbers 1 Daniel Gromada References 2 David Eisenbud: Commutative Algebra with a View Toward Algebraic Geometry 19, 110 David Eisenbud: The Geometry of Syzygies 1A, 1B My own notes
More informationAlgebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.
More informationNew York Journal of Mathematics. Cohomology of Modules in the Principal Block of a Finite Group
New York Journal of Mathematics New York J. Math. 1 (1995) 196 205. Cohomology of Modules in the Principal Block of a Finite Group D. J. Benson Abstract. In this paper, we prove the conjectures made in
More informationA generalized Koszul theory and its application
University of California, Riverside lipingli@math.umn.edu June 26, 2013 Motivation There are many structures with natural gradings, where the degree 0 components are not semisimple. For example: Motivation
More informationEXTENSIONS OF SIMPLE MODULES AND THE CONVERSE OF SCHUR S LEMMA arxiv: v2 [math.ra] 13 May 2009
EXTENSIONS OF SIMPLE MODULES AND THE CONVERSE OF SCHUR S LEMMA arxiv:0903.2490v2 [math.ra] 13 May 2009 GREG MARKS AND MARKUS SCHMIDMEIER Abstract. The converse of Schur s lemma (or CSL) condition on a
More informationIndecomposables of the derived categories of certain associative algebras
Indecomposables of the derived categories of certain associative algebras Igor Burban Yurij Drozd Abstract In this article we describe indecomposable objects of the derived categories of a branch class
More informationPULLBACK MODULI SPACES
PULLBACK MODULI SPACES FRAUKE M. BLEHER AND TED CHINBURG Abstract. Geometric invariant theory can be used to construct moduli spaces associated to representations of finite dimensional algebras. One difficulty
More informationOn p-monomial Modules over Local Domains
On p-monomial Modules over Local Domains Robert Boltje and Adam Glesser Department of Mathematics University of California Santa Cruz, CA 95064 U.S.A. boltje@math.ucsc.edu and aglesser@math.ucsc.edu December
More informationSUPPORT 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 informationGorenstein 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 informationLECTURE 4: SOERGEL S THEOREM AND SOERGEL BIMODULES
LECTURE 4: SOERGEL S THEOREM AND SOERGEL BIMODULES DMYTRO MATVIEIEVSKYI Abstract. These are notes for a talk given at the MIT-Northeastern Graduate Student Seminar on category O and Soergel bimodules,
More informationA note on standard equivalences
Bull. London Math. Soc. 48 (2016) 797 801 C 2016 London Mathematical Society doi:10.1112/blms/bdw038 A note on standard equivalences Xiao-Wu Chen Abstract We prove that any derived equivalence between
More informationSTABLE 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 informationThe 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 informationSERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN
SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN Abstract. Suppose X is a smooth projective scheme of finite type over a field K, E is a locally free O X -bimodule of rank
More informationCluster-Concealed Algebras
Cluster-Concealed Algebras Claus Michael Ringel (Bielefeld/Germany) Nanjing, November 2010 Cluster-tilted algebras Let k be an algebraically closed field Let B be a tilted algebra (the endomorphism ring
More informationREPRESENTATION THEORY. WEEKS 10 11
REPRESENTATION THEORY. WEEKS 10 11 1. Representations of quivers I follow here Crawley-Boevey lectures trying to give more details concerning extensions and exact sequences. A quiver is an oriented graph.
More informationNOTES 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 informationTCC Homological Algebra: Assignment #3 (Solutions)
TCC Homological Algebra: Assignment #3 (Solutions) David Loeffler, d.a.loeffler@warwick.ac.uk 30th November 2016 This is the third of 4 problem sheets. Solutions should be submitted to me (via any appropriate
More informationSome Classification of Prehomogeneous Vector Spaces Associated with Dynkin Quivers of Exceptional Type
International Journal of Algebra, Vol. 7, 2013, no. 7, 305-336 HIKARI Ltd, www.m-hikari.com Some Classification of Prehomogeneous Vector Spaces Associated with Dynkin Quivers of Exceptional Type Yukimi
More informationLECTURE 16: REPRESENTATIONS OF QUIVERS
LECTURE 6: REPRESENTATIONS OF QUIVERS IVAN LOSEV Introduction Now we proceed to study representations of quivers. We start by recalling some basic definitions and constructions such as the path algebra
More informationA NOTE ON GENERALIZED PATH ALGEBRAS
A NOTE ON GENERALIZED PATH ALGEBRAS ROSA M. IBÁÑEZ COBOS, GABRIEL NAVARRO and JAVIER LÓPEZ PEÑA We develop the theory of generalized path algebras as defined by Coelho and Xiu [4]. In particular, we focus
More informationALGEBRA HW 3 CLAY SHONKWILER
ALGEBRA HW 3 CLAY SHONKWILER (a): Show that R[x] is a flat R-module. 1 Proof. Consider the set A = {1, x, x 2,...}. Then certainly A generates R[x] as an R-module. Suppose there is some finite linear combination
More informationA 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 informationMODULE 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 informationAuslander-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 informationA visual introduction to Tilting
A visual introduction to Tilting Jorge Vitória University of Verona http://profs.sci.univr.it/ jvitoria/ Padova, May 21, 2014 Jorge Vitória (University of Verona) A visual introduction to Tilting Padova,
More information