8
$\begingroup$

Originally posted here on Mathematics Stack Exchange.

Let $Q$ be a quiver with vertex set $\{1, 2, \ldots, n\}$ such that $Q$ has a single edge $i \to i + 1$, for every $i = 1, 2, \ldots, n - 1$, one edge $n \to 1$, and no other edges. In other words, $Q$ is a cyclic quiver with $n > 1$ vertices. I am looking for a proof or a precise reference for the following.

  1. The construction of an irrep of $\mathbb{C}Q$ of (total) dimension $> 1$.
  2. The classification of all finite dimensional irreps of $\mathbb{C}Q$ up to isomorphism.

Thanks in advance!

$\endgroup$

1 Answer 1

9
$\begingroup$

Every irreducible finite-dimensional representation is either $1$-dimensional (and there are exactly $n$ of them, corresponding to the vertices) or $n$-dimensional and they can be indexed by non-zero, complex numbers.

Proof: Let $V$ be an irreducible representation, $V=\bigoplus_{i\in\mathbb{Z}/n} V_i$ its standard decomposition given by the vertices and $f_i : V_i\to V_{i+1}$ the linear maps given by the edges. Let $L:=f_{n-1}\ldots f_1 f_0$ be the endomorphism of $V_0$ given by the closed loop in the quiver. If $V$ is finite-dimensional, then there is a eigenvector $v_0$ of $L$ for the eigenvalue $\lambda$ (we can assume that there are eigenvectors at all by assuming $V_0\neq 0$ wlog). Define $v_1:=f_0(v_0), v_2:=f_1(v_1), \ldots, v_{n-1}:=f_{n-2}(v_{n-2})$.

If $\lambda=0$, then $f_i(v_i)=0$ for some $i$ and $\mathbb{C} v_i$ is a one-dimensional submodule. By simplicity it is the whole of $V$ and we're in the first case.

If $\lambda\neq 0$, then all $v_i$ are nonzero and $\sum_i \mathbb{C}v_i$ is a submodule. By simplicity it is all of $V$, $\{v_i\}$ is a basis and one can easily write down all matrices of the edge elements w.r.t. this basis. Therefore this is a complete set of pairwise non-isomorphic irreducibles.


In fact it should be possible to describe all finite-dimensional modules in terms of a Jordan normal form of $L$. More abstractly there should be something close to a Morita equivalence between the quiver algebra $\mathbb{C}Q$ and $e_0 \mathbb{C}Q e_0$ which is just the polynomial ring $\mathbb{C}[L]$. Note that the irreducible finite-dimensional representations of $\mathbb{C}[L]$ are parametrized by complex numbers. There seems to be some sort of geometry here lurking in the background where $Irr(\mathbb{C}[L])$ is just the affine line and $Irr(\mathbb{C}Q)$ is the affine line with $n$-fold origin. Maybe some algebraic geometer can shed some light on this observation.

$\endgroup$
2
  • $\begingroup$ Nice! Though the classification of arbitrary finite-dimensional $\mathbb CQ$-modules might get a bit tricky. For example, you can deform a direct sum of $1$-dimensional simples (one for each vertex) plus a full cycle (for some nonzero $\lambda \in \mathbb C$) by letting the arrows of the cycle "trickle down" into the simples. There is probably an equivalence between the representations of $\mathbb{C} Q$ on which $L$ acts bijectively, and the representations of $\mathbb{C}\left[L\right]$ on which $L$ acts bijectively. $\endgroup$ Commented Sep 19, 2016 at 21:04
  • 3
    $\begingroup$ A classification of indecomposable finite dimensional $\mathbb CQ$-modules as well as a proof that the category has AR-sequences is given in Smalø: Almost split sequences in categories of representations of quivers, Proc. Amer. Math. Soc. 129 (2001), 695-698. $\endgroup$ Commented Sep 19, 2016 at 21:08

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .