Generalized Serre relations for Lie algebras associated with positive unit forms (Q995595): Difference between revisions

Any unit (integral quadratic) form \(q\), has an associated symmetric quasi-Cartan matrix \(A(q)\), that is, a squared integer matrix, symmetrizable and with diagonal entries equal \(2\) (so, if the off-diagonal entries of \(A(q)\) are non-positive, we have a (generalized) Cartan matrix). Using \(A(q)\), the authors define a Lie algebra \(\mathfrak{g}_4(q)\) as a free algebra modulo the usual Serre relations. In case \(q\) be positive definite and \(A(q)\) a Cartan matrix, following [\textit{J.-P. Serre}, Complex semisimple Lie algebras. New York, etc.: Springer-Verlag (1987; Zbl 0628.17003)], we have that \(\mathfrak{g}_4(q)\) is a finite-dimensional semisimple Lie algebra. Taking into account that any positive definite unit form \(q\) is equivalent to a unit form \(q_\Delta\) for which \(A(q_\Delta)\) is a Cartan matrix, in the paper, the authors find an explicit and finite set of relations in terms of \(A(q)\) which define a Lie algebra isomorphic to \(\mathfrak{g}_4(q_\Delta )\). This set of relations includes the usual Serre relations from \(A(q)\) and some other relations depending on the set of chordless cycles in \(q\).