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 graph. Example α 1 2 3 ζ ε β γ δ 4 5
Representation A representation of a quiver over a field k is an assignment of a k-vector space, α V i, to each vertex i and a k-linear map, f α : V i V j to each edge i j.
Representation A representation of a quiver over a field k is an assignment of a k-vector space, α V i, to each vertex i and a k-linear map, f α : V i V j to each edge i j. Example f γ V 4 f α V 1 V 2 V 3 f ζ f ε f β f δ V 5
Morphism of representations If V = (V i, f α ) and W = (W i, g α ) are two representations of a quiver Q, then a morphism φ : V W is a set of k-linear maps {φ i : V i W i i a vertex} α such that for each edge i j the square V i f α V j φ i φ j W i g α W j commutes; that is g α φ i = φ j f α.
Morphism of representations If V = (V i, f α ) and W = (W i, g α ) are two representations of a quiver Q, then a morphism φ : V W is a set of k-linear maps {φ i : V i W i i a vertex} α such that for each edge i j the square V i f α V j φ i φ j W i g α W j commutes; that is g α φ i = φ j f α. If every φ i is invertible then φ is an isomorphism.
Examples Example
Examples Example Basic linear algebra
Examples Example Basic linear algebra Example
Examples Example Basic linear algebra Example Jordan-Normal form
Algebra is x sighting A ring, A, is an algebra over a field k, if A also has the structure of a k-vector space. Abelian group under addition, with a (not necessarily commutative) multiplication that distributes over addition. I always assume rings have a unit.
Algebra is x sighting A ring, A, is an algebra over a field k, if A also has the structure of a k-vector space. Example C is a 2-dimensional algebra over R. Abelian group under addition, with a (not necessarily commutative) multiplication that distributes over addition. I always assume rings have a unit.
Paths A path in a quiver is a sequence of zero or more edges, starting from a given vertex. The product of two path is defined to be the concatenation if this makes sense or zero otherwise.
Paths A path in a quiver is a sequence of zero or more edges, starting from a given vertex. The product of two path is defined to be the concatenation if this makes sense or zero otherwise. Example α β 1 2 3 The paths are e 1, e 2, e 3, α, β and αβ.
Paths A path in a quiver is a sequence of zero or more edges, starting from a given vertex. The product of two path is defined to be the concatenation if this makes sense or zero otherwise. Example α β 1 2 3 e 1 α = α The paths are e 1, e 2, e 3, α, β and αβ.
Paths A path in a quiver is a sequence of zero or more edges, starting from a given vertex. The product of two path is defined to be the concatenation if this makes sense or zero otherwise. Example α β 1 2 3 The paths are e 1, e 2, e 3, α, β and αβ. e 1 α = α α β = αβ
Paths A path in a quiver is a sequence of zero or more edges, starting from a given vertex. The product of two path is defined to be the concatenation if this makes sense or zero otherwise. Example α β 1 2 3 The paths are e 1, e 2, e 3, α, β and αβ. e 1 α = α α β = αβ α e 3 = 0
Path algebra For a quiver Q, the path algebra over a field k, denoted kq, is the vector space with basis all paths. The ring multiplication is then extended linearly from path multiplication.
Path algebra For a quiver Q, the path algebra over a field k, denoted kq, is the vector space with basis all paths. The ring multiplication is then extended linearly from path multiplication. Example Q = α
Path algebra For a quiver Q, the path algebra over a field k, denoted kq, is the vector space with basis all paths. The ring multiplication is then extended linearly from path multiplication. Example Q = α kq = ke 1 kα kα 2
Path algebra For a quiver Q, the path algebra over a field k, denoted kq, is the vector space with basis all paths. The ring multiplication is then extended linearly from path multiplication. Example Q = α kq = ke 1 kα kα 2 = k[x]
Path algebra For a quiver Q, the path algebra over a field k, denoted kq, is the vector space with basis all paths. The ring multiplication is then extended linearly from path multiplication. Example Q = α kq = ke 1 kα kα 2 = k[x] e i is the identity element of kq.
Module A module over a ring generalises the idea of a vector space over a field. M is a module over a ring R if M is an abelian group, there is a map M R M that is compatible with the ring and group operations.
Module A module over a ring generalises the idea of a vector space over a field. M is a module over a ring R if M is an abelian group, there is a map M R M that is compatible with the ring and group operations. Example Z n is a module over Z with the obvious action: (a 0,..., a n )x (a 0 x,..., a n x)
Modules Representations Modules of kq are representations of Q over k.
Modules Representations Modules of kq are representations of Q over k. Given a module M:
Modules Representations Modules of kq are representations of Q over k. Given a module M: For a vertex i, define V i = Me i.
Modules Representations Modules of kq are representations of Q over k. Given a module M: For a vertex i, define V i = Me i. α For an edge i j, define f α to be multiplication by α me i me i α = mαe j Me j
Modules Representations Modules of kq are representations of Q over k. Given a module M: For a vertex i, define V i = Me i. α For an edge i j, define f α to be multiplication by α me i me i α = mαe j Me j Example M α Me 1 Me 2 Me 3 ζ β γ ε δ Me 4 Me 5
Modules Representations Representations of Q over k are modules of kq.
Modules Representations Representations of Q over k are modules of kq. Given a representation (V i, f α ):
Modules Representations Representations of Q over k are modules of kq. Given a representation (V i, f α ): M = V i as an abelian group.
Modules Representations Representations of Q over k are modules of kq. Given a representation (V i, f α ): M = V i as an abelian group. M kq M is extended from the action
Modules Representations Representations of Q over k are modules of kq. Given a representation (V i, f α ): M = V i as an abelian group. M kq M is extended from the action v i e j { vi if i = j 0 otherwise for v i V i
Modules Representations Representations of Q over k are modules of kq. Given a representation (V i, f α ): M = V i as an abelian group. M kq M is extended from the action v i e j v i α { vi if i = j 0 otherwise { α fα (v i ) if i 0 otherwise for v i V i
Modules Representations These associations are inverses of one another. M (Me i, α)
Modules Representations These associations are inverses of one another. M (Me i, α) Me i
Modules Representations These associations are inverses of one another. M (Me i, α) Me i = M e i
Modules Representations These associations are inverses of one another. M (Me i, α) Me i = M e i = M
Modules Representations These associations are inverses of one another. M (Me i, α) Me i = M e i = M (V i, f α ) V i
Modules Representations These associations are inverses of one another. M (Me i, α) Me i = M e i = M (V i, f α ) V i ( ) ( ) jv j ei, f α i,α
Modules Representations These associations are inverses of one another. M (Me i, α) Me i = M e i = M (V i, f α ) V i ( ) ( ) jv j ei, f α = (V i, f α ) i,α
Yay MINGLE!