Query[MatrixAlgebra] - check if each matrix in a list of matrices belongs to a specified classical matrix algebra
Calling Sequences
Query(A, alg, options, "MatrixAlgebra")
Parameters
A - a list of square matrices, or a matrix representation of a Lie algebra
alg - a string, specifying a classical matrix algebra
options - (optional) keyword arguments output, quadraticform, skewform
Description
Examples
This query checks if a given list of matrices belongs to one of the following matrix algebras :
sln, sln,ℂ, sup, q, su∗n, un, son, son,ℂ, sop, q, so∗n, spn, ℝ, spp, q, spn, soln, niln.
For the definitions of all these matrix algebras see, SimpleLieAlgebraData.
with⁡DifferentialGeometry:with⁡LieAlgebras:
Example 1.
We check if each matrix in a list of matrices belongs to sl2.
A1≔Matrix⁡1,0,0,−1,Matrix⁡0,1,0,0,Matrix⁡0,0,1,0
A1:=100−1,0100,0010
Query⁡A1,sl(2),MatrixAlgebra
true
A2≔Matrix⁡1,0,0,−1,Matrix⁡1,1,0,0,Matrix⁡0,0,1,0
A2:=100−1,1100,0010
Query⁡A2,sl(2),MatrixAlgebra
false
With the keyword argument output = 'integer' , 0 is returned if all the matrices belong to the specified matrix algebra, otherwise the position of the first matrix which does not belong to the specified matrix algebra is returned.
Query⁡A1,sl(2),output=integer,MatrixAlgebra
0
Query⁡A2,sl(2),output=integer,MatrixAlgebra
2
Example 2.
We check if each matrix in list of matrices belong to so2,2. This is the Lie algebra of 4×4 matrices which are skew-symmetric with respect to a quadratic form of signature [2,2]. The default choice for the quadratic form is Q1 = 0I2I20. With the keyword argument version = 2, the quadratic form Q2 = I200−I2 is used. With the keyword argument quadraticform = M, the quadratic form M (a 4×4 symmetric matrix with signature [2, 2]) is used.
1. Default option.
B1≔map⁡Matrix,1,0,0,0,0,0,0,0,0,0,−1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,−1,0,0,0,0,0,1,0,0,0,0,0,0,−1,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,−1,0,0,0,−1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,−1,0,0,1,0,0,0
B1:=1000000000−100000,01000000000000−10,00001000000−10000,000001000000000−1,000−1001000000000,000000000−1001000
Query⁡B1,so(2, 2),MatrixAlgebra
2. with version = 2.
B2≔map⁡Matrix,0,−1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,−1,0,0,1,0
B2:=0−100100000000000,0010000010000000,0001000000001000,0000001001000000,0000000100000100,00000000000−10010
Query⁡B2,so(2,2),version=2,MatrixAlgebra
3. with quadraticform = M
B3≔map⁡Matrix,1,0,0,0,0,−1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,−1,0,0,0,0,0,1,0,0,0,0,0,−1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,−1,0,0,0,0,0,0,0,0,0,0,1,−1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,−1
B3:=10000−10000000000,0010000000000−100,000100000−1000000,000000100000−1000,00000001−10000000,000000000010000−1
M≔Matrix⁡0,1,0,0,1,0,0,0,0,0,0,1,0,0,1,0
M:=0100100000010010
Query⁡B3,so(2, 2),quadraticform=M,MatrixAlgebra
Example 3.
We check if the members of a list of matrices belong to sp4, ℝ. This is the real Lie algebra of matrices which are skew-symmetric with respect to a skew-symmetric matrix J. The default choice is J =0In−In0. Other forms for J can be specified with the keyword argument skewform = J.
Here is the standard form of the matrices for sp4, ℝ.
C1≔map⁡Matrix,1,0,0,0,0,0,0,0,0,0,−1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,−1,0,0,0,0,0,1,0,0,0,0,0,0,−1,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,−1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0
C1:=1000000000−100000,01000000000000−10,00001000000−10000,000001000000000−1,0010000000000000,0001001000000000,0000000100000000,0000000010000000,0000000001001000,0000000000000100
Query⁡C1,sp(4, R),MatrixAlgebra
Define a skew-symmetric matrix J.
J≔Matrix⁡0,−1,0,0,1,0,0,0,0,0,0,1,0,0,−1,0
J:=0−1001000000100−10
Here is the form of the matrices for sp4, ℝ with respect to J.
C2≔map⁡Matrix,−1,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,−1,0,0,0,0,0,0,−1,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,−1,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0
C2:=−1000010000000000,000000100000−1000,000−1000001000000,000000000010000−1,0000100000000000,0000000110000000,0000000000010000,0100000000000000,0010000000000100,0000000000000010
Query⁡C2,sp(4, R),skewform=J,MatrixAlgebra
Example 4.
Check that a list of matrices consists of upper triangular matrices.
D1≔map⁡Matrix,1,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,1
D1:=100000000,010000000,001000000,000010000,000001000,000000001
Query⁡D1,sol(3),MatrixAlgebra
Example 5.
Check that a list of matrices consists of nilpotent matrices.
E≔map⁡Matrix,−1,2,1,3,−1,2,1,3,1,−2,−1,−3,0,0,0,0,−1,3,2,4,−1,2,1,2,1,−4,−3,−6,0,1,1,2,0,1,1,0,0,1,1,0,0,−1,−1,0,0,0,0,0
E:=−1213−12131−2−1−30000,−1324−12121−4−3−60112,011001100−1−100000
Query⁡E,nil(4),MatrixAlgebra
LieAlgebraData⁡D1,NN
e1,e2=e2,e1,e3=e3,e2,e4=e2,e2,e5=e3,e3,e6=e3,e4,e5=e5,e5,e6=e5
Example 6.
Check that the following matrices define a Lie algebra and that this representation is unitary.
F≔map⁡Matrix,0,0,0,0,0,I,0,0,0,0,−I,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,I,0,0,0,0,−I,0,0,0,0,0,0,0,−1,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,I,0,0,0,0,0,I,0,0
F:=00000I0000−I00000,0000000000I0000−I,0000000−100000100,0000000I00000I00
LD≔LieAlgebraData⁡F,alg
LD:=e1,e3=−e4,e1,e4=e3,e2,e3=−e4,e2,e4=e3,e3,e4=−2⁢e2−2⁢e1
DGsetup⁡LD
Lie algebra: alg
DGsetup⁡x1,x2,x3,V
frame name: V
ρ≔Representation⁡alg,V,F
ρ:=e1,00000I0000−I00000,e2,0000000000I0000−I,e3,0000000−100000100,e4,0000000I00000I00
Query⁡ρ,u(4),MatrixAlgebra
See Also
DifferentialGeometry
Query
Representation
SimpleLieAlgebraData
StandardRepresentation
Download Help Document
What kind of issue would you like to report? (Optional)