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.3. Pseudo-Euclidean 2-step nilpotent Jordan algebras<br />
4.3.2 T ∗ -extensions of pseudo-Euclidean 2-step nilpotent<br />
Given a 2SN-Jordan algebra J and a symmetric bilinear map θ : J × J → J ∗ such that<br />
R ∗ (z)(θ(x,y)) + θ(xy,z) = 0, for all x,y,z ∈ J, then by Proposition 4.3.2, J = J ⊕ J ∗ is also a<br />
2SN-Jordan algebra. Moreover, if θ is cyclic (that is, θ(x,y)(z) = θ(y,z)(x), for all x,y,z ∈ J),<br />
then J is a pseudo-Euclidean Jordan algebra with the bilinear form defined by<br />
B(x + f ,y + g) = f (y) + g(x), ∀ x,y ∈ J, f ,g ∈ J ∗ .<br />
In a more general framework, we can define:<br />
Definition 4.3.12. Let a be a complex vector space and θ : a × a → a ∗ a cyclic symmetric<br />
bilinear map. Assume that θ is non-degenerate, i.e. if θ(x,a) = 0 then x = 0. Consider the<br />
vector space J = a ⊕ a ∗ equipped with the product<br />
and the bilinear form<br />
(x + f )(y + g) = θ(x,y)<br />
B(x + f ,y + g) = f (y) + g(x)<br />
for all x + f ,y + g ∈ J. Then (J,B) is a 2SNPE-Jordan algebra and it is called the T ∗ -extension<br />
of a by θ.<br />
Lemma 4.3.13. Let J be a T ∗ -extension of a by θ. If J = {0} then J is reduced.<br />
Proof. Since θ is non-degenerate, it is easy to check that Ann(J) = a ∗ is totally isotropic by the<br />
above definition.<br />
Proposition 4.3.14. Let (J,B) be a 2SNPE-Jordan algebra. If J is reduced then J is i-isomorphic<br />
to some T ∗ -extension.<br />
Proof. Assume that J is a reduced 2SNPE-Jordan algebra. Then one has Ann(J) = J2 , so<br />
dim(J2 ) = 1 2 dim(J). Let J = Ann(J) ⊕ a where a is a totally isotropic subspace of J. Then<br />
a J/J2 as an Abelian algebra. Since a and Ann(J) are maximal totally isotropic subspaces of<br />
J, we can identify Ann(J) to a∗ by the isomorphism: ϕ : Ann(J) → a∗ , ϕ(x)(y) = B(x,y), for<br />
all x ∈ Ann(J), y ∈ a. Define θ : a × a → a∗ by θ(x,y) = ϕ(xy), for all x,y ∈ a.<br />
Now, set α : J → a ⊕ a∗ by α(x) = p1(x) + ϕ(p2(x)), for all x ∈ J where p1 : J → a and<br />
p2 : J → Ann(J) are canonical projections. Then α is i-isomorphic.<br />
Theorem 4.3.15. Let J1 and J2 be two T ∗ -extensions of a by θ1 and θ2 respectively. Then:<br />
(1) there exists a Jordan algebra isomorphism between J1 and J2 if and only if there exist an<br />
isomorphism A1 of a and an isomorphism A2 of a ∗ satisfying:<br />
A2(θ1(x,y)) = θ2(A1(x),A1(y)), ∀ x,y ∈ a.<br />
(2) there exists an i-isomorphism between J1 and J2 if and only if there exists an isomorphism<br />
A1 of a satisfying<br />
θ1(x,y) = θ2(A1(x),A1(y)) ◦ A1, ∀ x,y ∈ a.<br />
112