𝔰𝔩𝑛𝕂

𝔰𝔩2𝕂

Let 𝕂 be a field. 𝔰𝔩2𝕂 is the Lie algebra realized by traceless 2 ×2 matrices under their linear commutator. #m/def/lie It has the Chevalley basis

𝛼1=[1001],𝑥𝛼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.

Gram matrix

Ordering the basis (𝛼1,𝑥𝛼1,𝑥𝛼1), we have the following Gram matrix

⎢ ⎢200001010⎥ ⎥

Properties


#state/develop | #lang/en | #SemBr