Generalized Matrix Artin Algebras. International Conference, Woods Hole, Ma. April 2011
|
|
- Lee Patterson
- 5 years ago
- Views:
Transcription
1 Generalized Matrix Artin Algebras Edward L. Green Department of Mathematics Virginia Tech Blacksburg, VA, USA Chrysostomos Psaroudakis Department of Mathematics University of Ioannina Ioannina, Greece International Conference, Woods Hole, Ma. April 2011
2 Motivation and definitions Let Λ be an artin K-algebra. When Λ is written as ( A N where A and B are artin algebras, M a B-A-bimodule, and N an A-B-bimodule, we say that Λ is a generalized matrix artin algebra. ), Need bimodule homomorphisms ϕ: M A N B and ψ : N B M A satisfying ϕ(m n)m = mψ(n m ) and nϕ(m n ) = ψ(n m)n, for all m, m M and n, n N. We use the notation ( A N Λ (ϕ,ψ) = ).
3 Examples EXAMPLE 1: Let R be an artin algebra and let U and V be finitely generated R-modules. Then ( ) Λ (ϕ,ψ) = End R (U V ) EndR (U) Hom R (V, U) = Hom R (U, V ) End R (V ) is a generalized matrix artin algebra (where ϕ and ψ are given by composition). EXAMPLE 2: Let Λ be an artin algebra and let {ɛ 1,..., ɛ n } be a full set of primitive orthogonal idempotents. Suppose n 2 and 1 r < n. Set e 1 = r i=1 ɛ i and e 2 = n i=r+1 ɛ i. Then ( ) e1 Λe Λ (ϕ,ψ) = 1 e 1 Λe 2 e 2 Λe 1 e 2 Λe 2 is a generalized matrix artin algebra (where ϕ and ψ are given by multiplication).
4 Example con t and special cases EXAMPLE 3: Let A and B be artin algebras, M a finitely generated B-A-bimodule, and N a finitely generated A-B-bimodule. Then ( ) A N Λ (0,0) = is a generalized matrix artin algebra. Special Cases: ( ) A 0 If M = N = (0) then Λ (0,0) = and the category of left 0 B Λ (0,0) -modules is equivalent to the category whose objects are pairs (X, Y ), and morphisms are given by pairs (α, β): (X, Y ) (X, Y ), where X and X are left A-modules, Y and Y are left B-modules, and α Hom A (X, X ), and β Hom B (Y, Y ).
5 Definitions continued ( ) A 0 If N = (0) then Λ (0,0) = and the category of left Λ (0,0) -modules is equivalent to the category whose objects are pairs (X, Y, f ), with X Mod(A), Y Mod(B) and f : M A X Y is a homomorphism of B-modules. The morphisms are given by pairs (α, β): (X, Y, f ) (X, Y, f ), where α: X X is a A-module homorphism and β : Y Y is a B-module homorphism satisfying M A X f y commutes. 1 α M A X f Y β Note that Λ (0,0) = (A B) M.
6 Representations ( ) A N Let Λ (ϕ,ψ) = be a generalized matrix artin algebra. Let M denote the category whose objects are tuples (X, Y, f, g), where f : M A X Y is a B-module homomorphism and g : N B Y X is an A-module homorphism, such the following diagrams commute: N B M A X 1 N f N B Y M A N B Y 1 M g M A X ψ 1 X A A X g ϕ 1 Y mult X B B Y mult f Y
7 morphisms The morphisms of M are pairs (α, β): (X, Y, f, g) (X, Y, f, g ), where α: X X is an A-module homomorphism, and β : Y Y is a B-module homomorphism such that the following diagrams commute: M A X f y N B Y g X 1 α β 1 β M A X f Y N B Y g X Theorem ( ) A N Let Λ (ϕ,ψ) = be a generalized matrix artin algebra. The categories Mod(Λ (ϕ,ψ) ) and M are equivalent. α
8 Matrix interpretation ( ) A N If Λ (ϕ,ψ) = be a generalized matrix artin algebra and (X, Y, f, g) M, then if a A, n N, m M, b B, x X, and y Y, then ( ) ( ) ( ) a n x ax + g(n y) =. m b y by + f (m x)
9 adjoint isomorphism and some functors Recalling the adjoint isomorphisms Hom B (M A X, Y ) = Hom A (X, Hom B (M, Y )) and Hom A (N B Y, X ) = Hom B (Y, Hom A (N, X )), we see there is a category M, equivalent to M, whose objects are of the form (X, Y, h, k), where X Mod(A), Y Mod(B), h : X Hom B (M, Y ) and k : Y Hom A (N, X ) satisfying.... We now consider two functors. The first functor T A : Mod(A) M is given by T A (X ) = (X, M A X, 1 M X, µ(ψ 1 X )) where µ: A A X X is given by multiplication. Similarly, there is a functor T B : Mod(B) M given by T B (Y ) = (N B Y, Y, µ(ϕ 1 Y ), 1 N Y ). (N B M) A X ψ 1 X A A X µ X
10 Projective modules and other subcategories Proposition ( ) A N Let Λ (ϕ,ψ) = be a generalized matrix artin algebra. Every indecomposable projective Λ (ϕ,ψ) -module is isomorphic to either T A (P) for some indecomposable projective A-module P or T B (Q), for some indecomposable projective B-module Q. Furthermore, P is an indecomposable projective A-module and Q is an indecomposable projective B-module, then both T A (P) and T B (Q) are projective Λ (ϕ,ψ) -modules. Subcategories ( ) A N Since Λ (ϕ,ψ) =, Mod(A) and Mod(B) are NOT necessarily isomorphic to full subcategories of Mod(Λ (ϕ,ψ) ) in the obvious way. For example, for Mod(A), viewing elements as (X, 0, 0, 0), we would need (N B M) A X X to be 0, which need not be true.
11 Subcategories continued We now restrict our attention ( to generalized ) matrix artin algebras A N with ϕ = ψ = 0, i.e., Λ (0,0) =. One reason for this restriction is that we have the following categorical full embeddings. Let L denote the full subcategory of M whose objects are of the form (X, Y, f, 0), with f an epimorphism. from ( A 0 Mod(A) L Mod( ) ) Mod(Λ (0,0) ) {(X, 0, 0, 0)} {(X, Y, f, 0) f epi} {(X, Y, f, 0)} {(X, Y, f, g)}
12 Other subcategories Letting L denote the full subcategory of M whose objects are of the form (X, Y, 0, g), with g an epimorphism, we have the following full embeddings: from ( Mod(B) L A N Mod( 0 B ) ) Mod(Λ (0,0) ) {(0, Y, 0, 0)} {(X, Y, 0, g) g epi} {(X, Y, 0, g)} {(X, Y, f, g)}
13 Covariant, contravariant and functorial finiteness Recall that if B is a additive full subcategory of an abelian category A, we say that B is covariantly finite if, for each A A, there is some B A B and a map A B A such that, for all B B, the induced map Hom A (B, B ) Hom A (A, B ) is surjective. We say that B is contravariantly finite if, for each A A, there is some C A B and a map C A A such that, for all B B, the induced map Hom A (B, C A ) Hom A (B, A) is surjective. Finally we say that B is functorially finite if it is both covariantly and contravariantly finite.
14 Categorical finiteness of subcategories. We now state our main result on finiteness of subcategories. Theorem ( ) A N Let Λ (0,0) = be a generalized matrix artin algebra. Then 1. The category L = {(X, Y, f, 0) f epi} is contravariantly finite in mod(λ (0,0) ), closed under extensions and quotients, and T A (Mod(A)) L. 2. The category L = {(X, Y, 0, g) g epi} is contravariantly finite in mod(λ (0,0) ), closed under extensions and quotients, and T B (Mod(B)) L.
15 Theorem continued Theorem (con t) 1. The category L = {(X, Y, f, 0) f mono} is covariantly finite in mod(λ (0,0) ), closed under extensions and quotients, and T A (Mod(A)) L. 2. The category L = {(X, Y, 0, g) g mono} is covariantly finite in mod(λ (0,0) ), closed under extensions and quotients, and T B (Mod(B)) L.
16 Theorem continued Theorem (con t) 3. The categories mod(a) and mod(b) are functorially finite in mod(λ (0,0) ). ( ) ( ) A 0 A N 4. The categories mod( ) and mod( ) are 0 B functorially finite in mod(λ (0,0) )
17 Sketch of proof of (4). Let (X, Y, f, g) mod(λ (0,0) ). Let π : X coker(g) be the canonical surjection. Since ϕ: M A N B is 0 and since M A N B Y 1 M g M A X ϕ 1 Y mult f commutes, we see that there B B Y Y is a factorization M A X 1M π M A coker(g) 0 f h Y Check that (coker(g), Y, h, 0) M. We claim (X, Y, f, g) (π,1 Y ) ( ) (coker(g), Y, h, 0) is a left A 0 mod( )-approximation.
18 Proof continued Let (c, d): (X, Y, f, g) (U, V, j, 0). Then g c = 0 and there is an induced map e : coker(g) U such that (X, Y, f, g) (π,1 Y ) (coker(g), Y, h, 0) (c,d) (e,d) (U, V, j, 0) commutes. This proves covariant finiteness. To prove contravariant finiteness, use the adjoint point of view. That is, that elements of mod(λ (0,0) ) are of the form (X, Y, h, k), where h : X Hom B (M, Y ) and k : Y Hom A (N, X ) satisfying the appropriate ( conditions. ) A right A 0 Mod( )-approximation of (X, Y, h, k) is (X, ker(k), l, 0), where l : X Hom B (M, Y ) is defined is a similar fashion to h above.
19 An example Example 4: Let K be a field and Q be the quiver v a w. b Let Λ = KQ/ ab, ba. Let P v (respectively P w ) be the projective Λ-cover of the simple module at v (resp. w). Then Λ = P v P w. Hence Λ is isomorphic to the generalized matrix algebra ( Λ (0,0) EndΛ (P) op Hom Λ (P, Q) = Hom Λ (Q, P) End Λ (Q) op Each entry in this 2 2-matrix ( is K) but the multiplication of two 0 0 elements, one of the form and the other of the form α 0 ( 0 β 0 0 ), in any order, is 0. ).
20 Example continued ( ) A N Thus, as a generalized matrix algebra, A = B = M = N = K and ϕ = ψ = 0. Hence A and B have global dimension 0 and M and N have projective dimension 0 over both A and B and as bimodules. But Λ has infinite global dimension. From ( this ) example, we see that, unlike a ring of the form A 0, finite global dimension of A and B and hence M and N is not ( sufficient for ) finite global dimension of A N Λ (0,0) =
21 Tight projective modules and resolutions ( ) A N Let Λ (0,0) =. If P = (P A, 0, 0, 0) is a projective Λ-module for some left A-module P A, then we say that P is an A-tight projective Λ-module. Note that if (P A, 0, 0, 0) is an A-tight projective Λ-module then P A is a projective A-module and M A P A = 0. Conversely, if P A is a projective A-module and M A P A = 0, then (P A, 0, 0, 0) is an A-tight projective Λ-module. We say a left A-module (X, 0, 0, 0) has an A-tight projective Λ-resolution if X has a projective Λ-resolution in which each projective Λ-module is A-tight.
22 Basic facts about tight projective resolutions 1. A direct sum of modules having A-tight projective Λ-resolutions also has an A-tight projective Λ-resolution. 2. A summand of an A-tight projective Λ-module is again an A-tight projective Λ-module. 3. If X is an A-module such that (X, 0, 0, 0) has an A-tight projective Λ-resolution, then pd Λ (X, 0, 0, 0) = pd A (X ). 4. The subcategory of modules with A-tight projective resolutions is closed under extensions. Proposition A Λ (0,0) -module of the form (X, 0, 0, 0) has an A-tight projective Λ (0,0) -resolution if and only if M A P = 0, where P is the direct sum of projective A-modules in a minimal projective A-resolution of M.
23 B-tightness and first bound result We define B-tight projective Λ-modules, (0, Q, 0, 0) is a similar fashion as A-tight projective Λ-modules and also Λ-modules (0, Y, 0, 0) having B-tight projective Λ-resolutions. Proposition ( ) A N Suppose that Λ (0,0) = is an generalized matrix artin algebra and that X is an A-module and Y is a B-module. If (0, M, 0, 0), as a left Λ-module, has a B-tight projective Λ-resolution, then pd Λ ((X, 0, 0, 0)) pd A (X ) pd B (M). If (N, 0, 0, 0), as a left Λ-module, has an A-tight projective Λ-resolution, then pd Λ ((0, Y, 0, 0)) pd B (Y ) pd A (N).
24 Global dimension result Theorem ( ) A N Suppose that Λ (0,0) = is a generalized matrix artin algebra, M has a B-tight projective Λ (0,0) -resolution, and N has an A-tight projective resolution. Then gl.dim(λ (0,0) ) gl.dim(a) + gl.dim(b) + 1.
25 Examples and sharpness of result We provide two examples, the first of which shows that the inequality is sharp and the second shows that the inequality can be proper. Example 5 Let Q be the quiver v 1 a w 1 v 2 d w 2 b v 3 c v 4 g w 3 e f w 4 Let I =< arrows > 2 and let Λ = KQ/I. gldim(λ) = 4 Set ɛ 1 = v 1 + v 2 + v 3 + v 4 and ɛ 2 = w 1 + w 2 + w 3 + w 4. View Λ as the generalized matrix artin algebra ( ɛ1 Λɛ 1 ɛ 1 Λɛ 2 ɛ 2 Λɛ 1 ɛ 2 Λɛ 2 ).
26 Example 5 continued The global dimension of ɛ 1 Λɛ 1 is 2 and the global dimension of ɛ 2 Λɛ 2 is 1. Thus gl.dim(λ) = gl.dim(ɛ 1 Λɛ 1 ) + gl.dim(ɛ 2 Λɛ 2 ) + 1. The following can be checked 1. M = ɛ 2 Λɛ 1, which, as a left ɛ 2 Λɛ 2 -module is isomorphic the simple module at w N = ɛ 1 Λɛ 2, which, as a left ɛ 1 Λɛ 1 -module is isomorphic to the simple module at v (0, M, 0, 0) and (N, 0, 0, 0) have tight projective Λ-resolutions. 4. ϕ and ψ are both 0 for this example.
27 Example 6 Example 6 Let Q be the quiver v 1 a v 2 b v 3 c d w 1 e w 2 We again take I to be the ideal generated by all paths of length 2 and set Λ = KQ/I. Now set ɛ 1 = v 1 + v 2 + v 3 and ɛ 2 = w 1 + w 2. View Λ as the generalized matrix artin algebra ( ) ɛ1 Λɛ 1 ɛ 1 Λɛ 2. ɛ 2 Λɛ 1 ɛ 2 Λɛ 2 It is easy to check that the hypotheses of Theorem above are satisfied. But the global dimension of Λ is 2 while the global dimension of ɛ 1 Λɛ 1 is 2 and the global dimension of ɛ 2 Λɛ 2 is 1.
28 The non-tight case We consider the case where either (0, M, 0, 0) or (N, 0, 0, 0) does not have a tight projective Λ-resolution. If M is not a projective B-module then a projective cover of (0, M, 0, 0) is of the form (N B Q, Q, 0, 1 N Q ) (0,β) (0, M, 0, 0), where β : Q M is projective B-cover of M. In particular, N B Q is a sum of summands of N over which we have little control. The next bound results will require that M, as a left B-module, is projective and N, as a left A-module is projective.
29 Second bounding result Theorem ( ) A N Suppose that Λ (0,0) = is a generalized matrix artin algebra such that, the global dimensions of A and B are finite, M is a projective left B-module, and N is a projective left A-module. 1. If ((N B M) s A, 0, 0, 0) is an A-tight projective Λ (0,0) -module, for some s 1, then gl.dim(λ (0,0) ) max{gl.dim(a) + 2s, gl.dim(b) + 2s + 1}. 2. If (0, M A (N B M) s A, 0, 0) is a B-tight projective Λ (0,0) -module, for some s 0, then gl.dim(λ (0,0) ) max{gl.dim(a)+2s +1, gl.dim(b)+2(s +1)}.
30 Theorem (con t) 3. If (N B (M A N) s B, 0, 0, 0) is an A-tight projective Λ (0,0) -module, for some s 0, then gl.dim(λ (0,0) ) max{gl.dim(a)+2(s +1), gl.dim(b)+2s +1}. 4. If (0, (M A N) s B, 0, 0) is an B-tight projective Λ (0,0) -module, for some s 1, then gl.dim(λ (0,0) ) max{gl.dim(a) + 2s + 1, gl.dim(b) + 2s}. 5. If ((N B M) s A, 0, 0, 0) is an A-tight projective Λ (0,0) -module and if (0, (M A N) s B, 0, 0) is an B-tight projective Λ (0,0) -module, for some s 1, then gl.dim(λ (0,0) ) max{gl.dim(a) + 2s, gl.dim(b) + 2s}.
31 Theorem (con t) 6. If (N B (M A N) s B, 0, 0, 0) is an A-tight projective Λ (0,0) -module, and if (0, M A (N B M) s A, 0, 0) is a B-tight projective Λ (0,0) -module, for some s 0, then gl.dim(λ (0,0) ) max{gl.dim(a) + 2s + 1, gl.dim(b) + 2s + 1}. We present with an example showing that the bounds in the above theorem are sharp.
32 Sharpness of the result. Example 7 LetQ be the quiver v 1 v 3 v 2 v 4 Let Λ be the quotient KQ/I, where I is the ideal generated by all paths of length 2. Let ɛ 1 = v 1 + v 3 + v 5 and ɛ 2 = v 2 + v 4. View Λ as a the generalized matrix artin algebra ( ɛ1 Λɛ 1 ɛ 1 Λɛ 2 ɛ 2 Λɛ 1 ɛ 2 Λɛ 2 ik j denotes the simple Λ-module, which on the left is isomorphic to S i, and on the right is isomorphic to S j. v 5 ).
33 Example 7 continued Then M = ɛ 2 Λɛ 1 = 4 K 3 2 K 1, and N = ɛ 1 Λɛ 2 = 5 K 4 3 K 2. gl.dima = gl.dimɛ 1 Λɛ 1 = gl.dimb = gl.dimɛ 2 Λɛ 2 = 0. M is a projective left B-module and N is a projective left A-module and we see that N B (M A N) is isomorphic to 5 K 2. Moreover, (N B (M A N), 0, 0, 0) is an A-tight projective Λ-module. Thus, we can apply part (3) of Theorem 2.9 with s = 1 to get gl.dim(λ) 4. But the global dimension of Λ is 4. This example can be adjusted to get that all the inequalities are sharp.
34 Lower bounds Theorem ( ) A N Let Λ (ϕ,ψ) = be a generalized matrix artin algebra. Suppose that M A is a flat A-module and N B is a flat B-module. Then gl.dim(λ ϕ,ψ ) max{gl.dim(a), gl.dim(b)}
Homological Theory of Recollements of Abelian Categories
Homological Theory of Recollements of Abelian Categories Chrysostomos Psaroudakis University of Ioannina ICRA XV, Bielefeld, Germany August 14, 2012 Table of contents 1 Definitions and Basic Properties
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 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 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-quivers of functorially finite subcategories
Auslander-Reiten-quivers of functorially finite subcategories Matthias Krebs University of East Anglia August 13, 2012 Preliminaries Preliminaries Let K be an algebraically closed field, Preliminaries
More informationRepresentations of quivers
Representations of quivers Gwyn Bellamy October 13, 215 1 Quivers Let k be a field. Recall that a k-algebra is a k-vector space A with a bilinear map A A A making A into a unital, associative ring. Notice
More information3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection
3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection is called the objects of C and is denoted Obj(C). Given
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 informationarxiv: v2 [math.ct] 27 Dec 2014
ON DIRECT SUMMANDS OF HOMOLOGICAL FUNCTORS ON LENGTH CATEGORIES arxiv:1305.1914v2 [math.ct] 27 Dec 2014 ALEX MARTSINKOVSKY Abstract. We show that direct summands of certain additive functors arising as
More 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 informationCategories and functors
Lecture 1 Categories and functors Definition 1.1 A category A consists of a collection ob(a) (whose elements are called the objects of A) for each A, B ob(a), a collection A(A, B) (whose elements are called
More informationMorita Equivalence. Eamon Quinlan
Morita Equivalence Eamon Quinlan Given a (not necessarily commutative) ring, you can form its category of right modules. Take this category and replace the names of all the modules with dots. The resulting
More informationRELATIVE THEORY IN SUBCATEGORIES. Introduction
RELATIVE THEORY IN SUBCATEGORIES SOUD KHALIFA MOHAMMED Abstract. We generalize the relative (co)tilting theory of Auslander- Solberg [9, 1] in the category mod Λ of finitely generated left modules over
More informationMATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA. This is the title page for the notes on tensor products and multilinear algebra.
MATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA This is the title page for the notes on tensor products and multilinear algebra. Contents 1. Bilinear forms and quadratic forms 1 1.1.
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 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 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 informationFormal power series rings, inverse limits, and I-adic completions of rings
Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More informationNon-commutative Algebra
Non-commutative Algebra Patrick Da Silva Freie Universität Berlin June 2, 2017 Table of Contents 1 Introduction to unital rings 5 1.1 Generalities............................................ 5 1.2 Centralizers
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 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 informationA BRIEF INTRODUCTION TO GORENSTEIN PROJECTIVE MODULES. Shanghai , P. R. China
A BRIEF INTRODUCTION TO GORENSTEIN PROJECTIVE MODULES PU ZHANG Department of Mathematics, Shanghai 200240, P. R. China Shanghai Jiao Tong University Since Eilenberg and Moore [EM], the relative homological
More informationLOCALIZATIONS, COLOCALIZATIONS AND NON ADDITIVE -OBJECTS
LOCALIZATIONS, COLOCALIZATIONS AND NON ADDITIVE -OBJECTS GEORGE CIPRIAN MODOI Abstract. Given two arbitrary categories, a pair of adjoint functors between them induces three pairs of full subcategories,
More informationDirect Limits. Mathematics 683, Fall 2013
Direct Limits Mathematics 683, Fall 2013 In this note we define direct limits and prove their basic properties. This notion is important in various places in algebra. In particular, in algebraic geometry
More 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 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 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 informationDe Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)
II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the
More 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 informationA GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander
A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic
More informationModel Theory and Modules, Granada
Model Theory and Modules, Granada Mike Prest November 2015 Contents 1 Model Theory 1 2 Model Theory of Modules 4 2.1 Duality......................................... 7 3 Ziegler Spectra and Definable Categories
More informationand this makes M into an R-module by (1.2). 2
1. Modules Definition 1.1. Let R be a commutative ring. A module over R is set M together with a binary operation, denoted +, which makes M into an abelian group, with 0 as the identity element, together
More informationRELATIVE EXT GROUPS, RESOLUTIONS, AND SCHANUEL CLASSES
RELATIVE EXT GROUPS, RESOLUTIONS, AND SCHANUEL CLASSES HENRIK HOLM Abstract. Given a precovering (also called contravariantly finite) class there are three natural approaches to a homological dimension
More 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 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 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 informationThus we get. ρj. Nρj i = δ D(i),j.
1.51. The distinguished invertible object. Let C be a finite tensor category with classes of simple objects labeled by a set I. Since duals to projective objects are projective, we can define a map D :
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 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 informationCONTRAVARIANTLY FINITE SUBCATEGORIES CLOSED UNDER PREDECESSORS
CONTRAVARIANTLY FINITE SUBCATEGORIES CLOSED UNDER PREDECESSORS IBRAHIM ASSEM, FLÁVIO U. COELHO, AND SONIA TREPODE Abstract. Let A be an artin algebra, moda the category of finitely generated right A-modules,
More 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 informationDESINGULARIZATION OF QUIVER GRASSMANNIANS FOR DYNKIN QUIVERS. Keywords: Quiver Grassmannians, desingularizations.
DESINGULARIZATION OF QUIVER GRASSMANNIANS FOR DYNKIN QUIVERS G. CERULLI IRELLI, E. FEIGIN, M. REINEKE Abstract. A desingularization of arbitrary quiver Grassmannians for representations of Dynkin quivers
More informationTHE DERIVED CATEGORY OF A GRADED GORENSTEIN RING
THE DERIVED CATEGORY OF A GRADED GORENSTEIN RING JESSE BURKE AND GREG STEVENSON Abstract. We give an exposition and generalization of Orlov s theorem on graded Gorenstein rings. We show the theorem holds
More informationNONCOMMUTATIVE 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 informationThe real root modules for some quivers.
SS 2006 Selected Topics CMR The real root modules for some quivers Claus Michael Ringel Let Q be a finite quiver with veretx set I and let Λ = kq be its path algebra The quivers we are interested in will
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 informationMORITA EQUIVALENCE OF MANY-SORTED ALGEBRAIC THEORIES
Pré-Publicações do Departamento de Matemática Universidade de Coimbra Preprint Number 04 39 MORITA EQUIVALENCE OF MANY-SORTED ALGEBRAIC THEORIES JIŘÍ ADÁMEK, MANUELA SOBRAL AND LURDES SOUSA Abstract: Algebraic
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 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 informationRings with Several Objects
Rings with Several Objects Daniel Murfet October 5, 26 In this note we explore the idea that additive categories or ringoids are just rings with several objects. This philosophy was developed in depth
More informationCategories of imaginaries for additive structures
Categories of imaginaries for additive structures Mike Prest Department of Mathematics Alan Turing Building University of Manchester Manchester M13 9PL UK mprest@manchester.ac.uk December 5, 2011 () December
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 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 informationCategory Theory. Categories. Definition.
Category Theory Category theory is a general mathematical theory of structures, systems of structures and relationships between systems of structures. It provides a unifying and economic mathematical modeling
More informationare additive in each variable. Explicitly, the condition on composition means that given a diagram
1. Abelian categories Most of homological algebra can be carried out in the setting of abelian categories, a class of categories which includes on the one hand all categories of modules and on the other
More informationPartial orders related to the Hom-order and degenerations.
São Paulo Journal of Mathematical Sciences 4, 3 (2010), 473 478 Partial orders related to the Hom-order and degenerations. Nils Nornes Norwegian University of Science and Technology, Department of Mathematical
More information38 Irreducibility criteria in rings of polynomials
38 Irreducibility criteria in rings of polynomials 38.1 Theorem. Let p(x), q(x) R[x] be polynomials such that p(x) = a 0 + a 1 x +... + a n x n, q(x) = b 0 + b 1 x +... + b m x m and a n, b m 0. If b m
More informationNotes on Homological Algebra. Ieke Moerdijk University of Utrecht
Notes on Homological Algebra Ieke Moerdijk University of Utrecht January 15, 2008 Contents Foreword iii 1 Modules over a ring 1 1.1 Modules................................ 1 1.2 The Hom Functor..........................
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 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 informationAN ABSTRACT CHARACTERIZATION OF NONCOMMUTATIVE PROJECTIVE LINES
AN ABSTRACT CHARACTERIZATION OF NONCOMMUTATIVE PROJECTIVE LINES A. NYMAN Abstract. Let k be a field. We describe necessary and sufficient conditions for a k-linear abelian category to be a noncommutative
More informationKOSZUL DUALITY FOR STRATIFIED ALGEBRAS II. STANDARDLY STRATIFIED ALGEBRAS
KOSZUL DUALITY FOR STRATIFIED ALGEBRAS II. STANDARDLY STRATIFIED ALGEBRAS VOLODYMYR MAZORCHUK Abstract. We give a complete picture of the interaction between the Koszul and Ringel dualities for graded
More informationProjective and Injective Modules
Projective and Injective Modules Push-outs and Pull-backs. Proposition. Let P be an R-module. The following conditions are equivalent: (1) P is projective. (2) Hom R (P, ) is an exact functor. (3) Every
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 informationCOMMUTATIVE ALGEBRA LECTURE 1: SOME CATEGORY THEORY
COMMUTATIVE ALGEBRA LECTURE 1: SOME CATEGORY THEORY VIVEK SHENDE A ring is a set R with two binary operations, an addition + and a multiplication. Always there should be an identity 0 for addition, an
More informationRelative Left Derived Functors of Tensor Product Functors. Junfu Wang and Zhaoyong Huang
Relative Left Derived Functors of Tensor Product Functors Junfu Wang and Zhaoyong Huang Department of Mathematics, Nanjing University, Nanjing 210093, Jiangsu Province, China Abstract We introduce and
More informationValued Graphs and the Representation Theory of Lie Algebras
Axioms 2012, 1, 111-148; doi:10.3390/axioms1020111 Article OPEN ACCESS axioms ISSN 2075-1680 www.mdpi.com/journal/axioms Valued Graphs and the Representation Theory of Lie Algebras Joel Lemay Department
More informationAn introduction to Yoneda structures
An introduction to Yoneda structures Paul-André Melliès CNRS, Université Paris Denis Diderot Groupe de travail Catégories supérieures, polygraphes et homotopie Paris 21 May 2010 1 Bibliography Ross Street
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 informationHigher dimensional homological algebra
Higher dimensional homological algebra Peter Jørgensen Contents 1 Preface 3 2 Notation and Terminology 6 3 d-cluster tilting subcategories 7 4 Higher Auslander Reiten translations 12 5 d-abelian categories
More informationDerivations and differentials
Derivations and differentials Johan Commelin April 24, 2012 In the following text all rings are commutative with 1, unless otherwise specified. 1 Modules of derivations Let A be a ring, α : A B an A algebra,
More informationSymbol Index Group GermAnal Ring AbMonoid
Symbol Index 409 Symbol Index Symbols of standard and uncontroversial usage are generally not included here. As in the word index, boldface page-numbers indicate pages where definitions are given. If a
More informationFORMAL GLUEING OF MODULE CATEGORIES
FORMAL GLUEING OF MODULE CATEGORIES BHARGAV BHATT Fix a noetherian scheme X, and a closed subscheme Z with complement U. Our goal is to explain a result of Artin that describes how coherent sheaves on
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationCovering Theory and Cluster Categories. International Workshop on Cluster Algebras and Related Topics
Covering Theory and Cluster Categories Shiping Liu (Université de Sherbrooke) joint with Fang Li, Jinde Xu and Yichao Yang International Workshop on Cluster Algebras and Related Topics Chern Institute
More informationA functorial approach to modules of G-dimension zero
A functorial approach to modules of G-dimension zero Yuji Yoshino Math. Department, Faculty of Science Okayama University, Okayama 700-8530, Japan yoshino@math.okayama-u.ac.jp Abstract Let R be a commutative
More 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 informationON MINIMAL APPROXIMATIONS OF MODULES
ON MINIMAL APPROXIMATIONS OF MODULES HENNING KRAUSE AND MANUEL SAORÍN Let R be a ring and consider the category ModR of (right) R-modules. Given a class C of R-modules, a morphism M N in Mod R is called
More informationInjective Modules and Matlis Duality
Appendix A Injective Modules and Matlis Duality Notes on 24 Hours of Local Cohomology William D. Taylor We take R to be a commutative ring, and will discuss the theory of injective R-modules. The following
More informationDuality, Residues, Fundamental class
Duality, Residues, Fundamental class Joseph Lipman Purdue University Department of Mathematics lipman@math.purdue.edu May 22, 2011 Joseph Lipman (Purdue University) Duality, Residues, Fundamental class
More informationGorenstein Homological Algebra of Artin Algebras. Xiao-Wu Chen
Gorenstein Homological Algebra of Artin Algebras Xiao-Wu Chen Department of Mathematics University of Science and Technology of China Hefei, 230026, People s Republic of China March 2010 Acknowledgements
More informationNOTES ON CHAIN COMPLEXES
NOTES ON CHAIN COMPLEXES ANDEW BAKE These notes are intended as a very basic introduction to (co)chain complexes and their algebra, the intention being to point the beginner at some of the main ideas which
More informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationMATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA. This is the title page for the notes on tensor products and multilinear algebra.
MATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA This is the title page for the notes on tensor products and multilinear algebra. Contents 1. Bilinear forms and quadratic forms 1 1.1.
More informationAisles in derived categories
Aisles in derived categories B. Keller D. Vossieck Bull. Soc. Math. Belg. 40 (1988), 239-253. Summary The aim of the present paper is to demonstrate the usefulness of aisles for studying the tilting theory
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES. ANDREW SALCH 1. Affine schemes. About notation: I am in the habit of writing f (U) instead of f 1 (U) for the preimage of a subset
More informationINTRO TO TENSOR PRODUCTS MATH 250B
INTRO TO TENSOR PRODUCTS MATH 250B ADAM TOPAZ 1. Definition of the Tensor Product Throughout this note, A will denote a commutative ring. Let M, N be two A-modules. For a third A-module Z, consider the
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 informationCohomology and Base Change
Cohomology and Base Change Let A and B be abelian categories and T : A B and additive functor. We say T is half-exact if whenever 0 M M M 0 is an exact sequence of A-modules, the sequence T (M ) T (M)
More informationREPRESENTATION THEORY, LECTURE 0. BASICS
REPRESENTATION THEORY, LECTURE 0. BASICS IVAN LOSEV Introduction The aim of this lecture is to recall some standard basic things about the representation theory of finite dimensional algebras and finite
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 informationHomological Aspects of the Dual Auslander Transpose II
Homological Aspects of the Dual Auslander Transpose II Xi Tang College of Science, Guilin University of Technology, Guilin 541004, Guangxi Province, P.R. China E-mail: tx5259@sina.com.cn Zhaoyong Huang
More informationTHE EXT ALGEBRA AND A NEW GENERALISATION OF D-KOSZUL ALGEBRAS
THE EXT ALGEBRA AND A NEW GENERALISATION OF D-KOSZUL ALGEBRAS JOANNE LEADER AND NICOLE SNASHALL Abstract. We generalise Koszul and D-Koszul algebras by introducing a class of graded algebras called (D,
More informationarxiv: v1 [math.rt] 1 Oct 2017
BIMODULE MONOMORPHISM CATEGORIES AND RSS EQUIVALENCES VIA COTILTING MODULES BAO-LIN XIONG PU ZHANG UE-HUI ZHANG arxiv:7.34v math.rt Oct 27 Abstract. The monomorphism category S(A,M,B) induced by a bimodule
More informationRepresentation type, boxes, and Schur algebras
10.03.2015 Notation k algebraically closed field char k = p 0 A finite dimensional k-algebra mod A category of finite dimensional (left) A-modules M mod A [M], the isomorphism class of M ind A = {[M] M
More informationMATH5735 Modules and Representation Theory Lecture Notes
MATH5735 Modules and Representation Theory Lecture Notes Joel Beeren Semester 1, 2012 Contents 1 Why study modules? 4 1.1 Setup............................................. 4 1.2 How do you study modules?.................................
More informationMultiplicative Bases, Gröbner Bases, and Right Gröbner Bases
J. Symbolic Computation (2000) 29, 601 623 doi:10.1006/jsco.1999.0324 Available online at http://www.idealibrary.com on Multiplicative Bases, Gröbner Bases, and Right Gröbner Bases EDWARD L. GREEN Virginia
More information1 Notations and Statement of the Main Results
An introduction to algebraic fundamental groups 1 Notations and Statement of the Main Results Throughout the talk, all schemes are locally Noetherian. All maps are of locally finite type. There two main
More informationFactorization of birational maps on steroids
Factorization of birational maps on steroids IAS, April 14, 2015 Dan Abramovich Brown University April 14, 2015 This is work with Michael Temkin (Jerusalem) Abramovich (Brown) Factorization of birational
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 information