On complexity of representations of quivers (Q2280085)

The author studies absolutely indecomposable representations of quivers. Let \(Q=(Q_0, Q_1)\) be a quiver without loops, \(\mathbb{F}_q\) be a field of \(q\) elements and \(M=(M_i, M_\alpha)_{i\in Q_0, \alpha\in Q_1}\) be a representation of the quiver \(Q\) over a field \(\mathbb{F}_q\). The author shows that the representation \(M\) is absolutely indecomposable (i.e., it is indecomposable over the algebraic closure \(\overline{\mathbb{F}_q}\) of the field \(\mathbb{F}_q\)) if and only if any \(f\in\mathrm{End}(M)\) is quasi-nilpotent (i.e., all its eigenvalues are equal) in \(\mathrm{End}_{\mathbb{F}_q}(N)\), where \(N=\oplus_{i\in Q_0} M_i\). Let \(A\) be an associative algebra and \(A_{-}\) be the Lie algebra obtained from \(A\) by taking the bracket \([a, b]=ab-ba\). He also shows that \(\mathrm{End}(M)\) is a quasi-nilpotent subalgebra (i.e., it consists of quasi-nilpotent elements) of \(\mathrm{End}_{\mathbb{F}_q}(N)\) if and only if the Lie algebra \(\mathrm{End}(M)_{-}\) is nilpotent and \(\mathrm{End}(M)\) has a basis of quasi-nilpotent endomorphisms. By using this results, the author gives a polynomial-time algorithm for determining whether a representation \(M=(M_i, M_\alpha)_{i\in Q_0, \alpha\in Q_1}\) of a quiver \(Q=(Q_0, Q_1)\) over a field \(\mathbb{F}_q\) is absolutely indecomposable or not. Finally, he states a generalized version of the absolutely indecomposable problem and gives a few conjectures concerning this problem.