nLab
quiver

Contents

Idea

A quiver is a collection of edges which may stretch between (ordered) pairs of “points”, called vertices.

A quiver is like a category with units and composition forgotten. Indeed, a category is a quiver with extra structure. To formalize this idea, we say there is a forgetful functor

U:CatQuivU\colon Cat \to Quiv

where Quiv is the category of quivers and Cat is the category of (small strict) categories. Moreover, this forgetful functor has a left adjoint

F:QuivCatF\colon Quiv \to Cat

sending each quiver to the free category on that quiver.

A quiver is a kind of graph and is often called a directed graph (or digraph) by category theorists. However, in the context of graph theory, the term “directed graph” is often taken to mean that there is at most one edge from one vertex to another. See directed graph.

Definitions

Slick definition

The walking quiver X is the category with

  • one object X 0, called the object of vertices;

  • one object X 1, called the object of edges;

  • two morphisms s,t:X 1X 0, called the source and target;

  • together with identity morphisms.

A quiver is a functor G:X Set.

More generally, a quiver in a category C is a functor G:XC.

The category of quivers in C, Quiv(C), is the functor category C X, where:

In the basic case C=Set, we call this category the category of presheaves on X op. So: the category of quivers, Quiv, is the category of presheaves on the category X op.

Nuts-and-bolts definitions

A quiver G consists of two sets E (the set of edges of G), V (the set of vertices of G) and two functions

s,t:EVs, t\colon E \stackrel{\to}{\to} V

(the source and target functions). More generally, a quiver internal to a category (more simply, in a category) C consists of two objects E, V and two morphisms s,t:EV.

If G=(E,V,s,t) and G=(E,V,s,t) are two quivers in a category C, a morphism g:GG is a pair of morphisms g 0:VV, g 1:EE such that sg 1=g 0s and tg 1=g 0t.

In graph theory, a quiver may be called a directed pseudograph (or some variation on that theme), but category theorists often just call them directed graphs.

Remarks

Let G 0=G(X 0) and G 1=G(X 1).

  • A quiver in C is a presheaf on X op with values in C.

  • A quiver is a globular set which is concentrated in the first two degrees.

  • Quivers in the sense here include graphs with distinct edges e,eG 1 such that s(e)=s(e) and t(e)=t(e), as well as loops, i.e. edges with s(e)=t(e).

  • A quiver is complete? if for any pair of vertices v,vG 0, there exists a unique directed edge eG 1 with s(e)=v,t(e)=v.

Terminology

Saying quiver instead of directed (multi)graph indicates focus on a certain set of operation intended on that graph. Notably there is the notion of a quiver representation.

Now, one sees that a representation of a graph G in the sense of quiver representation is nothing but a functor ρ:Q:=F(G)Vect from the free category F(G) on the quiver G:

Given a graph G with collection of vertices G 0 and collection of edges G 1, there is the free category F(G) on the graph whose collection of objects coincides with the collection of vertices, and whose collection of morphisms consists of finite sequences of edges in G that fit together head-to-tail (also known as paths). The composition operation in this free category is the concatenation of sequences of edges.

Here we are taking advantage of the adjunction between Cat (the category of small categories) and Quiv (the category of directed graphs). Namely, any category has an underlying directed graph:

U:CatQuivU\colon Cat \to Quiv

and the left adjoint of this functor gives the free category on a directed graph:

F:QuivCatF\colon Quiv\to Cat

Since this is the central operation on quivers that justifies their distinction from the plain concept of directed graph, we may adopt here the point of view that quiver is synonymous with free category.

So a representation of a quiver Q=F(G) is a functor

R:QVectR\colon Q \to Vect

Concretely, such a thing assigns a vector space to each vertex of the graph G, and a linear operator to each edge. Representations of quivers are fascinating things, with connections to ADE theory, quantum groups, string theory, and more.

Properties

Relation to free categories

It may be handy to identify a quiver with its free category. This can be justified in the sense that the functor F:QuivCat is an embedding (k-surjective for all k>0) on the cores. In other words, isomorphisms between quivers may be identified with equivalences between free categories with no ambiguity.

However, at the level of noninvertible morphisms, this doesn't work; while U is faithful, it is not full. In other words, there are many functors between free categories that are not morphisms of quivers.

Nevertheless, if we fix a quiver G and a category D, then a representation of G in D is precisely a functor from F(G) to D (or equivalently a quiver morphism from G to U(D)), and we may well want to think of this as being a morphism (a heteromorphism?) from G to D. As long as D is not itself a free category, this is unlikely to cause confusion.

Relation to representation theory of algebras

For Q a quiver, write kQ for the path algebra of Q over a ground field k. That is, kQ is an algebra with k-basis given by finite composable sequences of arrows in Q, including a “lazy path” of length zero at each vertex. The product of two paths composable paths is their composite, and the product of non-composable paths is zero.

A module over kQ is the same thing as a representation of Q, so the theory of representations of quivers can be viewed within the broader context of representation theory of (associative) algebras.

If Q is acyclic, then kQ is finite-dimensional as a vector space, so in studying representations of Q, we are really studying representations of a finite dimensional algebra, for which many interesting tools exist (Auslander-Reiten theory, tilting, etc.).

Classification

Gabriel's theorem says that connected quivers of finite type are precisely those whose underlying undirected graph is a Dynkin diagram? in the ADE series, and that the indecomposable quiver representations are in bijection with the positive roots in the root system of the Dynkin diagram. (Gabriel 72).

References

Some general-purpose references include

  • Harm Derksen and Jerzy Weyman, Quiver representations AMS Notices, 2005.

  • William Crawley-Boevy, Lectures on quiver representations (pdf).

  • Alistair Savage, Finite-dimensional algebras and quivers (arXiv:math/0505082), Encyclopedia of Mathematical Physics, eds. J.-P. Françoise, G.L. Naber and Tsou S.T., Oxford, Elsevier, 2006, volume 2, pp. 313-320.

Classification results for quivers appeared in

  • Peter Gabriel, Unzerlegbare Darstellungen. I, Manuscripta Mathematica 6: 71–103, (1972)

Revised on April 25, 2013 13:03:23 by Urs Schreiber (82.169.65.155)