provide a table of properties for any real simple 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
エラーメッセージガイド
マニュアル
数学アプリ

LieAlgebras[SimpleLieAlgebraProperties] - provide a table of properties for any real simple Lie algebra

Calling Sequences

SimpleLieAlgebraProperties()

Parameters

alg - a name or string, the name of a real simple Lie algebra created using SimpleLieAlgebraData

Description

•

The DifferentialGeometry package provides two different approaches for studying simple and semi-simple Lie algebras. If a semi-simple Lie algebra arises, for example, as the symmetries of some geometric objects (metric, connections, differential equations) then there is an extensive set of commands for analyzing the structure of this algebra. These commands include CartanSubalgebra, CartanMatrix, CartanMatrixToStandardForm, Killing, PositiveRoots, SimpleRoots, RootSpaceDecomposition, Cartan Decomposition. If one wishes to work with a specific real simple Lie algebra, then the structure equations are available with the command SimpleLieAlgebraData. Many structural properties of the simple Lie algebras has been tabulated and are available using the procedure SimpleLieAlgebraProperties.

•

The procedure SimpleLieAlgebraProperties returns a table whose indices specify the properties that are available for the given algebra. Let be a simple Lie algebra of dimension and rank with Cartan subalgebra h, root space decomposition, and restricted root space decomposition The following properties are computed.

"CartanDecomposition" : 2 lists of vectors k and p; where t is a subalgebra, p a subspace, [t, p] 4 p and [p, p] 4 t. The Killing form is negative-definite on t and positive-definite on p. ♣ Cartan Decomposition	"CartanInvolution" : a tranformation Θ : g → g with and such that the symmetry bilinear form is positive-definite. ♣ CartanInvolution
"CartanMatrix" : an matrix, the standard Cartan matrix for the root type of the Lie algebra. CartanMatrix	" : a list of vectors. A Cartan subalgebra h is a nilpotent subalgebra whose normalizer in g is itself, that is, . The Cartan subalgebras for the classic matrix algebras are diagonal matrices. A basis is choosen such that the roots consist of integers or pure imaginary numbers (with integer coefficients). CartanSubalgebra,
"CartanSubalgebraDecomposition" : 2 lists of vectors spanning the Cartan subalgebra h. The Killing form is negative-definite on the first list and positive-definite on the second list.	"IwasawaDecomposition" : 3 lists of vectors such that , where k is a compact semi-simple subalgebra; is abelian, and n nilpotent. The Killing form is positive-definite on
"KillingMatrix" : symmetric, non-degenerate matrix. Killing	"NegativeRootSpaces" : a table, the indices are the roots α 2 (as lists) and the entries are vectors defining the root spaces . RootSpaceDecomposition
"NegativeRoots" : a list of column vectors defining the negative roots A root is negative if its first non-zero component is or , where is a negative integer.	"PositiveRootSpaces" : a table, the indices are the roots α 2 (as lists) and the entries are vectors defining the root spaces . RootSpaceDecomposition
"PositiveRoots" : a list of column vectors defining the positive roots A root is positive if its first non-zero component is or , where is a positive integer. PositiveRoots	"RestrictedPositiveRoots" : a table, the indices are the restricted positive roots α 2 (as lists) and the entries are lists of vectors defining the root spaces .♦
"RestrictedRootSpaceDecomposition" : a table, the indices are the roots α 2 (as lists) and the entries are lists of vectors defining the restricted root spaces .♦	"RestrictedSimpleRoots" : a list of column vectors, giving the restricted simpe roots
"RootSpaceDecomposition" : a table, the indices are the roots α 2Δ (as lists) and the entries are vectors defining the root spaces . RootSpaceDecomposition	"SimpleRootSpaces" : a table, the indices are the simple roots α 2(as lists) and the entries are vectors defining the root spaces .
"SimpleRoots" : a list of column vectors defining the simple roots. Every positive root is a linear combination of the simple roots with positive integer coefficients. SimpleRoots	Not computed for compact Lie algebras, that is, if the Killing form is negative-definite. ♦ : Not computed for split-real forms, that is, if the root space decomposition is real.

•	For split-real forms the standard Borel sub-algebra (see ParabolicSubalgebras) is also given.

•	Many of these properties of simple and semi-simple Lie algebras can be checked with the Query command.

Examples

Example 1

We obtain the structural properties for the Lie algebra . This is the split real form for Lie algebras of root type A. First, we use the command SimpleLieAlgebraData to initialize this Lie algebra.

(2.1)

We use the command SimpleLieAlgebraProperties to obtain the properties of the Lie algebra .

Here are the indices for the table Properties.

sl4 >

["SimpleRootSpaces"], ["PositiveRootSpaces"], ["NegativeRoots"], ["PositiveRoots"], ["NegativeRootSpaces"], ["CartanInvolution"], ["KillingForm"], ["CartanDecomposition"], ["SimpleRoots"], ["RootSpaceDecomposition"], ["BorelSubalgebra"], ["CartanMatrix"], ["CartanSubalgebra"]

(2.2)

It is convenient to use the map and op commands to display the indices as a list of strings.

sl3 >

["BorelSubalgebra", "CartanDecomposition", "CartanInvolution", "CartanMatrix", "CartanSubalgebra", "KillingForm", "NegativeRootSpaces", "NegativeRoots", "PositiveRootSpaces", "PositiveRoots", "RootSpaceDecomposition", "SimpleRootSpaces", "SimpleRoots"]

(2.3)

Here are some of the individual properties for the Lie algebra .

sl3 >

(2.4)

sl3 >

(2.5)

The command LieAlgebraRoots lists the roots associated to this root space decomposition. Note that the roots are all real.

sl4 >

(2.6)

Note that the first non-zero component of each positive root is positive and that the first non-zero component of each negative root is negative.

sl4 >

PR := [Vector(3, {(1) = 1, (2) = -1, (3) = 0}), Vector(3, {(1) = 0, (2) = 1, (3) = -1}), Vector(3, {(1) = 1, (2) = 1, (3) = 2}), Vector(3, {(1) = 1, (2) = 0, (3) = -1}), Vector(3, {(1) = 1, (2) = 2, (3) = 1}), Vector(3, {(1) = 2, (2) = 1, (3) = 1})]

(2.7)

sl4 >

NR := [Vector(3, {(1) = -1, (2) = 1, (3) = 0}), Vector(3, {(1) = 0, (2) = -1, (3) = 1}), Vector(3, {(1) = -1, (2) = -1, (3) = -2}), Vector(3, {(1) = -1, (2) = 0, (3) = 1}), Vector(3, {(1) = -1, (2) = -2, (3) = -1}), Vector(3, {(1) = -2, (2) = -1, (3) = -1})]

(2.8)

It is easy to check that positive roots are positive linear combinations of the simple roots.

sl4 >

ST := [Vector(3, {(1) = 1, (2) = -1, (3) = 0}), Vector(3, {(1) = 0, (2) = 1, (3) = -1}), Vector(3, {(1) = 1, (2) = 1, (3) = 2})]

(2.9)

sl4 >

(2.10)

We check that the Killing form is positive-definite on the first list of vectors CD[1] and negative-definitive on the second list of vectors.

sl4 >

(2.11)

sl4 >

(2.12)

Example 2

We obtain the structural properties for the Lie algebra . This is the compact form for Lie algebras of root type A. First, we use the command SimpleLieAlgebraData to initialize this Lie algebra.

(2.13)

We use the command SimpleLieAlgebraProperties to obtain the properties of the Lie algebra .

su4 >

It is convenient to use the map and op commands to display the indices as a list of strings.

su4 >

["CartanMatrix", "CartanSubalgebra", "CartanSubalgebraDecomposition", "NegativeRootSpaces", "NegativeRoots", "PositiveRootSpaces", "PositiveRoots", "RootSpaceDecomposition", "SimpleRootSpaces", "SimpleRoots"]

(2.14)

Here are some of the individual properties for the Lie algebra .

su4 >

(2.15)

su4 >

(2.16)

The roots are all pure imaginary numbers so that this is indeed the compact form.

su4 >

(2.17)

The first non-zero coefficient of in each positive root is positive.

su4 >

PR := [Vector(3, {(1) = I, (2) = -I, (3) = 0}), Vector(3, {(1) = 0, (2) = I, (3) = -I}), Vector(3, {(1) = I, (2) = I, (3) = 2*I}), Vector(3, {(1) = I, (2) = 0, (3) = -I}), Vector(3, {(1) = I, (2) = 2*I, (3) = I}), Vector(3, {(1) = 2*I, (2) = I, (3) = I})]

(2.18)

su4 >

ST := [Vector(3, {(1) = I, (2) = -I, (3) = 0}), Vector(3, {(1) = 0, (2) = I, (3) = -I}), Vector(3, {(1) = I, (2) = I, (3) = 2*I})]

(2.19)

Example 3

We obtain the structural properties for the Lie algebra . First, we use the command SimpleLieAlgebraData to initialize this Lie algebra.

(2.20)

We use the command SimpleLieAlgebraProperties to obtain the properties of the Lie algebra .

su22 >

It is convenient to use the map and op commands to display the indices as a list of strings.

su22 >

(2.21)

Here are some of the individual properties for the Lie algebra .

su22 >

(2.22)

su22 >

(2.23)

Note that first two components of the roots are real and the third component is pure imaginary.

su22 >

[Vector(3, {(1) = 1, (2) = -1, (3) = 2*I}), Vector(3, {(1) = 0, (2) = 2, (3) = 0}), Vector(3, {(1) = 1, (2) = -1, (3) = -2*I}), Vector(3, {(1) = 1, (2) = 1, (3) = 2*I}), Vector(3, {(1) = 1, (2) = 1, (3) = -2*I}), Vector(3, {(1) = 2, (2) = 0, (3) = 0})]

(2.24)

su22 >

[Vector(3, {(1) = 1, (2) = -1, (3) = 2*I}), Vector(3, {(1) = 0, (2) = 2, (3) = 0}), Vector(3, {(1) = 1, (2) = -1, (3) = -2*I})]

(2.25)

Since the root vectors are neither real nor pure imaginary, we have a restricted root space decomposition.

su22 >

(2.26)

The restricted roots are the projections of the roots which yield real vectors. Since the restricted root [1,1] is the projection of the 2 roots [1, 1, 2I] and [1, 1, -2I], the restricted root space for [1,1] is 2-dimensional. Note also that while the root spaces are defined over C, the restricted root space are real subspaces of .

su22 >

[Vector(2, {(1) = 1, (2) = -1}), Vector(2, {(1) = 2, (2) = 0}), Vector(2, {(1) = 0, (2) = 2}), Vector(2, {(1) = 1, (2) = 1})]

(2.27)

su22 >

[Vector(2, {(1) = 1, (2) = -1}), Vector(2, {(1) = 0, (2) = 2})]

(2.28)

su22 >

(2.29)

su4 >

(2.30)

su22 >

(2.31)

su22 >

(2.32)

Let's us check the properties of this KAN decomposition. The first list of vectors defines a subalgebra with negative-definite Killing form.

su22 >

(2.33)

su22 >

(2.34)

The second list of vectors defines an abelian subalgebra>

su22 >

(2.35)

The third list of vectors defines a nilpotent Lie algebra.

su22 >

(2.36)

	See Also
	DifferentialGeometry, LieAlgebras, CartanDecomposition, CartanInvolution, CartanMatrix, CartanMatrixToStandardForm, CartanSubalgebra, PositiveRoots, RootSpaceDecomposition, RestrictedRootSpaceDecomposition, SimpleRoots