LieAlgebras[Complexify] find the complexification of a Lie algebra
AlgName1 - name or string, the name of a Lie algebra g
AlgName2 - name or string, the name for the complexification of g
The complexification of a real Lie algebra 𝔤 of dimension n is a real Lie algebra of dimension 2n. If e1, e2, ..., en is a basis for 𝔤, then e1, e2, ... , en, Ie1, Ie2, ... , Ien, where I2 = −1, is a basis for the complexification of 𝔤,
Complexify(AlgName1, AlgName2) calculates the complexification of the Lie algebra g defined by AlgName1.
A Lie algebra data structure is returned for the complexified Lie algebra with name AlgName2. The structure equations for the complexification are displayed. (A Lie algebra data structure contains the structure constants of a Lie algebra in a standard format used by the LieAlgebras package).
The command Complexify is part of the DifferentialGeometry:-LieAlgebras package. It can be used in the form Complexify(...) only after executing the commands with(DifferentialGeometry) and with(LieAlgebras), but can always be used by executing DifferentialGeometry:-LieAlgebras:-Complexify(...).
First we initialize a Lie algebra and then display its multiplication table.
We complexify Alg1 and call the result Alg2.
L2 ≔ e1,e3=e1,e1,e6=e4,e2,e3=e1+e2,e2,e6=e4+e5,e3,e4=−e4,e3,e5=−e4−e5,e4,e6=−e1,e5,e6=−e1−e2
We note that the original Lie algebra [e1, e2, e3], as a subalgebra of its complexification, admits a symmetric complement.
Download Help Document
What kind of issue would you like to report? (Optional)