Representations of quivers

Size: px
Start display at page:

Download "Representations of quivers"

Transcription

1 Representations of quivers Gwyn Bellamy October 13, 215

2 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 that a (unital) module M for a k-algebra A is automatically a k-vector space. 1.1 What is a quiver? A quiver Q is simply a directed graph. That is, it is a collection Q = {e 1,..., e k } of vertices and a collection Q 1 = { 1,..., l } of arrows between vertices. In order to specify which two vertices an arrow goes between, we define a pair of functions h, t : Q 1 Q such that h() is the vertex at the head of and t() is the tail of i.e. is the arrow beginning at vertex t() and ending at vertex h(). Example 1.1. Here are some examples of quivers. e 2 β e 1 e 2 e 1 e 5 e 3 e 1 γ δ e e 1 e 1 e 2 β n For instance, in the second example, Q = {e 1, e 2, e 3, e 4, e 5 }, Q 1 = {, β, γ, δ} and t(γ) = e 3, h(β) = e 5 etc. Remark 1.2. A quiver is the case, holdall, or tube that an archer uses to hold his/her arrows. 1.2 Representations As representation theorists, we re interested in representations of a quiver. A representation M = {(V i, ϕ ) i Q, Q 1 } is the data of a complex vector space V i at each vertex i of Q and a linear map ϕ : V t() V h() between the vector space at the tail of to the vector space at the head of, for every arrow.

3 Example 1.3. Here are two representations ϕ φ M : C 2 C 3, N : C 4 C (1) φ β ϕ β where ϕ = , ϕ β = π, φ = ( ) (, φ β = ). We can associate to a representation M = {(V i, ϕ )} a dimension vector dim M Z Q by setting (dim M) i = dim V i. Unlike a vector space, the representation M is not uniquely defined by its dimension vector. However, as we shall see, dim M is a very useful invariant of M. Example 1.4. If we consider the two representations M and N in (1), then dim M = (2, 3), dim N = (4, 1). 1.3 Subrepresentations, simple representations etc. Given a representation M = {(V i, ϕ ) i Q, Q 1 } of Q, a subrepresentation N of M is the representation {(U i, ϕ Ut() ) i Q, Q 1 }, where each U i is a subspace of V i, chosen so that ϕ (U t() ) U h() for all Q 1. Example 1.5. Here is an example of a subrepresentation. Let M be the representation of e 1 e 2 given in (1). Let U 1 = C be the subspace of C 2 spanned by v 1 = and U 2 = C 2 the subspace of C 3 spanned by u 1 = 1, u 2 = 1. ( 1 1 ) β ii

4 Then, M restricts to the subrepresentation U 1 U 2, where ϕ ϕ β ϕ = ( 2 9 ), ϕ β = ( π ). If on the other hand, we take the representation N in (1) and U 1 the subspace of C 4 spanned by the vectors 1 u 1 =, u 2 = 1, and U 2 = {} C, then this does not produce a subrepresentation of N since φ (U 1 ) U 2, φ β (U 1 ) U 2, i.e. one cannot just choose arbitrary subspaces to get subrepresentations. Example 1.6. If we consider the example of Q being e 1 then a representation of Q is simply a vector space V 1 together with a linear map ϕ : V 1 V 1. Then a subspace W 1 V 1 is a subrepresentation precisely if ϕ (W 1 ) W 1. We say that the representation M is simple if the only subrepresentations of M are M itself and. Here is a construction of some simple representations. For each i Q, we let E(i) = {(E(i) j, ϕ )} denote the representation where E(i) i = C and E(i) j = for j i. Moreover, ϕ = for all. We leave it to the reader to check that E(i) is simple. Given two representations M = {(V i, ϕ )} and N = {(U i, ψ )} we can construct a new representation M N, the direct sum of M and N, as follows. At each vertex i, we simply take the direct sum of vector spaces V i U i. Then, we define the new map η = (ϕ, ψ ) for each Q 1 i.e. ( ) ϕ η = : V t() U t() V h() U h(). ψ iii

5 Notice that M and N are naturally subrepresentions of the direct sum M N. Of course, to better understand representations of a given quiver, we want to be able to compare them. A homomorphism between representations. Let M = {(C v i, ϕ )} and N = {(C w i, ψ )} be representations of a quiver Q. Then a homomorphism f : M N is a collection of linear maps f i Hom C (C v i, C w i ) for each i Q such that the diagrams C v t() f t() C w t() ϕ ψ C v h() f h() C w h() commute for all Q 1. The space of all homomorphisms from M to N is denoted Hom Q (M, N). 1.4 The path algebra There is a natural algebra we can associate to each quiver Q. Recall that an algebra A is a C- vector space together with a bilinear multiplication map A A A that makes it into a ring with identity. First we define a path in Q to be a tuple of arrows k k 1 1 such that h( i ) = t( i+1 ) for i = 1,..., k 1. The length of the path is k. We think of each vertex e i as being a path of length zero i.e. the path that does nothing. Let CQ be the complex vector space with basis given by all paths in Q. To define a multiplication on CQ, it suffices to do so for paths. Then, { β l β 1 k 1 if h( k ) = t(β 1 ) (β l β 1 ) ( k 1 ) = otherwise. That is, multiplication is simply the concatenation of paths where-ever that makes sense. For the paths e i of length zero, we have { k 1 if t( 1 ) = i ( k 1 ) e i = otherwise. Example 1.7. The path algebra CQ of Q : e 1 e 2 β iv

6 has basis {e 1, e 2,, β} and multiplication is given by e 2 = e 1 =, e 2 β = β e 1 = β, β = β =,... But notice that the path algebra CQ, where Q : e 1 has basis {e 1,, 2, 3,... } and multiplication e 1 n = n e 1 = n, n m = n+m. In particular, CQ is infinite dimensional and commutative. Definition 1.8. An A-module M is a vector space equipped with a bilinear map A M M, (a, m) a m such that 1 m = m for all m M. a (b m) = (a b) m for all a, b A and m M. We will be interested, in particular, in the category of modules for the path algebra CQ. Exercise 1.9. Notice that the definition of a module uses explicitly the identity element 1 of the algebra A. However, we ve made no mention of an identity for the path algebra. Check that 1 := i Q e i is the identity in CQ. Example 1.1. If Q is the quiver e 1 e 2 then we could take M = Cf 1 Cf 2 with e i f j = δ i,j f j and β f 1 = 4f 2, f 2 =, β f 1 = 12f 2,, β f 2 =, or N = C 7, where e 1 v = v and e 2 v = v = β v = for all v C Representations vs. CQ-modules We have seen that we can associated to a quiver its category of representations and also the category of modules over the path algebra. It turns out that these are equivalent notions (formally, v

7 one says that the categories are equivalent). To show that they are equivalent, we explain how to go from a representation to a module for the path algebra and back. Let M = {(V i, ϕ ) e i Q, Q 1 } be a representation of Q. We construct out of M a module F (M) for the path algebra CQ. As a vector space, F (M) := V i, e i Q is just the direct sum of the spaces V i. Since every path in CQ is the composition of a series of arrows, we just have to say how a) the trivial paths e i act on F (M) b) how each of the arrows Q 1 acts on F (M). Firstly, for each i we have a projection map p i : F (M) V i and an inclusion map q i : V i F (M). We define e i = q i p i i.e. e i v = q i p i (v). Next, associated to Q 1 is the linear map ϕ : V t() V h(). We use a similar trick to extend this to a map F (M) F (M) by setting = q h() ϕ p t() : F (M) q h() ϕ p t() V t() Vh() F (M), i.e. v = q h() ϕ p t() (v). Now we want to go in the opposite direction. Given a module N for the path algebra CQ, we want to define a representation G(N) = {(U i, ψ ) e i Q, Q 1 }. Notice first that the identity element 1 in CQ is the sum i Q e i. Also, the rules for multiplication in CQ show that e i e j = δ i,j e i (we say that {e i Q } form a complete set of orthogonal idempotents in CQ). This implies that N = e i N. i Q We set U i = e i N. We just need to define a linear map ψ : e t() N e h() N for each Q 1. For this, notice that Theorem The maps F and G define quasi-inverse equivalences between the category Rep(Q) of all representations of Q and the category CQ-Mod of all CQ-modules. Proof. We have done all the hard work already in defining the maps F and G. It is straightforward to check that G F (M) = M for any representation M and F G(N) = N for any CQ-module N. It is clear how to define F and G on morphisms to make them functors. vi

8 Example Let s take Q to be the quiver e 1 e 2 e β 3 and the representation N : 3 C C C. Then CQ has basis {e 6 1, e 2, e 3,, β} and F (N) is the three-dimensional module with basis f 1, f 2, f 3 such that e i f j = δ i,j, f 1 = 3f 2, β f 3 = 6f 2, and f i = β f j = otherwise. Similarly, if we take the CQ-module M in example 1.1 then G(M) is the representation of Q given by 4 C C. 1.6 Indecomposable representations 7 In order to study the representations of a finite dimensional algebra, the first thing to do is try and break a representation up into a direct sum of simpler representations - we say that M decomposes as a direct sum M 1 M 2. We ve already seen that many representations occur as the direct sum of smaller representations. Repeating, we get smaller and smaller representations. Of course this process must eventually stop. That is, eventually we get to a representation M that cannot be written as the direct sum M 1 M 2 of two subrepresentations. Definition The representation M is said to be indecomposable if it cannot be decomposed into a direct sum of two proper subrepresentations. Notice that we can always decompose M = M, but such a decomposition doesn t help us understand M better, so we ignore these trivial decompositions. Clearly, if we want to understand, or classify all representations of Q, it suffices to classify the indecomposable representations. In general this turns out to be a very difficult task. Theorem 1.14 (Krull-Schmidt). Let A be a finite-dimensional algebra and M a finitely generated A-module. Then, up to permutation of factors, M has a unique decomposition into indecomposables, M = M 1 M k. The key point underlying the Krull-Schmidt Theorem is the fact that, under the hypothesis of the theorem, if M is indecomposable then End A (M) is a local ring i.e. it has a unique maximal right ideal which is also the unique maximal left ideal (and hence two-sided). vii

9 Example Consider A = R[x]/(x 4 1) as a module over itself. Then A R[x] (x 2 + 1) R[x] (x + 1) R[x] (x 1). Example Here is a counter example to the Krull-Schmidt theorem when the ring Λ is not assumed to be Artinian. Let Λ = k[x, y], where k is a field. Let (x, y) denote the ideal in Λ generated by x and y. Take M = (x, y) (x, y 1). Then there is a natural map M Λ, (f, g) f + g. This is surjective. Therefore we get a short exact sequence C M Λ. Since Λ is projective as a Λ-module, this sequence splits i.e. M Λ C. But neither of (x, y) or (x, y 1) are isomorphic to Λ since they are not projective. 1.7 Composition factors Let M be an A-module. A composition series for M is a series M : = M M 1 of submodules, one properly contained inside another. Recall that M is Artinian if every composition series has finite length. If A is finite dimensional and M finitely generated then it is Artinian. The factors of M are the quotients M i /M i 1. Theorem 1.17 (Jordan-Hölder). Let A be a finite dimensional algebra and M a finitely generated A-module. Let M : = M M 1 M k = M N : = N N 1 N l = M be two composition series with simple factors. Then k = l and there exists a bijection σ : {1,..., k} {1,..., k} such that N i /N i 1 M σ(i) /M σ(i 1), i = 1,..., k. Notice that the Jordan-Hölder Theorem implies that M has a well-defined length. viii

10 Example Let k be an infinite field and A = k[x, y]/(x 2, xy, y 2 ). For each [ : β] P 1 k, the ideal (x+βy) in A is one-dimensional and the quotient is a two-dimensional local ring. Therefore, we get a composition series A : (x + βy) (x, y) A with composition factors k, k, k (where k here is thought of as the unique simple module for A). Hence A has an infinite number of composition series, but they all have the same factors. Example If we take Q to be the quiver e 1 e 2 a b, and A = kq/ ab, then k{ba} k{ba, b} k{ba, a, b} k{e 1, ba, a, b} A is a composition series with simples factors S 1, S 1, S 2, S 1, S Other basic examples of finite dimensional algebras a If Q is the quiver e 1 e 2, then kq is three-dimensional, it is isomorphic to ( ) k k, k the algebra of two by two upper triangular matrices. If we take A = k[x, y]/(x 2, y 2 ) then notice that A is isomorphic to kq/ a 2, ab ba, b 2, where Q is the quiver with one vertex and two loops (labeled a and b) at that vertex. Consider A = k[x]/(x n ) as a module over itself. This is an example of a uniserial module - it has a unique composition series with simple factors. ix

Indecomposable Quiver Representations

Indecomposable Quiver Representations Indecomposable Quiver Representations Summer Project 2015 Laura Vetter September 2, 2016 Introduction The aim of my summer project was to gain some familiarity with the representation theory of finite-dimensional

More information

LECTURE 16: REPRESENTATIONS OF QUIVERS

LECTURE 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 information

QUIVERS, REPRESENTATIONS, ROOTS AND LIE ALGEBRAS. Volodymyr Mazorchuk. (Uppsala University)

QUIVERS, REPRESENTATIONS, ROOTS AND LIE ALGEBRAS. Volodymyr Mazorchuk. (Uppsala University) QUIVERS, REPRESENTATIONS, ROOTS AND LIE ALGEBRAS Volodymyr Mazorchuk (Uppsala University) . QUIVERS Definition: A quiver is a quadruple Q = (V, A, t, h), where V is a non-empty set; A is a set; t and h

More information

1. Quivers and their representations: Basic definitions and examples.

1. Quivers and their representations: Basic definitions and examples. 1 Quivers and their representations: Basic definitions and examples 11 Quivers A quiver Q (sometimes also called a directed graph) consists of vertices and oriented edges (arrows): loops and multiple arrows

More information

Quiver Representations

Quiver Representations Quiver Representations Molly Logue August 28, 2012 Abstract After giving a general introduction and overview to the subject of Quivers and Quiver Representations, we will explore the counting and classification

More information

A visual introduction to Tilting

A 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

REPRESENTATION THEORY WEEK 9

REPRESENTATION 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 information

4.1. Paths. For definitions see section 2.1 (In particular: path; head, tail, length of a path; concatenation;

4.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 information

NOTES ON SPLITTING FIELDS

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

More information

Exercises on chapter 4

Exercises on chapter 4 Exercises on chapter 4 Always R-algebra means associative, unital R-algebra. (There are other sorts of R-algebra but we won t meet them in this course.) 1. Let A and B be algebras over a field F. (i) Explain

More information

Formal power series rings, inverse limits, and I-adic completions of rings

Formal 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 information

REPRESENTATION THEORY. WEEKS 10 11

REPRESENTATION 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 information

Representations of quivers

Representations of quivers Representations of quivers Michel Brion Lectures given at the summer school Geometric methods in representation theory (Grenoble, June 16 July 4, 2008) Introduction Quivers are very simple mathematical

More information

L(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that

L(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that ALGEBRAIC GROUPS 61 5. Root systems and semisimple Lie algebras 5.1. Characteristic 0 theory. Assume in this subsection that chark = 0. Let me recall a couple of definitions made earlier: G is called reductive

More information

Introduction to modules

Introduction to modules Chapter 3 Introduction to modules 3.1 Modules, submodules and homomorphisms The problem of classifying all rings is much too general to ever hope for an answer. But one of the most important tools available

More information

Projective modules: Wedderburn rings

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

More information

ON THE GEOMETRY OF ORBIT CLOSURES FOR REPRESENTATION-INFINITE ALGEBRAS

ON 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 information

THE CLASSIFICATION PROBLEM REPRESENTATION-FINITE, TAME AND WILD QUIVERS

THE CLASSIFICATION PROBLEM REPRESENTATION-FINITE, TAME AND WILD QUIVERS October 28, 2009 THE CLASSIFICATION PROBLEM REPRESENTATION-FINITE, TAME AND WILD QUIVERS Sabrina Gross, Robert Schaefer In the first part of this week s session of the seminar on Cluster Algebras by Prof.

More information

Morita Equivalence. Eamon Quinlan

Morita 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 information

TCC Homological Algebra: Assignment #3 (Solutions)

TCC 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 information

Representations of Quivers

Representations of Quivers MINGLE 2012 Simon Peacock 4th October, 2012 Outline 1 Quivers Representations 2 Path Algebra Modules 3 Modules Representations Quiver A quiver, Q, is a directed graph. Quiver A quiver, Q, is a directed

More information

A NOTE ON GENERALIZED PATH ALGEBRAS

A 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 information

Multi-parameter persistent homology: applications and algorithms

Multi-parameter persistent homology: applications and algorithms Multi-parameter persistent homology: applications and algorithms Nina Otter Mathematical Institute, University of Oxford Gudhi/Top Data Workshop Porquerolles, 18 October 2016 Multi-parameter persistent

More information

REPRESENTATION THEORY, LECTURE 0. BASICS

REPRESENTATION 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 information

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND

More information

1. Algebraic vector bundles. Affine Varieties

1. Algebraic vector bundles. Affine Varieties 0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.

More information

Categories and functors

Categories 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 information

Level 5M Project: Representations of Quivers & Gabriel s Theorem

Level 5M Project: Representations of Quivers & Gabriel s Theorem Level 5M Project: Representations of Quivers & Gabriel s Theorem Emma Cummin (0606574) March 24, 2011 Abstract Gabriel s theorem, first proved by Peter Gabriel in 1972 [1], comes in two parts. Part (i)

More information

Thus we get. ρj. Nρj i = δ D(i),j.

Thus 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 information

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d The Algebraic Method 0.1. Integral Domains. Emmy Noether and others quickly realized that the classical algebraic number theory of Dedekind could be abstracted completely. In particular, rings of integers

More information

MODEL ANSWERS TO THE FOURTH HOMEWORK

MODEL ANSWERS TO THE FOURTH HOMEWORK MODEL ANSWES TO THE OUTH HOMEWOK 1. (i) We first try to define a map left to right. Since finite direct sums are the same as direct products, we just have to define a map to each factor. By the universal

More information

GENERALIZED BRAUER TREE ORDERS

GENERALIZED 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 information

Modules Over Principal Ideal Domains

Modules Over Principal Ideal Domains Modules Over Principal Ideal Domains Brian Whetter April 24, 2014 This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License. To view a copy of this

More information

7350: TOPICS IN FINITE-DIMENSIONAL ALGEBRAS. 1. Lecture 1

7350: TOPICS IN FINITE-DIMENSIONAL ALGEBRAS. 1. Lecture 1 7350: TOPICS IN FINITE-DIMENSIONAL ALGEBRAS RICHARD VALE Abstract. These are the notes from a course taught at Cornell in Spring 2009. They are a record of what was covered in the lectures. Many results

More information

QUIVERS AND LATTICES.

QUIVERS AND LATTICES. QUIVERS AND LATTICES. KEVIN MCGERTY We will discuss two classification results in quite different areas which turn out to have the same answer. This note is an slightly expanded version of the talk given

More information

Topics in linear algebra

Topics in linear algebra Chapter 6 Topics in linear algebra 6.1 Change of basis I want to remind you of one of the basic ideas in linear algebra: change of basis. Let F be a field, V and W be finite dimensional vector spaces over

More information

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. 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 information

Math 210B. Artin Rees and completions

Math 210B. Artin Rees and completions Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show

More information

The Gelfand-Tsetlin Basis (Too Many Direct Sums, and Also a Graph)

The Gelfand-Tsetlin Basis (Too Many Direct Sums, and Also a Graph) The Gelfand-Tsetlin Basis (Too Many Direct Sums, and Also a Graph) David Grabovsky June 13, 2018 Abstract The symmetric groups S n, consisting of all permutations on a set of n elements, naturally contain

More information

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

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

More information

PULLBACK MODULI SPACES

PULLBACK 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 information

Math 396. Quotient spaces

Math 396. Quotient spaces Math 396. Quotient spaces. Definition Let F be a field, V a vector space over F and W V a subspace of V. For v, v V, we say that v v mod W if and only if v v W. One can readily verify that with this definition

More information

Noetherian property of infinite EI categories

Noetherian 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 information

6. Dynkin quivers, Euclidean quivers, wild quivers.

6. 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 information

A Krull-Schmidt Theorem for Noetherian Modules *

A Krull-Schmidt Theorem for Noetherian Modules * A Krull-Schmidt Theorem for Noetherian Modules * Gary Brookfield Department of Mathematics, University of California, Riverside CA 92521-0135 E-mail: brookfield@math.ucr.edu We prove a version of the Krull-Schmidt

More information

2. Finite dimensional algebras In this chapter, A will always denote an algebra (usually finite dimensional) over an algebraically closed field k and

2. Finite dimensional algebras In this chapter, A will always denote an algebra (usually finite dimensional) over an algebraically closed field k and 2. Finite dimensional algebras In this chapter, A will always denote an algebra (usually finite dimensional) over an algebraically closed field k and all modules will be finitely generated. Thus, for a

More information

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

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 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 information

Category O and its basic properties

Category O and its basic properties Category O and its basic properties Daniil Kalinov 1 Definitions Let g denote a semisimple Lie algebra over C with fixed Cartan and Borel subalgebras h b g. Define n = α>0 g α, n = α

More information

Structure of rings. Chapter Algebras

Structure of rings. Chapter Algebras Chapter 5 Structure of rings 5.1 Algebras It is time to introduce the notion of an algebra over a commutative ring. So let R be a commutative ring. An R-algebra is a ring A (unital as always) together

More information

Powers of translation quivers. Coralie Ducrest Master in Mathematics

Powers of translation quivers. Coralie Ducrest Master in Mathematics Powers of translation quivers Coralie Ducrest Master in Mathematics June 3, 008 Contents 1 Quiver representations 9 1.1 General principles........................ 9 1. Path algebras of finite representation

More information

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

FILTERED 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 information

5 Quiver Representations

5 Quiver Representations 5 Quiver Representations 5. Problems Problem 5.. Field embeddings. Recall that k(y,..., y m ) denotes the field of rational functions of y,..., y m over a field k. Let f : k[x,..., x n ] k(y,..., y m )

More information

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then

More information

LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C)

LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C) LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C) IVAN LOSEV Introduction We proceed to studying the representation theory of algebraic groups and Lie algebras. Algebraic groups are the groups

More information

Exercises on chapter 0

Exercises on chapter 0 Exercises on chapter 0 1. A partially ordered set (poset) is a set X together with a relation such that (a) x x for all x X; (b) x y and y x implies that x = y for all x, y X; (c) x y and y z implies that

More information

FUNCTORS AND ADJUNCTIONS. 1. Functors

FUNCTORS AND ADJUNCTIONS. 1. Functors FUNCTORS AND ADJUNCTIONS Abstract. Graphs, quivers, natural transformations, adjunctions, Galois connections, Galois theory. 1.1. Graph maps. 1. Functors 1.1.1. Quivers. Quivers generalize directed graphs,

More information

AUSLANDER-REITEN THEORY FOR FINITE DIMENSIONAL ALGEBRAS. Piotr Malicki

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

More information

Semistable Representations of Quivers

Semistable Representations of Quivers Semistable Representations of Quivers Ana Bălibanu Let Q be a finite quiver with no oriented cycles, I its set of vertices, k an algebraically closed field, and Mod k Q the category of finite-dimensional

More information

SAMPLE TEX FILE ZAJJ DAUGHERTY

SAMPLE TEX FILE ZAJJ DAUGHERTY SAMPLE TEX FILE ZAJJ DAUGHERTY Contents. What is the partition algebra?.. Graphs and equivalence relations.. Diagrams and their compositions.. The partition algebra. Combinatorial representation theory:

More information

CHARACTERS AS CENTRAL IDEMPOTENTS

CHARACTERS AS CENTRAL IDEMPOTENTS CHARACTERS AS CENTRAL IDEMPOTENTS CİHAN BAHRAN I have recently noticed (while thinking about the skewed orthogonality business Theo has mentioned) that the irreducible characters of a finite group G are

More information

INJECTIVE MODULES AND THE INJECTIVE HULL OF A MODULE, November 27, 2009

INJECTIVE MODULES AND THE INJECTIVE HULL OF A MODULE, November 27, 2009 INJECTIVE ODULES AND THE INJECTIVE HULL OF A ODULE, November 27, 2009 ICHIEL KOSTERS Abstract. In the first section we will define injective modules and we will prove some theorems. In the second section,

More information

Maximal Green Sequences via Quiver Semi-Invariants

Maximal Green Sequences via Quiver Semi-Invariants Maximal Green Sequences via Quiver Semi-Invariants Stephen Hermes Wellesley College, Wellesley, MA Maurice Auslander Distinguished Lectures and International Conference Woods Hole May 3, 2015 Preliminaries

More information

REPRESENTATION THEORY OF S n

REPRESENTATION THEORY OF S n REPRESENTATION THEORY OF S n EVAN JENKINS Abstract. These are notes from three lectures given in MATH 26700, Introduction to Representation Theory of Finite Groups, at the University of Chicago in November

More information

Examples of Semi-Invariants of Quivers

Examples of Semi-Invariants of Quivers Examples of Semi-Invariants of Quivers June, 00 K is an algebraically closed field. Types of Quivers Quivers with finitely many isomorphism classes of indecomposable representations are of finite representation

More information

Math 210B. Profinite group cohomology

Math 210B. Profinite group cohomology Math 210B. Profinite group cohomology 1. Motivation Let {Γ i } be an inverse system of finite groups with surjective transition maps, and define Γ = Γ i equipped with its inverse it topology (i.e., the

More information

On p-monomial Modules over Local Domains

On 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 information

SCHUR-WEYL DUALITY FOR U(n)

SCHUR-WEYL DUALITY FOR U(n) SCHUR-WEYL DUALITY FOR U(n) EVAN JENKINS Abstract. These are notes from a lecture given in MATH 26700, Introduction to Representation Theory of Finite Groups, at the University of Chicago in December 2009.

More information

ALGEBRA HW 3 CLAY SHONKWILER

ALGEBRA 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 information

NOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS. Contents. 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4. 1.

NOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS. Contents. 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4. 1. NOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS Contents 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4 1. Introduction These notes establish some basic results about linear algebra over

More information

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime

More information

Algebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0

Algebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0 1. Show that if B, C are flat and Algebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0 is exact, then A is flat as well. Show that the same holds for projectivity, but not for injectivity.

More information

The Diamond Category of a Locally Discrete Ordered Set.

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

More information

LECTURES ON SYMPLECTIC REFLECTION ALGEBRAS

LECTURES ON SYMPLECTIC REFLECTION ALGEBRAS LECTURES ON SYMPLECTIC REFLECTION ALGEBRAS IVAN LOSEV 18. Category O for rational Cherednik algebra We begin to study the representation theory of Rational Chrednik algebras. Perhaps, the class of representations

More information

Decomposition Methods for Representations of Quivers appearing in Topological Data Analysis

Decomposition Methods for Representations of Quivers appearing in Topological Data Analysis Decomposition Methods for Representations of Quivers appearing in Topological Data Analysis Erik Lindell elindel@kth.se SA114X Degree Project in Engineering Physics, First Level Supervisor: Wojtek Chacholski

More information

Notes on the definitions of group cohomology and homology.

Notes on the definitions of group cohomology and homology. Notes on the definitions of group cohomology and homology. Kevin Buzzard February 9, 2012 VERY sloppy notes on homology and cohomology. Needs work in several places. Last updated 3/12/07. 1 Derived functors.

More information

The tensor product of commutative monoids

The tensor product of commutative monoids The tensor product of commutative monoids We work throughout in the category Cmd of commutative monoids. In other words, all the monoids we meet are commutative, and consequently we say monoid in place

More information

Math 762 Spring h Y (Z 1 ) (1) h X (Z 2 ) h X (Z 1 ) Φ Z 1. h Y (Z 2 )

Math 762 Spring h Y (Z 1 ) (1) h X (Z 2 ) h X (Z 1 ) Φ Z 1. h Y (Z 2 ) Math 762 Spring 2016 Homework 3 Drew Armstrong Problem 1. Yoneda s Lemma. We have seen that the bifunctor Hom C (, ) : C C Set is analogous to a bilinear form on a K-vector space, : V V K. Recall that

More information

CHAPTER 1. AFFINE ALGEBRAIC VARIETIES

CHAPTER 1. AFFINE ALGEBRAIC VARIETIES CHAPTER 1. AFFINE ALGEBRAIC VARIETIES During this first part of the course, we will establish a correspondence between various geometric notions and algebraic ones. Some references for this part of the

More information

GIT-Equivalence and Semi-Stable Subcategories of Quiver Representations

GIT-Equivalence and Semi-Stable Subcategories of Quiver Representations GIT-Equivalence and Semi-Stable Subcategories of Quiver Representations Valerie Granger Joint work with Calin Chindris November 21, 2016 Notation Q = (Q 0, Q 1, t, h) is a quiver Notation Q = (Q 0, Q 1,

More information

Topics in Module Theory

Topics in Module Theory Chapter 7 Topics in Module Theory This chapter will be concerned with collecting a number of results and constructions concerning modules over (primarily) noncommutative rings that will be needed to study

More information

CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R)

CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R) CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS J. P. MAY Contents 1. The ring K(R) and the group Pic(R) 1 2. Symmetric monoidal categories, K(C), and Pic(C) 2 3. The unit endomorphism ring R(C ) 5 4.

More information

Math 210B. The bar resolution

Math 210B. The bar resolution Math 210B. The bar resolution 1. Motivation Let G be a group. In class we saw that the functorial identification of M G with Hom Z[G] (Z, M) for G-modules M (where Z is viewed as a G-module with trivial

More information

Rank functors and representation rings of quivers

Rank functors and representation rings of quivers Rank functors and representation rings of quivers by Ryan David Kinser A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy (Mathematics) in The University

More information

NOTES ON FINITE FIELDS

NOTES ON FINITE FIELDS NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining

More information

Math 250: Higher Algebra Representations of finite groups

Math 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 information

and this makes M into an R-module by (1.2). 2

and 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 information

CATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths.

CATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths. CATEGORY THEORY PROFESSOR PETER JOHNSTONE Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths. Definition 1.1. A category C consists

More information

A Primer on Homological Algebra

A Primer on Homological Algebra A Primer on Homological Algebra Henry Y Chan July 12, 213 1 Modules For people who have taken the algebra sequence, you can pretty much skip the first section Before telling you what a module is, you probably

More information

Ring Theory Problems. A σ

Ring Theory Problems. A σ Ring Theory Problems 1. Given the commutative diagram α A σ B β A σ B show that α: ker σ ker σ and that β : coker σ coker σ. Here coker σ = B/σ(A). 2. Let K be a field, let V be an infinite dimensional

More information

LECTURE NOTES AMRITANSHU PRASAD

LECTURE NOTES AMRITANSHU PRASAD LECTURE NOTES AMRITANSHU PRASAD Let K be a field. 1. Basic definitions Definition 1.1. A K-algebra is a K-vector space together with an associative product A A A which is K-linear, with respect to which

More information

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

COURSE 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 information

ALGEBRA HW 4. M 0 is an exact sequence of R-modules, then M is Noetherian if and only if M and M are.

ALGEBRA HW 4. M 0 is an exact sequence of R-modules, then M is Noetherian if and only if M and M are. ALGEBRA HW 4 CLAY SHONKWILER (a): Show that if 0 M f M g M 0 is an exact sequence of R-modules, then M is Noetherian if and only if M and M are. Proof. ( ) Suppose M is Noetherian. Then M injects into

More information

is an isomorphism, and V = U W. Proof. Let u 1,..., u m be a basis of U, and add linearly independent

is an isomorphism, and V = U W. Proof. Let u 1,..., u m be a basis of U, and add linearly independent Lecture 4. G-Modules PCMI Summer 2015 Undergraduate Lectures on Flag Varieties Lecture 4. The categories of G-modules, mostly for finite groups, and a recipe for finding every irreducible G-module of a

More information

Cohomology and Base Change

Cohomology 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 information

48 CHAPTER 2. COMPUTATIONAL METHODS

48 CHAPTER 2. COMPUTATIONAL METHODS 48 CHAPTER 2. COMPUTATIONAL METHODS You get a much simpler result: Away from 2, even projective spaces look like points, and odd projective spaces look like spheres! I d like to generalize this process

More information

Representation type, boxes, and Schur algebras

Representation 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 information

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

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

More information

10. Noether Normalization and Hilbert s Nullstellensatz

10. Noether Normalization and Hilbert s Nullstellensatz 10. Noether Normalization and Hilbert s Nullstellensatz 91 10. Noether Normalization and Hilbert s Nullstellensatz In the last chapter we have gained much understanding for integral and finite ring extensions.

More information

h M (T ). The natural isomorphism η : M h M determines an element U = η 1

h M (T ). The natural isomorphism η : M h M determines an element U = η 1 MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 7 2.3. Fine moduli spaces. The ideal situation is when there is a scheme that represents our given moduli functor. Definition 2.15. Let M : Sch Set be a moduli

More information

Elementary linear algebra

Elementary linear algebra Chapter 1 Elementary linear algebra 1.1 Vector spaces Vector spaces owe their importance to the fact that so many models arising in the solutions of specific problems turn out to be vector spaces. The

More information