20
IC/83/188 /f356/8^ INTERNATIONAL CENTRE FOR THEORETICAL PHYSICS QUATERNIONIC SUPERGROUPS AND D = k EUCLIDEAN EXTENDED UPERSYMMETRIES Jerzy Lukierski and Anatol Novicki INTERNATIONAL ATOMIC ENERGY AGENCY UNITED NATIONS EDUCATIONAL. SCIENTIFIC AND CULTURAL ORGAN IZATION 1983 Ml RAMARE-TRIESTE

f356/8^ INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/83/188.pdf · Other associated Lie algebras describe nonoompact groups, ii) All real forms of classical

  • Upload
    others

  • View
    5

  • Download
    0

Embed Size (px)

Citation preview

Page 1: f356/8^ INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/83/188.pdf · Other associated Lie algebras describe nonoompact groups, ii) All real forms of classical

IC/83/188

/ f 3 5 6 / 8 ^ INTERNATIONAL CENTRE FOR

THEORETICAL PHYSICS

QUATERNIONIC SUPERGROUPS

AND D = k EUCLIDEAN EXTENDED UPERSYMMETRIES

Jerzy Lukierski

and

Anatol Novicki

INTERNATIONALATOMIC ENERGY

AGENCY

UNITED NATIONSEDUCATIONAL.

SCIENTIFICAND CULTURALORGAN IZATION 1983 Ml RAMARE-TRIESTE

Page 2: f356/8^ INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/83/188.pdf · Other associated Lie algebras describe nonoompact groups, ii) All real forms of classical
Page 3: f356/8^ INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/83/188.pdf · Other associated Lie algebras describe nonoompact groups, ii) All real forms of classical

IC/83/188

International Atomic Energy Agency

and

United Nations Educational Scientific and Cultural Organization

INTERNATIONAL CENTRE FOR THEORETICAL PHYSICS

QUATERNIONIC SUPERGROUPS AND D=4 EUCLIDEAN EXTENDED SUPERSYMMETRIES

Jerzy Lukierski ** and Anatol Howicki *•*

International Centre for Theoretical Physics, Trieste, Italy.

ABSTRACT

The classification of all standard classical super-

groups described by linear trangformatioris on real, complex

or quaternionic superspaces is given. The quaternionic groups

and supergroups are considered in more detail. Further?the real,

complex and quaternionic description of extended D=4 Euclidean

super-conformal algebra is given. We also construct the graded

extensions of Euclidean de-Sitter algebras 0(4,1)= 0(1,1:H) and

0(5)=U(2;H). The relation between D=4 Euclidean and D=4 Hinkowski

superalgebras via analytic continuation is outlined.

MIRAMARE - TRIESTE

October 1983

* To be submitted for publication.

** On leave of absence from Institute for Theoretical Physics, University

of Wroclaw, 50-205 Wroclaw, ul. Cybulskiego 36, Poland.

••* On leave of absence from Institute of Teacher's Training, 50-527 Wroclaw,

ul. Dawida la, Poland.

Page 4: f356/8^ INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/83/188.pdf · Other associated Lie algebras describe nonoompact groups, ii) All real forms of classical

TW-

Page 5: f356/8^ INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/83/188.pdf · Other associated Lie algebras describe nonoompact groups, ii) All real forms of classical

"•'•\r f l n a ^ i C r i l [ . ' i n o l g f t b r a a r e d i v : d i ' ; i M I ^ O f o u r C u r r a n f a m i l i e s

i "' • C , D , ¥i Mi The :-.-l.r. ud:.-r'i c o m p l e x for::^ o f theLr '-oramutat^r A I f^-bm^-•i r> yi • '

• '"-,". j j , 2J). With a given Car tan complex ?Jgebr;a one can assoc-.ate a'l

• ••-i'. Lie algebras which after complexif icat ion can be identified w;. .'•

.• :s--.'iding complex form. Lei. as recall further that

i '• Only one compact group ran be associated with a given standard

:.p' ex form, i.e.

A : SU(ni-l) compact B : S0(2n+l) compactn n

Sp(n)= USp(£n;C)compact D ; B0(2n) compact .n

C :n

Other associated Lie algebras describe nonoompact groups,

ii) All real forms of classical Lie groups can be represented by the

linear transformations or, real (R), complex (C) and quate-nionic (H) vector

spaces, with ristric and/or voliune-preserving conditions (see e.g.fsj'1.

During Lhe 1st decide it has been shown th.it sums Lie algebras G^ can

be extended by adding new generators G in such a way that they form the

Z ~ graded extension of Lie algebra structure called the Lie superalgebra

G= G .© G (see e.g.£3-8J). All complex finite-dimensional simple Lie

superalgebras were first • classified by Kac 13,^] and the classical super-

algebras are those in which the superalgebra G is reductive. The list of

classical Lie superalgebras can be divided into four parts (we use here the

Kac notation L3,1*)

a) standard classical Lie superalgebras A(n,m), B(n,m), C(n) and

D{n,m)

b) exceptional Lie superalgebras F M ) , G(3)

c) strange Lie superalgebras P(n), Q(n)

d) one-parameter family of deformations of D(2,l), denoted by

D(2,l;ot ).

The supersymntetric analogues of Cartan classical Lie algebras are

standard classical Lie superalgebras. In particular one can consider all

real forms of the complex superalgebras A(n,m), B(n,ml, C(n) and D(n,m),

and corresponding supergroups obtained by the exponentiation map

— 1 —

G -- Go€> G, —> , • .Br]

»her»- D £G , F, 6 G , ol arc commuting and i, anti cominu t i ng (Grassrnann)r i') « I r --^

sunergruup parameters [j~'j], "ft appfara that all these supergroups can be

realized as linear transformation on real, complex and quaternionic super-

space 3 .

The supergroups, similarly like Clifford modules describing the

fundamental spin representations [ 10-12] are equipped with real, complex or

quaternionic structure. The supergroups with real and complex structure,

which are represented by the linear transformations on real and complex

superspaces are well-known from physical applications. We have

i) Two real supergroups» i.e,

- ! inear real supergroups SL(n,m-,R), describing general linear

frames in fi"'"1 - {X . . ,x 6' . . . fiJ ) , with the superdeterminant equal toI n I m

one. For n-m this supergroup contains one-parameter Abelian center, which

should be factored out. The supergroup SL(n,m;R) is a real form of A(n,m).

- orthosymplectic real supergroup 0Sp(n,m;R) (even m = 2k), which

preserves the orthosymplectic scalar product ( r = l,...k)

where the canonical form of orthosymplectic metric is

(1.3a)

In general the metric G can be chosen as follows:

A& ~ \ 0 ; a w jand provides the family of orthosymplectic real supergroup OSp(n-s,s;m;R)

where s describes the signature in 0{n) sector. The supergroup

03p(n-s,9;iB;R) for n odd is a real form of B(n,m), for n = 2 - the real

Page 6: f356/8^ INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/83/188.pdf · Other associated Lie algebras describe nonoompact groups, ii) All real forms of classical

fcrm of C (n) , and for n even, nj,4 - the real form of D(n,ni).

i.i J Three complex supergroups, i.e.

- I inear complex supergroup SL( n,m ; C ) describing general li near

frames in C ' - ( z z i ' "1 ), where z. - x. + iy. , = Q, + i 0, ,l n l m i i i w «

wl'. • i yup^rdeterminant equal to one. In order to obtain a simple supergroup»

'• >r r> = m the Abelian center should he factored out.

- graded unitary supergroup SU(n,m),

^cal&r product

preserving the graded unitary

(1.4a)

The general form of graded-unitary metric is

HAft 00

%n

and provides the family of supergroups SU(n-s,s; m-1,1), with s and 1

describing signatures in two unitary sectors. It should be mentioned that

if we put H = G (see (1.3)), one obtains the supergroups SU(n;k,k)/

- orthosymplectic complex supergroup 0Sp(n,2k;C), obtained by

considering the linear transformations of C ' preserving the complex-

analytic scalar product (1.2) in C ' .

In this paper we shall consider the supergroups with quaternionic

structure, i.e. which can be represented by linear endomorphisms of

quaternionic superspaces. In particular,we shall show how to describe

quaternionic superspace and quaternionic supergroups using complex super-

space coordinates.

Of interest for physical applications are the supersymmetric

extensions of groups with quaternionic fundamental spin representations.

From the list of fundamental representations of Clifford algebras (see [10-12])

it follows that many spin coverings of orthogonal and pseudoorthogonal

groups are endowed with quaternionic structure. In particular, because the

4points of four 'dimensional Euclidean space R can be parametrised by a real

quaternion x = x + e x ( r - 1,2,3) [l3.lt>} , we obtain the followingA r r

quaternionic 5p*n coverings of orthogonal £roupf-i do^erib ing thu physicrii

4imporUint geometric transformations i.n R :

i) Sp(l)®Sp(l) = 0(4) (rotations)

ii) Sp(2) = 0(5) (de-Sitter group)

iii) Sp(l,l) = 0(4,1) ( anti-de- Sitter group)

iv) S[.(2;H) = 0(5,1) (conformal group) .

In the second part of this paper we shall describe three superalgebras

corresponding to the supersymmetrization of spin groups ii)-iv).

In the final section we shall also briefly discuss the correspondence

in four dimensions between Euclidean and Minkowski supersymmetries.

It should be mentioned that another physically interesting spin

covering with quaternionic structure is 0(6,2), describing de-Sitter

D=7 symmetry or D = 6 conformal symmetry. The supersymmetrization of

these symmetries is beyond the scope of this paper but it is considered in

a separate publication

II. QUATERNIONIC GROUPS

There are three infinite families of Lie groups with quaternionic

structure which describe linear transformations of quaternionic vector

spaces:

- special linear quaternionic group SL(n;H) (4n-l real parameters),

describing nonsingular volume-preserving linear quaternionic frames in H ,

represented by n x n quaternionic matrix h. . with arbitrary quaternion-

valued entries, satisfying only the condition det h=l, where the quater-

nionic determinant is defined according to Dieudonne [l6,lT].-

- unitary quaternionic group U(n;tO = Sp(n) (n(2n+l) real para-

meters), describing the isometries of H with the following scalar product:

i - A

where q.=q.+ q.e , q,= q° _ii i r i i

~ ~ Ore

(2.1)

(2.2)

- 3 -

Page 7: f356/8^ INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/83/188.pdf · Other associated Lie algebras describe nonoompact groups, ii) All real forms of classical

The quaternionic U(n;H) matrices are described by the subgroup of h sat-

+ + —isfying the condition h h - 1, where h = h .

ij Ji

- antiunitary quaternionic group U (n;H) = orthogonal quaternionic

group O(n,H) (n(2n-l) real parameters), describing the Isometries of H

with the invariant scalar product {see [lBj )

(2.3)

In general q. = q. + q.e 1'e9 + c'.e c a n ^e replaced by the involution

describing reflection with respect to any fixed plane in three-space spanned

by three imaginary units. The quaternionic U(n;H) = O(n;H) matrices are+ it

described by the condition h 6 h - e equivalent to h h = 1, where

h* = h .

The group U(n;H) is compact but has its noncompact version

U(n-s,s;H) which ia obtained if we generalize the canonical scalar product

(2.1) as fallows

In particular, i.f we choose h. . = e C. . me obtain the quaternionic group

Sp(2k;H) which satisfies the realtion

(a.

The group O(n;H), similarly like O(n;C)r does not have different non-

compact versions.

III. QUATEKNICNtC SUPERSPACES AND QUATERNIONIC SUPERGROUPS

nOne. can extern:] '.he 1 ineftr vector space H over the c;'Jii \.^ •

The

(3.1)

and the quaternionic superspace in a given linear frame is described by

n + ra coordinates (q,.©j )= Q € H ' (A= 1,... n-mi). All possible

linear frames are described by graded quaternionic matrices

•n -vnB £U - bosonic sector

(3.2)

\ y ft / F W " - Ferfliionic sector

where the elements K. . belong to the Z ^graded quaternion-valued Grassnmn

aLgebra G..T with B, t B in the even sector G . and F , F in the oddH 1 2 H 1 2

sector G,,, Because the superspace H ' is also Z -graded ( q. belong" , , 2 i

to even sector Q and to odd sector Q , we require that bath

gradings are consistent under the multiplication "J? ffi Q -> Q, i.e. H is

the left module over G with the propertyH

f L 1 ( I ) I |, v \ . . . •

The relation (4.3) implies that the Grassmannvariables in 'Pi and Q anti-

commute. Further,one can intiwli-e an infinitesimal change of the superspace

frame

(3.4)

where describe real infinitesimal parameters in G , and the parameters

represent resl infinitesimal Grassmann parameters in G ; the graded

transposition is given by the formula

rv. R 1 \(3.5)

the

Page 8: f356/8^ INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/83/188.pdf · Other associated Lie algebras describe nonoompact groups, ii) All real forms of classical

quaternion-valued generators B , F form Z - garded superalgebra.

Because the generators are represented by the matrices over associative

field H, the Z -graded Jacobi identities are satisfied automatically.

It appears that all three quaternionic groups have their super-

symmetric extensions. We get

- special linear quaternionic superalgebra SL(n,m;H) by considering

the arbitrary quaternion-valued matrix generators f in odd sector

F © F . One obtains

(3.6)

Introducing the supertrace STr3t= TrB - TrB and quaternionic trace

Sp(e e ) = - S , one getsr s rs

= o (3.7)

We see that the bosonic generators B which can be expressed as a bilinear*

form in 5 satisfy the condition Sp(STrB) =0 . The exponentiation of such

a superalgebra gives the elements of special linear graded quaternionic

supergroup SL(n,m;H).

- one can extend supersymmetricaliy the scalar product (2.1) by

supplementing it with the scalar product (2.3) in the fermionic sector

where the canonical form of the super-metric is

(3.9)

The supergroup which leaves (3i3) invariant we shall call quaternionic unitary-

antiunitary supergroup and denote by UU^ (n;m;H). The superalgebra

L'U i (n;m;H) is gi^en by the quaternionic matrices Hatisfyini^ tho r-"l ai ion !

a-ririr

(3.10)

where Q, . - 0-<u denotes graded quaternionic conjugation of the first

kind, and the supergroup is defined by the condition

(3.11)

The supergroup UU^(n;m;H) has its noncompact versions UU^ (n-s,s ;rti;H)

which are obtained if we introduce in (3.8) the general Hermitean-anti-

Hermitean metric

.fAftH^ 0

0 RmjH-H (3.12)

In particular the supersymmetric extension of the orthogonal scalar product

(2.3)

(Q (3.13)

defining orthosymplectic quaternionic supergroup OSp(n,2k;H) can be

obtained by the choice

0

G.AP> 0

0(3.14)

Because UU^(n;m;H) = UjU(m;n;H), where

we obtain the following relation, consistent with (2.4) and (2.6);

(3.15)

(3.16)

•[•;-,,.,,,,..-.„.,. „, , •• , -h.it t h t r e »xii=ts '•>•< 'I :;n;'.;ue n e t r i c-pros(.>rving q u a t e r n i o n i c

:;uu';re.-f,.ip Ul; , ( n - a ,.:, ] m ; [I ! .

- 8 -

1

Page 9: f356/8^ INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/83/188.pdf · Other associated Lie algebras describe nonoompact groups, ii) All real forms of classical

fJOMHLKX I-AKAMKTHi'/.ATrON OF QUATKilN J ON IC GROUPS AND OlMTFKNTONJ"

SUPERGROUPS'

a) Quaternionic groups.

Let us write the quaternion q as follows;

(4.1)

One can describe q* = (q ,...q )6H by complex vector (z[ , f ) 6 C , whereI n 12

(4.2)

In particular q.-+q. implies z -+z , z -»-z , and the quaternionic

scalar products can be described by pairs of complex scalar products.

We obtain

- quaternionic unitary scalar product (see (2.1))

9.3)

where j? -» (tt , u ). We see that

- quaternionic antiunitary scalar product (see (2.3))

(4.5)

We obtain

Other quaternionic scalar products, called orthogonal and symplectic, are

equivalent to the unitary and the antiunitary.

In order to describe the linear quaternionic group as the complex

- 9 -

.IMP we first '.h,\c-x vo thai thn grm:;- SL(n;H) car; be embedded in SL(2n;C).

Indeed, for asingLe quaternionic variable

(4.7)

where J = i 0"1 describes the 2 x 2 complex matrix realization ofr r

quaternionic algebra describing left multiplication , and

K ^ T X iC= -L5-, C ^ 3 = L C ^ (4.8)

where C denotes complex conjugation, is the 2 x 2 matrix realization of

quaternionic algebra describing right multiplication. We see that from the

right the multiplication by e and e is antilinear

o (4-9)

because left and right multiplicationicoromute.

We restrict the transformations A£EL(2n;C) to the ones representing

the left multiplication by GL (n;H) if we assume that fA, K r=0, where

K = I © K Because [A, K ! =0 for any A and K - K,K^t it is auf-r n r 1 3 1 2

ficient to assume that

(4.10)

2nwhere for the general choice of the quaternionic basis in C

(4.11)

The 2nx2n matrix algebra of SL(2n;C), restricted by the condition (4.10 )

is denoted by SU (2n) and has the form

- 10 -

Page 10: f356/8^ INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/83/188.pdf · Other associated Lie algebras describe nonoompact groups, ii) All real forms of classical

The generators of SU (2n) are obtained from those of SU(2n) by

- -putting SU(2n) into a symmetric Riemsnnian pair (USp(2n ;C) (+)

w?n),'USpf2n;C) ) , corresponding in quaternionic notation to the splitting

:L(n;l-I) = U(n;H)© SL(n;H)/U(n;H)/

- multiplying the generators from the coset SU(2n)/USp(2n;C) =

:;-L(n;H)/U(n;H) by i.'

b) Quaternionic supergroups.

It was shown in Sec. Ill that there are only two quaternionic super-

groups:

i) SL(n,m;H) = SU*(2n,2m) .

This supergroup contains the bosonic sector SL(n;H)® GL(m;H) =

SU (2n) x U (2m). Because SU (2n) is not a metric-preserving group,

SL(n,m;H} cannot be described as the intersection of two complex super-

groups .

The superalgebra SU (2n,2nO is obtained from SU(2n,2m) in the

following two steps:

- one introduces Z -grading of SU(2n;2m) as follows [22]

L, L,(4.13)

where

triad

(4.14)

- one introduces the generators L of SU(2n;2m) by the following

rescalingr

(4.15)

- 11 -

•*-~v*t+ • » l « ^ ' l -•- -'.-•

i i ! UU^ (n;m;H).

n, mThe scalar- product (3.8) in Quaternionic superspace H can be

described equivalently by the following pair of complex scalar products in

2n,2mcomplex superspace C :

(4.16)

where n GrasRrnsnn- valued quaternions C7 , t are described by 2n

complex Grassrnann coordinates {& , @ 1, (? t

It is easy to see from the formula (4.16) that

complex Grassrnann coordinates {& , @ 1, (? t? ) via the formula (4.1].

UU0L('»i',w)H) - S

Taking possible signatures in U(n;H) sector one gets

and in particular

(4.18)

(4.19)

V. REAL PARAMETRIZATION OF QUATERNIONIC GROUPS AND QUATERNIONIC

SUPERGROUPS.

a) Quaternionic groups.

the unitary product of two quaternion-valued vectors q ,p € H

(5.1)

- 12 -

Page 11: f356/8^ INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/83/188.pdf · Other associated Lie algebras describe nonoompact groups, ii) All real forms of classical

can be represented by four real scalar products in R

(5.2)

where the first one is Euclidean, and the remaining three symplectic. We

therefore see that one can describe U{n;H) as the intersection of four

real groups in R

Sp (^,R)n 5p(=),

(5.3)

with the aymplectic metrics £ = E @ l n where E is given by the

formulae:

Three real symplectic matrices satisfy the quaternion algebra

(5.5)

The generators UK

l,.,.n) of U(n;H) satisfying quater-

nionic anti hermicity condition can be written as follows:

(5.6)

where A - A and S = SJi U Ji

The quaternionic antiunitary scalar product is represented by the4n

Aillowing four real scalar products in R :

(5 .7 )

where the f i r s t one is syroplectic, and tiie three remaining are pseudoEuclidean with

the signature (2n,2n). Therefore one can write

The quaternionic generators ( U ) , , can be decomposed in terms of real ones

as follows:

(5.9)

(r) (r)where S = S.. and A . = - A.

ij Ji ij JiIn order to describe the linear quaternionic group SL(n;H) as the

dngroup of linear transformation in R let us observe that the multipli-

andcation of quaternions from the left/, right canbe represented as follows:

(5.10a)

where = -SyO vr

are given by (5.1*) and

0 -I 0 C

0 0 ij

0 O 1 0

C 0 0 1H Q <J O

o -'•• .- '-J

(5.10b)

Page 12: f356/8^ INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/83/188.pdf · Other associated Lie algebras describe nonoompact groups, ii) All real forms of classical

(5.11)

satisfy the algebra of quaternionic imaginary units

and

(5.12a)

(5.12b)

We see that six 4 x 4 matrices describe the fundamental real representa-

tion of 0(4) algebra.

The transformations t/L t SL(4n;R) are restricted to those

representing left multiplication by SL(n;H ) if

r= 1,2,3

Due to the relation (5.12a) it is sufficient to assume that (5.13) is valid

only for two values of r. Therefore w e see that the qliaternionic structure

4n 2of R is described by two real conditions, selecting out of 16 n -1

parameters of SL(4n;R) the 4n - 1 parameters of SL(n;H).

b) Quaternionic supergroups.

i) SL(n,m;H)

In order to describe the quaternionic superalgebra SL(n,m,;H)

describing linear frames in K ' we should again use the condition (5,13)

with the replacement

(5.15)

Therefore we see that the quaternionic superalgebra UU^n.mjH) is the

4n ,4mintersection of the following four orthosymplectic supergroups in R

(5.16)

(5.14)

n,mwhere I is the unit matrix in Hn ,m

ii) UU^ (n;m;H)

The scalar product (3.8) in H ' can be represented as four real

4n,4mscalar products in R as follows:

- 15 -

VI. EUCLIDEAN D=4 EXTENDED SUPERCONtORMAL ALGEBRA

In lie saond part of this paper -we shall consider the supersymmeti-

zation of SL(2;H) 2S0(5,l) al"n4ra, describing D-A Euclidean conformal

symmetry. It fallows from Sees.Ill and 5/ that Euclidean D=4 extended super-

conformal algebra is SL(2,N;H) = SU (4,2N). Because for a given dimension

- 16 -

-• n»4>

Page 13: f356/8^ INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/83/188.pdf · Other associated Lie algebras describe nonoompact groups, ii) All real forms of classical

L1"!! cor.for^al trans-format"!*"^ descr ibo?. the Lar£e:-;t ^lobai jjeonu-;tric symmetry,

;i 1 OLI-:H' geonu; UL Lc- :r-.v :[une t ri.cr - e.g. de Sitter, anti-de Sitter, fiat

i.u:: ! soran - csri bf; obtained by considering suitable subalgebras and/or

. ':T-L T-JC t i ons . We shall show that also the supersymmetrized de Sitter, anti-

:- -.• i'.-r and flat Euclidean symmetries can be obtained in a similar way Fr;-;

. :>:ryr; superconformal algebra.

The supergroup SL(2,N;H) can be considered also as describing D=5

1 Sitter supersymmetry or the supersymmetrization of D=6 Lorentz group.

;t jrf this last role of 31,(2.10 - as describing D=6 spinora - which n/Jas

;:-.! ..cursed i-ecently in the context of supersymmetry by Kngo and Townsend[2 ] j. The

case N=l his already bewi discussed in detail by the present authors [2'i].

the D-4 Euclidean anti-de Sitter supergroup for H-l was also O'-nsitfered i in

>Eef.21 . In th L;; paper we consider the case of general M, We shall

restrict our discussion only to the infinitesimal aspect,, i.e. wo shall

consider only the superalgebras.

a) Quaternionic parametrization.

We Introduce the fundamental quatermor.ic realization of SL(2,H;H)

superalgebra by means of the following (2+N) x (2+N) matrices:

SL(2,N;H):

£ \

.-. • c f

(6.1)

The bosonic sector describes

i) 0(5,1) Euclidean conformal algebra {c.. = £.= n = 0 ) ,

represented by the following 2 x 2 quaternionic matrices [13,lM

JJ-1 0 \ OL>,,--OJ,

'o 0'& 0,

0(4) rotations:

Four translations:

Conformal accelerations: o bc o

- 17 -

Dilatations: 1 G \

( S. 2 )

In quaternionic notation the 0(5,1) algebra can be written as follows:

]- - (ab+ba)D+(6.3)

where

-real quaternions describe four vectors, e.g. a = a, e.. (e=(e ,1)/* r* r

and P(e ) ^ describe the four momentum vector,

- imaginary quaternions describe selfdual (antiselfdual) parts of

0(4} antisymmetric tensors, e.g. H(u> ,0) = w M (M(O,tj) = 0> N } wherer r r r

(6.4)

or using covariant notation M(o; , o» ) = H (ui e , ui e ) = a M

whereuv uv

One can check that the realtions (6.3) are equivalent to the

standard form of 0(5,1) algebra (see 6.25).

ii) GL(N;H) = A©SL(N;H) internal symmetry algebra (a = b ;

_JW - flj =0) where A is the noncompact chiral generator and

EL(M;H) - SU (2H) is the nonabelian part, are represented by the following

N x N quaternionic matrices:

- 18 -

Page 14: f356/8^ INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/83/188.pdf · Other associated Lie algebras describe nonoompact groups, ii) All real forms of classical

Nonrompact chiralgenerator

I nr a l

t;o-iorators:

A =•C \

1 (6.6)

(6.7)

(6.8)

The SL(N;H) algebra can be described in quaternionic language In the fol-

lowing compact way:

(6.3)

The fermionic sector is described by 4N quaterni.onic supercharges,

represented by the following matrices:

o ; o0 0 i

i ° : • • ° -\'o o

0.5-.U

0 • 6

0 • 0

0 11 O-

* o 0:

(6.1Ca)

- 19 -

I1I"«JB-B 2L;..

1'he ari+: i com;y;nt.y t. ion

follows:

lor the QLiat crnionic

The covariance relations of the superalgebra SL(2;N;H) are

We see that if N=2 the Abelian charge A commutes with all other generators,

i.e. it 13 a central charge.

b! Complex parametrization.

In order to obtain the complex description of SL(2;N;H)= SU (4,2N)

- 20 -

Page 15: f356/8^ INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/83/188.pdf · Other associated Lie algebras describe nonoompact groups, ii) All real forms of classical

we use the correspondence

(6.13)

where £ = %^ + and The 4N quaternionic supercharges

Q.(£)> 11.(5) can be expressed by 16N complex supercharges S , UJ J ' A A

( * -1,2 A=l,,,4, j=l,,,N).

(6.14)

Introducing complex 0(5) Dirac matrices

o it (6.15)

where c^ = (- iff.,1), and complex 4x4 matrix representation of 0(5,1)

algebra ( r,s = ],..,5)

(6.16)

one can show that the supercharges S , U do satisfy the pseudo-Majorana

conditions [23] _

where C= f P satisfies the relation C I' = - P^C and C - -1.

In.- fundamental an ti commut at ion relations take the form

•'« ! f

(6.18)

where a,b- 0,1,.,.5 and

Therefore we see that we describe the bosonic sector in forms of real

generators,

f^ /*• (6.20)

The covariance relations for complex supercharges (6.14) take the form:

[A ,

The complex form of the superalgebra SU (4.2N) with the separation

of P., and K.i generators is obtained by the following choice of ther- f-

complex superchargesJ

- ; i ' : t i , - . ' • ( ) • : - J I i n ; i f • . n " ; > : n e n I r, i ; ) n ' u . o r r . T i t ' i t i o n r s l a t i o n s ?

- 2k' -

Page 16: f356/8^ INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/83/188.pdf · Other associated Lie algebras describe nonoompact groups, ii) All real forms of classical

rermionic sector is described by 16N real quaternionic charges

and the relations (6.11) can be written as follows

( 6. 2 4 )

c) Real parametrization.

One can check that the relations(6.3) are equivalent to the following

standard form of 0(5,1) algebra for the generators {6. 3 )

(6.28)

(6.25)

where E = (E I ) and F = (F , I ) are two four-dimensional real reali-

zations (5.4) and (5.10b) of quaternionic algebra, and E = g E , whereA AB B

gAB = {~ ' -' -' + K

The covariance relations look as follows:

Introducing the real SL(N;H) generators via the formula (6.20) one

can write the real Lie algebra of the internal sector GL(n;H)=T,,© A in the

form

- U

n:

•iA

I- A

23 -

-. — f *•

Page 17: f356/8^ INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/83/188.pdf · Other associated Lie algebras describe nonoompact groups, ii) All real forms of classical

(6.29)

VII. EUCLIDEAN D=4 EXTENDED DE- SITTER SUPERALGEBfiAS

It is known (see e.g.£25]) that the D=d conformal superalgebra

SU(2,2;N) in Minkowski space does contain as its sub-superalgebra the extended

de-Sitter superalgebra 0Sp(N;4). Similarly, if we define the following

quatet-nionic supercharges-.

we obtain the operator basis of two Euclidean D~4 extended de-Sitter

superalgebras

0Sp(N,2;H) = UI^d.lfNjH) (bosonic sector:

Sp(2;H) © O(H;H) ~ USp(2,2;C) © 0*(2N) »

0(4,1) © 0*(2N))(7.2)

- 25 -

IJlj 'PjN;!!! (bosonic sec Lor:

U(2;H) S O(N;H) « USp(4;C)e

0(5) (J, 0 (2N))(7.3)

a) Quaternionic paranietrization

The arbitrary element of the superalgebras (7.2-3) generated by the

supercharges (7.1) looks as follows:

i^-D (7-4)

In quaternionic notation the fundamental anticommutation relations have the

form

(7.5)

where

The generators (7.6) describe the internal O(N;H) Lie algebra

(7.6)

w (7.7)the same in both superalgebras (7.2) and (7.3).

b) Complex and real parametrization.

The complex representation of the Euclidean de Sitter superalgebras

is obtained if we introduce the following 8N complex supercharges .'

B (7.8.)

Page 18: f356/8^ INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/83/188.pdf · Other associated Lie algebras describe nonoompact groups, ii) All real forms of classical

.'hich, due t:o the reali ty of <; and C _P matrices ;;f: vl :•

oudo-Mojorana conditions:

•-> A ^ v •$ 'Aft ft

"'"he fundamental anticommutators look as follows

i"\. ihe rjuaLernion Lc

(7 .9 )

s

(7.10)

-AB

where t^ = t (ejx ) and

/ • * - / " - / * - (7.12)

In the relations (7.10-11) we describe the bosonic sector in terms of real

generators:

i ) geometric 0(4,1) (sign "+") or 0(5) (sign "-") algebra

t V >M

C I- C -

ii) internal sector 0(N;H)s0 (2N)

( 7 . 1 3 )

- 27 -

fkJt

F

t l

(7.14)

(EA)£ ( , = ( F A ) s r and ^ ^ ( - , + , - , + } .

Finally the covariance relat ions do have the form

°A

V) e would l ike to mention ttiat by introducing 4N. real supercharges

(7.15)

{7.IB)

one can write the anticommutators (7.5) in real form.

VIII. FROM EUCLIDEAN TO HINKOWSKI SUPERSYMMETRIES VIA ANALYTIC <XWnKUA.TION

There exists the analytic continuation from N-extended D=4 Euclidean

conformal supersymmetry to 2N-extended D=4 Minkowski conformal supersym-

metry I2k\

and similarly

Page 19: f356/8^ INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/83/188.pdf · Other associated Lie algebras describe nonoompact groups, ii) All real forms of classical

OSp (N • I \ M ) (.IN', k )(8.2)

We see that only even N-extended Minkowski conforrnal and de-Sitter super-

symmetries do have their Euclidean counterparts. In particular the Wess-

Zumino SU{2,2;1) auperalgebra cannot be continued to the Euclidean space.

The analytic continuation is obtained by the complex rescaling of

the part of generators only from the bosonic sector:

D=4 conformal superalgebras SU (4)©(2N)

D=4 anti-de Sitter

superalgebras USp{2,2;C)©0

We shall briefly describe four analytic continuations in the for-

mulae written above:

i) U (2N) .w^-v~> U(2N)

Due to the known decomposition of the generators of U(2N) and

u (2N)- [ l

(8.3)

the analytic continuation is straightforward.

ii) SU (4) -^*-~-> SU{2,2)

The analytic continuation consists of two steps:

SU (4) ~ w — . ~ » SU{4) ^v—•—•* SU(2,2} ,

The first step is described in i), and the second is obtained by muliplying

the elements of SU(4) matrix with one index 3 or 4 by i.

iii) 0 (2H) -w~> 0(2N)

In analogy to i)

0*(2.N) s U(N) ©tht analytic continuation is straightforward.

iv) USp(2,2;Cl~~~> S?>(4) -*, 0(4,1) ~~~-> 0(3,2)

lbs analytic continuation is obtained by muitipiyinr; thn ,y:ricm', or

M k l (k,1=0,1,2,3,4) of 0(4,1) by i if k or 1 is equal to 1.

The decompositions (8.3) and (8,4) can be also described in quater-

nionic notation. We have

-r-Si

U(N;H):

and the analytic continuation GL(N;H)~*U(2N) is deBcribed by

(B.5)

(8.6)

where q =iq + q e . Similarly, if we introduce the generators0 k k

we obtain

U(N):

and the analyitic continuation O(N;H)

(8.8)

0(211) is described Toy

We recall that in the procedure of analytic continuation (8.1) and (8.2) the

supercharges remain unchanged.

ACKNOWLEDGEMENT

Both authors would like to thank Professor Abdus Salam, the Inter-

national Atomic Energy Agency and UNESCO for warm hospitality at the

Internationrj I Centre for Theoretical Physios, Trieste .

- 29 -

Page 20: f356/8^ INTERNATIONAL CENTRE FOR THEORETICAL PHYSICSstreaming.ictp.it/preprints/P/83/188.pdf · Other associated Lie algebras describe nonoompact groups, ii) All real forms of classical

REFERENCES

1) E. Cartan, Ann.l'Ecole Norm. 31 , 263 (1914).

2) R. Gilmore; Lie Groups, Lie Algebras and Some of Their Applications

(John Wiley S Sons, Inc., Hew York 197U)»

3} V.C. Kac, Comm.Math.Phys. 53, 31 (1977).

4) V.C. Kac, Adv. in Math. 26, 8 (1977).

5) V. Rittenberg, in Group-TJieoretic Methods in Physics , Proc. of V Int.

Symp.Tubingen, July 1977 (Springer Verlag )jp.3.

6) V. Rittenberg and M. Seheunert, J.Hath.Phys. 19, 709 (1978).

7) F.A. Berezin, Jad.Fiz. 29, 1970 (1979).

8) J. Lukierski, "Differential-Geometrical Methods in Mathematical Physics,

Proc. of Aix-en- Provence Conf., Sept. 1979,in Lecture Notes in Math.

Vol. 835 (Springer Verlag, 1980), p.221.

9) A.B. Balantekin and I. Bars, J.Math.Phys. 22, 1149 (1981).

10) M.F. Atiyah, R. Bott and A. Shapiro, Topology 3 (Suppl.l), 3(1964).

11) R. Coquereaux, Phys.Lett. B115, 389 (1982).

12) P.G.O. Freund and 0. Kaplansky, J.Math.Phys. 1J5, 2062 (1976).

13) F. Gursey, Ilnd John Hopkins Workshop ,Eds. G. Domokos and S. Kovesi-

Domokos, p. 179 (John Hopkins Univ. Press 1978).

14) F. Gursey and H.C. Tze, Ann. Phys. 128_, £9 (1980).

15) Z, Hasiewicz, J. Lukierski and P. Morawiec, Bordeaux Univ. preprint

1983; Phys.Lett. B in press.

16) J. Dieudonne', " La Geometrie des Groupes Classiques", Ergebnisse der

Mathematik, Heft 5 (Springer Verlag, Berlin 19S5 }.

17) E. Artin, Geometric Algebra (interscience Publ. Inc., New York 1957\

Chapt. IV.

18) J. Tits, "Tabellen zu den Einfachen Lie Gruppen and Ihren Darstellungen"

Lect,Notes in Math. Vol. 40 (springer Verlag, Berlin-Heidelberg- New York

1967 V.

i'j) J. Lukierski, Bull.Acad.Sci. Polon. 27, 243 (1979).

30) J. Lukierski, in "Supergravity", Proc. of Stony Brook Supergravity

Workshop, l''ds.D. Freedman and P. v in Kieuvenhuisen ^orth- HolJ^nd

Comp. 19T9), p.301.

-31-

21) J. Lukierski and A. Nowicki, Fortschr. der Physik 30, 75 (1982).

22) J. Lukierski in Proc. IX Colloquium on Group-Theoretic Methods^ Cocoyoc

June 1980, Lecture Notes in Physics, Vol. 135, P. 580.

23) T.Kugo and P. Townsend, CERN preprint TH 3459, Nov. 1982.

24) J. Lukierski and A. Nowicki, Phys.Lett. 127B, 40 (1983).

25) S. Ferrara, Phys.Lett. 69B_| 481 (1977).

-3S-