Printer Friendly

On the geometry of the conformal group in spacetime.

The study of the conformal group in [R.sup.p,q] usually involves the conformal compactification of [R.sup.p,q]. This allows the transformations to be represented by linear transformations in [R.sup.p+1,q+1]. So, for example, the conformal group of Minkowski space, R1,3 leads to its isomorphism with SO (2,4). This embedding into a higher dimensional space comes at the expense of the geometric properties of the transformations. This is particularly a problem in R (1,3) where we might well prefer to keep the geometric nature of the various types of transformations in sight.

In this note, we show that this linearization procedure can be achieved with no loss of geometric insight, if, instead of using this compactification, we let the conformal transformations act on two copies of the associated Clifford algebra. Although we are mostly concerned with the conformal group of Minkowski space (where the geometry is clearest), generalization to the general case is straightforward.

1 Introduction

The conformal group (1) of most interest to physicists is the conformal group on Minkowski space R (1,3). (We will choose the metric g = [g.sub.[micro]v] with signature +, -, -, - and c = 1, and avoid indices by writing (x, y) = [x.sub.0][y.sub.0] - [x.sub.1][y.sub.1] - [x.sub.2][y.sub.2] - [x.sub.3][y.sub.3].) Although most of the ideas regarding conformal transformations naturally carry over to general [R.sup.p,q] spaces, the geometric ideas are easier to understand in Minkowski space and we are not burdened with extra notation.

The conformal group can be studied from a number of (equivalent) viewpoints.

We can compactify R (1,3) to a 4-dimensional submanifold of the projective space [P.sub.5] (R), in which case the identity connected component of the conformal group is isomorphic to SO(2,4). (See e.g. Schottenloher [1] for a detailed outline of this conventional approach whereby non-linear conformal maps are linearized in a larger space.)

Castro and Pavsic [2] have shown the emergence of the conformal group SO (2,4) from the Clifford algebra of spacetime [Cl.sub.1,3] by pointing out that the conformal group is a subgroup of the Clifford group, but again this leads to an underlying six dimensional space where the extra two components are not easy to identify geometrically.

Hestenes and others [3, 4] developed the idea of the conformal split in general [R.sup.p,q] space and used this to highlight the connection between the conformal group on [R.sup.p,q] and spin groups which naturally belong to the Clifford algebra [Cl.sub.p+1,q+1].

Lounesto and Latvamaa [5] extended the Clifford algebra [Cl.sub.p,q] to the larger Clifford algebra [Cl.sub.p+1,q] and found simple commutation relations in [Cl.sub.=+1,q] describing the conformal Lie algebra of the conformal group on [R.sup.p,q]. See also Girard [6] for a description of conformal transformations in terms of quaternionic parameters.

In the last two of these approaches, and specializing to Minkowski space, it is recognized that the Clifford algebra [Cl.sub.1,3] is not large enough to accommodate the generators of the conformal Lie algebra on [R.sup.1,3]. In a sense, Lounesto and Latvamaa's description is the simplest since only the time index is increased. But in each of these approaches, the geometric nature of the transformations which make up the conformal group tends to become obscured.

The aim of this paper is to show that the conformal group (more properly, the covering group of the conformal group) can be realized by the action of [Cl.sub.1,3] on the space [Cl.sub.1,3] [direct sum] [Cl.sub.1,3]. Although this larger space can be viewed as the vector space of the Clifford algebra [Cl.sub.2,3] (which is the approach Lounesto and Latvamaa take), this is unnecessary. Imposing an algebraic structure tends to obscure the more important geometric ideas and also raises problems of interpretation--e.g., what does the extra generator represent physically or geometrically?

2 Conformal transformations

The 10-parameter Poincare group is the semi-direct product of the 6-parameter Lorentz group with the 4-parameter group of space-time translations. The Poincare group may then be enlarged to the conformal group by adding dilatations

x [right arrow] [rho]x ([rho] > 0)

as well as special conformal transformations

x [right arrow] [x + <x, x>a/[sigma](x)], where [sigma](x) = 1 + 2<a, x> + <a, a><x, x>

which correspond to local scale changes.

The special conformal transformations may also be obtained as the product of an inversion

I: x [right arrow] [x.sup.-1] = x/<x, x>

followed by a translation and another inversion.

The generators of the (identity component of the) conformal group may be realized as differential operators acting on Minkowski space. The operators corresponding to Lorentz transformations ([M.sub.[mu]]v]), translations ([P.sub.[mu]]), dilatations (D) and special conformal transformations ([K.sub.[mu]]) satisfy the following commutation relations

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

(Note that there is some divergence between authors. Some require that the generators be Hermitian in which case the imaginary number i makes an occasional appearance in these equations. Since we are dealing with Lie, i.e. anti-symmetric, products it is perhaps more logical to define these generators to be skew-Hermitian. This has the added bonus that only real algebras ever have to be used. In this context, we follow the definitions in Barut and Raczka [7] and Lounesto [8].)

3 The Clifford algebra representations

We assume familiarity with the basic definitions and ideas in Clifford algebras. (For these, see Lounesto [8], or Girard [9].) The basis elements for [Cl.sub.1,3] will be [e.sub.0], [e.sub.1], [e.sub.2], [e.sub.3] with [e.sup.2.sub.0] = 1 and [e.sup.2.sub.1] = [e.sup.2.sub.2] = [e.sup.2.sub.3] = -1. As usual we write [e.sub.[mu]v] for [e.sub.[mu][e.sub.v] etc. and define the (unit) pseudoscalar e = [e.sub.0123].

We regard [Cl.sub.1,3] as acting on the vector space [Cl.sub.1,3] [direct sum] [Cl.sub.1,3] by left multiplication. It is then straightforward to verify that the above commutation relations are

satisfied by the following operators.

[M.sub.[mu]v](x,y) = 1/2([e.sub.[mu]v]x,[e.sub.[mu]v]y)

[P.sub.[mu]](x,y) = ([e.sub.[mu]]y,0)

[K.sub.[mu]](x,y) = (o, [e.sub.[mu]x)

D(x, y) = 1/2(-x, y)

where x, y [member of] [Cl.sub.1,3].

Although the inversion operator is not in the identity component, it too has a very natural representation in this context as

I(x, y) = (y, x)

It then follows that [K.sub.[mu]] = [IP.sub.[mu]]I.

Since these operators are defined through the action of the associative algebra [Cl.sub.1,3], they can be expected to have extra algebraic properties. (2) As an example, the translation generators [P.sub.[mu]] satisfy the property

[P.sub.[mu]][P.sub.v] = 0

(which trivially implies that [[P.sub.[mu]], [P.sub.v]] = 0). As is shown below in this section, this property is important when we want to show that [P.sub.[mu]] generates a translation in the direction [e.sub.[mu]]. (3)

The transformations that arise from these generators are now easy to describe geometrically.

Lorentz transformations. It is well known that the elements [M.sub.[mu]v] generate (the proper orthochronous) Lorentz transformations on [R.sup.1,3]. In the Clifford ale gebra setting, where we could define [M.sub.[mu]v] = [[e.sub.[mu]v]/2], this is particularly simple. For example, a boost in the direction n = ([n.sub.1], [n.sub.2], [n.sub.3]), with velocity v = tanh [phi] (remember that we are using units with c = 1), may be represented as

x [right arrow] x' = [axa.sup.-1]

where a = exp([phi]n) and n = [n.sub.1][e.sub.01] + [n.sub.2][e.sub.02] + [n.sub.3][e.sub.03]. Similarly spacial rotations through an angle [theta], are of the same form but now a = exp([theta]ne) with n describing the axis of rotation and e = [e.sub.0123].

Translations. Consider now the generator [P.sub.[mu]] defined by

[P.sub.[mu]](x, y) = ([e.sub.[mu]]y, 0)

Clearly [P.sup.2.sub.[mu]] = 0 so that

exp(t[P.sub.[mu]])(x, y) = (x + [te.sub.u]y, y)

More generally, if a = ([a.sup.[mu]][e.sub.[mu]]) is a vector in [R.sup.1,3], then

exp([ta.sup.[mu]][P.sub.[mu]]) (x,y) = (x + [ta.sup.[mu]][e.sub.[mu]]y,y)

and in particular

exp([ta.sup.[mu]][P.sub.[mu]]) (x, y) = (x + [ta.sup.[mu][e.sub.[mu]y, y)

and in particular

exp([ta.sup.[mu]][P.sub.[mu])(x, y) = (x + ta, 1)

so that [P.sub.a] = [a.sup.[mu]][P.sub.u] generates the translation operation [T.sub.a] : x [right arrow] x + a in [R.sup.1,3] when this space is identified with the hyperplane [R.sup.1,3] [direct sum] (1) in [Cl.sub.1,3] [direct sum] [Cl.sub.1,3], (see figure 1).

It might also be worth pointing out, that there is no algebraic reason why we should only consider translations in the direction of a 1-vector. If u is any element of [Cl.sub.1,3], we can define an operator [P.sub.u] by

[P.sub.u](x, y) = (uy, 0)

and this generates a translation in [Cl.sub.1,3] [direct sum] [Cl.sub.1,3]. This then leads to a generalization of the conformal group and it would be interesting to characterize this extended group further.

Special conformal transformations. The generator [K.sub.[mu]] behaves much like [P.sub.[mu]], but on the second component space of [Cl.sub.1,3] [direct sum] [Cl.sub.1,3]. It too generates a translation [U.sub.b] : y [right arrow] y + b in [R.sup.1,3] when the space in identified with the hyperplane (1) [direct sum] [R.sup.1,3], this time of the form

exp([ta.sup.[mu]][K.sub.[mu]])(1,y) = 1, y + ta).

This illustrates an advantage of our approach. The special conformal transformations act in an entirely similar way to translations, but on the second component subspace rather than the first. In that sense, they are no more non-linear than translations.

Again we can generalize special conformal transformations to operators Ku defined by

[K.sub.u](x, y) = 0, ux).

Dilatations. The operator D defined by D(x,y) = 1/2 (-x, y) generates the transformations

exp(tD)(x,y) = ([e.sup.-1/2]x, [e.sup.1/2]y).

which, in the special cases where either x or y is 0, can represent dilations of 1-vectors in [R.sup.1,3]. Again, there is no algebraic reason why dilatations cannot be considered on all of [Cl.sub.1,3] or in fact, on all of [Cl.sub.1,3] [direct sum] [Cl.sub.1,3].

Inversions. Although inversions are not part of the connected component of the conformal group (and hence do not appear in the conformal Lie algebra), they are conformal transformations which in our picture, interchange the two component subspaces and thus provide a link between special conformal transformations and translations.

[FIGURE 1 OMITTED]

4 Concluding remarks

In this note we have put forth an alternative linearization procedure for the conformal group of [R.sup.p,q]. To achieve linearization, we let the conformal transformations act on two copies of the associated Clifford algebra instead of the standard procedure which involves compactifying [R.sup.p,q],(so that the conformal transformations may be represented by linear transformations in [R.sup.p+1,q+1]). In particular we have considered the conformal transformations of Minkowski space [R.sup.1,3] to highlight the geometrical advantages provided by this Clifford algebra approach.

Representing the conformal algebra in [R.sup.1,3] in terms of [Cl.sub.1,3] rather than some larger Clifford algebra, preserves and in fact emphasizes the geometric nature of conformal transformations. It also makes it easier to treat algebras such as the stabilized Poincare-Heisenberg algebra (SPHA). This is regarded as a stabilized version of the direct sum of the Heisenberg and Poincare algebras (see Chryssomalakos and Okon [10]), but may also be considered in terms of simple commutation relations in [Cl.sub.1,3] (See Gresnigt et al. [11]).

[FIGURE 2 OMITTED]

References

[1] M. Schottenloher. A Mathematical introduction to conformal field theory: Based on a series of lectures given at the Mathematisches Institut der Univers. Springer Verlag, 1997.

[2] C. Castro and M. Pavsic. Clifford Algebra of Spacetime and the Conformal Group. International Journal of Theoretical Physics, 42(8):1693-1705, 2003.

[3] D. Hestenes. The design oflinear algebra and geometry. Acta Applicandae Math ematicae, 23(1):65-93, 1991.

[4] H. Li, D. Hestenes, and A. Rockwood. Generalized Homogeneous Coordinates for Computational Geometry. Geometric Computing with Clifford Algebras, Springer-Verlag pages 25-58, 2000.

[5] P. Lounesto and E. Latvamaa. Conformal transformations and Clifford algebras. Proc. Amer. Math. Soc, 79:533, 1980.

[6] P. R. Girard. The quaternion group and modern physics. European Journal of Physics, 5:25-32, 1984

[7] A. O. Barut and R. Rkaczka. Theory of Group Representations and Applications. World Scientific, 1986.

[8] P. Lounesto. Clifford Algebras and Spinors. Cambridge University

Press, 2001.

[9] P. R. Girard. Quaternions, Clifford algebras and relativistic physics. Birkhauser Verlag, 2007,

[10] C. Chryssomalakos and E. Okon. Generalized Quantum Relativistic Kinematics: a Stability Point of View. [Arxiv preprint hep-th/0410212], 2004.

[11] N. G. Gresnigt, P. F. Renaud, and P. H. Butler. The Stabilized Poincar-Heisenberg Algebra: a Clifford Algebra Viewpoint. Int. J. Mod. Phys. D [arXiv:hep-th/0611034], 16(09):1519-1529,2007.

(1) There is not complete unanimity as to what constitutes the conformal group. Most authors restrict it to a connected component. One advantage of a Clifford algebra approach, is that it naturally leads to a description of the covering group and even allows the inclusion of operators such as inversions, which are not normally included in the conformal group, even though they are conformal transformations.

Received by the editors October 2008--In revised form in January 2009. Communicated by F. Brackx.

2000 Mathematics Subject Classification : Primary 22E46. Secondary 17B15, 22E70.

Key words and phrases : Clifford algebra, conformal group, Minkowski space.

(2) As a general rule, if a Lie algebra structure is imposed on an associative algebra via [A, B] = AB--BA, some properties of AB may be lost

(3) The authors are indebted to the anonymous referee for pointing out that an earlier draft of this paper was too vague and that this point could be clarified.

Department of Physics and Astronomy, Rutherford Building, University of Canterbury

Private Bag 4800, Christchurch 8020, New Zealand

e-mail: ngg18@student.canterbury.ac.nz

Department of Mathematics and Statistics, University of Canterbury,

Private Bag 4800 Christchurch 8020, New Zealand

e-mail: p.renaud@math.canterbury.ac.nz
COPYRIGHT 2010 Belgian Mathematical Society
No portion of this article can be reproduced without the express written permission from the copyright holder.
Copyright 2010 Gale, Cengage Learning. All rights reserved.

 
Article Details
Printer friendly Cite/link Email Feedback
Author:Gresnigt, N.G.; Renaud, P.F.
Publication:Bulletin of the Belgian Mathematical Society - Simon Stevin
Article Type:Report
Geographic Code:8NEWZ
Date:May 1, 2010
Words:2547
Previous Article:The orthogonal u-invariant of a quaternion algebra.
Next Article:On a Diophantine equation of Stroeker.
Topics:

Terms of use | Privacy policy | Copyright © 2018 Farlex, Inc. | Feedback | For webmasters