Aspectos Matemáticos da Teoria de Chern-Simons

ASPECTOS MATEMTICOS E FSICOS
DA TEORIA DE CHERN-SIMONS
Este exemplar corresponde redao

final da dissertao devidamente
corrigida e aprovada pelo Sr. Marcos
Benevenuto Jardim e aprovada pela
comisso julgadora.
Campinas, 10 de Junho de 1996
Dissertacao apresentada ao Instituto

de Matemtica, Estatstica e Cincia
da Computao, UNICAMP, como
requisito parcial para a obteno do
ttulo de MESTRE em Matemtica .
. , -..
--~-
l'
.. ------
Tese defendida e aprovada em I O de junho de 1996

Pela Banca Examinadora composta pelos Profs. Drs .
. (4,_
Prof(a).
(a). MRCIO ANTONIO DE FARIA ROSA
Prof(a) Dr(a). GUSTAVO DA COSTA
Prof(a) Dr (a). ALCIBADES RIGAS
Aspectos Matemticos e Fsicos da Teoria

de Chern-Simons
Marcos Benevenuto Jardim
27 de Maio de 1996
AGRADECIMENTOS
Aos meus pais, sem os quais nada disso seria possvel;

Anelyssa, pelo apoio e a motivao indispensveis;
Aos professores Rigas, Renato e Franco, que me ensinaram tudo o que eu sei
de Matemtica;
Aos meus amigos, pela preciosa amizade que me dedicaram todos esses anos;
Ao CNPq, que financiou este trabalho.
RESUMO
O objetivo principal deste trabalbo analisar a aplicao de conceitos

geomtricos e topolgicos teoria quntica de campos dentro do contexto da
teoria de Chem-Simons. Podemos divid-lo em duas partes.
Na primeira parte, revisamos brevemente os conceitos de fibrados com
conexo e classes caracteristicas para definirmos a classe caracteristica
secundria de Chem & Simons. Demonstramos que esta mn invariante da
estrutura conforme de variedades riemannianas e representa mna obstruo
topolgica existncia de imerses conformes globais em espaos
euclideanos.
A segunda parte dedicada interao entre geometria, topologia e
fisica que surgiu com os trabalbos de E. Witten no periodo 1988-90.
Comeamos por analisar a abordagem de Witten ao polinmio de Jones
atravs de mna teoria quntica de campos baseada apenas no termo de ChemSimons. Ainda, esta abordagem permite a generalizao do polinmio de
Jones para 3-variedades compactas orientveis. Demonstra-se que esta mna
teoria topolgica, ou seja, as quantidades fisicamente relevantes so
independentes da escolha de mna mtrica.
Prosseguimos por observar que a ao de Chem-Simons pennite a
formulao da relatividade geral em dimenso 2+ 1 como mna teoria de
calibre, possibilitando a quantizao do campo gravitacional e transio de
topologia do espao.
Finalmente, analisamos o trabalbo de Deser, Jackiw & Templeton no
qual o termo de Chern-Simons foi primeiro introduzido em teoria de campos.
A introduo deste termo na lagrangeana de Yang-Mills provoca o
aparecimento de bsons vetoriais massivos e estatstica fracionria, entre
outros efeitos.
Contedo
.1
2
Introduo
Classes caractersticas
2.1 Fibrado e conexo univensai~ .
8
8
2.2
Homomorfismo de Weil . . . .
12
2.:3
Classes caracLcrsLicas secundrias .
1,\
Aplicaes geometria riemanniana

3.1 Invarincia conforme e projetiva
3.2 Teorema de imerso conforme .
21
Polinmio de Jones segundo Witten
33
4.1 Ns e seus invariantes . . . . .

4.2 Polinmio de .Jones via TQC .
4.3 Um exemplo concreto . . . .
33
36
Aplicao teoria de campos.
49
5.1
5.2
5.3
56
Chern-Simons como teoria topolgica

Relatividade geral em dimenso 2+ 1
Teoria de calibre massiva . . . . . . .
Bibliografia
21
23
45
49
67
79
Captulo 1
Introduo
bem conhecido que a geometria possui um papel bastante imj)orLantc em
algumas teorias fsicas, a saber a mecnica clssica e a relatividade geral
(geometria ricmanniana). Il apenas cerca vinte anos atrs, entretanto, se
comeou a perceber que tambm a topologia teria um papel igualmente fun-
Jamcutal, c::;pccialmeute no que conccrue teoria quntica.

Tal conceito surgiu do encontro entre a l.coria de calibre, do lado fsico,
com a teoria de fibrados, do lado matemtico.
A relao entre estes Uois
tpicos j era conhecida des('e 1963, mas foi em 1975 que tal fato rendeu bons
frutos. Neste ano, Belavin, Polyakov,. Schwarz e Tyupkin [11] utilizaram-se

de mtodo:::; topolgicos c geomtricos para encontrar uma soluo exata (no
perturbativa) da equad de campo de Yang-Mills. Deste trabalho surgiram
no apenas uma srie de outros artigos procurando generalizar a soluo ali
obtida, que culminaram em [6], mas tambm toda uma nova rea de pesquisa
em fsica matemtica.
A teoria de calibre iniciou-se em 1918 com uma tentativa de Hermann
Weyl em unificar o cletromagnestismo com a relatividade geral. A idia original de inserir-se um parmetro multiplicativo no campo unificado (por isso
o nome calibre) provou-se errnea mais tarde.
Foi no final da dcada de
20, aps a formulao da mecnica quntica por Schrdinger em 1926, que
CAPiTULO I. INTRODUAO
o prprio Weyl ([63], p.lOO) percebeu que a simetria das equaes envolvidas apresentava uma liberdade de fase e no de escala; a unificao dava-se
eutre o eletromagnetismo e a matria. Heisenberg & Pauli [31 J procederam
a quantizao desta teoria. l<::m 1954, procurando um modelo clssico para
a interao nuclear forte entre pi'tons e nutrons, Yang e Mills [70] chegaram a uma generalizao da teoria de Weyl e I-leisenberg-Pauli para o campo
. eletromagntico: enquanto a ltima chegava a uma equao cujo grupo de
simetria era abeliano ( U(J)), a primeira introduzia um grupo de simetria

no-abeliano (SU(2)). A formulao de }i'eynman da mecnica quntica via
integrais de caminho, que mais tarde se tornou a base da teoria quntica de
campos, surgiu em 1948 [24].
Do ponto de vista clssico, a t..coria de fibrados c conexes j se fazia
presente na teoria de Kaluza-Klein para unificao do eletromagnetismo com
a gravitao. Um artigo de Einstcin & Bergmann de 1938 [22] apresenta a
teoria de Kaluza em um formato totalmente equivalente ao que mais tarde se
tornaria a teoria de fibrados com conexo, que ento nascia com o t..mbalho
de Car!,an, Ehresmnnu e Kos,;ul.
Do lado matemtico, a teoria de fibrados tambm era conhecida desde
cedo. Generalizao da geo'metria riemanniana utilizada por Einstcin para
modelar o campo gravitacional, foi a fonte para a soluo de uma srie de
problemas em geometriq. e topologia nas dcadas de 1930 c 1940. O livro
de St.eenrod [61] de 1953 e de Chern [15] de 1951 mostra que esta teoria
j se encontrava em estgio bast..ant..e avanado tanto do pont.o de vista topolgico como do ponto de vista geomtrico (respectivamente) antes mesmo
do trabalho de Yang & Mills.
O encontro destas duas correntes deu-se na dcada de 70, quando fsicos
comearam a perceber a importncia de tcnicas e mtodos topolgicos para
as suas teorias.
Enquanto estes encontraram uma grande quantidade de
trabalhos em topologia produzidos desde o incio do sculo, matemticos

foram forados a penetrar nas nem sempre claras e bem definidas teorias
CAPiTULO 1. INTIWDUAO
fsicas, especialmente a teoria quntica de car?pos.
4
Uma srie de teorias
hbridas vm surgindo c se desenvolvendo desde ento: teoria quntica de
campos topolgica, grupos qunticos, cohomologia quntica etc.

A incessante interao se d nos dois sentidos: assim como abordagens
fsicas estimularam o avano matemtico, teorias matemticas prontas foram

melhor entendidas e at generalizadas por argumentos fsicos.
Atiyah [5]
aponta duas lies a serem extradas de todo este processo. Primeiro, apesar
da falta de uma fundamentao rigorosa para a teoria quntica de campos,

seus sucessivos sucessos em reobter resultados matemticos bem conhecidos
aumentam bastante a sua credibilidade. Segundo, a matemtica deve incorporar os mtodos globais no-lineares introduzidos pela teoria quntica de
campos ao seu tradicional arsenal de tcnicas lineares.
Talvez o melhor exemplo dos resultados obtidos a partir deste encontro
seja a teoria de Donaldson [21 ]. Aplicando a teoria de calibre topologia
Je variedades 4-dimensionais, Donaldson ampliou resultados matemticos
clssicos sobre a existncia de estruturas diferenciveis associadas variedades topolgicas. Do outro lado, Witten utilizou-se de mtodos c tcnicas de
teoria quntica de campos para reobter dentro deste contexto uma srie de
invariantes topolgicos em dimenses 2, :3 c 4.
O presente trabalho, que lida com aplicaes' de conceitos geomtricos na
leoria de campos de calibre, tem por objetivo principal revisar os trabalhos
mais importantes sobre a teoria de Chern-Simons e suas aplicaes em fsica
terica, servindo de introduo ao assunto. Ele divido em duas partes: a
primeira ocupa-se cmn os aspectos matemticos da teoria de Chern-Simons de
classes caractersticas c clas9es caractersticas secundrias e inclui os captulos
2 e 3; a segunda lida com os aspectos fsicos e inclui os captulos 4 c 5.
No segundo captulo vamos apresentar o apa1ato matemtico a ser utilizado no restante do trabalho, seguindo o artigo de Shiing-Shen Chern e James
Simons
[16J. O teorema 2.3 especialmente interessante para as aplicaes
em fsica que se seguiro. O captulo seguinte busca aplicar a teoria desenvol-
CAPJ'FULO 1. lNTRODUAO
vida geometria riemanniana, demonstrando a existncia de invariantes da

estrutura conforme de variedades riemannianas e um teorema de obstruo
existncia de imerso conforme em espaos euclidianos, de acordo com a
proposta original de Chern & Simons. Apresentamos ainda a conexo com o

invariante espectral
7]
de Atiyah-Patodi-Singcr.
O passo seguinte estudar a abordagem de Witten ao polinmio de Jorres

elaborada em [67]. Os polinmios de Jones so invariantes da teoria de ns
e foram originalmente definidos em [35] atravs do estudo de representaes
das lgebras de von Neumann. No trabalho aqui apresentado, Witt.en de-
monstra que as funes de correlao de certos observveis fsicos de uma

teoria cj_unLica de campos (TQC) baseado no termo de Chern-Simons 1 cOmo
conhecido em fsica a segunda classe secundria de Chern TC<2 (w), satisfazem a mesma relao de recorrncia que define o polinmio de Jorres.
A grande vantagem desta nova abordagem que o mtodo de Witten fornece uma descrio intrnseca dos invariantes, o que no ocorre no mtodo
original de Jones. Ainda 1 a partir do novo mtodo possvel generalizar o polinmio de Jones como invariante de ns em qualquer 3-variedade, enquanto
que a definio original vlida apenas para ns em R 3 e 8 3 . Trata-se de
um excelente exemplo do uso de tcnicas de teoria de campos para se obter
resultados topolgicos.
O captulo final consagrado teoria de campos. e s propriedades do
termo de Chern-Simons neste contexto. Primeiramente, vamos mostrar que
a teoria de campos baseada somente no termo de Chern-Simons uma teoria
topolgica no sentido de WitLen, isto , as funes de partio e correlao
no dependem da escolha de uma mtrica na variedade de base.
Em seguida veremos que a teoria de Chern-Simons a chave para uma
formulao da relatividade geral em dimenso 2+ 1 como uma teoria de calibre cujo grupo estrutural o grupo de Poincar IS0(2, 1). Analisamos em
seguida a quantizao desta t.eoria, calculando probabilidades de transio
da topologia do espao, tomado como sendo uma superfcie de Riemann, e
CAPlTU/,0 1. INTRODUAO
r'egras de seleo para este processo.

Finalmente, passamos a apresentao do trabalho de Deser, ,Jackiw e
Templeton [20] sobre a teoria de ~ampos em dimeuso 2+1 Obtida somandose a lagrangeana de Yang-Mills usual com o termo de Chern-Simons. Uma
srie de novos fenmenos novos surgem desta teoria, entre eles o fato das
partculas de calibre, que interrnediam as interaes eletromagntica e nuclear, adquirirem massa sem quebra espontnea de simetria de gauge. ComQ
veremos, estas interaes passam a ter alcance finito e o acoplamento com a
matria (campos spinorial e escalar) tambm produz resultados interessantes, inclusive o aparecimento de supersimetria. Este captulo se encerra com
uma breve seco com outras aplicaes do acoplamento da teoria abeliana
de Chern-Simons com eltrons.
Dada a grande quantidade de trabalhos nos mais diversos aspectos d;;t
teoria de Chern-Simons, a presente reviso
necessariament~
incompleta.
Alguns pontos relevantes ficaram de fora, a saber:

Teoria de campos confonne, que, como apontado por Witten no seu
trabalho sobre o polinmio de Jones, est bastante. ligada teoria de
Chern-Simons em dimenso 2+ 1. cn-ata-se de um assunto por si s
extenso c com vasta literatura, da qual utilizamos alguns resultados
sem maiores discusses.
Quantizao cannica da teoria de Chern-Simons pura, que envolve
uma srie de questes alheias ao tema central deste tTabalho, alm de
serem secundrias numa primeira leitura.
Quantizao via integrais de caminho da teoria de Yang-Mlls-ChernSimons e existncia de e~tatstica fracionria na teoria de abeliana,
por se tratarem de discusses excessivamente tcnicas e fora do escopo
principal do presente trab'alho, o que poderia prejudicar o seu carder
introdutrio.
CAPiTULO I. IN'l'ROVUO
O autor procurou for,necer um grande nmero de referncias cobrindo

estes tpicos e todos os outros resultados matemticos que so utilizados
sem demonstrao. Em particular, as seces 4.2 1 5.1 e 5.2, utilizam uma
boa quantidade destes resullados.
A bibliografia tenciona ninda servir de
ponto de partida para aqueles que desejarem se aprofundar nesta rea e em

reas relacionadas.
HISTRICO
Teoria de Campos
Topologia/Geometria
Wcy1 (1918)
dctromaguclismo B gwvitay<1o
++MecQuAnt
(1926)
StieiCI e Whitney ( 1935), Chern

Wey1 ( 1929)
( 1946 ). Pontrjng:yn ( 1951 )
eletromagnetismo f-). matria

lleisenbcrg & Pomli ( 1929)
quanti:myo
classes caractersticas
fihrados topolgicos:
++Feynman(\948)
Cmlnn, Ehrc~mmm,
'
Yang & Mills ( 195-1)
intcraiio nutron-pntnu
Koszul (anos 40)

t:oncx:lo c
CLlrV<lllll~l
gt:llCI alizno JJo-abcli:JIJa
Bclaviu cl ai ( I<J75), Ati~ah et nl. ( Jt)7R)

sulu~iio d:1 cqua:1o de YaHg-r,Jills
I
Willen ( JIHN}
1c()ria qwl111fca de ca111pns
111JlO]!.IIJ.iC<l
Scihclg t'<~ \Vi11<:11 ( 1995)
clu;tli11:1dc
.ltliiC!'
I I 1JX.' L Flocr ( 1tiRR).
Don:ddson f I qno I
n:sullados em h'pnlo;.~ia
,;u icad<.'s
de~-
c 1-
Captulo 2
Classes caractersticas
2.1
Fibrado e conexao universais
Ns comeamos por revisar o conceito de fibrado principal com conexo.
Para uma exposio completa, veja [37] e [33]. Seja G um grupo de Lie c M
uma variedade diferencivel orientvel. Um fibrado principal P(M,G) uma
variedade diferencivel satisfazendo as seguintes condies:
L G age livre e diferenciavelmente direita em P;
2. o espao quociente de P pela ao de G difeomorfo a variedade
M e a projeo
3. P localmente
1f :
P __,. M infinitamente diferencivel;
t~ivial,
isto , para cada m E M existe uma vizi-
nhana U de m tal que 7r-~(U) difeomorfo a M x G.

O grupo C chamado grupo estrutural do fibrado e M a variedade de
base. Uma conexo sobre P(M, G) corresponde escolha de uma distribuio

horizontal 1v 1 isto , de um subespao de TpP satisfazendo os seguintes
axiomas, para Lodo p E P:
1. TpP = 1v EEl VP, onde VP o subespao de TpP tangente fibra
~- 1 (m), m ~ n(p);
CAPiTULO 2. CLASSES CARACTERlSTICAS
2. 1.p invariante pela ao de G, isto , 'Hpg = dR 9 (1ip) para todo

g E C, onde R 9 (p)
pg o difeomorfismo de P induzido pela
aao;
3. 1tp depende diferenciavelmente de p.

Esta escolha determina uniCamente uma l-forma w com valores na lgebra
de Lie do grupo estrutural, chamada forma de conexo, impondo-se que
kerw(p)
1-lv, Vp E F. possvel demonstrar que w ad-invariante,ou
seja, R;w = ad 9 -1w. A partir de agora nos referimos forma de conexo

simplesmente como conexo.
Note-se ainda que a todo fibrado pode ser
dada uma conexo; a demonstrao deste fato via partio da unidade.
A curvatura f! associada conexo w uma 2-forma com valores em
Q definida corno sendo a derivada exterior covariante de w. A equao de

estrutura fornece uma expresso explcita para a curvatura em termos da
conexo:
1
il ~ dw - z[w, w] ~ dw
+ w 1\ w
(2.1)
De (2.1) e da identidade de Jacobi segue a identidade de Bianchi
DO = O.
A conexo w dita fla.t quando O
DI,<)
Oi todo fibrado
com conexo jlat e variedade de base simplesmente conexa. triviaL Heuristicamente, a curvatura uma medida da no trivialidade do fibrado.
f :P
Q entre dois fibrados P(M, G) e
Q(N, 11) um mapa de fibrados se f preserva as fibras, ou seja, se P2 E
1
1
1rp (pt) :::? ](Pl) E 7rQ (f(P2)). Equivalentemente, podemos dizer que f
Uma aplicao diferencivel
--lo
comuta com a ao dos grupos G e H nos respectivos .fibrados. Esta aplicao

induz de maneira natural uma aplicao diferencivel entre as variedades base
f :M
-Jo
N tal que 7r q o f =
base so ditos isomorfos se
f
f
o 1r p. Dois fi brados sobre a mesma variedade

for um difeomorfismo e induzir a aplicao
identidade na base. Podemos, portanto, considerar classes de equivalncia

de flOrados mdulo isomorfi.slno; denota-se por [P(M, G)J a. classe do !lbrado
P sobre M pela relao de cqui":alnca acima.
CAPrru~oo 2. c~oAssks CARACTERiSTICAS
10
Tambm possvel considerar classes de equivalncia de Iibrados com

conexo. Duas conexes w e w1 em P so ditas equivalentes se existir uma
aplicao g : M __, G tal que
0/
= ady-tW
+ gdg- 1,
onde ambos os lados
so calculados em um mesmo ponto p E P. Esta transformao chamada

mudana de calibre. Assim, dois fibrados P(M, C) e P'(M, G) providos de
conexes w e
f : P -
w',
respectivamente, so isomorfos se existir um difeomorfismo
P' que induz o mapa identidade na base e cujo pullback de w'
coincide com w a menos de uma transformao de calibre. Denota-se por
[P(M, G);w] esta classe de equivalncia mdulo isomorfismo.

A
partir
do
fibrado
Q(N, H)
uma
aplicao
diferencivel
f : M _. N possvel obter um outro fi brado sobre M com o mesmo grupo

estrutural. Basta tomar o subespao de M x Q dos pontos (m, q) tais que
f(m) ~ Kq(q); o conjunto J'Q ~ {(m, q) E M x Q tq. f(m) ~ ffq(q)}

chamado pullback de Q(N, H) por
f.
O fato essencial que se dois mapas
f, g : M _,. N so homotpicos ento os fi brados f*Q e g"Q so isomoTjos.

Veja [61), parte 1, para a demonstrao deste fato.
NoLe aluda que se wq uma conexo em Q(N, H), ento a l-forma j*wQ
em M obtida pelo pull-back via
f tambm uma conexo em
f*Q.
Da
mesma forma, dois mapas homotpicos .(, g : M _,. N induzem fibrados com
conexo {f"Q,J*w) e (g*Q,g*wj isomorfos.

Um
fibrado
E(BG, G)
dito
universal
se
para
cada
fibrado
P(M, G) com gmpo estrutural C existe uma aplicao diferencivel
f :
---.4-
BC tal que P(M, C) e f*(E) so isommfos c se g : M _,. BC
_ homotpica f ento !*(E) e g*(E) so isomorfos. O problema de classificao de fibrados reduz-se, portanto, a um problema de classificao de
homotopia.
O fi brado universal existe quando a base M compacta e o subgrupo compacto maximal de G um grupo de Lle conexo; a base do fibrado universal
BG depende apenas do grupo estrutural e chamada espao de classificao

do grupo G (veja [15], p. 47j o resultado pode ser refinado admitindo vari-
CAPrTULO 2. CLASSES CAitACTEitSTICAS
11
edades paracompactas). Equivalentemente, o espao total E universal at
dimensO n se 1ri
encontra-se em
O para todo j < n - 1) j uma demonstrao deste fato
[61].
A variedade de Stiefel Vk,n(C), definida como sendo o conjunto dos k-
cn+k,
referenciais ortonormais orientados em
difeomorfa ao espao ho-
'
mogneo dado por Vk,n(C) = SU(n + k)/SU(k); a variedade de Grassmann
Gk,n(C) definida como sendo o conjunto dos k-planos em cn+k e representada por Gk,,(C) = 5U(n
+ k)j5U(k)
x 5U(n) ([33]). A projeo natural
Vk,n(C) ___,. Gk,n(C) que leva. um k-referencial no que k-plano por ele
definido torna a variedade de Stiefel um SU(n)-fibrado sobre a variedade
1r :
de Grassmann. Como Kj(Vk,n(C)) = O Vj < k - 1, ento Vk,n(C) o fi-
brado universal at dimenso k- 1 dos grupos unitrios SU(n). Milnor [43]

apresenta outra construo explcita, mais topolgica, de fibrados universais.
Os dois exemplos mais importantes para o presente trabalho seguem abaixo
(i= {0, 1) 2 ... }; para a demonstrao veja [44], captulo 7}:

GRUPO
50(2) = U(l)
BC
CP 00
50(3) ~ SU(2)
HP 00
HOMOLOGIA
H 2'(BG, Z) = Z
H4i(BG, Z) ~ z
Mais geralmente, I-1 2i+l(BG, Z) =O para qualqUer grupo de Lie com finitas
componentes conexas. Lembramos ainda que BGLn(R) = BSO(n) c que
BGLn(C) = BSU(n); em geral, o espao de classificao de um grupo I~o

compacto coincide com o espao de classificao do seu subgrupo compacto
maximal.
A um fi brado universal E (BG, G) pode ser dada uma conexo u, chamada

conexo universal ou cannica, tal que todo fibrado com conexo [P(M,G);wj
pode ser obtido por pullback do fibmdo universal [E(BG, G);u] provido da
conexo universal via aplicaes
f : M
--->
B G e aplicaes homotpicas
indv.zem fibrados com conexo isomorfos. Este resultado foi demonstrado

originalmente por Narasirnha.n & Ra.manan em [47]; Schlafly apresenta outra
demonstrao, mais simples, em [57].
2.2
12
Homomorfismo de Weil
Seja Q a lgebra de Lie do grupo G e

lineares1 simtricas Fk :
gk
.----?
G age pela adjunta em Q ad 9
gk
QX
... X
Q. Aplicaes multi-
R so polinmios k-homogneos na lgebra.
...--.+
Q tal que ad9 (A) = gAg- 1 . Polinmios
invariantes por esta ao, ou seja, tais que:
{2.2)
so chamados polinmi.os invariantes; com a adio e a multiplicao usuais,

estes polinmios formam um anel I (G).
Seja O a curvatura associada a uma conexo w de um fibrado principal
P(M, G). Note que Fk(fl) = Fk(n, ... , O) uma 2k-fonna horizontal (i.e. que
pode ser definida na basC) cmn valores na lgebra. Segue o seguinte teorema:
TEOREMA 2.1 (Chern- Weil) Existe u.m homomorfismo entre o anel de

polinmios invariantes l(G) e H*(M, R), o anel de cohornologia real dava-
riedade de ba.se do fibrado P(M 1 G).

Demonstrao: Considere a seguinte aplicao:
w: I(G) ~ II'(M, R)
Fk ~ {Fk(il))
onde k E
z+ e n a
(2.3)
curvatura associada a uma conexo w em P. O primeiro
passo mostrar que a 2k-forma Fk(O) fechada e portanto define uma classe
{F,{il)} E H2k(M, R). Note que:

k
dF,(il) ~ ~F,(il, ... , dil, ... , il) ~kF,(dil, rl, ... )
(2.4)
i=l
Temos porm da equao de estrutura (2.1) que:
dil
~d([w,
[dw, w]
[il,w]
~ ~([dw, w]- [w, dw] ~

~ [dw - ~[w, w], w] ~
w])
(2.5)
CAPtTULO 2. CLASSES CARACTERSTICAS
13
Portanto dFk(O) = kFk(lO,wj,O, ... ). Por outro lado, tome uma aplicao
g : lvf
---4
G e k elementos da 4lgebra fixos X i e diferencie a condio de
ad-invarincia, obtendo:
O= dPk(X 1 ,
... ,
Xk)
dFk(ad 9 X 1 , ... , ad 9 X k)
onde dg : TpM
---t
L~l Fk(Xl, ... , [dg, .-\i], ... , Xk)
(2.6)
Q, ou seja, dg uma l-forma em M com valores em Q;
ento dFk(Q) =O para qualquer conexo w.

Resta mostrar que a classe {Fk(rl)} E IJ 2k(M, R) independe da escolha
de conexo; isto feito mostrando-se que dadas duas conexes w e w' ento
Fk(n) e Fk(O') diferem por uma forma exata. Tome Wt = w +ta, onde a
uma l-forma g -cvaluada tal que a = w'- w, e nt = dw,- ~[wt, wt] =
O+ t(da- [w, a])- ~t 2 [a, a[. Ento:
~ kFk(da- [O,, a[, O,, ... )
(2.7)
Fk( da, Sl,, ... ) - (k - 1)h( a, [0 1 , w 1 ), 0 1 , ... )
(2.8)
.'!._ Fk(O,)
dt
por outro lado:

dF,( a, O,, ... )
segue porm da derivao da condio de ad-invarincia que;
Fk([a, w,], O,, ... )- (k- l)F,(a, [O, w,], 0 1,
... )~O
(2.9)
portanto;
d
-Fk(O,) ~ d(kF,(a, 0 1, ... ))

dt
e integrando a ltima expresso obtemos finalmente que;
(2.10)
(2.11)
A aplicao w, chamada homeomorfismo de Weil, fica portanto bem de-
finida; que w um homeomorfismo de anis segue de propriedades naturais
14
CAPrFULO 2. CLASSES CARACTERSTICAS

dos polinmios invariantes I(G) quanto soma e multiplicao.
Considere agora [E(BG, G), a] o fibrado universal do grupo G provido da
conexo universal de Narasimhan-Ramanan. A aplicao:
w: l(G) ~ H'(BG, R)
(2.12)
t(Fk) ~ Fk(B),
onde ~ a curvatura associada a, um isomorfismo (para uma demonstrao deste fato veja [15] p.59-64, omitimo-la pois envolve o estudo mais
detalhado de espaos homogneos, o que est fora do escopo do presente
.trabalho). Observe ainda que o seguinte diagrama comutativo:
l(G)
C".
w
H'(M, R)
"
11'
H'(BG, R)
(2.13)
pOis:
w(Fk)
onde f: M
{Fk(il)} ~ {Pk(r(E))} ~ U'U'k(E))}

~ f'{Fk(B)} ~f' o w(Fk)
/JG tal que J'[E(BG, G), ]
(2.14)
[P(M, G), w].
A classe {Fk{Sl)}, chama.da classe caracterstica da clas::sc de isomorfismo do fibrado P(M, C). Para fibrados vetoriais complexos e U(n)-fibrados
principais usamos as chamadas classes de Chern
ck(P), que so aquelas
obtidas pelos polinmios imrariantes Ck(O) que surgem como coeficientes do

polinmio em t dado por:
(21.5)
Assim sendo, ck(P) = {Ck(.O)} E H 2k(M, Z). Ainda, possvel demonstrar
que tais polinmios geram todo o anel I(U(n)) (veja [38] p.300). Portanto,
1
Tais classes foram primeiramente delinidas de maneira axiomtica por Chern em Ann.
of Math. 47, p.279 (1946).
CAPrFULO 2. CLASSES CARACTERSTICAS
15
qualquer outra classe caracterstica de U (n )-fibrados pode ser obtida por
combinao (somas e produtos) de classes de Chcrn.
Para fibrados vetoriais reais e O(n)-fibrados principais usamos as classes
de Pontrjagin
2,
definidas por
(2.16)
onde pc indica a eomplexificao do fibrado P(M, O(n)). Por outro lado,

as classes de Pontrjagin podem ser calculadas via polinmios invariantes, a
partir da expresso:
(2.17)
As classes de Chcrn de uma variedade complexa M so as classes de
Chern do seu fibrado tangente TM e so invariantes da estrutura complexa

de M. Para variedades reais, as classeB de Pontrjagin, isto , as classes de
Pontrjagin do Iibrado LangenLe, so invariantes da estrutura diferencial da
variedade.
Tambm de grande importncia so as classes de Stiejel- Whitney, para
fibrados topolgicos, e a classe de Euler, para fibrados vetoriais reais orientveis. Ambas, cnlrctanto, no podem ser obtidas travs de polinmios
invariantes. Para uma abordagem topolgica de classes caractersticas incluindo as classes de Stiefel-Whitney e de Euler remetemos a [44].
2.3
Classes caractersticas secundrias
Na demonstrao do teorema de Chern- Weil obtivemos a seguinte expresso:
(2.18)
Denotemos por TFk(w) a (2k- 1)-forma no interior do parntese do lado
direito de (2.18).
O primeiro fato a ser observado que, diferentemente
'
2lntroduzidas por Pontrjagin em 195 L
CAPtTULO 2. CLASSES CARACTERiSTICAS
16
de Fk(fl), TFk(w) no horizontal, ou seja, no pode ser definida sobre a
base e depende da escolha de
co~exo
em P(M, G). Observe ainda que se
Fk(n) =O, ento T Fk(w) uma forma fechada e portanto define uma classe
de cohomologia em H 2 k-l(P,
R) (no mais na cohomologia da base!); tais
classes so chamadas classes caraclerlslicas secundrias.
TEOREMA 2.2 Seja Wt uma fam{lia a um parmetro de conexes em P e

flt as respectivas curvaturas. Suponha que
(2.19)
Ento:
1. {Fk(11,)} independente de t;
2. se ainda fk(flt) =O, ento a classe {TFk(Wt)} definida e independe de
t.
dF,(~,,w,, 11,(T), ... ) ~ F,(d~,,
w,, 11,(T), ... )-F,( ~t, dw,, 11,(T), ... ) - (k - 2)Fk( ~t, Wt, [11,( T), Wtj, 11,( T), ... ) ~ (2.20)
~ F,( d~, - T[w,, q>], w,, 11,(T), ... ) - F,(~'' dw, - T[w,, w,[, 11,(T), ... )
Por outro lado, temos que:
:, f~ kFk(w,, 11,(r), ... )dr
k f~ F,(~,, 11,(r), ... )T'- 1dr+

+(k - I) f01 F,(w,, d</>, - ~T [w,, <Pt], 11,( T) ... )Tk-tdT
Portanto, denotando Vk(t) =
(2.21)
f~ Fk(4>t,wt,rlt(r), ... )rk-ldr e inserindo-se
(2.20) em (2.21):
HiTFk(w,)- (k -l)dVk(t) ~
k f Fk( rP, dw, - 2 ~~ 1 [w,, w,], 11t( T)... )T'- 1dT
1
0
(2.22)
17
O integrando do lado direito da equao acima pode ser expandido, a menos

do fator
Tk-l,
da seguinte maneira (a= 2 ~k 1 ):
Fk(f,,dw,- 2 ~;; 1 [w,,w,J,n,(T) ... ) ~

~ F,(,p,, n,' (I- aT)[w,, w,], n, + 1;:,-[w,,wt] ... ) ~
~ Fk( h n,, ... ) + L:::l a,( T)F,( ,p,, [w,, wt], n,, ... )
ondea,(T)~
(2.23)
k-2)
T
(1-T)"+ (k-2)
T-]
(1-T)"-l(J-aT), O primeiro
termo nulo por hiptese;

ri 'f"'(J- T)"dT ~
observando~se
.10
=?
m!nl
(m+n+I)l
ainda que:
ri a r (T)Tk-ldT ~
JO
(2.24)
temos portanto que:
(2.25)
e segue por integrao que:
(2.26)
O resultado segue imediatamente da expresso acima, posto que, por
definio, F,(n) ~ dTF.(w) e 'e Fk(D,)
O, ento a classe {'l'Pk(wt)}
definida e independe do parmetro t.
As condies do teorema acima so trivialmente satisfeitas, por dimenso,
quando 2k 2: dimM + 1: ne,te ca<o, a cla<Se {TFk(w)} E H2k- 1(P, R)

indcpcndc da escolha de conexo em P. Outras situaes em que o teorema
2.2 vlido sero vistas no capl;ulo seguinte.

Como preparao ao prximo resultado, recordemos que da scquncia
exata curta O-> Z -> R-> R/Z
O segue para toda a teoria homolgica a
sequncia de Bockstcin:
... ~ H'(X, Z) ~ H'(X, R)-'"H'(X, R/Z) ~ H' 1' 1 (X, Z) ~ ...
(2.27)
CAP1TULO 2. CLASSES CARACTERSTICAS

Se u uma k-forma com coeficientes reais,
i,
18
denota a sua reduo mdulo
Z. Ainda, se {u} uma classe real, ento {u} tambm uma classe inteira
se e s se {U} = O.
TEOREMA 2.3 Seja {P(M,G),wj e Fk E /(G) tal que Fk(O) =O. Ento
existe {u} E IJ 2 k- 1 (M,R/Z) tal que
{Tf.(w)} = K'({ii})
'
Demonstrao: O primeiro passo demonstrar a seguinte relao:
(2.28)
(2.29)
sendo suficiente demonstr-la no fibrado universal [E(BG, G), a], po1s sua
validade em geral segue por pullbad:. A 2k-forma exaLa Pk(E) define uma
classe inteira em H 2k(HG, R), portanto f\(L..) representa a classe trivial em
H 2k(BG, R/Z), ento Fk(:E) exata, i.e. existe (2k- 1)-forma U com coeficientes em R/Z sobre BG tal que dU = f\('E). Segue ento que:
dK'(u) = K'(du) = K'(i.(E)) = dT f.(o )/ 1 "" T i.(<T) = K'(u) +da
(2.30)
como queramos mostrar. Voltando a um fi brado qualquer, temos que existe
(2k- 1)-fonna
com coeficientes em R/Z sobre a base tal que d1r"'() =O
pois, por hiptese, dTFk(w) = Fk(O.) =O; segue que d =O, portanto ii.
fechada e consequentemcntc dciiue uma classe { U} E Jl 2 k~ 1 (M 1 R/Z) cujo
puilback para o espao total coincide com {T Fk(f.U)} por (2.29):
{Tf.(w)}
K'({ii})
(2.31)
o que conclui a demonstrao.
A classe {i} E H 2 k~l (M, R/Z) chamada carcter de Simons SFk(w). O

resultado acima o primeiro
p<l,SSO
para um refinamento da teoria de classes
caracterstieas elaborado por Simons & Cheeger em [14].
CAPrFULO 2. CLASSES CAR.ACTERSTJCAS
19
Casos particulares
Porfim, passamos a examinar alguns casos particu~ares que so especialmente interessantes por suas aplicaes em fsica: S 1 - e SU(2)-fibrados sobre
3- e 4-variedad.es. Antes, porm, fornecemos
algumat~
frmulas explcitas para
as primeiras classes de Chern e as respectivas classes secundrias, conforme
definidas em (2.15) e (2.18) (ck ~ {Ck(n)}):
Co
c,
2~tr(n)
d,.tr(w)
TC1
c,
TC2
c,
TC3
n)- (trn) 1\ (trn))

s!?tr(w 1\ dw + ~w 1\ w !\ w)
48~, (-21.,.(n AnA n) + 3(t,ll A n) A (trn)
-(trll) A (trll) A (trn))
1 tr(w,/\ dw 1\ dw + ~w 1\ w 1\w 1\ dw+
48 3
1\ w 1\ w 1\ w f:.. w)
8
(tr(n
1\
(2.32)
+Jw
A lgebra de Lie de 5' 1 simplesmente R; ento a primeira classe de

'
Chern c1 a nica no-nula.
Assim, os fi brados lineares, como so chamados
os 5 1 -fibrados, so classificados por c 1 , independentemente da dimenso da
variedade de base do fi brado. O primeiro termo da segunda classe secundria
TC' 2 tambm no nulo; o segund? (w 1\w 1\ w), porm, anula-se. Note ainda
que {TC'd definida (pois c2 =
O) e depende da conexo em P se a variedade
de base for 3- ou 4-dimensional.
A lgebra de Lie de SU(2) composta pelas matrizes complexas 2x2 antihcrmitianas, porLauLo tm trao nulo, o que simplifica bastante as frmulas
acima para c2 e c3 . Como j mencionamos anteriormente, BSU(2) = HP 00
e H 6(HP 00 , R) =O, portanto C3 nula. Mais geralmente, c2k = tr(f! 2k) so
as nicas no triviais.
Em particular, se dimM = 4, ento c2 a nica no-nula; ou seja, a
segunda classe de Chern classifica SU(2)-fibrados sobre 4-variedades
Se
3Na teoria de Yang-Mills no-abeliana, a integral JMcz conhecida como instanton

number.
CAPfFULO 2. CLASSES CARACTERSTICAS
20
dimM = 3, ento c2 = O, portanto SU(2)-fibradas sobre. 3-variedades so

sempre triviais. A segunda classe secundria portanto definida e em geral
no-nula.
Captulo 3
Aplicaes geometria
nemann1ana
3.1
Invarincia conforme e projetiva
Passamos a aplicao geometria riemanniana .da teoria de classes caractersticas e classes caractersticas secund1ias desenvolvida no captulo anterior. Comecemos por considerar M uma variedade riemanniana de dimenso
n e sejam UiJ c g~j duas mtricas conformes entre si, ou seja, existe 'Y : M
tal que
gij =
--+
exp(2J)U~j Inserindo-se esta ltima relao na definio dos
smbolos de Christo1Icl [23] 1 obtemos a seguinte identidade tensorial (ado-
tando a 'conveno de Einstcin):
r l'
th
181
lmal
r1
'+ 6i--+
.-. + YuY - fJxJ
ex~
exm.
(3.1)
a , conexo riemanniana em M,
lembramos que
"
Denotando por
\7
'V~= r;jdxi; ento (3.1) transforma-se na seguinte identidade matricial:
(3.2)
onde a
(~dxi) e (3
mtricas conformes
flt
(.9tktb:ki;rgit).
A famlia a um parmetro de
= exp(2try)g conecta g = (gij) e g' = (g:;). De (3.2)

21
CAl'ri'ULO 3. APLICAES GEOMETRIA RIEMANNIANA
22
segue que:
(3.3)
Seja Fk E f(GLn(R)). Queremos mostar que Fk(-!ft'Vt, Ot, ... )=O, onde r!
a curvatura ricmanniana associada mtrica; esta relao torna aplicvel

o teorema 2.2. Se k mpar ento tr(Ok) = O pois O anti-simtrica; como
estes polinmios geram l(G), segue que Fk(n) =O. Se k for par, do pargrafo
anterior, temos:
F,(:t V,, 11,, ... )
~ d7Pk(I,, 11,, ... ) + F,(a, n,, ... ) + F,((J, 11,, ... )
(3.4)
O primeiro termo do lado direito claramente nulo. Observando-se que:
tr(a 11 nk- 1)
~ tr
(::.da!
11 n llflk-')
~o
(3.5)
pois o termo sob a chave identicamente nulo [23]; ento, o segundo !.ermo
de (3.4) anula-se. Finalmente, o terceiro Lermo de (3.4) tambm nulo [23],

p01s:
tr((J
11 nk-1) ~ tr ( ::,gjl~ llrlk-2) ~ o
(3.6)
Desta maneira, o resultado abaixo segue de imediato das consideraes

acima c do teorema 2.2:
TEOREMA 3.1 Seja [B(M,O(n)},Vj o fibrado das bases ortonormais de

uma variedade riemanniana Mn e Fk E I(O(n)) de grau par. Ento a 2kjorma Ji'k(O) invariante por transformaes conformes da mtrica. Ainda)
se Fk(fl) ~O, ento a classe secundria {TF.(V)} E H"'- 1 (B, R) fica definida e depende apenas da estTulura conforme de M.
Uma transformao projetiva da variedade riemanniana (Mn, g) aquela
que deixa invariantes as geodsicas de M [23]. Duas conexes \1 e \1 1 pertencem a mesma classe projetiva se existir uma l-forma).= ai(p)dxi e uma
matriz n = (adp)dxj) tal que:
(3.7)
CAPiTULO 3. APLICABS GEOMETRIA RIBMANNJANA
23
As conexes \7 e '\1 1 podem ser ligadas por uma famlia a. um parmetro da

seguinte forma: Vt = t(>.In +a)- \1. Todo o argumento acima novamente
vlido e podemos reescrever o teorema 3.1 trocando a palavra conforme por
projetiva.
3.2
Teorema de imerso conforme
Nesta seco denotaremos por E(Mn) o GL(n, R)-fibrados de bases da vari-
edade riemanniana M de dimenso n e por F(Mn) o O(n)-fibra9-o das bases

ortonormais de M, ambos com a conexo riemanniana \7j P(Mn) subfibrado de E(Mn). Seja tambm Vn,k(C)(Gn,k(C), U(k)) o U(k)-fibrado de
Stiefel sobre a variedade de Grassmann Gn,k(C), como descritos no segundo
captulo, e u a conexo cannica de N arasimhan- Ramanan.

Lembrando da definio dos polinmios invariantes que do origem s
classes de Chern (2.15), os polinmios inversos de Chern
Cf
so definidos
pela seguinte relao:
(1
+ ct + + ct + ... )('1 +c,+ ... + c,+ ... )~
e a classe de Chern invdrsa fica definida por
c[
= { C/(D)}.
(3.8)
Definio in-
teiramente anloga pode ser feita para as classes de Pontrjagin, usando-se
(2.17).
Outra maneira de definir a classe de Chern inversa a seguinte. Sejam W
e V dois fi brados vetoriais de mes1rio grupo estrutural e mesma base tais que a
soma de Whitney W E& V trivial. Ento ci(W)
cf(V). Por exemplo, con-
'ide<e o' fibrado, de Stiefel V,,,(C)(Gn,k(C), U(k)) e V,,,.(C)(Gn,k(C), U(k))

e note que Vn,k(C) Ell Vk,n(C) ~ cn+k, portanto c,(Vk,n(C)) ~ cf(Vn,k(C)).
Antes do teorema de imerso conforme de Chern & Simons, o resultado
principal deste captulo, demonstraremos trs lemas preparatrios.
CAPTULO 3. APLICAES GEOMETRIA RIEMANNIANA
24
LEMA 3.1 Em IVn,k(C), u], para i> k, vale que:

1. C,"(~)~
2. {TCf(u)) E H 21 - 1 (Vn,.(C), Z)
Dernonstmo: Da observao acima temos que, para i
>
k;
(3.9)
Portanto a 2i-forma Cf(L:) exata em Gn,k(C). Porm, Gn,k(C) uma
variedade remanniana compacta e srritrica e a forma Cf (L:) invariante por
isometrias (essencialmente
, porque a conexo o ; veja [15] p. 76). Portanto
C/-(E)
O, demonstrando o primcito item.
A classe {TCf(a)} E ll 2i- 1(Vn,k(C), Z) fica assim definida. Usando o teorema. 2.3, podemos definir em uma classe {Tf(o)} E H 2i- 1(Gn,k(C), R/Z).
Mas os grupos de cohomologia de ?rdem mpar de G71 ,k(C) so todos triviais
([15], p.72) portanto {Tf(u)} =O e o segundo item segue deste fato e da

sequncia de Bockstein.
LEMA 3.2 Em [~~,k(R) 1 a], para i> [~] 1 vale que:

1. P/(~) ~O
2. {TP/(u)} E J1 4i-l(Vn,k(R), Z)
Demonstrao: A incluso natural dos reais nos. complexos R
--+
C induz a
seguinte aplicao entre fibrados:
(3.10)
CAPiTULO 3. APLICAES GEOMETRIA RIEMANNIANA
25
Segue do diagrama acima e da definio (2.16) que:
Pl{L,) = (-1)'1/I'(Ci,(L,)) }
{ TP/(o) = (-l)',f;'(TCi,(o))
Como i
> [~ J :::::> 2i >
(3.11)
k o lema anterior se aplica, o que finaliza a presente
demonstrao.
O segundo item do lema acima pode ser ligeiramente refinado; o que
faremos no ltimo e mais delicado lema.
LEMA 3.3 0TP/(o)) E H 4'- 1 (Vn,k(R), Z)
- D a sequenc1a
. exa t a cur tO
a
D ernonstra.ao:
-+
nz
-t
-t
Z2
-+
Ot emos a
seguinte sequncia de Bockstein:
(3.12)
Uma classe inteira u E Il(Vn,k(C), Z) par se e somente se sua reduo mod2
nula. Basta mostrar, portanto, que para todo u E H*(V..,k(C), Z2) temos
que =O.
Seja A = Z, Z 2 e G = U(n), O(n).
aplicao
O primeiro passo definir uma
II'(BG;A)- H'- (G;A). Tome {a} E IJ'(BG;A) e escolha
T:
um representante "( E {a} tal que 'Y se anula nas fibras de
1r :
E _.. B G,
ou seja 1f"'(1')1.rr-l(m) =O para todo m E BG. Corno o anel de cohornologia

de E trivial, pois 1rk(E) = O para todo k, ento 1r''(-y) = 8{3, onde 8
o operador de cobordo. H.estrito s fibras f] exata, portanto define urna
classe {fl} E
w-l (G; A) c definimos T ( {"})
H*(E; A) que
{fl ). Segue da trivialidade de
bem dcfiuido, sendo independente das ccolhas de 1 e
/3.
Note ainda que:
(3.13)
pois
1r* (
1) 17T-l(m)=G
O.
CAPiTULO .1. APLICAES GEOMETRIA RIEMANNIANA

A incluso natural tp ;. O(n) -
26
U(n) induz o scgiutc diagrama comutativo:
W(U(n); Z 2 )
,.
II'(O(n);
z,)
(3.14)
T )
) T
W(BU(n);
z,)
E, H'(BO(n); Z 2 )
Seja i E JI 2i(U(n); Z 2 ) a reduo mod2 da i-sima classe de Chern Cii ento

vale que p*(i) =
wi
U wi, onde wi E Hi(U(n); Z 2 ) a i-sima classe de
Stiefel-Whitney. Assim, segue do diagrama que:

(3.15)
por (3.13).
Como i so geradores de H*(BU(n); Z2), ento T(i) geram
II'(U(n);Z 2 ), portanto <p(ii)
~O para todo
uE
H'(U(n);Z 2 ), onde
reduo mod2 de uma classe u E H*(U(n); Z).

Para concluir a demonstrao do lema, ba..c;ta observar que no diagrama
comutativo induzido por tp entre as cohomologias das variedades de Stiefel:
1f2 !
W(O(n
as aplicaes
rr 1 ;
U(n
+ k)
(3.16)
+ k); Z 2 )
~ U(n +k)/U(k) ~ Vn,k(C) e rr2; O(n
+ k)
O(n+k)/O(k) = Vn,k(R) so injetoras. Como vimos acima, a imagem de r..p*

nula; segue portanto qtl.e a imagem de 0" tambm nula., como queramos
demonstrar.
Estamos agora prontos para demonstrarmos o teorema de obstruo

existncia de imerso conforme e~ espaos euclideanos de Chern & Simons:
TEOREMA 3.2 Se (Mn,g) admite uma imerso conforme global em algum espao euclidiano Rn+k ento, para i > [~] 1 vale que P/-(n) = O e
?/('V)) E H 4'- 1(E(M"), Z)
nT
CAP1TULO 3. APLICAES GEOMETRIA RIEMANNIANA
27
Demonstrao: Seja 1/J : Mn.--+ Rn+k uma imerso conforme. Por definio, g
conforme mtrica induzida de Rn+k; portanto, pelo teorema 3.1, podemos

assumir que 'ljJ uma imerso isomtrica, tornando Mn sub-variedade. de
Rn+k_ Seja F(Mn) o fibrado das bases ortonormais de M e considere a
seguinte aplicao entre fibrados:
F(M") ..'.'.
V,,,k(R)
.!, Gn,k(R)
M"
onde
\]1
(3.17)
o mapa de Gauss, que leva p E M no seu espao tangente. Se a
a conexo cannica no fibrado de-Stiefel ento 'V= W*(u)
lemas 3.2 e 3.3, vale que P/(fl) =O e gTP/(V')} E
i > [~] no fibrado F(M").
If4i-
Portanto, pelos
(F(M"), Z) para
Como {TP/(V')} E H"- 1 (E(M"), R) ento
{TP/('V)} uma classe inteira posto que a sua res_tro ao sub-fibrado
F(Mn) C E(Mn) define uma classe inteira. E, por invarincia, P/-(il)

tambm em E(Mn), o que conclui a demonstrao.
O
D
De acordo com a secao anterior, um resultado idntico para imerses
projetivas tambm pode ser demonstrado.
Resultados semelhantes sobre
imerses conformes foram posteriormente obtidos por Cheegcr & Simons [14]
e por Atiyah, Patodi & Singer em [7] este ltimo atravs da relao existente
entre o invariante r1(0) definido por estes autores e o invariante diferencial de
Chern & Simons aqui apresentado.
Relao entre ry(O) e {TPf('V)}
Seja D um operador elptico auto-adjunto de primeira ordem definido em
M. A funo 1Jn(s) associada ao operador D definida como sendo:

'lv(s)
L;(sign!.)IW'
(3.18)
1Para uma demonstraao deste resultado de geometria riemanniana, veja a primeira

proposio do artigo de Schlafly [57] ou [38), p. 7-8.
CAPiTULO 3. APLICAES GEOMETRIA RIEMANNIANA

onde
28
so os autovalores de D. Estamos particularmente interessados no
caso em que D = ( d
* - * d)
que leva formas de grau mpar em formas de
grau mpar e formas de grau par em formas de grau par.

Considere agora M uma (4k -1)-variedade riemanniana tal queM = &X,
onde X uma 4k-varicdadc riemanniana; esta restrio no de fato sria,
pois sabemos da teoria de cobordismo que se dimM mpar, ento 2M
sempre bordo de alguma X. Suponha ainda que em uma vizinhana do

bordo vale que X
=M
x /. Nesta condies vale a seguinte frmula, ([7],
teorema 4.14):
a(X)
~L L(p)- ryv(O)
(3.19)
onde: (i) a(X) a assinatura da forma quadrtica Q(a, (3) = fx a 1\
fJ em
H k(X, R); (ii) L(p) o polinmio L de I-Iirzebruch nas classes de Pontrjagin

(veja [44] p. 224); {i) 'IJo(O) a funo cta do operador D agindo nas formas
de grau par.
Seja C o espao das conexes riemannianas em M. Da.das duas conexes
V o e V 1 escolha um caminho 1 : I
---lo
C ligando-as e levante o fi brado
tangente TM para T(M x I), provendo-o de uma conexo

trivial na direo I e restringe-se V 0 em T(M
tal que -rr
{O}) e \7 1 em T(M x {1} ).
_Aplicando (3.19) a X = M x I temos:
a(M x I)=
lMxl
L(p)- [rw,(O)-
ry~0 (0)J
(3.20)
onde Do, 1 so os operadores D associados s mtricas que definem as conexes

V 0 ,1 e as classes de Pontrjagin so calcul<tdas a partir da conexo _V em M x I.
Como iJ( M x I) = O, temos:
ryv,(O)- rJv0 (0) ~

Denotando por
lMxl
L(p)
(3.21)
a curvatura ricmanniana da conexo \7, defina a se-
guinte aplicao em C:
(3.22)
CAPrl'ULO .3. APLICAES GEOMETRIA RIEMANNIANA
29
Assim:
(3.23)
Lembrando que
f2
tambm funo das classes de Pont1jagin e comparando
as duas ltimas expresses, conclumos que:

~v(O) ~ F(\1) +ele
(3.24)
Note que Ji'(V) assume valores em R/Z. Se X variedade de dimenso

4k tal que M = fJX, ex tenda V para uma conexo \7 em X c defina:
F(\1)
se X' outra 4k-varicdadc tal que M
lxr L()
=
(3.25)
8X 1 com a conexo
f:!',
cole X e
-X' ao longo de M formanclo uma 4k-variedade.orientvel sem bordo Y com

conexo <f; obtida colando-se
V e fJ'
ao longo de V. Assim:
r L(?lJ _ lxrr L(?l') ~ }yr L(<J>)
(3.26)
Jx
onde o lado direito um inteiro pois a assinatura de Y pelo teorema da
assinatura de Hirzebruch. Portanto, F(V) bem definida em RmodZ. Podemos, portanto, encarar 1](0) como sendo uma aplicao C
--+
R/Z que leva
\1 em 'ID(v)(O) ~ P(\1).
Semelhantemente, a integral da k-sima classe caracterstica secundria
tambm pode ser vista como uma aplicao H : C
--+
R/Z, definida por:
(3.27)
Ou seja, a aplicao H envolvendo a classe secundria de Chern-Simons e a
funo 1J de At.iyah-Patodi-Singer so o mesmo tipo de objeto, i.e. aplicaes
do espao de conexes riemannianas em RJZ.
CAPTULO 3. APLICAES GEOMETRIA RIEMANNIANA
30
Caso 3-dimensional
Examinemos agora o caso particular em que (M, g) uma 3-variedade ri-
emanniana compacta orientvel. Considere F(M) o 80(3)-fibrado das bases

ortonormais orientadas de M provido da conexo riemanniana V' cujo tensor
de curvatura D. Recorde das observaes feitas no fim do captulo anterior

que este fi brado trivial (equivalentemente, toda 3-variedade paralelizvel).
Como P1 (rl) uma 4-fon~1a horizontal, temos que Pl-(!1)
P 1(O)
O; ento
a 3-fmma TP1 (\1) fechada e define uma classe que, pelo teorema 3.1, depende apenas da estrutura conforme de (M, g):
{TP1 ('i7)} E H 3 (F(M),R)
(3.28)
Do teorema 2.3, podemos definir uma classe {TJ\('i7)} E IJ 3(M,R/Z) ~

RjZ. Se esta classe for nula ento, pela sequncia de Bockstein, {T P1 (\7)} E
H 3 (F(M), Z).
Defina:
Note que, pelo teorema de de Rham, (j>(M) E R/Z; assim, seM' a mesma
3-variedade com outra estrutura conforme ento <P(M')
4>(M) +n, n E Z.
Das consideraes acima e dos teoremas 3.1 e 3.2 segue de imediato o segUinte
resultado:
TEOREMA 3.3 <I>(M) um invariante conforme (projetivo). Ainda, seM

admite uma imerso conforme (projetiva) global em
R\
ento {j>(M) =O.
Podemos mostrar explicitamente a relao entre W(M) e o invariante 17

de Atiyah-Patodi-Singer no caso
~e
3-varicdades. Neste caso, a nica classe
CAPTULO 3. APLICAOES A GEOMETRIA RIEMANNIANA

de Pontrjagin de X = M
31
f no~nula a primeira c o polinmio L de
I-Iirzebruch reduz-se a L(p) = !P1(~). Segue ento que:
'lv(O) ~-I
3,
Mxl
(3.30)
P 1 (V)
O lado direito o nmero de autovalores positivos menos o nmero de autovalores negativos de D, portanto um inteiro. Por outro lado:
1
r
T P,(V) _.- r P,(V)
2)M
2}Mxl
I
~-
<!>(M)
(3.31)
Estabelecemos desta maneira a seguinte proposio:
'
PROPOSIO 3.1 2<!>(M) ~ 3~ 0 (0)
O teorema 3.3 pode ser portanto rcformulado em termos da funo 1J do
'
operador D = ( *d - d*) associado a mtrica definida pela conexo riemanniana V agindo nas formas de grau par:
TEOREMA 3.4 rJo(O) =O um invariante conforme (projetivo)- Ainda,

se M admite uma imerso coriforme (projetiva) global em R 4 1 ento
11v(O) ~ O.
Outros resultados
Para aplicao dos resultados desta seco em exemplos concretos, veja

os trabalhos de J. Millson [42] c K. Tsuboi [62]. Citamos agora, sem demontra.o, os principais teoremas destes trabalhos, simplesmente como exemplo
do tipo de resultados que podem ser obtidos. O primeiro deles nos fornece
um critrio para. decidirmos se quocientes da n-esfera por grupos finitos so
ou no confonnementc imcrsveis em baixa codimenso:
TEOREMA 3.5 (Millson [42]) Seja p: G
O(n
+ 1)
de um grupo finito G e considere o espao quociente M
{TPt{V)} E H
4
k- 1 (M,
uma representao
sn f (G, p),
Ento
R/Z) se anula se e somente se p' Pf E H4l<(BG, Z)
tambm se anula para. 4k- 1 :s; n.
CAPTULO 3. APLICAES GEOMWl'HIA RIEMANNIANA
32
O segundo resultado mais direto; como acima 1 M = snj(G,p):
TEOREMA 3.6 (Tsuboi [62]) Sejan
7) tal qne G = n 1 (M)

P,"(V)} E H 3(0(M), R) (resp.
3 (resp. n
HT
no isomorfo Z2m+1 (m 2 1). Ento

{TP;'(V)} E H 7(0(M), R)} no u.m inteiro para qualquer representao
p. Em particular, M no conformernenle imers{vel em R 4 (resp. R 7 ).
Por exemplo, 80(3)
RP 3
8 3 /Z 2 com a mtrica de curvatra cons-
tante unitria no conformemente imersvel em R 4 . Ainda, RP 7 = S 7 jZ 2
no conformem ente imcrsvel em R 10 , apesar de ser diferenciavelmente imers-
vcl em R 8 (pelo teorema de Whitney).

Concluso
O aspecto mais interessante da teoria desenvolvida nesta seco o casamento entre geometria, topologia e anlise. Assim a existncia de imerso
conforme, que um resultado geomtrico, depende, pelo teorema 3.3, do anulamcnto de uma certa classe de cohomologia, uma condio topolgica, ou,
equivalentemente pela proposio 3.l,'do comportamento dos autovalores de
um operador diferencial (teorema 3.4), uma condio analtica.
'
Ptl.O(b.S~'.O
C.O~t>\<;~0
'3.l.
TOPo LC..\C.R
CON'O\c;.~O
'
A.Wb..t...IT\C.~
1'tO'('l..E.l-I.A
IEREH.PI
:,;:;
3.4
.
R'ESUL\'P.'\'::.0
Gt:ON ElO.. \00
Captulo 4
Polinmio de J ones segundo
Witten
4.1
Ns e seus invariantes
Um n um mergulho K : 8 1 ---+ M do 8 1 em uma variedade 3~dimensional
M, usualmente R 3 ou S 3 . Dois ns I<1 , I< 2 C M so ditos isotpicos se existir uma famlia a um parmetro de homeomorfismos da variedade ambiente
ht: M
--+
M tal que ho o homeomorfismo identidade e h 1 leva ]{ 1 em K 2 ,
ou seja, tal que K 2 = h 1 o K t Isotopia ele ns claramente uma relao
de equivalncia. Um n dito trivial se for isotpico a 8 1
R 3 . A unio
disjunta de p-ns distintos chamada de elo. Trataremos apenas o caso de

ns; todos os resultados, enttetanto, so vlidos tambm para elos.
A teoria de ns surgiu no final do Sculo passado com a teoria atmica de
Lord Kelvin, segundo a qual os tomos eram vtices de ter e a classificao

'
de ns implicaria na classificao dos elementos, c preocupa-se em classificar

ns mdulo isotopia. Tal problema pode parecer bastante especfico; o esforo
em resolv-lo, entretanto, exige uma srie de tcnicas algbricas, topolgicas e
geomtricas de grande interesse. N.o presente trabalho, estamos interessandos
apenas em aspectos bastante especiais do problema. Para um boa introduo,
veja [2] (captulo 10) e [29]; [17] o texto introdutrio clssico usualmente
33
CAPfTULO 4.
POLINMIO DE JONES SEGUNDO WITTEN
34
citado.
A forma natural de classificar ns procurar invariantes de isotopia, ou
seja, objetos algbricos que se igualam quando dois ns so isotpicos. Alguns

dos invariantes descritos na literatura so os seguintes, em ordem crescente
de fora:
1. determinante do n;
2. polinmio de Alexander;
3. grupo do n, dado por n1(M- K);
4. ndice da matriz de auto-interseco da superficie de Seifert associado a um n;
5. polinmio de Joncs, primeiramente introduzido em [35];
6. polinmio HOMFLY, generalizao tanto do polinmio de Jones
como do polinmio de Alexander introduzida em [26].
Os quatro primeiros so invariantes clssicos c podem ser encontrados nas
referncias j citadas. Nosso interesse est nos dois ltimos invariantes, em

especial no polinmio de Jones. Nenhum dos invariantes listados, entretanto,
definitivo: se dois ns so isotpicos ento o invariante igual, mas a

recproca pode no ser verdadeira. Por exemplo, o polinmio de Alexander do
n de trs folhas igual ao polinmio de Alexander da sua imagem especular,
apesar destas no serem isotpicas. O problema da completa classificaO dos
ns continua, portanto, em aberto.
Seja [{ um Di o polinmio de Jones VI<(t) de
J(
um polinmio de
Laurent em uma varivel com coeficientes inteiros calculado a partir da sua

'
CAPlTUDO 4. PODINMIO DFJ JONES SEGUNDO WITTEN
35
projeao 2-dimensional. . Neste sentido, a definio usual do polinmio de
Jones extrnseca, sendo necessrio ainda demonstrar que VJ<(t) no depende
da projeo. Assim como os outros dois invariantes polinomiais citados na

lista acima I, VK(t) pode ser definido atravs de uma relao de recorrncia,
chamada relao de skein, que relaciona o polinmio de Jorres de um n cuja
projeo possui n-cruzamentos com o de outro n cuja projeo tem (n -1)cruzamentos, sendo necessrio portanto dizer qual o polinmio de Jones do
n trivial que no contm nenhum cruzamento (normalizao). Considere
trs ns L+, L-, L 0 idnticos a menos do interior de um pequeno disco, no
qual temos:
(4.1)
ento os polinmios de Jones para L+ 1 L- e L 0 se relacionam da seguinte
manena:
(4.2)
e o polinmio do n trivial dado por:
1
t - t- )
Vo(t) = ( - t1/2- t 1/2
(4.3)
O polinmio de Jones goza ainda de uma srie de outras propriedades interessantes (veja [35]). A mais importante vem do fato do polinmio de Jones
ser capaz de diferenciar um n da sua imagem especular no-isotpica (o
exemplo mais conhecido o chamado n de trs folhas), ao contrrio dos
invariantes 1-3 da lista. Se /{ denota a imagem especular do n I< ento
VJ((t)
VK(lft) (para uma demonstrao deste fato veja o artigo original
de .Jorres [35]).
lOs polinmios de Alexander e de Jone.s s.iio primeiramente definidos por topologia
e por represen~aes das lgebras de von Neumann, respetivamcnte, e depois mostrase que a defmio via relao de skein equivalente. O polinmio HOMFLY definido
diretamente via relao de skcin, ou atravs da lgebra de Hecke.
CAP1TULO 4. POLINMIO DE JONES SEGUNDO WITTEN
36
'
O argumento de Witten a ser det.alhado na prxima seco usa de ma-
neira essencial a possibilidade de se definir o polinmio de Jones a partir das

relaes (4.2) e (4.3). A estratgia a seguinte: dentro do contexto de uma
teoria quntica de campos baseada puramente no termo de Chern-Simons (a

segunda classe secundria), Witten define funes de correlao de observaveis fsicos que so essencialmente a holonomia da conexo (agora interpretada como potencial de ga.uge) de um fi brado principal sobre M a medida que
se percorre o n. Verificando que tais funes satisfazem relaes anlogas
a (4.2) e (4.3) temos uma analogia formal destas funes com o polinmio
de Jones. Como mencionamos anteriormente, este mtodo intrnseco, no
sendo necessrio projetar o n em um plano para se calcular a funo de
correlao associada.
4.2
Polinmio de Jones via TQC
Seja [P(M 3 , SU(2)), A] um SU(2)-fibrado principal sobre uma 3-variedade

riemanniana compacta, serri bordo e orientvel M provido de uma conexo
A
que fisicamente interpretada como sendo o potencial de gauge. Tais
fi brados so sempre triviais, ou seja, c1 = c2 = . .. = O.
Neste contexto,
considere o seguinte funcional sobre o espao de conexes A em P:
-k
tr(A 11 dA+-2 A 11 A 11 A)
(4.4)
4rr M
3
que generaliza, a menos da constante multiplicativa, o invariante <P definido
no final da seco 3.2 dado pela int,egral da segunda classe secundria de

Chcrn TC2(V); k a constante de auto-acoplamento, assim chamada porque o Lermo de Chern-Simons apresenta auto-acoplamento dos campos de
calibre. Note que para calcularmos o trao necessrio escolher uma representao irredutvel do SU(2); utilizaremos sempre a representao matricial
2Passamos a denotar conexo pela letra A e curvatura pela letra F ao invs de w e !l
utilizados no captulo anterior, pois esta notao usual em fsica devido analogia com
o potencial e o campo eletromagnticos.
CAP1TULO 4. l'OLINOMIO DE .JONES SEGUNDO WITTEN
37
2-dimensional usual ~. .Tomaremos S como sendo a aao de uma teoria

quntica de campos topolgica
4.
O primeiro fato a ser observado que S nao invariante de calibre.
Entretanto, vimos que quando a classe TC2 (A) E H 3 (P, R) definida ento
possvel definir urna classe com coeficientes em R/Z na base; portanto,

quando realizamos uma mudana de calibre A --+ A' = gAg~ 1 + gdg- 1 ento
S' = S + n(g), isto , a ao' muda }~ela adio de um inteiro que depende
de g E SU(2). Assim sendo, exp(iS) torna-se invariante de calibre desde que
k assuma apenas valores ,inteiros (assumindo uma normalizao conveniente

do trao), o que a chamada condio de quantiza.o da constante de autoacoplamento. Definimos, ento, a funo de partio de M 3 como sendo o
funcional integral de Feynman dado por:
Z(M)
j VAexp(iS)
(4.5)
onde 'DA uma medida no espao de conexes, que pode no ser matematicamente bem definida; existem tcnicas em fsica, entretanto, capazes de
contornar este problema e efetivamente computar (4.5).
O prximo ingrediente a ser introduzido so os chamados loops de Wilson
sobre o n !{, que so essencialmente o clculo da holonomia da conexo A
a medida que se percorre
f(
e fazem o papel de observveis fsicos da teoria:
W(K)
~ t>P cxp
(L A)
(4.6)
onde Pexpf A:= 11(1- A(x1 )8x1 ), onde Xj uma partio de I<, a integral de caminho ordenada, usual em teoria de campos (veja [52], p.2_76).
W(K) tambm invariante de calibre. Conforme observamos anteriormente,
3 As
representaes irredutveis do SU (2) so parametrizadas por i= O, 1, 2, 3, ... , onde

~ fisicamente interpretado como o .~pin de urna partcula quntica; a representao trivial
coucsponde a i = O e a representao matricial 2-dimcnsional correponde a i = 1. Para
demonstrao deste fato, veja [50], p.l09-112.
4 Witten utiliza a palavra 'topolgica' para designar eovarincia geral, ou seja, independncia da escolha de uma mtrica na base.
CAPiTULO 4. POLINMIO DE JONES SEGUNDO WITTEN
38
tomamos o trao como sendo o trao matricial usual Fisicamente, um loop

<;le Wilson representa a trajcLria de uma partcula sem massa e com carga
SU(2) dada pela representa? escolhida. Definimos agora a funo de correlaiio no-normalizada do n I<:
Z(M, K)
=f VAexp(iS)W(K)
e a funo de correlao normalizada dada por i(M, K)
(4.7)
=
Z}7Af~ 1 . Trata-
se de um objeto invariante de calibre e, em princpio, topolgico, no sentido
que no depende da escolha de uma mtrica em M. Witten demonstra que

este de fato o caso no limite em que o acoplamento dos campos de calibre
pequeno (limite semi-clssico), que corresponde a grandes valores do inteiro
k. Trata-se de um argumento fsico e que ser apresentado na segunda parte

deste trabalho, referente s propriedades fsicas do Lermo de Chern-Simons
(veja seco 5.1).
Deixando Lodos esses detalhes tcnicos de lado, admitimos por enquanto
'
que a teoria de campos cuja ao dada por (4.4) bem definida como
uma teoria topolgica em que as funes de partio e correlao so de fato
objetos topolgicos, no sentido de Witten. Como afirmamos no fim da seco
anterior, estas funes so os an~ogos do polinnio de Jones; mostraremos
este fato verificando que elas satisfazem uma relao de skein idntica quela
que define o polinmio de Joncs (4.2).
Outro ponto de grande importncia, que aqui abordaremos apenas brevemente, a qnantizao cannica desta teoria; para um tratamento completo
deste problema, veja [8]. Tome M = I: x R, onde I: uma superffcie de
Riemann; isto c01-responde separao de espao (:E) e tempo (R). Quantizar canonicamente uma teoria de campos em M = I: x R significa proUuzir um espao de Hilbert 'H r,, o espao de estados qunticos da teoria de
Chern-Simons em I:. Passamos a descrever brevemente como este espao
construdo.
CAP,TULO 4.
POLINMIO DE .JONES SEGUNDO WITTEN
39
O espao de fase clssico a ser quantizado o espao de conexes flat em

~mdulo
transformaes de gauge M = AtfQ; este espao uma variedade
compacta e de dimenso finita, possivelmente contendo singularidades, de-
pendendo da topologia de L Tomando uma estrutura complexa J em 'E, M

torna-se uma variedade Kfi.hler, cuja forma simpltica representa a primeira
classe de Chern de um certo fi brado linear. O espao de Hilbert de estados
qunticos 'Hj o espao de seces holomorfas globais deste fibrado; observe
que este um espao de dimenso finita. importante mostrar ainda que 1tr;
no depende da escolha de J em E; este fato est ligadO existncia conexo
projetivamente fiat natural no espao de mdulos das estruturas complexas
em E; a construo desta conexo feita explicitamente em [8]i veja tambm
[4[.
Obteno da relao de recorrncia
Considere queM = M 1 #M 2 a soma conexa de duas outras 3-variedades

compactas orientveis M1 e Jv[z tal que 8M 1 = 8M 2 = S 2 . De acordo com
os princPios da teoria quntica de campos, o clculo das funes de partio
Z(MJ) e Z(Mz) depende db valor do campo (neste caso, a conexo) nos

respectivos bordos, resultando em um" objeto que um funcional deste dado.
Este funcional do dado de fronteira pode ser heuristicamente interpretado
'
como uma funo de onda sobre o bordo, ou seja, um vetor em um espao de

Hilbert, que denotaremos por 'H. 8 2. Devido troca de orientao , os espaos
'ls,(M,) e 'Hs,(Mo) so duais entre si. Se

so tais vetores, Lemos que Z(M) .~ (V,!V2)
v,
E 'ls,(Ml) e
v,
E 'ls,(M,)
5.
Passamos agora a um breve exerccio visuaL Seja M
8 3 e considere
trs ns L+, L-, L 0 , cada um mergulhado em uma cpia Je 5 3 , idnticos

5
Veja tambm a formulao axiomtica de um teoria quntica de campos topolgica

de Atiyah em [4].
CAPiTULO <1.
"
'
40
POLINOM/0 DE JONES SEGUNDO WITTEN
a menos do interior de uput pequena bola 2-dimensional, no interior da qual

eles diferem como em (4.1). Cortando-se ao longo desta 2-bola, dividimos
cada 8 3 em dois pedaos: o exterior BE, que contm todo o n menos o

trecho no qual ele difere, e o interior B 1, que contm o pequeno Lrecho que
difere. Os bordos 3B 1 e aB 3 consistem de 2-esferas com quatro pontos mar-
cados com representaes do SU(2), correspondentes aos pontos em que o

n cruza os bordos, que esto conectados dois a dois em B1; denotamos esta
esfera com pontos marcados por S{4). Observe que 8 3 = B 1 Uq4 J E E Procedendo como no pargrafo anterior, a integrao das funes de correlao
Z(BE, I<) e Z(B1,
L(+,-,O)) resulta em vetores no espao de Hilbert
que denotaremos por r/>, ~J+, '$-,
'$ 0 ,
1isz ,
(<)
respectivamente. Lembre ainda que
Z(S 3 ,L(+,-,OI) = ~<PI7/!(+,-,o)J (veja figura 1, pg. 48).

O procedimento de quantizao cannica apresentado ac1ma c a teoria
de campos conforme
nos fornece que 1is2 & l-dimensional e 1itP
'''
2-
dimensional (veja [48], capitulo XI). Agora, quaisquer trs vetores em um

espao vetorial de dimenso 2 so linearmente dependentes entre si; desta
maneira, existem coeficientes a<+,-,o) tais que a+'ljJ+
+ a-1/J- + a 01jJ 0
:___
O.
Fazendo o produto interno desta ltima expresso com rj; obtemos que:
( 4.8)
restando determinar os coeficientes a(+,-,O), o que feito recorrendo-se novamente teoria de campos conforme. Tais coeficientes dependem de dois
parmetros: da constante de acoplamento dos campos de calibre k e da representao do grupo estrutural, que no nosso caso est fixado como sendo
SU(2) com a representao natural. Neste ponto, possvel generalizar no

6Neste ponto torna-se essencial o fato da ao {segunda classe de Chern secundria)
ser invariante da estrutura conforme de M, como mostramos Iio captulo 2. A completa
ligao entre a teoria de Chem-Simons em dimenso 2+1 e uma certa classe de teorias de
campo conformes em dimenso 1+1 feita em [46]; Witt.en aponta que esta relao reside
no fato de que o espao de blocos conformes exatamente o espao de Hilbert obtido
quantizando-se eanonicamente a teoria de Chern-Simons.
CAP>TULO <1. POLINMIO DE JONES SEGUNDO W/TTEN
41
sentido de tomarmos SU(n) (sempre com a representao natural), obtendo,

assim, o anlogo do polinmio HOMFLY de 2 variveis; o polinmio de Jones
tonu~-se
o caso pmticular em que n
2. Outra possibilidade tomar SO(n)
como grupo estrutural, obtendo assim o chamado polinmio de Kaufmann
[36], tambin em duas variveis; o polinmio de Jones novamente um caso

particular, em que n
3. Em cada caso, a determinao dos coeficientes
acima fornece a relao de skein desejada.

Retornemos entretanto ao polinmio de
Jone~.
A nica varivel a cons-
tante de acoplamento dos campo de calibre k (na verdade uma reparame-
trizao de k). Os quatro pontos marcados da esfera
st4)
aBI podem
ser conectados de trs formas distintas no interior de B 1: L+, L-, L 0 .. Um

difeomorfismo adequado de 8 2 leva a configurao L+ em L 0 e est;;1 em L-.
Ao nvel do espao de Hilbert ?1. 8 2
existe uma transformao linear B assoeiada a este difeomorfismo tal que 1/J- = B'tj1 = B 21j;+ (figura 2, pg.
'''
48) . A matriz de B, chamada matriz de tranamento, satisfaz a equao

caracterstica:
82
(trB).B
+ (detB)
~O ,_ 1/J-- (trB)?/! 0
+ (detB)?/!+
~O
(4.9)
donde vemos que os coeficientes a<+,-,O) esto ligados aos autovalores da

matriz B. Tal matriz estudada no contexto da teoria de campos conforme
por Moorc & Seiberg em [45]i este trabalho nos fomec;e que:
a+ ~ - exp (;:;)
a-
ao=
exp ( k~;i)
11"1.)
exp ( k+
2 - exp
e introduzindo-se a reparamcLriza.o t
(4.10)
(-11"i)
k+ 2
cxp ( k!~i) temos finalmente que:
(4.11)
reobtcndo (4.2). Dividindo-se pela fuao de partio Z(S 3 ), vemos que a
relao de skein tambm satisfeita pela funo de correlao normalizada.
CANFULO 4.
42
POLINMIO DE JONJ.JS SEGUNDO WITTEN
Resta ainda rcobter a relao (4.3). Seja Z(S 3 , I<) a funo de correlao
da 3-esfera com um n trivial e Z ( S 3 , K 2 ) a funo de correlao da 3-esfera
com dois ns triviais disjuntos. Do desenho abaixo, obtemos da relao de

skein que:
(4.12)
Considere agora uma 3-esfera com um elo trivial de duas componentes mergulhadosj como anteriormente, a funo de correlao dada por Z(S 3 , K 2 ).
Corte esta esfera ao longo de uma 2-esfera em dois 3-hemisfrios S! e
s:
de maneira que cada componente do elo fique em um 3-hemisfrio diferente, ficando o bordo sem pontos marcados.
Z(S}v,K) e Z(S~,K) so vetores
1./JN
As funes de correlao
e 1/Js do espao de Hilbert 1i 8 2 e
Z(S 3 , K 2 ) = (1j;NI1./Js). Healizando o mesmo procedimento para esfera sem
qualquer n, temos que Z(S 3 ) ~ (<lw]cfs) onde <i>(N,S) ~ Z(S{N,s)) E HS'Mas 1fs2 l-dimensional, portanto vale que:
(4.13)
note que (cPN]?frs)
~ Z(S 3 ,
K). Portanto:
Z(S 3 )Z(S 3 , K 2 ) ~ [Z(S 3 , K)j 2
(4.14)
Inserindo-se na relao de skein, obtemos para a funo de correlao normalizada:

,-
Z(S ,fi)~
reproduzindo (4.3).
t - t-l )
-tlfZ_t l/2
(4.15)
CAPn'ULO 4.
43
Deduzimos portanto que funes de correlao de loops de Wilson fazem

papel anlogo ao polinmio de Jones em s:l. Neste ponto 1 mais uma genera-
lizao possvel. O polinmio de Jones foi originalmente definido para ns
em 5 3 (ou R 3 ). O mtodo de Witten permite generaliz~lo para qualquer
3-variedade como veremos em seguida.
Cirurgia
Em topologia, chamamos de cirurgia o seguinte procedimento. Seja M
uma 3-variedade e
bular centrada em
f{
f(
um n mergulhado em M. Tome urna vizinhana tuhomeomorfa a um toro slido. Remova este toro slido,
partido M em duas novas 3-va.riedades: o toro slido Mr e seu complemento

Me. Note que Mr = 8Mc = T 2 = 5 1
5 1 . Agindo em 8Mr por um
difeomorfismo S e recolando as duas partes obtemos uma nova 3-variedade,

que denotamos por M 8 =Me Ur2 S(Mr) O resultado fundamental que
para qualquer 3-variedade compacta, conexa e orientvel M existe um n

sobre a
3-e,~fem.
f{
tal que M homeomorfa a 3-variedade obtida por cirurgia
em S ao longo de
f{
(demonstrao em [41])
O clculo das funes de partio em Me e Mr resulta em vetores '!j;e e
7/JT do espao de Hilbert 1r2, de maneira que Z(M, K)
(V;ci1/Jr). Ao nvel
do espao de Hilbert, o difeomorfismo S age como uma transformao linear,

que tambm denotaremos por S, de 1y2, portanto Z(M 8 , K)
{?/JciS?/Jr)
Fixando uma base em 1]"J., S pode ser representada por uma matriz, chamada de matriz de cirurgia.
A teoria de
Ca.IllpO:i collfonnc
cu!, r a uov;uncuLc em
cU<t
parn se csLw.lar ns
propriedades da matriz de cirurgia. Esta teoria fornece uma escolha cannica

de base {17J}}=o para 1r2 de maneira que a cada elemento da base
7 Para
1]j
est
um apresentao simples sobre cirurgia c um resultado anlogo em superfcies,

veja [2] p.l61.
CAP1TULO 4. POLINMIO DE JONES SECUNDO WITTEN
44
associada uma representao irredutv:el Rj do grupo estrutural5'U(2). Uma

destas representaes necessariamente a representao trivial, que ajus-
tamos como sendo 1}o- Na representao trivial o loop de Wilson anula-se,

portanto calcular a funo de correlao do loop de Wilson de um n com a
representao trivial o mesmo que calcular a funo de partio, ou seja,
'l]o = 1/Jr.Nesta base a matriz de cirurgia dada por (Sij) e S'f/Jr = L.Sojf/J
Seja agora M
(5 3 ) 8 uma 3-\;ariedade qualquer, que se obtm por uma
cirurgia S a partir de 5 3 ao longo do n K. A funo de partio de M

portanto dada por:
Z(M) = 2::;So;Z(S
; K,
R;)
(4.16)
onde RJ a representao que associamos ao n K C S 3 .
Seja agora L um n em M ao qual associamos uma representao Pj c

seja
f{
o n sobre 8 3 cuja cirurgia resulta em M; considere L e
f{ disjun~
tos. Sabemos calcular a funo de correlao do loop de Wilson do n L

sobre 3-esfcra Z(S 3 ; L, Pj) As repetidas cirurgias que transformam 8 3 em
M transportam o n L c a. representao associada para a nova vmiedade
ambiente. Assim, a funo de correlao de W(L, Pj) em M fica dada por:

Z(M;L,P,) = 2::;So;Z(S 3 ;K,RJ;L,P1 )
(4.17)
Da ltima expresso fcil de observar que as funes de correlao generali~adas
Z(M; I<, Ri) tambm obedecem a relao de skein. O clculo
de exemplos concretos depende da teoria de campos conforme e da teoria

de representaes de SU(2) para se conhecer a matriz de cirurgia. Um caso
particular mostrado na seco seguinte: calculamos a funo de partio
de S 2
S 1 e, por cirurgia, obtemos Z(S 3 ).
Conclumos, assim, a apresentao da abordagem de Witten ao polinmio

de Jones. Outra apresentao seguindo a mesma linha mas matematicamente
mais rigorosa pode ser enconLrada no longo artigo de Reshetikhin & Turaev
[55]; este trabalho o primeiro dC' nma srie de artigoS que busca formalizar
matematicamente as idias acima expostas.
4.3
45
Um exemplo concreto
Nosso objetivo calcular a funo de partio da 3-esfera atravs de cirurgia

de S 2 x 8 1 . Comeamos com algumas consideraes gerais sobre a funo
de partio de 3-variedades da forma ~
si, onde E uma superfcie de
Riemann.
Seja 1L. o espao de Hilbert associado E; a teoria de campos conforme nos fornece a dimenso (neste caso finita) deste espao. Introduza
uma direo ternpora.l t~mando o produto E x [0, 1] e propague, usando o
hamiltoniano da teoria de Chern-Simons, o espao 1"E do tempo t
O ao
tempo t = L Est.a operao , em geral, uma transformao linear de 'H.}:, o
hamiltoniano H da teoria. Final~1ente, identificalldo Ex {O} com Ex {1},

obtemos E
8 1 . De princpios da teoria quntica de campos:
Z(I: x 5 1 )= tr [exp(iHt)]
Entretanto, o hamiltoniano da ~coria de Chern-Simons nulo
(4.18)
8
Ento, sendo
I d a transformao identidade:
(4.19)
Para conhecer o lado direito do. expresso acima novamente recouemos
para teoria de campos conforme. Apenas um caso particular de interesse

para o nosso presente objetivo:
dim 1-ls2
dim Hs{lJ =
dim 1i 5 2 =
(2)
80
1
1, se R= O
O, caso contrrio
(1.20)
1, se R1 = R2
O, caso contrrio
harniltoniano dado pela component.e 00 do tensor de energia-momento, que corresponde a derivada funcional da lagrangeana em relao a mtrica; portanto toda teoria
topolgica, isto , covar:iantc geral, possui hamiltoniauo nulo.
CAP1TULO 4.
qnde
5{1,2 )
46
denota a 2-esfera com um e dois pontos marcados com repre-
sentaes R(l,Z) e O a represenLao trivial. Temos portanto que Z(S 2 x
si)
J.
Conhecida Z(S 2
5 1), passamos a cirurgia de 8 2
8 1 que resulta na
3-esfera.
Para facilitar a visualizao, veja primeiro este exemplo 2-dimensional.
Comece imaginando um disco D 2 centrado na origem do plano R 2 .
operao de inverso do plano {f(x) = ~) leva o disco no seu complementar R 2

se R 2
D 2 deixando invariante o crculo S' 1 = 8D 2 . Compactificando-
D 2 com um ponto no infinito obtemos um outro disco
iJ 2 ,
que
pode ser visto como sendo a imagem homeomorfa de D pela inverso f(x).
Colando-se os dois discos, cujos
bordos so identificados, obtemos uma 2,
esfera S 2 = D 2 UJ iJ 2 .
Agora tome um disco D sobre a 2-esfera. Em S 2 x SI temos o toro slido
D x 5 1 , no centro do qmal podemos imaginar um crculo, ou seja, um n
que chamamos de K. Note ainda que (S 2 - D) x SI tambm um toro
slido. Portanto 8 2
5' 1 pode ser obtido colando-se dois toros slidos com o
homeomorfismo identidade ao longo do bordo T 2 = (S 2 x 8 1 ).

Por outro lado, tome um toro slido T mergulhado no R 3 , visto como
sendo a 3-esfera menos um ponto. A inverso deste toro leva-o no seu complemento R 3
T deixando fixo o seu bordo; acrecentando-se o ponto no
infinito ficamos com 8 3
T. Portanto, a 3-esfera tambm pode ser obtida a
partir de dois toros slidos,
eolan~o-se-os
pelo homeomorfismo inverso.
Portanto, para obtermos a 3-esfera a partir de 5 2 x Sl, corte um toro

slido T1 de 8 2 x 8 1 no centro do qual est um n trivial [{ 1 obtendo um
segundo toro T 2
(S 2
D) x S 1 . Aja com o homeomorfismo inverso no
bordo T1 e cole-o no segundo toro 12, obtendo assim a 3-esfera.

A matriz correspondente a esta cirurgia estudada por Gepner & Witten
em [28] usando teoria de representaes de lgebras de Le, sendo dada por
47
(lembrando que o grupo estrutural SU(2)):

S- =
,,
((i+ l)(j +
k +2
2 sen
k-1- 2
!))
(1.21)
onde k a constante de acoplamento dos campos de calibre e i, j =O, 1, ... , k.
De (4.16) e (4.20) e sendo K um loop de Wilson ao longo do n que utilizamos para fazer a cirurgia descrita no pargrafo anterior marcado com uma
representao Ri temos portan(,o que:
Z(S 3 )
LJ S 0,Z(S 2
x S 1 ; R,) =Soa
=> Z(S ' ) =VCL

msen (")
k+ 2
(4.22)
e para a 3-esfera com um loop de Wilson do n trivial associada repre-
sentao R{
Z(S 3 ; R,) = LJ s,,z(S 2 x S 1 ; R,, R1 ) = S10

==> Z(S 3 i Ri)=
[;!0sen (u::t)
(4.23)
Estes resultados juntamente com (4.12) e (4.15) e com o fato de que toda
3-variedade compacta pode ser obtidu por repetidas cirurgias a partir da
3-esfera nos fornece, em princpio, toda a informao necessria para calculannos funes de partio e correlao em qualquer 3-variedade compacta
M.
Restam entretanto, dois grndes obstculos: conhecer a Cirurgia que
transforma 8 3 em M e a respectiva matriz de cirurgia.

Existe uma boa quantidade de Lrabalhos que se preocupam ern computar os invariantes propostos por Wittcn em ccrLas classes especiais de 3variedades. No mais importante deles, Freed & Gompf [25] calcularam outros
exemplos (variedades de Seifert), seguindo dois mtodos, sendo o primeiro
este que acabamos de apresentar 1 via cirurgia, e o segundo via integrais de
Feynman, que apresentaremos em seguida (seco 4.4). Os resultados obtidos
por um e outro batem; os autores interpretam esLe fato como uma evidncia
da validade, em algum sentido, das tcnicas de teoria quntica de campos,
em especial da integral de Feynmatl, cujo pleno significado matemtico permanece obscuro.
CAP1TULO 4.
POLINMIO DE JONES SEGUNDO W/TTEN
FIGURAS
48
FIGURA 1: (a) mostra um n genrico C em
\---=-----1M
uma 3-esfera M; uma pequena esfera S
~1
\
envolve um cruzamento tipo L+. Em (b), M
foi cortada ao longo de S, produzindo o

interior (8 1) e o exterior (BE) de S. A relao
'
de recorrncia obtida considerando-se a
I
troca de BE como em (c). (ref. {67]}
.
.... ...................
.
~
:~~
f!}}
. @
o
..
'
'
o
GURA 2: (a) e (b) mostram como os pontos marcados sobre a 2-
era S\tJ podem ser pemmtados entre si com um difeomorfismo, de

de surge a matriz de tranamento B. (ref. [67])
FIGURA 3: A variedade de transio entre um tri-toro e dois bi-toros
pode ser obtida da seguinte maneira. Tome dois quadri-toros slidos V1

e V 2 . Do interior de V~, extraia dois bi-toros slidos como na ilustrao
acim~, obtendo W 1tal que fJW 1 =fJV1uLz~.../L2' Agora do interior de V2
extraia um tri-toro slido, obtendo W 2 tal que fJW2=fJV 2uLJ. A
variedade de transio obtida colando-se W 1 e W2 ao longo do bordo
comum 8V 1=DV2 (ref. [13])
Captulo 5
Aplicao teoria de campos
5.1
Chern-Simons como teoria topolgica
Para iniciar o estudo das propriedades fsicas do termo de Chern-Simons,
vamos mostrar que a teoria de campos cuja ao dada por (4.4) uma teoria
topolgica, no sentido que as funes de partio e correlao associadas a
observveis fsicos (loops de \Vilson) no dependem da mtrica na variedade
de base. Isto ser fei~o, seguindo WiLten [67L n limite semi-clssico em que
o auto-acoplamento dos campos de calibre pequeno i esta condio tambm
essencial para que se possa fazer os clculos pertubativos usuais em teoria

de campos.
Antes, porm, apresentamos apenas um breve esboo do argumento aqui

exposto com o objetivo de torn-lo mais claro. A maneira usual de se cal-
cular a funo de partio de uma teoria de calibre no-abeliana envolve a

escolha de um gauge e a introduo de termos com pensantes na lagrangcana,
os chamados campos fantasmas de Faddcev-Popov. 1:'.:'1.1 escolha de gauge
envolve neste caso a escolha de uma mtrica na base. A resposta final fica
independente dos campos compensantes, mas dependente da mtrica. Tal
dependncia levantada verificando-se que a resposta final proporcional a
49
CAP1TULO 5. APLICAO TEORIA DE CAMPOS

um invariante topolgico
50
conhecido como toro de Ray-Singel. O primeiro
a notar a conexo entre o invariante de Ray-Singer e funes de partio em

uma certa de teoria de campos foi Schwarz no interessante artigo [59].
A funo de partio da teoria de Chern-Simons dada por:
Z(M) ~
VAexp
( 1
-ik
41r
tr(A
2
dA+ -A
3
A) )
(5.1)
No limite em que k grande, a exponencial torna-se fortemente oscilatria

e os pontos crticos da ao'(solues clssicas) so os que contribuem mais
fortemente para a integral. Aproximtl.mos ento A por uma perturbao em

torno do ponto crtico
J\
A!+ a. Entretant.o, sabemos de (2.18) que os
pontos crticos do termo de Chcrn-Simons so as conexes de curvatura nula,

chamadas conexes .flat; para uma demonstrao explcita deste fat.o veja
a deduo da equao de movimento da lagrangeana de Yang-Mills-ChernSimons na seco 5.3. Classes de equivalncia de calibre de tais conexes correspondem a classes de equivalncia de homomorfismos h;
1r 1 (M) --+
SU(2),
P(M 3 ,
SU(2))
isto , represcnl,aes do grupo fundamental em SU(2). Como
trivial, cada homomorfismo h corresponde a uma conexo A tal que, se

{'Y} E 11'1(M), ento h({'Y}) igual a holonomia da conexo A quando se
percorre o caminho 'Y.
Entramos agora com uma hiptese adicional: para que a nossa aproximao seja vlida necessrio que a topologia de M seja tal que exista
apenas um nmero finito de tais representaes
2;
consequentcmente, a ao
de Cheru-Simons ter apenas um nmero finito ele pontos crticos; para tanto
necessrio que H 1 (M, R)= O. Tal condio satisfeita, por exemplo, por
uma classe especialmente interessante de 3-variedadcs: as esferas de homologia, que so 3-variedades com a mesma homologia da esfera.
1
Na verdade, um invariante diferencial, pois sua definio baseia-se na cohomologia

de de Rham; a generaliza.o de um invariante puramente t.opolgico, a toro de
Reidemeister.
2
Equivalent.cmente, o espao quociente AJ, onde o espao de conexes flat e g
o grupo de transformaes de calibre, tem dimenso zero.
CAPlTULO 5. APLICAO TEORIA DE CAMPOS
51
Assim sendo, podemos reescrever a ao S(A) da seguinte maneira (excluindo-se o fator multiplicativo) em torno de um ponto crtico A
S(AJ-+: a)~ IM tr[(At-+: a) 1\ d(AJ-+: a)-+:

+HAt-+: a) 11 (A 1 -+: a) 11 (A 1 -+: a)]
S(At)-+: 2 fM tr[a 1\ (dAt-+: At 1\ At )]-+:
-+: fM[a 1\ (da-+: 2a 1\ At)l+ O(a 3 )
S(At)-+: fM tr(a 1\ dAta)-+: O(a 3 )
S(A)
(5.2)
onde dA 1 denota a derivada covariante em relao a conexo fiat AJ; tambm

desprezamos os termos de ordem trs no campo perturbativo a. Nesta aproximao, (5.1) fica reescrita como sendo:
Z(M)
~ ~exp U>(Aj)) j Vaexp (:~L tr(a 1\ dAta))
(5.3)
onde p indexa os pontos crticos da ao. Por simplicidade, passamos a denotar por ~t(Ap) a soma das co;1tribuics das conexes fiat, que j puramente
topolgica.
Para efetuar a integra,o remanescente recorremos ao mtodo de FaddeevPopov (sobre esta tcnica, veja [56] p. 250; veja tambm o apndice de [59]),
que consiste em substituir a ao S por uma ao efetiva incluindo um termo

de escolha de gauge
e um termo cintico dos chamados campos fantasmas
para compensar esta escolha. Pam fixar um gav.ge conveniente para o presente caso necessria a escolha de uma mtrica em M, o que aparentemente
estraga a covarincia geral da teoria. Veremos, entretanto, que o resultado
final fica independente desta mtrica.
O gauge que escolhemos
dA1 a
= O; a escolha de uma mtrica est
implcita na definio da coderivada covariante d
O resultado do proce-
dimento de Faddeev- Popov modificar a funo de partio para a seguinte

expressao:
Z(M)
!'(Ap) .f'VaV,PVr,VTf
exp
(~ fM t1 {a 1\ dA 1a+ 24;; 1\ d_ 1a+ dAif 1\ dA/!]})
Tal escolha necessria para no somar conexes gaugc-equivalentes.
(5.4)
CAPiTULO 5. APLICAO TEORIA DE CAMPOS
52
onde 1; uma 3-forma que age como um multiplicador de Lagrange que
assegura a escolha de calibre e
r; e
17 so os campos fantasmas (escalares
complexos).
Definindo convenientemente uma mtrica e um operador tipo Dirac no
espao de formas Q-valuadas Ai (M, Q) transformamos a integral acima numa
integral Gaussiana
4.
Se 1/; 1 e 'ljJ 2 so k-formas, definimos o produto interno:

(5.5)
onde
* o operador estrela de Hodge c o seguinte operador definido sobre as
formas de grau mpar:
D: A1 (M,9) EJJA'(M,9)
(a, r/>)
~
~
A 1 (M, 9) ElJ A 3 (M, 9)

(dA 1 + dA 1 )(a, ,P)
(5.6)
ou, em formato matricial:
(5. 7)
Note que D auto-adjunto. Feitas as definies, podemos reescrever os dois
termos do integrando em (5.5) da seguinte maneira:
((a, <P)jD(a, ~)) ~ fM t? {a A dA, a+ 2<P A d1a}

(11/d~ 1 dA//'}) = JM tr {dA/f[ 1\ dA11]}
Note que ..o
dA 1 dA~ o laplaciano usual em O-formas.
(5.8)
A funo de
partio fica ento reescrita como sendo, em termos de integrais ga.ussia.nas
nos campos:
z (M) ~ I' (Ap)
VaV.pV,]Vi)" cxp (
=> Z(M)
~: (((a, <P) ID (a, <P)) -1- ('IIL'Io'l)))
~ p(A,) j::~~;)
(5. 9)
(5.10)
4Sobre este tipo de integrais muito importantes em teoria de campos, veja [56], p.
191-194.
CAPITULO 5. APLICAO TBORIA DE CAMPOS
53
onde importante notar 9ue a mtrica est eScondida no laplaciano e no

operador de Dirac D e que
(5.11)
Independncia da mtrica e problema da fase

Chegamos agora a um ponto delicado. A escolha de calibre feita para
calcularmos a funo de partio Z(M) fez com esta ficasse dependente da

escolha de uma mtrica em M.
espectro laplaciano Llo positivo definido,
o que nos garante que det(6. 0 ) um real positivo. Entretanto, o operador

.de dirac D, sendo de primeira ordem, no necessariamente possui apenas
autovalores reais; de fato, como mostra Witten em [67], Jctet(D) apresenta

uma fase no trivial:
det(D)-1
~ exp
c:
~v(O))
I det(D)I-1
(5.12)
onde 17n(O) a funo eta do operador D descrito em (5. 7), definida a partir
dos seus autovalores como em (3.18)
Para levantarmos a dependncia na mtrica em (5.10) analisamos separadamente o valor absoluto e a fase do lado direito de (5.10).
O valor absoluto da razo de determinantes em (5.10) pode ser identificada com a toro de Ray-Singer 1 definida em [54] como sendo:
n
logT(M:Ep) ~ 2..)-l)'.i log[det(Llj)]
(5.13)
j='
onde Ep o fibrado
h :
1r 1 (M)
--1-
triv~al
com conexo AJ associados a uma representao
SU(2) c tJ.1 denota o laplaciano em j-formas com valores na
5Na seco :3.2 mencionamos que a segunda classe secundria est relacionada com o
invariante 17; interessante notar que C'sta relao ressurge no contexto de teoria quntica
de campos.

lgebra su(2). Lembrando que
*L). i =
b..n-J*
* um isomorfismo, e especializando para n
::::?=
det(...i)
det(6..n-j), pois
3, temos que:
Idet( L'.,) ]- 1Idet( L'.z) ]2 1de\{ L\3) J-3

ldet{L'. 0 )J-31det{L'. 1)] ~ ( det(6o)
T(M,E)
54
IJdet(D)I
)-4
(5.14)
Para que a toro de Ray-Singer seja de fato independente da mtrica

em M necessria mais uma restrio sobre a topologia de M: os grupos de
cohomologia de de Rham das formas com valores na lgebra de Lie su{2) de-
vem ser todos triviais (veja teorema 2.1 de [54]). Esta restrio surge porque
se os grupos d.e cohomologia forem no-nulos ento pelo teorema de Hodge
o laplaciano ll.i possui autovalores nulos e, portanto, det(.6.j) =O. Esta dificuldade tcnica pode ser superada tomando-se o determinante dct(.6.j) como
sendo o produto apenas dos autovalores no-nulos (portanto positivos) do
laplaciano. Assim, a demonstrao do teorema de invarincia de Ray-Singer
funciona sem a forte restrio de trivialidade do anel de cohomologia de M.
'
Retornando ao problema da fase de det(D)-2, podemos proceder de maneira semelhante ao que foi feito na seco 3.2 para expressar 1Jn(O) em
termos de S(At) Seja B
*).
( :: d
0
isto , o operador D associado co-
nexo nula, acoplado apenas a mtrica embutida em
*:
Sendo I um caminho
ligando a conexo nula A 1 , podemos aplicar (3.21), obtendo:
1
c2 (G)
- (>Jo(O)- >w(O)) ~ ~-S(A 1 )
2
2K
(5.15)
onde c2(G) o valor do operador de Casimir do grupo de calibre G na representao adjunta, sendo c2 (8U(2))
4.
Desta maneira, temos finalmente que:
Z(M)
(MK~IJ(O) + c,(G)S(Ap))) i>(Ap)T(M, Ep)-l

exp (';rJB(o)) I:"exp [i{k + ~c 2 {G))S{A")] T(M, Ep)-l
I:"exp
(5.16)
55
' os pontos crticos da ao de Chern-Simons, isto ,

onde a soma sobre todos
sobre todas as classes de calibre de conexes fial. O primeiro efeito provocado
pela fase de Jctet(D) um sh~ft da constante de acoplamento k pelo operador
de Casimir c2( G).
A dcpendn~ia na mtrica esL agora apenas na fase
i; 17(0), embutida na funo eta.
Nosso objetivo agora levantar esta ltima
dependncia.
Para tanto devemos aplicar o teorema 4.2 de [7] (lembrando que estamos
trabalhando com esferas de homologia H 1 (M, R)
0). Este resultado nos
diz que:
2~s{O)
+ 24 n S(\7)
(5.17)
onde \7 a conexo riemanniana associada mtrica embutida em * um

invariante topolgico, o ndice do operador B agindo nas formas de grau par.
Podemos multiplicar a funo de partio (5.16) por exp (;4 s(v)), pois a
adio de uma fase global na funo de partio fisicamente irrelevante,
obtendo:
Z(M) ~ exp [in (~rya(O) + 2:,s(\7l)l

L:"exp [i(k + ~c,(G))S(Ap) T(M, Ep)-i
(5.18)
tornando-a finalmente independente da m!Jrica, ou seja um invariante da

estrutura diferencivel da 3-variedade M.
No caso de JJ 1 (M, R)
i- O, o espao mdulo A/Q uma variedade dife-
rencivel pois A um espao afim portanto uma variedade diferencivel na

qual
g age livremente. \Vitten argumenta em [68] que o procedimento acima
pode ser reproduzido, o resultado final sendo a troca da somatria de (5.18)

por uma integral sobre toda variedade Aj.
Conclumos, assim, que a teoria de Chcrn-Simonfil de fato uma teoria
topolgica, no sentido de ser independente da escolha de uma mtrica, pelo
menos no limite semi-clssico de pequeno acoplamento entre os campos de
calibre e em variedades como 3-esferas de homologia.
CAPITULO 5. APLICAO TEORIA DE CAMPOS
56
Teoria quntica de campos topolgica

Outros dois trabalhos que lidam com a quantizao da teoria de Chern-
Simons so [8] (quantizag geomtrica quando M
E x R) e [9] (teoria
de perturbao). Para uma extensa reviso de teorias de campo topolgicas,

veja [12]; igualmente interessante a abordagem axiomtica de Atiyah em
[4]. Em trabalhos anteriOres ([65J e [66]) ao apresentado no captulo anterior

sobre o polinmio de .Jorres, Witten utilizou-se deste tipo de teoria para construir anlogos em teoria quntica de campos dos polinmios de Donaldson
(invariantes da estrutura diferencivel de 4-variedades compactas, simplesmente conexas e orientveis), da homologia de Floer (invariante topolgico
de 3-esferas de homologia) e do invariante de Gromov de curvas pseudoholomorfas em variedades complexas. Estes trabalhos so talvez os melhores
exemplos do grau de interao existente entre a topologia e a teoria quntica.
5.2
Relatividade geral em dimenso 2+1
Nosso objetivo nesta seco mostrar como a relatividade geral em dimenso

2+ 1 pode ser feita equivalente a uma teoria de calibre eujo potencial de calibre construdo a partir do dreibein c da conexo de Levi-Civita associada.
O grupo de calibre o grupo de Poincar I S0(2, 1) e a ao envolve apenas
o termo de Chern-Simons (4.4). Esta apresentao segue os trabalhos de
Witten [64] e [68]
6.
SejaM uma 3-variedadc compacta com ou sem bordo modelando o espaotempo (2+1)-dimensional, com uma mtrica
Uab
de assinatura lorentziana.
Na formulao usual da relatividade geral, a mtrica 9ah a nica varivel

dinmica.
Faremos uso de uma formulao ligeiramente diferente usando
como variveis dinmicas os seguintes objetos associados mtrica:

6 Neste
trabalhos, Witten tambm trata o easo de oonst.ante cosmolgica no nula, que

no abordaremos aqui.
57
1. a conexo de Levi-Civita w, que tambm pode ser vista como uma
conexo no fibrado P(M,S0(2, 1)), i.e. uma l-forma com valores

na lgebra de Lie do grupo de Lorentz; a respectiva curvatura
riemanniana a 2-forma dada por R
= dw
+ w 1\ w;
2. o dreibein e, i. e. um referencial mvel sobre M; os espaos tan-
gentes a M podem ser vistos como lgebras comutativas, sendo

cada vetor um operador de translao; esta relao resulta numa
l-forma em M com valores na lgebra das translaes.
Incluindo o grupo de Lorentz e
grupo das translaes no grupo de
Poincar a curvatura R e o dreibein e passam a ser uma 2- e uma l-forma

com valores na lgebra de ' I 5'0(2, 1), respectivamente. O escalar de curvatura
associado a Yab fica dado por e 1\ R (lembre que estamos em dimenso 2+ 1)
c a lagrangcana Je Einstcin-Hll>crt assume a forma:
(5.19)
onde i, j, k so ndices espaciais-temporais e a, b, c so ndices na lgebra de
180(2, 1). Impondo variaes de primeira ordem no dreibein e 8 = e 0

na conexo de Levi-Civita
Wt =
w0
+ta=> Rt
+ sf3 e
R 0 +tOa, onde D denota
a derivada covariante em relao w, e aplicando o mtodo variacional em
(5.19), obtemos.
LeH(e,w,)= jM(eoi\Ro+t(eoi\Da)+s((Ji\R 0 )+0(t
))
(5.20)
donde segue que:
;f. L Eu Is,t=O =
dd8
Leu!
8,t=O
(co, Da) = (Deo, a)= Oo> Deo =O
= (Ro, !3) =O o> Ro =O
(5.21)
A primeira equao simplesmente nos diz que a mtrica livre de toro, i.e.
que a conexo associada ao dreibein de fato a conexo de Levi-Civita. A
CAPiTULO 5.
APLICAO TEORIA DE CAMPOS
58
segunda equao o anlogo da equao de Einstein para o campo gravitacionallivrc, pois em dimenso 3 o tensor de Rcc nulo se e s se a curvaLura
escalar for nula. O procedimento acima conhecido com mtodo de Pala tini
para deduo da equao de Einstein via mLodo variacional.
Antes de produzirmos o campo de calibre A a partir de e e w precisarmos

estudar algumas propriedades do grupo de Poincar. I S0(2, 1) um grupo
de Lie no-compacto de dimenso 6. Sua lgebra de Lie gerada pelos 3
geradores infinitesimais das transformaes de Lorentz JUr mais os 3 geradores

das translaes pa, sendo definida pelas seguintes relaes de comutao:
(5.22)
Note que os geradores das transformaes de Lorentz la formam uma sublgebra, portanto S0(2, 1) um subgrupo de Lie de I 80(2, 1); por outro l-ado,
os geradores das translaes formam uma sublgebra comutativa, portanto
as translaes formam um subgrupo 'abeliano de I 80(2, 1), que denotamos
por T; note que T tambm possui uma estrutura vetorial natural.
'
O fato de que Ja e Pb no comutam implica que 180(2, 1) f= 80(2, 1) x
T.
De fato, lembramos que existe um homeomorfismo de !80(2, 1) para
80(2, 1) cujo ncleo o subgrupo das translaes T. Desta forma, o grupo

de Lorentz pode ser visto como .sendo um espao homogneo 80(2, 1) =
IS0(2, 1)/T, i.e. JS0(2, 1) o espao total de um T-fibrado sobre S0(2, 1).
Como T pode ser naturalmente ident;ificado com o R 3 , !80(2, 1) pode ser
identificado com o espao tangente do grupo de Lorentz TS0(2, 1); como vimos, este fibrado no-trivial, mas necessariamente paralelizvel pois
80(2, 1) uma 3-variedade. A escolha de um dreibein corresponde a escolha
de um paralelismo de 80(2, 1). Esta fibrao fundamental, pois simplifica
muito o procedimento de quantizao cannica da teoria.
Outro ponto relevante o seguinte: para que uma teoria de calibre com
grupo I S0(2, 1) fique bem definida necessrio 9ue exista uma forma bilinear
invariante no-degenerada na lgebra de Lie de ISO (2, 1). No caso de grupos
CAPITULO 5. APLICAO TEOIUA DE CAMPOS

compactos usamos a forma de Cartan-Killing K (Ta, n)
59
tr{TaTo}. Tal
forma existe em IS0(2,1) c dada por W = tr{ IaPb}.

O potencial de calibre, i.e. a conexo no fibrado fi(M,JS0(2,1)), c a
1-.forma com valores na lgebra de Lie de IS0(2, 1) dada por:
(5.23)
Observe ainda que o objeto acima de faLo se
~transforma
como uma conexo.
Verifica-se que a ao de Chern-Simons ( 4.4) equivale.nte ao de EinsteinHilbert (5.19). O mtodo de Palatini imediatamente reproduzido. Como
observamos na seco anterior, a equao de movimento associada lagrangeana de Chern-Simons simplesmente o anulamento da curvatura associada
conexo: F = DA = O. Assim, o anulamento da parte translacional da curvatura fornece a primeira das equaes de movimento de (5.21) e o anulamento
da parte loreutziana nos fornece a segunda. Est..a urna primeira indicao
que a lagrangeana de Chern-Simons descreve corretamente a relatividade geral em dimenso 2+ 1. Como evidncia definitiva deste fato basta substituir
(5.23) na ao de Chern-Simons; este clculo pode ser feito usando-se coordenadas e no apresenta dificuldade, sendo importante notar que t1 Ja = O e
que em dado momento usa-Se a primeira equao de movimento.
Quantizao cannica e funo de partio

Passamos ao problema de quantizar esta teoria, cujo ponto principal
calcular a sua funo de partio, semelhantemente ao que foi feito na secO
anterior. Como veremos, h uma pequena sutileza que simplifica o resultado
final: especificadamente, a problemtica fase dependente do invariante 17
cancelada.
Primeiro trataremos brevemente da quantizao cannica da teoria, que
apresenta algumas particularidades em relao quela apresentada na seco

4.2.
60
Novamente o espao de fase clssico a ser quantizado o espao de
conexes flat em
P mdulo transformaes de calibreM
A!/Q. A fibrao
de IS0(2, 1) sobre S0(2, 1) e o fato de que DA= O=> De= O, Dw= O
faz como queM seja uma fibrao sobre N, o espao de conexes fiat sobre
P(M, 50(2, 1)) mdulo transformaes de calibre: de fato, M o fibrado
cotangentc de JV.
Quant.icamente, impomos que o dreibein e a conexo de Levi-Civita so

variveis canonicamente conjugadas (pois M
T*N), w fazendo o papel de
'coordenada' e e fazendo o papel de 'momento'. Assim, o espao de Hilbert
1 de estados qunticos o espao de funes de quadrado integrvel em N.

Veja que este espao de dimenso infinita, ao contrrio do que ocorre no
caso tratado na seco 4.2; isto deve-se ao fato do grupo de calibre I S0(2 1 1)
ser no-compacto. Seria tambm possvel construir (i de maneira anloga
a da seco 4.2, mas a construo apresentada acima melhor por ser mais
explcita.
O espao N no conexo, sendo que cada componente est associada a
um valor diferente da classe de Euler de P'(E, 80(2, I)). Se E tem gnero g,
a classe de Euler e(P') pode assumir os valores 2g- 2, 2g- 3, ... , -(2g- 2),
sendo que os valores negativos diferem dos positivos devido a inverso da
orientao.
Como inverso da orientao apenas transforma o espao de
Hilbert associado no seu dual, temos essencialmente 2g -1 espaos de Hilbert,

um para cada componente de N a menos de orientao.
Existe entretanto uma maneira de escolher canonicamcnte um destes
espaos.
Cada ponto de' N pode ser visto como um homomorfismo
'iJ '-,rJ(l.:) - 80(2, 1), via holonomi~. Lembrando que Ih(E, Z)

pois o grupo fundamentf-1 abeliano, tome
ai>
= 1r 1 (E),
bj como sendo os geradores
dest.e grupo, onde i,j = l, ... ,g, submetidos relao
(5.24)
A imagem destes geradores em 80(2, 1) via '1/J so elementos Ui, Vj satisfa-
61
zendo a relao
(5.25)
A invarincia de calibre da teoria exige que esta representao seja invariante
por conjugao, i.e. dois homomorfismos 1jJ e 7/;' so equivalentes se existir

E E 50(2, 1) tal que Ui
discreto se cada Ui, Vi
1-
E- 1ufE e Vi = E- 1VjE.
1jJ
um mergulho
I d; apenas os homomorfismos que so mergulhos
discretos so fisicamente aceitveis.
Entretanto, existe um resultado em teoria de superfcies de Riemann dizendo que 7j; um mergulho discreto de 1r1(E) em S0{2, 1) se correspon-
der holonomia de conexes flat de um .fibrado P'{E, 80(2,1)) tal que

e(P') = 2g - 2. Assim, o espao de Hilbert fisicamente relevante aquele
associado a classe de Euler 2g - 2, ou seja, o espao das funes complexas
de quadrado integrvel W(Ui, Vi) tais que: (i) so invariantes por conjugao;
(ii) U;, V; definem uma conexo flat em P'(L;, S0(2, 1)).

Passamos a tratar agora do clculo da funo de partio. Inicialmente,
considere M uma 3-variedade compacta sem bordo; o caso com bordo ser
tratado em seguida. O procedimento anlogo ao da seco 5.1, utilizando
o mtodo de Fadccv- Popov e o resultado final sendo novamente identificado
com a toro de Ray-Singer, i.e. um invariante topolgico. H entretanto
algumas sul;ilezas. importante lembrar que se H 1 (M, 'z) =O ento o espao
de mdulos N t'em dimenso nula, ou seja, consiste de um nmero finito de
pontos isolados, o que transforma a integral da funo de partio numa
soma finita. O caso geral bastante complicado, pois o espao M, sendo o
espao total de um fi brado vetorial, necessariamente no-compacto, levando
divergncia da funo de partio, o que interpretando fisicamente por

Witten como sendo o ceme de uma teoria quntica da gravitao ([68], seco
4.1). Entretanto, no abordaremos aqui este fato matematicamente pouco
consistente.
' -
62
CAP1TULO 5. APLICAAO A TEORIA DE CAMPOS

Comeamos com a expresso:
(5.26)
O passo seguinte introduzir uma escolha de calibre para os campos e c w
e os termos cinticos para os respectivos campos fantasmas f,
7 e g,
g. A
presena de dois campos fantasmas a primeira diferena importante em

relao ao caso anterior.
O calibre fixado de maneira idntica:
(5.27)
onde dA_ a coderivada covariante em relao conexo A; note que a es-
colha de uma mtrica auxiliar est embutida no operador
dA..
Introduzindo
multiplicadores de Lagrange u e v, a lagrangeana efetiva total, incluindo os

termos de fixao de calibre e de campos fantasmas a seguinte:
e A R+ u 1\ d_e +v 1\ d_w + *7 1\ !J.of + *D 1\ .og
e A (R+ dAu) +v A dW + f A C:.of + *7J A C:.og
Veja que Cef linear em e e em v. A partir da integral elementar (e
de
-exp(ixe)
2n
o(x)
(5.28)
f-
0):
(5.29)
integramos primeiramente em Ve e em Vv, obtendo:
Z(M)
fDwDuo(R + *dAu.)o(dw) x
fDJDgcxp{ -ifM*f A C:.of +*[/A C:.og}
(5 30)
Como anteriormente, a segunda integral gaussiana e resulta no quadrado

do determinante do laplaciano covariante .o em O-formas. Assim, lembrando
ainda que R= dAw e observando que (ry)
(*1J) pois* um isomorfismo:

(5.31)
63
O argumento das funes 8 so a imagem do operador D definido em (5.7)

'
agindo no par (w,*u), pois D(w,*u). = (*dAw-l-dA*t.t,dA *W). Devido a
presena das funes 8, a ltima integrao resulta simplesmente no determinante deste operador, sem a problemtica fa."!e (5.12) que aparecia anterior-
mente. Lembrando que estamos trabalhando com a hiptese de que o espao

de mdulos M tem dimenso nula, o resultado final fica sendo:
Z(M) ~. I;T(M, E)- 112
(5.32)
onde T(M, E) a toro de H.ay-Singer, definida em (5.13) e a soma sobre
os pontos crticos da ao. Witten aponta que no caso em que dimM
f=
a funo de partio pode ser obtida simplesmente trocando-se a somatria

pela integral de T(M, E)- 112 , que passa a ser uma funo em M; entretanto
M no compacto e a funo de partio diverge, conforme mencionamos

anteriormente.
possvel ainda introduzir os loops de Wilson (4.6) como observveis da

teoria, como na seco 4.2. Aqui, estes
observ~veis
tambm possuem uma
interpretao fsica interessante. Segundo um teorema clssico de Wigner,

os representaes unitrias de dimenso infinita do grupo de Poincar so
parametrizadas por me j, a massa e o spin de uma partcula pontuaL. Um
loop de Wilson descreve portanto um partcula pontual de massa m e spin j
se propagando ao longo de um caminho C.
Mudana de topologia
Considere agora I:; 1 e
r;2
duas superfcies compactas sem bordo no ne-
cessariamente conexas e tome M uma 3-variedadc tal que 8M = E 1 U E_2;

por cobordismo, tal M sempre existe
7
Seja ainda w1 e w 2 50(2, 1)-conexes
Suporernos ainda queM satisfaz a condio topolgica necessria para que o espao de
mdulos t.enha dimenso nula e a funo de partio no divirja, a saber H 1 ( M, 8 M) = O.
CAPrTULO 5. APLICA1lO TEORIA DE CAMPOS
64
nos fibrados P{~(E 1 , 2 , S0(2, !)) e w uma conexo em P(M, 50(2, 1)) tal que
wb::; 1 = w1 e wlr; 2 = w2: Assim (I:1, wl) interpretado como sendo o estado espacial inicial e (E2, w2) o estado espacial final~ sendo o par ( M, w) o
caminho usado para a transio.
Fisicamente, conhecendo o estado inicial da funo de onda l (wi) E 'Hr; 1 ,

o csLado final W(w2) E 'Hr, 2 pode ser obtido pela integral:
(5.33)
O ncleo I< (E2, E 1 ) chp.mado propagador, sendo dado por:
I< (Ez, E,)
j 'De'Dw exp {i JM e A R}
(5.34)
onde a integrao feit.a sobre Lodos as conexes w tais que wl1; 1 = w1
wlr;2
w2.
Assim, K(E2, EI) = Z(M), i.e.
o propagador a funo
de partio da variedade responsvel pela transio entre os estados L: 1 e
E2, cuja probabilidade de transio daJa por IK(E 2 , :E 1 )1 2 . Para integrar

5.34 repetimos o procedimento do pargrafo anterior, resultando na soma
(ou integral, no caso mais geral) das tores de Ray-Singer associadas s
conexes jlat w que extendem w 1 e w2.
Para que estas probabilidades de transio sejam hem definidas do ponto
de vista fsico necessrio que uma certa condio de fatorizao elementar
seja satisfeita. Seja M uma 3-varicdade tal que lvf = E 1 U E 3 . Podemos
partir o processo de transio de (E 1 ,wr) para {E 3 ,w3 ) em duas etapas observando un1 estado intenm;dirio (Ez, wz); isto pode ser feito cortando-seM
ao longo de uma superfcie E2 com a conexo
wz
= wb~ 2
O:s propagadorcs
K(E3, E1), K(Ea, E2) e K(Ez, E1) devem satisfazer a seguinte condiO de
compatibilidade;
(5.35)
ou seja, a probabilidade de transio de E 1 para E 3 a soma sobre todos os
estados intermedirios E 2 possveis. Witten no demonstra a validade desta
65
frmula, citando um trabalho .no publicado no qual um resultado anlogo

para a toro de Reidemeister provado. O autor desta monografia no teve
acesso a este trabalho.
Carlip & Cosgrove [13] calculam explicitamente a probabilidade de transio de uma superfcie de gnero g = 3 para duas superfcies de gneros
g = 2 (figura :3, pg. 48). O problema aqui o clculo da toro de Ray-
Singer; Carlip & Cosgrove contornam este problema usando a relao entre a
toro de Ray-Singer e a toro de ReidemeisLer, que um objeto puramente
combinatrio, calculado a partir dos geradores da homologia das superfcies

em questo.
Apesar de observarem que a probabilidade de transio de
Lopologia no necessariamente nula, os autores afirmam que 1 devido s j

'
mencionadas divergncias 1 ainda no
~possvel
tirar uma concluso definitiva
sobre este tipo ele processo.
Regra de seleo
Nas consideraes acima nao feita nenhuma restrio quanto s superfcies de Riemann que suposemos representar a parte espacial do espaotempo M. Entretanto, para que esta interpretao seja correta necessrio
que E = BM seja uma superfcie tipo espao 1 i. e. que a restrio do dreibein
e E induza uma mtrica euclideana (positiva definida) em :E. Equivalentemente~
devemos exigir que o fibrado P'(E 1 S0(2 1 1)) = P)E seja redutvel a
um fibra.do P 11 (:E, S0(2)). Partindo desta observao, Amano & Higuchi [1]
deduzem uma regra de seleo
para os processos de transio de topologia
descritos acima.
Mess demonstrou, em trabalho n.o publicado citado por Amarro & Higuchi, que se uma variedade compacta orientvel com mtrica de Lorentz
8
Em teoria quntica, uma regra de seleo uma relao entre os estados inicial e final
que deve ser satisfeita; transies que violem esta relao so automaticamente proibidas.
CAPrfULO 5. APLICAO TEORIA DE CAMPOS
66
desprovida de curvatura.M (exatamente o caso de interesse aqui) tem como

bordo uma superfcie tipo espao ento M tem necessariamente a topologia
M = aM x R. Claramente, este resultado probe mudanas de topologia em
uma teoria clssica da gravitao. Entretanto, como apontado por Witten

[64], a teoria quntica permite mtricas degeneradas, saindo do escopo do
resultado acima e abrindo a possibilidade de mudana de topologiaj i.e. tais
processos so essencialmente qunticos.
A classe de euler e(P") E H 2 (E, Z) coincide com a primeira classe de
Chern deste e classifica P" completamente.
Explicitamente, seja B uma
50(2)-conexo em P", ento a classe de Euler fica dada por (lembre que
a curvatura dada por 8 =dO):
e(P") = _i__
f de
(5.36)
27r h~
A caracterstica de Euler de uma variedade definida como sendo a classe

de Euler do seu fibrado tangente: x(E) = e(TE); para uma superfcie de
Riemann de gnero g vale que x(~) = 2g- 2.
'
Queremos mostrar o seguinte resul.tado: se
uma sv.per.fcie tipo espao
mergulhada ern P(M, IS0(2, 1)), ento e(PIE) = e(P") = x(E), ou seja, o
S0(2)-fibrado induzido 1? 11 JOmorfo ao fibrado tangente 1'~, a menos de
orientao. De fato, seja I: uma superfcie tipo espao mergulhada em M e
h, h} sobre
Como E tipo espao, podemos tomar f o como
escolha um refencial ortonormal (na mtrica de Minkowiski) {fo,

E, ou seja Ua, h) = "7ab
sendo um campo normal I:. ASsim PIE = P' = P" E9 e 1 , onde P, P' e
P" so vistos como os respectivos fibrados vetoriais associados. Segue ento

que {/1 , h} formam um referencial ortonormal (agora na mtrica euclidiana
usual) tangente ~' ou seja P" = T~, donde e(P") = x(E), como queramos
demonstrar.
interessante notar que a presente condio mais natural que aquela

apontada por Witten ao escolher a componente de N correspondente s conexes com classe de Euler (2g- 2) como fisicamente relevantes. Passamos
67
agora regra de seleo propriamente dita.
SejaM 3-varicdade tal que DM = E= E 1 U ... UEJ, ondeEi = E 1 u ... UL:k
o estado espacial inicial e L,f = Ek+I U ... U Ej o estado espacial final.

Seja ainda P(E, 80(2)) um 80(2)-fibrado sobre E, de maneira que E
um superfcie tipo espao de M,
Para que esta transio seja permitida
necessrio que exista uma extenso de P(E, 50(2)) para um IS0(2, 1)fibrado sobreM '(M, !80(2, 1)). Seja Q(M, 80(2)) um sub-fibrado de
e tome uma conexo v em Q. Se E tem a orientao induzida de M, ento,

pelo teorema de Stokes, vale que:
j
e(P)
~ Ee(PIE,) ~_r
Como e(Ph::J
21r 1oM
k=l
dv
~o
x(Ek), temos que uma condio
necessri~
(5.37)
para que a
transio de Ei para I:.1 seja permitida que:

j
L'kX(Ek) ~o
(5.38)
k=:=l
onde
Ek
um sinal que d conta da orientao de M induzida em Ek. Ob-
temos assim a prometida regra de seleo. interessante notar que Sorkin
[60) deduziu uma regra de seleo para processos de mudana de topologia

do espao-tempo anloga (,5.38), usando entretanto argumentos completamente diferentes.
5.3
Teoria de' calibre massiva
Prosseguindo o estudo de teorias de calibre em dimenso 2+ 1, passamos

a analisar um modelo primeiramente introduzido por Schonfeld em [58] e
Deser, Jackiw & Templcton em
[2J e [19]. Estes autores observaram que se
adicionarmos o termo de Chern-Sirnons lagrangeana da teoria de Yang-Mlls

usual obtendo:
(5.39)
68
o campo de calibre (aqui representado pela curvatura F) !..orna-se massivo,

9,
sem quebrar a simetria de calibre e sem introduzir campos auxiliares
outros fenmenos fsicos interessantes surgem. Em (5.39), 9 a constante
de acoplamento dos campos de calibre e J.l uma constante com unidade

de massa, chamada massa topolgica; na nossa notao anterior k :__
(portanto k grande corresponde a pequeno acoplamento).
Conforme observamos anteriormente (seco 4.2), o termo de ChernSimons no invariante de calibre, nms se transforma de uma maneira bastante especial sob mudanas de calibre. De fato, a ao S
JM .C altera-se
pela adio de um inteiro, de maneira que a quantidade fisicamente relevante

exp( iS) fica invariante de calibre. Supondo fixada a constante de
acopla~
mento g, a condio de quantizao da constante k observada na seco 4.2

torna-se uma condio de quantizao sobre a massa topolgica Jt.
Esta situao simplificada se o grupo de calibre for U(l); no caso abeliano a segunda classe secundria identicamente nula, portanto independente
da conexo. Assim a lagrange;-tna (5.39) invariante da calbrc, o que implica
que a const,ante Jt no quantizada.
Deser, Jackiw & Templeton demonstram a condio de quanzao acima
de maneira diferente, sem recorrer ao teorema 2.3, mas
grupo de calibre SU(2) eM
= R 3.
a mudana de calibre dada por A
restringindo~se
ao
O argumento bastante interessante. Sob

--+
u- 1 AU + u- 1 dU,
sendo U : M -
C, a
lagrangeana (5.39) transforma~se da seguinte maneira:
(5.40)
Exigindo-se que a transformr,t.o de calibre anulc~sc no infinito espao~ temporal, ou seja, U(x)--+ Id quando x---~' oo
10 ,
o primeiro termo dentro do trao
Na temia de Yang~Mills usual, campos de calibre so necessariamente no massivos,

podendo adquirir massas por' meio do chamado mecanismo de Higgs de quebra espontnea
de simetria, cujo subproduto o surgimento de uma partcula de spin O, o bson de Iliggs
(veja [56], captulo 8).
10 Esta exigncia bastante usual em teoria de campos e reflete a hiptese de que o
9
CA?rFULO 5. APLICAO TEORIA DE CAMPOS
69
anula-se aps a integrao, via teorema de Stokesj alternativamente, para o
caso de M ser uma variedade compacta sem bordo, este termo uma 3-forma
exata e tambm anula-se aps a integrao.
Resta o segundo Lermo do traoj note que ele in depende da conexo, sendo
dependente apenas da transformao de calibre U. Na hiptese de espao-
tempo as~intoticamente uniforme, R 3 pode ser continuamente compactificado

na 3-esfera. Como
su (2) -= 8 3 , temos que u : S 3 ___,. S 3 e o segundo termo
interpretado como sendo o winding numlJer da aplicao U, ou seja, quantas
vezes U recobre 8 3 ; fica claro que, sob mudana de calibre, lagrangeana (5.39)
altera-se apenas pela adio de um inteiro, levando a quantizao de
f.J,
como
no incio da seco 4.2. No caso geral, este segundo termo estaria ligado
ao grupo das classes de homotopia de aplicaes U : M
---+
S 3 , denotado. por
[M,S 3 ].
No caso abeliano, o problemtico termo ~U- 1 dU A u- 1dU A u- 1dU no
aparece; ou seja, a lagrangeana altera-se, sob mudana de calibre, apenas
por uma divergncia Lotai d(A A u- 1dU), que anula-se aps a integrao
como observamos assim. Conclumos novamente que no caso eletromantico
a constante
J.L
no quantizada.
Outro fato interessante a ser observado que a adio do termo de ChernSimons na lagrangeana no altera o tensor de energia-momento da teoria de
Yang-Mills usual, dado por T 1w = FIMkF;:
+ ~gP.~-'J?aflpn/3
(aqui g!-Lv denota
uma mtrica riemanianna em M), pois um termo topolgico, ou seja, independente da mtrica. Isto significa que a dinmica fica inalterada; a esttica,
entretanto, dramaticamente alterada, como veremos em seguida.
ainda que
o,~TJ.IV =
Note
O, ou seja, o tensor de energia-momento da teoria dada
pela lagrangeana (5.39) conservado.

espao-tempo assintoticamente uniforme e isotrpico.
70
Deduo da equao de movimento
Passamos agora a decluo da equao de movimento via princpio variadanai. Introduzimos primeiramente uma variao de primeira ordem no potencial de gauge Ar = A+Ta, o campo sendo dado por F = F+T Da+T 2a/\a,
7
onde D denota a derivada exterior covariante; desta maneira ( temporaria-
mente deixando de lado o trao e' a constante de acoplamento por simplicidade):
Lr ~ (F+ r Da.+ r 2 a.l\ a.) 1\ (F +r Da+ r 2 a 1\ a.)+

p. ((A+ ra) 1\ (dA+ rda) +~(A+ r a.) 1\ (A+ Ta) 1\ (A+ Ta))
L+ r {F 1\ Da +Da./\ F + p. (a./\ dA +A 1\ da+
~(a 1\ A 1\ A+ A 1\ a 1\ A+ A 1\ A 1\ a))}+ O(r 2 )
(5.41)
Exigindo agora que d~Lr/r=O =O (pontos crticos da ao) obtemos:
F 1\ Da +Da 1\ F+
+p. [a 1\ dA+ A 1\ da+ ~(a 1\ A 1\ A+ A 1\ 1\ A+ A 1\ A 1\
a.)]
~O
(5.42)
Relembrando o produto interno de formas introduzido em (5.5) e obser-
vando que**= 1 para 1- e 2-fonnas em 3-variedades podemos reescrever a

expresso acima como sendo:
2 (Da, F)- p. [(a, dA) +(A, da) +

~((A 1\ A, a) +(A 1\ a, A) + (a,(A 1\ A)JJ] ~O
denotando agora por D*
mente e lembrando que
(5.43)
*D* e 8 = *d* os adjuntos de D e d respectiva-
* auto-adjunto,
obtemos:
2 (Da, F)- p. [(a., dA + 8 *A)+ ~(2 (a., (A 1\ A))+ ((A 1\ a), A))j ~
~ 2 (a, D' F)- i' [2 (a, dA) + 2 (a, (A 1\ A))]~ O
(5.44)
pois O. A ~ ( d) *A ~ d(** A) ~ dA e ((A 1\ a), .A) ~ A 1\ **(A 1\ a) ~
**(A 1\ A) 1\ a~ (a, (A 1\ A)); desta maneira:
(a, D'F) -I' [(a, (dA +A 1\ A))]~ (a, D'F- p.(F)) ~O
(5.45)
CAP1TULO 5. APLICAO TEOHIA DE CAMPOS

qualquer que seja a perturbao a.
71
A equao de movimento da teoria
portanto dada por:
D'F- Jl.(P) ~O "
(5.46)
interessante observar que apesar da lagrangeana (5.39) no ser invariante

de calibre, a equao de m~vimento .a partir dela. obtida o . De fato, sob
---+ gFg~l,
mudanas de calibre a campo F sofre a transformao F

g : M3
---+
onde
SU(n); assim, lembrando que g pode ser encarado com uma
O-forma, temos que:
(5.47)
donde segue de imediato a invar'nca de (5.46).
A equao de movimento a chave para interpretarmos a constante /L

como sendo <t massa do campo de calibre. Seja B
*F o campo de calibre
dual e note que D*B = *D **F= *DF= O pela identidade de Bianchi. De
(5.46) temos que:
D'P- Jl.(F) ~ DB -p.B ~ (D -!'.)B ~O=> (D- J1.) 2 B ~O

(D- v) 2B ~ (D'D- 21' D +v 2)B ~ [(D'D +DD') -!' 2]B ~O
(5.48)
pois *DB = J-lBi da expresso acima resulta a equao:
(Ll. - !' 2 )B ~ O
(5 .49)
onde 6. o laplaciano covariante; (5.49) indica que o campo dual B se propaga

como uma partcula livre de massa p. e spin 1, portanto correto interpretar
a constante /1- como sendo a massa do campo de calibre
12 .
de Chern-Simons entendido como um termo de massa e
J-L
Assim, o termo
o anlogo do
ngulo O que surge no mecanismo de Higgs.

11 Notando que na notao com coordenadas explcitas usual em fsica temos que *F =
*FO = r:twap/-'V e que D* F= -2D JFI-''-'
obtemos D V F"'" -1- 1!r:J3uap"'
=O como em [20]
L1
2
,_,V
12 0 sinal,
aparentemente trocado, deve-se ao fato de que, em coordenadas,
C:.B ~ - [av(" B") + a"(a"B,,)j.
72
Note ainda que J.L 2 so os autovalores do laplaciano covariante em M,

que por hiptese uma 3-variedade compacta e orientvcl; assim, os valores
possveis de 11- 2 formam um conjunto discreto, o que mais uma indicao

da quantzao da massa topolgica tt Solues para equao de campo
(5.46) esto portanto ligadas s autofunes de ~i para o caso de geometria

riemanniana (campo gravitacional), veja [27]. Isto bastante sugestivo; pois
sabe-se que o espectro do laplaciano est intimamente ligado topologia de

M (via teorema de Hodge)j veja por exemplo [34].
Acoplamento com a matria
A introduo de acoplamento entre o campo de calibre A e um campo spinorial massivo de 2 componentes 1/J, representando um eltron ou um
quark~
feita adicionando-se lagrangeana (5.39) termos de propagao livre do

frmion massivo LJ mais um termo de interao mnima Li, dados por:
(5.50)
onde 111- so as matrizes de Drac
1
13 ,
na representao 2-dimensional:
=(1o O) '=(o o1)

-1
(5.51)
m a massa e e a carga do frmion 1/J e A = AJ.<dxJ.<. As novas equaes de
campo da lagrangeana de interao L+ Lt +Li:
(5.52)
onde J
-(e'ifJ"(Il-'1/J )dxp, ' a corrente associada ao campo
1/J, obtida pela
variao da conexo A no termo cinLieo do campo spinorial. Estas equaes

so novamente invariantes de calibre.
13
Geometricamentc, 1Jl8p, o operador de Dirac no fibrado spinorial sobre M.
73
CAPtFULO 5. APLICAO TEOlliA DE CAMPOS
Esta nova lagrangeana apresenta algumas propriedades interessantes. A

primeira delas diz respeito quebra de certas simetrias discretas: conjugao
de carga (denotada por C), L~ansformao de paridade (P) e inverso temporal (T). O efeito destas transformaes nos campos de calibre e spinorial
descrito na tabela abaixo:

conj. carga (C)
0
A (t,x,y)-+ -A (t,x,y)
paridade (P)
A (t, x, y) ~ A 0 (t, -x, y)
0
A 1 (t,x,y) ~ -A 1 (t,x,y) A 1 (t,:c,y) ~ -A 1 (t,-.x,y)

A2 (t,x,y) ~ -A'(t,x,y)
A 2 (t, x, y) ~ A 2 (t, -x, y)
?jJ(t,x,y) ~ -h 11fJl(t,x,y) 1/J(t,.x,y) ~ -h 11/J(t,-x,y)
inv. temporal (T)
A (t, x, y) -+ A 0 ( -t, x, y)
A 1 (t,x,y) ~ -A 1(-t,x,y)
A 2 (t, x, y) ~ -A 2 ( -t, x, y)
1/J(t,x,y) ~ -h'.P(-t,x,y)
0
Conjugao de carga deixa a lagrangeana invariante; as outras duas transformaes, entretanto, alteram o sinal dos termos de massa do campo spi-
norial (m1/J'Ij;) e o termo de massa topolgica (Chern-Simons), deixando os
demais termos invariantes. Dizemos ento que as simetrias P e T so quebradas. As transformaes P e T combinadas deixam inalterada a lagrangeana
de interao; enLo, a lagrangeana tambm Ilca invariante pela combinao
das trs transformaes, que denota-se C PT. Este fato bastante relevante,
pois permite a ligao da teoria de Chern-Simons acoplada com a matria
com o estudo de anomalias dos campos de calibre em dimenso 3+ 1 (veja
[lO]).
Se a massa ferminica for igual massa topolgica do campo de calibre
(m
t-L) a transformao supcrsimtrica dada por (aqui
um parmetro
spinorial constante, chamado parmetro de Grassmann):
(5.53)
74
CAPITULO 5. APLICAO TEORIA DE CAMPOS

altera lagrangeana L
+ [.f
apenas por uma divergncia total, que pode ser
desprezada se trabalhamos com 3~variedades sem bordo (teorema de Stokes)

ou com uma variedade do tipo :Ex R em que os campos tendem a zero no infinito temporal. Note que o termo de massa ferminico que se transforma no
termo de massa topolgica e vice-versa; os termos cinticos tambm se transformam entre si. O termo de acoplamento mnimo com o campo spinorial Li
no supersimtrico
14
(veja tambm o apndice A de [58]).
natural supor que a interao de calibre passe a ter alcance finito, pois os
seus intermediadores so agora massivos. De fato, segue da equao de campo
(5.46) que a parte eltrica Eo:
F' 0u decai exponencialmente como e-JLr.
Restringindo-se agora ao caso eletromagntico (abeliano) no espao-tempo

plano tridimensional de Miukowiski, considere uma carga eltrica pontual
q parada no ponto x E R 2, gerando um campo esttico. A equao de
movimento fica ento dada por, em coordenadas:
a,_,pva
I
+ ztu::av>.Fv>.
-egoar52(x)
onde 82 (x) denota a funo delta de Dirac na componente espacial e
(5.51)
gJ.Lv
a mtrica. Integrando-se a componente temporal (o:= O) de (5.54) em todo

espao:
/ ( -div(E)
+ 1<B + e6 2 (x)) d2 x
(5.55)
onde Ej = pOJ a parte eltrica e B = cik81 Ak = F 12 a parte magntica

do campo eletromagntico pvo: (aqui' j, k = 1, 2). Observe que o primeiro
termo uma divergncia total c sob hiptese de que o campo eltrico nulo
'
no infinito espacial vale que f div(E)d 2 x =O; de fato 1 segue de (5.46) que o
campo eltrico deca exponencialmente devido a.o termo de massa. Assim, a
14 Teorias
de campo supersimtricas tm profunda rcla.o com a topologia de 4variedades, conforme mostrado por Wi~ten em [65] e [69]. A teoria de Chern-Simons pura
apresentado na seco 5.1 tambm pode ser feita supersimtrica, veja [12] seo (8.4.6).
CAPTULO 5. APLICAO TEORIA DE CAMPOS
75
expresso acima reduz-se para:
(5.56)
O lado esquerdo da equao acima simplesment,e o fluxo do campo magnti-
co passando pelo plano espacial; segue ento que o fluxo do campo magntico
gerado por uma carga proporcional a esta, ao contrrio da eletrodinmica
usual de Maxwell, em que cargas eltricas estticas no geram campo magntico.

Outra possibilidade acoplar minimamente o campo de calibre com um
ou mais campos escalares (que descrevem partculas de spin O, como pons),
que denotaremos por
4Ji
Os campos escalares podem ser auto-acoplados ou
acoplados entre si; a constante de acoplamento destes campos com o campo

de calibre simplesmente a carga eltrica e. O modelo, chamado de modelo
de Chern-Simons-Higgs, tem lagr-angeana dada por:
Lcsu =
onde D =
2~2 tr \F A *F -
f1 (A A dA + ~A A A A A)} - L;1 2 D~j 1\ D~j + V(<t1)
ai-' - i e AI-'
(5.57)
denota a derivada covariante do campo escalar e V ( <Pi)
um potencial inicialmente no especificado. Note ainda que </Jj complexo

conjugado de q). As equaes de movimento desta nova lagrangcana so:
(5.58)
onde~=
(JL-
ieAJL)(~-'-
ieAJL) o laplaciano covariante em O-formas. O
lado direito da primeira equao a corrente associada ao campo escalar,

tambm obtida pela variao da conexo no termo cintico destes campos.
Observe que (.5.58) so invariantes de calibre.
Sem o termo de Chern-Simons (portanto sem o segundo termo do lado
esquerdo da primeira equao em (5'.58)), as solues de energia finita de
(5.58), chamadas vrtices, possuem fluxo magntico no-nulo mas no tm
'
76
carga eltrica. Entretanto 1 I-1. de Vcga & F. Schaposnik observaram em [18]
que, no caso do grupo de calibre ser SU(2), a introduo do termo de ChernSimons faz com que os vrtices de (5.58) adquiram carga eltrica mantendo
a energia finita. Para tanto, os autores utilizaram dois campos escalares e
um potencial de Higgs da forma:
(5.59)
onde
1]1,2 1
g, h e l so parmetros. Ainda, devido quantizao da massa
topolgica fL, as cargas eltrica e magntica da soluo de vrtice tambm

so quantizadas.
No caso abeliano, Hong, Kim & Pac [32] notaram posteriormente que
o termo cintico de Maxwell (primeiro termo em (5.57)) no necessrio
para existncia deste tipo de soluo. Mesmo sem o primeiro termo do lado
esquerdo na primeira equao, (5.58) ainda possui solues de vtices com
carga eltrica e fluxo magntico no-nulos e quantizados. Apenas um campo
escalar necessrio e o potencial de Higgs dado por:
4
V(<P) ~_e I<PI 2 (I<PI 2

8p.'
onde v um parmetro ligado

Weinberg mostraram em
~nergia.
v2 ) 2
(5.60)
Curiosamente, C. Lee, K. Lee & S.
[39] que este mesmo sistema, ou seja, a lagrangcana
(5.57) com campo de calibre abeliano sem o termo de Maxwell, um campo

escalar e o
po~encial
dado acima, apresenta um certo tipo de supersimetria.
Quantizao
At o momento lidamos apenas com os aspectos clssicos da teoria. A
quantizao do termo de Chern-Simons puro foi feita na seco 5.1, quando
mostramos que a funo de partio independente da mtrica do espaotempo. Entretanto, o termo cintico Fp.vFP.'"' no topolgico. Pisarski &
CAPtFULO 5. APLICAO TEORIA DE CAMPOS
77
Rao [51J trataram a quantizao de (5.39) do ponto de vista perturbativo,

calculando propagadores e correes at segunda ordem. Este trabalho est,
entretanto, fora do escopo da presente abordagem.
Um caso de especial interesse o abeliano minimamente acoplado com
campo spinorial, ou seja, a eletrodinmica quntica (QED) em dimenso 2+ 1.

Neste caso, Nemi & Semenoff [49] mostraram que partindo-se da lagrangeana
clssica com ftons no-massivos:

.
LqED =--F 1\ F
+ Lt
(5.61)
c supondo-se que o potencial A esttico e satisfaz a condio de calibre dada
por Ao
O, ento o termo de Chern-Simons (massa topolgica) induzido

radiativamente, ou seja, surge como correo quntica lagrangeana clssica.
=
Isto significa que o mecanismo para gerao de massa dos campos de calibre
intrnseco dimcnsionalidadc, e a massa depende da topologia do espaotempo considerado, pois, como observamos acima, ela est ligada ao espectro
do laplaciano. Os mesmos autores conjecturam que argumento idntico seja
vlido para qualquer espao-tempo de dimenso mpar alm de 3, sendo
que o termo induzido radiativamente a classe secundria de Chern-Simons
pertinente. Este argumento torna a introduo do termo de Chern-Simons
na teoria de calibre usual bastante natural.
Outras aplicaes
Alm das propriedades analisadas na seco anterior, a teoria de calibre
massiva em dimenso 2+ 1 minimamente acoplada com a matria apresenta
ainda outro fenmeno de grande intewssc em fsica. 1.l:ata-se do aparecimento
de partculas com estatstica fracionria.
A teoria qunLica usual estabelece que existem .apenas dois tipos de
partculas elementares na natureza:
bsons, que possuem spin inteiro, c
78
jrmions, que possuem spin semi-inteiro. O spin est ligado a estatstica

obedecida pela pela partcula: quando permutamos dois bsons de posio,
a funo de onda que os descreve ganha uma fase mltipla de 27r, ou seja,
permanece inalterada; a permutao de dois frmions, entretanto, faz com
que a funo de onda que us descreve ganhe uma fase mltipla da forma
(2n
+ 1)w,
ou seja, troque de sinal.
Porm, Leinaas e Myrheim [40] notaram que quando restritas ao plano

'
(dimenso 2+1), partculas qunticas idnticas podem no ser nem bsons
nem frmions, podendo ter spn ~ para qualquer inteiro n. Isto que dizer
que permutaes destas partculas, usualmente chamadas anyons, alteram a
funo de onda pelo ganho de uma .fase mltipla de ~, podendo ter estatstica
fracionria.
Hansson et al. [30] mostraram que campos de matria minimamente acoplados com um campo de calibre auto-acoplado via termo de Chern-Simons
tambm apresentam estatstica fracionria, pelo menos no caso abeliano (eletromagnetismo, U(l) como grupo de calibre). Este resultado torna a teoria
apresentada acima aplicvel ao estudo de dois fenmenos em matria condensada que apresentam relao com o surgimento de estatstica fracionl'ia
sob a a.o Ue um campo eletromagntico: o efeito Hall quntico [3] e a
supercondutividade em alta temperatura crtic<l: [53].
Bibliografia
[1] K. Amano and S. Higuchi. Topology change in !80(2,1) Chern-Simons
gravity. Nuclear Physcs B, 377(1-2):218-235, 1992.
[2] M. Armstrong. Basic topology. Springer-Verlag, 1983.
[3] D. Aravas, J. Schrieffer 1 and F. Wilczck. Fractofl:al statistics and quantum Hall effect. Physcs Revew Letters B, 53(7):722-723, 1983.
[4] M. Atiyah. Geometry and physics of knots. Cambridge University Prcss,
1990.
[5] M. Atiyah. Quantum thcory and geometry. Journal of Mathematical
Physics, 36(11):6069-6072, 1996.
[6J M. Atiyah, N. I-Iitchn, and I. Singer. Self-Uuality in four-dimensional

riemannian geometry.
Proceedins of lhe Royal Society of London A,
362(2):425-461, 1978.
[7] M. Atiyah, V. Patodi, a~d L Singer. Spectral a~ymmetry and riemannian
geometry I. Mathematical Proceedings of the Cambridge Philosophical
Socety, 77(1):43-70, 1975.

[8] S. Axelrod, S. Della Pietra, and E. Wittcn.
Geometric quantza-
tion of Chern-Smons gauge theory. Journal of Differential Geometry,
33(3):787-902, 1991.
79
80
BIBLIOGRAFIA
[9J S. Axelrod and L Singer. Chern-Simons perturbation theory 11. Journal
of Differential Geometry, 39(1):173-213, 1994.

[10] R. Banerjee. Chern-Simons terrns and anomalies in gauge theories. Mo-
dem Physics Lelters A, 6(21):1915-1921, 1991.

[11] A. Belavin, A. Polyakov, A. Schwarz, and Yu. Tyupkin. Pseudo-particle
solutions to the Yang-Mills equations. Physics Letters H, 59(1):85-87,
1975.
[12] D. Birmingham, M. Blau, M. Rakowski, and G. Thompson. Topological
field theory. Physics Reports, 209(4,5):129-340, 1991.

[13] S. Carlip and R. Cosgrove. Topology change in (2+ 1 )-dimensional gravily. Joumal of Mathematical Physics, 35(10):5477-5493, 1994.
[14] .J. Cheeger and .I. Simons. Differential characters and geometric invariants. Lecture Notes in Mathematics, 1167:59-65, 1979.
[15] S. S. Chern. Topics in dijferential geornetry. Princeton University Press,
1951.
[16] S. S. Chern and J. Simons. Characterisc forms and geometric invariants.
Annals of Mathem.a.tics, 99(1):48-69, 1974.
[17] R. H. Crowell and R. I-1. Fox. Introduction to knot theory. SpringerVerlag, 1977.
[18] H. de Vega and F'. Schaposnik.
Eletrically charged non-abelian
gauge theories with Chern-Simons terms.
Physical Review Letters,
56(24):2564-2566, 1986.
[19] S. Deser, R. Jackiw, and S. Templeton.
Three-dimensional mass1ve
gauge theories. Physical Review Letters, 48(15):975-978, 1982.
81
BIBLIOGRAFIA
[20] S. Deser, R Jackiw, and S. Templeton.
1bpological1y masive gauge
theories. Armais of Physics, 140(2):372-411, 1982.
[21] S. K. Donaldson and P. Kronheimer. Geometry of four-manijolds. Cla-
rendon Press, 1990.

[22] A. Einstein and P. Bergmann. On a generalizat;ion of Kaluza's theory
of eletricity. Annals of Mathematics, 39{2):683-701, 1938. Reproduzido

em Modern Kaluza-Klein Theories eds. T. Appelquist, A. Chodos & P.
Freund, p.89-107.
[23] L. Eisenhart. Riemannian Geometry. Princeton University Press, 1949.
[24] R. Feynman. Space-time approach to non-relativistic quantum mechanics. Reviews of Modern Physics, 20(2):367-387, 1948.
[25] D. Freed and R. Gompf. Computer calculations of Witten's 3-manifold
invariant.
Communications in Mathematical Physics,
141(1):79~119,
1991.
[26] P. Freyd, D. Yetter, J. Hoste, W. Lickorish, K. Millet, andA. Ocneanu.
A new polynomial invariant for knots and links. Buli. Am. Malh. Soe.,
12{2):9-28, 1985.
[27] S. Galol and D. Meyer. Oprate~1r de courbure et laplacien des formes
diffrentielles d'une ,varit riemanniene.
Journal des Mathernatiques
Pures et Appliques, 54(3):259-284, 1975.

[28] D. Gepner and E. Wittcn. String theory on group manifolds. Nuclear
Physics B, 278(3):493-549, 1986.

[29] D. Hacon. Introduo temia dos ns ern R 3. IMPA, 1985.
82
BIBLIOGRAFIA
[30] T. Hansson, M. R.ocek, L Zahed, and S. Zhang. Spin and statistics in

mass1ve (2+1)-dimensi~::mal QED.
Physics' Letters B, 214(3):475-479,
1988.
[31] W . .JIeisenberg and W. Pauli. Zur Quantendynamik der VVellenfelder.
Zeitschrift Jr Physik, 56{1-2):1-61, 1929.
[32] J. Hong, Y. Kim, and P. Pac.
Multvortex solutions of the abelian
Chern-Simons higgs theory. PhyBical Review Lelters, 64(19):2230-2234 1
1986.
[33J D. I-Iusemoller. Fiber !Jundles. Springer-Verlag, 1966.
[34] M. Jardim. Mass spectrum of (2+1)-dimensional topologically massive
gauge theory. Preprint HEP-TH/9604095.

~~~5]
V. F. R. Jones.
A polynomial invariant for knots VIa von Neumann
algebras. Bull. Arn. Math. Soe., 12{1):103-111, 1985.

[36] L. H. Kaufmann. Knots and physics. World Scientific, 1991.
[37] S. Kobayashi and K. Nomizu.
Foundali.ons of dif{erential geometry,
volume 1. Intersience Publishers, 1963.

[38] S. Kobayashi and K. Nomizu.
Foundations of differenlial geometry,
volume 2. Intersience Publishers, 1969.

[39] C. Lee, K. Lee, and S. Weinberg. Supersymmetry and sclf-dual ChernSimons systems. PhysiGs LeU.ers B, 243(1-2):105-108, 1990.
[40] J. Leinaas and J. Myrheim. On the theory of idenLical particles. Nuovo
Cimenlo B, 137(1):1 -23, 1977.

1
[41] W. Lickori::;h. A represent.aton of orientable combinatorial 3-manifolds.
AnnaLs of MaUwrnatics, 76(3):531-540, 1962.
83
BIBLIOGRAFIA
[42] J. Millson. Examples of nonvanishing Chern-Simons invariants. Journal

of Differential Geometry, 10(4):589-600, 1975.
[43] J. Milnor. Construction of universal bundles L Annals of Mathematics,
63(2):272-284, 1956.
[44] J. Milnor and J. Stasheff. Chamcteristic classes. Princeton University
Press, 1974.
[45] G. Moore and N. Seiberg. Polynomial equations for ra.Lional conformai
ficld theories. Physics Letters B, 212(3):451-460, 1988.

[46] G. Moore and N. Seiberg. Taming the conformai zoo. Physics Letters
B, 220(3):422-430, 1989.
[47] M. S. Narasimhan and S. Ramanan. Existence of universal connection.
American Journal of Mathematics, 83(4):563-572, 1961.

[48] C. Nash. Di}jerential topology and quantumfield theory. Academic Press,
1993.
[49] A. Niemi and G. Semenoff.
Axial-anomaly~induced
fermion
fractioniza~
tion and effective gauge theory actions in odd-dimensional space-times.
Phyaical R.eview Letlers, 51(23):2077-2080, 1983 ..
[50] G. Pichon. Groupes de Lie: reprsentations linaires et applications.

I-Icrmann, 1973.
[51] H. Pi::mrski and S. Hao. Topologically masive chromodynamics in the
perturbative regime. Physical Review D, 23(8):2081-2096, 1985.
[52] P. RamonJ. F'ield Theory - A modem primer. Benjamin/Cummings
Publishing Co., 1981.
BIBLIOGRAFIA
81
[53] S. Randjbar-Daemi, A. Saiam, and J. Sira_thdee. Chern-Simons superconductivity at finite temperature. Nuclear Physics B, 340(3):403-447,
1990.
[54] D. Hay and I. Singer. R-torsion and the 1aplacian in riemannian manifolds. Advances in Mathematics, 7(1):145-201, 1971.
[55] N. Reshetikhin and V. Thraev. Invariants of 3-manifold:s via link polynomials and quantum groups. Invenliones Mathematicae, 103(3):547-597,
1991.
[56] L. H. Ryder. Quantum jield theor7J. Cambridge University Prcss, 1985.
[57] R. Schlafly. Universal connections. lnventiones Mathematicae, 59(1):5965, 1980.

[58J .J. Schonfcld. A mass tenn for ihree dimensional gaugc ficlds. Nuclear
Physics B, 185(1):157-171, 1981.

[59] A. Schwarz. The partition function of degenerate quadratic functional.
Communications in Mathematical Physics, 67(1):1-16, 1979.
[60] R Sorkin. Topology change and monopole creation. Physical Review D,

33(4),978-982, 1986.
[61] N. Steenrod. The topology of fibre bundles. Princeton University Press,
1951.
[62] K. Tsuboi. On Chern-Simons invariants of sp~erical space forms. Japanese Journal of Mathemalics, 1(1):9-28, 1984.
[63] H. Weyl. The theofy of groups and quantum mechanics. Dover, 1950.
T'raduo inglesa de Gruppenlheorie und Quanlenmecha.nik, 2aed., 1930.
85
BIBLIOGRAFIA
[64] E. Witten. 2+ 1 dimensional gravity as an exactly soluble system. Nu-
clear Physics B,
[65] E. Witten.
311(1):~6-78,
1988.
Topological quantum field theory.
Communications zn
Mathematical Physil:s, 117(3):353-386, 1988.

[66] E. Witten. Topological sigma model. Communications in Mathematical
Physics, 118(3):411-466, 1988.

[67] E. Witten. Quantum field theory and the Jones polynomial. Gommunications in Mathematical Physics, 121(3):351-399, 1989.
[68] E. Witten. Topology-changing amplitudes in 2+ 1 dimensional gravity.
Nuclear Physics B, 323(1):113-140, 1989.

[69] E. yYitten. Supersymmetric Yang-Mills theory on a four-manifold. Jour-
nal of Mathematical Physics, 35(10):5101-5135, 1994.

[70] C. Yang and R. Mills. Isotopic spin and isotopic gauge invariance. Physicallleview, 96(1):191--195, 1954.

Aspectos Matemáticos da Teoria de Chern-Simons

Enviado por

Dados do documento

Descrição original:

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Aspectos Matemáticos da Teoria de Chern-Simons

Enviado por

Direitos autorais:

Formatos disponíveis

ASPECTOS MATEMTICOS E FSICOS

Este exemplar corresponde redao

Campinas, 10 de Junho de 1996

Dissertacao apresentada ao Instituto

Tese defendida e aprovada em I O de junho de 1996

(a). MRCIO ANTONIO DE FARIA ROSA

Prof(a) Dr(a). GUSTAVO DA COSTA

Prof(a) Dr (a). ALCIBADES RIGAS

Aspectos Matemticos e Fsicos da Teoria

Aos meus pais, sem os quais nada disso seria possvel;

O objetivo principal deste trabalbo analisar a aplicao de conceitos

Classes caracLcrsLicas secundrias .

Aplicaes geometria riemanniana

Polinmio de Jones segundo Witten

4.1 Ns e seus invariantes . . . . .

Aplicao teoria de campos.

Chern-Simons como teoria topolgica

Jamcutal, c::;pccialmeute no que conccrue teoria quntica.

A relao entre estes Uois

frutos. Neste ano, Belavin, Polyakov,. Schwarz e Tyupkin [11] utilizaram-se

Foi no final da dcada de

20, aps a formulao da mecnica quntica por Schrdinger em 1926, que

simetria era abeliano ( U(J)), a primeira introduzia um grupo de simetria

Enquanto estes encontraram uma grande quantidade de

trabalhos em topologia produzidos desde o incio do sculo, matemticos

hbridas vm surgindo c se desenvolvendo desde ento: teoria quntica de

campos topolgica, grupos qunticos, cohomologia quntica etc.

fsicas estimularam o avano matemtico, teorias matemticas prontas foram

da falta de uma fundamentao rigorosa para a teoria quntica de campos,

[16J. O teorema 2.3 especialmente interessante para as aplicaes

em fsica que se seguiro. O captulo seguinte busca aplicar a teoria desenvol-

vida geometria riemanniana, demonstrando a existncia de invariantes da

existncia de imerso conforme em espaos euclidianos, de acordo com a

proposta original de Chern & Simons. Apresentamos ainda a conexo com o

O passo seguinte estudar a abordagem de Witten ao polinmio de Jorres

das lgebras de von Neumann. No trabalho aqui apresentado, Witt.en de-

monstra que as funes de correlao de certos observveis fsicos de uma

r'egras de seleo para este processo.

Alguns pontos relevantes ficaram de fora, a saber:

O autor procurou for,necer um grande nmero de referncias cobrindo

A bibliografia tenciona ninda servir de

ponto de partida para aqueles que desejarem se aprofundar nesta rea e em

StieiCI e Whitney ( 1935), Chern

( 1946 ). Pontrjng:yn ( 1951 )

eletromagnetismo f-). matria

Koszul (anos 40)

gt:llCI alizno JJo-abcli:JIJa

Bclaviu cl ai ( I<J75), Ati~ah et nl. ( Jt)7R)

Scihclg t'<~ \Vi11<:11 ( 1995)

I I 1JX.' L Flocr ( 1tiRR).

Fibrado e conexao universais

Ns comeamos por revisar o conceito de fibrado principal com conexo.

P __,. M infinitamente diferencivel;

isto , para cada m E M existe uma vizi-

nhana U de m tal que 7r-~(U) difeomorfo a M x G.

base. Uma conexo sobre P(M, G) corresponde escolha de uma distribuio

CAPiTULO 2. CLASSES CARACTERlSTICAS

2. 1.p invariante pela ao de G, isto , 'Hpg = dR 9 (1ip) para todo

pg o difeomorfismo de P induzido pela

3. 1tp depende diferenciavelmente de p.

1-lv, Vp E F. possvel demonstrar que w ad-invariante,ou

seja, R;w = ad 9 -1w. A partir de agora nos referimos forma de conexo

conexo {f"Q,Jw) e (gQ,g*wj isomorfos.