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 ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
3.4. Quadratic Lie superalgebras with 2-dimensional even part<br />
Proof. By Theorem 3.4.8, g is a double extension. Let us write g = (CX0 ⊕ CY0 ) ⊥<br />
C = ad(Y0 )|q. Define A : g → V by A(X0 ) = X ′ ) = Y ′<br />
⊕ q and<br />
0 , A(Y0 0 and A = A|q any isometry from<br />
q → q ′ . It is clear that A is an isometry from g to V . Now, define the Lie super-bracket on V by:<br />
[X,Y ] = A [A −1 (X),A −1 (Y )] , ∀ X,Y ∈ V.<br />
Then V is a quadratic Lie superalgebra, that is i-isomorphic to g. Moreover, V is obviously the<br />
double extension of q ′ by C ′ = A C A −1 .<br />
Theorem 3.4.8, Proposition 3.4.10, Corollary 3.4.11 and Lemma 3.4.12 are enough for us to<br />
apply the method of classification in Chapter 2 for the set S(2 + 2n) of quadratic Lie superalgebra<br />
structures on the quadratic Z2-graded vector space C2 ⊕ C<br />
Z2<br />
2n by only replacing the isometry<br />
group O(m) by Sp(2n) and o(m) by sp(2n) to obtain completely similar results. One has the<br />
first characterization of the set S(2 + 2n):<br />
Theorem 3.4.13. Let g and g ′ be elements in S(2 + 2n). Then g and g ′ are i-isomorphic if and<br />
only if they are isomorphic.<br />
By using the notion of double extension, we call the Lie superalgebra g ∈ S(2 + 2n) diagonalizable<br />
(resp. invertible) if it is a double extension by a diagonalizable (resp. invertible)<br />
map. Denote the subsets of nilpotent elements, diagonalizable elements and invertible elements<br />
in S(2 + 2n), respectively by N(2 + 2n), D(2 + 2n) and by Sinv(2 + 2n). Denote by N(2 + 2n),<br />
D(2 + 2n), Sinv(2 + 2n) the sets of isomorphism classes in N(2 + 2n), D(2 + 2n), Sinv(2 + 2n),<br />
respectively and Dred(2 + 2n) the subset of D(2 + 2n) including reduced ones. Keep the notations<br />
as in Chapter 1 and Chapter 2. Then we have the classification result of these sets as<br />
follows:<br />
Theorem 3.4.14.<br />
(1) There is a bijection between N(2 + 2n) and the set of nilpotent Sp(2n)-adjoint orbits of<br />
sp(2n) that induces a bijection between N(2 + 2n) and the set of partitions P−1(2n).<br />
(2) There is a bijection between D(2 + 2n) and the set of semisimple Sp(2n)-orbits of<br />
P 1 (sp(2n)) that induces a bijection between D(2 + 2n) and Λn/Hn. In the reduced case,<br />
Dred(2 + 2n) is bijective to Λ + n /Hn.<br />
(3) There is a bijection between Sinv(2 + 2n) and the set of invertible Sp(2n)-orbits of<br />
P 1 (sp(2n)) that induces a bijection between Sinv(2 + 2n) and Jn/C ∗ .<br />
(4) There is a bijection between S(2 + 2n) and the set of Sp(2n)-orbits of P 1 (sp(2n)) that<br />
induces a bijection between S(2 + 2n) and D(2n)/C ∗ .<br />
Next, we will describe the sets N(2 + 2n), Dred(2 + 2n) the subset of D(2 + 2n) including<br />
reduced ones, and Sinv(2+2n) in term of amalgamated product in Definition 3.4.6. Remark that<br />
except for the nilpotent case, the amalgamated product may have a bad behavior with respect to<br />
isomorphisms.<br />
82