Lie algebras arising from 1-cyclic perfect complexes (Q2049374)

Let \(A\) be the path algebra of a Dynkin quiver \(Q\) over a finite field, and \(\mathscr{P}\) be the category of projective \(A\)-modules. Denote by \(C^1(\mathscr{P})\) the category of 1-cyclic complexes over \(\mathscr{P}\), and \(\widetilde{\mathfrak{n}}^+\) the vector space spanned by the isomorphism classes of indecomposable and non-acyclic objects in \(C^1(\mathscr{P})\). The authors prove the existence of Hall polynomials in \(C^1(\mathscr{P})\) (Theorem (A)), and then establish a relationship between the Hall numbers for indecomposable objects and those for \(A\)-modules. Using Hall polynomials evaluated at \(1\), the authors define a Lie bracket in \(\widetilde{\mathfrak{n}}^+\) by the commutators of degenerate Hall multiplication (Theorem (B)), providing a broad class of nilpotent Lie algebras. They provide a description of the root systems of different \(\widetilde{\mathfrak{n}}^+\) (Section 7). They characterize the Lie algebras \(\widetilde{\mathfrak{n}}^+\) by generators and relations. When \(Q\) is of type \(\mathbb{A}\), the relations are exactly the defining relations (Theorem (E)).