Overview of the LieAlgebras package
<Text-field style="Heading 2" layout="Heading 2" bookmark="info">Description</Text-field>
Lie groups and Lie algebras play an essential part in differential geometry and its applications. For this reason the DifferentialGeometry package provides Maple users with the LieAlgebra package.
The LieAlgebra package contains a large number of commands for defining Lie algebras from a variety of sources and for creating new Lie algebras from existing Lie algebras. These include DirectSum, Extension, LieAlgebraData, MatrixAlgebras, QuotientAlgebra, SimpleLieAlgebraData, SemiDirectSum. Especially noteworthy is the use of the LieAlgebraData command to convert a Lie algebra of vector fields on a manifold to an abstract Lie algebra.
The general structure of the Lie algebra can be investigated with the Decompose, Query, Series, Nilradical, and Radical commands.
The structure of a semi-simple Lie algebra can be explored with the commands CartanDecomposition, CartanSubalgebra, CartanMatrix, CompactRoots, PositiveRoots, RootSpaceDecomposition, RestrictedRootSpaceDecomposition, SimpleLieAlgebraProperties, SimpleRoots.
Homomorphisms between Lie algebras can be constructed using the DifferentialGeometry command Transformation. The matrix exponential of any derivation of a Lie algebra will define an automorphism of that Lie algebra.
Properties of Lie subalgebras can also be investigated with the Query command.
The LieAlgebra Lessons provide a systematic introduction to the commands in the LieAlgebra package.
The LieAlgebra package is a subpackage of the DifferentialGeometry package. Each command in the LieAlgebras package can be accessed by using either the long form or the short form of the command name in the command calling sequence.
<Text-field style="Heading 2" layout="Heading 2">Commands for creating Lie algebras</Text-field>
ComplexifyDirectSumExtensionLieAlgebraDataQuotientAlgebraSemiDirectSumSimpleLieAlgebraData
Complexify: find the complexification of a Lie algebra.
DirectSum: create the direct sum of a list of Lie algebras.
Extension: calculate a right or a central extension of a Lie algebra.
LieAlgebraData: convert different realizations of a Lie algebra to a Lie algebra data structure.
QuotientAlgebra: create the Lie algebra data structure for a quotient algebra of a Lie algebra by an ideal.
SemiDirectSum: create the semi-direct product of two Lie algebras.
SimpleLieAlgebraData: obtain the structure equations for a classical matrix Lie algebra
<Text-field style="Heading 2" layout="Heading 2">Commands for finding subalgebras</Text-field>
CenterCentralizerDerivedAlgebraGeneralizedCenterHomomorphismSubalgebrasMinimalIdealMinimalSubalgebraNilradicalParabolicSubalgebraParabolicSubalgebraRootsRadicalSeriesSubalgebraNormalizer
Center: find the center of a Lie algebra.
Centralizer: find the centralizer of a list of vectors.
DerivedAlgebra: find the derived algebra of a Lie algebra.
HomomorphismSubalgebras: find the kernel or image of a Lie algebra homomorphism.
GeneralizedCenter: calculate the generalized center of an ideal in a Lie algebra.
Nilradical: find the nilradical of a Lie algebra.
ParabolicSubalgebra: find the parabolic subalgebra defined by a set of simple roots or a set of restricted simple roots.
ParabolicSubalgebraRoots: find the simple roots which generate a parabolic subalgebra
Radical: find the radical of a Lie algebra.
Series: find the derived series, lower central series, upper central series of a Lie algebra or a Lie subalgebra.
SubalgebraNormalizer: find the normalizer of a subalgebra.
<Text-field style="Heading 2" layout="Heading 2">Commands for working with mappings of Lie algebras</Text-field>
AdjointAdjointExpApplyHomomorphismDerivations
Adjoint: find the Adjoint Matrix for a vector in a Lie algebra.
AdjointExp: find the Exponential of the Adjoint Matrix for a vector in a Lie algebra.
ApplyHomomorphism: apply a Lie algebra homomorphism to a vector, form or tensor.
Derivations: find the inner and/or outer derivations of a Lie algebra.
<Text-field style="Heading 2" layout="Heading 2">Utilities</Text-field>
BracketOfSubspacesChangeLieAlgebraToInfinitesimalCoadjointActionKillingKillingFormMultiplicationTableQuery
BracketOfSubspaces: find the subspace generated by the bracketing of two subspaces.
ChangeLieAlgebraTo: change the current frame to the frame for a Lie algebra.
InfinitesimalCoadjointAction: find the vector fields defining the infinitesimal co-adjoint action of a Lie group on its Lie algebra.
Killing: find the Killing form of a Lie algebra.
KillingForm: find the Killing form, defined as a tensor, of a Lie algebra.
MultiplicationTable: display the multiplication table of a Lie algebra.
Query: check various properties of a Lie algebra, subalgebra, or transformation.
<Text-field style="Heading 2" layout="Heading 2">Commands for general structure theory of Lie algebras</Text-field>
DecomposeLeviDecomposition
Decompose: decompose a Lie algebra into a direct sum of indecomposable Lie algebras.
LeviDecomposition: compute the Levi decomposition of a Lie algebra.
<Text-field style="Heading 2" layout="Heading 2">Commands for studying semi-simple Lie algebras</Text-field>
CartanDecompositionCartanInvolutionCartanMatrixCartanMatrixToStandardFormCartanSubalgebraCompactRootsGradeSemiSimpleLieAlgebraLieAlgebraRootsPositiveRootsRestrictedRootSpaceDecompositionRootSpaceRootSpaceDecompositionRootToCartanSubalgebraElementHSatakeAssociateSatakeDiagramSimpleLieAlgebraPropertiesSimpleRoots
CartanDecomposition: find the Cartan decomposition defined by a Cartan involution, find the Cartan decomposition of a semi-simple matrix algebra.
CartanInvolution: find the Cartan involution defined by a Cartan decomposition of a non-compact, semi-simple, real Lie algebra.
CartanMatrix: find the Cartan matrix for a simple Lie algebra from a root space decomposition, display the Cartan matrix for a given root type.
CartanMatrixToStandardForm: transform a Cartan matrix to standard form.
CartanSubalgebra: find a Cartan subalgebra of a Lie algebra.
CompactRoots: find the compact roots in a root system for a non-compact semi-simple real Lie algebra
GradeSemiSimpleLieAlgebra: find the grading of a semi-simple Lie algebra defined by a set of simple roots or restricted simple roots.
LieAlgebraRoots: find a root or the roots for a semi-simple Lie algebra from a root space and a Cartan subalgebra; or from a root space decomposition.
PositiveRoots: find the positive roots from a set of roots or a root space decomposition, list the positive roots for a given root type.
RestrictedRootSpaceDecomposition: find the real root space decomposition of a non-compact semi-simple Lie algebra with respect to an Abelian subalgebra.
RootSpaceDecomposition: find the root space decomposition for a semi-simple Lie algebra from a Cartan subalgebra.
RootToCartanSubalgebraElementH : associate to each positive root of a simple Lie algebra a vector in the Cartan subalgebra.
SatakeAssociate : find the non-compact simple root associated to a given non-compact root in the Satake diagram.
SatakeDiagram: display the Satake diagram for a non-compact, real, simple matrix algbra.
SimpleLieAlgebraProperties: provide a table of properties for any real simple Lie algebra
SimpleRoots: find the simple roots for a set of positive roots
<Text-field style="Heading 2" layout="Heading 2">Commands for calculating Lie algebra cohomology</Text-field>
CohomologyCohomologyDecompositionRelativeChains
Cohomology: find the cohomology of a Lie algebra.
CohomologyDecomposition: decompose a closed form into the sum of an exact form and a form defining a coholomogy class
RelativeChains: find the vector space of forms on a Lie algebra relative to a given subalgebra.
<Text-field style="Heading 2" layout="Heading 2">Commands for working with matrix algebras</Text-field>
JacobsonRadicalMatrixAlgebrasMatrixCentralizerMatrixNormalizerMatrixSubalgebra
JacobsonRadical: find the Jacobson radical for a matrix Lie algebra.
MatrixAlgebras: create a Lie algebra data structure for a matrix Lie algebra.
MatrixCentralizer: find the matrix centralizer of a list of matrices.
MatrixNormalizer: find the matrix normalizer of a list of matrices.
MatrixSubalgebra: find the subalgebra of a Lie algebra which preserves a collection of tensors or subspaces of tensors.
MinimalIdeal: find the smallest ideal containing a given set of vectors.
MinimalSubalgebra: find the smallest subalgebra containing a given set of vectors.
<Text-field style="Heading 2" layout="Heading 2">Commands for working with representations of Lie Algebras</Text-field>
ApplyRepresentationAscendingIdealsBasisChangeBasisDirectSumOfRepresentationsInvariantsQuotientRepresentationRepresentationRepresentationEigenvectorSolvableRepresentationStandardRepresentationSubRepresentationTensorProduct
ApplyRepresentation: apply a Lie algebra representation to a vector in a Lie algebra.
AscendingIdealsBasis: find a basis for a solvable Lie algebra which defines an ascending chain of ideals.
ChangeBasis: change the basis for a representation, either in the Lie algebra or in the representation space.
Invariants: calculate the invariant vectors and tensors for a representation of a Lie algebra
Representation: define a representation of a Lie algebra.
RepresentationEigenvector: find a simultaneous eigenvector for the representation of a solvable Lie algebra.
SolvableRepresentation: given a representation of a solvable algebra, find a basis for the representation space in which the representation matrices are Upper triangular matrices.
StandardRepresentation: find the standard matrix representation or linear vector field representation of a classical matrix algebra.
SubRepresentation: find the induced representation on an invariant subspace.
TensorProduct: form a tensor product representation from a list of representations.
<Text-field style="Heading 2" layout="Heading 2">Alphabetical listing of all LieAlgebra commands </Text-field>
AdjointAdjointExpApplyHomomorphismApplyRepresentationAscendingIdealsBasisBracketOfSubspacesCartanDecompositionCartanInvolutionCartanMatrixCartanMatrixToStandardFormCartanSubalgebraCenterCentralizerChangeBasisChangeLieAlgebraToCohomologyCohomologyDecompositionCompactRootsComplexifyDecomposeDerivationsDerivedAlgebraDirectSumDirectSumOfRepresentationsDynkinDiagramExtensionGeneralizedCenterGradeSemiSimpleLieAlgebraHomomorphismSubalgebrasInfinitesimalCoadjointActionInvariantsJacobsonRadicalKillingKillingFormLeviDecompositionLieAlgebraDataLieAlgebraRootsMatrixAlgebrasMatrixCentralizerMatrixNormalizerMatrixSubalgebraMinimalIdealMinimalSubalgebraMultiplicationTableNilradicalParabolicSubalgebraParabolicSubalgebraRootsPositiveRootsQueryQuotientAlgebraQuotientRepresentationRadicalRelativeChainsRepresentationRepresentationEigenvectorRestrictedRootSpaceDecompositionRootSpaceRootSpaceDecompositionRootToCartanSubalgebraElementHSatakeAssociateSatakeDiagramSemiDirectSumSeriesSimpleLieAlgebraDataSimpleLieAlgebraPropertiesSimpleRootsSolvableRepresentationStandardRepresentationSubRepresentationSubalgebraNormalizerTensorProduct
<Text-field style="Heading 2" layout="Heading 2" bookmark="seealso">See Also</Text-field>DifferentialGeometry, GroupActions, JetCalculus, Library, Tensor, Tools