Gabriel's Theorem and Representation Type

Gabriel's theorem classifies quivers of finite representation type, establishing a beautiful connection to Dynkin diagrams.

DefinitionRepresentation Type

A quiver $Q$ is of:

Finite type: Finitely many indecomposable representations (up to isomorphism)
Tame type: Indecomposables occur in one-parameter families
Wild type: Classification is impossible (contains representation problems for all algebras)

TheoremGabriel's Theorem

A connected quiver $Q$ (without oriented cycles) has finite representation type if and only if its underlying undirected graph is a Dynkin diagram of type $A_n$ , $D_n$ , $E_6$ , $E_7$ , or $E_8$ .

Moreover, there is a bijection between:

Indecomposable representations of $Q$
Positive roots of the corresponding root system

ExampleQuiver of Type $A_3$

For $Q = 1 \to 2 \to 3$ , the indecomposable representations correspond to positive roots of $A_3$ :

Simple roots $\alpha_1, \alpha_2, \alpha_3$ :

$S_1 = (\mathbb{F}, 0, 0)$ : simple at vertex 1
$S_2 = (0, \mathbb{F}, 0)$ : simple at vertex 2
$S_3 = (0, 0, \mathbb{F})$ : simple at vertex 3

Composite roots $\alpha_1 + \alpha_2$ , $\alpha_2 + \alpha_3$ , $\alpha_1 + \alpha_2 + \alpha_3$ :

$(\mathbb{F}, \mathbb{F}, 0)$ : path through vertices 1, 2
$(0, \mathbb{F}, \mathbb{F})$ : path through vertices 2, 3
$(\mathbb{F}, \mathbb{F}, \mathbb{F})$ : path through all vertices

Total: 6 indecomposables, matching $|Φ^+|=3$ for $A_3$ .

Wait, $A_3$ has 3 positive roots, not 6. Let me reconsider. For $A_n$ , there are $\binom{n+1}{2}$ positive roots. For $A_3$ : $\binom{4}{2} = 6$ ✓

DefinitionExtended Dynkin Diagrams

Quivers whose underlying graph is an extended Dynkin diagram $\tilde{A}_n, \tilde{D}_n, \tilde{E}_6, \tilde{E}_7, \tilde{E}_8$ are of tame type:

Infinitely many indecomposables
Organized into one-parameter families
Classification is still manageable

All other quivers are of wild type: classification is hopeless (as hard as classifying all finitely generated modules over any finite-dimensional algebra).

Remark

Gabriel's theorem reveals deep connections:

Lie theory: Quiver representations encode root systems and Kac-Moody algebras
Algebraic geometry: Moduli spaces of quiver representations (quiver varieties)
Cluster algebras: Mutation of quivers generates cluster algebras
Physics: Quivers model gauge theories and string theory (D-branes)

The theorem shows that representation theory of quivers is intimately connected to:

Simple Lie algebras (finite type)
Affine Lie algebras (tame type)
Kac-Moody algebras (wild type involving negative Cartan entries)

This classification problem showcases how algebraic structures naturally organize into ADE hierarchies.