Sunteți pe pagina 1din 61

UNIVERSIDADE FEDERAL DA PARABA

CENTRO DE CINCIAS EXATAS E DA NATUREZA


PROGRAMA DE PS-GRADUAO EM MATEMTICA
CURSO DE MESTRADO EM MATEMTICA

lgebras de Clifford: uma introduo Geometria Spin

Mnica Paula de Sousa

Joo Pessoa-PB
2013

UNIVERSIDADE FEDERAL DA PARABA


CENTRO DE CINCIAS EXATAS E DA NATUREZA
PROGRAMA DE PS-GRADUAO EM MATEMTICA
CURSO DE MESTRADO EM MATEMTICA

lgebras de Clifford: uma introduo Geometria Spin

por
Mnica Paula de Sousa

sob orientao do
Prof. Dr. Napolen Caro Tuesta

Joo Pessoa-PB
Agosto de 2013

UNIVERSIDADE FEDERAL DA PARABA


CENTRO DE CINCIAS EXATAS E DA NATUREZA
PROGRAMA DE PS-GRADUAO EM MATEMTICA
CURSO DE MESTRADO EM MATEMTICA

lgebras de Clifford: uma introduo Geometria Spin


por
Mnica Paula de Sousa

Dissertao apresentada ao Departamento de Matemtica da Universidade Federal da


Paraba, como requisito parcial para a obteno do ttulo de Mestre em Matemtica.
rea de Concentrao: lgebra.
Aprovada em 23 de agosto de 2013.

Prof. Dr. Napolen Caro Tuesta (Orientador)

Prof. Dra. Jacqueline Fabiola Rojas Arancibia

Prof. Dr. Ramn Orestes Mendoza Ahumada

Aos meus amores

Agradecimentos
A Deus, meu pai... por todo amor.
Minha famlia, que tanto amo... por toda compreenso e est comigo sempre, mesmo
distante...
Minha segunda famlia, me fazendo ainda mais abenoada... tambm compreensiva nos
momentos de ausncia e to cuidadosa...
Minha terceira famlia, essa ganhou sobrenome, PEDREGAL, constituda de amigos...
que DEUS os guarde sempre. Em especial, a Mary, no preciso escrever...
Meus amigos, no s os que ganhei nesses dois anos, mas todos que fazem parte da
minha histria...
Meus professores, os do mestrado, e tambm os que me fizeram a aluna que sou hoje,
e a professora, que se DEUS quiser, serei amanh.
A meu orientador, por tudo, e sempre ver em mim muito mais do que consigo ver.
A banca, pela dedicao e cuidado.
A CAPES, pelo auxlio financeiro, realmente importante.

"Se o Senhor no edificar a casa, em vo


se tm posto ao trabalho os que a edificam;
se o Senhor no guardar a cidade,
inutilmente se desvela o que a guarda."
(Salmo 126, 1)

Resumo
No presente trabalho abordamos os conceitos e definies que constroem as lgebras de Clifford com foco em uma introduo a teoria de Geometria Spin. Isso devido a
ligao desses dois assunto, permitindo conhecer tais lgebras a medida que se auxilia a
compreenso da definio de variedade spin, conceito introdutrio desse tpico especial
em Geometria Riemanniana. Iniciamos com a construo das lgebras de Clifford associadas a espaos vetoriais de dimenso infinita, sobre um corpo qualquer, passando quelas
associadas aos de dimenso finita. Vemos os grupos spinores, Pin e Spin, os quais caracterizamos e mostramos a relao com a representao adjunta torcida, homomorfismo que,
quando restrita a esses grupos, tem papel importante na definio de uma estrutura spin.
Como tal definio trabalha com representaes das lgebras de Clifford reais, restritas aos
grupos spinores dessas lgebras, as apresentamos para em seguida conceituarmos tais representaes. Finalizamos abordando a teoria necessria para mostrarmos que esses grupos
so tambm grupos de Lie (onde instigamos uma interseo com a anlise) e recobrimentos duplos, para completar os conceitos algbricos presente na definio de variedade spin.
Palavras-chaves: lgebras de Clifford, grupos Pin e Spin, recobrimentos duplos.

Abstract
In this work we discuss the concepts and definitions that construct Clifford algebras focusing on a introduction the theory Spin Geometry. Thats because the connection
this two subject, enabling such algebras know the measure that helps to understand the
definition of spin manifold, concept introductory the this special topic in Riemannian
Geometry. We begin with the construction of Clifford algebras associated to infinite dimensional vector spaces, over any field, passing to associated with finite dimensional. we
see the spinores groups, Pin and Spin, which characterize and show the relation with the
twisted adjoint representation, homomorphism that, when restricted to these groups, has
an important role in defining of a spin structure. As this definition works with representations of real Clifford algebras, restricted to spinors groups such algebras, we introduced
them for soon afterwards consider such representations. We concluded approaching the
necessary theory for us to show that those groups are also Lie groups (where we urged an
intersection with the analysis) and double covering, to complete the concepts algebraic
present in the definition of spin manifold.
Keywords: Clifford Algebras, Pin and Spin groups, double coverings.

Sumrio
Introduo

1 lgebras de Clifford e os grupos spinores

1.1

lgebras de Clifford . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2

Os grupos Spinores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16

2 As classificaes e representaes das lgebras de Clifford

24

2.1

As lgebras de Clifford associadas a Rn . . . . . . . . . . . . . . . . . . . . 24

2.2

Representaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30

3 P inn e Spinn : grupos de Lie e recobrimentos duplos

35

3.1

Os grupos de Lie nas lgebras de Clifford Reais . . . . . . . . . . . . . . . 35

3.2

Os recobrimentos duplos nas lgebras de Clifford Reais . . . . . . . . . . . 38

A Noes de Topologia Algbrica

41

B Noo de Variedade Spin

44

Referncias Bibliogrficas

50

Introduo
As primeiras lgebras no comutativas surgiram entre 1843 e 1844, nos trabalhos
de William Rowan Hamilton (1805-1865), com os quatrnios, e nos de Hermann Gnther
Grassmann (1809-1865), com sua lgebra exterior ([4], pag. 149).
Entre 1850 e 1860, foram introduzidos exemplos novos e mais explcitos, como fez
o matemtico britnico Arthur Cayley (1821-1895), quando desenvolveu sua teoria das
matrizes, mesmo que no a considerasse uma lgebra, j se podia ter um primeiro exemplo
de representao linear de uma lgebra.
Houveram outros exemplos, tambm notveis, antes de 1870, mas com foco nas
lgebras de dimenso finita sobre os corpos dos reais ou complexos. E nesse caminho, foi
Benjamin Pierce (1809-1880) que deu os primeiros passos.
a ele que William K. Clifford (1845-1879) atribui a noo de produto tensorial que
usou implicitamente em uma generalizao dos quatrnios de Hamilton, e explicitamente
para o estudo de suas lgebras, nosso objeto de trabalho.
Nascido em Exeter, na Inglaterra, Clifford estudou no Kings College, em Londres,
e depois foi para o Trinity College, em Cambridge. Em 1871, o designaram professor de
matemtica aplicada na University College de Londres.
Influenciado por Riemann (1826-1866) e Lobachevsky (1792-1856) estudou geometria no-Euclidiana. Publicou artigos em formas algbricas e geometria projetiva e um
livro sobre dinmica, mas hoje lembrado por suas lgebras.
Tais lgebras, as lgebras de Clifford, foram criadas em 1876, quando este introduziu uma nova multiplicao na lgebra exterior de Grassmann, tendo sua primeira
publicao em 1878. Mas um primeiro exemplo para uma lgebra de Clifford foi dado por
Hamilton, j em 1843 ([16], pag. 320-322).
Essas lgebras foram redescobertas independentemente por R. Lipschitz entre 1880
e 1886, que reconheceu a descoberta anterior de Clifford em seu livro Untersuchungen
ber die Summen von Quadraten de 1886 ([16], pag. 322). Tambm apresentou a primeira
aplicao das lgebras de Clifford a Geometria, em 1880.
E como em 1989, ao longo das duas ltimas dcadas, conforme Lawson e Michelsonh
([14], pag. 5), a geometria das variedades spin vinham desempenhando um papel cada

3
vez mais importante, tanto em matemtica como em fsica matemtica, nossa inteno
contribuir com a compreenso da definio de variedade spin.
Observando essa definio, teramos uma variedade riemanniana orientada, M , com
uma estrutura spin em seu fibrado tangente, T M . E sendo tal estrutura um Spinn -fibrado
principal do fibrado tangente, PSpin (T M ), juntamente com um recobrimento duplo desse
fibrado principal no SOn -fibrado principal, PSO (T M ),
: PSpin (T M ) PSO (T M ),
que depende do recobrimento duplo 0 : Spinn SOn ,
(pg) = (p)0 (g), para todo p PSpin (T M ) e g Spinn
onde SOn o grupo especial ortogonal, precisaramos conhecer os grupos spinores, Pin e
Spin, e tal recobrimento.
Para isso apresentamos trs captulo e um apndice, com a definio de variedade
spin, mesmo considerando que o pblico alvo tenha conhecimentos acerca de teoria de
variedade, j que Geometria Spin um tpico especial em Geometria Riemanniana, dando
uma noo de tal definio.
Dessa forma, o primeiro captulo traz os conceitos e definies para construo da
lgebra de Clifford, e a partir da passarmos ao trabalho com os grupos spinores, que so
subgrupos do grupo das unidades dessa lgebra.
Abordamos das lgebras de Clifford associadas a espaos vetoriais de dimenso infinita quelas associadas aos de dimenso finita, fazendo o mesmo com os grupos spinores,
mostrando que h definies equivalentes destes quando a dimenso do espao infinita
e quando finita.
No segundo captulo, restringimos ao caso real, isto , as lgebras de Clifford
associadas ao Rn . Apresentamos uma classificao, comentando tambm o caso complexo,
e ento falamos nas representaes das lgebras de Clifford.
Isso devido ao fato de que uma variedade spin tambm pode ser vista, a grosso
modo, como uma variedade diferencivel de dimenso n orientvel para a qual existe
um levantamento da estrutura de grupo do fibrado tangente desta para o grupo de
recobrimento de tal grupo ([14], pag. 5).
Possibilitando entender que, em termos de calculo tensorial, refinar uma estrutura
diferencivel geral para a spin desse modo no gera nada de novo, pois o grupo de recobrimento no tem representaes que no sejam induzidas das representaes do grupo
de estrutura mencionado.
E conclumos, com o terceiro captulo, mostrando que os grupos spinores so grupos
de Lie e recobrimentos duplos. Intencionando, por meio disso, auxiliar na compreenso
de que os ganhos surgem ao se inserir uma mtrica riemanniana na variedade.

J que com isso, a estrutura spin corresponde a existncia de levantamento para o


recobrimento Spinn do grupo especial ortogonal, SOn , no existindo diferena topolgica
essencial nessa abordagem e existindo representaes de dimenso finita de Spinn que no
so levantamentos de representaes de SOn ([14], pag. 5).
Portanto, como poderemos ver, o presente trabalho aborda as lgebras de Clifford
de modo a fazer uma introduo a Geometria Spin, destacando seus enlaces com as
diversas rea, sejam da matemtica, como geometria e anlise, ou outra, como a fsica1 .

por exemplo, o fsico P.A.M. Dirac, antes de 1928, formulou uma teoria que predisse a existncia do

eletron como partcula de energia negativa. Em essncia, Dirac procurava um operador diferencial de
primeira ordem, que recebeu seu nome, cujo quadrado fosse o laplaciano. Nessa teoria, uma caracterstica
interessante que, na presena de um campo eletromagntico, o Hamiltoniano contm um termo adicional com analogia formal e forte ao termo adicional obtido introduzindo um giro interno nas equaes
mecnicas de uma partcula em orbita. Esses giros ou momentos magnticos internos foram chamados
spinores e suas famlia de transformaes, de representaes spinores ([14], pag. ix-x).

Captulo 1
lgebras de Clifford e os grupos
spinores
Como o objetivo geral do presente trabalho conhecer as lgebras de Clifford para
auxiliar quando se estuda Geometria Spin, iniciemos lembrando alguns conceitos, que so
necessrios a compreenso da definio de tais lgebras, e para isso, no que segue, K
denota um corpo.
Definio 1.1. Sejam U e V K-espaos vetoriais. O produto tensorial de U e V um
par, (U K V, ), onde U K V um K-espao vetorial e : U V U K V uma
aplicao bilinear tal que a seguinte propriedade universal satisfeita: para todo K-espao
vetorial W e toda aplicao bilinear f : U V W , existe uma nica aplicao linear,
f : U K V W com
f (u v) = f (u, v)
ou seja, o seguinte diagrama
U .V
..

............................

u U, v V,

U K V

.....
...
.....
..
.....
.....
...
.....
..
.....
.....
.....
...
.....
..
.....
.....
...
.....
.....
.
...... ........
........ .

W
comuta.
e K V, )
e
Observemos que este existe e nico, no sentido de que se (U K V, ) e (U
e KV
so produtos tensoriais de U e V , ento existe um isomorfismo linear : U K V U
tal que
e
(u v) = uv,
para u U e v V ([11], pag. 8-10).
5

Alm disso, como consequncia da propriedade universal, o produto tensorial


gerado por {u v : u U e v V }, isto , todo elemento t de U K V pode ser escrito,
de forma no nica, como uma soma finita
X
t=
i (ui vi ),
onde i K, ui U e vi V . Tambm podemos destacar que se U e V so espaos de
dimenso finita, dimK U = n e dimK V = m, ento dimK U V = nm ([11], pag. 18).
Definio 1.2. Uma K-lgebra (associativa) um par (A, ), onde A denota um K-espao
vetorial e : A A A uma aplicao bilinear, chamada de multiplicao, que satisfaz
as seguintes propriedades, para a, b e c A e k K:
i) (ka) b = a (kb) = k(a b);
ii) (a b) c = a (b c);
iii) Existe um elemento 1A A tal que 1A a = a 1A = a, que chamamos elemento
identidade de A.
Ento, dadas duas K-lgebras (A, ) e (B, ), um K-homomorfismo de lgebras
uma aplicao linear, h : A B, tal que h(a a0 ) = h(a) h(a0 ) e h(1A ) = 1B . E assim
uma K-lgebra especial ao nosso propsito a seguinte:
Definio 1.3. Dado qualquer K-espao vetorial V , a lgebra tensorial de V um par
(T (V ), i), onde T (V ) uma K-lgebra e i : V T (V ) uma aplicao linear tal que
dada qualquer K-lgebra A e qualquer aplicao linear f : V A, existe um nico
K-homomorfismo de lgebras, f : T (V ) A, que faz o seguinte diagrama
V

T (V )

.................................................
.....
.....
...
.....
..
.....
.....
...
.....
..
.....
.....
.....
...
.....
..
.....
.....
...
.....
.
.....
...... ........
........ .

A
comutar.
Mostrando sua existncia vemos que esta construda como uma soma direta,
M
T (V ) :=
V n ,
n0

onde V 0 := K, V 1 = V e V n = V . . . V , n-vezes. Que as aplicaes in : V n


T (V ) so injees naturais, a identidade de T (V ) a imagem de 1 K para n = 0,
i0 (1) := 1, e todo v T (V ) pode ser escrito da forma
v = v1 + . . . + vk ,

vi V ni , ni N, ni 6= nj , se i 6= j.

1.1. lgebras de Clifford

E que, com a aplicao bilinear : V ni V nj V (ni +nj ) definida por


(v1 . . . vni ) (v1 . . . vnj ) = v1 . . . vni v1 . . . vnj
configurando a K-lgebra (V (ni +nj ) , ), usamos a bilinearidade para definir a multiplicao na lgebra tensorial de V .
Com essa caracterizao, podemos notar que k v, com k V 0 e v V i ,
o vetor em V i obtido por kvn1 vn2 . . . vni . Alm disso, se a dim V 6= 1, a
multiplicao em T (V ) no comutativa, pois com u, v V linearmente independentes,
usando a contra-positiva, obtemos que u v e v u tambm o so, e ento u v 6= v u
(conforme [11], pag. 61).

1.1

lgebras de Clifford

Definio 1.4. Sejam V um K-espao vetorial, : V V K uma forma bilinear


simtrica e : V K a forma quadrtica associada, isto , (v) = (v, v). A lgebra
de Clifford, Cl(V, ), associada a V e uma K-lgebra associativa com identidade,
juntamente com uma aplicao linear i : V Cl(V, ) tal que:
i) (i (v))2 = (v) 1, v V ;
ii) (Propriedade universal) Para toda K-lgebra A e toda aplicao linear f : V A
com (f (v))2 = (v) 1A , v V , existe um nico K-homomorfismo de lgebras,
f : Cl(V, ) A, que faz o seguinte diagrama
V

Cl(V, )

......................................
.....
.....
...
.....
..
.....
.....
...
.....
..
.....
.....
.....
...
.....
..
.....
.....
...
.....
.
.....
...... ........
......... .

A
comutar.
natural agora nos assegurarmos que a lgebra de Clifford existe e em que sentido
nica para cada espao vetorial e forma quadrtica a este associada:
Proposio 1.5. Existe uma K-lgebra associativa satisfazendo a definio 1.4, que
nica a menos de isomorfismos, ou seja, se Cl(V, ) com j : V Cl(V, ) outra
lgebra de Clifford associada ao espao V e a forma , existe um nico isomorfismo de
K-lgebras, : Cl(V, ) Cl(V, ), tal que
i = j .

1.1. lgebras de Clifford

Demonstrao: Dado o K-espao vetorial V , consideremos sua lgebra tensorial T (V ),


e seja I T (V ) o ideal gerado por {v v (v) 1; v V }. Afirmamos que a K-lgebra
procurada T (V )/I juntamente com i := i1 , onde i1 : V T (V ) a injeo natural
obtida na construo da T (V ) e : T (V ) T (V )/I a aplicao quociente. Com efeito,
temos que
i) i (v))2 = ((i1 (v)))2 = (v + I)2 = (v + I) (v + I) = v v + I = (v) 1T (V )/I ,
para todo v V , uma vez que nesse caso v v = (v) 1.
ii) Para toda K-lgebra A e toda aplicao linear f : V A com (f (v))2 = (v) 1,
v V , como pela propriedade universal da lgebra tensorial, definio 1.3, existe
um nico K-homomorfismo de lgebras, fe : T (V ) A tal que
fe i1 = f,
obtemos, da propriedade universal do quociente, um nico K-homomorfismo de
lgebras, f : T (V )/I A tal que
f = fe,
ou seja,
i

.........................................................................
........................
................
................
.......
.................................................
................................
.....
.....
....
.....
.....
.....
.....
....
.....
.....
.....
.....
...
.....
.....
.
.
.
.
.
.....
....
....
.....
.....
.....
...
.....
.....
.....
...
.....
.....
.
.
.
.....
.
.
..
....
.....
...... ......... ..........
........ . ........

i1

T (V ) T (V )/I
fe

f i = f ( i1 ) = (f ) i1 = fe i1 = f.

A
Portanto, Cl(V, ) := T (V )/I uma lgebra de Clifford associada ao espao vetorial V
e a forma .
Agora, para mostramos a unicidade, se Cl(V, ) com j : V Cl(V, ) outra lgebra
de Clifford associada a V e , da definio, 1.4 temos
j
V ........................................... Cl(V, )
.....
.....
.....
.....
.....
.....
.....
.....
.....
.....
.....
.....
.....
...........

...
...
...
...
...
...
...
...
...
..
.........
..

Cl(V, ).
Da mesma forma para Cl(V, ), segue que
V

Cl(V, )

.......................................
.....
.....
.....
.....
.....
.....
.....
.....
.....
.....
.....
.....
.....
.....
..........

...
...
...
...
...
...
...
...
...
..
.........
.

Cl(V, ).

1.1. lgebras de Clifford

Consequentemente,
V

.......................................
.....
.....
... ...
.....
... ...
.....
... ...
.....
... ...
.....
.....
... ...
.....
... ...
.....
... ...
.....
... ...
.....
.....
... ...
.....
..... ..... .....
.
.
.
.
.
.
.
...... ...... ........

Cl(V, )
id

( ) j = ( j ) = i = j ,

Cl(V, )
e,
V

Cl(V, )

id

.......................................
.....
.....
... ...
.....
... ...
.....
... ...
.....
... ...
.....
.....
... ...
.....
... ...
.....
... ...
.....
... ...
.....
.....
... ...
.....
..... .... ....
.
.
.
........ ....... ........

( ) i = ( i ) = j = i .

Cl(V, )
Logo, por unicidade da aplicao identidade, temos que idCl(V,) = e idCl(V,) = ,
donde fazendo := temos o isomorfismo desejado, concluindo a demonstrao.
Diferente dessa abordagem, na linha de Gallier [9] e Atiyah, Bott e Shapiro [1],
alguns autores, como Lawson e Michelsohn [14], definem as lgebras de Clifford tomando
o ideal I gerado por {v v + (v) 1|v V, 1 K = V 0 }.
Sendo isso o mesmo que a aplicao i , chamada de aplicao estrutural, satisfazer
2

(i (v)) = (v) 1, pois, como veremos posteriormente, esta uma incluso, observa-se
uma equivalncia entre tais abordagens, j que podemos tomar := . Destacando,
como segue, sua dependncia a forma quadrtica.
Exemplo 1.6. Sejam V = R e (x, y) = xy para x, y R. Ento (x) = x2 e
definindo i : R C por
x 7 ix
temos que,
i) (i (x))2 = (ix)2 = x2 = (x) 1;
ii) Sendo f : R A qualquer aplicao linear em uma R-lgebra A tal que (f (x))2 =
(x) 1A , segue que f (x) = x f (1) e a2 = (1) 1A = 1A , fazendo f (1) = a.
Assim definimos f : C A por
f (x + iy) = x 1A + y a,

x, y R,

donde obtemos,
f (i (x)) = f (ix) = 0 1A + x a = x f (1) = f (x).
Logo, Cl(R, x2 ) = C.

1.1. lgebras de Clifford

10

Exemplo 1.7. Sejam V = R e (x, y) = xy para x, y R. Ento (x) = x2 e definindo


i : R R R tal que
i (1) = (0, 1)
temos que,
i) (i (x))2 = (x i (1))2 = x2 (1, 0) = (x) 1, observando que a multiplicao em
R R (a, b) (c, d) = (ac + bd, ad + bc), a, b, c, d R e a unidade (1, 0);
ii) Sendo f : R A qualquer aplicao linear em uma R-lgebra A tal que (f (x))2 =
(x) 1A , segue que f (x) = x f (1) e a2 = (1) 1A = 1A , fazendo f (1) = a. Assim
definimos f : R R A por
f (x, y) = x 1A + y a,

x, y R,

donde obtemos,
f (i (x)) = x f (i (1)) = x f (0, 1) = x a = x f (1) = f (x).
Portanto, Cl(R, x2 ) = R R.
Pode-se mostrar que Cl(R, x2 ) com j : R A, onde A := R2 com multiplicao
(a, b)(c, d) = (ac, bd), a, b, c, d R, tambm uma lgebra de Clifford associada a R e a
, assim : R R A dada por
(1, 0) 7 (1, 1) e (0, 1) 7 (1, 1)
um isomorfismo de lgebras e temos que (i ) = j .
Exemplo 1.8. Sejam V = R e (x, y) = 0 para x, y V . Ento 0 e assim o ideal I
gerado por {x x; x R}. Logo, a lgebra de Clifford associada a R e a forma quadrtica
nula e a lgebra exterior de R, (R) ([12], pag. 524). Logo, Cl(R, 0) = (R).
Exemplo 1.9. Generalizando os exemplos anteriores, sejam V = K e (x, y) = dxy para
x, y K e algum d K. Ento (x) = dx2 , donde temos I gerado por {x x d 1K ; x
K}. Portanto, sabendo que T (K) K[X], Cl(K, dx2 ) = K[X]/ hX 2 di.
Exemplo 1.10. Sejam V = R2 e (x, y) = x1 y1 x2 y2 para x = (x1 , x2 ), y = (y1 , y2 )
R2 . Ento (x) = x1 2 x2 2 e definindo i : R2 H, onde H denota a lgebra dos
quatrnios, tal que
i (x) = x1 i + x2 j
temos que,

1.1. lgebras de Clifford

11

i) (i (x))2 = (x1 i + x2 j)2 = x21 x22 = (x) 1, observando que em H tem-se


i2 = j 2 = k 2 = 1 e ij = k, ji = k;
ii) Sendo f : R2 A qualquer aplicao linear em uma R-lgebra A tal que (f (x))2 =
(x)1A , segue que f (x) = x1 f (1, 0)+x2 f (0, 1) e a2 = f (1, 0)2 = (1, 0)1A = 1A ,
b2 = f (0, 1)2 = (0, 1)1A = 1A , fazendo f (1, 0) = a e f (0, 1) = b. Assim definimos
f : H A por
f (t + t1 i + t2 j + t3 k) = t 1A + t1 a + t2 b + t3 ab,

t, t1 , t2 , t3 R,

donde obtemos,
f (i (x)) = f (x1 i + x2 j) = x1 a + x2 b = f (x).
Portanto, Cl(R2 , x21 x22 ) = H.
Agora para mostrarmos a injetividade da aplicao estrutural, que mencionamos
anteriormente, simplificando a notao com a identificao i (V ) = V , precisamos conhecer um pouco mais dessas lgebras. Comecemos observando que a imagem da aplicao
estrutural, i , gera Cl(V, ).
Para isso denotamos por A := hIm i i a sublgebra gerada por tal imagem e
consideramos a aplicao ie : V A. Como ie (v)2 = (v) 1, da definio 1.4, existe
um nico homomorfismo de lgebras f : Cl(V, ) A tal que
f i = ie .
Por outro lado, tomando-se a incluso j : A , Cl(V, ) temos que
j ie = i .
Consequentemente,
(j f ) i = j (f i ) = j ie = i ,
e j que id i = i , por unicidade da aplicao identidade, j f = id, donde j
sobrejetiva. Portanto, hIm i i = Cl(V, ).
Dessa forma, se x Cl(V, ), ento
X
x=
t1 ,t2 ,...,tm i (v1 )t1 i (v2 )t2 . . . i (vm )tm
onde j K e vi V , sujeito as relaes:
i (v)2 = (v) 1
e
i (u) i (v) + i (v) i (u) = 2(u, v) 1,

(1.1)

1.1. lgebras de Clifford

12

devido a identidade polar, para u, v V , quando a caracterstica de K diferente de 2.


Com isso podemos mostrar a seguinte proposio, tambm importante para a
definio dos spinores na prxima seo.
Proposio 1.11. Seja V qualquer K-espao vetorial associado a forma quadrtica .
Existe um nico automorfismo, : Cl(V, ) Cl(V, ), tal que
= id
Demonstrao:

(i (v)) = i (v),

v V.

Considerando 0 : V Cl(V, ) dada por 0 (v) = i (v), vemos

que esta linear e (0 (v))2 = (i (v))2 = i (v)2 = (v) 1. Assim, pela propriedade
universal das lgebras de Clifford, conforme definio 1.4, existe um nico homomorfismo
de lgebras, : Cl(V, ) Cl(V, ), tal que
i = 0 ,
isto ,
(i (v)) = i (v),

v V.

E para x Cl(V, ), de (1.1), temos que


(x) =

t1 ,t2 ,...,tm (i (v1 ))t1 (i (v2 ))t2 . . . (i (vm ))tm ,

donde,
(x) =

t1 ,t2 ,...,tm (i (v1 ))t1 (i (v2 ))t2 . . . (i (vm ))tm ,

vi V

obtendo = id e, consequentemente, a bijetividade desta.


O automorfismo chamado automorfismo cannico. Usando-o podemos decompor a lgebra de Clifford em uma soma direta de dois subespaos,
Cl(V, ) = Cl0 (V, ) Cl1 (V, ),
onde Cli (V, ) = {x Cl(V, ); (x) = (1)i x, para i = 0, 1} e x dito elemento
homogneo de grau i. Como podemos ver que Cli (V, ) Clj (V, ) Cli+j

mod 2

(V, ),

mostra-se que Cl(V, ) uma lgebra Z2 -graduada ou uma super lgebra.


Agora observemos que isso nos permite falar na construo da lgebra chamada
produto tensorial Z2 -graduada ou super produto tensorial, que de modo geral, se A e B
b da seguinte forma:
so lgebras Z2 -graduadas, definimos o super produto tensorial AB
como espao vetorial o produto tensorial A B e a multiplicao dada por
0

(a b) (a0 b0 ) = (1)grau(b)grau(a ) (aa0 ) (bb0 ),


com a, a0 A e b, b0 B elementos homogneos.

1.1. lgebras de Clifford

13

b uma lgebra Z2 -graduada. De fato AB


b = (AB)
b 0 (AB)
b 1,
Alm disso, AB
b 0 = (A0 B 0 ) (A1 B 1 ) e (AB)
b 1 = (A1 B 0 ) (A0 B 1 ). Permitindo
onde (AB)
afirmar que, se V = V1 V2 uma decomposio ortogonal de um K-espao vetorial V
associado a forma , (v1 + v2 ) = 1 (v1 ) + 2 (v2 ), onde 1 = |V1 , 2 = |V2 , v1 V1 e
v2 V2 , existe um isomorfismo natural de lgebras de Clifford,
b
Cl(V, ) Cl(V1 , 1 )Cl(V
2 , 2 ).

(1.2)

b
Fato que podemos provar considerando a aplicao f : V Cl(V1 , 1 )Cl(V
2 , 2 )
dada por
f (v) = v1 1 + 1 v2 ,
v = v1 + v2 , e usando a propriedade universal das lgebras de Clifford para obter o
isomorfismo, cuja inversa seria dada por
u w 7 (u)(w),
onde u Cl(V1 , 1 ), w Cl(V2 , 2 ), e so tambm obtidas pela propriedade universal
das lgebras de Clifford atravs da aplicao V1 V1 V2 Cl(V, ), bem como da
aplicao V2 V1 V2 Cl(V, ), respectivamente ([14], pg. 11, [5], pg, 57).
Com isso mostremos a injetividade da aplicao estrutural e tambm que se a
dimenso de V finita e {e1 , . . . , en } for uma base ortogonal de V com respeito a , o
produto ej1 ej2 . . . ejk com 1 j1 < j2 < . . . < jk n, juntamente com 1, uma base de
Cl(V, ), cuja dimenso 2n .
Proposio 1.12. A aplicao estrutural, i : V Cl(V, ), injetiva.
Demonstrao:

Se a forma bilinear associada a for nula, 0, observando que

o exemplo 1.8 vale para qualquer V , Cl(V, ) = (V ), ento i injetiva, visto que
L n
I
V , implica que a aplicao quociente, : T (V ) T (V )/I := (V ), restrita a
n2

V 1 injetiva ([12], pag. 524) e i = i1 = |V 1 , onde i1 : V 1 T (V ).


Se a forma bilinear no degenerada, ou seja, se v V e (v, w) = 0 para todo w V ,
ento v = 0, temos que se x ker i , para y V , segue que
0 = i (x)i (y) + i (y)i (x) = 2(x, y) 1,
donde x = 0.
Se a forma bilinear qualquer, podemos escrever V = V0 V1 , onde V0 o espao nulo,
V0 := {v V ; (v, w) = 0, w V },
e V1 o espao complementar de V0 .
Observemos que |V1 V1 associada a 1 := |V1 no degenerada. Com efeito, se v1 V1 e

1.1. lgebras de Clifford

14

(v1 , v) = 0, para todo v V1 , temos que (v1 , w) = (v1 , w0 ) + (v1 , w1 ), w = w0 + w1


V , w0 V0 , w1 V1 , implicando, (v1 , w) = 0 para todo w V , logo v1 V0 , mas como
V0 V1 = {0}, tem-se v1 = 0.
Portanto, pelo que mostramos anteriormente, a aplicao estrutural da lgebra de Clifford
associada a V1 e 1 , i1 : V1 Cl(V1 , ), injetiva.
Consideremos assim, a aplicao
1 :

........................................................

V1

1
.....................................................................

Cl(V1 , 1 )

onde 1 : V V1 a aplicao projeo. Ento,


1 (v)2 = 1 (v1 ) 1 = (v) 1,
j que (v) = (v0 + v1 , v0 + v1 ) = (v1 , v1 ) = 1 (v1 ).
Definamos
b
: V (V )Cl(V
1 , 1 )
v 7 0 (v) 1 + 1 1 (v),
onde 0 : V V0 aplicao projeo. E notemos que
(v)2 = 0 (v)2 1 + 0 (v) 1 (v) 0 (v) 1 (v) + 1 1 (v)2 = (v) 1,
pois (0 (v)) = (v0 ) = v0 = 0 (v) e (1 (v)) = i (1 (v)) = 1 (v), donde
grau(1 (v)) = grau(0 (v)) = 1.
Logo, pela propriedade universal das lgebras de Clifford, definio 1.4, existe um nico
b
homomorfismo de lgebras f : Cl(V, ) (V )Cl(V
1 , 1 ), tal que
f i = .
Como injetiva, pois (v) = 0, implica 0 (v) = 0 e 1 (v) = 0, donde sendo i1 injetiva,
v = 0, segue que i injetiva como queramos mostrar.
Assim, Cl(V, ) no nula e pode ser vista como uma lgebra gerada por V .
Donde se x Cl(V, ), de (1.1), tem-se
X
tm
x=
t1 ,t2 ,...,tm v1t1 v2t2 . . . vm
onde j K e vi V , com
v 2 = (v) 1
e
u v + v u = 2(u, v) 1
para u, v V , quando a caracterstica de K diferente de 2.

1.1. lgebras de Clifford

15

Proposio 1.13. Seja {e1 , e2 , . . . , en } uma base ortogonal de um K-espao vetorial V


com respeito a , ento a lgebra Cl(V, ) tem base dada pelos produtos ej1 ej2 . . . ejk , onde
1 j1 < . . . < jk n, juntamente com 1, isto , dim Cl(V, ) = 2n .
Demonstrao: Como (e1 , e2 , . . . , en ) ortogonal, V admite uma decomposio orton
n
n
L
P
P
gonal, V =
Kei , onde (v) =
i vi2 para todo v =
vi ei V , i , vi K ([10], pag.
i=1

i=1

i=1

65). Assim, sendo Vi = Kei e i (v) = i vi2 , por (1.2), temos que
b . . . Cl(Ke
b
Cl(V, ) Cl(Ke1 , 1 )
n , n ).
Como do exemplo 1.9, obtemos que Cl(Kei , i ) = K[X]/ hX 2 i i, temos que cada fator
do lado direito desse isomorfismo tem dimenso igual a 2. Portanto, j que como espao
vetorial um produto tensorial, a dimenso de Cl(V, ) 2n .
Dessa forma, sendo {1, ej1 ej2 . . . ejk } um conjunto gerador como espao vetorial com 2n
elementos, onde 1 j1 < . . . < jk n, necessariamente uma base de Cl(V, ), como
desejamos mostrar.
Para finalizar a seo, vejamos que as lgebras de Clifford tem um antiautomorfismo, ou seja, uma aplicao linear bijetiva em Cl(V, ) satisfazendo t(x y) = t(y) t(x).
Proposio 1.14. Seja V um K-espao vetorial associado a forma quadrtica . Ento
existe um nico antiautomorfismo, t : Cl(V, ) Cl(V, ), tal que
t t = id,

t(x y) = t(y) t(x)

t(v) = v

para todo v V e x, y Cl(V, ).


Demonstrao: Consideremos a involuo J : T (V ) T (V ) dada por
v1 . . . vk 7 vk . . . v1
estendendo por linearidade.
Observemos que I ker( J), onde a aplicao quociente e I como na prova da
proposio 1.5. Com efeito,
J(v v (v) 1) = (v v (v) 1) = 0.
Consequentemente, pela propriedade universal do quociente, existe um nico homomorfismo t : Cl(V, ) Cl(V, ), tal que
T (V ) ...............J.......................... T (V ) ...................................................................... Cl(V, )
...
...
...
...
...
...
...
...
...
..
.........
.

T (V )/I
Portanto,

.
...........
......... .
........
.........
........
.
.
.
.
.
.
.
.
..
.........
........
........
.........
.........
.
.
.
.
.
.
.
..
.........
.........
.........
.........

t = J .

1.2. Os grupos Spinores

16

i) t(v) = t(i (v)) = t (i1 (v)) = J (i1 (v)) = J(v) = v;


ii) Como sobrejetiva, dados x, y Cl(V, ), existem x0 , y 0 T (V ) tais que (x0 ) = x
e (y 0 ) = y. Da t(x y) = t((x0 )(y 0 )) = t (x0 y 0 ) = J (x0 y 0 ) = J(x y) =
y x = J(y)J(x) = J((y 0 )(x0 )) = t(y)t(x);
iii) Como J J = id, donde t J(J ) = t , implicando t J(t ) = t , e por
unicidade da identidade, t J = id, temos que t t(x) = t J (x0 ) = (x0 ) = x.
e assim t um antiautomorfismo como queramos mostrar.
Assim podemos, como segue, conhecer o conceito algbrico que est no cerne da
teoria de Geometria Spin.

1.2

Os grupos Spinores
Como o ttulo da seo indica, precisamos relacionar as lgebras Cl(V, ) com o

conceito de grupo. Para isso, consideremos o grupo multiplicativo das unidades na lgebra
de Clifford, isto ,
Cl (V, ) := {x Cl(V ); x1 Cl(V ) tal que x1 x = xx1 = 1}.
Assim, como Cl (V, ) contm os vetores v V tal que (v) 6= 0, pois v 2 = (v)1,
tomemos o subgrupo de Cl (V, ) gerado pelos elementos v V com (v) 6= 0, denotando
por P (V, ). A parti da, podemos especificar os grupos spinores:
Definio 1.15. O grupo P in associado ao K-espao vetorial V e a , denotado por
P in(V, ), o subgrupo
P (V, ) := h{v V ; (v) = 1}i .
E o grupo Spin associado a V e a , dado por
Spin(V, ) := P in(V, ) Cl0 (V, ).
Observemos que Spin(V, ) realmente um grupo, pois como x P in(V, ),
restaria mostrar que x1 Cl0 (V, ), e isso possvel j que (x1 ) = (x)1 .
Porm, nosso trabalho se desenvolve focando as lgebras de Clifford associadas a
certos espaos vetoriais de dimenso finita, e assim passaremos a obter uma definio de
tais grupos nesse contexto.
Definio 1.16. Um antiautomorfismo na lgebra de Clifford, : Cl(V, ) Cl(V, ),
dado por x := t (x) dito conjugao.

1.2. Os grupos Spinores

17

Aproveitemos para observar que t = t, isso porque sendo a dim V < ,


da proposio 1.13, 1, ej1 ej2 . . . ejk , com 1 j1 < . . . < jk n, formam uma base em
Cl(V, ), donde
t(ej1 ej2 . . . ejk ) = ejk ejk 1 . . . ej1
e
(ej1 ej2 . . . ejk ) = (1)k ej1 ej2 . . . ejk .
De posse da conjugao, definimos uma outra aplicao que chamamos norma,
N : Cl(V, ) Cl(V, ), dada por
N (x) = xx,
onde N (ej1 ej2 . . . ejk ) = (1)k (ej1 )(ej2 ) . . . (ejk ), pelo mesmo argumento do pargrafo
anterior e j que ej1 ej2 . . . ejk = (1)k ejk ejk 1 . . . ej1 .
Definio 1.17. Seja V um K-espao vetorial de dimenso finita. O grupo Clifford
da forma quadrtica , denotado por (V, ), o subgrupo formado pelos elementos
x Cl (V, ) para o qual
(x)vx1 V,

v V.

Como a aplicao x : V V , dada por x (v) = (x)vx1 , linear e injetiva


para cada x (V, ), devido a dim V < , bijetiva. Assim a inversa existe e dada
1
1
(V, ),
por 1
x (v) = (x )vx, lembrando que um automorfismo. Donde, x

permitindo mostrar que xy 1 (V, ), para x, y (V, ), e concluir que (V, ) um


subgrupo das unidades da lgebra de Clifford.
Alm disso, podemos ver que se v V e (v) 6= 0 a aplicao x tem uma
interpretao geomtrica como segue:
Proposio 1.18. Seja V um K-espao vetorial de dimenso finita e uma forma
quadrtica. Se w V e (w) 6= 0, ento a aplicao w : V V dada por
v 7 (w)vw1
a reflexo sobre o hiperplano H ortogonal ao vetor w.
Demonstrao: J que w2 = (w) 1 segue que w1 =
w (v) = (w)vw1 = wv

w
,
(w)

e da

w
w
= (vw 2(v, w) 1)
(w)
(w)
(v, w)
=v2
w,
(w)

para todo v V . Portanto, sendo essa ltima igualdade a definio da reflexo sw sobre
o hiperplano H := {v V ; (v, w) = 0} ortogonal ao vetor w, segue o desejado.

1.2. Os grupos Spinores

18

Figura 1.1: w quando V = R2


J vimos na definio 1.15, no incio da seo, a caracterizao geral dos grupos
spinores, teremos agora uma definio equivalente, importante ao presente trabalho, que
os caracteriza quando a dimenso de V finita, como j mencionado antes.
Definio 1.19. O grupo P in associado a um K-espao vetorial de dimenso finita V
e a uma forma quadrtica no degenerada, isto , se a forma bilinear simtrica
associada a e (v, w) = 0 para todo w V , ento v = 0, denotado por P in(V, ), o
subgrupo
P in(V, ) := {x (V, ); N (x) = 1}
E o grupo Spin associado a V e , dado por
Spin(V, ) := P in(V, ) Cl0 (V, ).
Para mostrarmos tal equivalncia vejamos que associado ao grupo Clifford, temos
uma importante aplicao chamada por Atiyah, Bott e Shapiro ([1], pag. 7) de representao adjunta torcida,
: (V, ) GL(V )
x

7 x : V V
v 7 x (v) = (x)vx1 ,

que est bem definida, como podemos ver no pargrafo posterior a definio 1.17, cujo
contradomnio o Grupo Linear Geral de V ,
GL(V ) := {T : V V ; T um K-isomorfismo linear},
e com a qual temos os seguinte resultados:
Lema 1.20. Seja V um K-espao vetorial de dimenso finita e uma forma quadrtica
no degenerada. O ncleo da aplicao o grupo multiplicativo, K 1, dos mltiplos
no nulos da identidade de Cl(V, ).

1.2. Os grupos Spinores

19

Demonstrao: Como no degenerada, escolhamos uma base {e1 , . . . , en } de V tal


que (ej ) 6= 0, para todo j, e (ei , ej ) = 0, para todo i 6= j. Se x ker , ento x = id,
donde,
(x)vx1 = v

(x)v = vx,

v V.

Observemos que, como Cl(V, ) = Cl0 (V, ) Cl1 (V, ), podemos escrever x = x0 + x1 ,
onde x0 Cl0 (V, ) e x1 Cl1 (V, ). Assim, de (x0 + x1 )v = v(x0 + x1 ), temos
x1 v + x0 v = vx1 + vx0 , e visto que v Cl1 (V, ), segue-se,
x1 v = vx1

e vx0 = x0 v,

vV

(1.3)

Alm disso, da proposio 1.13, podemos escrever x0 e x1 como combinaes lineares


de ej1 . . . ejk , 1 j1 < . . . < jk n. Dessa forma, usando sucessivamente ej ei =
ei ej + 2(ej , ei ), conseguimos expressar x1 como x1 = a1 + e1 a0 , onde a1 e a0 so
combinaes lineares de ej1 . . . ejk para ji 6= 1. O mesmo acontece para x0 .
Notemos que a1 Cl1 (V, ) e a0 Cl0 (V, ), pois x1 = (a1 ) e1 (a0 ), e assim
a1 e1 a0 = (a1 ) e1 (a0 ). E para v = e1 em (1.3), tem-se
a1 e1 + e1 a0 e1 = e1 a1 e21 a0

e1 a1 + e21 a0 = e1 a1 e21 a0

e21 a0 = 0, como (e1 ) 6= 0,

a0 = 0.

Logo, x1 = a1 , e com isso no tem e1 em sua expresso. Podendo expressar x1 = a1 =


b0 +e2 b1 , e assim indutivamente, em seguida fazendo esse mesmos procedimento, chegamos
que x1 no tem e2 , . . .,en em sua expresso, ou seja, gerado apenas por 1. Com isso,
x1 Cl0 (V, ), mas vimos que x1 Cl1 (V, ), portanto, x1 = 0.
Analogamente, mostramos que x0 = t1, t K. E conclumos, x = t1, e como x (V, ),
x 6= 0, o que completa a demonstrao.
Proposio 1.21. Seja V um K-espao vetorial de dimenso finita e uma forma
quadrtica no degenerada. Se x (V, ), ento N (x) K 1.
Demonstrao:

Notemos inicialmente que e t induzem, respectivamente, um auto-

morfismo e um antiautomorfismo em (V, ), j que ((x))v(x)1 = ((x)vx1 ) =


(x)vx1 V e, analogamente, (t(x))vt(x1 ) V , para todo x (V, ) e v V .
Assim, se x (V, ), tem-se
t((x)vx1 ) = (x)vx1

t(x)1 vt((x)) = (x)vx1

v = t(x)(x)vx1 t((x))1

v = ( t(x)x)v( t(x)x)1 ,

1.2. Os grupos Spinores

20

donde, xx ker . Como x = (t(x)) (V, ), segue que N (x) = xx = t( t(x))


t(x)) = x x ker , que pelo lema anterior mostra o desejado.
Corolrio 1.22. A norma restrita ao grupo (V, ), N : (V, ) K 1, um homomorfismo e N ((x)) = N (x) para todo x (V, ).
Demonstrao: Vejamos que para x, y (V, ), pela proposio anterior, tem-se
N (xy) = xyxy = xyt (xy) = xyt (y)t (x) = xN (y)x = N (x)N (y).
Da mesma forma,
N ((x)) = (x)(x) = (x) t((x)) = (x)(x) = (N (x)) = N (x).

Para o prximo corolrio precisamos do seguinte resultado, conhecido como teorema de Cartan-Dieudonn, cuja demonstrao omitiremos, mas pode ser vista em Bourbaki ([3], pag. 97, proposio 5).
Teorema 1.23. Seja V um K-espao vetorial de dimenso finita e uma forma quadrtica
no degenerada. Todo elemento do grupo ortogonal, f O(V, ), pode ser escrito como
o produto de k reflexes,
f = s1 . . . sk ,
onde k dim V e O(V, ) = {T GL(V ); (T v) = (v), v V }.
Corolrio 1.24. A imagem da representao adjunta torcida o grupo das aplicaes
ortogonais, ou seja, ((V, )) = O(V, ).
Demonstrao: Observemos que se x (V, ) e v V , com (v) 6= 0, pelo corolrio
anterior,
N (x (v)) = N ((x)vx1 ) = N (x)N (v)N (x)1 = N (v),

v V e x (V, ),

donde, (x (v)) = (v), mostrando que x O(V, ).


Agora, se f O(V, ), como no degenerada, pelo teorema de Cartan-Dieudonn,
f = s1 . . . sk .
Tambm por ser no degenerada, V 0 := {v V ; (v) 6= 0} no vazio, e pela
proposio 1.18, tem-se V 0 (V, ). Assim podemos considerar o vetor no nulo wj V 0
ortogonal ao hiperplano sobre o qual est definido sj , obtendo
(wj ) = sj .

1.2. Os grupos Spinores

21

Consequentemente, notando que para x1 , . . . , xr Cl(V, ) tem-se


x1 ...xr (v) = (x1 . . . xr )v(x1 . . . xr )1 = x1 . . . xr (v), v V,
segue que
f = w1 ...wk , wj (V, ),
concluindo a demonstrao.
Observao 1.25. Assim temos a seguinte sequncia exata:
1

...............................................

..

...
K 1 .................................. (V, ) ........................... O(V, ) ......................................... 1.

Agora podemos ver a equivalncia entre as definies 1.15 e 1.19. Para isso denotemos o conjunto P in(V, ) na definio 1.19 por
GV, := {x (V, ); N (x) = 1}
e observemos que este um grupo, j que no degenerada e, do corolrio 1.22,
a norma no grupo Clifford um homomorfismo. Assim basta vermos primeiro que o
conjunto gerador
V 00 = {v V ; (v) = 1}
do grupo P in(V, ) est contido em GV, . Com efeito, se v V 00 , tem-se v 1 = v e
(v)wv 1 = w 2(w, v)v, para todo w V , donde V 0 (V, ) e como N (v) =
v 2 = 1, segue que V 00 GV, , e portanto, P in(V, ) GV, .
Para a outra incluso, se x GV, , ento x (V, ), e da prova do corolrio
anterior, existem wj (V, ) com (wj ) 6= 0 tais que
(x) = w1 ...wk ,
da,
(xw11 . . . wk1 ) = id

xw11 . . . wk1 ker

x = w1 . . . wk , K, 6= 0.

Como N (x) = 1 segue que = 1 e (wj ) = N (wj ) = 1. Portanto, obtemos que


GV, P in(V, ).
Assim, temos a equivalncia desejada e destaquemos que crucial a forma quadrtica
ser no degenerada, visto a necessidade do ker ser igual a K 1. O que no acontece
quando a forma degenerada. No exemplo 1.8, onde a forma degenerada, 1+e1 e2 ker ,
j que (1 + e1 e2 )1 = 1 e1 e2 , mas 1 + e1 e2
/ K 1.

1.2. Os grupos Spinores

22

Exemplo 1.26. Quando V = R e (x) = x2 temos que Cl(R, ) = C, conforme o


exemplo 1.6. Assim, como a aplicao estrutural injetiva, identificamos R com Ri, da
(bi) = bi, e consequentemente,
(R, ) = {a + bi C ; (a bi)v

a bi
Ri, v Ri, a, b R}
a2 + b 2

= {a + bi C ; b = 0 ou a = 0 a, b, R}
= Cl0 (R, ) Cl0 (R, )i,
donde,
P in(R, ) = {a + bi (R, ); a2 + b2 = 1} = {1, 1, i, i}
e
Spin(R, ) = {a + bi P in(R, ); (a + bi) = a + bi} = {1, 1},
isto ,
P in(R, ) Z4

Spin(R, ) Z2 .

Figura 1.2: P in(R, )

Exemplo 1.27. Quando V = R e (x) = x2 temos que Cl(R, ) = R R, conforme o


exemplo 1.7. Assim, identificamos R com R, onde = (0, 1). Dessa forma o automorfismo
cannico (0, b) = (0, b), e consequentemente,
(R, ) = {(a, b) (R R) ; (a, b)v(

b2

a
b
, 2
) R, v R, a, b R}
2
a b a2

= {(a, b) (R R) ; b = 0 ou a = 0 a, b, R}
= Cl0 (R, ) Cl0 (R, ),
E, j que N (a, b) = (a, b)(a, b) = (a2 b2 ) 1, temos
P in(R, ) = {(a, b) (R, ); a2 b2 = 1} = {(1, 0), (1, 0), (0, 1), (0, 1)}

1.2. Os grupos Spinores

23

onde a ordem de seus elementos dois, e


Spin(R, ) = {(a, b) P in(R, ); (a, b) = (a, b)} = {(1, 0), (1, 0)},
isto ,
P in(R, ) Z2 Z2

Spin(R, ) Z2 .

Figura 1.3: P in(R, )


Assim, finalizamos a seo obtendo que a representao adjunta torcida restrita aos
grupos P in(V, ) e Spin(V, ) so homomorfismos sobrejetivos, respectivamente, sobre o
grupo ortogonal, O(V, ), e o grupo ortogonal especial,
SO(V, ) = {T O(V, ); det(T ) = 1}.
caracterstica fundamental para o ltimo captulo desse trabalho, que nos permite, como
veremos, mostrar que tais grupos so recobrimentos duplos. Conceito este utilizado para
abordar a estrutura das variedades spins de modo topologicamente equivalente a como
so definidas, contudo mais ricamente ([14], pag. 5).
Teorema 1.28. As restries de aos grupos spinores, : P in(V, ) O(V, ) e
: Spin(V, ) SO(V, ), so homomorfismos sobrejetivos de grupos.
Demonstrao: Como do corolrio 1.24 temos que ((V, )) = O(V, ), na demonstrao deste podemos tomar wj unitrio, uj =

wj
,
|(wj )|

e obtemos que u1 . . . uj P in(V, ),

pois N (uj ) = 1, e assim, para qualquer f O(V, ),


f = u1 ...uk ,
mostrando a sobrejetividade de |P in(V,) .
Agora, suponhamos por absurdo que (Spin(V, )) 6= SO(V, ). Ento existe uma f
O(V, )\SO(V, ) tal que x = f para algum x Spin(V, ).

1.2. Os grupos Spinores

24

Notemos que escolhendo uma base {e1 , . . . , en } de V com v = e1 e (v, ej ) = 0 para j 2,


tem-se v (e1 ) = e1 e v (ej ) = ej , j 2. Com isso o det v = 1, e consequentemente,
SO(V, ) = {s1 . . . sk ; k par}.
Da, f pode ser escrita como f = w1 ...w2k+1 , e assim w1 ...w2k+1 = x , o que implica
x1 w1 . . . w2k+1 K 1, pelo lema 1.20.
Dessa forma, para algum K ,
x=

1
1
w1 . . . w2k+1 (x) = (w1 ) . . . (w2k+1 )

1
(x) = (1)2k+1 w1 . . . w2k+1 = x,

o que absurdo, pois x Spin(V, ). Portanto, : Spin(V, ) SO(V, ) tambm


sobrejetiva.
Assim, como j conhecemos os grupos spinores, podemos passar as representaes
das lgebras de Clifford, representaes estas importantes em Geometria Spin, como faremos no prximo captulo.

Captulo 2
As classificaes e representaes das
lgebras de Clifford
Aqui, se considerarmos que o leitor tenha conhecimentos em teoria das variedades
ou um consulta ao apndice, como j vimos a definio dos grupos spinores, deveremos
seguir buscando compreender as representaes.
Dessa forma, o presente captulo se estrutura com tal finalidade. Iniciando com
as lgebras de Clifford associadas ao espao vetorial Rn , passando, na seo seguinte, as
representaes de modo geral, mas com foco nas representaes dessas lgebras.

2.1

As lgebras de Clifford associadas a Rn


Seria oportuno detalharmos melhor o motivo de foco em um caso particular das

lgebras de Clifford. Esse est nas representaes dessas lgebras restritas aos grupos
spinores, conceito que veremos na prxima seo, no serem induzidas de representaes
dos grupos ortogonais ou ortogonais especiais ([14], pag. 21).
E isso importncia, pois o modo de abordar a estrutura spin das variedades spin,
utilizando levantamento, est relacionado com tais representaes, que por no serem
induzidas como citado, geram novas construes, inexistentes sobre variedades gerais,
mesmo quando se refina a estrutura das variedades diferenciais passando as variedades
spin, sem abordar-la assim ([14], pag. 5).
Ento, iniciemos considerando V como um R-espao vetorial n-dimensional, e
supondo que a forma quadrtica seja no degenerada em V . Com isso, podemos escolher
uma base {e1 , . . . , en } para V , conforme Garling ([10], pag. 64), de forma que
(x) = x21 + . . . + x2p x2p+1 . . . x2p+q ,
onde p + q = n e 0 p n. Denotamos por p,q a forma quadrtica correspondente ao
par (p, q), chamado de assinatura de p,q .
25

2.1. As lgebras de Clifford associadas a Rn

26

As lgebras de Clifford associadas as formas quadrticas que tm essa assinatura


recebem, consequentemente, a notao Clp,q , seus grupos Clifford, p,q , bem como seus
grupos spinores, pinp,q e spinp,q . Tambm os grupos ortogonais e ortogonais especiais so
convencionalmente escritos como Op,q e SOp,q .
Quando p = 0 obtemos casos que so importantes para o presente trabalho, cuja
notao Cln , isto ,
n (x) = x21 . . . x2n , x Rn e N (x) = x21 + . . . + x2n , x n ,

(2.1)

mostrando que a aplicao norma sempre no negativa para tais lgebras reais e permitindo definir os grupos pinn e spinn tambm da seguinte forma, como fazem Atiyah,
Bott e Shapiro ([1], pag. 8), sendo esta exatamente a definio 1.19 em tais lgebras:
Definio 2.1. P inn o ncleo de N : n R 1, para n 1, e Spinn o subgrupo
de P inn que imagem inversa de SOn sobre : P inn On , para n 1.
Lembremos que alguns autores, por exemplo, Lawson e Michelsohn [14], definem
as lgebras de Clifford com (i (v))2 = (v) 1, assim suas Cln so nossas Cln,0 . Mas o
trabalho similar, j que h apenas uma inverso de sinal no decorrer das demonstraes.
Uma classificao dessas lgebras obtida a partir dos seguintes teoremas, onde o
segundo dito o teorema da 8-periodicidade devidos a Elie Cartan e Raoul Bott.
Teorema 2.2. Os R-isomorfismos de lgebras
Cln,0 Cl0,2
= Cl0,n+2

(2.2)

Cl0,n Cl2,0
= Cln+2,0

(2.3)

Clp,q Cl1,1
= Clp+1,q+1

(2.4)

existem para todo n, p, q 0.


Demonstrao:

Como o procedimento similar para os trs isomorfismos (ver [14],

pag. 26), faamos o (2.4). Assim, escolhamos {e1 , . . . , ep+1 , 1 , . . . , q+1 } uma base ortogonal para Rp+q+2 tal que p+1,q+1 (ei ) = 1 e p+1,q+1 (j ) = 1, i, j. Ento seja
{e01 , . . . , e0p , 01 , . . . , 0q } uma base para Rp+q , Clp,q e {e001 , 001 } uma base para R2 , Cl1,1 .
Dessa forma, definamos f : Rp+q+2 Clp,q Cl1,1 estendendo linearmente
f (x) = x e001 001 , x Rp+q , f (ep+1 ) = 1 001 e f (q+1 ) = 1 e001 .

2.1. As lgebras de Clifford associadas a Rn

27

Notando que est bem definida, visto a injetividade da aplicao estrutural, e que
f (x + ep+1 + q+1 )2 = (x e001 001 + 1 001 + 1 e001 )2
2

= x2 e001 001 + 2 1 e001 + ( )x e001 001 + ( )x e001 001


+ ( )1 e001 001 + 2 1 001

= [p,q (x)1,1 (e001 )1,1 (001 ) + 2 1,1 (e001 ) + 2 1,1 (001 )]1 1
= [p,q (x) + 2 2 ]1 1
= p+1,q+1 (x + ep+1 + q+1 )1 1,
obtemos, pela definio 1.4, o homomorfismo fe : Clp+1,q+1 Clp,q Cl1,1 . Como
fe((1)k1 (1)l1 ei1 . . . eik j1 . . . jl ) = e0i1 . . . e0ik 0j1 . . . 0jl e1 00 1 00 , com 1 i1 < . . . <
ik p + 1, 1 j1 < . . . < jl q + 1, este sobrejetivo. E j que a dim Clp+1,q+1 =
2p+q+2 = dim Clp,q dim Cl1,1 , conforme proposio 1.13, temos o isomorfismo desejado.
Teorema 2.3. (8-periodicidade de Cartan/Bott) Para n 0, existem os R-isomorfismos
de lgebras
Cln+8,0
= Cln,0 Cl8,0 ,
Cl0,n+8
= Cl0,n Cl0,8 .
Demonstrao: Do teorema anterior, usando (2.2) e (2.3), temos que
Cln+8,0
= Cl0,n+6 Cl2,0
= Cln,0 Cl0,2 Cl2,0 Cl0,2 Cl2,0

= Cln,0 Cl4,0 Cl0,2 Cl2,0

= Cln,0 Cl8,0 .
O mesmo acontece com Cl0,n+8 , como queramos demostrar.
Assim, essas lgebras so vistas como lgebras de matrizes n n, que denotamos
por K(n), sobre os reais, complexos e quatrnios, K = R, C e H, pois temos a seguinte
proposio, cuja demonstrao pode ser vista em [14] (pag. 27) e [17] (pag. 83-84):
Proposio 2.4. Para todo n, m 0 e K = C, H temos os R-isomorfismos seguinte:
R(n) R(m)
= R(mn)
R(n) K
= K(n)
CC
=CC
CH
= C(2)
HH
= R(4).

2.1. As lgebras de Clifford associadas a Rn

28

Alm de sabermos que,


Cl0,1 = C,
Cl0,2 = H,

Cl1,0 = R R,

Cl2,0 = R(2) e Cl1,1 = R(2),

conforme os exemplos 1.6, 1.7, 1.10 e Garling [10] (pag. 106-107), observando que suas
lgebras de Clifford An so nossas Cl0,n , bem como as A0,n so as Cln,0 .
Exemplo 2.5. Temos que
Cl8,0
= Cl8 ,
pois Cl8,0
= Cl6 Cl2,0
= Cl4,0 Cl2 R(2)
= H R(2) H R(2)
= R(16) e,
analogamente, Cl8
= R(16).
Observao 2.6. Tambm poderamos considerar as lgebras de Clifford Complexas, isto
, aquelas associadas a C-espaos vetoriais n-dimensionais, V , com suas formas quadrticas no degeneradas, que devido a existncia de uma base ortonormal {e1 , . . . , en } para
V , ([10], pag. 82), so dadas por:
Cn (z) = z12 + + zn2 .
A notao usada Cln e podemos identifica-las com complexificaes das lgebras
de Clifford reais, pois sabemos que a complexificao de Rn por definio Rn C
com forma quadrtica complexificada C (x z) := z 2 n (x), donde temos a proposio
seguinte, alm de (R C)n
= Cn e C = C .
n

Proposio 2.7. Para n 0, temos o seguinte C-isomorfismo de lgebras


Cl(Rn C, C )
= Cln C.
Demonstrao:

Notemos que : Rn C Cln C dada por (x, z) = x z R-

bilinear. Ento, pela definio 1.1, induz uma aplicao R-linear : Rn C Cln C
tal que (xz) = xz. Como (xz) = (x1)z = (x1)z, temos que tambm Clinear. Alm disso (xz)2 = (x1)2 z 2 = z 2 x2 11 = z 2 n (x)1, donde, pela definio
1.4, existe um nico C-homomorfismo de lgebras : Cl(Rn C, C ) Cln C. Sendo
injetiva, pois , e dim(Cl(Rn C, C )) = dim(Cln C), segue que um
isomorfismo.
De modo mais geral, sendo V um R-espao vetorial e uma forma quadrtica no
degenerada, com uma demonstrao anloga, obtemos que Cl(V C, C )
= Cl(V, ) C.
Assim identificamos Clp,q Clp,q C Clq,p C e mostramos o terceiro isomorfismo no
teorema de 8-periodicidade de Cartan e Bott:

2.1. As lgebras de Clifford associadas a Rn

29

Teorema 2.8. Para n 0, existe o isomorfismo


Cln+2
= Cln C Cl2 .
Demonstrao: Da proposio anterior e do teorema 2.2 tem-se
Cln+2
= Cln+2 C
= (Cln,0 Cl0,2 ) C
= (Cln C) C (Cl2 C)
= Cln C Cl2 ,
como queramos mostrar.
Exemplo 2.9. Temos que
Cl4
= C(2) C C(2),
j que Cl2
= Cl2 C e, pela proposio 2.4, R(2) C
= C(2), donde Cl1,1
= Cl2
= C(2).
Para encerrar esta seo veremos duas proposies relativas ao elemento de volume
de Clp,q , tambm importantes para a prxima seo. Assim escolhamos uma orientao
em Rp+q e seja (e1 , . . . , ep+q ) qualquer base p,q -ortonormal ({e1 , . . . , ep+q } p,q -ortogonal
com (ei ) = 1, 1 i p e (ej ) = 1, p + 1 j p + q) orientada positiva, isto ,
qualquer base cuja matriz de mudana de base tenha determinante positivo.
Definio 2.10. O elemento de volume em Clp,q associado a qualquer base {e1 , . . . , ep+q }
p,q -ortonormal orientada positiva definido por
= e1 . . . ep+q .
Observemos que essa definio independe da base, pois se {e01 , . . . , e0p+q } outra
P
base, ento e0i =
gij ej para g = (gij ) SOp,q , e como ei ej + ej ei = 0, se i 6= j, e
j

e2i

= 1, segue que e01 . . . e0p+q = det(g)e1 . . . ep+q = e1 . . . ep+q .


E lembremos que o centro de uma K-lgebra A o conjunto definido por
Z(A) := {a A; ab = ba, b A},

onde um elemento a Z(A) dito central, o que nos permite ver a primeira proposio:
Proposio 2.11. Seja n = p + q, ento o elemento de volume em Clp,q tal que
2 = (1)

n(n1)
+q
2

v = (1)n1 v, v Rn .

Em particular, se n impar, central em Clp,q , caso contrrio,


x = (x),

x Clp,q .

2.1. As lgebras de Clifford associadas a Rn


Demonstrao:

30

Escolhendo uma base p,q -ortonormal {e1 , . . . , ep , 1 , . . . , q } e apli-

cando ei ej = ej ei , i j = j i e i ej = ej j , obtemos que


2 = (1)n1 (1)n2 . . . (1)nq 1p (1)q1 . . . (1)qq (1)q = (1)nn(1+2+...+p+q)+q ,
donde segue a primeira igualdade. Analogamente, tm-se a segunda e a terceira, lembrando que uma base de Clp,q so os produtos ei1 . . . eik j1 . . . jl , conforme a proposio
1.13.
Lema 2.12. Se 2 = 1, ento + := 12 (1 + ) e := 21 (1 ) satisfazem as relaes:
+ + = 1,

( + )2 = + ,

( )2 =

e + = + = 0.

Demonstrao: Segue diretamente de 2 = 1 e da definio de + e .


Proposio 2.13. Se 2 = 1 e p + q impar, ento Clp,q pode ser decomposta em
+

Clp,q = Clp,q
Clp,q
,

.
) = Clp,q
:= Clp,q = Clp,q so sublgebras isomorfas e (Clp,q
onde Clp,q

Demonstrao:

J que 2 = 1, pelo lema anterior, temos que para todo x Clp,q ,

+
= {0}, pois de x = + y = z para algum y, z Clp,q ,
Clp,q
+ x + x = x e Clp,q

tem-se 0 = ( )2 z, donde x = 0. Obtendo a decomposio desejada. E como p + q


impar, pela proposio anterior, tem-se central, implicando que tambm o so, e

, j
) = Clp,q
da Clp,q = Clp,q , alm de ( ) = . Consequentemente, (Clp,q

que (x) Clp,q , e sendo um automorfismo, temos o isomorfismo.


Observao 2.14. No caso complexo, Cln , o elemento de volume complexo dado por:
C := i[

n+1
]
2

onde Cln,0 e [ ] significa a parte inteira da frao. Assim quando n par, C =


ik e1 . . . e2k . Se n for impar, como central, C tambm . Tem-se tambm
C2 = 1,

para todo n,

e com isso o lema anterior acontece para o caso complexo, bem como a proposio, se n

impar, com Clp,q


= (1 C )Clp,q ,obtendo a decomposio
+

Clp,q = Clp,q
Clp,q
.

Assim finalizamos essa seo vendo um conceito importante para determinao de


representaes irredutveis, assunto este que trataremos na prxima seo e completa esse
captulo, cujo o objetivo conhecer as representaes das lgebras de Clifford.

2.2. Representaes

2.2

31

Representaes
Lembremos que mencionamos o nome representao na segunda seo do primeiro

captulo, com a representao adjunta torcida, mas sem definir. Isso ocorreu por abordarmos as lgebra de Clifford reais s nesse captulo e serem as representaes dessas lgebras
de interesse para Geometria Spin.
Assim, iniciaremos com uma definio geral e algumas caractersticas, restringindonos em seguida as Cln , para definirmos tais representaes de interesse, as representaes
spinores, ou seja, a representaes reais spin.
Definio 2.15. Sejam V um K-espao vetorial e L um anel de diviso tal que L K.
Uma L-representao n-dimensional de Cl(V, ) um K-homomorfismo de lgebras,
: Cl(V, ) EndL (W ),
de Cl(V, ) na lgebra das transformaes lineares de um L-espao vetorial W de dimenso finita n.
Como L uma lgebra de diviso, definimos um espao vetorial sobre L como um
L-mdulo direita, visto termos noes de independncia linear, base e dimenso neste.
Chamamos o espao vetorial W de Cl(V, )-mdulo sobre L e, frequentemente,
referem-se a (x)(w), x Cl(V, ) e w W , como multiplicao de Clifford, usando
x w := (x)(w) := x (w),
para simplificar a notao. Agora, sob as condies da definio anterior, podemos ver a
noo de irredutibilidade de uma representao.
Definio 2.16. Dizemos que uma L-representao, : Cl(V, ) EndL (W ), redutvel, se o espao W pode ser escrito como uma soma direta no trivial, W = W1 W2 ,
tal que Wi so Cl(V, )-subespaos, isto ,
(x)(Wi ) Wi ,
para i = 1, 2 e x Cl(V, ). E dita irredutvel, se no for redutvel.
Notemos que, como EndL (W )
= EndL (W1 ) EndL (W2 ) ([12], pag. 420-421),
devido a HomL (W1 , W2 ) = HomL (W2 , W1 ) = {0}, por ser redutvel, podemos escrever
= 1 2 ,
onde i (x) = (x)|Wi , para i = 1, 2. Consequentemente, temos a seguinte proposio:

2.2. Representaes

32

Proposio 2.17. Toda L-representao de Cl(V, ) pode ser decomposta em uma


soma direta, = 1 . . . m , de L-representaes irredutveis.
Demonstrao: Se for irredutvel nada a fazer. Se for redutvel, vimos que = 1 2 .
Sendo 1 ou 2 redutvel, obtemos = 1 2 3 , e assim seguimos nesse processo, mas
como a dimenso de W finita, tal processo termina, donde segue o desejado.
Assim para conhec-las, basta trabalharmos com as representaes irredutveis, ou
ainda, com uma representante nas classes de equivalncia dessas, umas vez que podemos
definir uma relao de equivalncia entre as mesmas.
Definio 2.18. Dadas duas L-representaes de Clifford, : Cl(V, ) EndL (W )
e : Cl(V, ) EndL (U ), dizemos que so equivalentes se existe um L-isomorfismo,
F : W U , tal que
F (x) F 1 = (x),

x Cl(V, ),

isto , o seguinte diagrama


W
...
...
...
...
...
...
...
...
...
..
.........
..

........................................................

(x)

U
...
...
...
...
...
...
...
...
...
..
.........
..

(x)

........................................................

comuta para todo x Cl(V, ).


Exemplo 2.19. A representao real : Cl1,1 EndR (R2 ) tal que
(A)(x, y) = (a11 x + a12 y, a21 x + a22 y),
onde A = (aij ) Cl1,1 = R(2) e (x, y) R2 , irredutvel, pois sendo as matrizes lgebras
simples sobre os reais, isto , seus nicos ideais so os triviais ([10], pag. 20), e como R2 ,
um R(2)-mdulo esquerda, a representao natural irredutvel ([10], pag. 30).
Isso nos remete a um resultado mais geral, pois como vimos na seo anterior, as
lgebras de Clifford reais, Clp,q , so lgebras de matrizes da forma L(2m ) ou L(2m )L(2m ),
com L = R, C ou H, como lgebras sobre R.
Teorema 2.20. Considerando L(n), L = R, C ou H, lgebras sobre R, tem-se:
1. A representao natural : R(n) EndR (Rn ), onde (A)(x) = A x, A R(n) e
x Rn , uma R-representao real irredutvel;
2. A representao natural : H(n) EndH (Hn ), onde (A)(x) = A x, A H(n) e
x Hn , uma H-representao real irredutvel;

2.2. Representaes

33

3. A representao natural : C(n) EndC (Cn ), onde (A)(x) = A x ou (A)(x) =


A x, A R(n), A a matriz conjugada de A e x Rn , uma C-representao real
irredutvel.
Alm disso, as representaes naturais i : L(n) L(n) EndL (Ln ), com i = 1, 2, dadas
por
1 (A, B)(x) = (A)(x)

1 (A, B)(x) = (B)(x),

onde A, B L(n) e x Rn , so L-representao reais irredutveis.


Demonstrao: Como L(n) so lgebras simples ([10], pag. 33), qualquer representao
irredutvel de L(n) isomorfa a representao natural de L(n) sobre EndL (Ln ) ([10], pag.
34).
Mesmo se o interesse fosse as L-representaes de Clp,q , L = R, C ou H, poderamos
focar na representaes reais, visto que, um C-espao vetorial um R-espao vetorial W
juntamente com uma aplicao linear J : W W tal que J 2 = id e uma representao
complexa de Clp,q uma representao real, : Clp,q EndR (W ), tal que
(x) J = J (x),

x Clp,q .

Analogamente para as representaes quaterninicas dessas lgebras ([14], pag. 30).


Tambm podemos no restringir as lgebras Cln , pois so as representaes de
Spinn , definidas a seguir, que se fazem importantes na Geometria Spin, quando no so
induzidas das representaes dos grupos SOn .
Definio 2.21. A representao real spin de Spinn o homomorfismo de grupos
n : Spinn GL(W )
dado pela restrio de uma representao real irredutvel : Cln EndR (W ) a Spinn .
Tal definio coerente, uma vez que Spinn Cln e assim (x)1 = (x1 ), para
todo x Spinn . E como
0
Cln
,
= Cln+1

para todo n ([1], proposio 5.4, pag. 12), donde Cln1


= Cln0 , tem-se Spinn Cln1 .
Consequentemente, conhecendo uma representao de Clifford irredutvel, obtemos duas
representaes reais spin, como podemos ver a seguir.
Exemplo 2.22. Observemos que os octnios ou nmeros de Cayley O podem ser definidos
como pares de quatrnios, O = H H, com multiplicao dada por
(a, b)(c, d) = (ac db, da + bc),

2.2. Representaes

34

onde a, b, c, d H e a o conjugado de a. Essa multiplicao no comutativa nem


associativa, mas todo elemento no nulo tem inverso, isto , uma lgebra com diviso.
Alm disso, dado um x = (a, b) O, escrevendo x = (a, b), definimos as parte reais e
imaginrias de x como
1
Re(x) = (x + x)
2

1
Im(x) = (x x)
2

Assim, podemos considerar R7 = Im(O) e R8 = O e definirmos, para todo v R7 , o


R-homomorfismo v : R8 R8 dado por
v (x) = v x,
onde x R8 . Dessa forma, com (x, y) = Re(xy), para a aplicao linear : R7
EndR (R8 ) temos
(v)2 (x) = v v (x) = v 2 x = 7 (v)id(x),

x R8 ,

donde, pela definio 1.4, existe um R-homomorfismo de lgebra


e : Cl7 EndR (R8 ),

ou seja, temos uma representao 8-dimensional de Cl7 . Agora, como


Cl7
= ((Cl1,0 Cl0,2 ) Cl2,0 ) Cl0,2
= (((R R) H) R(2)) H
= R(8) R(8),
e irredutvel.
sabemos, pelo teorema 2.20, que
Portanto,
7 : Spin7 GL(R8 )
a representao real spin 8-dimensional de Spin7 . E j que
Spin8 Cl80
= Cl7 ,
tem-se tambm
8 : Spin8 GL(R8 )
a representao real spin 8-dimensional de Spin8 .
Agora para encerrar, e consequentemente, o captulo, vejamos os seguintes resultados que, com o conceito de elemento de volume, trazem uma condio necessria para
termos representaes irredutveis.
Proposio 2.23. Seja : Cln EndR (W ) qualquer representao irredutvel onde
n 3 = 4m. Ento, ou
() = id ou () = id,
ou podem existir representaes para ambas possibilidades e estas so no equivalente.

2.2. Representaes

35

Demonstrao: Como n 3 = 4m, pela proposio 2.11, temos que 2 = 1, e obtemos


()2 = ( 2 ) = id. Assim as relaes do lema 2.12, na seo anterior, so satisfeitas para
= 21 (id ()) permitindo decompor W = W + W , onde W = 21 (id ())W .
Observando que n impar, tem-se central, e com isso segue que
1
1
1
1
(x)(w ) = x (w ()(w)) = x (w w) = x (w w) = x w(1 ) =
2
2
2
2
1
1
((x)(w) (x)(w)) = (id ())((x)(w)),
2
2
x Cln , w W e algum w W , donde temos que W Cln -subespao. E j que
irredutvel, conclumos que ou W + = W ou W = W , demonstrando que uma ou outra
das afirmaes acontecem.
Para ver que ambas podem existir tomamos Cln agindo Cln , por meio das representaes
naturais : Cln EndR (Cln , Cln ), onde
(x)(w) := x w,
com x Cln , w = w Cln para algum w Cln .
Restando mostrar a no equivalncia, que se F : W W 0 for qualquer isomorfismo, e
sendo () = id, F () F 1 = (x), mostrando o desejado.
Proposio 2.24. Seja : Cln,0 EndR (W ) qualquer representao irredutvel onde
n 1 = 4m. Ento, ou
() = id ou () = id,
ou podem existir representaes para ambas possibilidades e estas so no equivalente.
Demonstrao:

Anloga a anterior, uma vez que n 1 = 4m, pela proposio 2.11,

temos que 2 = 1 e obtemos ()2 = ( 2 ) = id.


Enfim, intencionamos nesses dois captulos, proporcionar um contato com conceitos
das lgebras de Clifford necessrios a uma compreenso da definio de variedade spin.
Completando tal inteno o prximo captulo traz que os grupos P inp,q e Spinp,q so
grupos de Lie e recobrimento duplo de Op,q e SOp,q , respectivamente.

Captulo 3
P inn e Spinn: grupos de Lie e
recobrimentos duplos
Como j declaramos, um questionamento do leitor diante da definio de variedade
spin seria se os grupos spinn so realmente grupos de Lie, considerando que o pblico
alvo de nosso trabalho tenha conhecimento da teoria das variedades, ou tenha consultado
o apndice B. E outro seria o conceito de recobrimento duplo.
Assim, veremos que tais grupos so grupos de Lie e, em seguida, que so recobrimentos duplos. Concluindo o captulo com uma observao acerca de levantamento de
representaes, visto que o levantamento da estrutura de grupo SOn do fibrado tangente
de uma variedade riemanniana orientada para o recobrimento Spinn , como j citamos, que
gera novas construes sobre tais variedades, sem existir diferenas topolgicas essenciais
na estrutura spin destes ([14], pag. 5).

3.1

Os grupos de Lie nas lgebras de Clifford Reais


Iniciemos lembrando que um grupo de Lie, G, um grupo com uma estrutura de

variedade diferencivel, tal que as operaes


(g, h) = gh

(g) = g 1 ,

para g, h G, so diferenciveis.
Exemplo 3.1. O grupo GL(Rn ) um grupo de Lie, pois este uma variedade diferencivel
(ver apndice), a operao , dita multiplicao, e , dita inversa, so diferenciveis, uma
vez que uma aplicao polinomial nas coordenadas e g 1 = adj(g)/ det g, onde adj(g)
a transposta da matiz dos cofatores da matriz associada a transformao linear g, com
as coordenadas de fraes polinomiais nas coordenadas de g e det g 6= 0.

36

3.1. Os grupos de Lie nas lgebras de Clifford Reais

37

Com isso, para vermos que os grupos P inn e Spinn so grupo de Lie, precisamos
tambm do conceito de subgrupo de Lie, como segue:
Definio 3.2. Dizemos que H um subgrupo de Lie de um grupo de Lie G, se existe
um grupo de Lie H 0 e uma imerso injetiva, : H 0 G, tal que H = Im e : H 0 H
um difeomorfismo.
Alm do corolrio do seguinte resultado, cujas demonstraes omitimos por se
tratar de teoria de grupos de Lie.
Teorema 3.3. Seja G um grupo de Lie e H G um subgrupo. Ento H um subgrupo
de Lie regular se, e somente se, H fechado, onde regular significa que a topologia de H
a topologia relativa.
Corolrio 3.4. Todo subgrupo fechado de um grupo de Lie, um grupo de Lie com relao
a topologia relativa.
Assim veremos que Spinn um subgrupo fechado em P inn , que por sua vez um
subgrupo fechado em n , que tambm um subgrupo fechado em Cln , e por fim este
um grupo de Lie, porque um aberto em Cln .
Iniciemos observando que Clp,q tem estrutura topolgica e diferencivel. Com
efeito, da proposio 1.13, sabemos que Clp,q tem dimenso 2p+q . Da, se {e1 , . . . , e2p+q }
p+q

uma base de Clp,q como espao vetorial, temos o isomorfismo J : R2

Clp,q dado por

J(1 , . . . , 2p+q ) = 1 e1 + . . . + 2p+q e2p+q .


p+q

Assim Clp,q um espao topolgico como espao vetorial isomorfo ao R2


2p+q

vez que sendo R

, uma

um espao mtrico completo, podemos definir uma norma em Clp,q

fixando
kJ(x)k := kxk,
onde k k a norma euclidiana, que mesmo dependendo da escolha da base, temos a
mesma topologia, j que quaisquer duas normas so equivalentes. Alm disso Clp,q herda
p+q

a estrutura diferencivel de R2

Da, definindo x (y) = xy, para x, y Clp,q , segue que a funo f : Clp,q Clp,q ,
dada por
x 7 det(x )
contnua, sendo polinomial em Clp,q .

Consequentemente, como para cada x Clp,q


obtm-se x invertvel, e dessa forma

f (x) 6= 0, conclumos que Clp,q


aberto em Clp,q . Logo, tem a estrutura topolgica e

diferencivel de Clp,q (ver [20], pag. 54), obtida com o isomorfismo J. E portanto, o grupo

das unidade de Clifford Clp,q


um grupo de Lie.

Em particular, Cln um grupo de Lie e vejamos que n fechado em Cln .

3.1. Os grupos de Lie nas lgebras de Clifford Reais

38

Proposio 3.5. O grupo Clifford n fechado em Cln .


Demonstrao:

Iniciemos observemos que o homomorfismo : Cln GL(Cln )

definido por x 7 x (y) := (x)yx1 contnuo, visto que x um isomorfismo linear,


para cada x Cln , pois x 1 = x1 , e polinomial em Cln . Ento a ao associada
: Cln Cln Cln , (x, y) = x (y), tambm contnua. E j que Rn Cln e Rn
um R-subespao vetorial, fechado e o estabilizador de Rn por Cln , RnCln := {x
Cln ; x (Rn ) = Rn }, fechado em Cln ([2], pag. 38). Portanto, pela definio 1.17, n
fechado em Cln , como queramos mostrar.
Portanto, pelo corolrio 3.4, o grupo Clifford n um grupo de Lie. E dessa forma,
a aplicao norma restrita a este, N : n Rn , um homomorfismo de grupos contnuo,
conforme o corolrio 1.22 e, em (2.1), termos N (x) = kxk2 .
Da, da definio 2.1, segue que P inn fechado em n , e consequentemente,
tambm um grupo de Lie. Com isso temos que o automorfismo cannico restrito a P inn ,
: P inn P inn , contnuo. E como Spinn = (P inn Cln0 ), obtemos que este fechado
em P inn , com a topologia relativa. Logo, Spinn um grupo de Lie.
Observao 3.6. Poderamos trabalhar de uma outra forma, destacando uma linha de
interseo entre lgebra e Anlise, e com isso ressaltar a abrangncia do uso das lgebras
de Clifford nas diversas reas da Matemtica.
O caminho seria ver que podemos definir um produto interno na lgebra de Clifford
real, j que em dimenso finita esta isomorfa a lgebra exterior de Rp+q , e assim observar
que, com norma induzida pelo produto interno, ser uma lgebra de Banach unitria real
(ver [18], pag. 13-14), isto , (Clp,q , k k) um espao vetorial normado onde toda sequncia
de Cauchy convergente e tal que
kxyk kxkkyk e k1Cl(V,) k = 1,
para todo x, y Clp,q .
Sabermos tambm que em uma lgebra de Banach o grupo das unidades um
aberto na lgebra e as operaes, (x, y) 7 xy e x 7 x1 , so contnuas ([6], pag. 3 e pag.

8). Alm de, por um clculo, mostrar que tais operaes so diferenciveis, donde Clp,q

ser um grupo de Lie.


Finalizando a seo com a inteno de ter instigado um sentimento de termos uma
vasta gama de conhecimentos envoltos as lgebras de Clifford.

3.2. Os recobrimentos duplos nas lgebras de Clifford Reais

3.2

39

Os recobrimentos duplos nas lgebras de Clifford


Reais
Considerando os conceitos apresentados nos apndice A, mostraremos que P inp,q

e Spinp,q so recobrimentos duplos, e em particular, P inn e Spinn so. Assim, lembremos


o que uma ao de um grupo em um espao topolgico, pois o caminho que seguiremos
mostra tais recobrimentos como resultante da ao do grupo Z2 .
Definio 3.7. Uma ao de um grupo G em um espao topolgico Y , esquerda,
uma aplicao G Y Y , dada por (g, y) 7 gy, satisfazendo:
i) Para todo g, h G e y Y , (gh)y = g(hy);
ii) Para todo y Y e e G a unidade em G, ey = y;
iii) Para todo g G, a aplicao y 7 gy um homeomorfismo de Y .
Com tal ao podemos definir uma relao de equivalncia em Y , onde para x, y
Y , x y se, e somente se, y = gx, para algum g G. Assim podemos obter o conjunto
Y /G das classe de equivalncia Gx = {gx; g G} de qualquer x Y , que chamamos de
orbita de x, e a aplicao projeo
p : Y Y /G
y 7 Gy.
Dotando-o com a topologia quociente, isto , um subconjunto U em Y /G aberto, se
p1 (U ) for aberto em Y , temos o espao quociente Y /G.
Alm disso, dado um subconjunto V de Y e qualquer g G definimos o conjunto
gV = {gy; y V } e dizemos que G age uniformemente em Y , se para todo y Y , existe
um subconjunto aberto V , y V , tal que gV hV = , para quaisquer dois elementos
distintos g, h G. Assim temos o seguinte resultado fundamental para o que desejamos
mostrar:
Proposio 3.8. Se G age uniformemente no espao Y , ento a aplicao projeo p :
Y Y /G uma aplicao de recobrimento.
Demonstrao:

Como p sobrejetiva, por construo, e contnua, pela definio da

topologia quociente, resta-nos mostrar que para cada ponto x = p(y) em Y /G existe uma
vizinhana distinguida.
Para isso observemos que p uma aplicao aberta, uma vez que, se V um aberto em
S
Y temos que p(V ) aberto em Y /G, pois p1 (p(V )) = gV e gV aberto. Este ltimo,

3.2. Os recobrimentos duplos nas lgebras de Clifford Reais

40

pelo fato de y 7 gy um homeomorfismo, conforme a definio 3.7, e o anterior, se y


p1 (p(V )), ento p(y) = p(v), para algum v V , implicando que Gy = Gv hy = gv,
S
S
para algum h, g G, donde y gV , e para incluso inversa se y gV , tem-se y = gv,
para algum g G, o que implica p(y) = p(gv) = Ggv = Gv = p(v) y p1 (p(V )).
Assim, como G age uniformemente em Y , tomamos um aberto V , y V , e existe uma
aberto U = p(V ), para todo x Y /G. E como gV hV = , para g 6= h G, tem-se
F
p1 (U ) = p1 (p(V )) = gV .
E para concluirmos, temos que p|gV : gV p(V ) bijetiva, pelo fato de y gy, implicando que p(gy) = p(y), e Ggy1 = Ggy2 hgy1 = gy2 , para algum h G, donde
gV = ghV , que sendo a ao uniforme, h = e. Portanto, como p aberta, um homeomorfismo.
Enfim, podemos apresentar P inp,q e Spinp,q como recobrimentos no triviais, exceto
quando p = q = 1, e duplos, pois SOp,q tem duas componentes conexas ([14], pag. 20), e
(|Spinp,q )1 (id) = Z2 , j que
ker(|Spinp,q ) = ker Spinp,q = R 1 Spinp,q = {1, 1},
e Op,q = SOp,q T SOp,q , com T Op,q \SOp,q ([10], pag.72).
Proposio 3.9. Os grupos P inp,q e Spinp,q so recobrimentos duplos de Op,q e SOp,q ,
respectivamente, para p, q 0. Alm disso, so no triviais se (p, q) 6= (1, 1).
Demonstrao:

Observando que, como |P inp,q um homomorfismo sobrejetivo, con-

forme o teorema 1.28, e Z2 seu ncleo, Op,q P inp,q /Z2 , onde P inp,q /Z2 representa o
grupo quociente dado pela relao: x y y 1 x Z2 , x, y P inp,q .
Agora, se tomarmos a ao natural de Z2 em P inp,q , Z2 P inp,q P inp,q , dada por
(1, x) 7 x e (1, x) 7 x, temos a aplicao projeo : P inp,q P inp,q /Z2 , onde
P inp,q /Z2 o espao topolgico das orbitas dadas pela relao: x y y = x ou y = x,
para x, y P inp,q .
Assim, como as relaes determinam a mesma estrutura algbrica. uma aplicao
projeo e obtemos que Op,q homeomorfo a P inp,q /Z2 , visto a definio de topologia
quociente em Op,q .
Ento, mostrando que Z2 age uniformemente, segue da proposio anterior, que P inp,q
um recobrimento de Op,q . Se isso no acontecesse existiria y P inp,q e um aberto
V , y V , tal que 1V (1)V 6= , donde teramos y 0 = y e y 0 = y, implicando
y = 0 N (y) = 0 y
/ P inp,q , o que absurdo. Logo temos que Z2 age uniformemente
em P inp,q , como queramos mostrar.
Para vermos que os recobrimentos so no triviais para (p, q) 6= (1, 1), suficiente mostrarmos que 1 e 1 so ligados por um caminho em P inp,q . Isso porqu, do contrrio, se

3.2. Os recobrimentos duplos nas lgebras de Clifford Reais

P inp,q =

41

V , com V homeomorfo a Op,q , 1 e 1 no podem pertencer ao mesmo V ,

visto que (1) = (1) = id, donde estariam em componentes conexas disjuntas.
Dessa forma, como (p, q) 6= (1, 1), podemos encontrar dois vetores ortogonais tais que
p,q (e1 ) = p,q (e2 ) = 1, e definirmos : [0, ] P inp,q dada por (t) = cos(2t)1 +
sen (2t)e1 e2 , que um caminho em P inp,q , como podemos mostrar por meio de um clculo, sabendo que (t)1 = (t) = cos(2t)1 sen (2t)e1 e2 . Analogamente, obtemos que
Spinp,q um recobrimento de SOp,q .
Corolrio 3.10. Os grupos P inn e Spinn so subgrupos compactos.
Demonstrao:

Observemos que Cln Hausdorff (ver apndice), pois um espao

topolgico isomorfo ao Rn como espao vetorial, como foi visto aps ao corolrio 3.4.
Assim P inn e Spinn tambm so Hausdorff. E sendo as aplicaes 1 : P inn On
e 2 : Spinn SOn recobrimentos duplos, so homeomorfismos locais tais que 11 (f )
e 1
2 (g) tm dois elementos, para todo f On e g SOn . Consequentemente, so
aplicaes prprias ([15], pag. 121), isto , a imagem inversa de compacto compacta.
Portanto, j que On e SOn so compactos, segue o resultado.
Observao 3.11. A proposio anterior pode ser usado para estudar as relaes entre
as representaes de Spinn e SOn , conforme Garling ([10], pag. 180), usando o seguinte
resultado: suponhamos que G seja um grupo de Lie compacto, cujas representaes so
conhecidas e : G H um homomorfismo sobrejetivo contnuo de G em um grupo de
Lie compacto H, onde K o ncleo. Se for uma representao irredutvel de H, ento
ser uma representao irredutvel de G.
Com isso temos uma correspondncia injetiva entre tais representaes levando K
no operador identidade. E ento, para determinarmos as representaes de Spinn que
no so levantamentos das representaes de SOn escolhemos aquelas que no aplicam
{1, 1} na identidade. Ou seja, aquelas para as quais no temos o seguinte diagrama:
Spinn
.......
......
.....
.....
.....
.
.
.
....
.....
.....
.....
.....
.
.
.
.
.....
.....
.....

fe

...................................................

...
...
...
...
...
...
...
...
...
..
.........
.

.....
.....
.....
.....
.....
.....
.....
.....
.....
.....
.....
.....
.......
........

..................................
GL(W )
SOn .....................

Assim encerramos o presente trabalho destacando, que se intencionou, alm de trabalhar os conceitos algbricos da definio de variedade spin, proporcionar um vislumbre
da afirmao de Lawson ([14], pag. 5, segundo pargrafo) da relao entre as representaes de Spinn e as de SOn , destacando ainda mais a beleza dos enlaces nos quais as
lgebras de Clifford se inserem.

Apndice A
Noes de Topologia Algbrica
Lembraremos alguns conceitos de Topologia Algbrica que so importantes para
segunda seo do terceiro captulo, pois possibilita compreender que os grupos P inp,q e
Spinp,q so recobrimentos duplos, alm de auxiliar a definio de variedade spin.
Definio A.1. Sejam X e Y dois espaos topolgicos. Uma aplicao de recobrimento
uma aplicao p : Y X sobrejetiva contnua em que todo ponto x X tem um aberto
F
U X, com x U , onde p1 (U ) a unio disjunta de abertos em Y , p1 (U ) = V , e

p : V U um homeomorfismo, isto , uma bijeo contnua com inversa contnua.


Dizemos que U , chamado uma vizinhana distinguida, uniformemente coberto
por p, Y um espao de recobrimento de X, e para cada x X, p1 (x) uma fibra
F
sobre x. Se X for uniformemente coberto por p, isto , Y = p1 (X) = V com V

homeomorfo a X, o recobrimento p chamado trivial.

Figura A.1: Recobrimento trivial ([8], pag.153)


Exemplo A.2. p : R S1 dada por
p(y) = (cos 2y, sen 2y),
42

43

uma aplicao de recobrimento no trivial, pois sobrejetiva, contnua com a topologia


induzida pela mtrica e para x S1 e y R com p(y) = x temos Ux = S1 /{x}, aberto,
onde,
p1 (Ux ) = {y 0 R; p(y 0 ) 6= p(y)}
G
=
Vn,x ,
nZ

com Vn,x := (y + n, y + n + 1), uma vez que y 0 = y + n, se, e somente se, p(y 0 ) = p(y).
Alm disso, considerando pUx : Ux (1, 1), dada por pUx (x1 , x2 ) = x1 , temos um
p
homeomorfismo, cujo inverso p1
1 x21 ), o que permite obtermos outro,
Ux (x1 ) = (x1 ,
pUx p : Vn,x (1, 1), definido por y 0 7 cos 2y 0 . E j que
p|Vn,x = p1
Ux (pUx p),
este tambm . Portanto, R um espao de recobrimento de S1 .

Figura A.2: Recobrimento de S1 ([8], pag.154)


Observemos que, no caso anterior, a cardinalidade de p1 ((1, 0)) no finita. Assim
podemos conhecer o que significa dizer um recobrimento ser duplo, por exemplo.
Definio A.3. Quando cada fibra, p1 (x), do espao topolgico X, tem a mesma cardinalidade finita n, chamada nmero de folhas do recobrimento, para todo x X, dizemos
que p um n-recobrimento ou um recobrimento de n folhas.
Quando o espao X conexo, por exemplo, suas aplicaes de recobrimento so
sempre n-recobrimentos, como mostras a proposio seguinte:
Proposio A.4. Se X, as vezes chamado base, de um recobrimento p : Y X conexo,
ento todas as fibras p1 (x), x X, possuem o mesmo nmero de folhas.
Demonstrao: Observemos inicialmente, que para todo x de uma vizinhana distinF
guida U o nmero cardinal da fibra p1 (x) o mesmo, pois como p1 (U ) = V e p|V

um homeomorfismo, cada V tem um nico ponto de p1 (x), do contrrio, esta no

44

seria injetiva. Assim o nmero de folhas para cada x em uma vizinhana distinguida o
nmero de componentes V desta.
Agora, dado qualquer ponto x0 de X, podemos definir o conjunto
A = {x X; a cardinalidade de p1 (x) a mesma de p1 (x0 )}.
Sendo este aberto, pois se x A, pelo que foi observado, U A, temos uma decomposio
de X como uma unio disjunta de abertos, nos quais o nmero de folhas de p1 (x)
constante. Logo, como X conexo, tem-se um aberto nico, e portanto, todas fibras
p1 (x) tem o mesmo nmero de folhas como queramos provar.
Com isso, a prxima definio finaliza o presente apndice, dando o suporte j
mencionado a forma equivalente de se ver o conceito de estrutura spin, como se pode ver
aps a definio B.15.
Definio A.5. Sejam p : Y X uma aplicao de recobrimento e f : Z X uma
aplicao contnua. Um levantamento de f uma aplicao fe : Z Y contnua tal que
o seguinte diagrama comuta:
Y
..........
.....
.....
.....
.
.
.
.
.....
.....
.....
.....
.....
.
.
.
..
.....
.....
.....

...
...
...
...
...
...
...
...
...
..
.........
..

........................................................

fe

Apndice B
Noo de Variedade Spin
Mesmo considerando que o pblico alvo do presente trabalho tenha conhecimentos
a certa da teoria das variedades, apresentaremos aqui alguns conceitos de tal assunto.
Isso por ser uma produo de cunho algbrico, o que fomenta seu manuseio por outros.
E assim possibilitar uma viso explicita da linha na qual se abordou os conceitos acerca
das lgebras de Clifford.
Iniciemos ento relembrando que um espao topolgico um conjunto X juntamente com uma famlia de subconjuntos de X tais que:
i) Se X1 , X2 , ento X1 X2 ;
ii) Se (X )A para todo conjunto de ndice A, ento

X ;

iii) , X .
Os subconjunto de so ditos abertos e uma subfamlia B de uma base da
topologia se, para todo aberto U e todo ponto p U , existir um aberto B B tal
que p B U , sendo esta enumervel, dizemos que o espao topolgico 2-enumervel.
Tambm dizemos que um espao topolgico Hausdorff se, para quaisquer dois
pontos distintos, p1 , p2 X, existem abertos, X1 , X2 tais que p1 X1 , p2 X2 e
X1 X2 = . Alm de chamarmos as aplicaes entre espaos topolgicos cujas imagens
inversas de abertos um aberto de aplicaes contnuas, dizemos que as bijetivas com
inversas contnuas so homeomorfismos.
Agora para as seguintes definies tambm importante recordamos que um espao
topolgico X localmente euclidiano se para todo x X existe um homeomorfismo
: U V , que chamamos de carta, onde U X alguma vizinhana aberta de x, isto
, x U , e V Rn um subconjunto aberto de Rn .
Definio B.1. Uma variedade topolgica de dimenso n um espao topolgico Hausdorff, 2-enumervel e localmente euclidiano.
45

46

Definio B.2. Uma variedade diferencivel de dimenso n uma variedade topolgica


M junto com uma coleo de cartas, { : U V }, chamado atlas, tal que:
S
i) M = U ;
ii) A aplicao de transio, 1
: (U U ) (U U ), diferencivel em
Rn para todo , onde U U 6= .

Figura B.1: Variedade diferencivel


Observemos que qualquer atlas convencionalmente estendido para um nico atlas
maximal contendo o original ([7], pag. 03), e quando este diferencivel, chamado uma
estrutura diferencivel, com as componentes de (p) Rn , p U , ditas coordenadas
locais de p.
Exemplo B.3. O grupo linear geral, GL(Rn ) = {g R(n); g invertvel}, que um
aberto das matrizes n n com entradas reais, R(n) ([19], pag. 2).
Definio B.4. Um atlas orientado, quando todas a aplicaes de transio tm determinante positivo. Uma variedade diferencivel orientvel se possui um atlas orientado.
Definio B.5. Sejam M e M 0 variedades diferenciveis com cartas (U , ) e (U0 , 0 ),
respectivamente. Dizemos que uma aplicao f : M M 0 diferencivel, se todas as
aplicaes 0 f 1
so diferenciveis. Sendo f bijetiva com inversa diferencivel, essa
ser um difeomorfismo.
Para podemos falar em variedades diferenciveis riemanniana precisamos do conceito de espao tangente. Como costume escrever as coordenadas locais do Rn , em um
aberto Rn , como x = (x1 , . . . , xn ), tambm a consideramos como as coordenadas
locais em uma variedade M , isto , (U , ) := (U, x), onde x : U uma carta.
Assim para definimos o espao tangente em uma variedade precisamos definir-lo
antes em um aberto do Rn .

47
Definio B.6. Seja x = (x1 , . . . , xn ) as coordenadas locais do Rn , Rn aberto e
x0 . O espao tangente de no ponto x0 o espao
Tx0 := {x0 } E,
onde E o espao vetorial n-dimensional gerado pela base ( x 1 , . . . , xn ), com

xi

as

derivadas parciais no ponto x0 .


Se f : 0 uma aplicao diferencivel, Rn e 0 Rm so abertos,
definimos a diferencial df (x0 ) para x0 como a aplicao linear induzida
df (x0 ) : Tx0 Tf (x0 ) 0
n
n X
m
j
X
X

i
i f
v

7
v
(x0 ) j ,
i
i
x
x
f
i=1
i=1 j=1
onde,

f j

so as derivadas parciais no ponto f (x0 ).

Definio B.7. Sejam M uma variedade diferencivel e p M . Consideremos o conjunto


A := {(x, v); x : U uma carta com p U, v Tx(p) } e a relao de equivalncia:
(x, v) (y, w) w = d(y x1 )v. O espao tangente para M no ponto p o espao das
classes de equivalncia de A, ou seja, em notao Tp M := A/ .
Podemos ver que Tp M tem estrutura de espao vetorial e se F : M N uma
aplicao diferencivel entre variedades diferenciveis, a diferencial dF : Tp M TF (p) N ,
em coordenadas locais, x : U M Rm e y : V N Rn , dada por d(y F x1 ).
E assim temos as seguintes definies:
Definio B.8. Uma aplicao diferencivel F : M N chamada uma imerso, se
para qualquer p M a diferencial dF injetiva.
Definio B.9. Uma mtrica riemanniana na variedade diferencivel M dada por um
produto interno em cada espao tangente Tp M que depende diferenciavelmente no ponto
base p. Uma variedade riemanniana uma variedade diferencivel equipada com uma
mtrica riemanniana.
Um resultado importante, cuja demonstrao pode ser vista em Do Carmo ([7],
pag. 47) e Jost ([13], pag.14), mostra que toda variedade diferencivel pode ser equipada
com uma mtrica riemanniana.
Definio B.10. O fibrado tangente da variedade M uma tripla (T M, , M ), onde:
T M , chamado espao total do fibrado tangente, a unio disjunta dos espao tangentes,
Tp M , p M ; : T M M com (w) = p para w Tp M a projeo no ponto

48
base; E se x : U Rm , y : V Rm so cartas para M , dx : T U T x(U ) definida
F
por w 7 dx((w))(w) Tx((w)) x(U ), onde T U :=
Tp M e T x(U ) tem estrutura
pU

diferencivel de x(U ) Rm , ento as aplicaes transio dy dx1 = d(y x1 ) so


diferenciveis.
Observando que o fibrado tangente um exemplo de fibrado vetorial, passemos a
definio deste, que pode ser considerado como uma famlia de espaos vetoriais parametrizados por uma variedade.
Definio B.11. Um fibrado vetorial diferencivel de posto n uma tripla (E, , M ) onde
E, dita espao total, e M , dita base, so variedades diferenciveis, a projeo : E M
diferencivel, cada fibra Ex := 1 (x), x M tem estrutura de espao vetorial ndimensional e para cada x M , existe uma vizinhana U M , e um difeomorfismo
: 1 (U ) U Rn , chamado trivializao local, tal que para todo y U , y := |Ey :
Ey {y} Rn um isomorfismo. O par (U, ) chamado carta fibrado.
Quando (U )A uma cobertura aberta de M , cujos fibrados so triviais, isto
, isomorfos a M Rm , com trivializaes correspondentes : 1 (U ) U Rm , e
U U 6= , obtemos a aplicao transio
: U U GL(Rm )
m
dada por 1
(x, v) = (x, (x)v), para x U U , v R . E notemos que um

fibrado vetorial pode ser construdo de suas aplicaes transio.


Definio B.12. Um fibrado vetorial (E, , M ) orientado, se existir uma orientao
continuamente definida nas fibras Ex , x M .
Definio B.13. Uma estrutura riemanniana em um fibrado vetorial (E, , M ) uma
famlia de produto interno positivo definido continuamente definido nas fibras Ex , x
M . Um fibrado vetorial riemanniano um fibrado vetorial equipado com uma estrutura
riemanniana.
Observemos que todo fibrado pode ser equipado como uma estrutura riemanniana.
E para podemos passarmos a noo de variedade spin, resta-nos o seguinte conceito:
Definio B.14. Um G-fibrado principal uma tripla (PG (M ), , M ) juntamente com
um grupo de Lie G, onde o espao total do fibrado PG (M ) e a base M so variedades
diferenciveis, a projeo : PG (M ) M diferencivel, com a ao de G em PG (M ),
(p, g) 7 pg, (p, g) G PG (M ) e pg PG (M ), satisfazendo:
(i) G age livremente em PG (M ), isto , pg 6= p para g 6= e.

49

(ii) M o quociente de PG (M ) pela relao de equivalncia definida pela ao de G,


onde p q g G; p = qg, aplica p PG (M ) na sua classe de equivalncia, e
a fibra 1 (x) pode ser identificado com G.
(iii) Para cada x M , existe uma vizinhana U e um difeomorfismo : 1 (U ) U G,
dito trivializao local, dado por (p) = ((p), (p)), que G-invariante, ou seja,
(pg) = ((p), (p)g), para todo g G.
E, da mesma forma que em um fibrado vetorial qualquer, como destacamos aps
a definio B.11, temos a aplicao transio de PG (M )
: U U G
dada por 1
(x, g) = (x, (x)g), para x U U , g G. As quais, quando todas
tomam valores em um subgrupo H de G, este dito grupo estrutura do fibrado PG (M ).
Enfim, seja E um fibrado vetorial riemanniano n-dimensional orientado sobre uma
variedade M , PSO (E) seu SOn -fibrado principal, uma vez que E ser orientado equivalente a escolhermos um tal fibrado ([14], pag. 80), e, para n 3, 0 : Spinn SOn o
homomorfismo de recobrimento de SOn , cujo ncleo {1, 1}
= Z2 .
Definio B.15. Uma estrutura spin em E um Spinn -fibrado principal PSpin (E) juntamente como um recobrimento duplo
: PSpin (E) PSO (E)
tal que (pg) = (p)0 (g), para todo p PSpin (E) e g Spinn .
Considerando as aes de Spinn e SOn , vemos que isso o mesmo que seguinte
diagrama
PSpin (E) Spinn ............................................... PSpin (E)
...
...
...
...
...
...
...
...
...
..
.........
..

...
...
...
...
...
...
...
...
...
..
.........
..

PSO (E) SOn ........................................................... PSO (E)


comutar.
E a existncia de uma tal estrutura, j que pode ser construda de suas aplicaes
transio, equivale a podemos levantar cada funo de transio de PSO (E), ou seja,
Spinn

.
.........
....... .
.......
.......
.......
.
.
.
.
.
.
..
.......
.......
.......
.......
.......
.
.
.
.
.
.
..
.......
.......
.......
.......

...
...
...
...
...
...
...
...
...
..
.........
.

..................................................
M U U ........................
SOn

50

comuta e

e
e =
e .
Quando n = 2, anlogo, Spin2 substitudo por SO2 e 0 : SO2 SO2
seu recobrimento duplo. E se n = 1, PSO (E)
= M e a estrutura spin definida pelo
recobrimento duplo de M ([14], pag. 80).
Com isso podemos apresentar a definio de variedade spin, fato inicial da discutio da noo de uma estrutura spin nas variedades diferenciveis.
Definio B.16. Seja M uma variedade riemanniana orientada. Dizemos que M uma
variedade spin, quando tem uma estrutura spin em seu fibrado tangente T M .
Assim, finalizamos o presente apndice com o intuito de ter dado condies para
compreenso da definio de variedade spin, servindo no s para lembrar tais conceitos,
aos que so familiarizados com os mesmos, como tambm para conhece-los, aos quais estes
no so cotidianos.

Referncias Bibliogrficas
[1] Atiyah M. F., Bott R. e Shapiro, A. Clifford modules. Topology, 3, Suppl. 1:3-38,
1964.
[2] Baker, A. Matrix Groups: an introduction to Lie Group Theory. Springer-Verlag:
London, 2002. 330p.
[3] Bourbaki, N. Algbre, Chapitre 9. Elments de mathmatiques. Springer-Verlag: New
York, 2007. 211p.
[4] Bourbaki, N. lments dhistoire Des Mathmatiques. Springer-Verlag: Berlin, 2007.
376p.
[5] Brocker, T. e Dieck, T. T. Representations of Compact Lie Groups. Springer-Verlag:
New York, 1985. 313p.
[6] Dales, H. G. et al. Introduction to Banach algebras, operators, and Harmonic Analysis. Cambridge University Press: New York, 2003. 324p.
[7] Do Carmo, Manfredo P. Geometria Riemanniana. 5a Ed. Rio de Janeiro: IMPA,
2011. 336p.
[8] Fulton, W. Algebraic Topology: A First Course. Springer-Verlag: New York, 1995.
430p.
[9] Gallier, J. Clifford Algebras, Clifford Groups, and a Generalization of the Quaternions: the
Pin and Spin Groups . [2002]. Disponvel em <http://carlossicoli.free.fr/G/>. Acessado

em 26 de junho de 2013, s 16h38min.


[10] Garling, D. J. H. Clifford Algebras: An Introduction. Cambridge University Press:
New York, 2011. 200p.
[11] Greub, W. Multilinear Algebra. 2a Ed. Springer-Verlag: New York, 1978. 294p.
[12] Grillet, P. A. Abstract Algebra. 2a Ed. Springer-Science: New York, 2007. 669p.

51

Referncias Bibliogrficas

52

[13] Jost, J. Riemannian Geometry and Geometric Analysis. 5a Ed. Springer-Verlag:


Berlin, 2008. 583p.
[14] Lawson, H. B. e Michelsonh, M. L. Spin Geometry. Princeton Uiversity Press: New
Jersey, 1989. 427p.
[15] Lima, E. L. Grupo fundamental e espaos de recobrimento. 4a Ed. Rio de Janeiro:
IMPA, 2012. 210p.
[16] Lounesto, P. Clifford Algebras and Spinors. 2a Ed. University Press: Cambridge,
2001. 338p.
[17] Porteous, I. R. Clifford Algebras and the Classical Groups. Cambridge University
Press: New York, 1995. 295p.
[18] Rot, T. A Note on Clifford Algebras in Gravitational Physics. [2009]. Disponvel em
<https://testweb.science.uu.nl/ITF/Teaching/Thesis2009.htm>. Acessado em 31 de
maio de 2013, s 15h00min.
[19] Sepanski, M. R. Compact Lie Groups. Springer-Science: New York, 2007. 198p.
[20] Varadarajan, V. S. Lie groups, Lie algebras, and their representations. SpringerVerlag: New York, 1984. 430p.