Professional Documents
Culture Documents
r
X
i
v
:
m
a
t
h
-
p
h
/
0
4
1
2
0
7
6
v
1
2
1
D
e
c
2
0
0
4
Revisiting Cliord algebras and spinors III: conformal
structures and twistors in the paravector model of spacetime
Roldao da Rocha
Abstract
This paper is the third of a series of three, and it is the continua-
tion of [1, 2]. After reviewing the conformal spacetime structure, conformal
maps are described in Minkowski spacetime as the twisted adjoint represen-
tation of $pin
+
(2,4), acting on paravectors. Twistors are then presented via
the paravector model of Cliord algebras and related to conformal maps in
the Cliord algebra over the lorentzian R
4,1
spacetime. We construct twistors
in Minkowski spacetime as algebraic spinors associated with the Dirac-Cliord
algebra CC
1,3
using one lower spacetime dimension than standard Cliord
algebra formulations, since for this purpose the Cliord algebra over R
4,1
is
also used to describe conformal maps, instead of R
2,4
. Although some pa-
pers have already described twistors using the algebra C (
1,3
(
4,1
, the
present formulation sheds some new light on the use of the paravector model
and generalizations.
Instituto de Fsica Gleb Wataghin (IFGW), Unicamp, CP 6165, 13083-970, Campinas (SP), Brazil.
E-mail: roldao@i.unicamp.br. Supported by CAPES.
i=0
T
i
(V ) from which we restrict our attention to the space (V ) =
n
k=0
k
(V )
of multivectors over V .
k
(V ) denotes the space of the antisymmetric k-tensors, the
k-forms. Given (V ),
denotes the reversion, an algebra antiautomorphism
given by
= (1)
[k/2]
([k] denotes the integer part of k).
denotes the main
automorphism or graded involution, given by
= (1)
k
. The conjugation is de-
ned by the reversion followed by the main automorphism. If V is endowed with a
nondegenerate, symmetric, bilinear map g : V V R, it is possible to extend g
to (V ). Given = u
1
u
k
and = v
1
v
l
, u
i
, v
j
V , one denes
g(, ) = det(g(u
i
, v
j
)) if k = l and g(, ) = 0 if k ,= l. Finally, the projection of a
multivector =
0
+
1
+ +
n
,
k
k
(V ), on its p-vector part is given by )
p
=
p
. The Cliord product between v V and (V ) is given by v = v +v .
The Grassmann algebra ((V ), g) endowed with this product is denoted by ((V, g)
or (
p,q
, the Cliord algebra associated to V R
p,q
, p +q = n.
2 Periodicity Theorem, Mobius maps and the con-
formal group
The Periodicity Theorem if Cliord algebras has great importance and shall be
used in the rest of the paper. Then it is natural to enunciate and prove the
Periodicity Theorem Let (
p,q
be the Cliord algebra of the quadratic space
R
p,q
. The following isomorphisms are veried:
(
p+1,q+1
(
1,1
(
p,q
, (1)
(
q+2,p
(
2,0
(
p,q
, (2)
(
q,p+2
(
0,2
(
p,q
, (3)
where p > 0 or q > 0.
Proof : Let V be a 2-dimensional space, where the bilinear symmetric non-degenerate
2-form g
V
: V V R is dened. In terms of an orthonormal basis f
1
, f
2
, we have,
for u = u
1
e
1
+u
2
e
2
V the expression
g
V
=
1
(u
1
)
2
+
2
(u
2
)
2
, (4)
where
1
and
2
are chosen to be
1
= 1,
2
= 1, depending on the considered
case: V = R
2,0
, R
1,1
or R
0,2
. The linear application : R
p,q
V ((V, g
V
) (
p,q
is dened by:
(v +u) = f
1
f
2
v +u 1, u V, v R
p,q
,
where it is implicit that f
1
= (f
1
), f
2
= (f
2
), u denotes (u) by abuse of notation,
and also v = (v), where and are the Cliord applications : V ((V, g
V
) and
: R
p,q
(
p,q
. is indeed a Cliord application:
_
(v +u)
_
2
=
_
f
1
f
2
v +u 1)
_
f
1
f
2
v +u 1)
= (f
1
f
2
)
2
(v)
2
+ (uf
1
f
2
+f
1
f
2
u) v + (u)
2
1.
Since f
1
, f
2
is orthogonal, i.e., f
1
f
2
= f
1
f
2
= f
2
f
1
we have
uf
1
f
2
+f
1
f
2
u = u(f
1
f
2
) + (f
1
f
2
)u = 2u f
1
f
2
= 0,
because u V is written as u = af
1
+bf
2
. Using
(f
1
f
2
)
2
= (f
1
)
2
(f
2
)
2
=
1
2
,
it follows that
_
(v +u)
_
2
=
1
2
g(v, v) +g
V
(u, u) 1
=
_
1
(u
1
)
2
+
2
(u
2
)
2
2
[(v
1
)
2
+ + (v
p
)
2
(v
p+1
)
2
(v
n
)
2
]
1 1.
So we proved that is indeed a Cliord application : R
p,q
V ((W, g
W
),
where W is a (n + 2)-dimensional vector space, endowed with a bilinear symmetric
non-degenerate 2-form g
W
given by
g
W
(w, w) =
1
(u
1
)
2
+
2
(u
2
)
2
2
_
(v
1
)
2
+ + (v
p
)
2
(v
p+1
)
2
(v
n
)
2
,
where w = u
1
f
1
+u
2
f
2
+v
i
e
i
.
Therefore,
if V = R
2,0
then W = R
q+2,p
,
if V = R
1,1
then W = R
p+1,q+1
,
if V = R
0,2
then W = R
p,q+2
.
The isomorphisms follow from the universality property of the Cliord algebras.
( = 1).
Periodicity Theorem (II) The Periodicity Theorem (1) is given by
((
p+1,q+1
,
) ((
p,q
,
) ((
1,1
,
).
Proof : The bases e
i
, f
j
span the algebras (
p,q
and (
1,1
, respectively. Let
e
i
f
1
f
2
, 1 f
j
be a basis for (
p+1,q+1
(
p,q
(
1,1
. The following relations are
easily veried:
(
)(e
i
f
1
f
2
) =
(e
i
)
(f
1
f
2
)
= (e
i
f
1
f
2
) (6)
(
)(1 f
j
) =
(1)
(f
j
)
= (1 f
j
) (7)
Therefore the generators are multiplied by .
_
a c
b d
_
=
_
d c
b a
_
. (12)
The rotation of a paravector a R R
3
can be performed by the twisted adjoint
representation
a a
= a , $pin
+
(1, 3). (13)
In terms of the matrix representation we can write eq.(13), using eq.(10), as:
_
z
z
_
_
a c
b d
__
z
z
_
_
a c
b d
_
, (14)
and using eq.(12), it follows that
_
z
z
_
_
a c
b d
__
z
z
__
d c
b a
_
(15)
Taking = 1 and = z z, we see that the paravector a is maped on
_
a c
b d
__
z z z
1 z
__
d c
b a
_
=
_
z
1
z
_
, (16)
where z
:=
az+c
bz+d
and := [bz +d[
2
R.
The map given by eq.(16) is the spin-matrix A SL(2, C), described in [25].
2.2 Conformal compactication
The results in this section are achieved in [31, 45]. Given the quadratic space R
p,q
,
consider the injective map given by
: R
p,q
R
p+1,q+1
x (x) = (x, x x, 1) = (x, , ) (17)
The image of R
p,q
is a subset of the quadric Q R
p+1,q+1
, described by the equation:
x x = 0, (18)
the so-called Klein absolute. The map induces an injective map from Q in the
projective space RP
p+1,q+1
. Besides, Q is compact and dened as the conformal
compactication
R
p,q
of R
p,q
.
Q
R
p,q
is homeomorphic to (S
p
S
q
)/Z
2
[45]. In the particular case where p = 0
and q = n, the quadric is homeomorphic to the n-sphere S
n
, the compactication of
R
n
via the addition of a point at innity.
There also exists an injective map
s : R R
3
R R
4,1
v s(v) =
_
v v v
1 v
_
(19)
The following theorem is introduced by Porteous [31, 45]:
Theorem (i) the map : R
p,q
R
p+1,q+1
; x (x, x x, 1), is an isometry.
(ii) the map : Q R
p,q
; (x, , ) x/ dened where ,= 0
is conformal.
(iii) if U : R
p+1,q+1
R
p+1,q+1
is an orthogonal map, the the
map = U : R
p,q
R
p,q
is conformal.
The application maps conformal spheres onto conformal spheres, which can be
quasi-spheres or hiperplanes. A quasi-sphere is a submanifold of R
p,q
, dened by the
equation
a x x +b x +c = 0, a, c R, b R
p,q
. (20)
A quasi-sphere is a sphere when a quadratic form g in R
p,q
is positive dened and
a ,= 0. A quasi-sphere is a plane when a = 0. From the assertion (iii) of the theorem
above, we see that U and U induces the same conformal transformation in R
p,q
. The
conformal group is dened as
Conf(p, q) O(p + 1, q + 1)/Z
2
(21)
O(p + 1, q + 1) has four components and, in the Minkowski spacetime case, where
p = 1, q = 3, the group Conf(1,3) has four components. The component of Conf(1, 3)
connected to the identity, denoted by Conf
+
(1, 3) is known as the M obius group of
R
1,3
. Besides, SConf
+
(1,3) denotes the component connected to the identity, time-
preserving and future-pointing.
3 Paravectors of (
4,1
in (
3,0
via the Periodicity The-
orem
Consider the basis
A=0
of R
2,4
that obviously satises the relations
2
0
=
2
5
= 1,
2
1
=
2
2
=
2
3
=
2
4
= 1,
B
= 0 (
A ,=
B). (22)
Consider also R
4,1
, with basis E
A
4
A=0
, where
E
2
0
= 1, E
2
1
= E
2
2
= E
2
3
= E
2
4
= 1, E
A
E
B
= 0 (A ,= B). (23)
The basis E
A
is obtained from the basis
A
, if we dene the isomorphism
: (
4,1
2
(R
2,4
)
E
A
(E
A
) =
A
5
. (24)
The basis E
A
dened by eq.(24) obviously satises eqs.(23).
Given a vector =
A
R
2,4
, we obtain a paravector b R R
4,1
(
4,1
if
the element
5
is left multiplied by b:
b =
5
=
A
E
A
+
5
. (25)
From the Periodicity Theorem, it follows the isomorphism (
4,1
(
1,1
(
3,0
and so it is possible to express an element of (
4,1
as a 2 2 matrix with entries in
(
3,0
.
A homomorphism : (
4,1
(
3,0
is dened as:
E
i
(E
i
) = E
i
E
0
E
4
e
i
. (26)
It can be seen that e
2
i
= 1, E
i
= e
i
E
4
E
0
and
E
4
= E
+
+E
,
E
0
= E
+
E
,
(27)
where E
:=
1
2
(E
4
E
0
). Then,
b =
5
+ (
0
+
4
)E
+
+ (
4
0
)E
+
i
e
i
E
4
E
0
. (28)
If we choose E
4
and E
0
to be represented by
E
4
=
_
0 1
1 0
_
, E
0
=
_
0 1
1 0
_
, (29)
consequently we have
E
+
=
_
0 0
1 0
_
, E
=
_
0 1
0 0
_
, E
4
E
0
=
_
1 0
0 1
_
, (30)
and then the paravector b R R
4,1
(
4,1
in eq.(28) is represented by
b =
_
5
+
i
e
i
4
0
+
4
i
e
i
_
(31)
The vector R
2,4
is in the Klein absolute, i.e.,
2
= 0. Besides, this condition
implies that
2
= 0 b
b = 0, (32)
since
2
= = 1
=
2
5
=
5
= b
b. (33)
We denote
=
4
0
,
=
4
+
0
.
(34)
Using the matrix representation of b
b, the entry (b
b)
11
of the matrix is given by
(b
b)
11
= x x = 0, (35)
where
x := (
5
+
i
e
i
) R R
3
(
3,0
. (36)
If we x = 1, consequently = x x R. This choice does correspond to a projective
description. Then the paravector b R R
4,1
(
4,1
can be represented as
b =
_
x
x
_
=
_
x x x
1 x
_
. (37)
From eq.(35) we obtain
(
5
+
i
e
i
)(
5
i
e
i
) = (
4
0
)(
4
+
0
)
(
5
)
2
(
i
e
i
)(
j
e
j
) = (
4
)
2
(
0
)
2
, (38)
and conclude that
(
5
)
2
+ (
0
)
2
(
1
)
2
(
2
)
2
(
3
)
2
(
4
)
2
= 0 (39)
which is the Klein absolute (eq.(18)).
3.1 Mobius transformations in Minkowski spacetime
The matrix g =
_
a c
b d
_
is in the group $pin
+
(2, 4) if, and only if, its entries
a, b, c, d (
3,0
satisfy the conditions [42]
(i) a a, b
b, c c, d
d R,
(ii) a
b, c
d R R
3
,
(iii) av c +c v a, cv
d +d v c R, v R R
3
,
(iv) av
d +c v
b R R
3
, v R R
3
,
(v) a c = c a, b
d = d
b,
(vi) a
d c
b = 1. (40)
Conditions (i), (ii), (iii), (iv) are equivalent to the condition (g)(b) := gb g R
R
4,1
, b R R
4,1
, where : $pin
+
(2, 4) SO
+
(2, 4) is the twisted adjoint repre-
sentation. Indeed,
gb g =
_
a c
b d
__
x
x
__
d c
b a
_
=
_
ax
d + a
b +c
d +c x
b ax c +a a +c c +bx a
bx
d +d
b +d
d +d x
b bx c +b a +d
b +d x a
_
=
_
w
w
_
R R
4,1
(41)
where the last equality (considering w R R
3
and
d c
b a c c a
b
d d
b d a b c
_
=
_
1 0
0 1
_
. (42)
3.2 Conformal transformations
We have hust seen that a paravector b R R
4,1
(
4,1
is represented as
_
x x x
1 x
_
=
_
x
x
_
, (43)
where x R R
3
is a paravector of (
3,0
.
Consider an element of the group
$pin
+
(2, 4) := g (
4,1
[ g g = 1. (44)
It is possible to represent it as an element g (
4,1
(
1,1
(
3,0
:
g =
_
a c
b d
_
, a, b, c, d (
3,0
. (45)
The rotation of b RR
4,1
(
4,1
is performed by the use of the twisted adjoint
representation : $pin
+
(2, 4) SO
+
(2, 4), dened as
(g)(b) = gb g
1
= gb g, g $pin
+
(2, 4). (46)
Using the matrix representation, the action of $pin
+
(2,4) is given by
_
a c
b d
__
x
x
_
_
a c
b d
_
=
_
a c
b d
__
x
x
__
d c
b a
_
(47)
Fixing = 1, the paravector b is mapped on
_
a c
b d
__
x x x
1 x
__
d c
b a
_
=
_
x
1
x
_
, (48)
where
x
_
Rotation x gxg
1
, g $pin
+
(1, 3)
_
g 0
0 g
_
Inversion x x
_
0 1
1 0
_
Transvection x x +x(hx + 1)
1
, h R R
3
_
1 0
h 1
_
This index-free geometric formulation allows to trivially generalize the conformal maps
of R
1,3
to the ones of R
p,q
, if the Periodicity Theorem of Cliord algebras is used.
The group SConf
+
(1,3) is fourfold covered by SU(2,2), and the identity element
id
SConf
+
(1,3)
of the group SConf
+
(1, 3) corresponds to the following elements of SU(2,2)
$pin
+
(2,4):
_
1
2
0
0 1
2
_
,
_
1
2
0
0 1
2
_
,
_
i
2
0
0 i
2
_
,
_
i
2
0
0 i
2
_
. (52)
The element 1
2
denotes id
22
and i
2
denotes the matrix diag(i, i).
In this way, elements of $pin
+
(2,4) give rise to the orthochronous M obius trans-
formations. The isomorphisms
Conf(1, 3) O(2, 4)/Z
2
Pin(2, 4)/1, i, (53)
are constructed in [31] and consequently,
SConf
+
(1, 3) SO
+
(2, 4)/Z
2
$pin
+
(2, 4)/1, i. (54)
The homomorphisms
$pin
+
(2, 4)
21
SO
+
(2, 4)
21
SConf
+
(1, 3) (55)
are explicitly constructed in [10, 48].
3.3 The Lie algebra of the associated groups
Consider (
p,q
the group of invertible elements. The function
exp : (
p,q
(
p,q
a exp a =
n=0
a
n
n!
(56)
is dened. The vector space V := (
p,q
endowed with the Lie bracket is identied
with the Lie algebra (
p,q
.
As an example, consider the Cliord-Lipschitz
p,q
group, a Lie subgroup of the
Lie group (
p,q
and its Lie algebra is a vector subspace of (
p,q
. Suppose that X is
an element of
p,q
. Then exp(tX) is an element of
p,q
, i.e.,
f(t) = Ad exp(tX)(v) exp(tX) v exp(tX) R
p,q
, v R
p,q
. (57)
Dening
(ad(X))(v) = [X, v] = Xv vX. (58)
and using the well-known result
Ad(exp(tX)) = exp(ad(tX)), (59)
we have that f(t) R
p,q
if, and only if
ad(X)(v) = [X, v] = Xv vX R
p,q
. (60)
It can be proved that X
p,q
is written as
X Cen((
p,q
)
2
(R
p,q
). (61)
In this way, exp(tX)
p,q
.
If R Spin(p, q), then
R = R, and for R = exp(tX), X must be written as
X = a + B, where a R, B
2
(R
p,q
). Besides, the condition R
R = 1 implies that
1 = exp(t
X)exp(tX) = exp(2ta), i.e., a = 0. Then
Spin
+
(p, q) R = exp(tB), B
2
(R
p,q
) (62)
The Lie algebra of Spin
+
(p, q), denoted by spin
+
(p, q) is generated by the space of
2-vectors endowed with the commutator. Indeed, if B and C are bivectors, then
BC = BC)
0
+BC)
2
+BC)
4
, (63)
and since
B = B e
C = C, it follows that
BC =
C
B = CB. (64)
and so
BC = CB = BC)
0
BC)
2
+BC)
4
, (65)
from where we obtain
BC CB = [B, C] = 2BC)
2
. (66)
i.e.,
(
2
(R
p,q
), [ , ]) = spin
+
(p, q) (67)
3.4 The Lie algebra of the conformal group
The Lie algebra of $pin
+
(2,4) is generated by
2
(R
2,4
), which has dimension 15.
Since dim Conf(1,3) = 15, the relation between these groups is investigated now. In
the rst paper of this series [1] we have just seen that
E
0
= i
0
, E
1
= i
1
, E
2
= i
2
, E
3
= i
3
, E
4
= i
0123
, (68)
and in the Sec. 3, that
E
A
=
A
5
, (69)
where
A=0
is basis of R
2,4
, E
A
4
A=0
is basis of R
4,1
and
3
=0
is basis of R
1,3
.
The generators of Conf(1,3), as elements of
2
(R
2,4
), are dened as:
P
=
i
2
(
5
+
4
),
K
=
i
2
(
4
),
D =
1
2
5
,
M
=
i
2
. (70)
From relations (68) and (69), the generators of Conf(1,3) are expressed from the
(
1,3
as
P
=
1
2
(
+i
5
),
K
=
1
2
(
5
),
D =
1
2
i
5
,
M
=
1
2
(
).
(71)
They satisfy the following relations:
[P
, P
] = 0, [K
, K
] = 0, [M
, D] = 0,
[M
, P
] = (g
),
[M
, K
] = (g
),
[M
, M
] = g
+g
,
[P
, K
] = 2(g
DM
),
[P
, D] = P
,
[K
, D] = K
. (72)
The commutation relations above are invariant under substitution P
, K
and D D.
4 Twistors as geometric multivectorial elements
In this section we present and discuss the Keller approach, and introduce our
denition, showing how our twistor formulation can be led to the Keller approach
and consequently, to the Penrose classical twistor theory. The twistor dened as a
minimal lateral ideal is also given in [13, 49]. Robinson congruences and the incidence
relation, that determines a spacetime point as a secondary concept obtained from the
intersection between two twistors, are also investigated.
4.1 The Keller approach
The twistor approach by J. Keller [35] uses the projectors P
X
:=
1
2
(1 i
5
) (A =
1, L) and the element T
x
= 1 +
5
x, where x = x
R
1,3
. Now we introduce some
results obtained by Keller [35]:
Denition The reference twistor
x
, associated with the vector x R
1,3
and a
Weyl covariant dotted spinor (written as the left-handed projection of a Dirac spinor
) = P
L
=
_
0
_
is given by
x
= T
x
P
L
= (1 +
5
x)P
L
= (1 +
5
x) (73)
In order to show the equivalence of this denition with the Penrose classical twistor
formalism, the Weyl representation is used:
x
= (1 +
5
x) =
__
I 0
0 I
_
+
_
i
2
0
0 i
2
__
0 x
x
c
0
__ _
0
_
. (74)
Each entry of the matrices above denote 2 2 matrices, the vector
x =
_
x
0
+x
3
x
1
+ix
2
x
1
ix
2
x
0
x
3
_
(75)
is related to the point x R
1,3
and x
c
is the H-conjugation of x R
1,3
given by
eq.(75). Therefore,
x
=
_
ix
_
(76)
That is the index-free version of Penrose classical twistor [24]. The sign in the rst
component is dierent, since it is used the Weyl representation.
(e
0
) =
0
=
_
0 I
I 0
_
, (e
k
) =
k
=
_
0
k
k
0
_
. (77)
In order to get the correct sign, Keller uses a representation similar to the Weyl one,
but with the vectors in R
3
reected (x x) through the origin:
(e
0
) =
0
=
_
0 I
I 0
_
, (e
k
) =
k
=
_
0
k
k
0
_
(78)
Then it is possible to get the Penrose twistor
x
=
_
ix
_
(79)
Twistors are completely described by the multivectorial structure of the Dirac
algebra C (
1,3
(
4,1
/(4, C).
A classical spinor is an element that carries the irreducible representation of Spin
+
(p, q).
Since this group is the set of even elements of the Cliord-Lipschitz group such that
0
=
123
, (80)
and obviously E
2
0
= 1 and E
1
= E
2
= E
3
= E
4
= 1. A paravector x R R
4,1
(
4,1
is written as
x = x
0
+x
A
E
A
= x
0
+
0
E
0
+x
1
E
1
+x
2
E
2
+x
3
E
3
+
4
E
4
. (81)
We also dene an element := xE
4
0
(R
4,1
)
1
(R
4,1
)
2
(R
4,1
) as
= xE
4
= x
0
E
4
+
0
E
0
E
4
+x
1
E
1
E
4
+x
2
E
2
E
4
+x
3
E
3
E
4
+
4
. (82)
It can be seen that
1
2
(1 +i
5
) = T
x
1
2
(1 +i
5
) = T
x
P
L
. (83)
We dene the twistor as:
Twistor = P
L
Uf (C (
1,3
)f (84)
where f is a primitive idempotent of C (
1,3
(
4,1
and U (
4,1
is arbitrary.
Therefore Uf is a Dirac spinor and P
L
Uf =
_
0
_
=
1
2
(1 + i
5
)(C (
1,3
) is a
covariant dotted Weyl spinor. The twistor is written as
= xE
4
= (x
0
E
4
+
0
E
0
E
4
+x
1
E
1
E
4
+x
2
E
2
E
4
+x
3
E
3
E
4
+
4
). (85)
Since
E
4
=
5
=
0
= i
0
. (86)
then it follows that
= (x
0
E
4
+
0
E
0
E
4
+x
1
E
1
E
4
+x
2
E
2
E
4
+x
3
E
3
E
4
+
4
)
= x
0
E
4
+x
k
E
k
E
4
+
0
E
0
E
4
+
4
= x
0
(E
4
) +x
k
E
k
(E
4
) +
0
E
0
(E
4
) +
4
= x
0
(i
0
) +x
k
(
k
0
)(i
0
) +
0
(i
0
)(i
0
) +
4
= ix
0
0
ix
k
k
+
0
+
4
= ix +
= (1 ix)
= (1 +
5
x)
=
_
ix
_
. (87)
Then our denition is shown to be equivalent to the Keller one, and therefore, to the
Penrose classical twistor, by eq.(79).
The incidence relation, that determines a point in spacetime from the intersection
between two twistors [6], is given by
J
:= xE
4
UxE
4
U
=
UE
4
xxE
4
U
= 0, (88)
since the paravector x RR
4,1
(
4,1
is in the Klein absolute, and consequently,
x x = 0.
Finally, the Robinson congruence is dened in our formalism from the product
J
:= xE
4
Ux
E
4
U
=
UE
4
xx
E
4
U. (89)
The above product is null if x = x
vary.
Concluding Remarks
The paravector model permits to express vectors of R
p,q
(
p,q
as paravectors,
elements of RR
q,p1
(
q,p1
. The conformal transformations (translations, inver-
sions, rotations, transvections and dilations) are expressed via the adjoint representa-
tion of $pin
+
(2,4) acting on paravectors of (
4,1
. While the original formulation of the
conformal transformations is described as rotations in R
2,4
, the paravector model al-
lows to describe them using the Cliord algebra (
4,1
, isomorphic to the Dirac-Cliord
algebra C(
1,3
. Then the redundant dimension is eliminated. Also, the Lie algebra
related to the conformal group is described via the Dirac-Cliord algebra.
Twistors are dened in the index-free Cliord formalism as particular algebraic
spinors (with an explicit dependence of a given spacetime point) of R
4,1
, i.e., twistors
are elements of a left minimal ideal of the Dirac-Cliord algebra C (
1,3
. Equiva-
lently, twistors are classical spinors of R
2,4
. Our formalism is led to the well-known
formulations, e.g., Keller [35] and Penrose [6, 7, 8, 24, 25]. The rst advantage of
an index-free formalism is the explicit geometric nature of the theory, besides the
more easy comprehension of an abstract index-destituted theory. Besides, using the
Periodicity Theorem of Cliord algebras, the present formalism can be generalized,
in order to describe conformal maps and twistors in any (2n)-dimensional quadratic
space. The relation between this formalism and exceptional Lie algebras, and the use
of the pure spinor formalism is investigated in [50].
References
[1] da Rocha R and Vaz J, Revisiting Cliord algebras and spinors I: the twistor group
SU(2,2) in the Dirac algebra and some other remarks (math-ph/0412074).
[2] da Rocha R and Vaz J, Revisiting Cliord algebras and spinors II: Weyl spinors in C3,0
and C0,3 and the Dirac equation (math-ph/0412075)
[3] Bette A, Twistor phase space dynamics and the Lorentz force equation, J. Math. Phys.
34, 4617-4627 (1993).
[4] Bette A, Directly interacting massless particles - a twistor approach, J. Math. Phys. 37,
1724-1734 (1996).
[5] Connes A, Noncommutative Theory, Academic Press, London 1994.
[6] Penrose R and Rindler W, Spinors and spacetime, vol.2: Spinor and Twistor Methods
in Spacetime Geometry, Cambridge Univ. Press, Cambridge 1986.
[7] Penrose R, On the origins of twistor theory, Grav. and Geometry, Biblipolis, Naples
1987.
[8] Penrose R, The central programee of twistor theory, Chaos, Solitons and Fractals 10,
581-611 (1999).
[9] Bohm D and Hiley B, Generalization of the twistor to the Cliord algebras as a basis
for geometry, Rev. Bras. de Fsica (1985).
[10] Klotz F, Twistors and conformal group, J. Math. Phys. 15, 2242-2247 (1974).
[11] Teleman K, Conformal Lorentz geometry revisited, J. Math. Phys. 37, 1076-1085 (1996).
[12] Ablamowicz R, Oziewicz Z and Rzewuski J, Cliord algebra approach to twistors, J.
Math. Phys. 23, 231-242 (1982).
[13] Crawford J, Cliord algebra: notes on the spinor metric and Lorentz, Poincare, and
conformal groups, J. Math. Phys. 32, 576-583 (1991).
[14] Howe P, Twistors and supersymmetry, Leuven Conference on High Energy Physics,
Leuven 1995.
[15] Lasenby A, Doran C and Gull S, 2-spinors, twistors and supersymmetry in the space-
time algebra, Proceedings of the Second Max Born Symposium: Spinors, Twistors and
Cliord Algebras, Wroclaw 1992.
[16] Berkovits N, A supertwistor description of the massless superparticle on ten-dimensional
space, N. Phys. B350, 193-200 (1991).
[17] Berkovitz N, Twistors, N = 8 superconformal invariance and the Green-Schwarz string,
N. Phys. B358, 169-180 (1991).
[18] Witten E, Twistor-like transform in ten dimensions, N. Phys. B266, 245-264 (1986).
[19] Berkovits N and Motl L, Cubic twistorial string eld theory, JHEP 04 56 (2004)
(hep-th/0403187).
[20] Berkovits N and Witten E, Conformal supergravity in twistor-string theory, JHEP 04
09 (2004) (hep-th/0406051).
[21] Berkovits N, An alternative string theory in twistor space for N=4 super-Yang-Mills,
Phys. Rev. Lett. 93, 11601 (2004) (hep-th/0402045).
[22] Berkovits N, Pure spinors are higher-dimensional twistors (hep-th/0409243).
[23] Green M B, Schwarz J H and Witten E, Superstring Theory, vols. I & II, Cambridge
Univ. Press, Cambridge 1987.
[24] Penrose R, Twistor Algebra, J. Math. Phys. 8, 345 (1967).
[25] Penrose R and Rindler W, Spinors and spacetime, vol.1: Two-spinor Calculus and
Relativistic Fields, Cambridge Univ. Press, Cambridge 1984.
[26] Bette A, Twistor approach to relativistic dynamics and to the Dirac equation, in
Ab lamowicz R and Fauser B (eds.), Cliord algebras and their Applications in Math.
Physics, vol.I, Birkhauser, Berlin 2000.
[27] Keller J, Rodrguez A and Yamaleev R, An algebraic linear relativistic equation over
twistor elds with conned states, Adv. Appl. Cli. Alg. 6, 275-300 (1996).
[28] Chevalley C, The Algebraic Theory of Spinors, Columbia Univ. Press, New York 1954.
[29] Atiyah M F, Bott R and Shapiro A, Cliord modules, Topology 3, 3-38 (1964) .
[30] Benn I and Tucker R, An Introduction to Spinors and Geometry with Applications in
Physics, Adam Hilger, Bristol 1987.
[31] Porteous I R, Cliord Algebras and the Classical Groups, Cambridge Univ. Press, Cam-
bridge 1995.
[32] Coquereaux R, Modulo 8 periodicity of real Cliord algebras and particle physics, Phys.
Lett. 115B, 389-395 (1982).
[33] Lounesto P, Cliord Algebras and Spinors, Cambridge Univ. Press, Cambridge 1996.
[34] Itzykson C and Zuber J, Quantum Field Theory, McGraw-Hill, Singapore 1980.
[35] Keller J, Spinors, twistors, mexors and the massive spinning electron, Adv. Appl. Cli.
Alg. 7S, 439-455 (1997).
[36] G urlebeck K and Sprossig W, Quaternionic and Cliord Calculus for Physicists and
Engineers, J. Wiley, Indianapolis 1997.
[37] Kuipers J, Quaternion and Rotation Sequences, Princeton Univ. Press, Princeton 1999.
[38] Hestenes D, Invariant body kinematics I: saccadic and compensatory eye movements,
Neural Networks 7, 65-77 (1994).
[39] Pellionisz A and Llin`as R, Tensorial approach to the geometry of brain function: cere-
bellar coordination via metric tensor, Neuroscience 5, 1125-1136 (1980).
[40] Tweed D and Cadera W, Computing three-dimensional eye position quaternions and
eye velocity, Vision Research 30, 97-110 (1990).
[41] Hestenes D, Invariant body kinematics II: reaching and neurogeometry, Neural Networks
7, 79-88 (1994).
[42] Maks J, Modulo (1,1) Periodicity of Cliord Algebras and Generalized (anti-)Mobius
Transformations, Ph.D. thesis, Technische Universiteit Delft, Delft 1989.
[43] Baylis W, The paravector model of spacetime, in Baylis W (ed.), Cliord (Geometric)
Algebras with Applications in Physics, Mathematics and Engineering, Birkhauser, Berlin
1995.
[44] Baylis W, Multiparavector subspaces of Cn: theorems and applications, Ab lamowicz R
and Fauser B (eds.), Cliord algebras and their Applications in Math. Physics, vol.I,
Birkhauser, Berlin 2000.
[45] Porteous I R A tutorial on conformal groups, Generalizations of Complex Analysis and
Their Applications in Physics (Warsaw/Rynia, 1994), Banach Center Publ. 37 137-150,
Polish Acad. Sci., Warsaw 1996.
[46] Vahlen K T,
Uber bewegungen und complexe Zahlen, Math. Ann. 55, 585-593 (1902) .
[47] Hestenes D, The design of linear algebra and geometry, Acta Appl. Math. 23, 65-93
(1991).
[48] A. Laufer, The Exponential Map, Cliord Algebras, Spin Representations and Spin
Gauge Theory of U(1)T
4
, Ph.D. Thesis, Universitat Konstanz, Konstanz 1997.
[49] Crumeyrolle A, Orthogonal and Sympletic Cliord Algebras, Kluwer, Dordrecht 1990.
[50] da Rocha R and Vaz J, Twistors, Generalizations and Exceptional Structures, JHEP
PoS, WC2004/022 (math-ph/0412037).