Alcides de Carvalho Jnior

Ttulo da defesa

CAMPINAS
2015
i

ii

Universidade Estadual de Campinas

Instituto de Matemtica, Estatstica
e Computao Cientfica

Alcides de Carvalho Jnior

Ttulo da defesa
Tese apresentada ao Instituto de Matemtica, Estatstica e Computao Cientfica da Universidade Estadual de Campinas como parte dos requisitos exigidos para a obteno do ttulo de
Doutor em matemtica aplicada.
Orientador: Marcos Benevenuto Jardim
Este exemplar corresponde verso final da
tese defendida pelo aluno Alcides de Carvalho
Jnior, e orientada pelo Prof. Dr. Marcos Benevenuto Jardim.

Assinatura do Orientador

Campinas
2015
iii

FOLHA DE APROVAO
Essa folha adquirida na secretaria de ps-graduao do IMECC. Ela ser entregue assinada
pelos membros da banca. Escaneie, em preto e braco, a folha de aprovao e sobre-escreva o
arquivo folha-de-aprovacao.pdf.

vi

Abstract
This is the abstract. It must be no longer than 500 words. One easy way to get a closer number
of the words is using:
1

$ detex -l abstract . tex | wc -l

The keywords that can be used are listed in Base Acervus.
Keywords: keyword01, keyword02, keyword03.

Resumo
Esse o resumo. Ele no deve conter mais de 500 palavras. Uma maneira fcil de obter uma
boa aproximao do nmero de palavras do seu resumo :
1

$ detex -l resumo . tex | wc -l

As palavras chaves permitidas podem ser consultadas na Base Acervus, buscando pelo campo
Assunto.
Palavras-chave: palavra01, palavra02, palavra03.

vii

viii

Sumrio
Dedicatria

xi

Agradecimentos
1 Fibrados
1.1 Definies e Exemplos .
1.2 Funes de Transio . .
1.3 Sees . . . . . . . . . .
1.4 Um - fibrado principal
1.5 As funes de transio .
1.6 Fibrado Associado . . .

xiii
.
.
.
.
.
.

1
2
4
7
12
16
18

.
.
.
.
.

21
21
21
26
41
41

3 Conexo e Curvatura
3.1 Conexes sobre fibrados vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2 Conexo sobre Fibrados Principais . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.3 Conexo no Spin fibrado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

43
43
46
49

4 Ttulo 4

51

Referncias

52

Glossrio

53

A Variedades diferenciveis

55

B Grupos de Lie

57

C Estilos do biblatex

59

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

2 lgebras de Clifford
2.1 Introduo . . . . . . . . . . . . . . . . . . .
2.1.1 lgebras, Mdulos e Representaes
2.2 lgebra de Clifford, Definio e Exemplos .
2.3 Spin-Fibrados e Fibrados de Clifford . . . .
2.3.1 O operador de Dirac . . . . . . . . .

ix

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

Aos meus . . . .
Para . . . .

xi

xii

Agradecimentos
Aqui deve-se agradecer quem merece agradecimento
Se recebeu bolsa de algum rgo de fomento, no esquea de agradec-lo.

xiii

xiv

Lista de Ilustraes
1.1
1.2
1.3

Ideia pictrica de um Fibrado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

Ilustrao do comportamento das sees . . . . . . . . . . . . . . . . . . . . . . . . 8
faixa de mbius como fibrado no trivial sobre S1 . . . . . . . . . . . . . . . . . . . 10

2.1

Uma ilustrao de . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34

3.1

Espao Vertical e Horizontal. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47

xv

xvi

Lista de Tabelas

xvii

xviii

Lista de Abreviaturas e Siglas

FIXME Indica que algo deve ser consertado.
TODO Indica que algo deve ser feito.

xix

xx

Lista de Smbolos
Representa um diamante.
C Representa um deslocamento para a esquerda.
B Representa um deslocamento para a direita.

xxi

xxii

Lista de Algoritmos

xxiii

xxiv

Lista de Cdigos

xxv

xxvi

Captulo 1
Fibrados

Teoria de fibrados interresante por si s, com aplicaes em vrias reas da matemtica e fisca, aqui faremos uma breve exposio para obter uma melhor compreenso do trabalho. A grosso
modo, um fibrado sobre uma famlia de espaos ( chamado de fibra) parametrizada por
que localmente um produto do espao de parmetros com um espao . Estamos particularmente interessados em fibrados vetorias e -fibrados principais ( grupo de Lie), mostraremos
como esse objetos si relacionam, mais precisamente: Dado um fibrado vetorial construiremos um
(, R)-fibrado pricipal, chamado fibrado de bases. Reciprocamente, dado um fibrado -fibrados
pricipal construiremos fibrado vetorial chamado fibrado associado.

Figura 1.1: Ideia pictrica de um Fibrado

1

1.1

Definies e Exemplos

Seja variedade diferencivel de dimenso dim = . Um fibrado vetorial complexo (ou real)
de posto sobre uma variedade diferencivel juntamente com uma aplicao diferencivel
: satisfazendo as seguintes condies:
1. sobrejetiva;
2. para cada ponto , = 1 () um espao vetorial sobre o corpo K de dimenso ;
3. para cada ponto , existe uma vizinhaa de e uma aplicao suave : 1 ( )
K tal que o seguinte diagrama comuta:

1 ( )
K
1

e tal que para cada a restrio | : K um isomorfismo. Neste diagrama 1

denota a projeo no primeiro fator.
Aqui K o corpo dos complexos ou reais dependendo se o fibrado vetorial complexo ou real,
respectivamente. O espao vetorial chamado de fibra de sobre , enquanto a aplicao
chamada uma trivializao local de e dito posto do fibrado.
Em outras palavras, um fibrado vetorial real (ou complexo) uma famlia de espaos
vetoriais reais (ou complexo) parametrizada por que localmente um produto do espao de
parmetros com um espao vetorial real (ou complexo). As vezes denotaremos um fibrado vetorial
por = (, , ) ou simplimennte por .
Definio 1.1.1 (Subfibrados). Seja : um fibrado vetorial. Um subfibrado de consiste
em um subconjunto tal que a projeo e as trivializaes locais de do a uma estrutura
de fibrado vetorial. As fibras de , digamos , so subespaos vetoriais das fibras de , .
Exemplo 1.1.2 (Fibrado trivial). Um exemplo simples de fibrado de posto sobre a variedade
produto = K com = 1 : = K sua projeo (e a identidade sua aplicao
de trivializao global). Denoteremos o fibrado trivial sobre por K .
exTM Exemplo 1.1.3 (O fibrado tangente como um fibrado vetorial real). . Seja uma variedade

diferencivel e seu fibrado tangente com sua projeo natural : dado por
() = se

Se{ (, ) uma}carta local de , seja = =

seja
,...,
a base cannica de , defina
1

: ( ) R
2

. Em um ponto ,

por

(1 (), . . . , (), 1 , . . . , ).

Ento = ( , * ) tem inverso dado por:

((), 1 , . . . , . . . , )
e portanto uma bijeo.

Usamos para transferir a topologia de ( ) R para ; Declarando que um conjunto

em aberto se, e somente se, ()

aberto em ( ) R , da por definio , com a

topologia induzida por ,
homeomorfo a ( ) R .
Com a topologia induzida por ,
Hausdorff, segundo contvel e localmente euclideano
para maiores detalhes veja Loring W. Tu. [Tu] pgina 131.
A estrutura de variedade diferencivel em , definido como segue. Dado um atlas {( , )}

suave em , ento {( , )} um atlas para . De fato, claro que = . Falta

checar que sobre , e so compatveis. Relembrando, que dados dois sistemas de
coordenadas (, = (1 , . . . , )) e (, = ( 1 , . . . , )) numa vizinhana de . Temos,
=

donde aplicando em ambos os lados obtemos,

=

( ) =
( ) =

similarmente,
=

Retornando ao atlas { , }, escrevemos := , = (1 , . . . , ) e = ( 1 , . . . , ).

Ento,

1
: ( ) R ( ) R
dado por

( (), 1 , . . . , ) ,

( ()) = (( 1
)( ()), , . . . , ),

onde,
=

( 1

)

( ())

por definio de um atlas, 1

. O que completa a prova de
. Portanto,
que uma variedade, com {( , )} como um atlas. Assim com a estrutura diferencivel
construda acima um fibrado vetorial real de posto sobre .

Exemplo 1.1.4 (Fibrado tautolgico). Tomemos o fibrado trivial C = P C . Definimos como

fibrado tautolgico o subfibrado de posto 1 de C , e denotamos por (1 ), o seguinte conjunto
(1 ) = {([], ) P C ; existe C tal que = }.
3

1.2

Funes de Transio

Cada fibrado vetorial real define um conjunto de funes de transio. Mais precisamente,
considere o fibrado vetorial real : , e seja { } uma cobertura aberta de tal que
: 1 ( ) R so as trivializaoes locais. Se := = . Ento exise uma
aplicao suave : (, R) tal que 1 : ( ) R ( ) R tem a
forma
1 (, ) = (, ()).
Precisamente, temos o seguinte lemma,
Lema 1.2.1. Seja : um fibrado vetorial sobre , de posto . Supondo que :
1 ( ) R e : 1 ( ) R so duas trivializaes locais de com = .
Ento exise uma aplicao suave : (, R) tal que 1 : ( ) R
( ) R tem a forma
1 (, ) = (, ()).
Demonstrao. Da definio de trivializao segue que o seguinte diagrama comutativo.
( ) R o

1 ( )
(

( ) R

Segue que 1 ( 1 ) = 1 , o que significa 1 (, ) = (, (, )) para alguma aplicao

: ( ) R R . Alm disso, fixado , a aplicao (, ) de R em R
isomorfismo linear, ento existe uma matriz () (, R) tal que (, ) = ().
De posse do lema acima, temos que dada uma cobertura { } aberta de tal que :
( ) R so as trivializaoes locais, existem : (, R) tais que as
composies
1

R 1 ( ) R
tem a forma

1
(, ) = (, ()).

As funs so chamadas de funes de transio de com respeito a cobertura { } .

Observao 1.2.2. Observe que as funes de transio satisfazem as seguintes condioes:
1
1. =
em ;

2. = 1 em ;
4

3. = 1 em .
As condies acima so chamadas de condio de cociclo.
Por outro lado, tendo em conta o conjunto de funes de transio, possvel reconstruir o
fibrado .
ppsFT Proposio 1.2.3. Sejam uma variedade diferencivel, { } uma cobertura aberta de ,

e seja uma coleo de funes diferencivel

: GL(R ) ,
satisfazendo

= 1 , sobre .

Ento existe um fibrado vetorial real de posto com trivializao local

: 1 ( ) R
satisfazendo 1
(, ) = (, ()).
Antes da demonstrao dessa proposio considere o seguinte lema tcnico, cuja demonstrao
pode ser encontrada em [Lee], pgina 253.
Lema 1.2.4. Sejam uma variedade suave, N e, para cada , um espao vetorial
real r-dimensional; sejam tambm = e
: aplicao tal que ( ) = suponha dados:
1. Uma cobertura aberta { } de ;
2. Para cada , uma bijeo : 1 ( ) R cuja restrio a cada um
isomorfismo linear entre e {} R , munido da estrutura cannica de espao vetorial real
-dimensional;
3. Para cada , tais que = , uma aplicao suave : (; R)

tal que a composio 1

de ( ) R para si mesmo tem a forma
( 1
)(, ) = (, ()).
Demonstrao. Defina em = ( R ) a seguinte relao (, ) (, ) se, somente se,

= e () = . Usaremos a notao (, , ) (, , ) apenas para indicar que .

Segue das relaoes de cociclo que uma relao de equivalncia. Com efeito,

(, , ) (, , ), pois = 1.
Se (, , ) (, , ) ento (, , ) (, , ), pois = ( )1 . Agora, se (, , ) (, , )

e (, , ) (, , ) ento (, , ) (, , ) pois se = . Sejam = / o espao

quociente dessa relao e tal que o seguinte diagrama comutativo:

= / .

 z

Sobre R a projeo cannica : = / bijetiva. Ento defina

1
:=
|1 ( ) .

: 1 ( ) R dada por
[(, , )] (, ).
e

: {} R isomorfismo.

(pois observe que = 1 () = { ; () = } = {[, ] ; R }). Por fim, mais no

menos importante, verificamos que, para cada , tais que =
1
( 1
)(, ) = ( (, ))
= ([, , ]) = ([, (), ])
= (, ())

Ento segue do lema que tem uma nica estrutura de variedade suave tal que :
um fibrado vetorial suave de posto tendo as aplicaes como trivializaes locais.
A proposio acima nos ajuda a formar novos fibrados vetoriais aparir de dois fibrados e
sobre o mesmo espao base . Assuma que e so dados por funes de transio GL(R )
e GL(R ), respectivamente. Ento podemos definir os fibrados:
o fibrado dado pelas funes de transio
=

0
0

GL(R+ ) ;

o fibrado dado pelas funes de transio

= GL(R R ) ;
o fibrado dado pelas funes de transio
= GL( R ) ;
* o fibrado dado pelas funes de transio
= t GL(R ) ;
e assim por diante. fcil ver que ( ) = , ( ) = , etc.
O fibrado das -formas sobre definido como ( ). Um procedimento padro em
algumas disciplinas de matemtica conhecido como pull-back. Agora apresentaremos uma
verso deste em Fibrados Vetoriais.
6

Seja : uma aplicao diferencivel entre variedades e um fibrado de posto sobre .

A aplicao induz sobre um fibrado de posto que representaremos por * . denominado
fibrado pull-back de . Explicitamente temos
* = {(, ) ; () = ()}.
Este o nico subconjunto maximal de tal que o diagrama:

* 2
1

comuta. Seja 1 : * a aplicao 1 (, ) = e : 1 ( ) R trivializao
local para . Por definio de * temos uma bijeo entre () e a fibra 11 () = ( * ) que
induz uma estrutura de espao vetorial, neste ltimo. Pondo = 1 ( ) temos uma bijeo
* : 11 ( ) R
dada por * (, ) = (, 2 ()), onde 2 : R R a projeo no segundo fator. Se d a
* a topologia que faz as funes * homeomorfismo.
Uma aplicao suave entre fibrados vetoriais e uma aplicao suave : tal que
( ) () e | : () linear para cada . Um isomorfismo : de
um fibrado vetorial chamado automorfismos ou transformao de calibre de ; note que o
conjunto das transfomao de calibre de um fibrado vetorial forma um grupo, denotado por ().

1.3

Sees

Uma seo de um fibrado vetorial real : sobre uma aplicao suave

: tal que = 1 , i.e. () . A seo dita global se est definida sobre toda
. O conjunto de todas as sees globais de , denotado por 0 (), um espao vetorial real, e
tem estrutura de um ( )-mdulo, dada por:
( ) 0 () ()
(, ) .
Onde ( )() = ()(). Denotamos 0 ( ; ), ou 0 (| ) o conjunto de todas as sees locais
sobre .
Exemplo 1.3.1. Considere o fibrado trivial de posto 1 sobre ento, 0 (R)
= ( ; R). Com
efeito, dada 0 (R) como 1 = 1 temos que () = (, ()) onde : R, donde
segue o afirmado.
Definio 1.3.2. Um referencial local de um conjunto de sees locais 0 ( ),
1, . . . , , tal que {1 (), . . . , ()} base de para todo .
7

Figura 1.2: Ilustrao do comportamento das sees

Na figura acima, ilustra uma seo que nunca se anula, 0 a seo nula, enquanto uma
seo que se anula em algums pontos.
Exemplo 1.3.3 (A seo nula). Dado um fibrado vetorial real sobre considere a seo
: que a cada associa , onde o vetor nulo, suave. Com efeito,
dada uma trivializao local temos que 1 (, 0) = (), 0 R .
Na figura acima, ilustra uma seo que nunca se anula, 0 a seo nula, enquanto
uma seo que se anula em algums pontos. Observe que quando = o conjunto das sees
0 ( ) = X( ), o conjunto dos campos de vetores de .
pps1 Proposio 1.3.4. Sejam : um fibrado vetorial, aberto. Trivializar equivale

a escolha de um referencial local sobre .

Demonstrao. Dada uma trivializao local : 1 ( ) R , defina () = 1 (, )

onde { }=1 a base cannica de R . { }=1 assim definido um referencial local, de fato
(, ) = ( ()) = (( ()), ( ()) donde = ( ()) e = ( ()) donde segue que so
sees, agora como | isomorfismo, portanto leva base em base, ou seja, {1 (), . . . , ()}
base de para todo . Se um referencial local {1 , . . . , } sobre dado, a trivializao

correspondente : 1 ( ) R dada por () = ( =1 () ()) = (, 1 (), . . . , ()),

onde () so os coeficientes de na base {1 (), . . . , ()}.
Corolrio 1.3.5. Um fibrado vetorial : trivial se e s se existe um referencial global
suave para .
Definio 1.3.6. Uma variedade diferencivel cujo fibrado tangente trivial chamada paralelizvel.
Exemplo 1.3.7. Todo grupo de lie paralelizvel. De fato, seja um grupo de lie, ento a
translao a esquerda um difeomorfismo de em . Seja o elemento neutro de .
8

Ento a diferencial ( ) um isomorfismo entre e , assim, seja {1 , . . . , } base de

e defina : dadas por
() = ( )

1 .

Essas funes dependem suavemente em e tambm () . Ou seja, elas so sees suaves

do fibrado tangente de G. Como tambm ( ) manda bases em bases, { ()}=1 um referencial
global.
Exemplo 1.3.8. S2 no paralelizvel. Com efeito, segue do teorema de Poincar que todo campo
vetorial contnuo em S2 tem pelo menos um zero, logo no existe referencial global em S2 . Em
particular, no existe estrutura de grupo de Lie em S2 .
pps1

Outra aplicao da proposio 1.3.4 que o fibrado tautolgico no trivial.

Proposio 1.3.9. (1 ) sobre R ( 1) no trivial.
Demonstrao. Seja : R (1 ) qualquer seo, e considere a composio R+1 {0}

R (1 ), onde projeo que leva R+1 {0} em [] R , ento () = ([]) =

([], ()) (1 ), : R+1 {0} R contnua pois, o . Como () = (), segue que
() = () ou seja uma funo mpar, de fato, de () = () temos que ([], ()) =
([], ()), i.e., () = (). Se 0 no h o que fazer, se () = 0, pelo teorema do
valor intermedirio existe 0 tal que (0 ) = 0 (R+1 {0}, conexo 1 e contnua e mpar)
e portanto se anula, donde segue que no existe referencial global, ou seja, (1 ) no trivial.

Exemplo 1.3.10. O fibrado tautolgico sobre R 1 1 a faixa de mbius. Seja (11 ) =

{(, ) R 1 R2 ; = , R} podemos escrever = (cos , sin ), [0, ]. Essa representao nica para (0, ). E
((cos 0, sin 0), (cos 0, sin 0) = (cos , sin ), (cos , sin )).
Em outras palavras, (11 ) pode ser obtido da faixa [0, ] R identificando-se {0} R com
{} R via (0, ) (, ).
Assim, (11 ) a faixa de mbius sobre R 1 1 .

cos ) cos
2
2

(, ) = (1 + cos ) sin
2
2

(, ) = sin
2
2

(, ) = (1 +

mobius

Figura 1.3: faixa de mbius como fibrado no trivial sobre S1

Teorema 1.3.11. Sejam , fibrados sobre . Ento, existe o seguinte isomorfismo
0 (Hom(, )) = Hom ( ) (0 (), 0 ( )).
Demonstrao. Por definio, 0 (Hom(, )) o espao das sees suaves de Hom(, ). Dado
0 (Hom(, )) defina o homomorfismo ( )-linear,
: 0 (Hom(, )) Hom(0 (), 0 ( ))

()

por

()()
= , 0 ().

temos que : Hom(, ) e : com Hom(, ) = 1 e = 1 , i.e.,

() e ()
Hom(, ) = Hom( , ), . Ou seja, ( )() = ()()
.
0
Donde ( ).
= 0. Para verificar a injetividade de , mostraremos que
:
Suponha que ()
o homomorfismo nulo para cada , ou seja, seo nula de Hom(, ). Fixe e
. Existe uma seo 0 () com () = . De fato, localmente numa vizinhana de
trivializante podemos sempre obter uma seo local com a propriedade desejada. Agora, seja
: R com Supp( ) e () = 1 e defina := .
= 0 implica ()(
) = 0 para todo , assim
= 0, donde
() = 0
Agora ()
para todo . Logo, () = 0 para todo e todo , portanto o homomorfismo
nulo. Como arbitrrio, a seo nula e portanto injetiva. Quanto a sobrejetividade,
seja Hom(0 (), 0 ( )), defina : por () = ( )() onde 0 () a seo
tal que () = . est bem definido, de fato, se e so sees tais que () = () =
temos ( )() = ( )() ou em outras palavras se () = 0, ()() = 0. Seja {1 , . . . , } um
referencial local numa vizinhana de .
Novamente isto pode ser feito localmente e as sees locais podem ser extendidas a sees
globais como acima. Agora,
() =

() ();

=1

e funes suaves definidas em . Seja ( ) com Supp() e () = 1. Ento

() = ( + (1 )()) = () + (1 )()
10

Label de

em temos ()() = ()() pois () = 1. Mas = ( ) e se extende para funes

suaves definidas em com () = () = 0. Desde ( )-linear

() =

( ) 0 ( )

Mas () = 0 ento ()() = 0.

Proposio 1.3.12. Dado dois fibrados vetoriais , , existe um isomorfismo de ( )mdulos
0 () 0 ( ) 0 ( ) .
Demonstrao. Antes da demonstrao considere o seguinte lema tcnico.
Lema 1.3.13. 0 ()*
= 0 ( * )
0 ()*
= 0 ()* ( )

= 0 ()* 0 (R)

= Hom(0 (), 0 (R))

= 0 (Hom(, R))

= 0 ( * )
= 0 ( * R)
.
Da, a demonstrao da proposio segue,
0 () 0 ( )
= Hom(0 ()* , 0 ( ))

= Hom(0 ( * ), 0 ( ))

= 0 (Hom( * , ))

= 0 ( ))
.

11

1.4

Um - fibrado principal

Antes de introduzir um - fibrado principal faremos uma breve reviso sobre aes de grupos.
Se um grupo e um conjunto, uma ao a direita de sobre uma aplicao

(, )
que satisfaz
1. = para todo , e o elemento neutro de
2. ( ) = ( ) para todos , e .
Suponha agora que um grupo de Lie e uma variedade suave. Uma ao a direita de
sobre dito contnua se a aplicao .
Vamos introduzir algumas terminologias bsicas relacionado aes de grupos:
Para cada , a rbita de pela ao o conjunto
= { ; }
de todas as imagens de pela ao de um elemento de .
A ao transitiva se para cada dois pontos , existe tal que = ou
equivalentemente se a rbita de cada ponto todo .
Dado , o grupo de isotropia de (ou estabilizador) denotado por , o conjunto dos
que fixam :
= { ; = }
A ao dita livre se = {} para cada .
exm1 Exemplo 1.4.1.

1. Se um grupo de Lie e uma variedade, a ao trivial de sobre

definido por = . fcil ver que suave e = .

2. Seja um grupo de Lie e subgrupo de Lie de , ento age sobre pela aplicao
produto

(, )
onde denota o produto do grupo .
Essa ao livre e suave.
Dado uma ao de em , definimos a seguinte relao em , , esto relacionados
se, e s se, existe tal que = , segue da definio de ao que uma relao de
equivalncia. Observe que a classe de justamente a rbita de pela ao de . Definimos
o espao de rbitas / := { ; }.
12

Definio 1.4.2. Sejam e variedades e grupo de Lie agindo a direita em e . Uma

aplicao : dita equivariante com respeito a ao de se para cada ( ) =
() .
Exemplo 1.4.3. Seja umexm1
grupo de Lie e subgrupo de Lie de , vimos que age por
multiplicao em e em 1.4.1. Segue de imediato que a incluso : uma apicao
equivariante.
Voltemos ao que interessa:
Definio 1.4.4. Um - fibrado principal consiste de uma tripla (, , ) onde :
uma aplicao suave entre variedades diferenciveis e uma ao direita contnua,
livre, com respeito a qual invariante e que induz um homeomorfismo entre o espao quociente
/ desta ao e . Alm disso, existe uma cobertura { } de sobre a qual o seguinte
diagrama comutativo:
1 ( )

onde um homeomorfismo equivariante com respeito a ao de .

A variedade chamada espao total do G-fibrado principal, chamada projeo e
chamada base. As aplicaes so chamadas trivializaes locais. Por fim, dito grupo
estrutural do fibrado.
Seguem das definies de G-fibrados as seguintes observaes:
= + .
De fato, em uma trivializao local ( , ) temos : 1 ( ) donde um
isomorfismo ( )* : () g. Donde segue o desejado, onde g lgebra de Lie de G.
submerso. (i.e., sobrejetiva).
Sabemos que 1 uma submerso. Em uma trivializao local temos = 1 2 . Como 2
difeomorfismo, segue o desejado.
1 (()) = , para todo .
Com efeito, dado 1 (()) sejam um aberto trivializante contendo () e uma
trivializao em . Tomando = 1 () () onde = (, ), da,
13

 ( ) = (( ), ( ))
= ((), () )
= ((), ())
= ().
.
Logo, = .
A ao de em livre.
Sejam , e uma trivializao ( , ) numa vizinhaa = (). Se = temos
( ) = ((), () ) e () = ((), ()), donde () = (), o que implica,
= .
Segue da que age livre e transitivamente nas fibras.
Definio 1.4.5. Um isomorfismo de G-fibrados principais com mesma base um difeomorfismo
entre os espaos totais, o qual -equivariante e comuta com as projees.
Seja uma variedade suave. Seja ( ) o espao de referenciais do fibrado tangente. Um
ponto de ( ) consiste de um ponto de e uma base de {1 , . . . , } do espao tangente em
, . Existe uma projeo natural de ( ) para e e uma ao natural de (, R) sobre
( ). Temos que (, R) em ( ) por mudana de base, isto , dado (, R) a ao de
sobre o ponto (, {1 , . . . , }) o ponto (, {1 , . . . , }) onde

=1

A operao acima de fato uma ao a direita. Com efeito,

(, {1 , . . . , })1 = (, {1 , . . . , })
onde

= .

=1

Assim, (, {1 , . . . , })1 = (, {1 , . . . , }). Agora dados , (, R) temos

((, {1 , . . . , })) = (, {1 , . . . , }) = (, {1 , . . . , })
com
=

=1

=1

14

=
=
Donde

=1

=1

=1

=1

.
)

() .

((, {1 , . . . , })) = (, {1 , . . . , }) = (, {1 , . . . , })

claro que a projeo natural invariante por esta ao. Daremos agora estrutura de variedade
em ( ). Dado um sistema de coordenadas loais (, ) de ( = (1 , . . . , )), definimos
: 1 ( ) (, R)
(, 1 , . . . , ) (, )
onde A a matriz de mudana de base, da base cannica {
bijeo com inverso dado por
1 : (, ) (,

} de para a base { } de .

,...,
).

exTM

Assim como no exemlo 1.1.3 usaremos para transferir a topologia de ( ) (, R) para

1
( ); Declarando que um conjunto em 1 ( ) aberto se, e somente se, ()

aberto em
( ) (, R), da por definio 1 ( ), com a topologia induzida por ,
homeomorfo a
( ) (, R) (localmente euclideano).
Com a topologia induzida por ,
( ) Hausdorff, segundo contvel e localmente euclideano.
A estrutura de variedade diferencivel em ( ), definido como segue. Dado um atlas {( , )}

suave em , ento {( 1 ( ), )} um atlas para ( ). De fato, claro que ( ) = 1 .

Falta checar que sobre 1 ( ) 1 ( ), e so compatveis.
exm2 Exemplo 1.4.6. Dar uma seo no fibrado de referenciais equivalente a dar um referencial.

Pullback de G-fibrados
Suponha que : um -fibrado principal e que : uma aplicao suave
entre variedades diferenciveis. Ento podemos construir o -fibrado pullback * o qual
um -fibrado principal sobre . O espao total * o "produto fibrado"do seguinte diagrama:
2

15

Isto significa que * o conjunto dos pares {(, ); () = ()}. E a projeo

dada pela projeo na primeira coordenada. A ao de sobre * induzido da ao de sobre
. Sejam e -fibrados principais sobre e , ento : -equivariante induz uma
: .

Seja , defina () por ( ()) onde pertene a fibra sobre e a projeo de

G-fibrado principal . Afimao est bem definida. De sorte a ao de transitiva nas
fibras, assim dados e 1 1 () exite tal que = 1 logo sendo -equivariante
temos que () = (1 ) donde ( ()) = ( (1 )) = ( (1 )). Em resumo, temos que
uma aplicao : -equivariante entre espao totais de -fibrados principais sobre e
respectivamente induz uma aplicao : entre os espaos bases e um isomorfismo de
fibrados : * como segue

onde g definida por () = ( , (), ()). Lembre que * = {(, ) }; () = ()}.

D definio da segue que ( ()) = ( ()), () = ( , (), ()) * , agora no dificil
ver que o diagrama acima comuta e portanto o isomorfimo de fibrado.
Seja : um fibrado principal. Ento * um -fibrado trivial.
*

De fato, () = (, ) uma seo suave globalmente definida. De sorte que * = {(, )

; () = ()}, donde () * e claramente recobre a identidade.

1.5

As funes de transio

Seja : um G-fibrado e suponha que temos uma cobertura aberta { } e trivializaes locais
: 1 ( ) .
16

Da, temos que

() = ((), ()).

Assim, em = , associamos
: .
Dado por

() = (()) ().

Observao 1.5.1. Como -equivariante : 1 ( ) tambm o .

est bem definida. Para cada := e 1 () temos () = (, ()) e
() = (, ()). Portanto, existe () tal que () = () (). Afirmamos que
constante sobre cada fibra. Com efeito,
( ) = ( ) ( )1
= () ( () )1
= () 1 ()1
= () ()1
= ()
.
Como a ao de transitiva nas fibras o resultado segue. Assim, (()) = () est
bem definida.
Claramente, estas funes de transio satisfazem a condio de cociclo:
() () () = 1

Se outro conjunto de trivializaes sobre resultando : . Ento, existem

aplicaes : tais que

() = (()) ().

As funes de transio d um novo modo de descrever um -fibrado sobre uma base .

Suponha que temos uma cobertura aberta { } e funes
:
satisfazendo as condies de cociclo. Formamos um espao tomando o quociente do espao
.

17

pela relao de equivalncia: que identifica (, ) com (, () ) em para

cada .
Assim como em fibrados vetorias as condies
de cociclo implicam que relao de equivappsFT

lncia (veja a demonstao da proposio 1.2.3). Existe uma projeo = / .

Esta projeo do estrutura de um -fibrado principal.

1.6

Fibrado Associado

Suponha que um principal -fibrado e que temos uma ao a esquerda de sobre

o espao . Ento podemos definir o fibrado associado localmente trivial sobre com fibra tpica
por . Onde, o espao de rbitas da ao a direita de em dada por
((, ), ) (, 1 ). Seja : um -fibrado principal e espao vetorial. Considere
: ( ) uma representao (i.e., um homeomorfismo de grupos). Da, temos que age
em por (, ) = ( , 1 () ). Defina := / o espao de rbitas dado por
essa ao. um fibrado vetorial sobre . O fibrado chamado de fibrado associado,
um caso particular interessante quando consideramos = () = g, (a lgebra de Lie de G)
e : (g) a representao adjunta, i.e., = . O fibrado vetorial associado denotado
por g = chamado fibrado adjunto. Mais precisamente temos: Sejam :
um fibrado principal, e : ( ) uma representao. Dessa forma, existe uma ao
natural direita de em dada por:
(, ) = ( , ( 1 ) ).
Como a ao de em livre, age livremente em . Seja = / = e
defina ([, ]) = (), ou seja, tal que o diagrama

comutativo, onde a projeo cannica de em , intuitivamente, consideramos

o fibrado vetorial trivial sobre e o torcemos segundo para um fibrado vetorial sobre .
est bem definido. De fato, se (, ) [(, )] temos (, ) = (, ) donde = e
= ( 1 ) da, ([, ]) = ( ) = () = ([, ]).
Se = (, ) : 1 ( ) uma trivializao local de , temos = (()) (),
para todo 1 ( ). Com efeito, e (()) esto na mesma fibra, como a ao de
transitiva nas fibras, existe uma aplicao : 1 ( ) tal que () = (()). Aplicando
, ( (())) = ((), () ()). Mas ( (())) = ((), ), pois () = 1
(, ).
1
Assim, () = (()) donde segue a afirmao. Agora, da temos [, ] = [ (() (), ] =
[ (()), ( ()) ].
Ento, defina:
18

 : 1 ( )
[, ] ((), ( ()) )
Como = (()) () e ( ()) = , a aplicao
1
1
: (, ) [ (), ]

a inversa de e assim bijeo.

1 (, ) = ([
(), ])
= (( ()), ( ( ()), ) = (, ).
1 [, ] = 1 ((), ( ()) )
= [ (()), ( ()) ]
= [ (()) (), ]
= [, ].
Dado [, ] 1 ( ) sempre possvel encontrar que aberto de um sistema

de coordenadas locais centradas em () . Assim, pedindo que 1 ( ). Seja um aberto de

, podemos pensar na restrio de a 1 ( ) como um sistema de coordenadas para .

Dessa forma, difeomorfismo, sua restrio a uma fibra induz um isomorfismo linear entre
ela e e suave de modo que = um fibrado vetorial com fibra .

Definio 1.6.1. Uma seo do G-fibrado principal : uma aplicao suave :

tal que ela recobre a identidade de , ou seja, () = . Se est definido num aberto de
dizemos que uma seo local.
Exemplo 1.6.2 (fibrado trivial). Um G-fibrado principal e trivial sobre simplesmente :=
onde age sobre por multiplicao na segunda coordenada e a projeo no primeiro
fator.
Sabemos
que trivializar um fibrado vetorial equivatente a existncia de um referencial global
pps1
(veja exm2
1.3.4), o que por sua vez equivalente a existcia de uma seo global no fibrado de bases
(veja 1.4.6), o que motiva a seguinte proposio.
Proposio 1.6.3. Um -fibrado principal trivial se e s se admite uma seo global.
Demonstrao. De fato, provaremos: que existe uma bijeo entre trivializaes e sees locais.
Dado uma trivializao local ( , ), temos uma seo local : dado por
1
() = 1
(, ). Com efeito, existe um nico ( ) tal que () = (, ). Mas,
() = ((), ()) donde () = , ou seja, () = .
Reciprocamente, considere 0 ( ) e 1 ( ). Como 1 (()) = existe um nico
() tal que = (()) (). Defina : 1 ( ) por () = ((), ()).
19

Se () = (), () = () e () = (), assim = (()) () = (()) () = e

injetiva. Para a sobrejetividade, dado (, ) , (() ) = (, ) pois (() ) definido
como o nico elemento de satisfazendo
() = ((() )) (() ) = () (() ).
Como a ao livre segue (() ) = . Segue da que equivariante.
Exemplo 1.6.4. Seja : S1 S1 , () = 2 um Z2 -fibrado principal onde Z2 age S1 por
1 = e 1 = . Em geral, recobrimentos finitos so Z -fibrado principais. Considere
: S1 S1 o Z2 -fibrado principal, dado acima. Seja : Z2 R* = (1, R) a representao
mobius
dada por, (1) = 1 assim o fibrado vetorial associado S1 R = faixa de Mbius 1.3.10.

20

Captulo 2
lgebras de Clifford
2.1

Introduo

bem conhecido que o grupo fundamental de (), 3 Z2 e portanto tem um recobrimento universal chamado (). Nesse texto apresentaremos uma construo algbrica deste
grupo como um subgrupo das unidades da lgebra de Clifford a qual a explicitaremos a seguir,
antes faremos algumas preliminares.

2.1.1

lgebras, Mdulos e Representaes

Uma lgebra sobre K um par (, ) onde K espao vetorial e : uma

operao bilinear. Dizemos que uma lgebra associativa se ( ) = ( ) para todos
, , . Agora se existe 1 tal que 1 = , para todo dizemos que uma lgebra
com unidade.
Nesse texto consideramos apenas as lgebras reais ou complexas (sobre K = R ou C.) Afim de
evitar o pedantismo, por vezes diremos apenas lgebra , em vez de lgebra (, ) sobre K, uma
vez que o corpo K esteja subentendido, e omitiremos a operao com o intuito de no carregar a
notao. A operao da lgebra tambm chamada produto.
Exemplo 2.1.1. Seja (R) o conjunto das matrizes com entradas reais. Ento ( (R), )
onde o produto usual de matrizes uma lgebrar real associativa com unidade = ( ) .
Exemplo 2.1.2. Seja (R3 , ) o espao euclidiano R3 com o produto vetorial uma lgebra real,
a qual no associativa. Com efeito, (1 2 ) 2 = 3 2 = 1 e 1 (2 2 ) = 1 0 = 0
onde {1 , 2 , 3 } a base cannica de R3 . Portanto,
1 (2 2 ) = (1 2 ) 2 .
Definio 2.1.3. Seja (, ) uma lgebra sobre K. Dizemos que um subespao um ideal
a esquerda (direita). Se ( ), ou seja, dados e temos que
( ) pertence a . Quando for ideal a esquerda e direita diremos que um ideal
bilateral ou simplimente um ideal.
21

Exemplo 2.1.4. Dada uma lgebra (, ) sobre K, os subespaos {0} e so sempre ideais.
Exemplo 2.1.5. Seja ( (R), [, ]) onde [, ] o comutador de matrizes, i.e., [, ] : (R)
(R) (R) dado por [, ] = . Ento o par ( (R), [, ]) uma lgebra real
(verifique!). E o conjunto das matrizes diagonais um ideal.
Exemplo 2.1.6. Seja um espao vetorial sobre K, K 1. O par (, ), onde a
aplicao bilinear nula uma lgebra associativa sem unidade tal que todo subespao de um
ideal. Diremos que (, ) uma lgebra abeliana.
Uma noo importante em teoria de categorias a de morfismo entre os objetos que , em
certo sentido, a noo de como esses objetos se relacionam, seguindo essa linguagem definimos o
morfismo na categoria das lgebras sobre K.
Definio 2.1.7. Sejam (, ) e (, *) lgebras sobre K. Dizemos que uma aplicao K-linear
: homomorfismo de lgebra se ( ) = () * () quando um isomorfismo de
K espaos vetoriais diremos que (, ) e (, *) so isomorfismos, e um isomorfismo de lgebras.
Se e so lgebras com unidade exigimos que (1 ) = 1 .
Seja um ideal, ento o espao vetorial quociente / tem estrutura natural de lgebra tal
que a projeo natural : / um homomorfismo de lgebras sobrejetor.
Primeiramente daremos uma estrutura de lgebra no espao vetorial quociente /.
Seja um ideal da lgebra (, ). Defina em / a seguinte operao
* : / / /
([], []) [ ] = ( )
Afirmao: * est bem definida. Com efeito, sejam [] e [], ento existem ,
tais que = + e = + , logo = + + + . Agora como ideal temos
que , , donde [ ] = [ ] portanto segue o afirmado.
A bilinearidade de * segue imediatemente da bilinearidade de e da linearidade da projeo
cannica .
Com a estrutura de lgebra definida acima em /
: /
um homomorfismo de lgebras. De fato, temos por definio que () * () = ( ). Observe
que sobrejetiva.
Seja um ideal de . Suponha que associativa com unidade, ento / associativa com
unidade.
De fato, [] ([] []) = [] [ ] = [ ( )] = [( ) ] = [ ] [] = ([] []) [] para todo
[], [], [] /.
Agora pondo 1/ := [1 ] tem-se [1 ] [] = [1 ] = []. Donde segue o afirmado.
Um lema simples mais importante e que ser til no texto o seguinte:
22

lema1 Lema 2.1.8. Sejam : homomorfismo de lgebras, e ker um ideal. Ento induz

um homomorfismo de lgebras : / .

Com efeito, defina ([]) = (). Afirmo que est bem definida. De fato, se [], temos
que , donde ( ) = 0, pois , ker , logo ( ) = () e portanto est bem
definida. A verificao de que assim definida um homomorfismo de lgebras direta.
Definio 2.1.9. Seja (, ) uma lgebra. Dizemos que um subespao uma sub-lgebra.
Se , ou seja, dado , temos que pertence a .
Exemplo 2.1.10. Todo ideal de uma lgebra uma sub-lgebra.
Lembramos que o centro de uma lgebra , denotado por (), o conjunto dos elementos
que comutam com todos elementos de , isto ,
() = { ;

= para todo }.

Exemplo 2.1.11. () uma sub-lgebra. Mais ainda, () um ideal.

Exemplo 2.1.12. Seja : um homomorfismo de lgebras, ento = ker um ideal,
em particular uma sub-lgebra.
Uma classe importante de lgebra so as que so graduadas por um grupo , nas quais temos
a ideia consistente do peso de um elemento. Estamos particularmente interessados nas lgebras
Z2 -graduadas, tambm chamadas superlgebras.
Definio 2.1.13. Uma lgebra dita Z2 -graduada. Se admite uma decomposio em soma
direta = 0 1 tal que + mod 2 .
Um elemento do -simo subespao chamado elemento homogneo de grau puro = 0, 1.
Os elemtentos de grau zero tambm so chamados de elementos de grau par, enquanto os de grau
um de mpar.
Exemplo 2.1.14. As lgebras de Clifford so lgebras Z2 -graduadas como veremos mais tarde.
Dadas duas lgebras e , podemos definir uma estrutura de lgebra no produto tensorial
dos espaos vetorias e definindo o produto por
( ) ( ) = .
Se e so lgebras Z2 -graduadas podemos definir o produto tensorial graduado em por
( ) ( ) = (1)grau(a)grau(b) .

Denotaremos esta lgebra por .

Este produto torna
naturalmente uma lgebra Z2 = ()
0 ()
1 , onde
graduada. De fato,
0 = 0 0 + 1 1
()
1 = 1 0 + 0 1 .
()

23

Definio 2.1.15. Uma representao de uma K-lgebra um homomorfismo de K-lgebras

: EndK ( ) onde um K-espao vetorial.
Alguns exemplos de representaes so:
=0
= e : EndK () age por multiplicao esquerda, ou seja, dados , ,
() = . Esta representao conhecida por representao regular de .
Definio 2.1.16. Sejam uma K-lgebra com unidade e um K-espao vetorial de dimeno
finita. Considere : uma ao direita de em , isto , : uma
aplicao que satisfaz
1. 1 = para todo ;
2. ( ) = () para todos e , ;
Se alm disso : bilinear dizemos que um mdulo direita sobre a lgebra
, ou seja, se satifaz:
3. ( + ) = + ;
4. ( + ) = + ;
5. () = ( ) = () para todos , , , e K.
Uma ao que satisfaz 3, 4 e 5 dita linear. Observe que estamos denotando a multiplicao por
escalar K nos K-espaos vetoriais e por justaposio. De modo anlogo, define-se mdulo esquerda.
Seja um -mdulo esquerda. Dado , defina a aplicao () : por
()() = . De ( + ) = + segue que ()( + ) = ()() + ()(), agora de
() = ( ) temos ()() = ()() e portanto () End . Por ( ) = ()
e 1 = temos () = () () e (1) = 1 donde a aplicao : End uma
representao.
Analogamente, dado uma representao : End defina a aplicao de em
por
:
(, ) ()
Aplicao define uma ao esquerda de em . De fato, 1 = (1) = 1 = para todo
e,
( ) = ()( )
= ()((()())
.
= ( )()
= ( )
24

Mais precisamente a aplicao define uma estrutura de mdulo a esquerda em V sobre . Definiremos agora a noo de morfismo entre duas representaes.
def1 Definio 2.1.17. Duas representaes 1 : EndK (1 ) e 2 : EndK (2 ) da lgebra

so isomorfas se existe uma isomorfismo de espao vetoriais : 1 2 que comuta com a ao

de ,ou seja, ( ) = () para todo e . Dito de outro modo duas representaes
1 : EndK (1 ) e 2 : EndK (2 ) da lgebra so isomorfas se o seguinte diagrama
comutativo

1
2
1 ()

2 ()

para todo .

25

2.2

lgebra de Clifford, Definio e Exemplos

Nesta seo apresentaremos as lgebras de Clifford de maneira axiomtica e logo em seguida

mostraremos um teorema sobre existncia e unicidade de tais lgebras, por fim definimos os grupos
Pin e Spin que so objeto de muito interesse ao longo do texto.
Uma forma quadrtica sobre uma funo : K tal que:
Definio 2.2.1.

1. () = 2 (), para todos K e ;

2. a aplicao 2(, ) := ( + ) () () uma forma bilinear sobre , 2. chamada

de identidade de polarizao.
Chamamos o par (, ) de espao quadrtico.
Sejam um K espao vetorial, lembramos que consideramos apenas K = R ou C, e uma
forma quadrtica sobre .
Definio 2.2.2. Um par ((, ), ) chamado uma lgebra de Clifford para (, ) se:
1. (, ) uma lgebra associativa sobre K, com unidade 1;
2. : (, ) uma aplicao linear e ()2 = () 1;
3. Se outra Klgebra associativa com unidade 1 e : uma aplicao linear satisfazendo ()2 = () 1, ento existe um nico homomorfismo de lgebras
: (, ) tal que o diagrama comutativo

(, )
i.e., = .
Uma aplicao linear : , onde uma Klgebra associativa com unidade 1,
satisfazendo ()2 = () 1 dita aplicao de Clifford. O axioma 3. diz que toda aplicao de
Clifford se estende para um homomorfismo de lgebra : (, ) que torna o diagrama
acima comutativo, chamaremos 3. de propriedade universal da lgebra Clifford. Veremos agora
que as lgebras de Clifford existem.
Teorema 2.2.3. Para cada espao quadrtico (, ) existe uma nica lgebra de Clifford ((, ), ).
Por unicidade entendemos a menos de isomorfismo, isto , se ((, ), ) e ( (, ), ) so
ambas lgebras de Clifford para a mesma forma quadrtica (, ), ento existe um isomorfismo de
lgebras : (, ) (, ) tal que o diagrama comuta:

26

(, )

(, )

Demonstrao. Considere ( ) = K ( ) . . . a lgebra tensorial de , e denota por

() o ideal gerado por todos elementos de forma { + ()1; }.
Como vimos na introduo, temos uma estrutura natural de lgebra em (, ) := ( )/(),
tal que a projeo cannica : ( ) (, ) homomorfismo de lgebra. Ento, defina
= : (, ) onde , : ( ) a incluso.
Afirmamos que o par ((, ), ) assim definido uma lgebra de Clifford para a forma quadrtica (, ). Com efeito, ()2 = ( ())2 = (()2 ) = ( ) = () 1, onde em (1)
usamos que homomorfismo de lgebra. Como ( ) associativa com unidade 1, ento temos que (, ) = ( )/() tem estrutura de lgebra associativa com unidade. Antes de dar
continuidade a demonstrao do teorema faremos o seguite lema algbrico.
(1)

Lema 2.2.4 (Propriedade Universal da lgebra tensorial). Toda aplicao linear : ,

onde uma lgebra associativa, se extende para um homomorfismo de lgebras : ( ) .
Demonstrao. De sorte que, dada : linear defina : . . . por
(1 , . . . , ) = (1 ) . . . ( ), da bilinearidade do produto em , segue que multilinear.
Da, pela propriedade universal, existe : . . . linear tal que (1 . . . ) =
(1 ) . . . ( ), assim, defina : ( ) extendendo por linearidade. Est claro que
assim definido homomorfismo de lgebras procurado.
Agora, sejam lgebra associativa com unidade e : tal que ()2 = () 1 ento
pelo lema acima temos que se extende para um homomorfismo de lgebras : ( ) , de
()2 = ()1 segue que () Ker , de fato temos que ( +()1) = ( )+()1 =
()2 + ()1 = ()2 + ()1 = ()1 + ()1 = 0 como o gerador
do ideal () e U
lema1
homomorfismo de lgebras temos mostrado o afirmado, assim do lema 2.1.8 U desce ao quociente
induzindo um homomorfismo de lgebras : (, ) satisfazendo

(, )
Dado outro homomorfismo 1 : (, ) satisfazendo

(, )
27

temos = 1 = . Portanto e 1 coincidem em ( ) (, ). Por outro lado sabemos

que ( ) gera a lgebra tensorial ( ) multiplicativamente e portanto ( ) gera (, ), pois a
projeo homomorfismo de lgebra sobrejetor e por definio = .
Corolrio 2.2.5. A aplicao : (, ) injetiva. Alm disso, ( ) (, ) gera a
lgebra (, ) multiplicativamente.
Proposio 2.2.6. A lgebra de Clifford (, ) tem uma involuo
: (, ) (, )
tal que
a) um homomorfismo de lgebras;
b) Pondo 0 (, ) = { (, ); () = },
1 (, ) = { (, ); () = } temos
(, ) = 0 (, ) 1 (, )
e vale que (, ) (, ) + mod 2 (, )
sub-lgebra e (, ) uma algebra Z2 graduada.

, {0, 1}. Em particular, 0 (, ) uma

Demonstrao. Considere a aplicao : (, ), () = (). Como ()2 = (())2 =

()2 = ()1 existe um homomorfismo de lgebras : (, ) (, ) tal que () = ()
para todo . Da, ( )() = (()) = (()) = (), portanto, 2 = 1 sobre ( ).
Donde 2 = 1 em (, ) pois ( ) gera multiplicativamente (, ).
Proposio 2.2.7. Seja = 1 2 uma decomposio ortogonal do espao ,i.e., (1 +2 ) =
(1 ) + (2 ) para todo 1 1 e 2 2 . Ento existe um isomorfismo natural de lgebras

(, ) (1 , 1 )(
2 , 2 ) onde = | e denota o produto tensorial Z2 graduado.

Demonstrao. Considere a aplicao : (1 , 1 )(

2 , 2 ) dada por () = 1 (1 ) 1 +

1 2 (2 ) onde = 1 + 2 . D regra de multiplicao na lgebra (1 , 1 )(

2 , 2 ) temos

()2 = (1 (1 ) 1 + 1 2 (2 ))2
= 1 (1 )2 1 + (1 ) (2 ) (1 ) (2 ) + 1 2 (2 )2
= 1 (1 )2 1 + 1 (2 )
= 1 (1 )1 1 2 ()1 1
= (1 (1 ) + 2 ())1 1
= ()1 1.
Portanto pela propriedade univesal da lgebra de Clifford se extende para um homomorfismo

de lgebras : (, ) (1 , 1 )(
2 , 2 ). Agora sabemos que (1 ), e (2 ) geram (1 , 1 )
e (2 , 2 ) respctivamente, portanto a imagem da uma sub-lgebra que contm 1 (1 , 1 )

e 1 (2 , 2 ), logo sobrejetora. Agora como a dimenso das lgebras (1 , 1 )(

2 , 2 )

e (, ) so iguais segue que um isomorfismo de lgebras.

28

Exemplo 2.2.8. Sejam = R e () = 2 , R. Seja : R C dada por () = , temos

que ()2 = ()2 = 2 = ()2 1. Portanto, se extende para um homomorfismo de lgebras
: (R, ) C tal que = . Mostraremos que isomorfismo. Para a injetividade, segue
que como (R) gera (R, ) e linear basta mostrar que injetiva restrita a (R). Mas, se
(()) = (()) temos () = (), o que implica = , donde = e portanto () = ().
Como dimR (R, ) = 2 = dimR C segue que (R, ) isomorfa a C
Exemplo 2.2.9.
Sejam = R2 e (, ) = 2 + 2 , (, ) R2 . Ento (R2 , ) = H
a lgebra dos quaternions. Como sabemos (R2 , ) gerada por 1 , 2 R2 . Assim
1, 1 , 2 , 1 2 base de (R2 , ). Pondo
:= 1 ,

:= 2 ,

:= 1 2

temos as seguintes relaes

= ,

= ,

= ,

2 = 2 = 2 = 1.

Similarmente, temos (R3 , ) = H H, onde (, , ) = 2 + 2 + 2

Definimos a complexificao C de uma lgebra real como a complexificao C do espao
vetorial , isto , C o conjunto R C com as seguintes operaes:
A soma em C definida pela soma em R C visto como um espao vetorial sobre R.
E a multiplicao por escalar dada por

C ( R C) R C
(, ) .
A estrutura de lgebra em R C definida por
(1 ) (2 ) = 1 2 ,
nos tensores decomponveis e estendida por bilineardade. Seja um espao vetorial real, e :
R uma forma bilinear simtrica. Considere a complexificao C = R C de , e
defina C (1 , 2 ) = (1 , 2 ) .
Assim a complexificao da lgebra (, ) naturalmente isomorfa a (C , C ).
Proposio 2.2.10. Seja (, ) um espao quadrtico e (C , C ) sua complexificao. Ento,
(, ) C = (C , C )
isomorfas como lgebras complexas.
29

Demonstrao. Defina : R C (, ) C por ( ) = () , onde : (, )

o mergulho cannico de na lgebra de Clifford. Ento
( )2 = (() )2 = ()2 2
= (, ) 2 1 1 = C ( , ) 1
portanto, se extende para um homomorfismo de
: (C , C ) (, ) R C
de lgebras complexas. No difcil prova que este homomorfimos um isomorfismo de lgebras.
Vemos que a imagem de uma sub-lgebra de (, ) C que contm ( ) C donde
sobrejetora pois ( ) gera (, ) multiplicativamente, por fim como as lgebras tem a mesma
dimenso segue o afirmado.

30

Os grupos Pin(V,q) e Spin(V,q)

Seja (, ) o grupo multiplicativo das unidades da lgebra de Clifford (, ). Denotaremos
( ) em vez de (, ), sempre que dada por = ||||2 , com a norma induzida por um produto
interno fixado em . Nos definimos o grupo ( ) como o subgrupo de ( ) gerado pelos
elementos com ||||2 = 1. E o grupo ( ) := ( )0 ( ). Note que ( ) = ker ,
onde : ( ) Z2 induzida pela decomposio ( ) = 0 ( ) 1 ( )
Observe que os geradores de ( ) so unidades cujo quadrado de cada um deles 1, pois
2
= ||||2 1 = 1. E que os geradores de ( ) esto contidos em 1 ( ). De fato, da definio
da involuo segue que ( ) est contido em 1 ( ).
( ) tem ndice 2 consistindo de todos elementos de ( ), o qual pode ser escrito como
produto de um nmero par de dados geradores de ( ). Com efeito, dado ( ) =
( ) 0 ( ). Ento = 1 onde 1 , . . . , 0 ( ). Se, e somente se par.
(1 ( ) 1 ( ) 0 ( )).
( ) = ( ) ( ) ,

um gerador de ( )

Observe que se {1 , . . . , } uma base ortonormal para , ento 1 . . . ( ). Isto

significa que ( ) contm uma base para ( ), e consequentemente que ( ) a menor
lgebra sobre R contendo ( ) como subgrupo multiplicativo de unidades. Ou seja, dada
lgebra real com unidade contendo ( ) como subgrupo multiplicativo de unidades vimos que
( ) contm uma base de ( ). Assim ( ) como havamos afirmado. Analogamente,
( ) contm uma base da lgebra 0 ( ).
O lema a seguir diz que uma ao completamente determinada uma vez conhecida a ao de
uma base, este por sua vez nos ser util para conhecer as aes de 0 ( ) conhecendo a ao do
grupo ( ).
lema2 Lema 2.2.11. Sejam , mdulos sobre uma lgebra . Se a ao de uma base de comuta com

o isomorfismo linear : , ento um isomorfismo de mdulos. Agora se

invariante pela ao de uma base de . Ento submdulo de .

Demonstrao. Seja {1 , . . . , } uma base de . Temos que ( ) = ()

1 . . . . Da, dado temos que = =1 logo

( ) = (

=1

( )

()

=1

=1

= ()

= () .
31

=1

e =

A segunda afirmao estabelecida similarmente.

Corolrio 2.2.12. Duas representaes da lgebra 0 ( ) cuja restries para ( ) so representaes isomorfas so de fato representaes isomorfas. Seja um mdulo sobre 0 ( ) e

um subespao invariante pela ao induzida de Spin(V). Ento um submdulo de

0 ( ).
Demonstrao. Sejam : 0 ( ) End() e : 0 ( ) End( ) representaes da lgebra
0 ( ) cuja restries para ( ) so representaes isomorfas, isto , existe umdef1
isomorfismo

de espao vetoriais : que comuta com a ao de ( ) (veja definio 2.1.17) como

Spin(V) contm
uma base de 0 ( ), comuta com a ao de uma base de 0 ( ), e portanto
lema2
pelo lema 2.2.11 acima comuta com a ao de 0 ( ), ou seja, e so de fato representaes
isomorfas.
A demonstrao da segunda afirmao se estabelece de modo similar, bem como a demonstrao
do corolrio abaixo.
Corolrio 2.2.13. Duas representaes da lgebra ( ) cuja restries para ( ) so representaes isomorfas so de fato representaes isomorfas. Seja um mdulo sobre ( ) e

um subespao invariante pela ao induzida de ( ). Ento um submdulo de ( ).

Sejam (, ) e ( , ) espaos quadrticos. Um morfismo entre (, ) e ( , ) uma aplicao
linear : tal que * = , i.e., ( ()) = () para todo . E definimos (, ) =
{ ( ); * = }, como V tem dimenso finita definimos (, ) = { ( ); * =
e det = 1}.

Seja um morfismo : (, ) ( , ). Como ( , ) por abuso de notao usaremos

o mesmo smbolo para exteno de : : ( , ) dada por
: ( , )
( ())
De fato, s estamos identificando ( ) com . Agora sabemos que * = , logo temos que
()2 = ( ())2 = ( ())1 = ()1 donde f uma aplicao de Clifford, e portanto pela
propriedade univesal da lgebra de Clifford (, ) obtemos um homomorfismo de lgebra
( ) : (, ) ( , )
um funtor covariante da categoria dos espaos quadrticos na categoria das lgebras de
Clifford. No entraremos em muito detalhes algbricos, essencialmente satisfaz as seguintes
propriedades
( ) = ( ) ()
(1 ) = 1(,) .
32

Em particular, (, ) estende canonicamente para um grupo de automorfismo da algebra

(, ) que preservam . O subgrupo (, ) representado como o grupo de todos automorfismo da algebra (, ) que preservam e age preservando orientao.
Alm de uma involuo a algebra de Clifford tem tambm um antiautomorfismo.
Proposio 2.2.14. Seja um K-espao vetorial, e uma forma quadrtica. Ento, existe um
nico antiautomorfismo : (, ) (, ) tal que
2 = 1,

() = ()() | = 1 .

O antiautomorfismo chamado de transposio, usaremos a notao em vez de () o que

justifica o nome transposio pois () = () () .
Demonstrao. Considere a involuo : ( ) ( ) dada por 1
1 nos tensores decomponveis e estendida por linearidade, observe que assim definido uma
antiautomorfismo de ( ). Afirmamos que () Ker( ), onde a aplicao quociente
: ( ) (, ). Com efeito, ( ()1) = ( ()1) = 0 como gera ()1
gera () multiplicativamente segue o afirmado. Pelo lema1 (propriedade universal do quociente)
induz um homomorfismo de lgebras : (, ) (, ) tal que o diagrama

/6

comutativo, ou seja, = . Mostraremos agora que tem as propriedade desejadas,

1. () = (()) = ( )() = (()) = () = () = , onde = mergulho
cannico de em (, ) e a incluso de em ( ).
2. Sejam , (, ) e , ( ) tal que () = e () = . Ento temos que, () =
(()()) = (()) = (()) = (()()) = (())(()) = (())(()) =
()().
3. Por fim, temos que 2 = 1(,) . De fato, como 2 = 1 ( ) temos = 1 ( ) = 2 =
( ) = ( ) = 2 o que implica 2 = 1(,) .

O grupo ( ) age naturalmente com automorfismo

: ( ) (( ))
de lgebra. Ou seja, existe um homomorfismo chamado representao adjunta, a qual dada por
() = 1
.
33

Figura 2.1: Uma ilustrao de .

Teorema 2.2.15. A ao de conjugao de ( ) sobre ( ) induz uma representao de
( ) como automorfismo da lgebra de Clifford ( ). A imagem desta representao consiste
de automorfismo que preservam ( ) e que agem preservando orientao de . Assim,
temos um mapa induzido ( ) ( ). Este mapa sobrejetivo e o ncleo 1. Se a
dimenso de pelo menos 3, ento o ncleo deste mapa o centro de ( ) e ( ) o
recobrimento universal de ( ).
A prova deste teorema ser dividida nos resultados abaixo.
Proposio 2.2.16. A representao adjunta (restrita ao ( )) preserva . Seja
( ), ||||2 = 1. Ento ( ) = .
Demonstrao. suficiente mostrar o resultado para os geradores de ( ), a saber os elementos
de comprimento unitrio em . Para cada com ||||2 = 1 e cada , temos
() = 1 = ().
Em particular, () . De fato, de 2 = ||||2 1, temos 1 =

. Da,
||||2

||||2 () = ||||2 1 = = (2 , )
= 2 2 , = ||||2 2 , .
dividindo por ||||2 em ambos os lados, temos
() = 2

,
= ().
||||2

Onde a reflexo em torno do hiperplano ortogonal a .

Algums autores como [Lawson] definem (, ) como subgrupo (gerado pelos elemententos
de , com () = 1) do grupo dos elementos de ( ) tal que a representao adjunta preserva
.
34

Da proposio acima resulta que a ao de ( ) deixa V invariante e age preservando

orientao. Note que a ao de ( ) em consiste de todos os produtos de reflexes em
vetores de comprimento 1.
bem conhecido, que cada elemento de (, ) um produto de um nmero par de tais
reflexes. Mais geralmente, temos o seguinte resultado clssico:
Teorema 2.2.17. (Cartan-Dieudonne). Seja uma forma quadrtica no degenerada em um
espao vetorial de dimenso finita. Ento cada elemento (, ) pode ser escrito como um
produto de reflexes
= 1 . . .
onde dim( ).
Para uma demonstrao de teorema veja [Lawson]. Segue ento que a aplicao ( )
( ) sobrejetiva.
Lema 2.2.18. Se a dimenso de par, ento o centro de ( ) R e est contido em 0 ( ).
Se a dimenso de impar, ento o centro de ( ) R isomorfo a R R e a inteseo deste
centro com 0 ( ) isomorfo a R.
Demonstrao. Fixe uma base ortonormal {1 , . . . , } de . Ento,
(1 ) = (1) (1 )
se = para todo , 1 , e
(1 ) = (1)1 (1 )
se = para algum , 1 . Para ver isto basta usar que = , = e
observar que se = para algum anticomutamos com at ficar na posio 1 e

depois anticomutamos . Cada elemento de (, ) da forma = onde

= {1 1 < . . . < 1 < }, R, e = 1 . Da, se ((, )) ento,
= .
Donde, se
/ e
=
= (1)| |1
= (1)| |1 (1)| |
= (1)2| |1
= .
Logo, = ou = {1, . . . , }. Ou seja, ((, )) est contido no espao gerado por
{1, 1 . . . }. Se mpar e = {1, . . . , }, ento = para todo = {, } e portanto ((, )) = R R. O caso par tratado analogamente.
35

Definimos a conjugao : (, ) (, ) dada por = () observe que () = ( ),

uma vez definida a conjugao definimos a norma
: (,) (, )

Note que

= 1. Com efeito, seja (, ), ento = 1 com ( ) = 1,

(,)

da, = ( ) = ( 1 ) = ( ) (1 ) = (1) 1 = (1) (1)1 1 . Donde,

1
() = = (1)(1) 1 1 = (1) (1) (1)1 = (1)1 . A norma restrita
ao centro de ( ) aplicao elevar ao quadrado, de fato, basta observar que (1 ) =
(1)(1) 1 = 1 e portanto se (( )) ( ) = . Assim temos demonstrado
que,
Lema 2.2.19. A interseo de ( ) com o centro de ( ) {1}.
Da, pelo teorema do primeiro isomorfismo segue que ( )/{1} ( ) um isomorfismo natural.
Lema 2.2.20. Desde que a dimenso de seja pelo menos dois, aplicao natural ( )
( ) um recobrimento duplo no-trivial.
A demonstrao desse lema pode ser encontrada em [Morgan]. Isso completa a prova do
teorema.
Corolrio 2.2.21. Seja a dimenso de , . Ento ( ) um grupo de Lie compacto de
dimenso ( 1)/2, que conexo, se > 1 e simplesmente conexo se > 2. Sua lgebra de Lie
a mesma que a lgebra de Lie de ().
Corolrio 2.2.22. Qualquer mdulo (real ou complexa) sobre 0 ( ) ou ( ) completamente
redutvel; ou seja, pode ser decomposto em uma soma direta de mdulos irredutvel.
Demonstrao. Como ( ) e ( ) so grupos compactos, as declaraes correspondente
para as representaes desses grupos so completamente redutveis (veja San Martin, pgina 69).
A partir disto e do 2.2.12 corolrio, o resultado segue imediatamente.

36

Uma decomposio da lgebra de Clifford

Seja um espao vetorial real com produto interno e orientado. Seja ( ) R C a complexificao da lgebra de Cflifford. Fixe uma base ortonormal orientada {1 , ..., }. Definamos
[

+1
2

1 . . . ,
C =
+1
+1
onde
denota a parte inteira de
.
2
2
Da, temos
[
]
+1
2
2
2
C = [
1
] 1
+1
2
2
(1)1 1 1 2 3 2
= [
]
+1
2
2
= [
(1)1 2 2
]
+1
2
2
=
(1) (1)1 3 3
..
.
[

+1
2

+1
2

+1
2

+1
2

+1
2

= [
= [
= [
= [
=

(1) (1)1 (1)2 1 1

(1) (1)1 (1)2 (1)1
( + 1)
2
(1)
(+1)
+(+1)

Agora se
mpar, digamos = 2 + 1 temos que
+1
2 + 2
+ ( + 1) = 2
+ (2 + 1)(2 + 2)
2
2
2
= 2( + 1) + (2 + 1)2( + 1)
= 2( + 1)(2 + 2)
= 4( + 1).
[

37

 par, = 2 temos
2 + 1
+ 2(2 + 1) = 2[ + 0, 5] + 2(2 + 1)
2
2
= 2 + 2(2 + 1)
= 2(2 + 2)
= 4( + 1).
]

Portanto,

+1
2
+ ( + 1) (4)
2
[

donde C2 = 1.
Mostraremos agora que C independe da escolha da base ortonormal orientada {1 , . . . , }.

Dado {1 , . . . , } base ortonormal pertencente a mesma orientao de {1 , . . . , }. Assim,

existe = ( ) () tal que
=

=1

Da,

C = [

=
[

= [
= [
=

+1
2

+1
2

+1
2

+1
2

+1
2

1 =1

1 1 1

1 =1

1 =1

=1

1 1 1

1 1

2 =1

2 2

=1

det()1 = C .

Assim, podemos usar C para dar uma decomposio cannica de ( ) C em

(( ) C)+ (( ) C)
onde (( ) C) auto-espao associado 1 da aplicao linear
: ( ) C ( ) C
dada por
C .
Note que se a dimenso de impar, ento C (( ) C) enquanto se a dimenso de V
par C (0 ( ) C) e anticamuta com elementos em (1 ( ) C).
38

Proposio 2.2.23. C tal que C = (1)1 C , para todo . Em particular segue o

afirmado acima.
Demonstrao. Dada uma base orientada de , {1 , . . . , }. Ento, =

, da pela biline-

=1

aridade do produto de Clifford temos,

[

C =

+1
2

=1

Se dim = mpar, ento C (( ) C) isto significa que (( ) C) so sublgebras

que se aniquilam. O que quer dizer que temos uma decomposio ortogonal de lgebras
( ) C = (( ) C)+ (( ) C) .
Lema 2.2.24. Se dim( ) = mpar, ento as lgebras (( ) C) so ambas isomorfas a
0 ( ) C.
Demonstrao. Como a multiplicao por C intercala 0 ( )C e 1 ( )C, segue que 0 ( )

C intersecta (( ) C) trivialmente. Assim, a composio 0 ( ) C ( ) C ( )

so isomorfimos de lgebras.

Exemplo 2.2.25. Vimos que (R)

= C ento (R) R C
= C R C. A decomposio de

(R) C em ((R) C) corresponde a usual decomposio C R C

= C C.
Assim neste caso a decomposio da complexificao no provem da decomposio da lgebra
de Clifford real a qual uma lgebra simples.
Exemplo 2.2.26. Temos uma identificao de (R3 ) com H H. A complexificao desta decomposio a decomposio da (R3 ) C em ((R3 ) C) . Assim, neste caso, a decomposio
da complexificao da lgebra induzida a partir de um decomposio da lgebra real.
Lema 2.2.27. Se a dimenso de congruente a 3 mdulo 4. Ento, ( ) se decompe em
uma soma ortogonal de lgebras ( ) = ( )+ ( ) induzindo uma decomposio na
complexificao da lgebra.
Demonstrao. Quando a dimenso de congruente a 3 mdulo 4. Ento, C dada por
+1
(1) 4 1 e portanto est na lgebra real. Assim, seus 1 autoespaos so subespao
reais.

39

Lema 2.2.28. ( R2 ) C
= (( ) R C) C ((R2 ) R C)
2

Demonstrao. Temos ( R2 )
)
= ( )(R
2

(( ) R C) C ((R2 ) R C) ( ) : ( )(R
) R C

40

2.3

Spin-Fibrados e Fibrados de Clifford

Fixe um espao vetorial real com um produto interno , . Suponhamos nesta seo que a
dimenso de pelo menos 2. Suponhamos que um ( ) fibrado principal.
Queremos entender quando este fibrado levanta para um ( )-fibrado principal; que quer
dizer, quando existe um ( ) fibrado cujo quociente pelo centro {1} de ( )
isomorfo com um ( ) fibrado a . Isto evidentemente, um problema padro em topologia
algbrica ou teoria da obstruo cuja soluo bem conhecida. Antes definimos precisamente um
( )-fibrado principal.
Definio 2.3.1. Seja um ()-fibrado principal. Uma estrutura sobre um fibrado principal e recobrimento duplo : tal que o diagrama abaixo comutativo
/

()

&
8

()

Lema 2.3.2. O fibrado levanta para um ( ) fibrado principal se, e somente se, a
segunda classe de Sticf-Whitney 2 ( ) 2 (; Z2 ) igual a zero.
Outro caminho para dizer que levanta existe um homomorfismo 1 ( ) Z2
com restrio para um no trivial homomorfismo 1 (( )) Z2 , ou equivalentemente se
2 : 2 (; Z2 ) 1 (( ), Z2 ) trivial. Equivalentemente, levanta um
2-esqueleto de trivial sobre .
Se existe levantamento, ento o conjunto dos levantamentos forma, a menos de isomorfismo o
grupo de toro de 1 (, Z2 ).
Esse levantamento chamado uma estrutura Spin para .
Supondo que um ()-fibrado principal com uma estrutura Spin . Ento
existe um
() C (R )
induzido pela representao C : () (C (R )). Denotamos () C (R ) por
C ( ).

2.3.1

O operador de Dirac

Neste ponto vamos introduzir o operador de Dirac sobre os e C fibrados de uma

variedade de riemanniana. Vamos tambm estabelecer algumas das propriedades bsicas deste
operador.
Seja uma variedade de riemanniana; seja ()-fibrado de bases associado ao
fibrado tangente; e seja o levantamento deste fibrado para um ou C fibrado.
41

Lema 2.3.3. Os operadores no sei colocar o smbolo e no sei definidos acima independem da
escolha do referencial ortonormal {1 , . . . , }.
Demonstrao. Suponha que {1 , . . . , } outro referencial ortonormal. Da, =
com = ( ) (). Considere

=1

() =

=
=
=

) (

=1
=1

=1

=1

( ) ()

=1 =1 =1

()

=1 =1

()

=1

o que completa a prova.

Lema 2.3.4. orientado 4variedade e seja o frame fibrado do fibrado tangente. Ento
existe nico levantamento de para Spin sei l o q.
Lema 2.3.5. Seja uma variedade fechada com uma estrutura Spin ou C . Ento C ( )
C ( ) formalmente auto-adjunto no seguinte sentido

( (1 ), 2 )2 = (1 , (2 ))2

onde (, )2 o produto interno 2 sobre as sees de C ( ).

( (1 ), 2 )2 =

1 , 2

(1 ), 2
(1 ), 2 =

(1 ), 2
=

=(1)

1 , 2

=(2)

2 1 , 2
1 ,

2 + 1 , ( )2
1 ,

=(4) 1 , 2
1 , 2

(3)

42

Captulo 3
Conexo e Curvatura
Neste captulo queremos introduzir o conceito de conexo em -fibrados principais que sero
naturalmente introduzidas como uma distribuio horizotal invariante pela ao de , antes introduziremos conexes em fibrados vetoriais, interpretando estas no fibrado de referenciais ( )
.. por fim, mostremos que um conexo num -fibrado principal induz uma conexo nos fibrados
associados.

3.1

Conexes sobre fibrados vetoriais

Em geral, no existe uma forma natural de diferenciar as sees de um fibrado vetorial. A razo
que, em geral, no existe um forma natural de comparar as fibras sobre diferentes pontos do base.
Veremos que a escolha de uma conexo sobre permite comparar a fibra em diferentes pontos
da base por transporte paralelo ao longo de curvas. Algums autores como Manfredo, Petersen,
Lee, entre outros, definem conexo linear por:
Definio 3.1.1. Uma conexo linear em uma variedade diferencivel uma aplicao
: 0 ( ) 0 ( ) 0 ( )
que se indica por (, ) e que satifaz as seguintes propriedades:

1. + = +
2. ( + ) = +
3. ( ) = ( ) + (Regra de Leibniz)
onde , , 0 ( ) e , ( ).
A noo de conexo linear fornece, uma maneira de derivar campos de vetores ao longo de curvas. Assim, para generalizar esta noo de conexo em um fibrado vetorial sobre uma variedade
suave devemos ter uma maneira de derivar sees ao longo de curvas.
43

 natural que para um fibrado vetorial , uma conexo deve ser algum tipo de aplicao bilinear,
X( ) 0 () 0 ();
que nos diz como tomar a derivada covariante de sees, o que nos daria uma maneira de derivar
sees ao longo de curvas.
conexao1 Definio 3.1.2. Uma conexo num fibrado vetorial sobre uma variedade diferencivel

uma aplicao

: 0 ( ) 0 () 0 ()

que se indica por (, ) e que satifaz as seguintes propriedades:

1. + = +
2. ( + ) = +
3. ( ) = ( ) + (Regra de Leibniz)
onde 0 ( ), , 0 () e , ( ).
Uma maneira um pouco mais limpa de definir conexo como segue:
conexao2 Definio 3.1.3. Seja um fibrado vetorial real(complexo) sobre uma variedade suave . Uma

conexo sobre uma aplicao R-linear (C-linear)

: 0 () 1 ( ) ( ) 0 () := 1 ()
que satifaz a regra de leibniz ( ) = + onde ( ; R) ( ( ; C)),
0 () e a diferencial exterior.
Seja o fibrado tangente de . Ento 1 ( ) = 0 ( * ) e pelo teorema (citar) podemos
reescrever 1 ( ) ( ) 0 () como segue 1 ( ) ( ) 0 () = 0 ( * ) ( ) 0 ()
=
0
0
*
0
*
*

( ) agora como = Hom( , ) temos ( ) = (Hom( , ))

novamente pelo teorema (Citar) temos 0 (Hom( , ))
= Hom ( ) (0 ( ), 0 ()). Assim
uma conexo uma aplicao R-linear que a cada seo do fibrado , nos d uma aplicao
( )-linear : 0 ( ) 0 ().
Sabemos que uma campo de vetores tangente sobre uma seo do fibrado tangente, isto
, 0 ( ), cada campo de vetores induz uma aplicao ( )-linear
Ev : 1 ( ) 0 ( )
()
conhecida por evaluao,
induz uma aplicao ( )-linear

Ev : 1 ( ) ( ) 0 () 0 ()
().
44

A composio Ev := uma aplicao R-linear, e segue da regra de leibniz que satisfaz

( ) = ( ) + , onde ( ) a derivada direcional na direo de . Assim uma
conexo permite tomar derivadas direcionais de sees. Fixado 0 () a aplicao
( )-linear, ou seja,
+ = +
para funes suaves , conexao1
( ) e campos de vetores , 0 ( conexao2
). Assim, vemos que uma
conexo no sentido de 3.1.2 equivalente a uma conexo no sentido de 3.1.3. uma consequncia
da "regra de Leibniz"que um operador local, no sentido de que, se , 0 () coincidem em
uma vizinhaa de de ento = em . Ou equivalentemente, se 0 () nula
em uma vizinhaa de de ento = 0 em . De fato, seja uma bump funtion aqual
igual a 1 em uma vizinhaa de com suporte contido em ento pela regar de Leibniz:
( )() = +

=0, ()=1

()()

como por constuo = em , o resultado segue. Vamos ento estudar numa trivializao
local de . Seja { } um referencial local associado a trivializao : 1 ( ) R (Veja
proposio tal).
Lema 3.1.4. Seja e . Assuma que um fibrado vetorial sobre com derivada
covariante . Se duas sees e coincidem em , ento () = () se, e somente se,
= em .
Demonstrao. suficiente mostra que se uma seo que satisfaz () = 0, ento () = 0
se, e somente se, ( ) () = 0. De fato, seja = ento () = 0 assim () = 0
se, e s se, ( )() = 0, agora, pela linearidade de e segue o afirmado. Como um
operador local, podemos trabalhar em uma trivializao local de , para alguma vizinhaa
de , : 1 ( ) R . Ento dado uma seo de | , uma seo de R a qual
pode ser identificada com uma funo definida em com valores em R , = (1 , , ) onde
(, R ) (Veja exemplo tal). Como () = 0 temos () = 0. Seja { }=1 o referencial

associado a esse trivializao (Veja proposio tal). Da, = , pela regra de Leibniz
=

() +

( ) ()

()=0

( ) ().

Assim = 0 se e s se ( ) = 0 para todo . Donde, se e s se ( )* ( ) = 0 o que ocorre

se, e somente se, * ( ) = 0.
Dado um vetor tangente , uma seo local paralela na direo de em se = 0.
Mais geralmente, chamado paralela ao longo de uma curva em se = 0 para todo .
Lema 3.1.5. Para cada e 0 existe uma seo de a qual paralela na direo
de em e satisfaz () = 0 .
45

3.2

Conexo sobre Fibrados Principais

Vamos interpretar a derivada covariante sobre o fibrado vetorial em termos do fibrado

de referenciais ( ). Relembramos que para cada , um elemento uma base
de . Para cada e vetor tangente, definimos o levantamento horizontal de
para cada = (1 , , ) ( ) como segue. Tome sees locais de ao redor de tal
que () = e ( ) = 0. Ento := (1 , , ) uma seo local de ( ) satisfazendo
= * () ( ).
() = . Definimos ()
Seja um -fibrado principal sobre uma variedade suave . Em cada ponto
temos um espao vertical tangente := . Este o subespao de o qual tangente a fibra
da projeo : , ou seja, := ker . Naturalmente surge a questo, existe um subespao
horizontal natural? O que motiva a seguinte definio. Uma conexo em um -fibrados principal
uma distribuio { } suave que complementa a distribuio vertical e invariante pela ao
de , mais precisamente,
Definio 3.2.1. Uma conexo em um -fibrados principal uma distribuio { } suave
satisfazendo,
1. = , para todo ;
2. = ( )* , para todo e .
Definio 3.2.2. Se um campo de vetores X( ) satifaz para todo , chamaremos
de campo vertical, e denotaremos X ( ) o conjunto dos campos verticais. Na presena de uma
conexo em , difinimos os campos de vetores horizontais se satifaz para todo , e
denotaremos X ( ) o conjunto dos campos horizontais.
Como a distribuio da conexo suave, qualquer campo de vetores X( ) se decompe
num campo de vetores horizontal e num campo de vetores vertical .
Em fibrados principais temos dois tipos de campos vetorias especiais, a saber, os campos
fundamentais verticais e os levantementos horizontais, definimos os campos fundamentais verticais
por: dado g considere a curva em passando pelo elemento neuto de com velocidade

, como age em dado , a ao de sobre move dentro da fibra portanto ( )

tangente a fibra, logo pertence a .

Definio 3.2.3. A ao de G sobre P define uma aplicao : g X ( ) atribuindo para cada
g o campo de vetores fundamental () cujo o valor em dado por
() =

( )

Obverve que

( )|=0 = ()|=0 = 0

portanto () de fato vertical. Como submerso implica por definio que :

() sobrejetiva, pelo teorema do nucleo e imagem dim = dim + dim , da dim =
* () =

46

dim dim = dim = dim g e portanto : g isomorfismo linear. Segue da tambm

que, | : () isomorfismo, desse isomorfismo temos para cada campo de vetores
X( ) na base um nico campo de vetores horizontal X ( ).
Definio 3.2.4. Dado um campo de vetores X( ) definimos o levantamento horizontal de
X ( ).
como sendo o nico campo de vetores horizontal
esto -relacionados, isto , *
= . Observamos
Segue da definio que os campos e
que o levantamento depende da escolha da conexo, e uma vez escolhida uma conexo em
os campos de vetores tangente a se decompoem em suas partes vertical e horizontal. Como
submerso, as fibras so subvariedade (difeomorfas a ) e o espao tangante a fibra
= ( 1 (())). De fato, dado ( 1 (())) existe uma curva : (, ) 1 (())
com (0) = e (0) = de () 1 (()) temos (()) = (()) pata todo (, ) derivando
em = 0 em ambos lados temos () = 0 o que implica ker =: . Por outro lado, dado
existe um nico g tal que () = , mas () = 1 (()) com (0) = ,
(0) = () = e portanto ( 1 (())). A seguinte proposio enumera as principais
propriedades dos levantamentos horizontais.
Proposio 3.2.5. Seja , ( ) e ( ). Ento
+ o levantament horizontal de + ;
1.
o levantament horizontal de ;
2. *
] o levantament horizontal de [, ].
3. [,
Pela prpriedade 3, o campo

^
] [,
[,
]

vertical

Figura 3.1: Espao Vertical e Horizontal.

47

fig:exem

Lema 3.2.6. A distribuio vertical invariante pela ae de , ou seja, ( )* = .

Demonstrao. De fato, seja , ento existe um nico g tal que () = donde,
( )* = ( )* () assim,

( )* = ( )

=0

= ( )

=0

1
= ( )

=0

1
= ( ( ) )

=0

da, como invariante pela ao de temos ( ( ) ) = ( ) donde derivando em

1
ambos os lados em = 0 segue que ( ( ( ) )|=0 ) = 0 o que implica =

( 1 )
(
)|=0 ) ker assim temos mostrado que ( )* como ( )* e

tem a mesma dimenso segue a igualdade.

1

Corolario da demonstrao,
Corolrio 3.2.7. ( )* () = (( 1 )).
Dada uma conexo sobre existe uma 1-forma com valores no fibrado adjunto de .
Esta um forma chamada de 1-forma de conexo.
Definio 3.2.8. A 1-forma de conexo da conexo { } a um forma com valores na algebra
de Lie 1 ( ; g) definida por
() =

se = ()
0 se horizontal.

Proposio 3.2.9. A 1-forma de conexo saisfaz

* = ( 1 )
.
Demonstrao.
* (()) = (( )* ()) = ((( 1 ))) = ( 1 ) = (( 1 ))()

Teorema 3.2.10. Se 1 (, g) satisfaz

48

1. () =

se = () para todo g;

2. * = ( 1 ) para todo .
Ento existe uma nica conexo { } em cuja 1-forma de conexo .
Uma conexo no -fibbrado principal induz uma conexo sobre cada fibrado vetorial associado = . O caminho natural ver esta conexo como uma derivada covariante ,
: 0 ( ; ) 1 ( ; ). A definio desta derivada covariante dada como segue: Seja uma
seo local numa vizinhaa de e . Considere : (, ) uma curva com
(0) = e (0) = , e tome o levantamento horizontal de para
[ uma]curva () em . Ento a

resto de a | espressa por [(), ()] e defina ()() = ,

3.3

Conexo no Spin fibrado

Seja um ()fibrado principal arbitrrio e suponha que o levantamento

para um Spin-fibrado. Ento cada ()conexo sobre automaticamente levanta para uma
Spin(n)-conexo sobre . Pensando a conexo como uma distribuio horizontal em , isto
completamente claro. O espao um recobrimento de duas folhas de , e simplesmente
levantamos a distribuio horizontal via a inversa do diferencial do recobrimento em cada ponto.
Esta a nica Spin(n) conexo a qual projeta para ()conexo dada.
No caso que o fibrado de referenciais ortogonal do fibrado tangente e a conexo
a conexo de Riemann, chamamos a conexo sobre induzido de conexo .
Retornando o caso de um ()fibrado arbitrrio equipado com uma conexo e
um levantamento de . A conexo sobre induz uma sobre ( ). A conexo levantada
sobre induz uma sobre C ( ).
respectivamente. A conexo
Ns denotamos a derivada covariante destas conexes por e
uma conexo unitria sobre C ( ) pois () age por transformaes unitrias pela repre
sentao C . A conexo de ( ) uma derivao com respeito a estrutura de lgebra no
sentido que
Lema 3.3.1. Para cada sees 1 , 2 de ( ) temos
(1 2 ) = (1 )2 + 1 (2 ).
Corolrio 3.3.2. deixa a decomposio do fibrado de Clifford em elementos de mesmo grau
invariante.
Tambm, a ao de ( ) em C ( ) via multiplicao Clifford sobre cada fibra compatvel
com estas conexes no sentido que:
Lema 3.3.3. Para cada sees de ( ) e de C ( ) temos

()
= () + ().
49

C define uma seo de C ( ) que invariante sob a ao de (), e deve ser covariantemente
constante
Lema 3.3.4. C = 0.
As demonstraes dos lemas acima podem ser encontradaem [Jost], pgina 148. A lgebra de
Lie de Spin(n) e sua ao sobre (R ).
Lema 3.3.5. Usando a identificao da lgebra de Lie de () e (), o gerador infinitesimal
o subgrupo a 1-parmetro
() 1 + () ()
2 ( ).
Note que ()1 + () = (() + () )

50

Captulo 4
Ttulo 4

51

52

Glossrio
Tese Proposio que enunciada e sustentada.
Dissertao Discurso, exposio ou exame minucioso de determinado assunto.

53

54

Apndice A
Variedades diferenciveis
Esse um apndice da sua tese.

55

56

Apndice B
Grupos de Lie

57

58

_biblatex

Apndice C
Estilos do biblatex
Nas pginas a seguir encontram-se exemplos de alguns dos estilos para referncias disponibilizados nativamente pelo pacote biblatex.

59

Bibliography
[1] J
urgen Jost. Riemannian Geometry and Geometric Analysis. Springer, fourth edition, 2000.
[2] Blaine Lawson Jr and Marie-Louise Michelsohn. Spin Geometry. Princeton University Press,
1989.
[3] Jeffrey M. Lee. Manifolds and Differential Geometry. Graduate Studies in Mathematics.
American Mathematical Society, 2009.
[4] John M. Lee. Introduction to Smooth Manifolds. Graduate Texts in Mathematics. Springer,
second edition, 2013.
[5] John W. Morgan. The Seiberg-Witten Equations and Applications to the Topology of Smooth
Four-Manifolds. Mathematical Notes. Princeton University Press, 1996.
[6] Andrei Moroianu. Lectures on K
ahler Geometry. London Mathematical Society Student Texts.
Cambridge University Press, 2006.
[7] Loring W. Tu. An Introduction to Manifolds. SpringerVerlag, BerlinHeidelbergNew York,
2007.

60