# A note on Lie superalgebras/Lie superalgebratest.

1. INTRODUCTIONLet us recall the definition of Lie superalgebra L. Let L be a complex (real) graded vector space so that L = [L.sub.0] [cross product] [L.sub.1]. The subspace [L.sub.0] is the even with dimension m and [L.sub.1] is the odd with dimension n. Any element a [member of] L that is either even or odd is said to be homogeneous, and degree (or parity or grading) is defined by

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII].

For all a, b [member of] L there exists a generalized Lie product (or supercommutator) [a, b}, [a, b} [member of] L with the properties:

(1) for all a, b, c [member of] L, and any complex (real) numbers [alpha] and [beta]

[[alpha]a + [beta]b, c} = [alpha][a, c} + [beta][b, c};

(2) if a and b are homogeneous elements of L then [a, b} is also a homogeneous element of L, whose degree is (deg a + deg b) (mod 2); that is [a, b} is odd if either a or b is odd, [a,b} is even if a and b are both even or if a and b are both odd;

(3) for any two homogeneous elements a and b of L

[b,a} = -[(-1).sup.(deg a)(deg b)][a,b};

(4) for any three homogeneous elements a, b, and c of L, the generalized Jacobi identity holds

[a,[b,c}}[(-1).sup.(deg a)(deg c)] + [b,[c,a}}[(-1).sup.(deg b)(deg a)] + [c,[a,b}}[(-1).sup.(deg c)(deg b)] = 0.

Then L is said to be a complex (real) Lie superalgebra with even dimension m and odd dimension n. It follows in particular that a Lie algebra is a Lie superalgebra which has no odd elements. A Lie superalgebra can be obtained from any associative superalgebra by taking the generalized Lie product (or supercommutator) [a, b} of the form

[a, b} = ab - [(-1).sup.(deg a)(deg b)] ba. (1)

That is if at least one of the elements a and b is even, then this implies that [a, b] = ab - ba, and if a and b are odd elements, then {a, b} = ab + ba. A way to get a Lie superalgebra is to start with a Lie algebra [L.sub.0], choose a representation of [L.sub.0] with a carrier space [L.sub.1], and set up direct sum [L.sub.0] [direct sum] [L.sub.1]. See for example [1-3].

Next we treat the Poincare superalgebra (supersymmetry algebra). Supersymmetry or Bose-Fermi symmetry transforms bosonic fields into fermionic ones and vice versa. This symmetry requires the extension of the Poincare Lie algebra with generators of supersymmetry transformations, that is extension of the Poincare algebra to the Poincare superalgebra or supersymmetry algebra [4,5], see for reviews [6-8]. In addition to the Poincare superalgebra there are the conformal superalgebras, the de Sitter superalgebras, and the anti-de Sitter superalgebras associated with space-time symmetries. These are respectively extensions of the conformal, the de Sitter, and the anti-de Sitter algebras. The even part of the Poincare superalgebra satisfies the constraint which comes from the Coleman-Mandula no-go theorem [7,9]. Their theorem states that the only symmetry of the scattering matrix (S-matrix) that includes Poincare symmetry is the product of the Poincare symmetry and an internal symmetry group G [cross product] T. The basic elements of the odd part [L.sub.1] form the carrier space of some representation of [L.sub.0]. In particular, they must form the carrier space of some representation of the homogeneous Lorentz algebra. By Haag, Lopuszanski, and Sohnius extension of Coleman-Mandula theorem [10] this representation is equivalent to the direct sum of N copies of the 4-dimensional spinor representation (Majorana spinor) [Q.sup.A.sub.[alpha]], for A = 1, ..., N and [alpha] = 1, ..., 4. Of course their theorems hold only under a number of certain physical assumptions.

We can write the N-extended Poincare superalgebra [10-12] for D = 4 dimensional Minkowski space-time as

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (2)

Here [mu], v, ... = 0,1,2,3 are space-time indices, [alpha], [beta], ... = 1, ..., 4 are four-spinor indices. As we see from (2) in addition to Poincare generators [P.sup.[mu]], [M.sup.[mu]v] there are more than one anticommuting Majorana spinorial charges (supersymmetry generators [P.sup.[mu]], [M.sup.[mu]v] (the indices A = 1, ..., N label the representation of the internal symmetry group to which belongs). [T.sub.i], i = 1, ..., dimT is the generator of the internal symmetry group. The antisymmetric operators [U.sup.AB] = -[U.sup.BA] and [V.sup.AB] = -[V.sup.BA] are central charges, and matrices [xi], [zeta] that have to satisfy ([[xi].sub.j] + i[[zeta].sub.j]) = -[([[xi].sub.j] + i[[xeta].sub.j]).sup.[dagger]] [[sigma].sup.[mu]v] are Lorentz generators for a bispinor, [[gamma].sup.[mu]] are Dirac matrices, and C is charge conjugation matrix.

The central charges can appear only for N [greater than or equal to] 2. The N = 1 Poincare superalgebra is known as simple Poincare superalgebra, there are no central charges. In the absence of central charges the Poincare superalgebra is invariant under a group U(N) of internal symmetries and in case N = 1 the U(1) invariance is known as R-symmetry. The Poincare superalgebra and other superalgebras associated with space-time symmetries have great importance in physics, but there are relatively new interesting structures such as 3-algebras [13-15].

2. POSSIBLE POINCARE SUPERALGEBRAS

In this note we deal with algebras where the number of anticommuting generators is arbitrary and give the general form of the structure constants. These superalgebras are definitely interesting from mathematical point of view. We consider an algebra where the generators [P.sup.[mu]] and [M.sup.[mu]v] of the Poincare group and n generators [S.sub.[alpha]] satisfy the relations:

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], (3)

where

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], (4)

[c.sup.[mu]v,[rho].sub.[kappa]] = [[eta].sup.v[rho]] [[eta].sup.[mu].sub.[kappa]] - [[eta].sup.[mu][rho]] [[eta].sup.v.sub.[kappa]], (5)

and [[eta].sup.00] = -[[eta].sup.11] = -[[eta].sup.22] = -[[eta].sup.33] = 1. In this paper [kappa], [lambda], [mu], v, [rho], [sigma] = 0,1,2,3 and [alpha],[beta],[gamma],[delta] = 1,2, ..., n, summation over the repeating indices is presumed. Proceeding from the Jacobi identities, it is easy to demonstrate that [B.sup.[mu]v.sub.[alpha][beta]] are the matrix elements of the generators [B.sup.[mu]v] of some n-dimensional representation (reducible or irreducible) of the Lorentz group and [A.sub.[mu]],[alpha][beta] are matrix elements of matrices [A.sub.[mu]] which are connected with the [beta]-matrices of an invariant first-order equation

([p.sub.[mu]] [[beta].sup.[mu]] - m)[psi](p) = 0. (6)

The idea is to reduce the conditions we get from the Jacobi identities to some well-known commutation relations. Starting with the Jacobi identities it is easy to be convinced that we must look through the identities with generators Sa and M v. First we start from the identities

[[S.sub.[alpha]],[[M.sup.[mu]v],[M.sup.[rho][sigma]]] + [[M.sup.[rho][sigma]],[[S.sub.[alpha]],[M.sup.[mu]v]]] + [[M.sup.[mu]v],[[M.sup.[rho][sigma]], [S.sub.[alpha]]] = 0.

Using the relations (3), we obtain

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII].

That gives for matrices [B.sup.[mu]v]

[[B.sup.[mu]v], [B.sup.[rho][sigma]] = [c.sup.[mu]v,[rho][sigma].sub.[kappa][lambda]] [B.sup.[kappa][lambda]. (7)

The last relations are the well-known commutation relations of the Lorentz group generators. Therefore the matrices B v are the generators of some arbitrary n-dimensional representation of the Lorentz group, and the structure constants [B.sup.[mu]v.sub.[alpha][beta]] in (3) are its matrix elements. The number of the anticommuting generators is equal of course to the dimension of the [B.sup.[mu]v] representation. The second Jacobi identity

-{[S.sub.[beta]],[[M.sup.[mu]v],[S.sub.[alpha]]} + {[S.sub.[alpha]],[[S.sub.[beta]],[M.sup.[mu]v]]} + [[M.sup.[mu]v], {[S.sub.[alpha]],[S.sub.[beta]]}] = 0

gives the relations

[B.sup.[mu]v.sub.[alpha][gamma]][A.sub.[kappa],[beta][gamma]] + [B.sup.[mu]v.sub.[beta][gamma]][A.sub.[kappa],[alpha][gamma]] + [c.sup.[mu]v,[lambda].sub.[kappa]] [A.sub.[lambda],[alpha][beta]] = 0

For matrices [B.sup.[mu]v] and [A.sub.[mu]]

[B.sup.[mu]v] [A.sub.[kappa] + [A.sub.[kappa][[bar.B].sup.[mu]v] = -[c.sup.[mu]v,[lambda].sub.[kappa]] [A.sub.[kappa]]. (8)

Here [[bar.B].sup.[mu]v] is [B.sup.[mu]v] transposed and we have used the fact that [[bar.A].sub.[mu]] = [A.sub.[mu]]. Now we suppose that there exists a matrix C which satisfies

C[bar.B].sup.[mu]v] [C.sup.-1] = -[B.sup.[mu]v]. (9)

Then we can write (8) as

[[B.sup.[mu]v],[A.sub.[kappa]][C.sup.-1]] = -[c.sup.[mu]v,[lambda].sub.[kappa]] [A.sub.[lambda]] [C.sup.-1].

Denoting

[[beta].sub.[kappa]] = [A.sub.[kappa][C.sup.-1] (10)

we obtain

[[B.sup.[mu]v],[[beta].sub.k]] = -[c.sup.[mu]v,[lambda].sub.[kappa]] [[beta].sub.[lambda]]. (11)

The last relations are the invariance conditions for the first-order wave equation (6) corresponding to the [B.sup.[mu]v] representation. Therefore the matrices [A.sub.[kappa]] are connected with the [beta]-matrices of an invariant equation. From the relation (10)

[A.sub.[kappa] = [[beta].sub.[kappa]]C (12)

and therefore

{[S.sub.[alpha]],[S.sub.[beta]]} = ([[beta].sub.[kappa]]C)[sub.[alpha][beta]][P.sup.[kappa]].

As regards matrix C which satisfies (9), it should be mentioned that such a matrix always exists because it exists in the case of the spinor representations (1/2,0) and (0,1/2). To show this, we write the generators [B.sup.[mu]v] in the form [B.sup.0k] = [- or +] 1/2 [[sigma].sup.k], [B.sup.kl] = [[epsilon].sup.kl.sub.m] [[sigma].sup.m] (k,l,m = 1,2,3; [[epsilon].sup.123] = 1), where the minus sign corresponds to the representation (1/2,0), and the plus sign to (0,1/2) and [[sigma].sup.1], [[sigma].sup.2], [[sigma].sup.3] are the Pauli matrices. Now the matrix C must satisfy C[[sigma].sup.k][C.sup.-1] = -[[sigma].sup.k]. In the case of the usual representation of the Pauli matrices one can take C = [+ or -] [[sigma].sup.2]. As other representations are obtainable from direct products of spinor representations, Matrix C also exists. In the case of Dirac bispinor (1/2,0) [direct sum] (0,1/2) C is charge conjugation operator. The matrices [[beta].sub.[kappa]] and C must be chosen to satisfy [[bar.B].sub.[kappa]]C = [[beta].sub.[kappa]]C.

3. SOME CONCLUSIONS

In the previous section it is shown that there exist general Poincare superalgebras (3) where [B.sup.[mu]v] are generators of some n-dimensional representation of the homogeneous Lorentz group and [A.sub.[mu]] are determined by the [beta]-matrices of the corresponding first-order wave equation (7). Let us consider some examples.

1. There are Lie superalgebras with simply anticommuting [S.sub.[alpha]] generators independently of the choice of generators, since one can always take [A.sub.[mu]] = 0.

2. If [B.sup.[mu]v] are the generators of some irreducible representation of the Lorentz group, we have also [A.sub.[mu]] = 0, since there are no first-order equations. In the case of first-order equations (6), the [beta]-representation is always reducible and composed of "linked" irreducible representations.

3. The most important supersymmetry algebra (2) in case N = 1 corresponds to the choice [B.sup.[mu]v] = 1/2 [[sigma].sup.[mu]v], where [B.sup.[mu]v] are the Lorentz generators for a Dirac bispinor representation and [A.sub.[mu]] are determined by the well-known Dirac equation ([p.sub.[mu]] [[gamma].suip.[mu]] - m) [psi] = 0 for a bispinor [A.sub.[mu]] = [[gamma].sub.[mu]]C. The N-extended Poincare superalgebras, which are the basics of modern supersymmetry models in quantum field theory, are built similarly.

4. Usually it is assumed that the generators [S.sub.[alpha] are fermionic, especially in physical applications, since then we have Fermi-Bose symmetry. However, algebra (3) allows also bosonic generators [S.sub.[alpha]]. For example, if we take five generators Sa, where four are components of some four-vector S [mu] and the fifth is scalar [S.sub.[mu]] the matrices [A.sub.[mu]] are connected with the s = 0 Kemmer-Duffin matrices [16]. Now there is no Bose-Fermi symmetry, since Bose and Fermi fields are not mixed in the same multiplet.

5. The next physically interesting Poincare superalgebra is obtained if we take instead of Dirac bispinor supergenerators [S.sub.[alpha]] 16 vector-bispinor generators [S.sup.[mu].sub.[alpha]]. In that case [A.sub.[mu]] are connected with the [beta]-matrices of the Rarita-Schwinger equation. The Rarita-Schwinger equation is used to describe spin 3/2, but depending on the choice of free parameters present in the equation it may describe single spin 3/2, spin 3/2 and one spin 1/2, spin 3/2, and two spins 1/2. The general form of the corresponding (-matrices is the following [17]

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII],

where a, b, and c are some real free parameters. The choice of parameters determines the mass and spin content of a given equation. There exist the following choices of parameters. In the single spin /2 case ab = -1/4, c = -1/2, if ab = c/2 (except c = -1/2) in addition to spin 3/2 there is also one spin 1/2 state present. If 4ab [greater than or equal to] -(c - 1/2)2 we have one spin 3/2 and two spin 1/2 states. In other cases the equation turns out to be unphysical, since the spin 1 /2 states do not have real masses. For that reason Lie superalgebras with vector-bisponor generators may offer numerous possibilities. We hope that they may be interesting also in physical applications.

doi: 10.3176/proc.2010.4.12

REFERENCES

[1.] Kac, V. G. Lie superalgebras. Adv. Math., 1977, 26, 8-96.

[2.] Cornwell, J. F. Group Theory in Physics. Volume III. Supersymmetries and Infinite-Dimensional Algebras. Elsevier Academic Press, London, 2005.

[3.] Frappat, L., Sorba, P., and Sciarrino, A. Dictionary on Lie Superalgebras. hep-th/9607161v1.

[4.] Colfand, Y. A. and Likhtman, E. P. Extension of the algebra of Poincare group generators and violation of P invariance. JETP Lett., 1971, 13,323.

[5.] Wess, J. and Zumino, B. Supergauge transformations in four dimensions. Nucl. Phys. B, 1974, 70, 39-50.

[6.] Terning, J. Modern Supersymmetry. Dynamics and Duality. Oxford University Press, Oxford, 2007.

[7.] Weinberg, S. The Quantum Theory of Fields. Volume III. Supersymmetry. Cambridge University Press, Cambridge, 2000.

[8.] Martin, S. P. A Supersymmetry primer. In Perspctives on Supersymmetry (Kane, G. L., ed.), pp. 1-98, World Scienific, Singapore, 1998. hep-ph/9709356.

[9.] Coleman, S. and Mandula, J. All possible symmetries of the S-matrix. Phys. Rev., 1967, 159, 1251-1256.

[10.] Haag, R., Lopuszanski, J. T., and Sohnius, M. All possible generators of supersymmetries of the S-matrix. Nucl. Phys. B, 1975, 88, 257-274.

[11.] Salam, A. and Strathdee, J. A. Unitary representations of super-gauge symmetries. Nucl. Phys. B, 1974, 80, 499-505.

[12.] Strathdee, J. Extended Poincare supersymmetry. Int. J. Mod. Phys., 1987, A2, 273.

[13.] Bagger, J. and Lambert, N. Modeling multiple M2'S. Phys. Rev., 2007, D75, 045020. arXiv:hep-th/0611108.

[14.] Bagger, J. and Lambert, N. Gauge symmetry and supersymmetry of multiple M2-branes. Phys. Rev., 2008, D77, 065008. arXiv:0711.0955 [hep-th].

[15.] De Medeiros, P., Figueroa-O'Farrill, J., Mendez-Escobar, E., and Ritter, P. On the Lie-algebraic origin of metric 3-algebras. Commun. Math. Phys., 2009, 290(3), 871-902. arXiv:0809.1086[hep-th].

[16.] Ainsaar, A. A Supersymmetry ofBosons. Preprint FI-38, Tartu, 1975.

[17.] Loide, R.-K. Equations for a vector-bispinor. J. Phys. A: Math. Gen., 1984, 17, 2535-2550.

Rein-Karl Loide * and Pavel Suurvarik

Department of Physics, Tallinn University of Technology, Ehitajate tee 5, 19086 Tallinn, Estonia; pavel.suurvarik@ttu.ee

Received 24 March 2010, accepted 16 April 2010

* Corresponding author, loide@staff.ttu.ee

Printer friendly Cite/link Email Feedback | |

Title Annotation: | MATHEMATICS |
---|---|

Author: | Loide, Rein-Karl; Suurvarik, Pavel |

Publication: | Proceedings of the Estonian Academy of Sciences |

Article Type: | Report |

Geographic Code: | 4EXES |

Date: | Dec 1, 2010 |

Words: | 2714 |

Previous Article: | Bethe ansatz for the deformed Gaudin model/Bethe eeldus deformeeritud Gaudini mudeli jaoks. |

Next Article: | Commutativity and ideals in category crossed products/Kommutatiivsus ja ideaalid kategooriaga gradueeritud ristkorrutistes. |

Topics: |