Tag 019C, permanent. Cite it as [Bourbaki, Tag 019C].
Lie Groups and Lie Algebras, VIII, 271
Let V be a finite dimensional vector space and E=V⊕V∗. Define a non-degenerate bilinear form Φ on E by
Φ((x,x∗),(y,y∗))=⟨x,y∗⟩+⟨y,x∗⟩
Put N=⋀(V) and Q(x)=21Φ(x,x) for x∈E. Denote the spinor representation by λ:C(Q)→ End(N) as in no. 2.IV, define f:o(Φ)→C+(Q) as in Lemma 1 of no. 2, and denote by ρ the linear representation λ∘f of the algebra o(Φ) on N.
a) Associate to any endomorphism u of V the endomorphism u of E by the formula u(x,x∗)=(u(x),−tu(x∗)). Show that u→u is a homomorphism of Lie algebras from gl(V) to o(Φ); moreover, for u in gl(V), ρ(u) is the unique derivation of the algebra ⋀(V)=N that coincides with u on V.
b) Let Ψ be a non-degenerate alternating bilinear form on V and γ:V→V∗ the isomorphism defined by Ψ(x,y)=⟨x,γ(y)⟩ for x,y in V. Show that the endomorphisms X+ and X− of E defined by
X+(x,x∗)=(γ−1(x∗),0),X−(x,x∗)=(0,−γ(x))
belongs to o(Φ). Put H=(−1). Show that (H,X+,X−) is an sl2-triplet in the Lie algebra o(Φ).
c) Show that ρ takes the endomorphisms H,X+,X− of o(Φ) to the endomorphisms of N denoted by H,X+ and X−, respectively, in no. 3.IV. Deduce that (H,X+,X−) is an sl2-triplet in the Lie algebra gl(N).