= Solution
A vertex $i$ of a <quiver> is a <sink of a quiver>[sink] when no arrow starts at $i$. A <representation of a quiver> assigns a vector space $V_j$ to every vertex and a linear map $V_a:V_j\to V_\ell$ to every arrow $a:j\to\ell$. A morphism $f:V\to W$ is a family of linear maps $f_j:V_j\to W_j$ such that $f_\ell V_a=W_af_j$ for every arrow. The quiver has <finite representation type of a quiver>[finite representation type] when it has only finitely many isomorphism classes of indecomposable finite-dimensional representations.
At a sink $i$, the <Bernstein–Gelfand–Ponomarev reflection functor> replaces
$$
V_i\quad\text{by}\quad
\ker\left(\bigoplus_{a:j\to i}V_j\longrightarrow V_i\right)
$$
and reverses the arrows ending at $i$; the new arrow maps are the kernel inclusion followed by the coordinate projections. Every representation is a direct sum of copies of the simple representation $S_i$ and a representation for which the displayed incoming map is surjective. On the latter representations, reflection at the resulting source, using the corresponding cokernel, is inverse up to natural isomorphism. Thus reflection gives a bijection between indecomposable representations other than $S_i$ on the two sides. Adding the one omitted simple representation on each side proves that reversing all arrows into a sink preserves finite representation type.
For the four-arrow star $Q_1$, take $V_1=\cdots=V_4=k$, $V_5=k^2$, and let the four arrows have images
$$
k(1,0),\quad k(0,1),\quad k(1,1),\quad k(1,\lambda),
\qquad \lambda\in k\setminus\{0,1\}.
$$
An endomorphism must preserve the first two lines, so its map on $V_5$ is diagonal. Preserving the third forces its diagonal entries to agree, and then all vertex maps are multiplication by that same scalar. The endomorphism ring is therefore $k$, so this representation is a <brick module> and hence indecomposable. Any isomorphism between parameters preserves the first three labelled lines; the induced <projective linear transformation> is therefore the identity, and the fourth line gives $\lambda=\mu$. Since $k$ is infinite, this is an infinite family of pairwise nonisomorphic indecomposables. Hence $Q_1$ is not of finite representation type. Repeatedly applying the reflection result to sinks or, dually, to sources shows that every orientation obtained by reversing some of its arrows also has infinite representation type.
Back to article page
