Você está na página 1de 107

%

%
%

,
,
,
,

e
ee
@
@
@
l
l
l
Q
Q
Q
H
H
P
P P
X
X
X
h
h
h h
(
(
( (

IFT
Instituto de Fsica Te orica
Universidade Estadual Paulista
DISSERTAC

AO DE MESTRADO IFTD.005/06
A expansao no super-espaco
Carlos Roberto Senise J unior
Orientador
Maria Cristina Batoni Abdalla Ribeiro
Co-orientador
Daniel Luiz Nedel
Agosto de 2006
Agradecimentos
Primeiramente, agrade co `a Prof. Maria Cristina Batoni Abdalla Ribeiro pela
orienta cao, ajuda, paciencia, conversas e conan ca. Agrade co `a Coordena cao de
Aperfei coamento de Pessoal de Nvel Superior, CAPES, pelo apoio nanceiro.
Agrade co tambem aos professores do IFT, que foram responsaveis ao longo deste
tempo por uma grande parte de minha forma cao, com aulas, discussoes, seminarios,
etc.
Gostaria de fazer um agradecimento muito especial ao Daniel Luiz Nedel, por
sua ajuda, paciencia, dedica cao, discussoes, conversas, que foram imprescindveis e
fundamentais para a confec cao desta disserta cao.
Agrade co tambem a todos os funcionarios do IFT, em especial `a Marcela da
biblioteca e ao meu amigo palmeirense, de tantas discussoes sobre o nosso tao amado
time, Sr. Luiz.
Agradecendo aos amigos que z aqui, e com muito carinho que cito Oscar Bedoya,
Carina Zanetti, Geova Maciel, Mario Bertin, Evandro C. da Silva, Julio Ho, Fer-
nando Gardim, Daniel Pamplona, Ana Carolina Machado, Tiago Chaves, Gisele An-
tunes, Nadiane Cassol, Hiroshi Kimura, Rodolfo Cassan, Fabio Kanashiro, Adriano
Do, Gabriela Camargo, Fabiano Pereira, Leandro Ymai, Anderson Rael, Genilson
Melo, German Zambrano, Vagner de Castro, Marcelo Pinheiro, Eduardo Fontoura,
Bruno Bernardes, Douglas Fregolente, Alexandre DAvila, Cassius Melo, Marcelo
Dias e aqueles que provavelmente esqueci de mencionar (me desculpem). Muito
obrigado pela amizade, uma pessoa sem amigos nao e feliz, e voces sao responsaveis
por uma grande parte de minha felicidade. Gostaria de fazer tambem um agradeci-
mento especial `a Edison Franco, Paulo Tilles, Ricardo Farias e Dafni Marchioro,
pela imensa contribui cao que voces deram a esta disserta cao. Espero um dia ter a
oportunidade de retribuir tudo o que voces zeram por mim, o que com certeza eu
nao esquecerei...
Agrade co tambem `a minha querida professora Arlete Ribeiro de Freitas, a Tesou-
rinha, por ter sido a primeira pessoa a fazer despertar em mim o gosto pela Fsica
e por sempre ter acreditado em mim.
De todos os meus agradecimentos, existem alguns que com certeza me emocionam
e sao muito mais do que especiais. Dentre eles, gostaria de agradecer `a minha
namorada Mirna, por ter esse cora cao do tamanho do Universo e por sempre me
i
dar apoio, carinho, companheirismo, for ca, coragem, incentivo, alegria... amor!
Obrigado por tudo! Agrade co muito tambem `a minha vovo Mafalda, aos meus
irmaos Renato e Rodrigo, ao meu cachorro Boris Wheever e, como munca poderia
deixar de me esquecer, agrade co aos unicos dois dolos que tenho em minha vida, a
base de tudo o que fui, sou e serei, responsaveis por eu estar aqui podendo escrever
estas palavras: meus pais Carlos e Regina. Obrigado por serem as pessoas que sao,
por sempre estarem ao meu lado em todos os momentos! Eu amo demais voces!
Agrade co tambem `a Sociedade Esportiva Palmeiras pelas glorias e alegrias (for ca
Palestra!), ao Rush, Iron Maiden, Judas Priest, Dream Theater, Megadeth, Slayer,
Manowar, Gamma Ray, Nevermore e `a varias outras bandas que foram muitas vezes
a trilha sonora de meus estudos.
Por m, gostaria de agradecer `aquela for ca que nenhuma teoria consegue explicar,
mas que permeia a todos nos, que muitos chamam de Deus, mas eu prero chamar
de Natureza. Seja com o nome que for, muito obrigado!
ii
Resumo
A Supersimetria e um topico de extrema importancia na Fsica atual, tanto do
ponto de vista teorico como do ponto de vista fenomenologico. Muitas tentativas
vem sendo feitas para a sua comprova cao experimental, a mais importante delas
ainda nao come cou, e sera realizada no acelerador LHC a partir de 2007. Para o
estudo de processos supersimetricos, e muito importante que se tenha um formalis-
mo claro, elegante e compacto, como e o formalismo de supercampos. Calcular
processos supersimetricos torna-se muito mais simples quando tratamos com estes
objetos no super-espa co, usando supergracos de Feynman. Desenvolver metodos
de somar as contribui coes de uma determinada classe destes supergracos e fun-
damental para a obten cao de resultados exatos, de carater nao perturbativo, para
objetos fundamentais em Fsica, como a (super-)a cao efetiva e o (super)potencial
efetivo, relacionados a aspectos como quebra espontanea de simetria, estabilidade
do vacuo, anomalias, etc.
Palavras Chaves: Supersimetria; super-espa co; supercampos; a cao efetiva; poten-
cial efetivo; ressoma cao.

Areas do conhecimento: Fsica de Partculas e Campos.


iii
Abstract
Supersymmetry is an extremely important topic in present day Physics, either
from the theoretical and the phenomenological point of view. Many eorts have been
done for its experimental comprovation, the most important of them have not started
yet, and will be done at LHC accelerator as of 2007. For the study of supersymmetric
processes, its very important to possess a clear, elegant and compact formalism,
such as the supereld formalism. Calculate supersymmetric processes turns out to
be much simplier when we treat with these objects in superspace, using Feynman
supergraphs. The development of methods for summing up the contributions of
one determined class of those supergraphs is fundamental to obtain exact results,
of non-perturbative character, for fundamental objects in Physics, such as eective
(super-)action and eective (super)potential, related to aspects like spontaneous
symmetry breaking, vacuum stability, anomalies, etc.
iv

Indice
1 Introdu cao vii
2 Formalismos de Supersimetria: Campos componentes e supercam-
pos 1
2.1 Campos componentes . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
2.2 Supercampos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.2.1 Supercampos quirais . . . . . . . . . . . . . . . . . . . . . . . 8
2.2.2 A coes no super-espa co . . . . . . . . . . . . . . . . . . . . . . 11
2.3 O modelo de Wess-Zumino . . . . . . . . . . . . . . . . . . . . . . . . 13
3 O modelo de Wess-Zumino: Analise perturbativa 16
3.1 Superpropagador de Feynman . . . . . . . . . . . . . . . . . . . . . . 18
3.2 Gerador superfuncional . . . . . . . . . . . . . . . . . . . . . . . . . . 20
3.3 Regras de Feynman padrao . . . . . . . . . . . . . . . . . . . . . . . . 23
3.4 Super-A cao efetiva . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
3.5 Regras de Feynman melhoradas . . . . . . . . . . . . . . . . . . . . 29
3.6 Exemplo de calculo de supergraco . . . . . . . . . . . . . . . . . . . 35
3.7 Teorema de nao-renormaliza cao . . . . . . . . . . . . . . . . . . . . . 41
3.8 Superpotencial efetivo . . . . . . . . . . . . . . . . . . . . . . . . . . 43
4 Metodos perturbativos e nao perturbativos para o calculo do po-
tencial efetivo 47
4.1 A expansao 1/N . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
4.2 A expansao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
5 Metodos de ressomacao no super-espaco 61
5.1 Calculo do superpotencial efetivo em um loop . . . . . . . . . . . . . 61
5.2 Aplica cao da expansao no super-espa co . . . . . . . . . . . . . . . . 65
6 Conclusoes e perspectivas 72
v
A Notacao 74
A.1

Algebra espinorial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
A.2 Propriedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
B Propriedades de R
4/4
80
B.1 Integra cao e deriva cao . . . . . . . . . . . . . . . . . . . . . . . . . . 80
B.2 A fun cao de Grassmann . . . . . . . . . . . . . . . . . . . . . . . . 82
C Acao efetiva e potencial efetivo 85
C.1 A cao efetiva . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
C.2 Potencial efetivo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
Referencias 95
vi
Captulo 1
Introducao
A Supersimetria, desde o seu surgimento, em meados da decada de 70 [1], [2],
[3], [4], vem sendo objeto de muito interesse e estudo, pelas muitas consequencias
que a existencia da Supersimetria traz a toda a area da Fsica Teorica, pois e pre-
requisito para algumas das grandes linhas de pesquisa nesta area atualmente, como
Teoremas de nao-renormaliza cao, Teoremas de ndice e tambem para a teoria que e
a principal candidata a uma futura unica cao entre a Teoria da Relatividade Geral e
a Mecanica Quantica, a Teoria das Supercordas, juntamente com a Supergravidade
(a extensao local da Supersimetria), que e uma teoria efetiva de Supercordas.
Outro aspecto teorico fundamental da Supersimetria e que, sendo esta uma sime-
tria fundamental entre bosons e fermions, ela possibilita a constru cao de teorias com
propriedades de renormaliza cao melhores, pois algumas divergencias provenientes
dos setores bosonicos e fermionicos cancelam-se entre si. Isto e, a Supersimetria
tambem traz importantes avan cos em Teoria Quantica de Campos.
Por outro lado, a Supersimetria, mesmo sendo uma simetria bem fundamentada,
matematicamente bela e interessante por varios aspectos teoricos, carece do teste
imprescindvel a que toda e qualquer teoria que busque descrever fenomenos naturais
deve passar: a comprova cao experimental. A este respeito podemos dizer que mais
de trinta anos se passaram desde a descoberta da Supersimetria na decada de 70, mas
ate hoje nao existe nenhuma evidencia direta de sua existencia. E a comprova cao
da existencia da Supersimetria vem sendo perseguida ja h a algum tempo, desde os
anos 90, em especial no Fermilab (E.U.A.) e no CERN (Su ca), sem nenhum indcio
direto de tal. Porem, a partir de 2007, um novo acelerador, o LHC (Large Hadron
Collider, localizado no CERN), ira testar de forma mais eciente a existencia da
Supersimetria, e as consequencias que ela acarreta aos modelos que vao alem do
Modelo Padrao para as partculas elementares (MP). Pode-se perguntar o que a
Supersimetria trara de novo e fundamental ao MP, ja que este e sabidamente um
dos modelos mais bem sucedidos em Fsica, testado e comprovado milhares de vezes,
vii
com uma grande precisao. Todavia, o MP falha ao tentar explicar alguns aspectos,
tanto fenomenologicos quanto teoricos. Desta forma, e necessaria uma extensao do
MP, um modelo alem do MP. Existem algumas razoes que nos levam a crer que
muitas das proximas descobertas que estarao alem do previsto e explicado pelo MP
involvem a Supersimetria. Algumas delas sao:
Possveis candidatas `a materia escura podem ser partculas supersimetricas
(WIMPS).
Um boson de Higgs leve, de acordo com testes precisos da teoria Eletrofraca.
Efeitos indiretos em observaveis como o momento magnetico anomalo do
m uon.
Porem, existem outras duas razoes consideradas mais fortes dos que as citadas
acima para suspeitarmos que a Supersimetria deve realmente existir, pois sua im-
portancia para a explica cao destes problemas parece ser fundamental. Estes pro-
blemas sao a Grande Unica cao e o Problema da Hierarquia.
A Grande Unica cao consiste na unica cao das constantes de acoplamento do
grupo de gauge SU(3) SU(2) U(1)
Y
em uma ordem de energia muito alta, que
supostamente ocorreu em algum momento no Universo primordial. Esta unica cao
das constantes de acoplamento e um fator indispensavel quando procuramos explicar
alguns aspectos importantes do Universo primordial, como quebra de simetrias, e
tambem parece ser fundamental em uma futura teoria da Gravita cao Quantica. O
problema e que o valor das constantes de acoplamento depende da energia em que sao
medidas e do conte udo de partculas do modelo, e levando-se em considera cao apenas
o MP estas constantes nao se unicam em escala de energia alguma. Porem, ao
considerarmos a extensao supersimetrica do MP, as constantes unicam-se em uma
escala de energia proxima de 10
15
GeV , chamada de escala de unica cao, denotada
por M
X
ou M
GUT
.
Ja o Problema da Hierarquia esta relacionado com a massa do boson de Higgs
(m
H
), que pode ser escrita como
m
2
H
= m
2
0
+
2
, (1.1)
onde m
H
e a massa fsica do boson de Higgs, m
0
e a massa nua, que aparece na
Lagrangiana (massa classica) e e a escala de energia da teoria eletrofraca, que re-
presenta uma divergencia quadratica na corre cao da massa. O problema fundamen-
tal e que m
0
e muito pequeno em rela cao `a , fazendo com que a quantidade
m
2
=
2
= m
2
H
m
2
0
, (1.2)
viii
que descreve a diferen ca entre a massa com corre coes quanticas e a massa classica,
seja muito grande, de tal forma que a massa fsica seja muito sensvel `a escala de
energia (ajuste no). Pelo fato de m
0
ser muito pequeno, dizemos que o boson
de Higgs e um escalar leve (em rela cao `a escala de energia). No MP, nao existem
escalares leves de forma natural, tendo estes que ser introduzidos `a mao.
Portanto, parece que de fato necessita-se da Supersimetria para resolver o Pro-
blema da Hierarquia pois, sendo esta uma simetria entre fermions e bosons, que
garante o mesmo n umero destes, fara com que as contribui coes quadraticamente
divergentes de bosons e fermions cancelem-se mutuamente, alem de que a Super-
simetria possui escalares leves naturalmente.
Assim, e claro que o interesse pela Supersimetria torna-se cada dia maior, devido
`a quantidade consideravel de problemas atuais em Fsica que ela parece resolver.
Nesta disserta cao, come caremos abordando no captulo 2 uma teoria super-
simetrica classica, introduzindo os campos necessarios (campos componentes) para
tal e, posteriormente, reun-los em um unico campo, o qual chamaremos de super-
campo, que e um objeto denido em um espa co especial, chamado de super-espa co.
Veremos como a descri cao de teorias supersimetricas se torna muito mais facil, com-
pacta e elegante no super-espa co, e a partir da construremos um modelo conhecido
por modelo de Wess-Zumino. No captulo 3 desenvolveremos a parte quantica deste
modelo, atraves do formalismo funcional e dos supergracos de Feynman, denidos
no super-espa co, e introduziremos os conceitos de super-a cao efetiva e expansao em
loops. Depois demonstraremos o Teorema de nao-renormaliza cao, que determina os
tipos de contribui cao que podem existir para a super-a c ao efetiva. Veremos como
o calculo da expansao em loops torna-se muito mais facil e compacto utilizando-
se as tecnicas desenvolvidas no super-espa co, em compara cao `a forma onde uti-
lizamos os campos componentes introduzidos no incio do captulo 2. Encerrando
o captulo, introduziremos o conceito de superpotencial efetivo e sua expansao em
loops. No captulo 4, mostraremos alguns metodos de calcular a contribui cao para
a a cao efetiva e para o potencial efetivo de uma determinda classe de diagramas.
Introduzimos o metodo da expansao e mostraremos como conseguimos somar a
contribui cao de uma determinada classe de diagramas em todas as ordens na cons-
tante de acoplamento. No captulo 5 mostraremos, de acordo com o Teorema de
nao-renormaliza cao, uma forma graca de calcular as contribui coes de todos os di-
agramas de um loop no Modelo de Wess-Zumino e, nalmente, mostraremos como
podemos atingir o mesmo resultado utilizando a expansao , apontando as vanta-
gens e problemas que a aplica cao deste metodo no super-espa co possui. Por m, no
captulo 6, daremos as conclusoes e as perspectivas futuras sobre este trabalho.
ix
Captulo 2
Formalismos de Supersimetria: Campos
componentes e supercampos
Come caremos tratando primeiramente os campos necessarios para se construir
uma teoria supersimetrica, no espa co-tempo usual. Mostraremos como estes cam-
pos se transformam por Supersimetria e a necessiadade de incluir um campo escalar
auxiliar, devido ao fato de que devemos ter o mesmo n umero de graus de liberdade
bosonicos e fermionicos. Posteriormente, deniremos os geradores de Supersimetria,
sua forma operacional e a algebra que estes satisfazem. Feito isto, introduziremos
os conceitos de super-espa co e de supercampos, com suas propriedades e vnculos
necessarios, e mostraremos como podemos simplicar as contas utilizando-os, sendo
estes entao a base de nossas posteriores considera coes. Ao nal deste captulo, intro-
duziremos um modelo que descreve bosons e fermions no formalismo de supercampos,
o modelo de Wess-Zumino.
2.1 Campos componentes
Estamos interessados em construir uma teoria que descreva bosons e fermions. A
introdu cao de tais campos e feita por meio de uma a cao. A a cao de Dirac para
espinores e dada por:
S
F
= i
_
d
4
x
_


(
n
)

im
2
_


_
_
, (2.1)
onde m e a massa do campo espinorial,
n
sao as matrizes de Pauli, denidas no
apendice A,

e um espinor de Weyl de mao esquerda e



e um espinor de Weyl
de mao direita, tambem denidos no mesmo apendice. Da a cao acima, chegamos `as
seguintes equa coes de movimento para os campos


:
(
n
)

= im


,
(
n
)


= im

. (2.2)
1
Introduziremos tambem um campo escalar complexo,
=
1
+ i
2
,
=
1
i
2
, (2.3)
atraves da a cao
S
B
=
_
d
4
x
_

m
+ m
2

, (2.4)
que nos levara `as seguintes equa coes de movimento:
_
2 + m
2
_
= 0 ,
_
2 + m
2
_
= 0 . (2.5)
A a cao total S = S
F
+ S
B
e invariante sob as seguintes transforma coes:

Q
=

Q
=

= i

2(
m
)

2m


= i

2(
m
)

2m


, (2.6)
onde e um parametro global e
Q
e uma transforma cao relacionada a um operador
Q, que sera denido posteriormente, e que tem a propriedade de transformar bosons
em fermions e vice-versa.
Estas transforma coes sao chamadas de transforma coes de Supersimetria e, como
podemos ver, devido `a a cao de
Q
, transformam bosons em fermions e fermions em
bosons.
Vamos agora realizar a algebra de Supersimetria que produz estas transforma coes.
Temos que:
_

1
Q
,
2
Q

= 2
P
, (2.7)
onde
P
= i
m

m
e a transforma cao de transla cao no espa co-tempo e

m
=
1

2
+

1

m

2
. Vemos entao que a Supersimetria esta relacionada de al-
guma forma com transla coes pois, pela igualdade acima, duas transforma coes de
Supersimetria produzem uma transla cao no espa co-tempo.
Para

, temos:
_

1
Q
,
2
Q

= 2i(
m

1
)

2i(
1

2
)
m

2m

2
+
+ 2i(
m

1
)

+ 2i(
2

1
)
m

+ 2m

1
= 2i
_

1

m

2
_

+
+ 2i
_
(
m

1
)

2
(
m

2
)

+
2m(

1
) .
2
Agrupando os termos:
_

1
Q
,
2
Q

= 2
P

+ termos que somem na camada de massa . (2.8)


Por esta equa cao percebemos que, para o espinor

, diferentemente do que aconte-


cia para o boson na eq. (2.7), duas transforma coes de Supersimetria geram uma
transla cao apenas na camada de massa, isto e, ao utilizarmos equa coes de movi-
mento. Vamos analisar este fato em mais detalhes: contando os graus de liberdade
da teoria vemos que, se tomarmos a a cao total S = S
F
+ S
B
, temos quatro graus
de liberdade fermionicos (


, provenientes de S
F
) e dois graus de liberdade
bosonicos ( e , provenientes de S
B
). Desta forma, podemos perceber claramente
que a a cao total nao tem Supersimetria manifesta, pois possui graus de liberdade
bosonicos e fermionicos diferentes. Entretanto, pela eq. (2.8), vemos que para os
campos fermionicos a algebra so fecha na camada de massa, isto e, tomando as eq.
(2.2) e substituindo uma na outra, onde teremos
2

= m
2


=
i
m
(
n
)

. (2.9)
Desta forma, utilizando as equa coes de movimento, conseguimos eliminar dois
graus de liberdade fermionicos, restando apenas dois, e como bonus percebemos
que a agebra se fecha. Logo, percebemos que a teoria so ser a supersimetrica se os
campos estiverem na camada de massa, pois assim eliminaremos graus de liberdade
excedentes, igualando o n umero de graus de liberdade bosonicos e fermionicos.
No entanto, nao nos interessa que a algebra se feche apenas na camada de massa,
isto e, usando as equa coes de movimento. Gostaramos de formular uma teoria com
uma algebra que feche sem precisarmos utilizar as equa coes de movimento do sistema
pois, como veremos adiante, estaremos interessados em quantizar a teoria, de tal
forma que existirao certos casos em que os campos necessariamente estarao fora da
camada de massa, como, por exemplo, os campos dentro de loops nos diagramas de
Feynman. Desta forma, temos que utilizar um metodo que nos permita construir
uma algebra onde e desnecessario o uso das equa coes de movimento, mesmo tendo
quatro graus de liberdade fermionicos e apenas dois bosonicos. Para resolvermos este
problema, e mantermos a supersimetria manifesta, devemos ter o mesmo n umero de
graus bosonicos e fermionicos. Assim sendo, temos que incluir dois campos bosonicos
auxiliares, que denotaremos por F e

F.
A nova a cao, com os campos auxiliares ja inclusos, se escreve:
3
S =
_
d
4
x
_

m
i


(
m
)

+ F

F+
+m
_
F +

F
1
2

1
2

__
. (2.10)
Esta a cao nos leva `as seguintes equa coes de movimento:
2 = mF ,
2 =

F ,

m

= im


,
(
m
)

= im

F = m ,
F = m . (2.11)
Observamos, pelas duas ultimas equa coes acima, que os campos F e

F nao possuem
dinamica, o que e essencial por se tratar de campos auxiliares.
Agora, com a inclusao dos campos auxiliares, denimos as seguintes trans-
forma coes de Supersimetria:

Q
=

2 ,

Q
=

= i

2(
m

m
+

F ,


= i

2(
m
)

m
+


F ,

Q
F = i

m
,

Q

F = i

2
m

m

. (2.12)
Com estas novas transforma coes, temos que
_

1
Q
,
2
Q

= 2i
_

2
+

1

m

2
_

= 2
P

. (2.13)
Vemos que agora a algebra se fecha fora da camada de massa, e que duas trans-
forma coes de Supersimetria geram uma transla cao para o campo fermionico, assim
como para o campo bosonico.
Podemos agora fazer a seguinte pergunta: existe algum espa co onde a Super-
simetria e manifesta, onde as transforma coes de Supersimetria geram transla coes
de uma maneira natural? A resposta para esta pergunta e sim, e este espa co e
chamado de super-espaco, onde estao denidos os supercampos.
4
2.2 Supercampos
Vamos introduzir agora o conceito de supercampo [8]-[10], que nos trara muitas facili-
dades, pois possui algumas caractersticas importantes, entre as quais destacamos:
Fornece uma descri cao compacta das representa coes de Supersimetria.


E util na constru cao de Lagrangianas de intera cao.
Pode sempre ser construdo da representa cao de componentes.
Possibilita trabalhar com o formalismo de supergracos, que sera essencial nas
considera coes posteriores em nvel quantico.
Para denirmos os supercampos devemos antes denir o conceito de super-
espa co. Pontos no super-espa co sao denidos pelas coordenadas (x
m
,


), onde
x
m
representa as coordenadas usuais do espa co-tempo e


sao variaveis de
Grassmann (anti-comutantes), que sao interpretadas como espinores de Weyl de
duas componentes. Este espa co tambem e denotado por R
4/4
.
Os geradores de Supersimetria Q

e

Q

em fun cao das variaveis x
m
,


sao
(nota cao denida no apendice A):
Q

i
m



x
m
=

+ (
m

P
m
,

Q

=


i(
m
)

x
m
=


+ (
m
)

P
m
. (2.14)
Estes operadores, junto com P
m
= i
m
(transla coes no espa co-tempo) e M
mn
=
i(x
m

n
x
n

m
) (rota coes de Lorentz), que sao os geradores da algebra do grupo
de Poincare, formam o grupo de Super-Poincare, e obedecem `a seguinte algebra, que
sera chamada de super-algebra:
[P
m
, P
n
] = 0 ,
[M
mn
, P
r
] = i
mr
P
n
i
nr
P
m
,
[M
mn
, M
rs
] = i
mr
M
ns
i
ms
M
nr
+ i
ns
M
mr
i
nr
M
ms
,
[P
m
, Q

] = 0 ,
_
P
m
,

Q

= 0 ,
[M
mn
, Q

] = i(
mn
)

,
_
M
mn
,

Q

= i(
mn
)

,
Q

, Q

= 0 ,

Q

,

Q

= 0 ,
Q

,

Q

= 2(
m
)

P
m
, (2.15)
5
onde a matriz
mn
e denida no apendice A.
Podemos agora escrever as rela coes de comuta cao (2.7) e (2.13) em termos dos
operadores Q

e

Q

, que serao os geradores de Supersimetria:
_

1
Q

1

Q

,

2
Q

2

Q

= 2
m
P
m
,
_

1
Q

1

Q

,

2
Q

2

Q

= 2
m
P
m

. (2.16)
Temos que

Q
x
m
=
_
Q+


Q
_
x
m
= i
_

+


m

_
x
m
(2.17)
e, procedendo da mesma maneira para


. (2.18)
Assim, vemos que as transforma coes das variaveis


nada mais sao do que
transla coes no super-espa co. Portanto, podemos dizer que o super-espa co e o espa co
onde a Supersimetria se manifesta naturalmente, pois produz transla coes nestas
variaveis.
Vamos agora introduzir o conceito de supercampos, muito util para escrever
teorias supersimetricas de forma compacta e elegante. Os supercampos sao fun coes
no super-espa co, e os expressamos como uma serie de potencias nas variaveis e

. Estaremos interessados particularmente em um tipo de supercampo chamado de


supercampo escalar, que de forma mais geral pode ser escrito como
F(x, ,

) = f(x) + (x) +

(x) + m(x) +

n(x)
+
m

v
m
(x) +

(x) +

(x) +

d(x) . (2.19)
Todas as potencias maiores de e

se anulam (pois e

sao espinores de duas
componentes que anti-comutam). Notamos que a primeira componente deste super-
campo (f(x)) e um campo escalar.
Como este supercampo e escalar, exigimos invariancia de Poincare,
F

(x

) = F(x, ,

) , (2.20)
e encontramos que f(x), m(x), n(x) e d(x) sao campos escalares, v
m
(x) e um campo
vetorial e (x),

(x),

(x) e (x) sao campos espinoriais. Portanto, todo supercampo
6
da forma (2.19) e equivalente a uma famlia inteira de campos bosonicos e fermionicos
usuais.
Alem disso, supercampos da forma (2.19) sao representa coes lineares da algebra
supersimetrica, e combina coes lineares destes sao novamente supercampos. Porem,
em geral, estas representa coes sao redutveis, isto e, podemos eliminar campos com-
ponentes extras impondo vnculos covariantes para o supercampo. Para ilustrar este
fato [11], fazemos uma transforma cao de Supersimetria innitesimal em (2.19):

Q
F(x, ,

) =
Q
f(x) + (
Q
(x)) +

(
Q

(x)) + (
Q
m(x)) +
+

(
Q
n(x)) +
m

(
Q
v
m
(x)) +

(
Q

(x)) +
+

(
Q
(x)) +

(
Q
d(x)) . (2.21)
Calculando com a forma explcita dos operadores:

Q
F(x, ,

) = (Q+


Q)F(x, ,

)
= +

+ i
m

m
f + 2m+
m

v
m
i
m

m
f +
+2

n +
m

v
m
+ i(
m

)
m
+ ()(

) +
i(
m

+ (

)() i
m

m
+ i
m

+
+2()(

) + 2(

)() i
m

()
m
m +
+i
m

m
v
n
+ 2()(

)d + i
m

)
m
n +
i
m

m
v
n
+ 2()(

)d i
m

()

+
+i
m

)
m
. (2.22)
Igualando (2.21) e (2.22) vemos que as componentes de F(x, ,

) transformam-se
como

Q
f = +

= 2

m +
m

[i
m
f + v
m
] ,


= 2


n +


[i
m
f v
m
] ,

Q
m =


i
2

Q
n = +
i
2

Q
v
m
=
m

+
m

+
i
2

m

i
2


= 2


d +
i
2

m
v
m
+ i(
m
)

m
m ,

= 2

d
i
2

m
v
m
+ i(
m

m
n ,

Q
d =
i
2

m
[
m

+
m

] . (2.23)
7
Assim, mostramos que o supercampo escalar geral F(x, ,

) forma uma base para
uma representa cao linear (fora da camada de massa) de Supersimetria. Porem, esta
representa cao e redutvel. Para vermos isto, suponha que impomos os seguintes
vnculos nas componentes de F(x, ,

):
(x) = 0 ,
n(x) = 0 ,
v
m
(x) = i
m
f(x) ,

(x) =
i
2

m
,
(x) = 0 ,
d(x) =
1
4
2f(x) . (2.24)
Podemos ver que as transforma coes (2.23) respeitam estes vnculos, isto e, nao se
alteram ao impormos (2.24). Logo, o proprio supercampo com vnculos dene uma
representa cao linear de Supersimetria e, consequentemente, a representa cao (2.19)
e redutvel.
Portanto, para obtermos representa coes irredutveis de Supersimetria, e necessaria
a imposi cao de vnculos nos supercampos. Em nossas futuras considera coes, traba-
lharemos com um tipo especial de supercampo, que chamaremos de supercampo
quiral, sujeito a um determinado tipo de vnculo, como veremos a seguir.
2.2.1 Supercampos quirais
Para denirmos o que e um supercampo quiral precisamos antes denir as
derivadas covariantes D

e

D

no super-espa co:
D

+ i
m

m
,

D

=

m
. (2.25)
Estas derivadas satisfazem:
D

, Q

= D

,

Q

= 0 ,

D

, Q

D

,

Q

= 0 ,
D

,

D

= 2i
m

m
= 2
m

p
m
,
D

, D

D

,

D

= 0 . (2.26)
Um supercampo quiral e obtido pelos vnculos (2.24) impostos em um super-
campo escalar geral da forma (2.19). Mas, estes vnculos podem ser obtidos de
8
outra maneira, equivalente, atraves do seguinte vnculo covariante:

D

= 0 . (2.27)
Supercampos que satisfazem este vnculo sao chamados de supercampos quirais
ou escalares, e sao representa coes irredutveis da algebra supersimetrica.
Para encontrarmos a solu cao mais geral para o vnculo covariante acima denimos
novas coordenadas bosonicas:
y
m
= x
m
+ i
m

,
y
m
= x
m
i
m

. (2.28)
Desta forma, vemos que

D

y
m
= (

n
)(x
m
+ i

) = 0 ,

= (

m
)

= 0 . (2.29)
Logo, qualquer fun cao (y, ) de y
m
e

(mas nao de


) satisfaz

D

(y, ) = 0 . (2.30)
Esta e a solu cao mais geral para a equa cao de vnculo. Desta forma, podemos
escrever o supercampo quiral mais geral:
(y, ) = (y) +

2(y) + F(y) . (2.31)


Vemos entao, pela expressao (2.31), que reduzimos consideravelmente o n umero
de campos componentes necessarios para escrever o supercampo quiral. A expansao
completa nas componentes e

ca
(x, ,

) = (x + i

, )
= (x) + i
m

m
(x) +
1
4

2(x) +
+

2(x)
i

m
(x)
m

+ F(x) . (2.32)
Conjugando toda a expressao acima:

(x, ,

) =

(x i

,

)
= (x) i
m

m
(x) +
1
4

2 (x) +
+


(x) +
i

m

(x) +


F(x) . (2.33)
9
Podemos chegar `a equa cao (2.32) de outra maneira, escrevendo
(z) = (x, ,

) = e
iH
(x, ) , (2.34)
onde H =
m

m
e (x, ) e, de acordo com (2.31),
(x, ) = (x) +

2(x) + F(x) . (2.35)


Quando passamos das coordenadas (x, ,

) para as coordenadas (y, ,

), Q

Q

cam
Q

Q

=


2i(
m
)

y
m
. (2.36)
Aplicando uma transforma cao de Supersimetria innitesimal no supercampo
quiral temos:

Q
(y, ) =
Q
_
(y) +

2(y) + F(y)
_
=
_

2i

(
m
)

y
m
_
_
+

2 + F
_
=
_

2i

(
m
)

y
m
_
+
+

2
_

2i

(
m
)

y
m
_

+
+
_

2i

(
m
)

y
m
_

F
=

2 +
_
2i

m
+ 2F
_
+

2i

2 +
_
2i
m

m
+ 2F
_
+

2i

m
. (2.37)
Mas,

Q
= (
Q
) +

2(
Q
) + (
Q
F) , (2.38)
logo, igualando (2.37) e (2.38), temos que

2 +
_
2i
m

m
+ 2F
_
+

2i

m
=
= (
Q
) +

2(
Q
) + (
Q
F). (2.39)
Igualando as potencias em , chegamos a
=

2 ,
= i

2
_

m
+

2F ,
F = i

m
,
10
exatamente como as transforma coes obtidas anteriormente, nas eq. (2.12).
Agora podemos denir o que e um supercampo anti-quiral. Em particular, se
(y, ) e um supercampo quiral, entao

(y

,

) e um supercampo anti-quiral, que
satisfaz o seguinte vnculo:
D

= 0 , (2.40)
e e escrito da forma

(y

,

) = (y

) +


(y

) +


F(y

) . (2.41)
Analogamente `a (2.34), podemos chegar `a equa cao (2.33) de outra maneira, es-
crevendo

(z) =

(x, ,

) = e
iH

(x,

) , (2.42)
onde

(x,

) e, de acordo com (2.41),

(x,

) = (x) +


(x) +


F(x) . (2.43)
Utilizando a representa cao para o supercampo quiral, e facil provar que qualquer
produto de supercampos quirais tambem e um supercampo quiral e que, se (y, )
e um supercampo quiral, entao

e +

nao o sao.
Podemos, da mesma forma, escrever as derivadas covariantes em termos das
novas variaveis, o que sera util futuramente. Em termos de (y, ,

):
D

+ 2i
m

m
,

D

=


. (2.44)
Em termos de (y

, ,

):
D

D

=


2i

m
. (2.45)
Assim, estamos aptos agora a construir a coes no super-espa co.
2.2.2 Acoes no super-espaco
Come caremos denindo integrais sobre todas as variaveis Grassmanianas:
_
d
4
f(x, ,

) =
_
d
4

_
A(x) + B(x) + ... +

D(x)

D(x) , (2.46)
onde as medidas de integra cao nas variaveis de Grassmann sao introduzidas no
apendice B:
11
d
2
=
1
4
d

=
1
4
d

,
d
2

=
1
4
d

=
1
4
d


,
d
4
= d
2
d
2

=
1
16
d


.
Desta forma,
_
d
4
f =
1
16
_
d


f =
1
16
__


_
f

[
=

=0
. (2.47)
Podemos agora calcular integrais no super-espa co, por exemplo:
_
d
4
(y, )

(y

,

) =
1
16
__

[
=

=0
,
= F

F +
1
4
(2 + 2)
1
2

m
+

i
2
(
m

m

m

m
) . (2.48)
Integrando por partes em todo o espa co-tempo, temos a a cao sem termos massivos
S
SM
:
S
SM
=
_
d
4
x
_
d
4

,
=
_
d
4
x
_

m
i
m

m

+ F

F
_
. (2.49)
Podemos denir ainda um outro tipo de integra cao no super-espa co, que chamare-
mos de integra cao quiral,
_
d
2
f(y, ) =
_
d
2
[A(y) + B(y) + F(y)] F(y) ,
_
d
2


f(y

,

) =
_
d
2

A(y

) +


B(y

) +


F(y


F(y

) , (2.50)
ou,
_
d
2
f =
1
4
[(

) f] [
=

=0
,
_
d
2


f =
1
4
__


_

f

[
=

=0
. (2.51)
12

E facil provar que se f e quiral (



D

f = 0), entao
_
d
4
x
_
d
2
f e supersimetrica.
Fazemos esta prova no apendice B.
De posse destes resultados, podemos come car a construir a coes no super-espa co
que descrevam modelos realsticos. Em particular, estaremos interessados em um
modelo que descreva campos fermionicos e campos bosonicos, em paralelo com o
modelo desenvolvido na se cao 2.1. Tal modelo e conhecido por modelo de Wess-
Zumino, e foi desenvolvido essencialmente por J.Wess e B.Zumino [12] na decada
de 70.
2.3 O modelo de Wess-Zumino
O modelo de Wess-Zumino descreve supercampos (anti)quirais (

) intera-
gentes no super-espa co, atraves da a cao
S[,

] =
_
d
8
z

+
_
d
6
zL
c
() +
_
d
6
z

L
c
(

) , (2.52)

D

L
c
() = 0 ,
onde d
8
z = d
4
xd
2
d
2

, d
6
z = d
4
xd
2
, d
6
z = d
4
xd
2

e L
c
e chamado de superpotencial
quiral. Para uma a cao desta forma damos o nome de modelo de Wess-Zumino geral.
Se zermos
L
c
() =
m
2

2
,

L
c
(

) =
m
2

2
, (2.53)
onde m e a massa de cada campo componente do supercampo, teremos, em compo-
nentes:

2
(y, ) =
2
+ 2

2 + 2F + 2 ,

2
(y

,

) =
2
+ 2


+ 2



F + 2


. (2.54)
Entao, se S
M
e a a cao com termos massivos,
S
M
=
m
2
_
d
6
z
2
+
m
2
_
d
6
z

2
, (2.55)
obteremos
13
S
M
= m
_
d
4
x
_
F +

F
1
2

1
2

_
, (2.56)
que e exatamente o termo de massa da eq. (2.10).
Se zermos
S =
_
d
8
z

+
m
2
_
d
6
z
2
+
m
2
_
d
6
z

2
, (2.57)
teremos, em componentes:
S = S
SM
+ S
M
=
_
d
4
x
_

m
i
m

m

+ F

F + m
_
F +

F
1
2

1
2

__
.
Vemos entao que re-obtemos a a cao original (2.10), que descreve a dinamica de
bosons e fermions, so que agora partindo de uma a cao no super-espa co.
Em nvel classico, nao existe restri cao para a forma do superpotencial quiral,
o que e alterado quando vamos tratar o modelo quanticamente. Nesses termos, a
teoria com a a cao classica (2.52) so e renormalizavel se o superpotencial quiral e no
maximo um polinomio de terceira ordem no supercampo, isto e, se
L
c
() = +
m
2

2
+

3!

3
, (2.58)
onde , m e sao constantes de acoplamento. O primeiro termo em L
c
() pode
ser removido pela redeni cao do supercampo + , onde e uma constante.
Entao, obtemos a a cao:
S[,

] =
_
d
8
z

+
__
d
6
z
_
m
2

2
+

3!

3
_
+ c.c.
_
. (2.59)
As dimensoes canonicas de massa para os fatores desta a c ao sao
_
d
4
x

= 4 ,
_
d
2

=
_
d
2

= 1 ,
_
d
8
z

= 2 ,
_
d
6
z

=
_
d
6
z

= 3 ,
[] =
_

= 1 . (2.60)
Logo, para que a a cao seja adimensional:
[m] = 1 ,
[] = 0 . (2.61)
14
Desta forma, ca explcito o fato de que o potencial quiral nao poderia ser um
polinomio de ordem maior do que tres, pois se assim fosse deveramos ter constantes
com dimensao de massa negativa, o que tornaria a teoria nao-renormalizavel.
`
A
esta teoria, com a a cao dada pela equa cao (2.59), damos o nome de modelo de
Wess-Zumino padrao.
Portanto, vimos que podemos obter uma teoria supersimetrica que descreva
bosons e fermions de duas maneiras, usando o formalismo de campos componentes
ou o formalismo de supercampos, obtendo resultados identicos em ambos. Todavia,
quando formos quantizar a teoria, e muito mais conveniente usar o formalismo de su-
percampos, devido `a sua forma simples e compacta. Os metodos de quantiza cao dos
supercampos sao completamente analogos aos metodos usados em Teoria Quantica
de Campos usual, facilitando muito nossa tarefa.
15
Captulo 3
O modelo de Wess-Zumino: Analise perturbativa
Vamos agora quantizar o modelo de Wess-Zumino padrao no super-espa co. Ve-
remos que a obten cao de um gerador superfuncional permitira com que encontremos
regras de Feynman no super-espa co, resultando assim na constru cao e calculo de su-
pergracos. Dado este gerador superfuncional, iremos construir a super-a cao efetiva
e o superpotencial efetivo e, atraves de um teorema, vamos ver quais sao as limita coes
existentes nas contribui coes de supergracos para estes objetos. Mostraremos tam-
bem como o n umero de gracos necessarios para calcular a contribui cao de um de-
terminado processo e muito menor quando trabalhamos no super-espa co, ao inves
de usar campos componentes, devido ao pequeno n umero de regras de Feynman e
`a forma compacta com que descrevemos os campos componentes no formalismo de
supercampos.
No desenvolvimento a seguir, seguiremos basicamente a ref. [6], procurando, no
entanto, abordar o assunto de forma mais detalhada, de tal modo que facilite o
entendimento do leitor.
Seja U = (,

), tal que U
1
= e U
2
=

. Podemos escrever a a cao da seguinta
forma:
S[U] = S[U
0
] + S
0
[U; U
0
] + S
INT
[U; U
0
] , (3.1)
U
I
= U
I
U
I
0
,
= U
I
(z) U
I
0
(z) , (3.2)
onde I = 1, 2. Denindo
S,
I
1
...,
In
[U
0
] =

U
1
...

U
n
S[U
0
] , (3.3)
o superfuncional
S
0
[U; U
0
] =
1
2
U
I
S,
I
,
J
[U
0
]U
J
(3.4)
16
e chamado de a cao linearizada e o superfuncional
S
INT
[U; U
0
] =

n=3
1
n!
S,
I
1
,
...
,
In
[U
0
]U
In
...U
I
1
(3.5)
e chamado de a cao de intera cao, ou auto-acoplamento.
Fazendo U
I
U
I
e supondo que o Hessiano e nao singular no ponto U
I
= U
I
0
,
ou seja, detS,
I
,
J
[U
0
] ,= 0 (ou, equivalentemente, se a equa cao S,
I
,
J
[U
0
]a
J
= 0
for satisfeita se e somente se a
J
= 0), as fun coes de Green G
IJ
do sistema sao
determinadas atraves da a cao linearizada, tal que
S,
I
,
J
[U
0
]G
JK
=
K
I
,
G
IJ
S,
J
,
K
[U
0
] =
I
K
. (3.6)
Se o Hessiano for singular, adicionamos um termo `a a cao de tal forma a fazer com
que ele seja nao singular (em teorias de gauge este termo e chamado de xa cao de
gauge).
Vamos analisar o modelo de Wess-Zumino. Como vimos no captulo anterior, a
a cao para este modelo e dada pela equa cao (2.59),
S[,

] =
_
d
8
z

+
_
d
6
z
_
m
2

2
+

3!

3
_
+
_
d
6
z
_
m
2

2
+

3!

3
_
. (3.7)
Derivando S[,

] com rela cao a e

, obtemos
S
(z)
=
1
4

D
2

(z) +L

c
[(z)] , (3.8)
S

(z)
=
1
4
D
2
(z) +

L

c
[

(z)] , (3.9)
onde L
c
() =
m
2

2
+

3!

3
e

L
c
(

) =
m
2

2
+

3!

3
.
Para obtermos as fun coes de Green da teoria, devemos derivar a a cao de Wess-
Zumino duas vezes:
_

2
S
(z)(z

2
S
(z)

(z

2
S

(z)(z

2
S

(z)

(z

)
_
=
_
L

c
()
+
(z, z

)
1
4

D
2

(z, z

1
4
D
2

+
(z, z

)

L

c
(

(z, z

)
_
, (3.10)
onde
(z

)
(z)
=
1
4

D
2

8
(z z

)
+
(z, z

) ,

(z

(z)
=
1
4
D
2

8
(z z

(z, z

) . (3.11)
17
A expressao (3.10) representa o superkernel do operador linear
H
(m)
=
_
m
1
4

D
2

1
4
D
2
m
_
, (3.12)
m = L

c
() ,

D

m = 0 .
Assim, denimos a fun cao de Green do operador H
(m)
,
G
(m)
=
_
G
++
(z, z

) G
+
(z, z

)
G
+
(z, z

) G

(z, z

)
_
1(z, z

) , (3.13)
onde
1(z, z

) =
_

+
(z, z

) 0
0

(z, z

)
_
, (3.14)
tal que esta satisfa ca a equa cao
H
(m)
G
(m)
= 1(z, z

) . (3.15)
Os sinais () indicam que G
()
e quiral (+) ou antiquiral () com respeito ao
correspondente argumento, isto e, por exemplo,

D

G
++
(z, z

) =

D


G
++
(z, z

) = 0 . (3.16)
Dadas as caractersticas das fun coes de Green do modelo, iremos agora calcular
os superpropagadores de Feynman, escritos em termos destas fun coes.
3.1 Superpropagador de Feynman
Como vimos, para o modelo de Wess-Zumino:
S[,

] = S
0
[,

] + S
INT
[,

] ,
S
0
[,

] =
_
d
8
z

+
1
2
m
_
d
6
z
2
+
1
2
m
_
d
6
z

2
,
S
INT
[,

] =
1
3!

_
d
6
z
3
+
1
3!

_
d
6
z

3
. (3.17)
A a cao linearizada sera determinada pelo operador H
(m)
, denido em (3.12).
Usando que
18

D

= 0 =

D
2
D
2
= 162 , (3.18)
chegamos a
H
(m)
H
(m)
=
_
m
1
4

D
2

1
4
D
2
m
__
m
1
4

D
2

1
4
D
2
m
_
=
_
m
2
+
1
16

D
2
D
2

1
4
m

D
2
+
1
4
m

D
2
1
4
mD
2

1
4
D
2 1
16
D
2

D
2
m
2
_
=
_
m
2
+2 0
0 2m
2
_
(3.19)
e, portanto,
H
(m)
H
(m)
=
_
2 m
2
_
1 . (3.20)
Desta forma, a solu cao da equa cao H
(m)
G
(m)
= 1(z, z

) e
G
(m)
= H
(m)
1
2m
2
1(z, z

) , (3.21)
pois
H
(m)
G
(m)
= H
(m)
H
(m)
1
2 m
2
1(z, z

) ,
=
_
2m
2
_
1
(2m
2
)
1(z, z

) ,
= 1(z, z

) . (3.22)
Com estes resultados, estamos aptos a identicar o superpropagador de Feynman.
Este, como feito em Teoria Quantica de Campo usual, e especicado pela introdu cao
do parametro innitesimal , da seguinte forma:
G G
(m)
= H
(m)
1
2m
2
+ i
1(z, z

) , (3.23)
com +0.
Entao, a forma explcita do superpropagador e
G =
1
2 m
2
+ i
_
m
+
(z, z

)
1
4

D
2

(z, z

)
1
4
D
2

+
(z, z

) m

(z, z

)
_
. (3.24)
19
Podemos tambem escrever os elementos de G usando o superpropagador escalar
quiral
G
c
(z, z

) =
1
2 m
2
+ i

+
(z, z

) (3.25)
e o superpropagador escalar antiquiral
G
a
(z, z

) =
1
2 m
2
+ i

(z, z

) , (3.26)
obtendo
G =
_
mG
c
(z, z

)
1
4

D
2
G
a
(z, z

1
4
D
2
G
c
(z, z

) mG
a
(z, z

)
_
. (3.27)
Tendo os superpropagadores em maos, devemos agora obter o gerador superfun-
cional da teoria, para que posteriormente possamos derivar as regras de Feynman
que permitirao a constru cao e o calculo de supergracos.
3.2 Gerador superfuncional
Assim como em Teoria Quantica de Campos usual, para utilizarmos o metodo
de integra cao funcional devemos introduzir uma fonte externa ao sistema. No caso
de uma teoria supersimetrica, estas fontes tornam-se supercampos, isto e, pre-
cisamos introduzir uma superfonte externa quiral/antiquiral (J(z),

J(z)) que satisfaz
os vnculos

D

J = D


J = 0 . (3.28)
Para facilitar, utilizaremos a seguinte nota cao:
S
J
=
_
d
6
zJ(z)(z) +
_
d
6
z

J(z)

(z) = J +

J

. (3.29)
O gerador superfuncional para o modelo de Wess-Zumino e denido por
Z[J,

J] = N
_
T

Te
i(S
0
+S
INT
+S
J
)
, (3.30)
onde N e um fator de normaliza cao. Depois da integra cao, este reduz-se `a forma
geral
20
Z[J,

J] = exp
_
i

_
S[U
0
] + J
I
U
I
0
_
_
exp
_
i

S
INT
_
i

J
; U
0
__
Z
0
[J] ,
Z
0
[J,

J] = sDet
1
2
_
G
I
F J
_
exp
_
1
2
i

J
I
J
J
G
JI
F
_
, (3.31)
onde o superdeterminante (sDet) e denido no apendice B e, para o nosso caso,
U
0
= (
0
,

0
) = 0 ,
H
I
J
= H
(m)
,
G
IJ
F
= G .
Temos que sDet(H
(m)
) = sDet
1
(G) e uma constante independente de J,

J e dos
campos ,

. Logo, o gerador superfuncional e nalmente dado por
Z[J,

J] = exp
_
iS
INT
_
1
i

J
,
1
i


J
__
Z
0
[J,

J] ,
Z
0
[J,

J] = exp
_
i
2
(J,

J)G
_
J

J
__
, (3.32)
onde
(J,

J)G
_
J

J
_
= (J,

J)
_
G
++
G
+
G
+
G

__
J

J
_
=
_
d
6
zd
6
z

J(z)G
++
(z, z

)J(z

) +
_
d
6
zd
6
z

J(z)G
+
(z, z

)J(z

)
+
_
d
6
zd
6
z

J(z)G
+
(z, z

)

J(z

)+
_
d
6
zd
6
z

J(z)G

(z, z

)

J(z

)
=
_
d
6
zd
6
z

J(z)G
++
(z, z

)J(z

) +2
_
d
6
zd
6
z

J(z)G
+
(z, z

)

J(z

)
+
_
d
6
zd
6
z

J(z)G

(z, z

)

J(z

)
=
_
d
6
zd
6
z

J(z)
1
2 m
2
+ i
m
+
(z, z

)J(z

) +
+2
_
d
6
zd
6
z

J(z)
1
2 m
2
+ i
1
4

D
2

(z, z

)

J(z

) +
+
_
d
6
zd
6
z

J(z)
1
2 m
2
+ i
m

(z, z

)

J(z

) .
Usando que (apendice B)
_
d
6
z

+
(z, z

)(z

) = (z) , (3.33)
21
temos
(J,

J)G
_
J

J
_
=m
_
d
6
zJ(z)
1
2 m
2
+ i
J(z) +2
_
d
6
zJ(z)
1
2 m
2
+ i
1
4

D
2

J(z)+
+m
_
d
6
z

J(z)
1
2 m
2
+ i

J(z) .
Agora, usando o fato de que
1
4

D
2
= d
2

, chegamos a
(J,

J)G
_
J

J
_
= m
_
d
6
zJ
1
2 m
2
+ i
J 2
_
d
8
zJ
1
2 m
2
+ i

J +
+m
_
d
6
z

J
1
2m
2
+ i

J . (3.34)
Entao, substituindo na expressao (3.32) para Z
0
, obtemos
Z
0
[J,

J] = exp
_
i
_

_
d
8
z

J
1
2 m
2
+ i
J +
m
2
_
d
6
zJ
1
2m
2
+ i
J+
+
m
2
_
d
6
z

J
1
2m
2
+ i

J
__
. (3.35)
Vamos agora mostrar como as componentes do superpropagador de Feynman
estao relacionadas com valores esperados ordenados temporalmente. Dada uma
a cao S
0
para uma teoria linearizada, que em nosso caso e
S
0
[,

] =
_
d
8
z

+
_
1
2
m
_
d
6
z
2
+ c.c.
_
, (3.36)
o valor esperado ordenamento temporalmente de um operador A[,

] e dado por
0[TA[,

][0)
_
T

TA[,

]e
iS
0
[,

]
= A
_
1
i

J
,
1
i


J
_
Z
0
[J,

J][
J=

J=0
. (3.37)
As componentes do superpropagador de Feynman, por sua vez, sao dadas como
fun coes de correla cao:
G
+
(z, z

) = G
+
(z

, z) = i0[T[(z)

(z

)][0) ,
G
++
(z, z

) = i0[T[(z)(z

)][0) ,
G

(z, z

) = i0[T[

(z)

(z

)][0) . (3.38)
22
Agora, de posse da expressao para Z
0
[J,

J] e sabendo que as componentes do su-
perpropagador sao dadas como fun coes de correla cao, podemos calcular as regras de
Feynman para o modelo de Wess-Zumino. Faremos isto de duas maneiras distintas
e veremos quais as vantagens que uma das formas possui, sendo muito mais util no
futuro calculo de supergracos.
3.3 Regras de Feynman padrao
Primeiramente, iremos obter as regras de Feynman correspondentes `a repre-
senta cao (3.35) para Z
0
[J,

J],
Z[J,

J] = exp
_
iS
INT
_
1
i

J
,
1
i


J
__
Z
0
[J,

J]
Z
0
[J,

J] = exp
_
i
2
(J,

J)G
_
J

J
__
. (3.39)
Devemos expressar a estrutura explcita da intera cao, isto e,
iS
INT
_
1
i

J
,
1
i


J
_
= i

3!
_
d
6
z

3
(iJ(z))
3
+ i

3!
_
d
6
z

3
(i

J(z))
3
. (3.40)
Entao, temos que
Z[J,

J] =exp
_
i

3!
_
d
6
z
_
1
i

J(z)
_
3
+ i

3!
_
d
6
z
_
1
i


J(z)
_
3
_
Z
0
[J,

J]

_
1+i

3!
_
d
6
z
_
1
i

J(z)
_
3
+i

3!
_
d
6
z
_
1
i


J(z)
_
3
+ O(
2
,

2
)
_

Z
0
[J,

J] . (3.41)
Os propagadores livres sao calculados atraves do primeiro termo da expansao, onde
nao ha contribui coes vindas dos termos de intera cao. Para isto, derivamos funcional-
mente Z
0
[J,

J] duas vezes:
0[T[(z
1
)(z
2
)][0) =
_
1
i
_
2

2
Z
0
[J,

J]
J(z
1
)J(z
2
)
[
J=

J=0
=
_
1
i
_

_
d
2

1
2m
2
+ i

J(z
2
) +
m
2m
2
+ i
J(z
2
)
_

23


J(z
1
)
Z
0
[J,

J]
_
[
J=

J=0
+
_
Z
0
[J,

J]
m
2 m
2
+ i

+
(z
1
, z
2
)
_
[
J=

J=0
= i
m
2 m
2
+ i

+
(z
1
, z
2
)
= iG
++
(z
1
, z
2
) (3.42)
e, procedendo de forma analoga, encontramos os outros propagadores livres.
Desta forma, ja estamos aptos a utilizar regras de Feynman, que no espa co de
coordenadas sao:
1. Propagadores:
: iG
++
(z, z

) ,

: iG
+
(z, z

) ,

: iG

(z, z

) . (3.43)
2. Vertices: Existem vertices quirais (
3
) e antiquirais (

3
), denotados por
e , respectivamente. Cada vertice quiral e integrado sobre d
6
z, cada vertice
antiquiral e integrado sobre d
6
z. Entao, as regras de Feynman para os vertices
sao:
= i
_
d
6
z ,
= i

_
d
6
z . (3.44)
3. Considerar os fatores de simetria usuais para gracos.
Temos entao as regras de Feynman padrao, derivadas de (3.35). Como veremos
mais adiante, estas regras nao sao as mais uteis no calculo de supergracos, devido
ao fato de que tanto na forma de Z
0
[J,

J] quanto nos vertices temos integra coes nos
sub-espa cos quiral e antiquiral (d
6
z e d
6
z), o que torna os calculos mais complexos e
nao possibilita a obten cao de alguns resultados que ser ao automaticos apos melho-
rarmos estas regras. Veremos que, ao melhorar as regras (3.43) e (3.44), iremos
trabalhar apenas com integra coes em todo o super-espa co (d
8
z), fato que permitira
com que possamos usar algumas regras (como deriva cao por partes e propriedades
das superderivadas covariantes) para realizar os calculos, fazendo com que, ao nal
destes, quemos com apenas uma integra cao em d
4
. Antes disto, porem, vamos
introduzir o conceito de super-a cao efetiva e, posteriormente, aplicar as regras de
Feynman melhoradas neste objeto.
24
3.4 Super-Acao efetiva
Para uma teoria supersimetrica, a a cao efetiva e denida de forma completamente
analoga `a [
c
] (apendice C). O gerador superfuncional das fun coes de Green conec-
tadas e
W[J(z)] = i ln Z[J(z)] , (3.45)
onde, como ja visto anteriormente, z = (x
m
,


). Um supercampo classico geral
na presen ca de uma superfonte e denido por

c
(z) =
W[J(z)]
J(z)
. (3.46)
Fazendo a transformada de Legendre de W[J(z)], temos
[
c
(z)] = W[J(z)]
_
d
8
zJ(z)
c
(z) , (3.47)
onde
J(z) =
[
c
]

c
(z)
. (3.48)
O superfuncional [
c
(z)] e chamado de superfuncional da a cao efetiva ou super-
a cao efetiva.
Assim como em (C.28), temos tambem a expansao em loops para a super-a cao
efetiva:
[
c
] = S[
c
] +

n=1

(n)
[
c
] , (3.49)
onde S[
c
] e a a cao classica para o supercampo
c
e os coecientes
(n)
representam
as corre coes quanticas para esta a cao, que por sua vez sao supergracos (1PI). [
c
]
possui a representa cao integral
e
(i/)[c]
= ^
_
Texp
_
i

_
S[]
_
d
8
z
1
[
c
]((z)
c
(z))
__
, (3.50)
onde ^ e um fator de normaliza cao e

n
[
c
] =

n
[]
(z
1
)...(z
n
)
[
=c
. (3.51)
Analogamente `a (C.34), em nvel de um loop [
c
] e
[
c
] = S[
c
] +
i
2
sTr(ln S
2
[
c
]) + O(
2
) , (3.52)
onde
S
n
[
c
] =

n
S[]
(z
1
)...(z
n
)
[
=c
. (3.53)
25
Vemos entao que todos os resultados que temos em Teoria Quantica de Cam-
pos usual sao validos tambem no super-espa co. Vamos agora aplica-los no modelo
de Wess-Zumino e, depois de mostrar alguns resultados que restringem as formas
possveis de supergracos, obter novas regras de Feynman que, como ja dito anteri-
ormente, facilitam muito a realiza cao de calculos de supergracos, alem de estarem
diretamente relacionadas a um teorema fundamental para os calculos da super-a cao
efetiva e do superpotencial efetivo.
No modelo de Wess-Zumino, a a cao efetiva [
c
,

c
] e denida por
[
c
,

c
] = i ln Z[J,

J] J
c

c
= i ln Z[J,

J]
_
d
6
zJ(z)
c
(z)
_
d
6
z

J(z)

c
(z) , (3.54)
onde
_

c

c
_
=
_

J


J
_
1
i
ln Z[J,

J]
=
_
G
++
G
+
G
+
G

__
J

J
_
+ corre coes de loop . (3.55)
Estamos trabalhando apenas com diagramas irredutveis de uma partcula (1PI),
amputando todas as linhas externas e inserindo em seus lugares e

, de acordo
com a regra
J
iG
+A
iG
+B
G
+
G
++
iG
+A
iG
+B

J
iG
+B
iG
+A
Figura 3.1: Regra para a a cao efetiva
onde A, B = , e similarmente para para inser coes de

. E, tambem, cada diagrama
deve ser multiplicado por (i), como vemos de
[
c
,

c
] = i ln Z[J,

J] J
c

c
.
Estas regras de Feynman foram desenvolvidas por A. Salam e J. Strathdee na decada
de 70 [10]. Como consequencia direta destas regras, vamos provar o seguinte teo-
rema:
26
Teorema 1. Cada supergraco com L-loops (L 1) contendo apenas vertices
quirais (antiquirais) se anula.
Prova. Consideremos um supergraco conexo de L-loops do tipo quiral. Este
envolve somente propagadores G
++
, que e quiral em ambos os argumentos. Na
representa cao quiral, temos que
G
++
(z, z

) =
m
2 m
2
+ i

+
(z, z

) =
2
(

)
m
2m
2
+ i

4
(x x

) . (3.56)
Como podemos ver, as variaveis x e sao separadas. Por hipotese, o diagrama
contem um ciclo fechado formado por k pontos, como mostra a gura 3.2.
1
2 3
k
k 1
Figura 3.2: Ciclo com k pontos
Quando k 1, a contribui cao do ciclo para o diagrama e proporcional `a
G
++
(z
1
, z
2
)G
++
(z
2
, z
3
) ... G
++
(z
k1
, z
k
)G
++
(z
k
, z
1
)

2
(
1

2
)
2
(
2

3
)...
2
(
k1

k
)
2
(
k

1
)
=
2
(
1

2
)
2
(
1

3
)...
2
(
1

k
)
2
(
k

1
)
= 0 , (3.57)
onde usamos as identidades

2
(

)f(

) =
2
(

)f() ,
(
2
())
2
= 0 . (3.58)
O caso k = 1 corresponde ao tadpole da gura (3.3), que da contribui cao igual `a
zero, pois

2
( ) = 0 . (3.59)
27
Figura 3.3: Tadpole
Como resultado automatico deste teorema, podemos fazer a seguinte arma cao:
Corolario. Cada supergraco contendo um ciclo fechado puramente quiral (an-
tiquiral) se anula.
Por exemplo, o supergraco de dois loops abaixo,

Figura 3.4: Supergraco de dois loops


produz contribui cao zero para a a cao efetiva, pois possui um ciclo fechado puramente
quiral.
Assim, vemos que, de acordo com o Teorema 1, supergracos que nao dao con-
tribui cao nula, isto e, supergracos nao triviais, s ao aqueles que envolvem tanto
vertices quirais quanto antiquirais. Mas, para realiza cao de calculos, ou seja, do
ponto de vista pratico, e util melhorar as regras de Feynman, pois tanto a repre-
senta cao quiral quanto a antiquiral nao sao faceis de lidar, e devemos tratar
+
(z, z

)
e

(z, z

) da maneira padrao,

+
(z, z

) =
1
4

D
2

8
(z z

) ,

(z, z

) =
1
4
D
2

8
(z z

) , (3.60)
com todas as coordenadas do super-espa co com o mesmo peso, e ainda usando que

8
(z) =
4
(x)
4
(). Mas, assim como ja utilizamos certas propriedades da fun cao
28
delta de Grassmann, tais como
2
(

)f(

) =
2
(

)f(),(
2
())
2
= 0 e

2
( ) = 0, podemos tambem converter as medidas de integra cao d
6
z = d
4
xd
2
e
d
6
z = d
4
xd
2

, associadas a vertices, para a medida d


8
z = d
4
xd
4
, de acordo com a
regra

1
4
_
d
6
z

D
2
U =
1
4
_
d
6
zD
2
U =
_
d
8
zU , (3.61)
utilizando o fato de que a fun cao delta
4
() corresponde `a medida d
4
.
3.5 Regras de Feynman melhoradas
Agora, vamos encontrar uma outra forma, mais conveniente, para escrever o
gerador superfuncional Z
0
[J,

J]. Come camos por expressar as componentes de G de
acordo com a regra
G
++
(z, z

) =
_

1
4
_
2

D
2

D
2
K
++
(z, z

) ,
G
+
(z, z

) =
_

1
4
_
2

D
2
D
2
K
+
(z, z

) ,
G

(z, z

) =
_

1
4
_
2
D
2
D
2
K

(z, z

) , (3.62)
onde
K
+
(z, z

) = K
+
(z, z

) K(z, z

) =
1
2 m
2
+ i

8
(z z

) ,
K
++
(z, z

) = m
D
2
42
K(z, z

) ,
K

(z, z

) = m

D
2
42
K(z, z

) . (3.63)
Desta forma, podemos re-escrever a equa cao (3.34) como
(J,

J)G
_
J

J
_
=
_
d
8
zd
8
z

_
J(z)K
++
(z, z

)J(z

) + 2J(z)K
+
(z, z

)

J(z

)+
+

J(z)K

(z, z

)

J(z

, (3.64)
onde os sinais () nao indicam (anti)quiralidade em (z, z

) e sim a rela cao destes


com G
+
, G
+
, G
++
e G

. A equa cao (3.35) ca


Z
0
[J,

J] = exp
_
i
_
d
8
z
_

J
1
2m
2
+ i
J +
m
8
J
1
2(2 m
2
+ i)
J+
+
m
8

J
1
2(2 m
2
+ i)

J
__
. (3.65)
29
Assim, ambas as expressoes ((3.64) e (3.65)) involvem apenas integrais sobre todo
o super-espa co (d
8
z), ao inves das expressoes obtidas anteriormente, que envolviam
integra coes sobre os super-espa cos (anti)quirais (d
6
z e d
6
z). Veremos posteriormente
que o fato de integrarmos sobre todo o super-espa co sera muito mais conveniente
em nossos calculos.
Agora, seguindo o trabalho de M. Grisaru, M. Rocek e W. Siegel [19], conside-
raremos a reformula cao das regras de Feynman mostradas anteriormente. Para isto,
usaremos a representa cao (3.62) para os propagadores, a identidade
(

D
2
U
1
)(

D
2
U
2
)...(

D
2
U
n
) =

D
2
U
1
(

D
2
U
2
)...(

D
2
U
n
) , (3.66)
sua conjugada e a regra de conversao (3.61).
Assim, utilizando o exposto acima, para cada vertice quiral com tres linhas
internas temos que
_
d
6
zG
+A
(z, z
1
)G
+B
(z, z
2
)G
+C
(z, z
3
) =
=
_
d
6
z
_

1
4
_
2

D
2
T
(A)
K
+A
(z, z
1
)
_

1
4
_
2

D
2
T
(B)
K
+B
(z, z
2
)

1
4
_
2

D
2
T
(C)
K
+C
(z, z
3
)
=
_
d
6
z
_

1
4
_
2

D
2
_
T
(A)
K
+A
(z, z
1
)
_

1
4
_
2

D
2
T
(B)
K
+B
(z, z
2
)
_

1
4
_
2

D
2
T
(C)
K
+C
(z, z
3
)
_
=
_
d
8
zK
+A
(z, z
1
)
_

1
4

T
(A)
___

1
4

D
2
_
K
+B
(z, z
2
)
_

1
4

T
(B)
__

__

1
4

D
2
_
K
+C
(z, z
3
)
_

1
4

T
(C)
__
,
onde
A, B, C = ,
T
(A)
=
_

D
2
se A = +
D
2
se A =
,
e

T
(A)
signica que T
(A)
age no segundo argumento de K
+A
.
Para cada vertice quiral com uma linha externa e duas linhas internas temos que
_
d
6
z(z)G
+A
(z, z
1
)G
+B
(z, z
2
) =
=
_
d
8
z(z)K
+A
(z, z
1
)
_

1
4

T
(A)
___

1
4

D
2
_
K
+B
(z, z
2
)
_

1
4

T
(B)
__
, (3.68)
30
e assim por diante.
Equivalentemente, podemos come car com a representa cao (3.65) para Z
0
[J,

J] e
utilizar os mesmos procedimentos anteriores para chegar `as novas regras de Feynman,
melhoradas, que sao:
1. Propagadores:

:
z z

2
m
2

8
(z z

)
(m

D
2
/4
2
)

:
z z

z
1
4

D
2 im

2
(
2
m
2
)

8
(z z

)
(mD
2
/4
2
)
:
z z

z
1
4
D
2 im

2
(
2
m
2
)

8
(z z

)
2. Vertices:
quiral (
3
): = i
_
d
8
z,
antiquiral (

3
): = i

_
d
8
z.
3. Considerar os fatores de simetria usuais para gracos.
4.
`
A cada vertice quiral (antiquiral) com n linhas internas, estao associados
(n 1) fatores
1
4

D
2
_

1
4
D
2
_
agindo em (n 1) linhas internas. Todas as
linhas externas ( ou

) aparecem sem fator algum.
Como veremos mais adiante, uma das principais vantagens das regras de Feyn-
man melhoradas e que e muito mais facil de se calcular as contribui coes dos su-
pergracos pois, usando integra cao por partes e as propriedades da fun cao delta
de Grassmann, podemos passar as superderivadas covariantes para as medidas de
integra cao das integrais que aparecerao quando formos calcular as contribui coes dos
supergracos. Assim, para um graco com V vertices podemos facilmente integrar
(V 1) vertices em ,

, cando desta forma com apenas uma integra cao, sobre um
unico ponto do super-espa co.
Cada linha interna sera representada pelos superpropagadores
31
i
2 m
2
+ i

8
(z z

) =
4
(

)
i
2 m
2
+ i

4
(x x

) (3.69)
ou
im
2(2 m
2
+ i)

8
(z z

) =
4
(

)
im
2(2m
2
+ i)

4
(x x

) , (3.70)
com algum n umero de fatores D e

D agindo em z ou z

. Porem, estes fatores (D e

D) podem ser transferidos para outras linhas (internas ou externas), utilizando-se


integra cao por partes, da seguinte forma:
D

Figura 3.5: Integra cao por partes


Depois destas manipula coes, podemos facilmente trabalhar com as integrais re-
manescentes pois, ao realizarmos integra coes por partes, transferimos os fatores (D e

D) para a medida de integra cao da integral, eliminando assim varios fatores (como,
por exemplo, fun coes delta de Grassmann).
Vamos agora escrever as regras de Feynman no espa co de momentos. Para isto,
fazemos a transforma cao do supercampo (z), dos superpropagadores
/ = (iK
+
, iK
++
, iK

) e da fun cao delta


8
(z z

) para o espa co de mo-


mentos:
(z) =
_
d
4
p
(2)
4
e
ipx
(p, ) ,
/(z, z

) =
_
d
4
p
(2)
4
e
ip(xx

)
/(p; ,

) ,

8
(z z

) =
_
d
4
p
(2)
4
e
ip(xx

4
(

) . (3.71)
As derivadas covariantes D
A
= (

, D

,

D

) no espa co de momentos tomam a forma

a
ip
a
,
D

(p) =

+ (
a
)


p
a
,

D



D

(p) =


(
a
)

p
a
, (3.72)
32
satisfazendo a algebra
D

(p), D

(p) =

D

(p),

D

(p) = 0 ,
D

(p),

D

(p) = 2(
a
)

p
a
. (3.73)
Estes operadores podem ser usados como derivadas covariantes ordinarias.
Entao, as regras de Feynman no espa co de momentos sao:
1. Propagadores:

i
p
2
+m
2

4
(

)
p
im
p
2
(p
2
+m
2
)
(
1
4

D
2
(p))
4
(

)
p
im
p
2
(p
2
+m
2
)
(
1
4
D
2
(p))
4
(

)
p
2. Cada vertice e integrado sobre d
4
.
3. A cada loop independente e associada uma integral no momento
_
d
4
p
(2)
4
. (3.74)
4. Aos momentos externos, associamos o fator global
_

pext
_
d
4
p
ext
(2)
4
_
(2)
4

4
_

ext
p
ext
_
. (3.75)
5. Considerar os fatores de simetria usuais para gracos.
As expressoes
z

z
z

z
D

33
no espa co de coordenadas, correspondem `as seguintes expressoes

(p) D

(p)
no espa co de momentos, respectivamente. No espa co de momentos, o analogo da
rela cao
D

8
(z z

) = D

8
(z z

) (3.76)
e
D

(p)
4
(

) = D

(p)
4
(

) , (3.77)
o que implica em

(p) D

(p)
Portanto,

D
2
(p) D
2
(p)
Usando a propriedade
_
d
4

f() =
_
d
4


f() = 0 , (3.78)
para um f arbitrario, temos as regras para integra cao por partes:
p
k
p
k
p
p k p k
k

D

(p k)
p k

D

(k)
D

(p)
p
k
p
k
p
p k p k
k
D

(p k)
p k
D

(k)
D

(p)
Figura 3.6: Integra cao por partes
34
3.6 Exemplo de calculo de supergraco
Para ilustrar o exposto ate aqui, vamos fazer um exemplo de calculo de supergraco.
Calcularemos a corre cao de um loop para a fun cao de vertice de dois pontos (propa-
gador). Neste caso, temos os supergracos mostrados na gura (3.7):

(
1
4

D
2
) (
1
4

D
2
)
(
1
4

D
2
)


(
1
4
D
2
)
(
1
4
D
2
) (
1
4
D
2
)
Figura 3.7: Supergracos para a fun cao de dois pontos no espa co das coordenadas
De acordo com o Teorema 1, as contribui coes do segundo e do terceiro graco
sao nulas, devido ao fato de termos apenas vertices quirais e antiquirais, respectiva-
mente. Para o primeiro graco temos:
Propagadores:
1
2m
2

8
(z z

) ,
1
2 m
2

8
(z z

) .
Vertices:
i

_
d
8
z , i
_
d
8
z

.
Fatores D,

D:

1
4
D
2
,
1
4
D
2
.
35
Assim, a contribui cao do primeiro graco e
i
2

_
d
8
zd
8
z

(z)
_
1
2 m
2
+ i

8
(z z

)
_

_
1
16
D
2

D
2
1
2 m
2
+ i

8
(z z

)
_
(z

) , (3.79)
onde o fator (1/2) e o fator de simetria. Usando a igualdade
1
16
D
2

D
2

4
(

)[
=
=
1
16
D
2

D
2
(

)
2
(

)
2
[
=
= 1 , (3.80)
a integral se torna
i
2

_
d
4
xd
4
d
4
x

d
4

(x, )
_
1
2m
2
+ i

4
(x x

)
4
(

)
_

_
1
2 m
2
+ i

4
(x x

)
_
(x

)
=
i
2

_
d
4
xd
4
x

d
4

(x, )(x

, )[G(x, x

)]
2
, (3.81)
onde
G(x, x

) =
1
2 m
2
+ i

4
(x x

) . (3.82)
Desta forma, vemos que camos apenas com uma integra cao em d
4
no super-
espa co.
Agora vamos calcular o mesmo graco no espa co de momentos, mostrado na
gura (3.8):
(
1
4

D
2
)
(p,

)
(
1
4
D
2
)

(p, )
p k
k
Figura 3.8: Supergraco para a fun cao de dois pontos no espa co de momentos
Temos:
Propagadores:

i
k
2
+ m
2

4
(

) ,
i
(p k)
2
+ m
2

4
(

) .
36
Vertices:
i

_
d
4
, i
_
d
4

.
Integral do loop:
_
d
4
k
(2)
4
.
Momentos externos:
_
d
4
p
(2)
4
_
d
4
p

(2)
4
(2)
4

4
(p + p

) =
_
d
4
p
(2)
4
.
Fatores D,

D:

1
4
D
2
(k) ,
1
4
D
2
(k) .
A contribui cao do graco e
i
2
i

i
_
d
4
p
(2)
4
_
d
4

_
d
4

(p, )(p,

_
d
4
k
(2)
4
i
(p k)
2
+ m
2

4
(

)
i
k
2
+ m
2

_
1
16
D
2
(k)

D
2
(k)
4
(

)
_
.
Usando
1
16
D
2
(k)

D
2
(k)
4
(

)[
=
=
1
16
D
2
(k)

D
2
(k)(

)
2
(

)
2
[
=
= 1 , (3.83)
a integral se torna
i
2

_
d
4
p
(2)
4
_
d
4
k
(2)
4
1
(p k)
2
+ m
2
1
k
2
+ m
2
_
d
4

(p, )(p, )
=
1
2

_
d
4
p
(2)
4
A(p
2
, m
2
)
_
d
4

(p, )(p, ) , (3.84)


onde
A(p
2
, m
2
) = i
_
d
4
k
(2)
4
1
(p k)
2
+ m
2
1
k
2
+ m
2
(3.85)
e uma integral que diverge para p, k .
Novamente notamos que ao nal restou apenas uma integra cao no super-espa co
(d
4
).
37
Podemos regularizar a integral (3.85) substituindo cada fator
1
p
2
+ m
2
i
= i
_

0
ds e
is(p
2
+m
2
)
(3.86)
nas regras de Feynman por sua versao regularizada
(1 +)
2
(p
2
+ m
2
i)
1+
= i
2
_

0
ds(is)

e
is(p
2
+m
2
)
, (3.87)
onde e o parametro de regulariza cao e fazemos 0 ao nal dos calculos.
e um parametro real com dimensao de massa. Nao e preciso regularizar os fatores
1/p
2
nas regras de Feynman pois, de acordo com o Teorema 1, os propagadores
e

nao formam loops. Alem disto, utilizando a regra


m(
1
4
D
2
)
(
1
4

D
2
) (
1
4

D
2
)
m(
1
4

D
2
)
(
1
4
D
2
) (
1
4
D
2
)
Figura 3.9: Propriedade das linhas e

percebemos que pode-se cancelar os fatores 1/p


2
, como no caso do supergraco de
dois loops que contribui para a fun cao de dois pontos abaixo:

Figura 3.10: Supergraco de dois loops para a fun cao de dois pontos
Assim, a forma regularizada de (3.85) e
A(p
2
, m
2
[) = i
4
_
d
4
k
(2)
4
_

0
ds
1
ds
2
(is
1
)

(is
2
)

e
is
1[(pk)
2
+m
2
]
e
is
2[k
2
+m
2
]
, (3.88)
38
que resulta em
A(p
2
, m
2
[) =
1
(4)
2
1

+ termos nitos . (3.89)


Desta forma, a eq. (3.84) ca
1
2

_
d
4

_
d
4
p
(2)
4

(p, )(p, )
1
16
2
_
1

+ termos nitos
_
. (3.90)
Logo, vemos que a divergencia agora manifesta-se como um p olo simples em = 0.
Para cancela-la, devemos adicionar ao termo cinetico inicial
_
d
8
z(z)

(z) (3.91)
um contratermo
S
cont
=

32
2

_
d
8
z(z)

(z) , (3.92)
que corresponde `a substitui cao do termo
_
d
8
z

na a cao classica por


_
d
8
zZ(z)

(z) , (3.93)
onde
Z = 1

32
2

(3.94)
e uma constante de renormaliza cao do campo.
Vamos agora voltar ao modelo de Wess-Zumino em componentes. Sabendo que
_
d
2


3!

3
=

2
(
2
F ) ,
_
d
2

3!

3
=

2
(
2

F


) (3.95)
e lembrando de (2.49), (2.55) e (2.56), temos que a a cao completa do modelo em
termos dos campos componentes e
S =
_
d
4
x
_

m
i
m

m

+ F

F + m
_
F +

F
1
2

1
2

_
+

2
(
2
F ) +

2
(
2

F


)
_
. (3.96)
As equa coes de movimento sao
2 = mF + F

2
, 2 = m

F +



F


,
i
m


= m

, i
m

= m

F = m

2

2
, F = m

2

2
, (3.97)
39
de onde vemos que as equa coes para F e

F sao equa coes de vnculo, por serem estes
campos auxiliares. Substituindo as equa coes para F e

F na a cao, temos que
S =
_
d
4
x
_
(2 m
2
) i
m

m


m
2
( +


)

2
( + m
2
)+

2
(


+ m
2
) +
[[
2
4

2

2
_
. (3.98)
Esta a cao pode ser escrita em termos de espinores de quatro componentes do tipo
Majorana entao, para =

e usando (A.18) e (A.17),
S =
_
d
4
x
_
(2m
2
) +
i
2

m
2

(1 +
5
) +

(1
5
)
m
2
(
2
+
2
) +

2
4

2

2
_
, (3.99)
onde L = (1
5
)/2 e R = (1 +
5
)/2 sao os operadores de proje cao, tais que

L
L =
_

0
_
,
R
R =
_
0


_
. (3.100)
Assim, vemos que as regras de Feynman para o modelo de Wess-Zumino em
componentes sao
iR
im i
2
iL
i
p
2
+m
2
i

m
p
m
m+i
Figura 3.11: Regras de Feynman para o modelo de Wess-Zumino em componentes
Desta forma, percebemos que o n umero de regras de Feynman para esta teoria no
formalismo de campos componentes e maior em compara cao ao n umero existente no
formalismo de supercampos. Podemos tambem perceber que calcular um processo
no formalismo de campos componentes requer um n umero muito maior de gracos
do que o requerido quando trabalhamos no super-espa co, como podemos ver pelo
40
calculo da corre cao de um loop para a fun cao de dois pontos feita no super-espa co,
onde precisamos utilizar apenas um supergraco.
Atraves do calculo da corre cao para a fun cao de dois pontos, mostramos que ao
utilizar as regras de Feynman melhoradas os calculos tornam-se relativamente sim-
ples, pois podemos utilizar as superderivadas covariantes para eliminar integra coes
no super-espa co e, ao nal, sempre podemos car com apenas uma integral nas
variaveis de Grassmann. De fato, esta caracterstica e geral para todas as con-
tribui coes de supergracos para a super-a cao efetiva, como iremos demonstrar a
seguir.
3.7 Teorema de nao-renormalizacao
Analisando as equa coes (3.81) e (3.84), vemos que o integrando destas e local
nas variaveis (uma fun cao de apenas um


) e nao-local nas variaveis x ou p
(uma fun cao de mais de um x ou, equivalentemente, uma fun cao nao-polinomial de
p). Esta localidade em e uma propriedade geral de supergracos arbitrarios, de
acordo com o seguinte teorema provado por, M.Grisaru, W.Siegel e M.Rocek [19]:
Teorema de nao-renormalizacao. Cada termo na a cao efetiva pode ser escrito
como uma integral sobre um unico d
4
.
Prova. Para provar este Teorema, consideramos um supergraco (1PI) com um
n umero L de loops. Cada vertice e integrado sobre d
4
e cada linha possui um
certo n umero de derivadas D e

D agindo em uma fun cao
4
(

). Dentro deste
supergraco, tomamos um loop arbitrario com um n umero n de vertices:
A contribui cao deste loop e proporcional a
_
d
4

1
_
d
4

2
...
_
d
4

4
(
1

2
)
4
(
2

3
)...
4
(
n

1
) , (3.101)
com as derivadas D e

D agindo nestas fun coes. Integrando por partes, podemos
transferir todas as derivadas covariantes agindo em
4
(
1

2
) para
4
(
2

3
) ou

4
(
n

1
), ou ainda para linhas externas ao loop. Feito isto, podemos fazer a
integral sobre d
4

2
, removendo assim a fun cao
4
(
1

2
) e substituindo
2
por
1
em todos os fatores. Fazendo isto (n 1) vezes, a contribui cao deste loop sera
proporcional a uma unica fun cao delta de Grassmann, e a contribui cao de todo o
supergraco sera da forma

A
_
d
4

A
_
d
4

1
f(
1
,
A
)D...D
4
(
n

1
)[
n=
1
, (3.102)
41
onde o ndice A enumera os vertices externos ao loop. Usando as rela coes de anti-
comuta cao
D

,

D

= 2i
m

m
= 2
m

p
m
,
D

, D

D

,

D

= 0 ,
qualquer produto de fatores D e

D pode ser reduzido a uma expressao com no
maximo quatro destes fatores. Como

4
(
n

1
) = (
n

1
)
2
(

1
)
2
, (3.103)
sao necessarios exatamente dois fatores D e dois fatores

D para que (3.102) seja
diferente de zero. Assim, temos que
1
16
D
2

D
2

4
(
n

1
)[
n=
1
= 1 . (3.104)
Portanto, toda a contribui cao do loop sera reduzida a uma unica integral nas
variaveis .
Realizando este procedimento para todos os loops, reduzimos a contribui cao de
todo o supergraco para uma unica integral em , da forma

i
_
d
4
p
i
_
d
4
F(p
i
, ) , (3.105)
onde p
i
sao os momentos externos independentes.
Corolario 1. A estrutura geral da a cao efetiva no Modelo de Wess-Zumino e
[,

] =

n
_
d
4
x
1
...
_
d
4
x
n
_
d
4
T
n
(x
1
, ..., x
n
)F
1
(x
1
, )...F
n
(x
n
, ) , (3.106)
onde T
n
sao fun coes invariantes por transla cao no espa co de Minkowski e F sao
fun coes locais de ,

e suas derivadas covariantes,
F
i
= F
i
(,

, D
A
, D
A

, ...) . (3.107)
Corolario 2. Todos os supergracos de vacuo se anulam.
Prova. De acordo com o Teorema de nao-renormalizacao, todo supergraco
de vacuo pode ser escrito como
/
_
d
4
, (3.108)
onde / e uma integral sobre o momento do loop. Como
_
d
4
= 0 , (3.109)
42
toda a contribui cao e nula.
Este resultado implica que o gerador superfuncional (3.32) e naturalmente nor-
malizado por
Z[J = 0,

J = 0] = 1 , (3.110)
e e consistente com o fato de que a energia de vacuo e precisamente zero em qualquer
teoria supersimetrica global.
3.8 Superpotencial efetivo
Assim como em Teoria Quantica de Campos usual, o potencial efetivo e um ob-
jeto de extrema importancia em teorias supersimetricas pois, atraves deste, podemos
estudar varios aspectos fundamentais, como quebra de Supersimetria por exemplo
[21]-[23].
Para uma teoria supersimetrica qualquer com supercampos quirais, podemos
escrever a super-a cao efetiva mais geral da forma
[,

] =
_
d
8
zL
eff
_
, D
A
, D
A
D
B
, ...,

, D
A

, D
A
D
B

, ...
_
+
+
__
d
6
zL
(c)
eff
(,
m
,
m

n
, ...) + c.c.
_
, (3.111)
onde L
eff
e uma serie de potencias das derivadas covariantes D
A
, D
A
D
B
, ...,
D
A

, D
A
D
B

, ..., enquanto que L


(c)
eff
e uma serie de potencias das derivadas parciais

m
,
m

n
, .... Esta equa cao e entao uma super-a cao efetiva exata escrita como
uma expansao em superderivadas covariantes, e chamamos L
eff
de superlagrangiana
efetiva e L
(c)
eff
de superlagrangiana efetiva quiral.
A super-a cao efetiva e calculada usando as tecnicas de supergracos descritas
anteriormente, onde vimos que podemos manipular superderivadas covariantes para
tornar os calculos mais simples, atraves de integra coes por partes. De fato, isto
tem que ser feito pois, de acordo com o Teorema de nao-renormalizacao, a
contribui cao para [,

] proveniente de um supergraco arbitrario pode ser repre-
sentada como uma unica integral em d
4
, mas nao em d
2
ou d
2

. Desta forma,
apenas o primeiro termo na equa cao (3.111) e admissvel. Todavia, devido a rela coes
do tipo
_
d
6
zG =
_
d
6
z
1
162
162G
=
_
d
6
z
1
162

D
2
D
2
G
43
=
_
d
6
z
_

1
4

D
2
__

D
2
42
_
G
=
_
d
8
z
_

D
2
42
_
G , (3.112)
onde G e um supercampo quiral, contribui coes com integra cao em d
2
(ou d
2

)
podem ser transformadas em contribui coes com integra c ao em d
4
, fazendo com que
nao existam termos em L
(c)
eff
.
A expansao em componentes do supercampo e
(z) = e
i
m
m
((x) +

(x) + F(x)) , (3.113)


descrita por campos escalares e espinoriais. Para obtermos o potencial efetivo, cal-
culamos a Lagrangiana efetiva para campos escalares constantes, jogando fora os
outros campos, isto e, sob as condi coes
= cte , F = cte ,

= 0 . (3.114)
Desta forma, o potencial efetivo e dado por
V
eff
=
_
d
4
L
eff
+
__
d
2
L
(c)
eff
+ c.c.
_
[
A,F=cte
=0
. (3.115)
Porem, as condi coes (3.114) nao sao supersimetricas, pois podemos fazer com que

seja diferente de zero, aplicando uma transforma cao de Supersimetria (


Q
=

por exemplo). Portanto, substitumos (3.114) por

m
= 0 , (3.116)
que por sua vez e uma condi cao que preserva a Supersimetria. Logo, (3.115) se torna

V
eff
=
_
d
4
L
eff
+
__
d
2
L
(c)
eff
+ c.c.
_
[
m=0
. (3.117)

V
eff
e chamado de superpotencial efetivo pois agora sim temos um potencial efetivo
supersimetrico. Notamos que

V
eff
= V
eff
quando

= 0, o que pode ser atingido


aplicando-se uma transforma cao supersimetrica especial, que elimina o campo es-
pinorial. Porem,

V
eff
possui uma caracterstica essencial, que e a de poder ser
calculado apenas usando supercampos.
De (3.117), vemos que o superpotencial efetivo e determinado pelos seguintes
objetos
1
eff
L
eff
[
m=0
,
1
(c)
eff
() L
(c)
eff
[
m=0
, (3.118)
44
que sao chamados de parte real e parte quiral, respectivamente, do superpotencial
efetivo. Tambem chamamos 1
(c)
eff
de superpotencial efetivo quiral. A forma mais
geral de 1
eff
e
1
eff
= /(,

) +T
_
D

, D
2
,

D

,

D
2

; ,

_
, (3.119)
onde
T[
D=

D

=0
= 0 .
O primeiro termo de (3.119) e chamado de potencial efetivo de Kahler e o segundo
termo e chamado de potencial efetivo do campo auxiliar, pois sua contribui cao para
a lagrangiana efetiva (
_
d
4
T), calculada sob a condi cao de Supersimetria (3.116),
e no mnimo de terceira ordem nos campos auxiliares (F(x)) de e

.
Podemos fazer expansao em loops destes objetos:
/(,

) = /
0
(,

) +

n=1

n
/
n
(,

) , (3.120)
T =

n=1

n
T
n
, (3.121)
onde /
0
(,

) e a contribui cao classica, sendo os outros termos (expansao em )
responsaveis pelas corre coes quanticas. Por exemplo, no Modelo de Wess-Zumino
temos que /
0
(,

) =

.
Podemos tambem fazer a mesma expansao para o superpotencial efetivo quiral:
1
(c)
eff
() = L
c
() +

n=1

n
1
(c)
n
() , (3.122)
onde L
c
() e o superpotencial quiral classico e 1
(c)
n
() sao as corre coes quanticas.
No Modelo de Wess-Zumino a corre cao de um loop para 1
(c)
n
() e zero.
Pelo Teorema de nao renormalizacao, o superpotencial efetivo quiral no
modelo de Wess-Zumino nao e renormalizavel em nenhuma ordem em teoria de per-
turba cao. Podemos observar este fato facilmente, basta lembrar que, neste modelo,
S[,

] =
_
d
8
z

+
_
d
6
z
_
m
2

2
+

3!

3
_
+
_
d
6
z
_
m
2

2
+

3!

3
_
, (3.123)
logo, as contribui coes para 1
(c)
eff
serao todas proporcionais `a integrais em d
2
e d
2

que, como sabemos, darao contribui cao igual a zero. Desta forma, para o modelo
45
de Wess-Zumino, as unicas contribui coes renormalizaveis sao aquelas proporcionais
a

, pois sao as unicas que sao integradas em d
4
.
Portanto, neste captulo, aprendemos como derivar as regras de Feynman para
o modelo de Wess-Zumino e, a partir destas, como calcular a contribui cao de su-
pergracos. Vimos tambem que a forma destes supergracos e restringida pelo Teo-
rema 1 e pelo Teorema de nao renormalizacao, afetando assim as contribui coes
existentes para a super-a cao efetiva e para o superpotencial efetivo.
Sabendo as regras para calcular supergracos, veremos como calcular a con-
tribui cao de uma classe innita destes, mais especicamente os supergracos de
um loop, utilizando um metodo puramente graco e no super-espa co. Antes disto,
porem, vamos mostrar como e o processo de ressoma cao, que possibilita encontrar
uma forma de somar a contribui cao de uma classe innita de gracos. Faremos isto
primeiramente em Teoria Quantica de Campos usual e, posteriormente, aplicaremos
esta ideia para somar uma classe innita de supergracos que contribuem para o
superpotencial no modelo de Wess-Zumino.
46
Captulo 4
Metodos perturbativos e nao perturbativos para o
calculo do potencial efetivo
4.1 A expansao 1/N
Quando calculamos a (super-)a cao efetiva ou o (super)potencial efetivo gra-
camente, estamos fazendo uma expansao perturbativa na constante de acoplamento
da teoria, isto e, para cada loop adicionado ao calculo, maior sera a ordem na cons-
tante de acoplamento pois, ao aumentarmos o n umero de loops, automaticamente
aumentamos o n umero de vertices que, pelas regras de Feynman, sao proporcionais
`a constante de acoplamento. Se a constante de acoplamento for pequena, como na
Eletrodinamica Quantica (QED), podemos calcular a teoria ate altas ordens pertur-
bativas, porem, se a constante de acoplamento for grande, como na Cromodinamica
Quantica (QCD) em baixas energias, nao podemos usar o metodo perturbativo,
pois cada corre cao (loop) sera maior do que a anterior. Desta forma, e essencial
desenvolver metodos nao perturbativos para o calculo de corre coes quanticas.
Uma maneira de desenvolver um metodo nao perturbativo e tomar uma sub-
classe innita de diagramas com caractersticas comuns e encontrar uma forma de
somar todas as suas contribui coes. Veremos exemplos onde atingimos estes resulta-
dos nao perturbativos usando a expansao em loops para a (super-)a cao efetiva ou o
(super)potencial efetivo, conseguindo somar contribui coes de um loop para innitas
ordens na constante de acoplamento.
Um metodo que pode ser utilizado para o calculo da a cao efetiva ou do potencial
efetivo e a expansao 1/N, onde N e o n umero de variaveis dinamicas pertencentes
ao mesmo grupo de simetria do sistema, o que torna a expansao um metodo muito
interessante, pois N e um parametro natural da teoria. Usualmente toma-se o
limite N para a realiza cao dos calculos, o que fenomenologicamente nao e a
aproxima cao mais correta em geral (na QCD, por exemplo, N = 3).
47
Para mostrar como utilizar a expansao 1/N, consideraremos o modelo de Gross-
Neveu (G-N) [24] e, ao nal, mostraremos que no limite N a expansao 1/N
reproduz a soma de todos os diagramas de um loop.
O modelo (G-N) consiste em N fermions com intera cao quartica em (1+1) di-
mensoes, e e usado para o estudo de quebra de simetria quiral discreta, transmuta cao
dimensional e liberdade assintotica. A densidade de Lagrangiana e dada por
L = i

a
+
g
2
(

a
)
2
, (4.1)
onde a = 1, 2, ..., N,
m
sao as matrizes de Dirac, que em (1 + 1) dimensoes sao

0
=
3
,
1
= i
2
e
5
=
0

1
=
1
, g e a constante de acoplamento e

a
=

1
+

2
+ ... +

N
.
Dada uma transforma cao quiral discreta,

a

5

a
,

5
, (4.2)
lembrando que
5
,
m
= 0 e (
5
)
2
= 1, podemos provar que (4.1) e invariante sob
esta transforma cao, o que nao aconteceria se tivessemos um termo de massa, pois

a
. (4.3)
Imaginemos agora o espalhamento de dois fermions do tipo a e dois fermions do
tipo b (a ,=b). Os primeiros diagramas (em teoria de perturba cao usual) para este
espalhamento sao mostrados na gura 4.1.
a
a
a
a
a
a
a
b
b b
b
b
b
b
c
c
Figura 4.1: Espalhamento de dois fermions
O primeiro diagrama e de ordem g, o segundo diagrama e de ordem g
2
N, pois
existem N possveis escolhas para o ndice interno c, e o terceiro diagrama e de
ordem g
2
, pois os ndices internos sao xos. Denindo
g
0
gN , (4.4)
48
desejamos estudar o limite de N grande, para g
0
xo (e nao g xo). Assim, com
a nova deni cao, o primeiro diagrama e de ordem g
0
/N e, como veremos, esta e
a ordem dominante na expansao em 1/N. O segundo diagrama e de ordem g
2
0
/N,
a mesma ordem em 1/N que o primeiro, e o terceiro diagrama e de ordem g
2
0
/N
2
,
proxima ordem em 1/N, sendo desprezvel comparado aos primeiros dois diagramas
no limite de N grande. Desta forma, vemos que, usando o parametro 1/N para fazer
teoria de perturba cao, para cada ordem neste parametro teremos diversas ordens na
constante de acoplamento.
Para a contagem dos diagramas com ordem 1/N, e conveniente introduzir o
campo auxiliar , da forma
LL +
N
2g
0
_

g
0
2N

a
_
2
. (4.5)
Como este e um campo auxiliar, esperamos que ele nao possua dinamica, nao tendo
uma equa cao de movimento propria. Resolvendo as equa c oes de Euler-Lagrange,
obtemos
=
g
0
2N

a
, (4.6)
que e uma equa cao de vnculo e nao uma equa cao de movimento, como esperavamos.
A nova densidade de Lagrangiana, com o campo , e
L = i

N
2g
0

2
+

a
, (4.7)
e ainda e invariante sob a transforma cao quiral discreta, pois sob esta transforma cao,
. (4.8)
Com a introdu cao do campo , as regras de Feynman sao modicadas. Vemos que
o propagador de carrega o fator 1/N, sendo assim mais facil contar as ordens
em 1/N dos diagramas. Na gura 4.2 mostramos a equivalencia entre os diagramas
antigos e os novos, onde a linha tracejada representa o propagador de :
Figura 4.2: Equivalencia entre diagramas antigos e novos
49
No modelo (G-N), o campo auxiliar possui ainda uma outra nalidade. Como
fermions sao espinores, nao podemos den-los como campos classicos para obter
o potencial efetivo. Se o zessemos, o vacuo nao seria invariante rotacional. Com
a introdu cao do campo auxiliar este problema e resolvido, pois podemos den-lo
como campo classico e usa-lo para obter o potencial efetivo.
Tomando agora o limite N , podemos desprezar os diagramas de ordem
maior ou igual a (1/N)
0
. Vemos entao que, nesta ordem, somente diagramas de um
loop contribuem. Na gura 4.3 desenhamos alguns diagramas de ordem N e (1/N)
0
:
Figura 4.3: Diagramas de ordem N e (1/N)
0
O potencial efetivo em ordem N pode ser escrito da forma
V
eff
(
c
) =
N
2g
0

2
c
+ iN

n=1
1
2n
Tr
_
d
2
p
(2)
2
_

2
c
p
2
+ i
_
n
. (4.9)
Escrevendo o somatorio como um logaritmo, temos
V
eff
(
c
)
N
=
1
2g
0

2
c
+ i
_
d
2
p
(2)
2
ln
_
1 +

2
c
p
2
+ i
_
, (4.10)
onde o primeiro termo representa o potencial classico e o segundo termo representa
todas as contribui coes de ordem N, como mostra a gura 4.4:
Figura 4.4: V
eff
(
c
) ate ordem N
50
Percebemos que, ao calcular o potencial efetivo para o campo
c
, teremos um
termo (
2
c
/2g
0
) com dimensao de massa, o que caracteriza a quebra da simetria
quiral e a transmuta cao dimensional, pois na Lagrangiana original da teoria nao
havia escala de energia alguma, o que nao mais ocorre com a introdu cao do campo

c
.
Portanto, vimos que ao fazer a expansao 1/N no limite N , conseguimos
somar uma classe inteira de gracos que, no caso, foi a classe dos gracos de or-
dem N, relevantes neste limite. Porem, se quisermos calcular a teoria em ordens
superiores em 1/N teremos problemas, pois mesmo fazendo teoria de perturba cao
em um parametro 1/N, estaremos sempre trabalhando com um n umero innito de
diagramas. Como veremos a seguir, ao utilizarmos um outro metodo, puramente
perturbativo, chamado de expansao , nao teremos este problema.
4.2 A expansao
A expansao foi proposta como um metodo de somar diagramas de forma
nao perturbativa [25] e ja foi aplicada em muitos modelos, em diversas areas, como
teorias de gauge e materia condensada. Esta expansao tambem ja foi aplicada para
o estudo de quebra de simetria quiral no modelo de Gross-Neveu [26], alem de ter
atingido resultados que estao de acordo com a fenomenologia para a transi cao de fase
neste modelo [27], que por ser um modelo bi-dimensional so possui transi cao de fase
para temperatura crtica T
c
= 0, resultado que foi atingido usando-se a expansao
. Ja a eciencia e a convergencia do metodo foram provadas na ref. [28], onde a
expansao foi aplicada com resultados satisfatorios para o estudo do condensado de
Bose-Einstein.
O metodo consiste em somar e subtrair, em uma densidade de Lagrangiana
qualquer, um termo que contenha um parametro arbitrario com dimensao de
massa, de tal forma que a densidade de Lagrangiana original nao seja modicada, e
reescreve-la como
L

= L + (1 )L
0
, (4.11)
onde L e a densidade de Lagrangiana completa do sistema e L
0
e a parte livre desta.
O parametro esta retringido a 0 1 e notamos que, quando = 1 temos a teo-
ria original e quando = 0 temos a teoria livre, que pode ser resolvida exatamente.
O parametro e usado para fazer teoria de perturba cao convencional em L

, sendo
feito igual a um apos o calculo perturbativo dos diagramas. O parametro , por estar
contido na parte livre e na parte de intera cao da densidade de Lagrangiana, afetara
os termos quadraticos e os termos auto-interagentes do campo e, consequentemente,
51
os propagadores (proporcionais a ) e os vertices (proporcionais a ) da teoria,
modicando as regras de Feynman. Necessitamos, ao nal dos calculos, eliminar
a dependencia em e, para isto, utilizamos o Princpio da Sensibilidade Mnima
(PMS) [29], que consiste em, dada uma quantidade fsica P que dependa de , obter
seu valor em um ponto estacionario , onde P e menos sensvel `as varia coes de ,
satisfazendo a equa cao
P()

[
=
= 0 . (4.12)
Apos este processo de otimiza cao, podemos escrever como uma fun cao dos parametros
originais da teoria, sendo este entao o carater nao perturbativo do metodo.
Veremos agora, como exemplo, como ca a densidade de Lagrangiana e as regras
de Feynman para o caso de uma teoria para um campo escalar ao fazermos a
interpola cao e, depois, veremos como aplicar a expansao nos calculos da a cao
efetiva e do potencial efetivo [30].
Consideramos para os calculos a teoria com intera cao qu artica no campo. A
densidade de Lagrangiana original da teoria e
L =
1
2

m

1
2
m
2


4!

4
, (4.13)
onde m e a massa do campo, os primeiros dois termos formam a parte livre e o
ultimo termo representa a intera cao. Inserindo o parametro , teremos
L =
1
2

m

1
2
m
2

1
2


4!

4
+
1
2

2
=
1
2

m

1
2
M
2


4!

4
+
1
2

2
, (4.14)
onde M
2
= m
2
+
2
e, agora
L
0
=
1
2

m

1
2
M
2

2
,
L
int
=

4!

4
+
1
2

2
. (4.15)
Fazendo a interpola cao:
L

= L + (1 )L
0
=
1
2

m

1
2
M
2


4!

4
+

2

2
. (4.16)
Percebemos que adquirimos uma dependencia em na parte livre e uma dependencia
em na parte de intera cao, fazendo com que as regras de Feynman para o propa-
gador e para o vertice sejam modicadas. Na verdade, teremos uma regra de Feyn-
man adicional, devido ao ultimo termo de (4.16), que representa uma nova intera cao,
de peso . Assim, as novas regras de Feynman sao:
52
i
p
2
M
2
i
i
2
Figura 4.5: Novas regras de Feynman
Vimos entao que a adi cao do parametro modica as regras de Feynman, que
agora dependem deste parametro, que e eliminado ao nal dos calculos, utilizando-se
o PMS.
Iremos agora mostrar como aplicar a expansao aos calculos da a cao efetiva e
do potencial efetivo. Veremos que, em contraste com o que usualmente e feito, nao
podemos negligenciar os diagramas de vacuo, pois estes terao uma dependencia em
, que devera ser considerada na otimiza cao, ao derivarmos o potencial.
Seja
Z[J] =
_
T exp
_
i(S
0
+ S
int
) + i
_
d
4
xJ(x)(x)
_
, (4.17)
onde S
0
e a a cao livre e S
int
e a a cao de intera cao, o gerador funcional de todas as
fun coes de Green. Podemos expressar Z[J] como
Z[J] = exp
_
iS
int
_
1
i

J
__ _
T exp
_
i
_
d
4
x(L
0
+ J(x)(x))
_
, (4.18)
onde L
0
e a parte livre da Lagrangiana. No caso da teoria escalar interpolada, com
L
int
qualquer, a expressao acima e
Z[J] = exp
_
iS
int
_
1
i

J
__ _
T exp
_
i
_
d
4
x
_
1
2

m

1
2
M
2

2
+
+J(x)(x))]
= exp
_
iS
int
_
1
i

J
__ _
T exp
_
i
_
d
4
x
_
1
2
(2 + M
2
)+
J(x)(x))] , (4.19)
onde M
2
= m
2
+
2
. Vemos entao que temos uma integral Gaussiana e, resolvendo
53
para a parte quadratica, temos que
Z[J] = exp
_
iS
int
_
1
i

J
__
exp
_

i
2
_
d
4
x
_
d
4
x

J(x)
F
(x, x

)J(x

)
_

det
1/2
[(2+ M
2
)
4
(x x

)] . (4.20)
Na equa cao acima, o determinante e geralmente cancelado na normaliza cao do ger-
ador funcional. Porem, veremos que no caso da expansao nao podemos cancela-lo
pois, pelo fato de depender de , trara consequencias para o calculo dos diagramas
de Feynman, pois esta relacionado com os diagramas de vacuo. Denindo

Z[J] = exp
_
iS
int
_
1
i

J
__
exp
_

i
2
_
d
4
x
_
d
4
x

J(x)
F
(x, x

)J(x

)
_
, (4.21)
escrevemos o gerador funcional como
Z[J] = det
1/2
[(2+ M
2
)
4
(x x

)]

Z[J] . (4.22)
Lembrando que a a cao efetiva e dada por
[
c
] = W[J]
_
d
4
x
c
(x)J(x) = i ln Z[J]
_
d
4
x
c
(x)J(x) , (4.23)
temos, de (4.22), que
[
c
] = i lndet
1/2
[(2 + M
2
)
4
(x x

)]

Z[J]
_
d
4
x
c
(x)J(x)
=
i
2
ln det[(2 + M
2
)
4
(x x

)] i ln

Z[J]
_
d
4
x
c
(x)J(x) . (4.24)
Denindo o gerador funcional normalizado como
Z
N
[J] =

Z[J]

Z[0]
, (4.25)
escrevemos a a cao efetiva da forma
[
c
] =
i
2
ln det[(2 + M
2
)
4
(x x

)] i ln

Z[0] +
i ln Z
N
[J]
_
d
4
x
c
(x)J(x) , (4.26)
onde os dois primeiros termos fornecem todos os diagramas de vacuo e os dois
ultimos termos, que chamaremos de a cao efetiva normalizada
N
[
c
], fornecem os
diagramas usuais.
Lembrando da deni cao de campo classico (eq. (C.5)),

c
(x) =
W[J]
J(x)
, (4.27)
54
poderamos concluir, pela equa cao (4.26), que a a cao
(0)
, geradora dos diagramas
de vacuo, e calculada em J = 0. Porem, isto nao e verdade, devemos calcula-la para
um valor J
0
da fonte tal que [28]
W[J]
J(x)
[
J=J
0
=


Z[J]
J(x)
[
J=J
0
= 0 . (4.28)
Portanto,
[
c
] =
i
2
ln det[(2+ M
2
)
4
(x x

)] i ln

Z[J
0
] +
N
[
c
] , (4.29)
onde agora o termo i ln

Z[J
0
] representa a soma de todos os diagramas de vacuo.
O primeiro termo desta equa cao pode ser escrito como
i
2
ln det[(2+ M
2
)
4
(x x

)] =
i
2
Tr ln[(2+ M
2
)
4
(x x

)]
=
i
2
_
d
4
xln[(2 + M
2
)
4
(x x

)]
=
i
2
_
d
4
xln
_
(2 + M
2
)
_
+

d
4
p
(2)
4
e
ip(xx

)
_
=
i
2
_
d
4
x
_
+

d
4
p
(2)
4
ln(p
2
+ M
2
) , (4.30)
que e equivalente `a densidade de energia do vacuo em ordem zero na constante de
acoplamento. Logo, a a cao efetiva e
[
c
] =
i
2
_
d
4
x
_
+

d
4
p
(2)
4
ln(p
2
+ M
2
) + i
_
d
4
x
0
+
+

n=1
(i)
n
n!
_
d
4
x
1
...
_
d
4
x
n

n
(x
1
, ..., x
n
)
c
(x
1
)...
c
(x
n
) . (4.31)
O termo i
_
d
4
x
0
corresponde `a contribui cao perturbativa de todos os diagramas
de vacuo.
Agora, podemos chegar `a expressao para o potencial efetivo. Lembrando que
(eq. (C.36))
[
c
] =
_
d
4
xV
eff
(
c
) , (4.32)
vemos facilmente que
V
eff
(
c
) =
i
2
_
+

d
4
p
(2)
4
ln(p
2
+ M
2
) i
0
+

n=1
(i)
n
n!

n
(o, ..., o)
n
c
. (4.33)
55
Para exemplicar os resultados acima, calcularemos o potencial efetivo para a
teoria escalar de N bosons, com intera cao quartica [35], [36], em ordem . A densi-
dade de Lagrangiana original e
L =
1
2

1
2
m
2

1
8
g(
a

a
)
2
, (4.34)
onde a = 1, 2, ..., N. Fazemos agora exatamente o que zemos anteriormente com o
modelo (G-N), redenindo a constante de acoplamento da forma (4.4) e introduzindo
o campo auxiliar , da forma
LL +
N
2g
0
_

g
0
2N

a
_
2
. (4.35)
Resolvendo as equa coes de Euler-Lagrange,
=
g
0
2N

a
, (4.36)
que e uma equa cao de vnculo. A nova densidade de Lagrangiana e
L L +
1
2

a
+
1
2

a
=
1
2

1
2
m
2

a
+
N
2

1
2

a
+
1
2

1
2

a
= L
0
+L
int
, (4.37)
onde
L
0
=
1
2

1
2
m
2

1
2

a
+
N
2

2
,
L
int
=
1
2

a
+
1
2

a
. (4.38)
A densidade de Lagrangiana interpolada e
L

= L + (1 )L
0
=
1
2

1
2
m
2

1
2

a
+
N
2

2
+

a
+

2

a
. (4.39)
Nesta expressao, o termo
1
2

a
e o termo de massa adicional no propagador e
o termo

2

a
representa uma intera cao de peso . Podemos nalmente escrever
a Lagrangiana interpolada como
L =
1
2

1
2
M
2

a
+
N
2

a
+

2

a
, (4.40)
56

i
N
i
p
2
M
2
i
i
2
Figura 4.6: Novas regras de Feynman para a teoria de N bosons
onde M
2
= m
2
+
2
. Notamos que o propagador de carrega o fator 1/N e cada
loop de
a
contem o fator N. As novas regras de Feynman sao mostradas na g.
4.6.
O potencial efetivo em ordem sera
V
eff
(
c
) =
i
2
N
_
d
4
p
(2)
4
ln(p
2
M
2
)
N
2

2
c
+
i
2
N
_
d
4
p
(2)
4

c
(p
2
M
2
)
+

i
2
N
_
d
4
p
(2)
4

2
(p
2
M
2
)
, (4.41)
onde os termos correspondem ao potencial classico mais a corre cao de um loop para
a fun cao e Green de 1 ponto da teoria. A representa cao gr aca desta expressao e
mostrada na g. 4.7.
Figura 4.7: Potencial efetivo em ordem
57
Ate aqui zemos uma expansao perturbativa em para V
eff
. Na gura 4.8
mostramos os diagramas que contribuem em ordem
2
, onde teremos diagramas de
ordem (1/N)
0
.
Figura 4.8: Potencial efetivo em ordem
2
Derivando V
eff
temos:
V
eff

=
i
2
N
_
d
4
p
(2)
4
2
(p
2
M
2
)
+
i
2
N
_
d
4
p
(2)
4
2
c
(p
2
M
2
)
2
+

i
2
N
_
d
4
p
(2)
4
2
(p
2
M
2
)

i
2
N
_
d
4
p
(2)
4
2
3
(p
2
M
2
)
2
= iN
_
d
4
p
(2)
4
(
c

2
)
(p
2
M
2
)
2
. (4.42)
Aplicando o PMS em ordem e fazendo = 1, devemos ter
V
eff

[

= 0 , (4.43)
que, pela equa cao (4.42), implica em

2
=
c
. (4.44)
Por (4.41), vemos que o potencial efetivo avaliado em e
V
eff
(
c
) =
N
2

2
c
+
i
2
N
_
d
4
p
(2)
4
ln(p
2
m
2

c
)
=
N
2

2
c
+
i
2
N
_
d
4
p
(2)
4
ln
_
(p
2
m
2
)
_
1

c
p
2
m
2
__
=
N
2

2
c
+
i
2
N
_
d
4
p
(2)
4
_
ln(p
2
m
2
)+ln
_
1

c
p
2
m
2
__
=
N
2

2
c
+
i
2
N
_
d
4
p
(2)
4
ln(p
2
m
2
) +

i
2
N
_
d
4
p
(2)
4

n=1
1
n

n
c
(p
2
m
2
)
n
, (4.45)
58
Figura 4.9: Potencial efetivo da teoria
4
no limite N
que corresponde ao potencial efetivo da teoria
4
no limite N [36], e tem sua
representa cao graca mostrada na gua 4.9.
Assim, mostramos que temos uma forma de somar innitos diagramas de um loop
usando um calculo perturbativo e, apesar de termos calculado o potencial efetivo
em ordem , o resultado obtido em (4.45) e valido para todas as ordens em , no
limite N. Neste caso, o potencial para uma ordem qualquer k e
V
eff
(
c
) =
i
2
N
_
d
4
p
(2)
4
ln(p
2
M
2
)
N
2

2
c
+

i
2
N
_
d
4
p
(2)
4
k

n=1
1
n
[(
c

2
)]
n
(p
2
M
2
)
n
. (4.46)
Derivando V
eff
temos:
V
eff

= 2iN
_
d
4
p
(2)
4
k

n=2

n
(
c

2
)
n1
(p
2
M
2
)
n
. (4.47)
Aplicando o PMS e fazendo = 1, devemos ter
V
eff

[

= 0 , (4.48)
que, pela equa cao (4.46), implica em

2
=
c
. (4.49)
Substituindo (4.49) em (4.46) o potencial volta a ser da forma (4.45).
Com estes resultados, vimos que atraves da expansao conseguimos somar uma
classe inteira de diagramas (de um loop), utilizando poucos destes, em contraste com
a expansao 1/N. Este aspecto tambem e muito importante quando consideramos a
renormaliza cao perturbativa, pois esta se torna muito mais facil devido ao pequeno
n umero de diagramas do metodo. Desta forma, a expansao mostra-se entao muito
util, na medida em que conseguimos reproduzir resultados nao perturbativos uti-
lizando um metodo perturbativo, que vai alem e demonstra ser muito mais facil do
que a expansao 1/N.
59
Posteriormente mostraremos como aplicar o metodo da expansao para o calculo
do superpotencial efetivo, onde veremos que existem algumas sutilezas nao encon-
tradas em Teoria Quantica de Campos usual, relacionadas ao Teorema de nao
renormalizacao.
60
Captulo 5
Metodos de ressoma cao no super-espaco
Neste captulo, mostraremos um metodo de somar a contribui cao de innitos
diagramas de um loop no super-espa co, que contenham innitas ordens na constante
de acoplamento, para o modelo de Wess-Zumino. Veremos como a manipula cao
das superderivadas covariantes permitira que calculemos as contribui coes de um
loop para o potencial de Kahler. Posteriormente, veremos como podemos aplicar
o metodo da expansao para calcular o superpotencial efetivo, e veremos que esta
aplica cao tera algumas sutilezas no super-espa co.
5.1 Calculo do superpotencial efetivo em um loop
Seguiremos aqui o metodo desenvolvido por Austin Pickering e Peter West [37].
Calcularemos o superpotencial efetivo em um loop para o modelo de Wess-Zumino
sem massa. Para isto, faremos todo o procedimento no super-espa co, utilizando as
tecnicas de supergracos introduzidas no captulo 3. Todos os resultados encontra-
dos aqui foram realizados usando-se um metodo diferente na ref. [39].
Para uma teoria supersimetrica generica com supercampos classicos (anti)quirais
(

), a super-a cao efetiva pode ser escrita como


[,

] =
_
d
8
z
_
K(

, ) + F
1
(

, )D
A
D
A


D

B


D

B

+... +O(D
4
,

D
4
)

, (5.1)
onde o primeiro termo, K(

, ), e o termo que dara origem ao potencial de Kahler,


como visto no captulo 3.
No modelo de Wess-Zumino (sem massa), vimos que a a cao renormalizavel mais
geral e
S[,

] =
_
d
8
z

+
_
d
6
z

3!

3
+
_
d
6
z

3!

3
. (5.2)
61
O potencial efetivo V
eff
e igual `a a cao efetiva com seus momentos externos p
i
iguais
a zero, e e escrito em termos dos supercampos classicos e

. Como ja visto,
temos dois vertices,
3
/3! e

3
/3! e, para o caso nao massivo, temos apenas o
propagador

(1)(2), dado por
i
p
2

4
(
1

2
) =
i
p
2

12
. (5.3)
Fazendo uma continua cao analtica para o espa co euclidiano, isto e, fazendo uma
rota cao de Wick tal que x
E
= (x
4
, x), onde x
4
= ix
0
, teremos
d
4
x = id
4
x
E
, x
2
E
= x
2
0
+[x[
2
(5.4)
e, sendo k
E
= (k
4
,

k), onde k
4
= ik
0
, teremos
d
4
k = id
4
k
E
, k
2
E
= k
2
0
+[

k[
2
. (5.5)
De posse destas rela coes, podemos converter as regras de Feynman para o espa co
euclidiano, onde o propagador

(1)(2) agora ca [7]
1
p
2

4
(
1

2
) =
1
p
2

12
, (5.6)
e os vertices, que antes continham o fator i, agora so contem o fator .
Vamos calcular entao a contribui cao de todos os diagramas de um loop usando
as regras de Feynman acima. Como m = 0 e temos somente um tipo de propagador,
os dois tipos de vertices (quirais e antiquirais) devem aparecer de forma alternada
no loop. Faremos teoria de perturba cao em ,

, calculando diagramas de ordem n
nestas constantes, sendo 2n vertices para cada loop, n de cada tipo, como mostra a
gura abaixo:
p
1
= 0
p
2
= 0
p
3
= 0
p
2n
= 0
p
2n1
= 0
p
4
= 0
k
Figura 5.1: Loop de ordem n em ,

No super-espa co, as regras de Feynman (no espa co de momentos) para este


graco sao:
62
Propagadores:

12
k
2
,

23
k
2
,

34
k
2
, ... ,

(2n1)(2n)
k
2
,

(2n)1
k
2
.
Vertices:

_
d
4

1
,

_
d
4

2
, ... ,
_
d
4

(2n1)
,

_
d
4

(2n)
.
Integral do loop:
_
d
4
k
(2)
4
.
Fatores D,

D:

1
4

D
2
1
,
1
4
D
2
2
, ... ,
1
4

D
2
(2n1)
,
1
4
D
2
(2n)
.
Fator de simetria [35]:
1
2n
(n para rota cao e n para reexao) .
Logo, a contribui cao em ,

para o superpotencial efetivo e
1
eff
[n] = i
_
d
4
kd
4

1
...d
4

2n
2n(2)
4
_

1
(0,
1
)
1
16

D
2
1
D
2
2

12
k
2
_

2
(0,
2
)

23
k
2

3
(0,
3
)
1
16

D
2
3
D
2
4

34
k
2
_

4
(0,
4
)

45
k
2
...
...
_

(2n1)
(0,
(2n1)
)
1
16

D
2
(2n1)
D
2
(2n)

(2n1)(2n)
k
2
_

(2n)
(0,
2n
)

(2n)1
k
2
,
que pode ser escrita como
1
eff
[n] = i
_
d
4
kd
4

1
...d
4

2n
2n(2)
4
(16k
4
)
n
_

1

D
2
1
D
2
2

12

23
_

3

D
2
3
D
2
4

34

45
...
...
_

(2n1)

D
2
(2n1)
D
2
(2n)

(2n1)(2n)

(2n)

(2n)1
. (5.7)
Vemos que a expressao acima contem fatores D e

D agindo nas fun coes delta de
Grassmann, como era esperado. Devemos entao manipular estas derivadas super-
covariantes para que, em acordo com o Teorema 1 (Cap. 3), consigamos reduzir
todas as integrais no super-espa co a uma unica integral em d
4
.
No modelo de Wess-Zumino, como e quiral, nao devemos considerar termos
da forma

D

, pois estes sao iguais a zero quando o momento externo p


i
e zero.
63
Como o termo de Kahler K nao possui dependencia nas derivadas dos campos,
podemos calcula-lo nao permitindo que nenhuma superderivada covariante atue nas
linhas externas e somando os gracos para todo n. Assim, utilizando (B.21), (B.22)
e (B.23) temos:
Para n = 1:
1
eff
[1] = i
_
d
4
kd
4

1
d
4

2
2(1)(2)
4
16k
4

1
(

D
2
1
D
2
2

12
)

21
= i
_
d
4
kd
4

1
d
4

2
2(1)(2)
4
16k
4

1
(16)

21
= i
_
d
4
kd
4

32
4
k
2
_

k
2
_
. (5.8)
Para n = 2:
1
eff
[2] = i
_
d
4
kd
4

1
d
4

2
d
4

3
d
4

4
2(2)(2)
4
(16)
2
k
8

1
(

D
2
1
D
2
2

12
)

23

3
(

D
2
3
D
2
4

34
)

41
= i
_
d
4
kd
4

1
d
4

2
2(2)(2)
4
(16)
2
k
8

1
(

D
2
1
D
2
2

12
)

2
(

D
2
2
D
2
1

21
)

1
= i
_
d
4
kd
4

1
d
4

2
2(2)(2)
4
(16)
2
k
8

12

2
(

D
2
1
D
2
2

D
2
2
D
2
1

21
)

1
= i
_
d
4
kd
4

1
d
4

2
2(2)(2)
4
(16)
2
k
8

12

2
(

D
2
1
(16k
2
)D
2
1

21
)

1
= i
_
d
4
kd
4

1
d
4

2
2(2)(2)
4
(16)k
6

12

2
(

D
2
1
D
2
1

21
)

1
= i
_
d
4
kd
4

1
d
4

2
2(2)(2)
4
(16)k
6

12

2
(16)

1
= i
_
d
4
kd
4

32
4
k
2
_
1
2
_

k
2
_
2
_
, (5.9)
e assim por diante.
Desta forma, somando todas as ordens em ,

, teremos:
K
1
=

n=1
V
eff
[n]
= i
_
d
4
kd
4

32
4
k
2
_

k
2

1
2
_

k
2
_
2
+
1
3
_

k
2
_
3

1
4
_

k
2
_
4
+ ...
_
= i
_
d
4
kd
4

32
4
k
2

n=1
1
n
_

k
2
_
n
. (5.10)
64
Logo:
K
1
= i
_
d
4
kd
4

32
4
k
2
ln
_
1 +

k
2
_
. (5.11)
Portanto, utilizando um metodo puramente no super-espa co, conseguimos somar
gracos (de um loop) que reproduzem uma soma de innitas ordens na constante de
acoplamento, obtendo assim um resultado nao perturbativo. Resultados como esse
sao de extrema importancia do ponto de vista teorico, pois envolvem todas as ordens
na constante de acoplamento, embora para apenas uma classe de diagramas (de um
loop). Todavia, quando desejamos calcular contribui coes de ordens superiores em
(n umero maior de loops), este metodo graco torna-se difcil de calcular, trazendo
assim problemas quando desejamos fazer renormaliza cao perturbativa. Desta forma,
assim como no espa co-tempo usual, necessitamos de um metodo que permita-nos
trabalhar com um n umero pequeno de gracos, obtendo resultados nao perturba-
tivos ate uma certa ordem em teoria de perturba cao. Um metodo que possui estas
caractersticas e a expansao estudada no captulo 4.
Vamos agora analisar como a expansao pode ser aplicada no super-espa co e as
sutilezas que esta aplica cao possui.
5.2 Aplicacao da expansao no super-espaco
Utilizaremos aqui o mesmo procedimento utilizado no captulo 4. Porem, o
metodo possui algumas sutilezas no super-espa co. Como estaremos interessados em
calcular o potencial de Kahler e sabemos que as contribui coes para este sao propor-
cionais a

, devemos introduzir dois parametros com dimensao de massa, e ,


que, apos a aplica cao do PMS, esperamos que sejam proporcionais a e

respecti-
vamente. Os parametros e estarao nos termos para e

, respectivamente, da
Lagrangiana do modelo de Wess-Zumino e, isto feito, construiremos a Lagrangiana
interpolada. Neste caso, como estamos trabalhando no super-espa co, os parametros
e sao introduzidos atraves de integrais nos sub-espa cos quiral e antiquiral, da
seguinte forma:
L L +
_
d
2

2
(
2

2
) +
_
d
2


2
(

2
)
=
_
d
4

+
_
d
2

_
m
2

2
+

2

2
_
+
_
d
2

_
m
2

2
+

2

2
_
+
+
_
d
2

3!

2
_
+
_
d
2

3!

2
_
. (5.12)
65
A densidade de Lagrangiana interpolada e
L

= L + (1 )L
0
=
_
d
4

+
_
d
2

_
M
2

2
+

3!

3


2

2
_
+
+
_
d
2

_

M
2

2
+

3!

2
_
, (5.13)
onde M = m + e

M = m + . Da Lagrangiana acima, podemos escrever a a cao
de uma forma matricial [13]:
S

[,

] =
1
2
_
dz dz

_
(z)

(z)
_
_
M
1
4

D
2

1
4
D
2

M
__

+
(z, z

) 0
0

(z, z

)
_

_
(z

(z

)
_
+
_
d
2

3!

3


2

2
_
+
_
d
2

3!

2
_
, (5.14)
onde a quiralidade de cada termo deve ser levada em conta ao fazermos as inte-
gra coes. Desta a cao podemos ver que, analogamente `a eq. (3.12),
H
(M,

M)
=
_
M
1
4

D
2

1
4
D
2

M
__

+
(z, z

) 0
0

(z, z

)
_
. (5.15)
Temos dois novos vertices e os antigos agora sao intera c oes de peso :
i
_
d
8
z i

_
d
8
z
i
i
Figura 5.2: Novas regras de Feynman
A super-a cao efetiva pode ser escrita como
[,

] = ln
_
sDet
1/2
(G)exp
_
iS
INT
_
1
i

J
,
1
i


J
__
exp
_
i
2
(J,

J)G
_
J

J
___
+

_
d
6
zJ(z)(z)
_
d
6
z

J(z)

(z) . (5.16)
66
Denindo

Z[J,

J] = exp
_
iS
INT
_
1
i

J
,
1
i


J
__
exp
_
i
2
(J,

J)G
_
J

J
__
, (5.17)
temos que
[,

] =
i
2
ln[sDet(G)] i ln

Z[J,

J]
_
d
6
zJ(z)(z)
_
d
6
z

J(z)

(z) . (5.18)
O gerador funcional normalizado e
Z
N
[J,

J] =

Z[J,

J]

Z[0, 0]
(5.19)
e, em termos deste
[,

] =
i
2
ln[sDet(G)] i ln

Z[0, 0] i ln Z
N
[J,

J] +

_
d
6
zJ(z)(z)
_
d
6
z

J(z)

(z) . (5.20)
Como anteriormente (eq.(4.28)), a a cao efetiva nao e calculada para um valor J =

J = 0, e sim para um valor J


0
,

J
0
tal que
W[J,

J]
J(z)
[
J=J
0
=
W[J,

J]


J(z)
[
J=

J
0
=


Z[J,

J]
J(z)
[
J=J
0
=


Z[J,

J]


J(z)
[
J=

J
0
= 0 . (5.21)
Assim, chegamos `a equa cao nal para a super-a cao efetiva,
[,

] =
i
2
ln[sDet(G)] i ln

Z[J
0
,

J
0
] +
N
[,

] , (5.22)
onde os dois primeiros termos representam os diagramas de v acuo e
N
[,

] repre-
senta os diagramas usuais. Desta forma, vemos que ate aqui o procedimento usado
para a aplica cao da expansao no super-espa co e completamente analogo ao usado
em Teoria Quantica de Campos usual.
Utilizaremos a expansao para calcular o superpotencial efetivo no modelo de
Wess-Zumino nao massivo. Ao aplicarmos esta expansao para o calculo do potencial
efetivo no super-espa co, especicamente no modelo de Wess-Zumino, esperamos que
as solu coes para os parametros e sejam proporcionais a e

, respectivamente,
pois, devido `a estrutura da super-a cao efetiva, que pelo Teorema de nao renor-
malizacao possui somente integrais em d
4
, apenas termos proporcionais a

dao
contribui cao nao nula.
67
Estamos interessados em calcular a contribui cao de todos os diagramas de um
loop para o potencial de Kahler. Como vimos no captulo 4, para qualquer ordem em
, basta considerar os diagramas de um loop e, apos a otimiza cao, reproduzimos a
soma em todas as ordens na constante de acoplamento. Sendo assim, consideraremos
apenas os diagramas de um loop para o calculo do potencial de Kahler. Os diagramas
ate ordem
2
em um loop sao

Figura 5.3: Diagramas de um loop ate ordem


2
Todos os diagramas de ordem
1
sao nulos, devido ao fato de que todos sao propor-
cionais a
4
( ) =
4
(0) = 0.
Com a introdu cao dos parametros e , para o modelo de Wess-Zumino nao
massivo teremos M ,

M e (p
2
+ m
2
) (p
2
+ ), que implica que o
diagrama de vacuo acima nao e nulo pois, como esperamos que os parametros e
sejam fun coes de e

, a integral em d
4
tera como integrando supercampos, logo
nao sera automaticamente nula. A expressao para a soma dos gracos acima e
1
eff
=
i
2
ln sDet
_
H
(, )

i
2

_
d
4
k
(2)
4
_
d
4

(0, )
(k
2
+ )
2
+
i
2

_
d
4
k
(2)
4
_
d
4

(0, )
(k
2
+ )
2
+ i
2
_
d
4
k
(2)
4
_
d
4


(k
2
+ )
2
+
+i
2

_
d
4
k
(2)
4
_
d
4

(0, )(0, )
(k
2
+ )
2
, (5.23)
onde H
(, )
e denido em (5.15).
Todavia, ao aplicarmos o PMS no super-espa co, percebemos que o metodo nao
fornece solu cao para ordens menores do que
2
. Desta forma, consideraremos apenas
os gracos em ordem
2
. Como temos dois parametros, devemos derivar o potencial
efetivo com rela cao a e e igualar as duas expressoes resultantes a zero, obtendo
uma solu cao para cada equa cao. Derivando:
1
eff

=

(k
2
+ )
3
[2 +2

2 2

] +
1
(k
2
+ )
2
[

+ ] , (5.24)
1
eff

=

(k
2
+ )
3
[2 +2

2 2

] +
1
(k
2
+ )
2
[+] . (5.25)
68
Fazendo = 1, encontramos as duas solu coes, para e :
1
eff

[
=
= 0 =

=

, (5.26)
1
eff

[
=


= 0 = = . (5.27)
Vemos que as solu coes encontradas estao de acordo com o esperado. Substituindo
estas solu coes em (5.23) temos
1
eff
=
i
2
lnsDet
_
H
(, )

[
=


=
i
2

_
d
4
k
(2)
4
_
d
4

(k
2
+ )
2
+
i
2

_
d
4
k
(2)
4
_
d
4

(k
2
+ )
2
+ i
2
_
d
4
k
(2)
4
_
d
4

(k
2
+ )
2
+
+i
2

_
d
4
k
(2)
4
_
d
4

(k
2
+ )
2
=
i
2
ln sDet
_
H
(, )

[
=


=
=
i
2
sTr ln
_
H
(, )

[
=


=
. (5.28)
Vamos agora calcular sTr ln
_
H
(, )

[
=


=
. Dado um operador A escrito na forma
A(z, z

) =
_
A
++
A
+
A
+
A

__

+
(z, z

) 0
0

(z, z

)
_
, (5.29)
seu supertra co e denido por [6]
sTr(A) =
_
d
6
z trA
++
(z, z) +
_
d
6
z trA

(z, z) sTrA
++
+ sTrA

. (5.30)
Se zermos a mudan ca
i ,

i

(5.31)
na a cao (5.14) (ignorando os termos de intera cao), percebemos que o unico efeito
que teremos e a troca do sinal no termo de massa. Desta forma, temos que
sDet
_
H
(, )

= sDet
_
H
( ,)

, (5.32)
logo,
sTr ln
_
H
(, )

=
1
2
sTr ln
_
H
(, )
H
( ,)

=
1
2
sTr ln
_
2 0
0 2
_
. (5.33)
69
Introduzindo os superpropagadores quiral G
(, )
++
e antiquiral G
(, )

, que sao solu coes


das equa coes
(2 )G
(, )
++
(z, z

) =
+
(z, z

) ,
(2 )G
(, )

(z, z

) =

(z, z

) , (5.34)
temos, de (5.30):
sTr ln
_
H
(, )

=
1
2
sTr ln G
(, )
++

1
2
sTr ln G
(, )

. (5.35)
Assim:

i
2
sTr ln
_
H
(, )

=
i
4
sTr ln G
(, )
++
+
i
4
sTr ln G
(, )

=
i
4
_
d
6
z ln
_

1
2
_

+
(z, z

) +
+
i
4
_
d
6
z ln
_

1
2
_

(z, z

)
=
i
16
_
d
8
z
D
2
2
ln
_

1
2
__

1
4

D
2

8
(z z

)
_
+

i
16
_
d
8
z

D
2
2
ln
_

1
2
__

1
4
D
2

8
(z z

)
_
. (5.36)
Lembrando que D
2

D
2

4
(

)[
=
= 16, temos

i
2
sTr ln
_
H
(, )

=
i
2
_
d
8
z
1
2
ln
_

1
2
_

4
(x x

)
=
i
2
_
d
4
kd
4

(2)
4
k
2
ln
_
1
k
2
+
_
= i
_
d
4
kd
4

32
4
k
2
ln
_
1
k
2
_
1 +

k
2
_
_
= i
_
d
4
kd
4

32
4
k
2
ln
_
k
2
_
1 +

k
2
__
= i
_
d
4
kd
4

32
4
k
2
ln
_
k
2
_
+
+i
_
d
4
kd
4

32
4
k
2
ln
_
1 +

k
2
_
= i
_
d
4
kd
4

32
4
k
2
ln
_
1 +

k
2
_
. (5.37)
Logo, para = = e =

=

:
1
eff
= K
1
= i
_
d
4
kd
4

32
4
k
2
ln
_
1 +

k
2
_
, (5.38)
70
que representa a soma de todos os diagramas de um loop e e exatamente igual ao
resultado obtido na se cao 5.1, onde utilizamos um metodo puramente graco.
A grande vantagem de usarmos o metodo da expansao e que o n umero de
gracos com os quais trabalhamos e bem menor, o que facilita a renormaliza cao nao
perturbativa. O proximo passo seria considerar diagramas de dois loops de ordem

2
, como o diagrama
Figura 5.4: Diagrama de dois loops de ordem
2
por exemplo, depois gracos de ordens maiores em e assim por diante, corrigindo
cada vez mais o resultado obtido. Estas corre coes tem grande importancia quando
estamos interessados em obter resultados cada vez mais apurados de quebra de
Supersimetria, corre coes de massa, etc. Porem, percebemos que o metodo aparente-
mente possui um problema quando aplicado no super-espa co, que e o de nao fornecer
solu coes para ordens menores do que
2
. Em Teoria Quantica de Campos usual o
metodo funciona ordem a ordem, como vimos no captulo 4, o que tambem es-
peraramos que ocorresse no super-espa co.
71
Captulo 6
Conclusoes e perspectivas
Na primeira parte desta disserta cao, introduzimos as caractersticas basicas que
uma teoria supersimetrica deve possuir, como os campos necessarios, suas trans-
forma coes de Supersimetria, seus geradores e sua algebra. Vimos como introduzir
campos auxiliares bosonicos para que tenhamos o mesmo n umero de graus de liber-
dade bosonicos e fermionicos, fazendo com que a a cao seja manifestamente super-
simetrica. Feito isto, mostramos como condensar estas ideias utilizando um for-
malismo elegante e compacto, que e o formalismo de supercampos, denidos no
super-espa co. Tendo a deni cao de supercampos e suas propriedades em maos, in-
troduzimos um modelo que descreve bosons e fermions no super-espa co, o modelo de
Wess-Zumino. Quantizamos este modelo da maneira usual, encontrando o gerador
superfuncional das fun coes de Green, sendo este entao normalizado naturalmente
(nao existe contribui cao dos diagramas de vacuo) e, atraves deste gerador achamos
as fun coes de Green. A partir destas fun coes, mostramos que podemos trabalhar
com dois tipos de regras de Feynman, chamadas de regras de Feynman padrao
e regras de Feynman melhoradas. Vimos entao que as regras de Feynman me-
lhoradas permitem um calculo muito mais facil das contribui coes de supergracos
para a super-a cao efetiva e para o superpotencial efetivo. O estudo da super-a cao
efetiva e do superpotencial efetivo e de extrema importancia e vimos que, atraves
de um teorema chamado de Teorema de nao renormaliza cao, as contribui coes para
estes objetos estao restritas a uma unica integral nas variaveis de Grassmann do
super-espa co, o que implica no fato de muitos diagramas usuais em Teoria Quantica
de Campos terem uma contribui cao nula no super-espa co (como os diagramas de
vacuo e o tadpole por exemplo). Demos uma ideia tambem de como os calculos
com supercampos podem ser muito mais compactos e simples em compara cao com
os calculos com campos componentes, devido a um menor n umero de regras de
Feynman e gracos necessarios para o calculo de um determinado processo.
Na segunda parte da disserta cao, usamos algumas formas de somar as con-
72
tribui coes de uma determinada classe de diagramas, atingindo um resultado nao
perturbativo. Fizemos isto atraves do estudo da expansao 1/N e da expansao .
Em ambos os casos, mostramos que e possvel obter resultados nao perturbativos
somando-se a contribui cao de uma certa classe de diagramas, que representa uma
soma de innitas ordens na constante de acoplamento da teoria. Comparando-se
os dois metodos, vimos que a expansao mostra-se mais eciente, pois devemos
calcular um n umero menor de gracos para obter a soma de todos os diagramas de
um loop, o que e muito importante quando estamos interessados na renormaliza cao
perturbativa. Alem disto, a eciencia e a convergencia do metodo ([26]-[28]) sugerem
uma grande potencialidade de seu uso para corrigir a soma de um loop.
Por m, aplicamos a ideia de ressoma cao ao super-espa co, para o modelo de Wess-
Zumino nao massivo. Primeiramente, usamos uma forma totalmente diagramatica
para calcular as contribui coes de todos os diagramas de um loop, em innitas or-
dens na constante de acoplamento, para o potencial de Kahler. Para isto utilizamos
todas as ferramentas e propriedades denidas na primeira parte da disserta cao,
como as regras de Feynman melhoradas e o Teorema de nao renormaliza cao. De-
pois, mostramos como a expansao pode ser aplicada ao super-espa co, usando este
metodo para reproduzir o mesmo resultado para o potencial de Kahler. Vimos que o
metodo possui algumas sutilezas no super-espa co, devido aos tipos de contribui coes
possveis para o superpotencial efetivo. Mostramos tambem que, assim como na
aplica cao do metodo em Teoria Quantica de Campos usual, nao podemos desprezar
os diagramas de vacuo na expansao , pois estes dependerao dos parametros intro-
duzidos na a cao, que por sua vez serao fun coes dos supercampos, fazendo com que
tais diagramas nao se anulem automaticamente. De fato, conseguimos reproduzir
a soma de todas as contribui coes de um loop, em innitas ordens na constante de
acoplamento, o que demonstra que o metodo tambem possui uma grande potenciali-
dade de aplica cao no super-espa co. Porem, em contraste com a Teoria Quantica de
Campos usual, o metodo parece nao fornecer solu cao para ordens inferiores a
2
,
sendo este um problema que deve ainda ser estudado com mais aten cao.
Como perspectivas futuras, calculos de diagramas com um n umero maior de loops
e de ordens superiores em sao a continuidade natural deste trabalho, assim como
a aplica cao do metodo em teorias supersimetricas mais realistas (com a introdu cao
de campos de gauge, por exemplo), para o estudo de aspectos importantes, como
corre coes de massa, quebra de Supersimetria, etc.
73
Apendice A
Notacao
Apresentamos a seguir as nota coes e conven coes utilizadas no texto, com res
peito `as matrizes de Pauli e `a algebra espinorial. Tambem apresentamos algumas
propriedades e rela coes desta algebra.
A nota cao utilizada e a mesma das refs. [5] e [6].
A.1

Algebra espinorial
Primeiramente, devemos salientar que estamos trabalhando sempre em 3 + 1
dimensoes, com a metrica de Minkowski dada por

mn
=
_
_
_
_
_
1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 1
_
_
_
_
_
. (A.1)
Denotamos ndices de SL(2, C) por letras gregas, tal que as componentes de uma
matriz N SL(2, C) sao N

, , = 1, 2.
A conexao entre SL(2, C) e o grupo de Lorentz e estabelecida atraves das ma-
trizes de Pauli que, com m = 0, 1, 2, 3, tem a forma

:
0
=
_
1 0
0 1
_
;
1
=
_
0 1
1 0
_
;

2
=
_
0 i
i 0
_
;
3
=
_
1 0
0 1
_
, (A.2)
que por sua vez formam uma base para as matrizes complexas 2 2:
74
P = P
m

m
=
_
P
0
+ P
3
P
1
iP
2
P
1
+ iP
2
P
0
P
3
_
. (A.3)
Podemos escrever as matrizes de Dirac
m
em termos das matrizes de Pauli,

m
=
_
0
m

m
0
_
, (A.4)
e denir

5
= i
0

3
, (A.5)
tal que (
5
)
2
= 1 e
5
,
m
= 0.
Seja N SL(2, C) uma matriz de determinante um. Para qualquer matriz
hermitiana P, podemos sempre obter uma outra atraves da transforma cao
P

= NPN

. (A.6)
Tanto P quanto P

possuem expansao em ,

m
P

m
= N
m
P
m
N

(A.7)
e, como detN =1, os coecientes P
m
e P

m
sao conectados por uma transforma cao
de Lorentz:
det[
m
P

m
] = det[
m
P
m
] = P
2
0
[

[
2
= P

m
P
m
= P
2
0
[

P[
2
= P
m
P
m
. (A.8)
A matriz N, sua complexa conjugada N

, sua transposta inversa (N


T
)
1
e sua
conjugada hermitiana inversa (N

)
1
, todas representam SL(2, C). Estas matrizes
representam a a cao do grupo de Lorentz em espinores de Weyl de duas componentes.
As representa coes de SL(2, C) e suas transforma coes sob N sao

= N

= (N
1
)


= (N

, (A.9)


= ((N

)
1
)

.
As duas primeiras representa coes sao equivalentes, e um objeto de duas componentes
que se transforma de acordo com estas representa coes e chamado de espinor de Weyl
de mao esquerda. O mesmo ocorre para as duas ultimas representa coes, isto e, estas
tambem sao equivalentes, e um objeto de duas componentes que se transforma de
acordo com estas representa coes e chamado de espinor de Weyl de mao direita.
75
Podemos levantar e baixar os ndices destes espinores, utilizando os tensores
antissimetricos invariantes sob o grupo de Lorentz

, denidos por

=
_
0 1
1 0
_
,

=
_
0 1
1 0
_
, (A.10)


=


, (A.11)
da seguinte maneira:

, (A.12)

. (A.13)
Usamos tambem a seguinte nota cao de soma para os espinores (assumindo que
os espinores anticomutam):
=

= ,


. (A.14)
A deni cao de

e escolhida de tal forma que


()

= (


, (A.15)
onde notamos que a conjuga cao inverte a ordem dos espinores.
Dados dois espinores de Dirac,

D1
=
_

1


1
_
,
D2
=
_

2


2
_
, (A.16)
as rela coes entre estes e os espinores de Weyl sao

D1

D2
=
1

2
+

2
,

D1

D2
=
1

2
,

D1

D2
=
1

1
,

D1

D2
=
1

1
. (A.17)
76
Para espinores de Majorana,

M1
=
_

1


1
_
,
M2
=
_

2


2
_
, (A.18)
as rela coes entre estes e os espinores de Weyl sao analogas a (A.17).
Assim como zemos para os espinores, tambem podemos levantar e baixar os
ndices das matrizes de Pauli, com a introdu cao das matrizes
m
,

m
=

, (A.19)

m

=

, (A.20)
onde
0
=
0
e
i
=
i
, com i = 1, 2, 3.
Denotamos contra coes envolvendo espinores e as matrizes de Pauli da seguinte
forma:

= (
m
)

=
m

, (A.21)

= (


m
)

=


m
. (A.22)
Os geradores do grupo de Lorentz na representa cao espinorial sao dados por

nm

=
1
4
_

n


m

m


n
_
, (A.23)

nm

=
1
4
_

n

_
, (A.24)
de tal forma que se M
mn
sao os geradores innitesimais de SO(3, 1) (M
mn
=
M
nm
), podemos escrever
M

= M
mn
(
mn
)

,
M

= M
mn
(
mn
)

. (A.25)
A.2 Propriedades
Listamos agora algumas propriedades uteis da algebra espinorial apresentada
em (A.1), onde e

sao variaveis de Grassmann de duas componentes e (

), (

)
e (

) sao espinores de Weyl:

=
1
2

=
1
2

=
1
2

, (A.26)

=
1
2

.
77
()() =
1
2
()() ,
(

)(


) =
1
2
(


)(

) . (A.27)

=
1
2

mn
. (A.28)

m

=


m
, (A.29)
(
m

)

=
m

, (A.30)

m

n
=
n

m
, (A.31)
(
m

n
)

=


n

. (A.32)
(
m

(
n

) =
1
2

mn

) i(
mn
)

) . (A.33)
()(


) =
1
2
(
m

)(
m

) ,
(


)() =
1
2
(
m

)(
m

) = ()(

) . (A.34)
()

=
1
2
(
m

)(
m
)

. (A.35)
Estas identidades sao chamadas de identidades de Fierz.
Para as matrizes de Pauli:
Tr[
m

n
] = 2
mn
. (A.36)

m
= 2


. (A.37)
(
m

n
+
n

m
)

= 2
mn

,
(
m

n
+
n

m
)

= 2
mn

. (A.38)

mn

= 0 . (A.39)
78

mn

=
mn

. (A.40)

mnpq

pq
= 2i
mn
,

mnpq

pq
= 2i
mn
. (A.41)

= 2
_
(
nm
)

+ (
nm
)

+
m

=
nm

+ 4(
ln
)

(
lm
)

. (A.42)
Tr[
mn

kl
] =
1
2
(
mk

nl

ml

nk
)
i
2

mnkl
. (A.43)

m

n

p
+
p

n

m
= 2(
mp

np

mn

p
) ,

m

n

p
+
p

n

m
= 2(
mp

n

np

m

mn

p
) . (A.44)

m

n

p

n

m
= 2i
mnpq

q
,

m

n

p

p

n

m
= 2i
mnpq

q
. (A.45)
As derivadas com rela cao `as variaveis de Grassmann sao denotadas por

, (A.46)


, (A.47)
e tem as seguintes propriedades:


. (A.48)

= 4 ,

= 4 . (A.49)
79
Apendice B
Propriedades de R
4/4
B.1 Integracao e derivacao
Uma integral indenida sobre uma variavel de Grassmann e denida por
_
d = 0 ;
_
d = 1 , (B.1)
ou, generalizando:
_
d

;
_
d

. (B.2)
Dada uma fun cao polinomial de ,
f() = a + b ,
temos, usando (B.1), que
_
f()d =
_
(a + b)d = a
_
d + b
_
d = b ,
_
f()d =
_
(a + b)d = a
_
d + b
_
d = a . (B.3)
Introduzimos as seguintes medidas escalares para integra cao de variaveis de
Grassmann,
d
2
=
1
4
d

=
1
4
d

,
d
2

=
1
4
d

=
1
4
d


, (B.4)
d
4
= d
2
d
2

=
1
16
d


,
que satisfazem
80
_
d
2

2
=
_
d
2

2
=
_
d
4

4
= 1 , (B.5)
onde
4

2

2
.
Como

da mesma forma que


_
d

, conclumos que integra cao


e deriva cao no espa co de Grassmann sao equivalentes, ou seja,
_
d
2
=
1
4

,
_
d
2

=
1
4


, (B.6)
_
d
4
=
1
16


.
Obviamente, derivadas com respeito `as variaveis de Grassmann anticomutam.
Vamos provar o seguinte:
Proposicao: Se f e quiral (

D

f = 0), entao
_
d
4
x
_
d
2
f e supersimetrica.
Prova: Para provar esta proposi cao, basta aplicar a transforma cao de Super-
simetria
Q
na integral:

Q
_
d
4
x
_
d
2
f =
_
d
4
x
_
d
2
(
Q
f)
=
_
d
4
x
_
d
2
[(Q+


Q)f]
=
_
d
4
x
_
d
2

i
m

m
_
+


i
m

m
_
f .
Como

D

=


+ i
m


=

D

i
m

m
, (B.7)
temos que

Q
_
d
4
x
_
d
2
f =
_
d
4
x
_
d
2

i
m

m
_
+

D

2i
m

m
_
f
=
1
4
_
d
4
x(

)(

f + termos de superfcie)
= 0 . (B.8)
Logo,
_
d
4
x
_
d
2
f e supersimetrica.
Podemos tambem denir superdeterminantes e supertra cos. Uma supermatriz e
denida como uma matriz M=M
P
Q
da forma
M =
_
A B
C D
_
, (B.9)
81
determinando uma forma quadratica z
P
M
P
Q
z
Q
, onde z e z

sao coordenadas no
super-espa co e A, B, C e D sao blocos de matrizes. O superdeterminante desta
matriz e introduzido como
sDet(M) =
_
d
8
z
1
d
8
z
2
e
z
1
Mz
2
, (B.10)
ou
sDet(M) = det(A)det
1
(D CA
1
B). (B.11)
O supertra co desta matriz e
sTr(M) = Tr(A) Tr(D) (B.12)
e, como usual,
sDet(M) = exp(sTr ln M) . (B.13)
B.2 A funcao de Grassmann
Denimos a fun cao em R
4/4
atraves da integral
_
f()()d = f(0) . (B.14)
Desta igualdade e de (B.3) tiramos que
() = (B.15)
e, consequentemente,
()() = 0 . (B.16)
Generalizando para variaveis de Grassmann de duas dimens oes (espinores), temos
que

8
(z) =
4
(x)
2
()
2
(

) ,

2
() =
2
, (B.17)

2
(

) =

2
,
com as propriedades
82
_
d
8

8
(z z

)v(z

) = v(z) ,

8
(z z

)v(z

) =
8
(z z

)v(z) , (B.18)

8
(z) =
8
(z) , (
8
(z))
2
= 0 ,
8
(0) = 0 ,
onde v(z) = v(x, ,

) e um supercampo arbitrario. Da mesma forma, no subespa co
das variaveis e

apenas,
_
d
4

4
(

)f(

) = f() , (B.19)
com a condi cao
_
d
4

4
(

) = 1 . (B.20)
Denotamos
4
(
1

2
) por
12
. Algumas identidades muito uteis sao
D
2

D
2
D
2
= 16p
2
D
2
,

D
2
D
2

D
2
= 16p
2

D
2
, (B.21)

12
D
2
1

D
2
2

12
= 16
12
(B.22)
e, similarmente,

12

12
=
12
D

12
=
12
D
2

12
=
12

D

12
=
12

D
2

12
= 0 . (B.23)
Seja F(z) = F(x, ,

) um supercampo escalar arbitrario. Temos que
F
J
(z

)
F
I
(z)
=


F
J
(z


F
I
(z)
=
J
I

8
(z z

) ,
F
J
(z


F
I
(z)
=


F
J
(z

)
F
I
(z)
= 0 . (B.24)
No subespa co quiral (de e

), estas rela coes tomam a forma
(z

)
(z)
=
1
4

D
2

8
(z z

)
+
(z, z

) ,

(z

(z)
=
1
4
D
2

8
(z z

(z, z

) , (B.25)
(z

(z)
=

(z

)
(z)
= 0 .
83
Aqui,
+
(z, z

) e chamado de fun cao delta quiral e

(z, z

) e chamado de fun cao


delta antiquiral. Suas propriedades basicas sao

+
(z, z

) = 0 , (B.26)

+
(z, z

) =
+
(z

, z) , (B.27)
_
d
6
z

+
(z, z

)(z

) = (z) , (B.28)
(
+
(z, z

))
2
= 0 , (B.29)

+
(z, z) = 0 , (B.30)
e basta conjuga-las para obter rela coes completamente analogas para

(z, z

).
As equa coes (B.16) e (B.17) mostram que nao ha uma maneira unica de se
calcular derivadas superfuncionais, em contraste com as derivadas funcionais espa co-
temporais, que possuem uma unica forma,

j
(x

i
(x)
=
j
i

4
(x x

) . (B.31)
84
Apendice C
A cao efetiva e potencial efetivo
C.1 Acao efetiva
A a cao efetiva e um objeto central em teoria quantica de campos. Seu estudo
esta relacionado com problemas de estabilidade do vacuo, fun coes de Green, quebra
espontanea de simetria, anomalias e muitos outros problemas.
Faremos aqui um estudo da a cao efetiva escrita como uma expansao em loops
em teoria quantica de campos usual.
Sabemos que o gerador funcional das fun coes de Green Z[J] esta associado com
o gerador funcional das fun coes de Green conectadas W[J] da seguinte forma:
Z[J(x)] = e
iW[J(x)]
. (C.1)
Podemos expandir W[J] funcionalmente, como uma serie de potencias em J(x),
iW[J(x)] =

n=1
(i
1
)
n
n!
_
d
4
x
1
...
_
d
4
x
n
G
(n)
(x
1
, ..., x
n
)J(x
1
)...J(x
n
) (C.2)
onde
i
n
G
(n)
(x
1
, ..., x
n
) = i

n
W[J(x)]
J(x
1
)...J(x
n
)
[
J(x)=0
(C.3)
sao as fun coes de Green conectadas de n pontos. G
(n)
(x
i
, x
j
) e chamado de propa-
gador full e esta relacionado com o propagador de Feynman G da seguinte forma:
G
(n)
(x
i
, x
j
) = G(x
i
, x
j
) + O() . (C.4)
Vemos que o propagador full coincide com o propagador de Feynman no limite
0. Sendo assim, G e usualmente chamado de propagador em nvel de arvore
(sem corre coes provenientes de loops).
Vamos agora introduzir a quantidade
c
(x), que chamaremos de campo classico,
e den-la por:
85

c
(x) =
W[J(x)]
J(x)
. (C.5)
Vemos entao que
c
(x) e um funcional de J(x). Assim, da equa cao (C.1) e da
deni cao acima, temos que

c
(x) =

J(x)
i ln Z[J(x)]
= i
1
Z[J(x)]
Z[J(x)]
J(x)
.
Por outro lado, sendo 0[T[A][0) o valor esperado ordenado temporalmente de um
operador qualquer A, podemos escrever
(i
1
)
n
0[T( (x
1
)... (x
n
)[0) =

n
Z[J(x)]
J(x
1
)...J(x
n
)
[
J(x)=0
, (C.6)
logo
Z[J(x)]
J(x)
= i0[ (x)[0)
J
, (C.7)
onde 0[ (x)[0)
J
e o valor esperado no vacuo do operador de campo na presen ca
de uma fonte J. E, usando tambem que Z[J(x)] = 0[0)
J
(amplitude de transi cao
vacuo-vacuo na presen ca de fonte), chegamos a

c
(x) =
0[ (x)[0)
J
0[0)
J
. (C.8)
Na ausencia de fonte (J(x) = 0),
c
(x) e apenas o valor esperado no vacuo do
operador de campo, e esta relacionado com a quebra de simetria.
A a cao efetiva [
c
] e denida atraves da transformada de Legendre funcional
[
c
(x)] = W[J(x)]
_
d
4
xJ(x)
c
(x) , (C.9)
que e completamente analoga `a equa cao termodinamica E = F +TS, que expressa
a energia E tomada como uma fun cao da entropia S em termos da energia livre F
tomada como uma fun cao da temperatura T.
Derivando (C.9) funcionalmente com respeito a J(x) e usando (C.5), temos que
[
c
]
J(x

)
=
W[J]
J(x

)


J(x

)
__
d
4
xJ(x)
c
(x)
_
=
c
(x

)
_
d
4
x
4
(x x

)
c
(x)
86
=
c
(x

)
c
(x

)
= 0 . (C.10)
Assim, vemos que [
c
] depende apenas de
c
.
Da mesma forma com que
c
pode ser obtido como uma derivada funcional de
W[J] em (C.5), a fonte J pode ser obtida como uma derivada funcional de [
c
]:
J(x) =
[
c
]

c
(x)
. (C.11)
Como exemplo, vamos considerar a teoria para o campo escalar livre. Nesta, a
densidade de Lagrangiana e dada por:
L =
1
2

m

1
2
m
2

2
. (C.12)
Para esta teoria livre:
W[J] =
1
2
_
d
4
x
_
d
4
x

J(x)(x x

)J(x

) , (C.13)
onde (x x

) e o propagador de Feynman para a teoria escalar, que neste caso e


proporcional `a fun cao de dois pontos (a menos de um fator i), que para esta teoria
e a unica diferente de zero.
Derivando funcionalmente (C.13):

c
(x) =
W[J]
J(x)
=

J(x)
_

1
2
_
d
4
x

_
d
4
x

J(x

)(x

)J(x

)
_
=
1
2
_
d
4
x

_
d
4
x

4
(x x

)(x

)J(x

) + J(x

)(x

)
4
(x x

=
1
2
__
d
4
x

(x x

)J(x

) +
_
d
4
x

J(x

)(x

x)
_
=
1
2
2
_
d
4
x

(x x

)J(x

) .
Portanto,

c
(x) =
_
d
4
x

(x x

)J(x

) (C.14)
e, como (x x

) e a fun cao de Green do operador (


m

m
+ m
2
), isto e,
(
m

m
+ m
2
)(x x

) =
4
(x x

) , (C.15)
87
ao aplicarmos este operador em ambos os lados de (C.14), temos que
(
m

m
+ m
2
)
c
(x) = J(x) , (C.16)
que e precisamente a equa cao de movimento de um campo escalar classico com a
presen ca de uma fonte J(x), o que nos mostra que realmente e apropriado chamar

c
(x) de campo classico.
Podemos agora calcular explicitamente a a cao efetiva para o campo escalar livre,
usando (C.13), (C.14) e (C.16), da seguinte forma:
[
c
] = W[J]
_
d
4
xJ(x)
c
(x)
= W[J] =
1
2
_
d
4
x
_
d
4
x

J(x)(x x

)J(x

)
_
d
4
x
c
(x)(2 + m
2
)
c
(x)
=
1
2
_
d
4
x
c
(x)(2 + m
2
)
c
(x)
_
d
4
x
c
(x)(2 + m
2
)
c
(x)
=
1
2
_
d
4
x
c
(x)(2+ m
2
)
c
(x) .
Integrando por partes,
[
c
] =
1
2
_
d
4
x(
m

c
m
2

2
c
) . (C.17)
Vemos entao que para o caso do campo escalar livre a a cao efetiva e a propria
a cao classica para o campo, porem so pudemos chegar a este resultado pelo fato da
teoria considerada ser uma teoria livre, ou seja, para uma teoria com intera cao nao
poderemos chegar a um resultado exato para a a cao efetiva, assim como tambem
nao o poderemos em rela cao `as demais quantidades (Z[J], W[J],
c
(x),...), tendo
entao que levar em considera cao corre coes quanticas. Para tratar com este problema,
fazemos uma expansao funcional que, usando = 1, tem a seguinte forma:
[
c
] =

n=1
i
n
n!
_
d
4
x
1
...
_
d
4
x
n

(n)
(x
1
, ..., x
n
)
c
(x
1
)...
c
(x
n
) , (C.18)
onde

(n)
(x
1
, ..., x
n
) = i
n

n
[
c
]

c
(x
1
)...
c
(x
n
)
[
c(x)=0
. (C.19)
Os coecientes
(n)
nesta expansao sao as fun coes de Green irredutveis de uma
partcula (1PI), ou fun coes de vertice, que tem como caracterstica possuir linhas
externas amputadas e, no caso de teorias com intera cao, os gracos de Feynman
88
envolvidos em seu calculo sao todos conectados e nao podem ser desconectados
eliminando-se uma unica linha interna. Desta forma, [
c
] e chamado de gerador
funcional das fun coes (1PI).
Para a teoria com campo escalar livre, vemos de (C.17) que a unica fun cao de
Green (1PI) nao nula e

(2)
(x

, x) = (
x

m
x
+ m
2
)
4
(x

x) . (C.20)
Podemos tambem fazer a transformada de Fourier para o espa co de momentos
das fun coes de Green OPI, obtendo

(n)
(p
1
, ..., p
n
)(2)
4

4
(p
1
+ ... + p
n
)=
_
d
4
x
1
...
_
d
4
x
n
exp [i(p
1
x
1
+ ... + p
n
x
n
)]

(n)
(x
1
, ..., x
n
) . (C.21)
Desta forma,

(2)
(p, p) = (p
2
m
2
) . (C.22)
Vamos agora expandir a a cao efetiva como uma serie de loops, que representarao
as corre coes quanticas `a a cao classica.
Lembrando que o gerador funcional das fun coes de Green Z[J] pode ser escrito
da forma
Z[J] = N
_
Texp
_
i

_
S[] +
_
d
4
xJ(x)(x)
__
, (C.23)
onde N e um fator de normaliza cao e S[] e a a cao para o campo . Usando(C.23),
(C.1), (C.9) e (C.11), chegamos `a representa cao integral de [
c
],
e
(i/)[c]
= N
_
Texp
_
i

_
S[]
_
d
4
x
1
[
c
(x)]((x)
c
(x))
__
, (C.24)
onde usamos a deni cao

n
[
c
] =

n
[]
(x
1
)...(x
n
)
[
=c
. (C.25)
Atraves da equa cao acima, calculamos [
c
] perturbativamente. Para isto, mudamos
a variavel de integra cao,
=
c
+
1/2
,
e expandimos
S[] = S[
c
+
1/2
]
89
como uma serie de potencias em
1/2
, o que nos leva a
e
(i/)[c]
= N
_
Texp
_
i
_
1
2
_
d
4
x
1
_
d
4
x
2
(x
1
)S
2
[
c
](x
2
)+
+

n=3

n/21
n!
_
d
4
x
1
...
_
d
4
x
n
S
n
[
c
](x
1
)...(x
n
)+

1/2
_
d
4
x
1

1
[
c
](x
1
)
__
, (C.26)
onde, analogamente `a
n
[
c
],
S
n
[
c
] =

n
S[]
(x
1
)...(x
n
)
[
=c
,

n
[
c
] =

n
[]
(x
1
)...(x
n
)
[
=c
, (C.27)
e
[
c
] = [
c
] S[
c
] .
Escrevemos agora [
c
] como uma serie de potencias em ,
[
c
] = S[
c
] +

n=1

(n)
[
c
] , (C.28)
de tal forma que
[
c
] =

n=1

(n)
[
c
] . (C.29)
A equa cao (C.28) descreve a a cao efetiva como a a cao classica S[
c
] mais corre coes
quanticas, representadas por
(n)
. Os diagramas de Feynman que contribuem para

(n)
possuem exatamente n loops, fazendo com que chamemos (C.28) de expansao
em loops.
Tomando as equa coes (C.26) e (C.29), vamos calcular a contribui cao de um loop
(n=1) para a a cao efetiva, que possui apenas termos independentes de :
e
i
(1)
[c]
= N
_
Texp
_
i
1
2
_
d
4
x
1
_
d
4
x
2
(x
1
)S
2
[
c
](x
2
)
_
. (C.30)
Usando a identidade (integral Gaussiana)
_
Texp
_

i
2
_
d
4
x

_
d
4
x(x

)A(x

, x)(x)
_
= det
1/2
(A) , (C.31)
onde A(x

, x) e um operador, temos que


e
i
(1)
[c]
= Ndet
1/2
(S
2
[
c
]) , (C.32)
90
logo,

(1)
[
c
] = i ln[Ndet
1/2
(S
2
[
c
])]
=
i
2
ln[Ndet(S
2
[
c
])] .
=
i
2
ln N +
i
2
lndet(S
2
[
c
]) .
Mas, sendo A um operador,
det(A) = exp[Tr(ln A)] ,
entao

(1)
[
c
] =
i
2
ln N + lnexp[Tr(lnS
2
[
c
])]
=
i
2
ln N +
i
2
Tr(lnS
2
[
c
]) . (C.33)
Nesta equa cao, o termo
i
2
ln N e geralmente desprezado, pois e um fator de normali-
za cao e representa as contribui coes de diagramas de vacuo.
Portanto, a a cao efetiva em primeira ordem em e
[
c
] = S[
c
] +
i
2
Tr(lnS
2
[
c
]) + O(
2
) . (C.34)
C.2 Potencial efetivo
O potencial efetivo (V
eff
) e denido como sendo a Lagrangiana efetiva calculada a
valores constantes dos campos escalares, e todos os outros campos tomados como
zero. Seja [
c
] a a cao efetiva renormalizada de uma teoria escalar qualquer. Pode-
mos expandir [
c
] em uma serie de potencias do momento em torno do momento
zero. Escrita no espa co de coordenadas, esta expansao sera
[
c
] =
_
d
4
x
_
V
eff
(
c
(x)) +
A(
c
(x))
2

m

c
(x)
m

c
(x) + ...
_
, (C.35)
onde V
eff
(
c
(x)), A(
c
(x)), etc sao fun coes de
c
(x) (e nao funcionais).
O coeciente V
eff
(
c
(x)) e chamado de potencial efetivo. No caso de um campo
classico
c
(x) que e constante no espa co e no tempo ou, se obrigarmos o vacuo a ser
invariante por transla cao, teremos
c
(x) =
c
e, portanto,
[
c
] =
_
d
4
xV
eff
(
c
) . (C.36)
91
Das equa coes (C.9) e (C.11), teremos entao que
dV
eff
d
c
= J . (C.37)
Se zermos a fonte igual a zero,
c
tera o signicado do valor esperado no vacuo do
operador de campo, V
eff
(
c
) e identicado como a densidade de energia livre e a
equa cao (C.37) ca da forma
dV
eff
d
c
[
c
= 0 , (C.38)
onde
c
e o valor do campo para o qual o potencial efetivo assume um valor mnimo.
Quando
c
,= 0 teremos uma quebra de simetria. Entao, uma vez que soubermos
o potencial efetivo da teoria, deveremos resolver (C.38) para encontrarmos o valor
esperado no vacuo do operador de campo, isto e, devemos minimizar V
eff
(
c
) para
acharmos a congura cao de campo no vacuo, que sera um ponto estacionario de
V
eff
(
c
) e devera ser um mnimo absoluto.
Vamos agora, como exemplo, novamente considerar o caso do campo escalar livre
(C.12). Temos que
V
eff
(
c
) =
1
2
m
2

2
c
. (C.39)
Minimizando, encontramos que
c
= 0, logo o valor esperado no vacuo do operador
de campo e zero e, portanto, nao ha quebra de simetria.
Tambem podemos obter uma expansao funcional para V
eff
(
c
) em termos de
fun coes de Green. Para isto, substituimos a transformada de (C.21) em (C.18) e, de
(C.36),
V
eff
(
c
) =

n=1
i
n
n!

(n)
(0, ..., 0)
n
c
. (C.40)
Nesta equa cao, temos

(n)
(0, ..., 0), pois estamos expandindo em torno do momento
zero.
Esta equa cao, alem de fornecer o termo referente ao potencial classico, fornecera
tambem todas as contribui coes quanticas vindas das fun coes

(n)
(0, ..., 0) para o
potencial da teoria, podendo assim alterar a forma do potencial classico, levando a
uma quebra de simetria.
Podemos, assim como zemos para [
c
], fazer uma expansao em loops para
V
eff
(
c
):
V
eff
(
c
) = V (
c
) +

n=1

n
V
(n)
(
c
) . (C.41)
92
Da mesma forma que (C.28), (C.41) descreve o potencial efetivo como o potencial
classico V (
c
) mais corre coes quanticas, representadas por V
(n)
.
Como exemplo, vamos calcular o potencial efetivo em um loop para uma teoria
escalar com densidade de Lagrangiana
L =
1
2

m
V () . (C.42)
A a cao e dada por
S[] =
_
d
4
xL =
_
d
4
x
_
1
2

m
V ()
_
. (C.43)
Temos que
[
c
] = [
c
] S[
c
]
= S[
c
] +

n=1

(n)
[
c
] S[
c
]
=

n=1

(n)
[
c
] ,
logo
e
(i/)[c]
= exp
_
i

n=1

(n)
[
c
]
_
= exp
_
i

n=1

n1

(n)
[
c
]
_
.
Desta forma, lembrando da equa cao (C.26), temos que a contribui cao de um loop e
dada por
e
i
(1)
[c]
=
_
Texp
_
i
2
_
d
4
x
_
d
4
x

(x)S
2
[
c
](x

)
_
. (C.44)
Calculando S
2
[
c
]:
S
2
[
c
] =

2
S[]
(x)(x

)
[
=c
=

2
(x)(x

)
__
d
4
y
_
1
2

m
(y)
m
(y) V ((y))
__
[
=c
=

2
(x)(x

)
__
d
4
y
_

1
2
(y)2(y) V ((y))
__
[
=c
=

(x)
_

(x

)
__
d
4
y
_

1
2
(y)2(y) V ((y))
___
[
=c
=

(x)
[2
x
(x

) V

((x

))] [
=c
= [2
x
V

(
c
(x))]
4
(x x

) . (C.45)
93
Assim, (C.44) ca
e
i
(1)
[c]
=
_
Texp
_

i
2
_
d
4
x(x)[2 + V

(
c
(x))](x)
_
. (C.46)
Usando (C.31):

(1)
[
c
] =
i
2
Tr ln G
(c)
, (C.47)
onde G
(c)
(x, x

) e uma fun cao de Green que obedece a equa cao


[2
x
+ V

(
c
(x))]G
(c)
(x, x

) =
4
(x x

) . (C.48)
94
Referencias
[1] Yu. A. Golfand and E. P. Likhtman, JETP Lett. 13 (1971), 323-326.
[2] D.V. Volkov and V. P. Akulov, Phys. Lett. 46B (1973), 109-110.
[3] J. Wess and B. Zumino, Nucl. Phys. B70 (1974) 39-50.
[4] B. de Wit and D. Z. Freedman, Phys. Rev. Lett. 35 (1975) 827-830.
[5] Julius Wess and Jonathan Bagger, Supersymmetry and Supergravity, Se-
cond Edition, Princeton series in Physics.
[6] Ioseph L. Buchbinder and Sergei M. Kuzenko, Ideas and Methods of Super-
symmetry and Supergravity, Revised Edition, Institute of Physics Publishing.
[7] P. West, Introduction to Supersymmetry and Supergravity, World Scientic.
[8] A. Salam and J.Strathdee, Nucl. Phys. B76 (1974) 477-482.
[9] S. Ferrara, B. Zumino and J. Wess, Phys. Lett. 51B (1974) 239-241.
[10] Abdus Salam and J. Strathdee, Phys. Rev. D11 (1975) 1521-1535.
[11] Joseph D. Lykken, hep-th/9612114.
[12] J. Wess and B. Zumino, Phys. Lett 49B (1974) 52-54.
[13] A. Yu. Petrov, hep-th/0106094.
[14] D. Bailin and A. Love, Introduction to Gauge Field Theory, Revised Edition,
Institute of Physics Publishing.
[15] Lewis H. Ryder, Quantum Field Theory, Second Edition, Cambridge Uni-
versity Press.
[16] D. M. Capper, Il Nuovo Cimento, 25A, N.2 (1975) 259-272.
[17] R. Delbourgo, Il Nuovo Cimento, 25A, N.4 (1975) 646-656.
95
[18] S. J. Gates, M. T. Grisaru, M. Rocek and W. Siegel, Superspace or One
Thousand and One Lessons in Supersymmetry, Benjamin Cummings, Rea-
ding, MA, 1983.
[19] M. T. Grisaru, W. Siegel and M. Rocek, Nucl. Phys. B159 (1979) 429-450.
[20] Sergio Ferrara, Supersymmetry, Volume 1, North Holland / World Scientic.
[21] J.A. Helayel-Neto, Phys. Lett. B135 (1984) 78-84.
[22] F. Feruglio, J.A. Helayel-Neto and F. Legovini, Nucl. Phys. B249 (1985) 533.
[23] J.A. Helayel-Neto, F.A.B. Rabelo de Carvalho and A.William Smith, Nucl.
Phys. B271 (1986) 175.
[24] David J. Gross and Andre Neveu, Phys. Rev. D10 (1974) 3535-3253.
[25] C. M. Bender, K. A. Milton, M. Moshe, S. S. Pinsky and L. M. Simmons Jr,
Phys. Rev. Lett. D58 (1987) 2615.
[26] Sunil K. Gandhi and Marcus B. Pinto, Phys. Rev. D46 (1992) 2570-2577.
[27] B. Bellet, P. Garcia, F.Geniet and M. B. Pinto, Phys. Lett. B363 (1995) 184-
188.
[28] Jean-Loc Kneur, Marcus B. Pinto and Rudnei O. Ramos, Phys. Rev. A68
(2003) 043615.
[29] P. M. Stevenson, Phys. Rev. D23 (1981) 2916.
[30] S. K. Gandhi, H. F. Jones and M. B. Pinto, Nucl. Phys. B359 (1991) 429.
[31] Sunil K. Gandhi and Marcus B. Pinto, Phys. Rev. D49 (1994) 4258-4264.
[32] Marcus B. Pinto and Rudnei O. Ramos, hep-ph/9903353.
[33] Anna Okopi nska, Phys. Rev. D35 (1987) 1835-1847.
[34] R. Jackiw, Phys. Rev. D9 (1974) 1686-1701.
[35] Sidney Coleman, Aspects of Symmetry, Selected Erice Lectures, Cambridge
University Press.
[36] Sidney Coleman, R. Jackiw and H. D. Politzer, Phys. Rev. D10 (1974) 2491-
2499.
96
[37] Austin Pickering and Peter West, Phys. Lett. B383 (1996) 54-62.
[38] P. C. West, Nucl. Phys. B106 (1976) 219-227.
[39] Ioseph Buchbinder, Sergey Kuzenko and Jain Yarevskaya, Nucl. Phys. B411
(1994) 665-692.
[40] I. L. Buchbinder, S. M. Kuzenko, A. Yu. Petrov and J. V. Yarevskaya, hep-
th/9501047.
[41] Sidney Coleman and Erick Weinberg, Phys. Rev. D7 (1973) 1888-1910.
97