obtain the structure equations for a classical matrix Lie algebra

はじめる前に
新機能一覧
Maple ワークシートの作成
Mapleワークシートを共有
Maple ウィンドウのカスタマイズ
Maple システムのカスタマイズ
コネクティビティ
Mathematics
数学
- テンソル解析
- パッケージ
- ファンクションアドバイザ
- ベキ級数
- ベクトル解析
- 不活性関数
- 代数
- 因数分解と方程式解法
- 基本数学
- 基本的な注意事項
- 変分法
- 変換
- 幾何
- 微分代数方程式
- 微分幾何学
  - Group Actions
  - JetCalculus
  - LieAlgebras
    - LieAlgebraData
    - Query
    - 概要
    - ApplyHomomorphism
    - AscendingIdealsBasis
    - BracketOfSubspaces
    - CartanDecomposition
    - CartanInvolution
    - CartanMatrix
    - CartanMatrixToStandardForm
    - CartanSubalgebra
    - Centralizer
    - ChangeBasis
    - ChangeLieAlgebraTo
    - Complexify
    - Decompose
    - Derivations
    - DerivedAlgebra
    - DirectSum
    - DirectSumOfRepresentations
    - DynkinDiagram
    - Extension
    - GeneralizedCenter
    - GradeSemiSimpleLieAlgebra
    - HomomorphismSubalgebras
    - InfinitesimalCoadjointAction
    - Invariants
    - JacobsonRadical
    - KillingForm
    - LeviDecomposition
    - LieAlgebraRoots
    - MatrixAlgebras
    - MatrixCentralizer
    - MatrixNormalizer
    - MatrixSubalgebra
    - MinimalIdeal
    - MinimalSubalgebra
    - MultiplicationTable
    - Nilradical
    - ParabolicSubalgebraRoots
    - PositveRoots
    - QuotientAlgebra
    - QuotientRepresentation
    - Representation
    - RepresentationEigenvector
    - RestrictedRootSpaceDecomposition
    - RootSpace
    - RootSpaceDecomposition
    - RootToCartanSubalgebraElementH
    - SatakeAssociate
    - SatakeDiagram
    - SemiDirectSum
    - SimpleLieAlgebraData
    - SimpleLieAlgebraProperties
    - SimpleRoots
    - SolvableRepresentation
    - StandardRepresentation
    - SubalgebraNormalizer
    - SubRepresentation
    - TensorProduct
    - カルタン行列とディンキン図形の詳細
    - 中央
    - 根号式
    - 級数
    - 随伴（行列）
  - Tensor
  - ツール
  - ライブラリ
  - レッスンおよびチュートリアル
  - 概要
  - &wedge
  - Annihilator
  - ApplyTransformation
  - ChangeFrame
  - ComplementaryBasis
  - ComposeTransformations
  - DeRhamHomotopy
  - DGbasis
  - DGDualBasis
  - DGsetup
  - DGzip
  - evalDG
  - ExteriorDerivative
  - Flow
  - FrameData
  - GetComponents
  - Hook
  - InfinitesimalTransformation
  - IntegrateForm
  - IntersectSubspaces
  - InverseTransformation
  - LieBracket
  - LieDerivative
  - Pullback
  - PullbackVector
  - Pushforward
  - RemoveFrame
  - Transformation
  - 参考文献
  - 変換
  - 環境設定
- 微分方程式
- 微積分
- 数
- 数値計算
- 数学関数
- 数論
- 最適化
- 特殊関数
- 統計
- 線形代数
- 群論
- 評価
- 論理
- 過去のパッケージ
- 金融
- 離散数学
- piecewise examples
- グラフ電卓
- 区分関数
物理
プログラミング
グラフィックス
Student パッケージ
Science and Engineering
科学・エンジニアリング
アプリケーションと例題
リファレンス
システム
MapleSim
MapleSim ツールボックス
MapleSim ヘルプ
Tasks
Toolboxes
エラーメッセージガイド
マニュアル
数学アプリ

LieAlgbebras[SimpleLieAlgebraData] - obtain the structure equations for a classical matrix Lie algebra

Calling Sequences

SimpleLieAlgebraData(

Parameters

algtype - a string, describing the type and dimension of a classical matrix algebra

algname - an unassigned name or a string, the name of the classical matrix algebra to be constructed

options - (optional) keyword arguments labelformat, labels which specify the labelling of the basis for the Lie algebra. Different standard basis for some of the Lie algebras can be specified with the keyword version.

Description

This command returns the structure equations (see LieAlgebraData) for any one of the following Lie algebras:

Type	Lie algebra
A	(two versions),
B	(two versions)
C	,
D	(two versions)
Other	,

•	The Lie algebras are all simple Lie algebras. The are classical matrix algebras which are often used in Lie theory and differential geometry.

•	The precise definitions and examples of each of these Lie algebras are found in SimpleLieAlgebraDataDetails .

•	The command StandardRepresentation generates the standard matrix representations of these algebras.

•	Cartan matrices, Dynkin diagram, Satake diagrams, positive roots can easily be found for each of the simple Lie algebra. See also SimpleLieAlgebraProperties .

•	Subalgebras of any of these Lie algebras can be calculate using the command MatrixSubalgebras.

•	Two versions of the Lie algebras and are available, corresponding the choices

`or`(Q[1] = (Matrix(3, 3, {(1, 1) = 0, (1, 2) = I[q], (1, 3) = 0, (2, 1) = I[q], (2, 2) = 0, (2, 3) = 0, (3, 1) = 0, (3, 2) = 0, (3, 3) = I[p-q]})), Q[2] = (Matrix(2, 2, {(1, 1) = I[p], (1, 2) = 0, (2, 1) = 0, (2, 2) = -I[q]})))

for the quadratic form preserved by these algebras. The keyword argument version specifies the choice. The default is version = 1. This choice is preferred for roots space computations.

•	The keyword arguments labelformat, labels allow for the labeling of the basis of the abstract Lie algebra which characteristizes the basis elements in terms of their standard matrix elements. See LieAlgebraData, DGsetup.

Examples

>	with(DifferentialGeometry): with(LieAlgebras):

Example 1.

Initialize the Lie algebra the Lie algebra of trace-free 3×3 matrices.

>	LD1 := SimpleLieAlgebraData("sl(3)", alg1, labelformat = "gl", labels = ['E', 'theta']);

(2.1)

When this output is passed to DGsetup, the 8-dimensional Lie algebra with the foregoing structure equations is initialized and the unassigned names are assigned as vectors and 1-forms for this Lie algebra.

>	DGsetup(LD1);

(2.2)

Here is the Lie bracket multiplication table for .

alg1 >

MultiplicationTable("LieTable");

(2.3)

This coincides with the commutator formulas for the standard matrix representation of .

alg1 >

StandardRepresentation(alg1);

(2.4)

The 3rd basis element matches the 3rd matrix in the standard representation and is precisely the elementary matrix with a 1 in the 1st column, 2nd row.

Example 2

We initialize the Lie algebra in two different basis. Our first version is:

alg1 >

LD2a := SimpleLieAlgebraData("so(3, 1)", so31a, labelformat = "gl", labels = ['X', 'zeta']);

(2.5)

alg1 >

DGsetup(LD2a);

(2.6)

so31a >

MultiplicationTable("LieTable");

(2.7)

Our second version is :

so31a >

LD2b := SimpleLieAlgebraData("so(3, 1)", so31b, labelformat = "gl", labels = ['Y', 'xi'], version = 2);

(2.8)

alg1 >

DGsetup(LD2b);

(2.9)

so31a >

MultiplicationTable("LieTable");

(2.10)

From the standard matrix representations for these 2 Lie algebras we can construct a Lie algebra isomophism . First let us define the quadratic forms used in each version.

so31b >

with(LinearAlgebra):

so31b >

Qa := Matrix([[0, 1, 0, 0], [1, 0, 0, 0], [0, 0, 1, 0], [0, 0, 0, 1]]);

Qa := Matrix(4, 4, {(1, 1) = 0, (1, 2) = 1, (1, 3) = 0, (1, 4) = 0, (2, 1) = 1, (2, 2) = 0, (2, 3) = 0, (2, 4) = 0, (3, 1) = 0, (3, 2) = 0, (3, 3) = 1, (3, 4) = 0, (4, 1) = 0, (4, 2) = 0, (4, 3) = 0, (4, 4) = 1})

(2.11)

so31b >

Qb := Matrix([[1, 0, 0, 0], [0, 1, 0, 0], [0, 0, 1, 0], [0, 0, 0, -1]]);

Qb := Matrix(4, 4, {(1, 1) = 1, (1, 2) = 0, (1, 3) = 0, (1, 4) = 0, (2, 1) = 0, (2, 2) = 1, (2, 3) = 0, (2, 4) = 0, (3, 1) = 0, (3, 2) = 0, (3, 3) = 1, (3, 4) = 0, (4, 1) = 0, (4, 2) = 0, (4, 3) = 0, (4, 4) = -1})

(2.12)

Here is the change of basis matrix relating to .

so31b >

P := Matrix([[0,0,1/sqrt(2), 1/sqrt(2)],[0,0,1/sqrt(2), -1/sqrt(2)], [0, 1, 0, 0], [1, 0, 0, 0]]);

P := Matrix(4, 4, {(1, 1) = 0, (1, 2) = 0, (1, 3) = (1/2)*sqrt(2), (1, 4) = (1/2)*sqrt(2), (2, 1) = 0, (2, 2) = 0, (2, 3) = (1/2)*sqrt(2), (2, 4) = -(1/2)*sqrt(2), (3, 1) = 0, (3, 2) = 1, (3, 3) = 0, (3, 4) = 0, (4, 1) = 1, (4, 2) = 0, (4, 3) = 0, (4, 4) = 0})

(2.13)

so31b >

Transpose(P).Qa.P;

Matrix(4, 4, {(1, 1) = 1, (1, 2) = 0, (1, 3) = 0, (1, 4) = 0, (2, 1) = 0, (2, 2) = 1, (2, 3) = 0, (2, 4) = 0, (3, 1) = 0, (3, 2) = 0, (3, 3) = 1, (3, 4) = 0, (4, 1) = 0, (4, 2) = 0, (4, 3) = 0, (4, 4) = -1})

(2.14)

Here is the standard representation for using .

so31b >

A := StandardRepresentation(so31a);

(2.15)

Here is the standard representation for using

so31b >

B := StandardRepresentation(so31b);

(2.16)

Here are the matrices under the change of basis defined by Since the resulting matrics now preserve , they must be linear combinations of the matrices B.

so31b >

A1 := [seq(P^(-1).a.P, a = A)];

(2.17)

so31b >

C := GetComponents(A1, B);

[[0, 0, 0, 0, 0, 1], [0, 0, (1/2)*2^(1/2), 0, (1/2)*2^(1/2), 0], [0, (1/2)*2^(1/2), 0, (1/2)*2^(1/2), 0, 0], [0, 0, (1/2)*2^(1/2), 0, -(1/2)*2^(1/2), 0], [0, (1/2)*2^(1/2), 0, -(1/2)*2^(1/2), 0, 0], [-1, 0, 0, 0, 0, 0]]

(2.18)

These components specify the matrix of the isomorphism we want.

so31b >

Phi := Transformation(so31a, so31b, Transpose(Matrix(C)));

_DG([["transformation", [[so31a, 0], [so31b, 0]], [], [Matrix(%id = 105093804)]], [[-_z14, _z15], [(1/2)*2^(1/2)*_z11+(1/2)*2^(1/2)*_z13, _z16], [(1/2)*2^(1/2)*_z10+(1/2)*2^(1/2)*_z12, _z17], [(1/2)*2^(1/2)*_z11-(1/2)*2^(1/2)*_z13, _z18], [(1/2)*2^(1/2)*_z10-(1/2)*2^(1/2)*_z12, _z19], [_z9, _z20]]])