TH`ESE A NEW INVARIANT OF QUADRATIC LIE ALGEBRAS AND ...
TH`ESE A NEW INVARIANT OF QUADRATIC LIE ALGEBRAS AND ...
TH`ESE A NEW INVARIANT OF QUADRATIC LIE ALGEBRAS AND ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
4.4. Symmetric Novikov algebras<br />
symmetric Novikov algebra of dimension 6 up to isomorphisms. However, there exist noncommutative<br />
symmetric Novikov algebras that are not 2-step nilpotent [AB10]. For example,<br />
⊥<br />
let N = g6 ⊕ Cc where g6 is the 6-dimensional elementary quadratic Lie algebra in Proposition<br />
2.2.29 and Cc is a pseudo-Euclidean simple Jordan algebra with the bilinear form Bc(c,c) = 1<br />
(obviously, this algebra is a symmetric Novikov algebra and commutative). Then N becomes<br />
a symmetric Novikov algebra with the bilinear form defined by B = Bg6 + Bc where Bg6 is<br />
the bilinear form on g6. We can extend this example for the case N = g ⊥<br />
⊕ J where g is a<br />
2-step nilpotent quadratic Lie algebra and J is a symmetric Jordan-Novikov algebra defined<br />
below. However, these algebras are decomposable. An example in the indecomposable case of<br />
dimension 7 can be found in the last part of this section.<br />
Proposition 4.4.12. Let N be a Novikov algebra. Assume that its product is commutative,<br />
that means xy = yx, for all x,y ∈ N. Then the identities (III) and (IV) of Definition 4.4.1 are<br />
equivalent to the only condition:<br />
(x,y,z) = (xy)z − x(yz) = 0, ∀ x,y,z ∈ N.<br />
That means that N is an associative algebra. Moreover, N is also a Jordan algebra. In this<br />
case, we say that N is a Jordan-Novikov algebra. In addition, if N has a non-degenerate associative<br />
symmetric bilinear form, then we say that N is a symmetric Jordan-Novikov algebra.<br />
Proof. Assume N is a commutative Novikov algebra. By (1) of Proposition 4.4.6, the product<br />
is also associative. Conversely, if one has the condition:<br />
(xy)z − x(yz) = 0, ∀ x,y,z ∈ N<br />
then (III) is zero and (IV) is obtained by (yx)z = y(xz), for all x,y,z ∈ N.<br />
Example 4.4.13. Recall the pseudo-Euclidean Jordan algebra J in Example 4.2.10 spanned by<br />
{x,x1,y1} where the commutative product on J is defined by:<br />
y 2 1 = y1,y1x = x,y1x1 = x1,x 2 = x1.<br />
It is easy to check that this product is also associative. Therefore, J is a symmetric Jordan-<br />
Novikov algebra with the bilinear form B defined by B(x1,y1) = B(x,x) = 1 and the other zero.<br />
Example 4.4.14. Pseudo-Euclidean 2-step nilpotent Jordan algebras are symmetric Jordan-<br />
Novikov algebras.<br />
Remark 4.4.15.<br />
(1) By Lemma 4.4.8, if the symmetric Novikov algebra N has Ann(N) = {0} then [x,y] =<br />
xy − yx = 0, for all x,y ∈ N. It implies that N is commutative and then N is a symmetric<br />
Jordan-Novikov algebra.<br />
(2) If the product on N is associative then it may not be commutative. An example can be<br />
found in the next part.<br />
120