quiver representations and representation morphisms


Let Q=(Q0,Q1,s,t) be a quiver, i.e. Q0 is a set of vertices, Q1 is a set of arrows and s,t:Q1Q0 are functions such that s maps each arrow to its source and t maps each arrow to its target.

A representationPlanetmathPlanetmath 𝕍 of Q over a field k is a family of vector spacesMathworldPlanetmath {Vi}iQ0 over k together with a family of k-linear maps {fa:Vs(a)Vt(a)}aQ1.

A morphism F:𝕍𝕎 between representations 𝕍=(Vi,ga) and 𝕎=(Wi,ha) is a family of k-linear maps {Fi:ViWi}iQ0 such that for each arrow aQ1 the following relation holds:

Ft(a)ga=haFs(a).

Obviously we can compose morphisms of representations and in this the case class of all representations and representation morphisms together with the standard composition is a category. This category is abelianMathworldPlanetmathPlanetmath.

It can be shown that for each finite quiver Q (i.e. with Q0 finite) and field k there exists an algebraPlanetmathPlanetmath A over k such that the category of representations of Q is equivalent to the category of modules over A.

A representation 𝕍 of Q is called trivial iff Vi=0 for each vertex iQ0.

A representation 𝕍 of Q is called locally finite-dimensional iff dimkVi< for each vertex iQ0 and finite-dimensional iff 𝕍 is locally finite-dimensional and Vi=0 for almost all vertices iQ0.

Title quiver representations and representation morphisms
Canonical name QuiverRepresentationsAndRepresentationMorphisms
Date of creation 2013-03-22 19:16:15
Last modified on 2013-03-22 19:16:15
Owner joking (16130)
Last modified by joking (16130)
Numerical id 5
Author joking (16130)
Entry type Definition
Classification msc 14L24