In mathematics, a quiver is a directed graph where loops and multiple arrows between two vertices are allowed, i.e. a multidigraph. They are commonly used in representation theory: a representation V of a quiver assigns a vector space V(x) to each vertex x of the quiver and a linear map V(a) to each arrow a.
Contents
- Definition
- Category theoretic definition
- Path algebra
- Representations of quivers
- Quiver Variety
- Gabriels theorem
- References
In category theory, a quiver can be understood to be an underlying structure of a category, but without identity morphisms and composition. That is, there is a forgetful functor from Cat to Quiv. Its left adjoint is a free functor which, from a quiver, makes the corresponding free category.
Definition
A quiver Γ consists of:
This definition is identical to that of a multidigraph.
A morphism of quivers is defined as follows. If
and
Category-theoretic definition
The above definition is based in set theory; the category-theoretic definition generalizes this into a functor from the free quiver to the category of sets.
The free quiver (also called the walking quiver, Kronecker quiver, 2-Kronecker quiver or Kronecker category) Q is a category with two objects, and four morphisms: The objects are V and E. The four morphisms are s: E → V, t: E → V, and the identity morphisms idV: V → V and idE: E → E. That is, the free quiver is
A quiver is then a functor Γ: Q → Set.
More generally, a quiver in a category C is a functor Γ: Q → C. The category Quiv(C) of quivers in C is the functor category where:
Note that Quiv is the category of presheaves on the opposite category Qop.
Path algebra
If Γ is a quiver, then a path in Γ is a sequence of arrows an an−1 ... a3 a2 a1 such that the head of ai+1 = tail of ai, using the convention of concatenating paths from right to left.
If K is a field then the quiver algebra or path algebra KΓ is defined as a vector space having all the paths (of length ≥ 0) in the quiver as basis (including, for each vertex i of the quiver Γ, a trivial path
If the quiver has finitely many vertices and arrows, and the end vertex and starting vertex of any path are always distinct (i.e. Q has no oriented cycles), then KΓ is a finite-dimensional hereditary algebra over K and conversely any such finite-dimensional hereditary algebra over K is isomorphic to the path algebra over its Ext quiver
Representations of quivers
A representation of a quiver Q is an association of an R-module to each vertex of Q, and a morphism between each module for each arrow.
A representation V of a quiver Q is said to be trivial if V(x) = 0 for all vertices x in Q.
A morphism, f: V → V′, between representations of the quiver Q, is a collection of linear maps
If V and W are representations of a quiver Q, then the direct sum of these representations,
A representation is said to be decomposable if it is isomorphic to the direct sum of non-zero representations.
A categorical definition of a quiver representation can also be given. The quiver itself can be considered a category, where the vertices are objects and paths are morphisms. Then a representation of Q is just a covariant functor from this category to the category of finite dimensional vector spaces. Morphisms of representations of Q are precisely natural transformations between the corresponding functors.
For a finite quiver Γ (a quiver with finitely many vertices and edges), let KΓ be its path algebra. Let ei denote the trivial path at vertex i. Then we can associate to the vertex i the projective KΓ-module KΓei consisting of linear combinations of paths which have starting vertex i. This corresponds to the representation of Γ obtained by putting a copy of K at each vertex which lies on a path starting at i and 0 on each other vertex. To each edge joining two copies of K we associate the identity map.
Quiver Variety
Given the dimensions of the vector spaces assigned to every vertex, one can form a variety which characterizes all representations of that quiver with those specified dimensions, and consider stability conditions. These give quiver varieties, as constructed by King (1994).
Gabriel's theorem
A quiver is of finite type if it has only finitely many isomorphism classes of indecomposable representations. Gabriel (1972) classified all quivers of finite type, and also their indecomposable representations. More precisely, Gabriel's theorem states that:
- A (connected) quiver is of finite type if and only if its underlying graph (when the directions of the arrows are ignored) is one of the ADE Dynkin diagrams:
A n D n E 6 E 7 E 8 - The indecomposable representations are in a one-to-one correspondence with the positive roots of the root system of the Dynkin diagram.
Dlab & Ringel (1973) found a generalization of Gabriel's theorem in which all Dynkin diagrams of finite dimensional semisimple Lie algebras occur.