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.1. Preliminaries<br />
(3) π(xx ′ )y 2 + 2(π(x ′ )y)(π(x)y) = π(x)π(x ′ )y 2 + 2(π(x ′ )π(x)y)y,<br />
for all x,x ′ ∈ J1,y,y ′ ∈ J2. In this case, the vector space J = J1 ⊕ J2 with the product defined<br />
by:<br />
(x + y)(x ′ + y ′ ) = xx ′ + π(x)y ′ + π(x ′ )y + yy ′ , ∀ x,x ′ ∈ J1,y,y ′ ∈ J2<br />
becomes a Jordan algebra.<br />
Definition 4.1.16. Let (J,B) be a pseudo-Euclidean Jordan algebra and C be an endomorphism<br />
of J. We say that C is symmetric if<br />
B(C(x),y) = B(x,C(y)), ∀ x,y ∈ J.<br />
Denote by Ends(J) the space of symmetric endomorphisms of J.<br />
The definition below was introduced in [BB], Theorem 3.8.<br />
Definition 4.1.17. Let (J1,B1) be a pseudo-Euclidean Jordan algebra and let J2 be an arbitrary<br />
Jordan algebra. Let π : J2 → Ends(J1) be an admissible representation. Define a symmetric<br />
bilinear map ϕ : J1 ×J1 → J ∗ 2 by: ϕ(y,y′ )(x) = B1(π(x)y,y ′ ), for all x ∈ J2,y,y ′ ∈ J1. Consider<br />
the vector space<br />
J = J2 ⊕ J1 ⊕ J ∗ 2<br />
endowed with the product:<br />
(x + y + f )(x ′ + y ′ + f ′ ) = xx ′ + yy ′ + π(x)y ′ + π(x ′ )y + f ′ ◦ Rx + f ◦ R x ′ + ϕ(y,y ′ )<br />
for all x,x ′ ∈ J2, y,y ′ ∈ J1, f , f ′ ∈ J∗ 2 . Then J is a Jordan algebra. Moreover, define a bilinear<br />
form B on J by:<br />
B(x + y + f ,x ′ + y ′ + f ′ ) = B1(y,y ′ ) + f (x ′ ) + f ′ (x), ∀ x,x ′ ∈ J2,y,y ′ ∈ J1, f , f ′ ∈ J ∗ 2.<br />
Then J is a pseudo-Euclidean Jordan algebra. The Jordan algebra (J,B) is called the double<br />
extension of J1 by J2 by means of π.<br />
Remark 4.1.18. If γ is an associative bilinear form (not necessarily non-degenerate) on J2 then<br />
J is again pseudo-Euclidean thanks to the bilinear form<br />
Bγ(x + y + f ,x ′ + y ′ + f ′ ) = γ(x,x ′ ) + B1(y,y ′ ) + f (x ′ ) + f ′ (x)<br />
for all x, x ′ ∈ J2, y, y ′ ∈ J1, f , f ′ ∈ J ∗ 2 .<br />
103