Special linear Lie algebra

𝔰𝔩2⁑𝕂

Let 𝕂 be a field. 𝔰𝔩2⁑𝕂 is the Lie algebra realized by traceless 2 Γ—2 matrices under their linear commutator. lie It has the Chevalley basis

𝛼1=[100βˆ’1],π‘₯𝛼1=[0100],π‘₯βˆ’π›Ό1=[0010]

with the commutation relations

[𝛼1,π‘₯±𝛼1]=Β±2π‘₯±𝛼1=βŸ¨π›Ό1,±𝛼1⟩π‘₯±𝛼1[π‘₯𝛼1,π‘₯βˆ’π›Ό1]=𝛼1

where we have the ^nondegenerate invariant symmetric bilinear form

⟨π‘₯,π‘¦βŸ©=tr⁑π‘₯π‘¦βŸ¨π›Ό1,𝛼1⟩=2⟨π‘₯𝛼1,π‘₯βˆ’π›Ό1⟩=1βŸ¨π›Ό1,π‘₯±𝛼1⟩=⟨π‘₯±𝛼1,π‘₯±𝛼1⟩=0

given by the Trace form of the fundamental representation, making 𝔰𝔩2⁑𝕂 a quadratic Lie algebra.

Properties


develop | en | SemBr