Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Joo Pessoa-PB
2013
por
Mnica Paula de Sousa
sob orientao do
Prof. Dr. Napolen Caro Tuesta
Joo Pessoa-PB
Agosto de 2013
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.
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.1
lgebras de Clifford . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2
Os grupos Spinores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
24
2.1
2.2
Representaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
35
3.1
3.2
41
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.
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
T (V )
.................................................
.....
.....
...
.....
..
.....
.....
...
.....
..
.....
.....
.....
...
.....
..
.....
.....
...
.....
.
.....
...... ........
........ .
A
comutar.
Mostrando sua existncia vemos que esta construda como uma soma direta,
M
T (V ) :=
V n ,
n0
vi V ni , ni N, ni 6= nj , se i 6= j.
1.1
lgebras de Clifford
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 .
.........................................................................
........................
................
................
.......
.................................................
................................
.....
.....
....
.....
.....
.....
.....
....
.....
.....
.....
.....
...
.....
.....
.
.
.
.
.
.....
....
....
.....
.....
.....
...
.....
.....
.....
...
.....
.....
.
.
.
.....
.
.
..
....
.....
...... ......... ..........
........ . ........
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, ).
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.
10
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,
11
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)
12
(i (v)) = i (v),
v V.
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.
donde,
(x) =
vi V
mod 2
(V, ),
13
(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:
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
14
........................................................
V1
1
.....................................................................
Cl(V1 , 1 )
15
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(v) = v
T (V )/I
Portanto,
.
...........
......... .
........
.........
........
.
.
.
.
.
.
.
.
..
.........
........
........
.........
.........
.
.
.
.
.
.
.
..
.........
.........
.........
.........
t = J .
16
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.
17
v V.
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.
18
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, ).
19
(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)
e1 a1 + e21 a0 = e1 a1 e21 a0
a0 = 0.
v = t(x)(x)vx1 t((x))1
v = ( t(x)x)v( t(x)x)1 ,
20
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, ),
21
...............................................
..
...
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
x = w1 . . . wk , K, 6= 0.
22
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 .
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)}
23
Spin(R, ) Z2 .
wj
,
|(wj )|
24
1
1
w1 . . . w2k+1 (x) = (w1 ) . . . (w2k+1 )
1
(x) = (1)2k+1 w1 . . . w2k+1 = x,
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
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
26
(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)
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 .
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
= [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 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).
28
Cl1,0 = R R,
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
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:
29
e2i
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 .
x Clp,q .
30
( + )2 = + ,
( )2 =
e + = + = 0.
Clp,q = Clp,q
Clp,q
,
.
) = Clp,q
:= Clp,q = Clp,q so sublgebras isomorfas e (Clp,q
onde Clp,q
Demonstrao:
+
= {0}, pois de x = + y = z para algum y, z Clp,q ,
Clp,q
+ x + x = x e Clp,q
, j
) = Clp,q
da Clp,q = Clp,q , alm de ( ) = . Consequentemente, (Clp,q
n+1
]
2
para todo n,
e com isso o lema anterior acontece para o caso complexo, bem como a proposio, se n
Clp,q = Clp,q
Clp,q
.
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
x Cl(V, ),
........................................................
(x)
U
...
...
...
...
...
...
...
...
...
..
.........
..
(x)
........................................................
2.2. Representaes
33
x Clp,q .
2.2. Representaes
34
1
Im(x) = (x x)
2
x R8 ,
2.2. Representaes
35
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
(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
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
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 .
diferencivel de Clp,q (ver [20], pag. 54), obtida com o isomorfismo J. E portanto, o grupo
38
8). Alm de, por um clculo, mostrar que tais operaes so diferenciveis, donde Clp,q
3.2
39
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,
40
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
P inp,q =
41
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:
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
43
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 .
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
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
i
i f
v
7
v
(x0 ) j ,
i
i
x
x
f
i=1
i=1 j=1
onde,
f j
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
49
...
...
...
...
...
...
...
...
...
..
.........
..
.
.........
....... .
.......
.......
.......
.
.
.
.
.
.
..
.......
.......
.......
.......
.......
.
.
.
.
.
.
..
.......
.......
.......
.......
...
...
...
...
...
...
...
...
...
..
.........
.
..................................................
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
51
Referncias Bibliogrficas
52