LieAlgebras[SplitAndCompactForms] - find the real split and real compact forms of a real semi-simple Lie algebra
SplitAndCompactForms(CSA, RDS, PosRts)
CSA - a list of vectors, defining the Cartan subalgebra of a real semi-simple Lie algebra 𝔤
RDS - a table, giving the root space decomposition of 𝔤 with respect to the given Cartan subalgebra
PosRts - a list of vectors, defining a positive set of roots for the given root space decomposition
A real semi-simple Lie algebra 𝔤 is called a split semi-simple Lie algebra if there exists a real root space decomposition of 𝔤, that is to say, there is a Cartan subalgebra 𝔥 ⊂ 𝔤 such that each of the adjoint matrices adx, for x ∈ 𝔥,is diagonalizable over the real numbers. A real semi-simple Lie algebra 𝔤 is called compact if the Killing form is negative-definite. This implies that the eigenvalues for the adjoint matrices adx, for x ∈ 𝔥, are all pure imaginary for any choice of Cartan subalgebra.
Given any real semi-simple Lie algebra 𝔤, then
[i] there exists a complex change of basis so that the Lie algebra 𝔤'defined by these new basis vectors is a real split Lie algebra, and
[ii] there exists another complex change of basis so that the Lie algebra 𝔤''defined by these new basis vectors is a real compact Lie algebra.
All three Lie algebras 𝔤, 𝔤' and 𝔤'' are isomorphic as complex Lie algebras but, granted that 𝔤 is neither split nor compact, 𝔤, 𝔤' and 𝔤'' are non-isomorphic as real Lie algebras. The Lie algebra 𝔤' is called the split real form of 𝔤 and the Lie algebra 𝔤'' is called the compact real form of 𝔤.
The command SplitAndCompactForms returns 2 lists of vectors which give basis for 𝔤' and 𝔤''. By applying the commands LieAlgebraData and DGsetup to these lists of vectors, one obtains the split real form and compact real form of the Lie algebra 𝔤.
The basis for the split real form returned by the procedure SplitAndCompactForms is a ChevalleyBasis ℬ' =h1, h2 , ..., hr , x1, x2, ..., x𝓁, y1, y2, ..., y𝓁for 𝔤'. From the properties of the Chevalley basis described in the help page ChevalleyBasis, it can be established that the basis
ℬ'' =Ih1, Ih2 , ... Ihr , x1−y1, x2− y2, ... , x𝓁 − y𝓁, Ix1 +y1, Ix2+y2, ... , Ix𝓁 + y𝓁
defines a real Lie algebra giving the compact real form 𝔤''.
In this example the 6-dimensional Lie algebra so3,1 is created and its real and compact forms are calculated. Use the command SimpleLieAlgebraData to obtain the structure equations.
LD ≔ SimpleLieAlgebraData⁡so(3,1),so31
Lie algebra: so31
To calculate the real and compact forms one needs a Cartan subalgebra, the root space decomposition and the positive roots. These data can be calculated using the commands CartanSubalgebra, RootSpaceDecomposition and PositiveRoots. Alternatively, since the Lie algebra has been created from the command SimpleLieAlgebraData, one can used the command SimpleLieAlgebraProperties to retrieve the stored values of the Cartan subalgebra, root space decomposition and positive roots.
Properties ≔ SimpleLieAlgebraProperties⁡so31:
CSA ≔ PropertiesCartanSubalgebra
RSD ≔ eval⁡PropertiesRootSpaceDecomposition
PosRts ≔ PropertiesPositiveRoots
Calculate the basis for the split and compact forms.
BasisS,BasisC ≔ SplitAndCompactForms⁡CSA,RSD,PosRts
Here is the split real form of the Lie algebra so31.
LDS ≔ LieAlgebraData⁡BasisS,so31S
Lie algebra: so31S
The multiplication table is:
from which one sees immediately that h1, h2 is a Cartan subalgebra for which the root space decomposition is real. Therefore this is a real form.
Here is the compact form of the Lie algebra so31.
LDS ≔ LieAlgebraData⁡BasisC,so31C
Lie algebra: so31C
The Killing form is negative-definite and so this is indeed the compact form.
By construction, the first 2 vectors define a Cartan subalgebra. The root vectors are pure imaginary.
Download Help Document
What kind of issue would you like to report? (Optional)