geometric representation theory
representation, 2-representation, β-representation
Grothendieck group, lambda-ring, symmetric function, formal group
principal bundle, torsor, vector bundle, Atiyah Lie algebroid
Eilenberg-Moore category, algebra over an operad, actegory, crossed module
Be?linson-Bernstein localization?
Gabriel's theorem (Gabriel 72) says that connected quivers with a finite number of indecomposable quiver representations over an algebraically closed field are precisely the Dynkin quivers: those whose underlying undirected graph is a Dynkin diagram in the ADE series.
Moreover, the indecomposable quiver representations in this case are in bijection with the positive roots in the root system of the Dynkin diagram.
In the following we write $\mathbb{K}$ for the given ground field (typically $\mathbb{K} = \mathbb{C}$ the complex numbers, but much of the following works for general fields, eg. $\mathbb{K} = \mathbb{R}$ the real numbers or $\mathbb{K} = \mathbb{F}_p$ a finite field).
Given a quiver $Q$ and a quiver representation $\rho$, we denote for any edge $v \xrightarrow{\;e\;} v'$ in $Q_1$ the corresponding value of $\rho$ by
For $n \in \mathbb{N}_+$ consider the $\mathbb{A}_{n}$-quiver, hence with this underlying undirected graph:
The indecomposable quiver representations of $\mathbb{A}_n$ are labeled by pairs $a,b \in \mathbb{N}^2$ with $1 \leq a \lt b \leq n$ and are given as follows (see also Carlsson & de Silva 2010, reviewed in Oudot 15, p. 17):
for any given orientation of the edges.
So for instance if the quiver is the linear $\mathbb{A}_n$-quiver
then its indecomposable representations are of this form:
Example is of key relevance in the discussion of persistent homology (notably in topological data analysis): Here an $\mathbb{A}_n$-quiver representation is called a zig-zag persistence module and the statement of Ex. is interpreted as saying that every persistence module is spanned by elements which
appear at some resolution $a$,
persist across a range $b - a$,
disappear at some resolution $b$.
The multiset of these pairs $(a,b)$ is then called the barcode or persistence diagram of the persistence module.
This relation between quiver representation theory and persistent homolology was originally highlighted by Carlsson & de Silva 2010.
The result is due to
Lecture notes:
See also:
Re-proof of Gabrielβs theorem in the case of A-type quivers and relation to persistent homology:
reviewed in:
$[$ISBN:978-1-4704-3443-4, pdf$]$
Last revised on May 20, 2022 at 03:09:05. See the history of this page for a list of all contributions to it.