Lie algebras with triality

DOI10.1016/S0021-8693(03)00162-5MaRDI QIDQ1406768zbMATH OpenWikidataFDO

Publication date 7 September 2003

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0511177

finite-dimensional Malcev algebras functors

Identities, free Lie (super)algebras (17B01) Automorphisms, derivations, other operators for Lie algebras and super algebras (17B40)

Abstract: By analogy with the definition of group with triality we introduce Lie algebra with triality as Lie algebra L wich admits the group of automorphisms S_3={s,r | s^2=r^3=1, srs=r^2} such that for any xin L we have (x^s-x)+(x^s-x)^r+(x^s-x)^(r^2)=0. We describe the structure of finite dimensional Lie algebra with triality over a field of characteristic 0 and give applications of Lie algebras with triality to the theory of Malcev algebras.

Review text

The author introduces the notion of a Lie algebra with triality in analogy with the notion of a group with triality defined by \textit{S. Doro} [Math. Proc. Camb. Philos. Soc. 83, 377-392 (1978; Zbl 0381.20054)]. A Lie algebra \(L\) over a field of characteristic not 2 or 3 is said to have triality if the dihedral group \(S_3\) generated by \(\sigma,\rho\) with \(\sigma^2= \rho^3= \text{id}\) and \(\sigma\rho \sigma=\sigma^2\) acts by automorphisms on \(L\) such that \((x^\sigma-x) +(x^\sigma- x)^\rho+ (x^\sigma-x)^{\rho^2} =0\) for \(x\) in \(L\). The simple Lie algebra \(D_4\) has triality as well as a Lie algebra of an algebraic or Lie group with triality. For any Lie algebra \(L\), the Lie algebra \(T(L)=L_1 \oplus L_2\oplus L_3\), where \(L_1\), \(L_2\) and \(L_3\) are isomorphic to \(L\) has triality where \(\sigma\) interchanges \(L_1\) and \(L_2\) and fixes \(L_3\), while \(\rho\) acts cyclicly. A Lie algebra with triality is called standard if it is isomorphic to some \(T(L)\) or its invariant subalgebra. A main theorem of the paper says that a perfect finite-dimensional Lie algebra over an algebraically closed field of characteristic zero which has triality is an extension of a Lie algebra with triality of type \(D_4\) by a standard Lie algebra with triality. The condition for a Lie algebra \(L\) to have triality is shown to be equivalent to \(L=L_0\oplus L_2\), where \(L_0\) is the \(S_3\)-invariants, and \(L_2\) is a sum of irreducible 2-dimensional \(S_3\)-modules. After a digression studying a generalization of this situation to a variety of algebras, this study is applied to Lie algebras with triality. The result is the construction of two functors, one from Lie algebras with triality to a certain category \(T\) of graded algebras, and the other from \(T\) to Malcev algebras. These functors enable one to obtain the main results about finite-dimensional Malcev algebras over fields of characteristic zero as corollaries of analogous results about Lie algebras. The paper finishes by applying deep results about Malcev algebras to Lie algebras with triality. In particular, he proves that a simple Lie algebra (not necessarily finite-dimensional) with triality is of type \(D_4\).

Recommendations

Cites work

Cited in

(19)

This page was built for publication: Lie algebras with triality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1406768)