[GAP Forum] Root system of semi-simple Lie algebra G2
Georg Beyerle
mail at gbeyerle.de
Sun Dec 8 22:43:01 GMT 2013
Hello,
the following table of structure constants (see below) appears to define
a semi-simple Lie algebra. However, the call to RootSystem() fails:
GAPInfo.Version = 4.6.4
GAPInfo.Architecture = i586-suse-linux-gnu-gcc-default32
Dimension( L ) = 14
SemiSimpleType( L ) : G2
Determinant( KillingMatrix( Basis( L ))) = 9618527719784448
CartanSubalgebra( L ) = Algebra( Rationals, [ v.1, v.8 ] )
#I the Cartan subalgebra of <L> in not split
RootSystem( L ) = fail
What am I missing?
Thanks
Georg
Print( "GAPInfo.Version = ", GAPInfo.Version, "\n" );
Print( "GAPInfo.Architecture = ", GAPInfo.Architecture, "\n" );
SetInfoLevel( InfoAlgebra , 2 );
T:= EmptySCTable( 14, 0, "antisymmetric" );;
SetEntrySCTable( T, 1, 2, [ -1 , 3 , -1 , 10 ] );;
SetEntrySCTable( T, 1, 3, [ 1 , 2 , 1 , 9 ] );;
SetEntrySCTable( T, 1, 4, [ 1 , 5 , -1 , 12 ] );;
SetEntrySCTable( T, 1, 5, [ -1 , 4 , -1 , 11 ] );;
SetEntrySCTable( T, 1, 6, [ 1 , 14 ] );;
SetEntrySCTable( T, 1, 7, [ 1 , 6 , 1 , 13 ] );;
SetEntrySCTable( T, 1, 9, [ 1 , 10 ] );;
SetEntrySCTable( T, 1, 10, [ -1 , 9 ] );;
SetEntrySCTable( T, 1, 11, [ 1 , 12 ] );;
SetEntrySCTable( T, 1, 12, [ -1 , 11 ] );;
SetEntrySCTable( T, 1, 13, [ 1 , 14 ] );;
SetEntrySCTable( T, 1, 14, [ -2 , 6 , -2 , 13 ] );;
SetEntrySCTable( T, 2, 3, [ -1 , 1 , -1 , 8 ] );;
SetEntrySCTable( T, 2, 4, [ -1 , 6 , -1 , 13 ] );;
SetEntrySCTable( T, 2, 5, [ -1 , 7 , -1 , 14 ] );;
SetEntrySCTable( T, 2, 6, [ -1 , 11 ] );;
SetEntrySCTable( T, 2, 7, [ 1 , 5 , -1 , 12 ] );;
SetEntrySCTable( T, 2, 8, [ -1 , 10 ] );;
SetEntrySCTable( T, 2, 10, [ 1 , 8 ] );;
SetEntrySCTable( T, 2, 11, [ 1 , 6 ] );;
SetEntrySCTable( T, 2, 12, [ 1 , 7 , 1 , 14 ] );;
SetEntrySCTable( T, 2, 13, [ 1 , 4 , 1 , 11 ] );;
SetEntrySCTable( T, 2, 14, [ 1 , 5 , -1 , 12 ] );;
SetEntrySCTable( T, 3, 4, [ -1 , 7 ] );;
SetEntrySCTable( T, 3, 5, [ -2 , 6 ] );;
SetEntrySCTable( T, 3, 6, [ 2 , 5 ] );;
SetEntrySCTable( T, 3, 7, [ 1 , 4 ] );;
SetEntrySCTable( T, 3, 8, [ 1 , 9 ] );;
SetEntrySCTable( T, 3, 9, [ -1 , 8 ] );;
SetEntrySCTable( T, 3, 11, [ 1 , 7 , 1 , 14 ] );;
SetEntrySCTable( T, 3, 12, [ -1 , 6 ] );;
SetEntrySCTable( T, 3, 13, [ -1 , 5 ] );;
SetEntrySCTable( T, 3, 14, [ -1 , 4 , -1 , 11 ] );;
SetEntrySCTable( T, 4, 5, [ -1 , 8 ] );;
SetEntrySCTable( T, 4, 6, [ 1 , 9 ] );;
SetEntrySCTable( T, 4, 7, [ -2 , 3 , -2 , 10 ] );;
SetEntrySCTable( T, 4, 8, [ 1 , 5 ] );;
SetEntrySCTable( T, 4, 9, [ -1 , 6 ] );;
SetEntrySCTable( T, 4, 10, [ 1 , 7 ] );;
SetEntrySCTable( T, 4, 12, [ -1 , 1 , -1 , 8 ] );;
SetEntrySCTable( T, 4, 13, [ -1 , 2 , -1 , 9 ] );;
SetEntrySCTable( T, 4, 14, [ 1 , 3 , 1 , 10 ] );;
SetEntrySCTable( T, 5, 6, [ -2 , 3 ] );;
SetEntrySCTable( T, 5, 7, [ 1 , 9 ] );;
SetEntrySCTable( T, 5, 8, [ -1 , 4 ] );;
SetEntrySCTable( T, 5, 9, [ -1 , 7 ] );;
SetEntrySCTable( T, 5, 10, [ -1 , 6 ] );;
SetEntrySCTable( T, 5, 11, [ -1 , 1 , -1 , 8 ] );;
SetEntrySCTable( T, 5, 13, [ 1 , 3 ] );;
SetEntrySCTable( T, 5, 14, [ -1 , 2 , -1 , 9 ] );;
SetEntrySCTable( T, 6, 7, [ 1 , 8 ] );;
SetEntrySCTable( T, 6, 8, [ -1 , 7 ] );;
SetEntrySCTable( T, 6, 9, [ 1 , 4 ] );;
SetEntrySCTable( T, 6, 10, [ 1 , 5 ] );;
SetEntrySCTable( T, 6, 11, [ -1 , 2 ] );;
SetEntrySCTable( T, 6, 12, [ 1 , 3 ] );;
SetEntrySCTable( T, 6, 14, [ 1 , 1 ] );;
SetEntrySCTable( T, 7, 8, [ 1 , 6 ] );;
SetEntrySCTable( T, 7, 9, [ 1 , 5 ] );;
SetEntrySCTable( T, 7, 10, [ -1 , 4 ] );;
SetEntrySCTable( T, 7, 11, [ -1 , 3 , -1 , 10 ] );;
SetEntrySCTable( T, 7, 12, [ -1 , 2 , -1 , 9 ] );;
SetEntrySCTable( T, 7, 13, [ 1 , 1 , 1 , 8 ] );;
SetEntrySCTable( T, 8, 9, [ -2 , 10 ] );;
SetEntrySCTable( T, 8, 10, [ 2 , 9 ] );;
SetEntrySCTable( T, 8, 11, [ 1 , 12 ] );;
SetEntrySCTable( T, 8, 12, [ -1 , 11 ] );;
SetEntrySCTable( T, 8, 13, [ -1 , 7 , -1 , 14 ] );;
SetEntrySCTable( T, 8, 14, [ 1 , 6 , 1 , 13 ] );;
SetEntrySCTable( T, 9, 10, [ -2 , 8 ] );;
SetEntrySCTable( T, 9, 11, [ -1 , 6 , -1 , 13 ] );;
SetEntrySCTable( T, 9, 12, [ -1 , 14 ] );;
SetEntrySCTable( T, 9, 13, [ 1 , 4 , 1 , 11 ] );;
SetEntrySCTable( T, 9, 14, [ 1 , 12 ] );;
SetEntrySCTable( T, 10, 11, [ -1 , 14 ] );;
SetEntrySCTable( T, 10, 12, [ 1 , 6 , 1 , 13 ] );;
SetEntrySCTable( T, 10, 13, [ 1 , 5 , -1 , 12 ] );;
SetEntrySCTable( T, 10, 14, [ 1 , 11 ] );;
SetEntrySCTable( T, 11, 12, [ 2 , 1 , 2 , 8 ] );;
SetEntrySCTable( T, 11, 13, [ -1 , 2 , -1 , 9 ] );;
SetEntrySCTable( T, 11, 14, [ -1 , 10 ] );;
SetEntrySCTable( T, 12, 13, [ 1 , 3 , 1 , 10 ] );;
SetEntrySCTable( T, 12, 14, [ -1 , 9 ] );;
SetEntrySCTable( T, 13, 14, [ 1 , 1 ] );;
L := LieAlgebraByStructureConstants( Rationals, T );
Print( "Dimension( L ) = ", Dimension( L ), "\n" );
typ := SemiSimpleType( L );
Print( "SemiSimpleType( L ) : ", typ, "\n" );
detKM := Determinant( KillingMatrix( Basis( L )));
Print( "Determinant( KillingMatrix( Basis( L ))) = ", detKM, "\n" );
H := CartanSubalgebra( L );
Print( "CartanSubalgebra( L ) = ", H, "\n" );
R := RootSystem( L );
Print( "RootSystem( L ) = ", R, "\n" );
More information about the Forum
mailing list