Representation Theory of Quivers

• Representation Theory of Quivers is the study of finite oriented graphs where vertices are assigned vector spaces and arrows are modeled by linear maps to investigate module categories over path algebras.
• The framework classifies representations into finite, tame, and wild types based on the combinatorics of indecomposable modules and the geometry of quiver Grassmannians.
• Advanced methods including full quivers, species, and Auslander–Reiten theory extend these concepts to applications in algebraic geometry, homotopy theory, and theoretical physics.

A quiver is a finite oriented graph, specified by a set $Q_0$ of vertices and a set $Q_1$ of arrows, and serves as the combinatorial backbone for the representation theory of finite-dimensional algebras. The category of quiver representations—objects assigning vector spaces to vertices and linear maps to arrows—plays a central role in the classification and study of module categories over path algebras and their generalizations.

1. Fundamental Aspects of Quiver Representations

A representation of a quiver $Q = (Q_0, Q_1)$ over a field $k$ consists of the assignment of finite-dimensional $k$-vector spaces $M_p$ to each vertex $p \in Q_0$ and linear maps $M_v : M_{s(v)} \to M_{t(v)}$ to each arrow $v \in Q_1$. The dimension vector of a representation $M$ is defined as $$\dim M = ( \dim_k M_p )_{p \in Q_0 } \in \mathbb{N}^{Q_0}$$.

The path algebra $kQ$ encodes the quiver's combinatorics: its basis consists of all (possibly trivial) oriented paths in $Q$, and multiplication is given by path concatenation. For acyclic $Q$, $kQ$ is finite-dimensional. Representations of $Q$ correspond to left modules over $kQ$.

The central classification problem is to describe, up to isomorphism, the indecomposable representations of $Q$ (i.e., those not admitting a nontrivial direct-sum decomposition). This problem is controlled by the underlying graph type and leads to the notions of representation-finite, tame, and wild types.

2. Classification by Representation Type

Quivers are classified into three primary representation types according to the complexity of their indecomposable representations (Lorscheid et al., 2017):

Type	Indecomposables	Underlying Graph
Finite	Finitely many (up to isomorphism)	Disjoint union of Dynkin (ADE) diagrams
Tame	Infinitely many, in finitely many 1-parameter families in each dimension	Disjoint union of extended Dynkin (affine ADE) diagrams
Wild	No classification: their module categories encompass those of the free algebra in two variables (i.e., full complexity)	Anything not finite or tame

Quiver $Q$ is of finite type if and only if its underlying graph is a disjoint union of ADE Dynkin diagrams. All indecomposable representations are classified by positive roots of the corresponding root systems; this is Gabriel’s theorem (Lemay, 2011, Ringel, 2016, Gallup et al., 2023). In the tame case (affine Dynkin), indecomposables fall into three families: preprojective, regular (organized in tubes), and preinjective modules, with regulars parametrized by a one-parameter family in each dimension.

For wild quivers, the representation theory is as complex as can be constructed in the category of finite-dimensional algebras—there is no reasonable classification.

3. Quiver Grassmannians and Geometric Characterization

The geometry of quiver Grassmannians provides a powerful lens on the representation type of a quiver. Given a representation $M$ of $Q$ and a dimension vector $e$, the quiver Grassmannian $\operatorname{Gr}_e(M)$ parametrizes subrepresentations $N \subset M$ with $\dim N = e$. These varieties encode subtle aspects of the module category and are closely linked to cluster algebras.

The results of (Lorscheid et al., 2017) establish that:

• Finite type: For every indecomposable $M$ and every dimension vector $e$, $\operatorname{Gr}_e(M)$ is smooth and admits a cell decomposition into affine spaces.
• Tame type: For every indecomposable $M$ and every $e$, $\operatorname{Gr}_e(M)$ admits a cell decomposition, but there exists $(M',e')$ with $\operatorname{Gr}_{e'}(M')$ singular.
• Wild type: For every integer $k$, there is $M$ and $e$ with Euler characteristic $\chi(\operatorname{Gr}_e(M)) = k$; in particular, the occurrence of negative Euler characteristics characterizes wildness.

This geometric perspective supplies a test for representation type using topological and singularity-theoretic invariants of moduli spaces associated to quiver representations.

4. Generic Modules and Parameter Varieties

The variety $\operatorname{Rep}(Q, d)$ parametrizes $kQ$-modules (up to a group action) of fixed dimension vector $d$. Irreducible components of these varieties correspond to families of representations with shared generic properties.

The formalism in (Babson et al., 2014) yields, for each irreducible component $\mathcal{C} \subseteq \operatorname{Rep}(Q, d)$, a generic module $G \in \mathcal{C}$ which realizes all categorical, field-independent, $\mathcal{C}$-generic properties. Existence and uniqueness (up to Galois action) is established under mild field assumptions. The construction uses skeleta (combining radical layerings with path combinatorics) and explicit affine charts, making it effective for both hereditary and wild cases (notably for truncated path algebras).

For truncated path algebras, each radical layering yields a unique skeleton, and the corresponding Grassmannian is an explicit smooth rational variety; generic modules can be computed directly.

5. Advanced Structures: Full Quivers, Species, and Coxeter Quivers

Beyond purely ordinary quivers, several extensions generalize the kind of combinatorics and field interactions involved:

• Full quivers: Developed in (Belov-Kanel et al., 2011), full quivers incorporate not just the underlying graph but all block-gluing data arising from base field extensions and automorphisms. This includes Frobenius (diagonal) and proportional Frobenius (off-diagonal) gluings, essential over non-algebraically closed fields, capturing all PI-identities of representable algebras.
• Species: As detailed in (Lemay, 2011), species associate division algebras and bimodules to vertices and arrows, respectively, matching non-symmetric Cartan data and yielding valued quiver modulations. The Dlab–Ringel theorem extends the Gabriel classification to species, with representation type determined by the associated valued graph.
• Coxeter quivers and fusion categories: (Heng, 2023) generalizes quivers to graphs with weighted (Coxeter) edges and representations taken in categories such as Temperley–Lieb–Jones categories at roots of unity, yielding new types such as $H$ and $I$ in addition to the crystallographic types. Induced fusion rings encode root-theoretic invariants and reflection/categorical symmetries beyond the classical theory.

6. Auslander–Reiten Theory and Infinite Quivers

The structure of indecomposables and their morphisms is further elucidated by Auslander–Reiten (AR) theory, which organizes the module category into components connected by irreducible maps and AR sequences/triangles (Bautista et al., 2011, Gallup et al., 2023). For infinite quivers, the notion of FLEI (finite-locally-eventually-isomorphic) modules, unique decomposition, and classification by the infinite ADE types, have been rigorously characterized (Gallup et al., 2023). Reflection functors extend to infinite settings, and a fully Krull–Schmidt structure can be maintained under the right combinatorial constraints.

7. Connections to Geometry, Homotopy, and Physics

The fabric of quiver representation theory interfaces intimately with algebraic geometry (via quiver Grassmannians and moduli), stable homotopy theory (as in spectral or derived Picard groups and reflection/Coxeter/Serre functors (Groth et al., 2014, Sánchez, 4 Nov 2025)), and theoretical physics (quiver descriptions of BPS spectra and topological string theory via Donaldson–Thomas invariants (Panfil et al., 2018)).

Frobenius–Perron theory provides a new categorical invariant for (derived) tensor categories of representations, offering a numerical trichotomy coincident with the classical finite/tame/wild landscape (Zhang et al., 2020). On the other hand, spectral methods and mesh categories yield a uniform abstract representation theory across rings, schemes, and spectral settings, with full compatibility with classical constructions (Sánchez, 4 Nov 2025).

8. Advanced Topics and Open Directions

Recent developments include the study of expander representations as a refinement of stability and as markers of wildness (Reineke, 2024), moduli space wall-crossing via birational geometry (Fei, 2010), and generalizations to categories of thread quivers (arrows replaced by ordered sets) and their induced hereditary abelian subcategories (Paquette et al., 2024). Generic modules in large wild families, AR-theory for graded or locally finite quivers, and the full geometric and combinatorial realization of classification theorems for infinite or enriched quiver types remain active research frontiers.

---

References:

• (Lorscheid et al., 2017): Characterization of representation type via quiver Grassmannians and their Euler characteristics.
• (Babson et al., 2014): Generic modules and geometric parameter spaces in quiver with relations.
• (Belov-Kanel et al., 2011): Full quivers and combinatorial invariants of representations including gluing for non-closed fields.
• (Groth et al., 2014): Spectral and homotopical representation theory for type A quivers.
• (Gallup et al., 2023): Gabriel's theorem for infinite quivers and infinite ADE types.
• (Ringel, 2016): Detailed structure and case-by-case analysis for all Dynkin (ADE) quivers.
• (Lemay, 2011): Species and valued quivers; finite/tame type characterization.
• (Heng, 2023): Coxeter quivers in fusion categories and generalization of Gabriel's theorem.
• (Reineke, 2024): Expander representations and wildness.
• (Zhang et al., 2020): Frobenius–Perron theory and categorical invariants.
• (Panfil et al., 2018): Quiver representations in string theory/BPS/GW invariants.
• (Pike, 2014): Quivers and Lie theory, wild types, and weight-restricted tame/finite subcategories.
• (Fei, 2010): Birational geometry and wall-crossing for moduli of quiver representations.
• (Paquette et al., 2024): Thread quivers, hereditary abelian subcategories, and infinite combinatorics.
• (Lin et al., 2024): Graded module theory and AR-theory for locally finite quivers.