A NNALES DE L ’I. H. P., SECTION A
L. T RLIFAJ
Exceptional and orthosymplectic graded Lie algebras
Annales de l’I. H. P., section A, tome 29, n
o1 (1978), p. 111-122
<http://www.numdam.org/item?id=AIHPA_1978__29_1_111_0>
© Gauthier-Villars, 1978, tous droits réservés.
L’accès aux archives de la revue « Annales de l’I. H. P., section A » implique l’accord avec les conditions générales d’utilisation (http://www.numdam.
org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright.
Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques
http://www.numdam.org/
p. 111
Exceptional and orthosymplectic graded
Lie algebras
L. TRLIFAJ
Institute of Physics of the Czechoslovak Acad. Sci., Prague
Inst. Henri Vol. XXIX, n° 1, 1978,
Section A :
Physique ’ théorique.’
ABSTRACT. The connection between the
exceptional
and the associatedorthosymplectic graded
Liealgebras
is shownby redefining
the anti-commutator of the odd generators. Possible modifications of the anti- commutator as well as admissible Lie
algebras
of the even generators are restrictedby
the two Jacobiidentities,
so that the well-known three casesof the
exceptional graded
Liealgebras
are obtained. The concept of non- standard matrixrepresentation
based on such a modification can be introduced.1. INTRODUCTION
Physical application
of thegraded
Liealgebras (GLAs)
in theproblems
of supersymmetry was reviewed in many papers
(for example
see[7-~]),
the
questions
of their classification were solved in a series of papers[4-9].
The aim of this note
is,
to show the connection between theexceptional
and the
orthosymplectic GLAs,
which was not mentioned in them.They belong
to a class of thesimple
GLAs[6],
which can becharacterized, essentially, by
someregular
metric matrices in the usedapproach.
In Section
2,
theorthosymplectic
GLAs are constructed on the base of the correlated odd generatorsby using
twoisomorphic graded
vectorspaces with the bilinear form
(in
the bra and ketformalism).
Some of their mainproperties
are also reviewed. Theexceptional
GLAs are related tothe
orthosymplectic
onesby redefining
the anticommutator of the odd generators in Section 3. Such a modification mustcomply
with the twoJacobi identities which
specify
itconsiderably.
The first of them restricts thesymplectic
even part of the GLA to thesp(2, R)
Liealgebra (LA)
andrequires
some symmetry condition to be fulfilledby
thequantity
whichAnnales de l’Institut Henri
determines the modification of the anticommutator.
According
to thesecond
identity
theembedding
of the allowedsub algebra
into theremaining
even
(orthogonal)
part of the GLA isperformed.
The detailedanalysis
has shown that there exist three known
[8] subalgebras
of thiskind,
henceusing
thetechniques
of theprojection
operators introduced in Section 3we
briefly
demonstrate theirproperties
from thepoint
of view of theapplied approach only
in Section 4. Thisapproach
allows also to introduce the lowest non-standard matrixrepresentations
beside the standard(next
lowest
adjoint) representations
of theexceptional
GLAs. In the latter the commutators and the anticommutators of two matrices A and B are repre- sentedby
the conventionalexpressions [A, B]
± = AB ±BA,
in the former the redefined form of theanticommutator,
which is a linear combi- nation of the conventionalanticommutators,
is used.2. PRELIMINARIES
The
general
GLA can be constructed[6, 8] by
means of a(graded)
vector space V =
Vo
EBVI
and theisomorphic
vector space V =Vo
EBY~
whose even
subspaces Vo
andV~
and oddsubspaces V1
andV~
arespanned by
the associated basis(a
=1,
...,m)
anda ), a’ ~ (a
=1,
...,n) respectively.
The bilinear form is assumed to be eventhe associated matrices with the
elements a’|b> and (
a’|03B2> being regular.
To
beginn
with we define the 2mnindependent
odd generators of the GLAwhere
hl and h2
are fixed numbers. Thepurely algebraic
anticommutator of generatorsGaa
andGb~
isexpressed
in terms of the(m2
+n2) independent
even generators of the GLA and their « unit » element as follows
Using
the inverse metric( ~ ’ ~ ~ -1 ~ ’ ~ ~
=~)
associatedto the bilinear form
(1)
in each of thesubspaces
wegive
theexplicit
expres- sions for the even and traceless generatorsSab
andÜ0153p only
Section A
EXCEPTIONAL AND ORTHOSYMPLECTIC GRADED LIE ALGEBRAS 113
as the generators
Oab
and are defined in the similar way. When the trace of the unit element Eis
taken,
the matrix YA of thegrading automorphism [7]
must beapplied
In what follows new metric matrices with the elements
prove useful.
They
aresymmetric
andskew-symmetric respectively
aswell as the generators
Sab
and4aa
in the indices ab anda f~.
We could close the GLAby calculating
theremaining
anticommutators for generators G and F and the commutators for oddand/or
even generators. Such GLA is classified as a real formm")
xSU(n’, n")
xSU(I);
with
(variable) signatures m
= m’ ~- m" and n = n’ -+ n"according
to thenotation of ref
[9] provided
theisomorphism
of vector spaces V and Valong
with the associated bilinear form issuitably
chosen(Hermitian).
Since we are interested in the
subalgebras
of these GLAs we remarkonly
thatHence,
thepreservation
of a half of the odd basis(2) only
results inthe necessary elimination of the unit
element,
which meansaccording
torelation
(3),
thatThe generators
F~y
must be eliminated also in the commutators and wherethey
occur. This isaccomplished,
ifBut then the generators
OQb
andS~a disappear
in the anticommutator(3)
too and
they
need not be considered at all. Themultiplication
of the basisVol.
vectors> by
somearbitrary
constants C induces themultiplication
of theassociated vectors
’
within the generator(2) by
thecomplex conjugate
constants C* or
by
Cdepending,
whether thecorresponding
bilidear form is Hermitian or real. The correlation in eq.(2) is, therefore,
notchanged, only
if bilinear forms(’ I>
andaccordingly
constants g =h1h2
and theforthcoming
LAs are taken real.Introducing
the notationwe can write the
only
non-zero structure relations of theinvestigated subalgebra
in a lucide formHere and in what follows the sum over two
repeated
indices isimplied.
The
right-hand
sides of relations(12 b) give
us therepresentations
of theeven generators within the
independent
and closedsubspaces
of the oddgenerators.
Theserepresentations
areparts
of the usualadjoint
represen- tation[IO]
of thegiven GLA,
in which therepresentation
of the brackets[ , ] ±
is conventional and determined
by
the Jacobi identities[3].
The constructive way ofbuilding
up the wholesubalgebra
ensures us their automatical fulfilment.Inside each of the LA
(12 c)
the Cartansub algebra
can be introduced.The usual
analysis [11]
then shows that the whole GLA is ortho-symplectic [6],
theorthogonal part allowing,
ingeneral,
an indefinitemetric s03B103B2 in the used real forms.
Using again
the notation of ref.[9]
weclassify
it as(Sp(2p)
xO(n’, 2p x n),
where2p
= m and the(variable) signature n
= n’ + After thecomplexification
it is converted to(Sp(2p)
xO(~); 2p
xn)
over thecomplex
numbers. Thebyproduct
ofthis
analysis
is the moreprecise
form[8]
of the so-calledroot-weight
theorem
[5].
The relations
(12)
do notessentially change
under thereplacement
ofthe first set of the odd generators
Ga03B1
of eq.(2) by
the second oneFa03B1,
whichinduces the
sign change
in theright-hand
sideof eq. (12 a) only.
This corres-ponds
to thespecial
types ofrepresentations (grade
starrepresentations [72])
of the
orthosymplectic
GLAs.Relation
(8)
indicates that cases n = m can lead to thespecial
sub-de l’Institut Henri Poincaré - Section A
115
EXCEPTIONAL AND ORTHOSYMPLECTIC GRADED LIE ALGEBRAS
algebras
in construction of which thepossible
isometricisomorphism
between the
subspaces Vo
andV1
ofequal
dimensions isemployed
besidecorrelations within the odd basis of the GLA. These cases were
investigated
in refs
[7, 8 ].
3. EXCEPTIONAL ALGEBRAS
Apart
from the derivation the structure relations( 12)
represent an abstract GLA. The involved LAs as well as theirpossible
substructuresare fixed
by
the relations(12 c)
and(12 b).
A realization of suchsubstructures,
which could becompleted
to(new) GLAs,
isconsequently subjected,
ingeneral,
to achange
of the relation(12 a).
Hence,
we redefine itby applying
a(homomorphic) mapping
where the
quantities
D and Aare chosen
skew-symmetric
in the indicesa{3 and yb respectively
due tothe inherent symmetry
properties
of the anticommutators.The new anticommutator does not fulfil the Jacobi identities auto-
matically,
butbeing
related to the old basis it can be testedby
those twoidentities which
experience change (13).
The first of theminvolving
threeodd generators
Gd~
in thecyclic permutations
of thecouples
of indices d~confines the dimensions of the vector
subspaces Vo
andVo
to m = 2 accord-ing
to eqs.(12 a, b).
At the same time thefollowing
symmetry conditionsmust be fulfilled. The obtained real form
sp(2, R)
isisomorphic
to thereal form
sl(2, R) (and su(l, 1)) [13]..
The restraint m = 2 istypical [8]
ofthe
exceptional GLAs,
so that theexceptionality
can be tied to the modifi- cation(13).
Only
now theanticipated
form ofspecial
choice( 13)
may be made clearer. One cannamely
show in a more detailedanalysis that,
from themore
general
forms of the anticommutator modification whichinclude,
for
example,
thesymplectic
deformation too, theexpression (13)
only
leads to non-trivial conclusions. The symmetry conditionsimposed
by
the Jacobiidentity ( 14)
and therequirement
of thegeneral independence
of the LAs
(12 c)
are very strong, so that the chosen form(13)
of the anti- commutator modification issufficiently general.
The next restraint on tensor A comes from the
possible
reduction orrearrangement of the basis of the
remaining orthogonal
LA. Let us decom-pose the « unit » operator of relation
(13 a)
into twoprojection
operatorswhere the abbreviated notation p2 -+ is used. If the redundant generators of the
orthogonal
LA are eliminatedby
means of the pro-jection
operatorQ,
then theequality Q { , } =
0 musthold, hence,
accord-ing
to relation(13)
where K is some constant. The
specification
of the operatorQ (and P)
which
is,
asmentioned,
identical with the determination of the admissiblesubalgebra
of theorthogonal LA,
is aproblem by
itself Thesubalgebra,
whose generators
Uaa
consist of the linear combinations of generators is notonly
embedded into theorthogonal LA,
but its generators must alsoobey
the second Jacobiidentity
of the new GLAThe choice of the
subalgebra is, therefore,
notarbitrary,
it must be consistent with relations(18)
as well as(15).
If the
orthogonal
LA is not reduced anddecays only
into the directsum of two
subalgebras,
then the tensor Asplits
into twoprojection
ope- rators of type(16)
where
K1
andK2
are some constants.Using
the results of ref.[8]
we can, now, avoid thelengthy
way of conside- rations which would lead to thespecification
of operators(16)
and reviewonly
the knownexceptional
GLA from thepoint
of view of thegiven approach.
4. SPECIAL CASES
The three-dimensional real
sp(2, R)
LA will be describedby
means ofthe known C matrix which is related to the Pauli matrix !2
We can
easily
transform its structure relations into those of the(complex) su(2)
LAby
means of Pauli matricesperforming
itscomplexification
atthe same time. The
complexification
must be then extended to the wholel’Institut Henri Poincaré - Section A
117 EXCEPTIONAL AND ORTHOSYMPLECTIC GRADED LIE ALGEBRAS
GLA. This
procedure
isbrought
aboutstraight-forward by
the admissibleembedding
into theorthogonal
LA in the second caseinvestigated
4.2.It does not contradict the allowed values of constant g =
h1h2
in eq.( 13),
which can be chosen
complex,
ingeneral.
The finalprocedure
ofcomplexi-
fication will be
always
understood in the allinvestigated
cases.The
G2 algebra
is embedded into theo(7) LA, hence,
we choose saa =5~
(x, ~3
=1,
...,7),
so thatquantities (11)
are as followsIt is
completely
characterizedby
atotally skew-symmetric
tensorwhose absolute
value
= 1 for seventriples
of indicesonly (details
see refs
[8, 14] ). Projection
operatorscorresponding
to the elimination of sevenindependent
generatorsUa
=(oc
=1,
...,7)
of theo(7)
LAare
where tensor
D03B103B203B303B4
mustbe, according
to eq.(15),
and also istotally
skew-symmetric being
non-zero for sevenquadruples
of indicesonly [8, 14].
If the
dependent (14
of themindependent)
generatorsUa~
=1,
...,7)
are
introduced, then, according
to the second eq.(12 b),
matrices= constitute their
adjoint representation
within the odd- generatorsubspace,
so that the functionmust be
expressible by
means of the structure constants of theG2
LA. Henceforward the conventionalrepresentation
of the matrix commutator[A, B]- =
AB - BA is used. One can showmaking
use ofthe
identity [8]
Vol.
and of the
expression
for D in eqs.(21 ),
that the relation(23) is, indeed, fulfilled,
if are the structure constants of theG2
LA[8]
The Jacobi
identity (18) requires
functionÐ(a{3, y~,
definedby
eq.
(23)
to betotally skew-symmetric
in thecouples
of indices(0~8), (y5)
and
However,
according
to eqs.(23), (16)
and(21).
The last term in eq.(25 a) being
zerodue to eq.
(23)
and to theorthogonality
ofprojectors
P andQ,
functiony~,
istotally skew-symmetric along
with functionyb,
Since the Jacobi identities
(14)
and(18)
are satisfied and the anticommu-tator { , }
has the needed symmetryproperties,
we can nowforget
theexplicit
definitions of the anticommutator in eq.( 13)
and of the gene-rators
(22)
and consider them asgiven
in an abstract wav.Summing
up the
G2 part
of theinvestigated
GLA we have thenwhere the structure constants are
given by
eqs.(20)
and(25).
Thesp(2) part
of the GLA remainsunchanged
asgiven by
the firstequations
ineqs.
(12 b)
and(12 c).
The obtained structure relations conform with those of ref.[8],
where some other details are also mentioned.The relevant feature of the used
approach
is apossibility
ofintroducing
the lowest irreducible
(m
+n)
x(m
+n) ( =
9 x9)
matrixrepresentation,
which can be called non-standard. If
namely
the anticommutator for the odd generators is takenexplicitly
in form(13)
and its interior anticommu- tator of tworepresentation
matrices isrepresented
in a conventional way[A, B]+ =
AB +BA,
then therepresentation
matrices are as followsAnnales de l’Institut Henri Poincare - Section A
EXCEPTIONAL AND ORTHOSYMPLECTIC GRADED LIE ALGEBRAS 119
If the
anticommutator {A, B}
is taken direct in the conventional way, there is no suchpossibility.
Such a form of the matrix anticommutator is related to the standard 9 x 9representation
of the associatedosp(2, 7)
GLA(notation
see ref.[12]).
Unlike the GLA of this type which has been reviewed in Section 2 the
« new » (complex) 0(7)
LAis,
now, assumed to be embedded into the0(8) LA,
whose real form used iso(4, 4).
Theadequate description
of thisspinor embedding
wasdevelopped
in ref.[15] by
means of Hermitian 8 x 8 matricesra
=ra+ (a
=1,
...,7)
of the Dirac typeThere exists a
charge conjugation
matrix fdefining
an invariant bilinear form with respect to the full 7-dimensional rotation group[15]
with pro-perties
where
symbol -
over matrices denotes theirtransposition.
Due to thefirst two
properties (28 b)
weidentify
the metric matrix in eqs.(12)
with matrix Since the basis of the
o(4, 4)
LA is reduced to thatUab
ofo (7)
LAby
the transformationand
according
to eqs.(12 c)
and(28),
theprojection
operator(17 a), owing
to tr
16(~),
iswhere
symbol (~)
isgiven by
the second eq.(13 a).
The
projection
operator A fulfils eq.(15),
which can beinterpreted
asthe
generalized
form of the well-known Fierzidentity.
The second Jacobiidentity (18)
is alsofulfilled,
, formatrix 1 2 0393ab
is arepresentation
matrixof
o (7)
LA as follows direct from relations(29)
and( 12 b).
This isexplicitly
evident from the
remaining
structure relations of theo(7~
part of theinvestigated
GLAwhich
again
holdindependently
of the way,they
were derived. Formulae(30)
agree with those of ref.
[8].
In consequence of the introduction of the modified anticommutator
(13),
one can
again
construct the non-standard 10 x 10 matrixrepresentation
of the
given
GLA. We write down the odd ando (7)
partsonly
as the
sp(2)
part isrepresented by expressions (27 c).
We state beforehand the well-known fact
[l3]
that theo (2, 2)
LA isisomorphic
to the direct sum of twosp(2, R)
LAs. Theisomorphism
iseasily
realizedby taking
the vector spacesVi
andV~
as directproducts
of two two-dimensional vector spaces on which the
sp(2, R)
LA can bebuilt up. As for the abstract
o (2, 2)
LA this means that thesingle
indices oc,
~,
... of generators arereplaced by
thecouples
ofspinor
indices
a2), b2), - ..
... ==1, 2 ;
i =1, 2)
and that the(inde- finite)
metric matrix(7)
is definedby
means of matrices(19)
The contracted generators
fulfil the structure relations
(i, j = 1, 2, 3)
according
to eqs.(12 c).
Here the generatorssS~
of the first eq.(12 c)
areincluded in a
symmetric
wayby denoting
themSa3b3
and their indicesa, b, ... ,
ingeneral, a3, b3 , ....
The
projection
operators P andQ
of eq.(17 b)
whichcorrespond
to thedecomposition (34)
areAnnales de l’Institut Henri Poincare - Section A
121 EXCEPTIONAL AND ORTHOSYMPLECTIC GRADED LIE ALGEBRAS
Here new constants g3 - g,
gland g2
are introduced insteadof g, K1
andK2.
If the odd generators
Gaa.
are denoted asGa1a2a3
their modified anticommu-tator
( 13)
isexpressed
in asymmetric
form tooby using
eqs.(19), (33), (34)
and(36). Similarly
we rewrite eqs.(12 b)
asusing
eqs.(19), (33)
and(34).
The structure relations(35)
areequivalent
tothose of
It is still necessary to prove, that identities
(15)
and(18)
are satisfied.After some calculations one can
show,
that the formerapplies
ifand
Being totally skew-symmetric
in thetriple
of indices and respec-tively
the last sums in eq.(37)
arealways
zero, ifindices a, b,
c, d may assume two valuesonly.
But this is the case of theinvestigated
LA and the otherreasoning
for the restriction of thepossible orthogonal
LAs. The Jacobiidentity ( 18)
is fulfilledautomatically.
The non-standard 8 x 8 matrix
representation
of thegiven
GLAwhere the matrix
Sa3b3 given by
eq.(27 c)
with a = a3, b =b3,
... , isobtained in an
analogous
way torepresentations (27)
and(32).
Beside the non-standard
representations (27), (32)
and(38)
there exist the next lowest matrixrepresentations
which aregiven by
the usualadjoint representations.
Since thecomposition
law of theadjoint representation
follows from the Jacobi identities
(14), (18)
and the other two ones, the commutators as well as the anticommutators of tworepresentation
matricesare
given by
the conventionalexpressions.
Suchrepresentations
differfrom the non-standard ones not
only
in the definition of the anticommu-tator of the odd
elements,
but in other respects too. TheKilling
formgeneralized,
in the usual way, to the non-standard(matrix)
representa- tions R does notexist,
as itis, evidently,
notinvariant,
thatis,
thetransitivity
relation
[8J
is not fulfilled for every even element X of the GLA
(YR
is the matrix of thegrading automorphism [7]).
The concept of the non-standard
representation
is not limited to thelowest
(m
+n)
x(m
+n) representations,
as to anyrepresentations
of thecorresponding orthosymplectic
GLAosp(m, n)
there exists a non-standardrepresentation
which is determinedby
theexplicit
relations(22), (29), (34)
and( 13).
In this way the lowest non-standardrepresentations (27), (32)
and(38)
were, infact,
derived. The sameprocedure
can beevidently performed
with theexplicitly given adjoint representation
of the associatedorthosymplectic
GLA and thus the otherexplicit
non-standard represen- tations different from the usualadjoint
ones are obtained. Theimportant
feature of the non-standard
representations is,
thatthey
possess the commonodd basis elements with
representations
of the associated ortho-symplectic
CLA.ACKNOWLEDGMENT
For very
helpful
discussions we are indebted to Dr. M.Bednar,
Dr. P.
Kolar
and to Dr. J. Niederle.REFERENCES
[1] L. CORWIN, Y. NE’EMAN, S. STERNBERG, Rev. Mod. Phys., t. 47, 1975. p. 573.
[2] B. ZUMINO, Ref. TH.2120-CERN, invited paper at the Conf. on gauge theories and
modern field theory, Northeast. Univ., Sept. 1975.
[3] V. I. OGIEVETSKI013E, L. MEZINCESCU, Uspechi Fiz. Nauk, t. 117, 1975, p. 637.
[4] V. G. KAC, Functional Anal. Appl., t. 9, 1975, p. 91.
[5] A. PAIS, V. RITTENBERG, J. Math. Phys., t. 16, 1975, p. 2062.
[6] P. G. O. FREUND, J. KAPLANSKY, J. Math. Phys., t. 17, 1976, p. 228.
[7] W. NAHM, M. SCHEUNERT, J. Math. Phys., t. 17, 1976, p. 868.
[8] M. SCHEUNERT, W. NAHM, V. RITTENBERG, J. Math. Phys., t. 17, 1976, p. 1626, 1640.
[9] W. NAHM, V. RITTENBERG, M. SCHEUNERT, Phys. Lett., t. 61B, 1976, p. 383.
[10] M. A. NAIMARK, Teoria predstavlenii grupp, Izd. Nauka, GR F/ML, Moscow, 1976.
[11] M. KONUMA, K. SHIMA, M. WADA, Suppl. Progr. Theor. Phys., t. 28, 1963, p. 1.
[12] M. SCHEUNERT, W. NAHM, V. RITTENBERG, J. Math. Phys., t. 18, 1977, p. 146.
[13] B. G. WYBOURNE, Classical groups for physicists; J. Wiley and sons, New York, London, Sydney, Toronto, 1974.
[14] M. GÜNAYDIN, F. GÜRSEY, J. Math. Phys., t. 14, 1973, p. 1651.
[15] A. PAIS, J. Math. Phys., t. 3, 1962, p. 1135.
(Manuscrit reçu le 23 juin 1977)
Annales de l’Institut Henri Section A