14.08.2013 Views

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 ...

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!