Sobre uma extens

ao
de c

alculo espinorial (I)

Mario Schonberg
O
S ESPINORES foram introduzidos para obter todas as representacoes
lineares irredutveis do grupo das rotacoes e reviramentos de
um espaco euclidiano. Algumas dessas representacoes ja sao
dadas pelo calculo tensorial, mas existem outras ja conhecidas h a muito
para o espa co tridimensional e o espaco de Minkowski. Estudando as repre-
sentac oes lineares dos grupos simples e semi-simples, Cartan construiu, de
um ponto de vista algebrico-analtico, todas as representac oes irredutveis e
mostrou a existencia dos espinores. Esse fato despertou pouca atenc ao ate a
descoberta da equa cao de Dirac para o eletron. Darwin observou que essa
equac ao e relativisticamente invariante apesar das componentes da fun cao
de onda nao formarem um quadrivetor. Recentemente, Cartan estudou uma
representac ao geometrica para um tipo particular de espinor, por ele de-
nominado de espinor simples, e mostrou como os n umeros hipercomplexos
de Cliord-Lipschitz podem ser introduzidos de um modo muito natural.
Na presente serie de trabalhos abordaremos o problema de uma teo-
ria geometrica dos espinores sob um ponto de vista diferente do de Cartan.
Relacionamos o espinor com as coordenadas projetivas sobre o absoluto do
espaco euclidiano considerado. Somos assim conduzidos naturalmente a es-
tender o conceito de espinor aos espacos nao euclidianos, em que tambem
podemos introduzir um absoluto seguindo os metodos de Cayley e Klein. O
grupo conforme de um espaco euclidiano sendo isomorfo ao grupo de rota coes
e reviramentos de um espaco n ao euclidiano oportuno obtemos imediata-
mente uma extensao do calculo espinorial do grupo conforme de um espaco
euclidiano.
224
Deslocamentos e reviramentos
euclidianos como projetividades
1. Recordaremos rapidamente as relac oes entre a teoria dos desloca-
mentos e reviramentos e a geometria projetiva. Essas transforma c oes sendo
contnuas, algebricas e biunvocas e transformando planos em planos s ao ho-
mograas. Mais precisamente sao equianidades porque conservam o plano
do innito e tem determinante 1 porque conservam os volumes.
Os deslocamentos e reviramentos conservam as distancias e portanto
transformam retas isotropas em retas isotropas e cones isotropos em cones
isotropos. Conservando o plano do innito e transformando cones isotropos
em cones isotropos conservam o absoluto, intersecc ao dos cones isotropos
com o plano do innito. Obtemos assim a propriedade fundamental dos
deslocamentos e reviramentos de serem projetividades que conservam o ab-
soluto. Reciprocamente se demonstra facilmente que qualquer projetividade
que conserva o absoluto e uma semelhan ca, os deslocamentos e reviramentos
s ao simplesmente as semelhancas de razao 1 .
Analisemos as homograas que as semelhancas induzem sobre o ab-
soluto. Introduzindo uma coordenada projetiva sobre o absoluto, as pro-
jetividades sobre o absoluto ser ao dadas por transformac oes lineares fra-
cionarias de :
=

+
, (1)
ou homogeneizando o parametro =

1

1
=

1
+

2
=

1
+

2
, (2)
Geometricamente a introdu c ao do par ametro pode ser feita tomando
uma esfera e considerando as duas famlias de geratrizes retilneas que sao
retas isotropas. Por cada ponto do absoluto passa uma e so uma reta de
cada famlia e pode ser tomado como o par ametro da geratriz de uma das
famlias que passa pelo ponto considerado do absoluto. A natureza da homo-
graa sobre o absoluto depende da natureza da matriz da substitui cao (2):
Estudos Avancados 16 (44), 2002 225
H =

. (3)
Convem reduzir H `a forma can onica. Para isso observemos que
uma semelhan ca resulta de uma homotetia seguida de um deslocamento.
Tomando a origem no centro de homothetia a transforma cao de coordenadas
que lhe corresponde e da forma:
x

= kx
y

= ky
z

= kz (3a)
Tomando o eixo dos z na dire cao do eixo de rotacao do deslocamento,
a transforma c ao das coordenadas que lhe corresponde e:
x

= a + x

cos + y

sen
y

= b x

sen + y

cos
z

= c + z

(3b)
donde nalmente:
x

= a + k(x cos + y sen )

y

= b k(x sen y cos

z

= x + kz (3c)
ou em coordenadas homogeneas:
x

1
= ax
4
+ k (x
1
cos + x
2
sen )
x

2
= bx
4
k (x
1
sen x
2
cos )
x

3
= cx
4
+ kx
3
x

4
= x
4
. (3d)
226 Estudos Avancados 16 (44), 2002
A coordenada projetiva pode ser introduzida como segue:
(x
1
+ ix
2
) =
2
1
(x
1
ix
2
) =
2
2
x
3
=
1

2
x
4
= 0
(4)

x
2
1
+ x
2
2
+ x
2
3

=
2
1

2
2
+ (
1

2
)
2
= 0 .
`
A transforma cao (3d) dos x corresponde a transforma cao seguinte
dos :

2
1
= k c
+i

2
1

2
2
= k c
i

2
2
(5)

1

2
= k

2
= c
i

(6)
A formula (6) mostra que as semelhan cas induzem sobre o absoluto
projetividades parab olicas na hipotese de nao ser m ultiplo de 2 , caso
em que a projetividade sobre o absoluto, se reduz `a identidade. Veremos em
seguida o que representam as projetividades n ao parab olicas do absoluto.
Projetividades sobre uma espera real
3. O estudo das rotacoes e reviramentos em torno de um ponto xo
pode ser feito de modo conveniente pela analise das projetividades sobre a
esfera de raio 1, com centro no centro das rota coes.
As rotacoes e reviramentos em torno de um ponto xo induzem pro-
jetividades sobre os dois sistemas de geratrizes retilneas das esferas com
o centro nesse ponto. As projetividades nao degeneradas sobre uma esfera
sao de dois tipos: as do primeiro conservam os dois sistemas de geratrizes
retilneas e as do segundo trocam os dois sistemas. Com efeito as duas
geratrizes que passam pelo ponto P se transformam nas duas geratrizes
que passam por P

, isso mostra que geratrizes de sistemas diferentes sao

transformadas em geratrizes de sistemas diferentes. Ora todas as geratrizes
Estudos Avancados 16 (44), 2002 227
do sistema I encontram uma geratriz qualquer do sistema II e assim o sis-
tema I e transformado no sistema que contem a transformada da geratriz II
considerada, o que demonstra nossa armac ao.
Tomando o centro de rotacao como origem de um sistema de coor-
denadas cartesianas ortogonais as equac oes dos dois sistemas de geratrizes
podem ser postas sob a forma:

1
(x
3
x
4
) +
2
(x
1
+ ix
2
) = 0

1
(x
1
ix
2
)
2
(x
3
+ x
4
) = 0
(7 I)

1
(x
3
x
4
) +
2
(x
1
+ ix
2
) = 0

1
(x
1
ix
2
)
2
(x
3
+ x
4
) = 0
(7 II)
As coordenadas de um ponto qualquer da esfera podem ser repre-
sentadas parametricamente em fun cao dos parametros das geratrizes que
passam por esse ponto; as formulas sao:

x
1
=
1

2
+
1

2
x
2
= i (
1

2

2

1
)
x
3
=
1

1

2

2
x
4
=
1

1
+
2

2
(8)
As formulas (4) sao um caso particular de (8), pois a esfera considerada
passa pelo absoluto. Vemos assim que a introdu c ao do parametro projetivo
sobre o absoluto feita pelas formulas (4) e bem a tradu c ao algebrica do
metodo geometrico anteriormente proposto.
Uma projetividade do primeiro tipo induz sobre os dois sistemas de
geratrizes transformacoes dadas pelas formulas:

1
=

1
+

2
=

1
+

2
= 0
(9a)

1
= a

1
+ b

2
= c

1
+ d

2
ad bc = 0
(9b)
228 Estudos Avancados 16 (44), 2002
Para uma projectividade do segundo tipo temos:

1
=

1
+

2
=

1
+

2
(10a)

1
= a

1
+ b

2
= c

1
+ d

2
(10b)
Uma projetividade do primeiro tipo pode sempre ser obtida como
produto de duas projetividades que conservam xas as geratrizes de um
sistema:

1
=

1
+

2
=

1
+

1
=

2
=

1
=

2
=

1
= a

1
+ b

2
= c

1
+ d

2
As matrizes

a b
c d

s ao imagin arias conjugadas de

modo a que os sistemas transformados tambem sejam conjugados.
Uma decomposi cao analoga pode ser feita para as projetividades do
segundo tipo:

1
=

1
+

2
=

1
+

1
=

2
=

1
=

2
=

1
= a

1
+ b

2
= c

1
+ d

1
=

2
=

1
=

2
=

2
Apliquemos essas consideracoes no caso das projetividades induzidas
por rotac oes e reviramentos em torno do centro. Uma rota cao dada por uma
transformacao linear dos x da forma:

x
1
= a
11
x

1
+ a
12
x

2
+ a
13
x

3
x
2
= a
21
x

1
a
22
x

2
+ a
23
x

3
x
3
= a
31
x

1
+ a
32
x

2
+ a
33
x

3
x
4
= x

4
(11)
Estudos Avancados 16 (44), 2002 229
A matriz (a
k
) e real e unit aria. Os seus coecientes podem ser repre-
sentados parametricamente em fun cao dos elementos de uma matriz bin aria
unitaria pelas f ormulas de Olinde Rodrigues:

a
11
+ i a
21
=
2

2
a
12
+ i a
22
= i (
2
+
2
)
a
13
+ i a
23
= 2
a
31
=
a
32
= i ( )
a
33
=
(12)

= 1
= =
(12a)

x
1
= 1/2 (
2
+
2

2
) x

1
+ i/2 (
2

2
+
2
+
2
) x

2
+ ( + ) x

3
x
2
= i/2 (
2

2
+
2

2
) x

1
+ 1/2 (
2
+
2
+
2
+
2
) x

2
+ i ( ) x

3
x
3
=

1
+ i

2
+ ( ) x

3
x
4
= x

4
(13)
Ora se representarmos as coordenadas pelas f ormulas parametricas
(8) e efetuarmos sobre os sistemas de geratrizes uma projetividade de ma-
trizes

tornamos a obter as f ormulas (13). Podemos

portanto enunciar o teorema:
As rotacoes em torno do centro induzem, nos dois sistemas de gera-
trizes homograas conjugadas unit arias, e reciprocamente.
Um reviramento e o produto de uma simetria por um deslocamento.
Uma simetria em relacao `a origem troca entre si os dois sistemas de gera-
trizes e portanto qualquer reviramento em torno da origem induz, sobre a
esfera, uma projetividade de segunda especie com as matrizes

a b
c d

unitarias e conjugadas.
230 Estudos Avancados 16 (44), 2002
Projetividades sobre uma esfera complexa
4. As projetividades sobre uma esfera complexa podem ser tratadas
de modo analogo ao usado no caso da esfera real. A diferen ca essencial
entre os dois casos e que no caso da esfera real as duas famlias de geratrizes
s ao imagin arias conjugadas ao passo que no caso da esfera complexa cada
sistema e autoconjugado de modo que duas geratrizes de sistemas diferentes
n ao podem se encontrar em pontos reais. Da resulta serem independentes
as homograas sobre os dois sistemas de geratrizes.
A equac ao da esfera complexa do raio - 1 com centro na origem e:
x
2
1
+ x
2
2
+ x
2
4
+ x
2
4
= 0 . (14)
Os dois sistemas de geratrizes tem por equa c oes:

1
(x
1
ix
2
) +
2
(x
3
ix
4
) = 0

1
(x
3
+ ix
4
)
2
(x
1
+ ix
2
) = 0
(15a)

1
(x
1
ix
2
) +
2
(x
3
+ ix
4
) = 0

1
(x
3
ix
4
)
2
(x
1
+ ix
2
) = 0
(15b)
As coordenadas podem ser representadas parametricamente do modo
seguinte:

x
1
=
1

1

2

2
x
2
= i (
1

1
+
2

2
)
x
3
=
1

2
+
2

1
x
4
= i (
1

2

2

1
)
(16)
*****
Estudos Avancados 16 (44), 2002 231
Este artigo publicado em Anais da Academia Brasileira de Ciencias Vol.
XIII, N.2, 30 junho 1941, pp.129135, continua e conclue em Sobre uma
extensao do calculo espinorial (II), Anais da Academia Brasileira de Ciencias,
Vol. XV, N.2 , pp.97108, Rio de Janeiro, 30 de junho de 1943, que tem
o seguinte:
Sumario
As rela c oes entre os espinores e as projetividades sobre o absoluto sao estudadas
no caso de espa cos euclidianos e nao euclidianos com um n umero qualquer de
dimensoes. O conceito de representac ao espinorial e extendido a uma categoria
de grupos que compreendem todos os que foram considerados na parte I.
232 Estudos Avancados 16 (44), 2002