Você está na página 1de 9

Revista Brasileira de Ensino de Fsica, v. 33, n.

3, 3309 (2011)
www.sbsica.org.br
Uma proposta para o ensino de teoria quantica de campos na
graduacao: a eletrodin amica de Maxwell-Chern-Simons como motiva cao
(A proposal to the teaching of quantum eld theory in the undergraduation level:
the Maxwell-Chern-Simons electrodynamics as motivation)
Denny Mauricio de Oliveira
1
Instituto de Fsica, Universidade de Sao Paulo, Sao Paulo, SP, Brazil
Recebido em 21/07/2010; Aceito em 16/6/2011; Publicado em 7/10/2011
A teoria quantica de campos tem se apresentado como uma ferramenta importante em estudos recentes de
diferentes areas da fsica, tais como a teoria de partculas e nuclear, cosmologia, teoria de materia condensada,
fsica de altas energias, fsica estatstica e fenomenos crticos. Neste artigo mostramos, de modo did atico e pe-
dagogico, algumas caractersticas de um sistema de fermions interagindo com um campo de calibre em (2 + 1)
dimensoes. O efeito mais interessante e a inducao do termo de Chern-Simons neste sistema a partir da teoria
perturbativa. Argumentamos que este procedimento, apesar de utilizar metodos de teoria quantica de campos,
pode ser abordado por alunos de graduacao em fsica nos cursos que discutem temas de relatividade restrita e
teoria quantica.
Palavras-chave: teoria quantica de campos, eletrodin amica quantica, termo de Chern-Simons, sistemas plana-
res.
Quantum eld theory has been used as an important tool in recent studies of dierent areas of physics, such
as particle and nuclear theory, cosmology, condensed matter theory, high energy physics, statistical physics and
critical phenomena. In this article, we show, in a didactic and pedagogical manner, some characteristics of a
fermion system interacting with a gauge eld in (2 + 1) dimensions. The more interesting eect is the induction
of the Chern-Simons-like term in this system from the perturbative theory. We argue that this procedure, despite
using methods of quantum eld theory, may be approached by undergraduate students in physics courses that
discuss topics of special relativity and quantum theory.
Keywords: quantum eld theory, quantum electrodynamics, Chern-Simons term, planar systems .
1. Introducao
A teoria quantica de campos e um referencial teorico
que agrega os conceitos de relatividade restrita e
mecanica quantica. Em seu formalismo, as partculas
sao descritas como excitac oes localizadas de um campo
imerso no espaco-tempo.

E comum em uma abordagem
inicial o estudante quantizar um canal (corda) linear
com um n umero nito de partculas oscilando harmo-
nicamente e obter a lagrangiana desse sistema e outras
grandezas que dela podem ser derivadas. Por exemplo,
se o sistema for tratado quanticamente, essas partculas
podem ser pensadas em seu limite do discreto tendendo
ao contnuo e se obtem a ideia do campo classico. Este
t opico e abordado, por exemplo, em Sakurai [1] e Le-
mos [2]. Assim, o principal objetivo da teoria quantica
de campos e fornecer metodos de quantizac ao para que
se possa entender o comportamento desses campos.

E marcante o fato de que tais assuntos n ao sejam


introduzidos nos cursos de gradua c ao em fsica mesmo
em nveis elementares. O formalismo de quadriveto-
res e tensores e abordado nos cursos de Relatividade
Restrita, mas o t opico teoria classica de campos, por
exemplo, n ao e geralmente discutido.

E possvel en-
contrar na literatura recente, dirigida a estudantes de
gradua c ao, alguns livros que tem se preocupado com a
import ancia do tema. Exemplos sao Lemos [2] e Bas-
salo [3] (os estudantes mais avancados sao encorajados
a consultar as Refs. [4] e [5]). Na opiniao do autor deste
artigo, existe um grande hiato em relac ao a este t opico
quando o estudante faz a transic ao da gradua c ao `a p os:
na gradua c ao, n ao existe uma disciplina (nem mesmo
optativa) que aborda o tema, enquanto que, na p os-
gradua c ao, o tema e tratado rapidamente em vias de
revisao, uma vez que se entende que o aluno ja tenha
1
E-mail: ddeoliveira@physics.unh.edu.
Alia c ao atual: Department of Physics, University of New Hampshire, 9 Library Way, Durham, NH 03824 USA.
Copyright by the Sociedade Brasileira de Fsica. Printed in Brazil.
3309-2 Oliveira
tido contato com conceitos da teoria classica de cam-
pos, tais como a invariancia de Lorentz e o teorema de
Noether, este ultimo relacionado a simetrias internas.
A Ref. [2] aborda estes t opicos de maneira satisfat oria
a estudantes em vias de gradua c ao. A contemplac ao
deste tema por parte desses estudantes e importante
para a sequencia de seus estudos academicos, mesmo
para aqueles que n ao seguirao propriamente a carreira
de teoria quantica de campos. A justicativa reside
no fato de que esta teoria tem aplicabilidade em outras
areas de especializac ao da fsica, quer seja teorica ou ex-
perimental. Um exemplo e a teoria de Maxwell-Chern-
Simons, proposta no incio da decada de 80 por Deser
e cols. [6]. Esta teoria tem aplicabilidade a fenomenos
planares (duas dimensoes espaciais e uma temporal) da
fsica de materia condensada, com grande destaque na
literatura aos supercondutores e ao efeito Hall quantico
fracionario [7]. O c alculo do termo induzido de Chern-
Simons e o tema central deste trabalho.
Neste artigo, sera mostrado que e possvel abordar
a teoria quantica de campos em um curso de gradua c ao
em fsica. A motiva c ao e o campo de Chern-Simons,
aqui representado por A

. A sec ao 2 traz as nota c oes


e algumas convenc oes e regras utilizadas neste traba-
lho. Na sec ao 3, sao apresentadas as principais carac-
tersticas deste campo, alem de algumas de suas pro-
priedades que sao diferentes daquelas do eletromagne-
tismo usual. O propagador das partculas que compoem
o campo de Chern-Simons e obtido na sec ao 4.

E mos-
trado que, mesmo partindo de uma lagrangiana que n ao
contem o termo de Chern-Simons, e possvel obte-lo uti-
lizando teoria perturbativa. Isso e feito na sec ao 5. A
sec ao 4 apresenta a conclusao. O artigo se encerra com
dois apendices tecnicos uteis aos c alculos aqui realiza-
dos.
2. Nota coes, convencoes e matrizes de
Dirac em (2+1)D
Unidades. Utilizamos o sistema natural de unidades:
= c = 1 (consulte a Ref. [5] para discuss oes sobre as
implicac oes fsicas deste sistema de unidades).

Indices. No espaco fsico planar, os ndices em


grego assumem os valores = 0, 1, 2 e as letras la-
tinas i e j sao reservadas `as partes espaciais do ve-
tor. A metrica utilizada tem a assinatura g

=
diag(1, 1, 1). Portanto, sendo c

e d

dois triveto-
resquaisquer, utilizamos a regra de soma de Einstein
2

=0
c

= c
0
d
0
c
1
d
1
c
2
d
2
= c
0
d
0
cd. (1)
Matrizes de Dirac. Nesta dimensao, a matriz
identidade e as matrizes de Dirac escolhidas sao
I =
_
1 0
0 1
_
,
0
=
_
0 i
i 0
_
,

1
=
_
0 i
i 0
_
,
2
=
_
i 0
0 i
_
. (2)
A nota c ao tr
D
indica que os tra cos sao calculados
sobre as matrizes de Dirac. As mesmas tem as se-
guintes propriedades: tr
D
[I] = 2 e tr
D
[

] = 0. Ent ao,
sao uteis as seguintes relac oes

= 2g

, (3)

, (4)
tr
D
[

] = 2g

, (5)
tr
D
[

] = 2i

. (6)
A identidade (6) apresenta o tensor completamente
antissimetrico

, tambem conhecido por smbolo de


Levi-Civita. Este tensor tem as seguintes propriedades:

012
=
012
= 1. Este tensor assume os valores +1 para
permutac oes pares e 1 para permutac oes mpares de
seus ndices.
Na equac ao de Dirac, as matrizes aparecem fre-
quentemente contradas com quadrivetores (em nosso
caso, apenas tres dimensoes). Assim, e comum utilizar
a nota c ao slash , A = A

, idealizada por Feynman.


Isso satisfaz , A
2
= A
2
e, em particular
(,p + m)(,p m) = p
2
m
2
. (7)
Trasformada de Fourier. A transformada de
Fourier de uma fun c ao f

(x) e
f

(x) =
_
d
3
k
(2)
3
f

(k) e
ikx
. (8)
A transformada inversa de Fourier da fun c ao f

(x)
e dada por
f

(k) =
_
d
3
xf

(x) e
ikx
. (9)
A a c ao da derivada

sobre a Eq. (8) e assim re-


presentada

(x) =
_
d
3
k
(2)
3
(ik

)f

(k) e
ikx
. (10)
Em particular, a delta de Dirac em 3D e

(3)
(x) =
_
d
3
k
(2)
3
e
ikx
. (11)
Regras de Feynman. Para cada linha interna do
fermion no graco de Feynman [8], asociamos o seguinte
propagador representado na Fig. 1.
=
i
,p m
Figura 1 - Representa c ao graca do propagador do fermion.
Uma proposta para o ensino de teoria qu antica de campos na gradua c ao 3309-3
No caso do vertice, a linha ondulada representa um
foton, como mostra a Fig. 2.
= ie

Figura 2 - Regra de Feynman para o vertice.


3. A eletrodinamica de Chern-Simons
Como e bem conhecido, a teoria de calibre (gauge) de
Maxwell usual e descrita a partir de um campo vetorial
fundamental A

, atraves da lagrangiana
2
/
M
=
1
4
F

, (12)
onde
F

(13)
e o tensor antissimetrico do campo eletromagnetico e
J

= (, J) e a corrente de materia. Esta lagrangiana


e invariante frente as transforma c oes de calibre
A

. (14)
Ao se inserir a lagrangiana de Maxwell nas equac oes
de Euler-Lagrange [9]

/
(

)
=
/
A

, (15)
obtem-se as equacoes de movimento ou equacoes de
Maxwell

= J

. (16)
Essas equac oes tambem sao invariantes frente a
mesma transforma c ao da Eq. (14). Devido a antis-
simetria de F

, a corrente de materia se conserva, ou


seja,

= 0 . (17)
Na teoria eletromagnetica de Maxwell convencional,
o tensor F

e uma matriz quadrada antissimetrica de


ordem 4 4. O n umero de campos nesta teoria e dado
por
1
2
D(D1) que, em quatro dimensoes, corresponde
a tres campos eletricos e tres campos magneticos. No
entanto, esta teoria pode ser denida em qualquer di-
mensao, se os ndices do campo de calibre A

variam
de = 0, 1, 2, ..., D1, onde D e a dimensao escolhida.
No caso particular de sistemas planares, o campo
magnetico e dado por B =
ij

i
A
j
, ou seja, este campo
e um escalar. Isso acontece porque nesta teoria o poten-
cial vetor e bidimensional, e o rotacional de um vetor
em duas dimensoes resulta em um escalar. Ja o campo
eletrico e um vetor espacial de duas componentes. Por-
tanto, o n umero de campos eletromagneticos em (2+1)
dimensoes e tres, de acordo com a relac ao acima.
Uma teoria que apresenta caractersticas distintas
em relac ao `a teoria de Maxwell simplesmente reduzida
dimensionalmente e a teoria de Chern-Simons (CS),
cuja lagrangiana e dada por [6]
/
CS
=

2

, (18)
onde e o par ametro de CS, cujo signicado fsico sera
discutido mais adiante. Com a transforma c ao de cali-
bre A

, a lagrangiana (18) varia apenas


por uma divergencia
/
CS
/
CS
+

_
, (19)
mas a a c ao

CS
=
_
d
3
x/
CS
(20)
permanece invariante, pois os termos de superfcie sao
desprezados.
As equac oes de movimento de CS sao obtidas como
resultado da a c ao das equac oes de Euler-Lagrange na
lagrangiana (18)
J

=

2

, (21)
que tambem gozam da liberdade de calibre represen-
tada acima. Tambem e possvel observar que a cor-
rente se conserva devido a vericac ao da identidade de
Bianchi

= 0 . (22)
Como F

e uma matriz antissimetrica e o campo


magnetico e um escalar, sua reprsentac ao matricial [2]
e
F

=
_
_
0 E
x
E
y
E
x
0 B
E
y
B 0
_
_
. (23)
A teoria de CS pura apresenta caractersticas in-
teressantes. As equac oes de Euler-Lagrange para esta
teoria, em termos das densidades de carga e corrente,
sao denominadas equacoes de Chern-Simons
= B , (24)
J
i
=
ij
E
j
. (25)
A primeira indica que a densidade de carga e lo-
calmente proporcional ao campo magnetico, cuja cons-
tante de proporcionalidade e o par ametro de CS. Assim,
2
Em teoria qu antica de campos, em geral, os campos sao locais.

E conveniente assim denir uma fun c ao L, denominada densidade
de lagrangiana, onde L =

d
3
xL(, ) . Portanto, a terminologia lagrangiana se refere simplesmente `a densidade de lagrangiana. Ha
uma discussao detalhada desse assunto na Ref. [10].
3309-4 Oliveira
o efeito produzido por este termo na teoria de CS pura e
anexar uxo magnetico `a carga eletrica (tais partculas
sao denominadas anions). Ja a segunda relac ao diz
que o campo eletrico e proporcional `a corrente, cuja
constante de proporcionalidade tambem e . Estes efei-
tos est ao em contraste com a teoria eletromagnetica de
Maxwell usual.
4. O propagador de Maxwell-Chern-
Simons
A lagrangiana desta teoria e descrita pelo acoplamento
dos campos de Maxwell e CS (MCS) [7]
/
MCS
=
1
4
F

+

2

. (26)
Utilizando a denic ao (13) para o tensor do campo
eletromagnetico e sua propriedade de antissimetria, po-
demos escrever
F

= (

)(

)
= 2[

].
A partir da Eq. (20), a a c ao e calculada atraves de
uma integral por partes
=
1
2
_
d
3
x[A

1
2
_
d
3
x

(A

)
1
2
_
d
3
x

(A

).
(27)
Os dois termos da segunda linha da Eq. (27) sao
negligenciados devido ao teorema de Gauss e =

2
/t
2

2
e o operador de DAlembert.
A liberdade de calibre mostrada na Eq. (14) gera
um problema quando se tenta obter o propagador dos
fotons de Maxwell: ele simplesmente n ao existe (para
uma discuss ao detalhada desse fato, consulte a Ref.
[12]). Para quebrar essa invariancia, e comum modi-
car a lagrangiana adicionando-se um termo denominado
termo de xacao de calibre.

E por isso que a teoria de
Maxwell e denominada teoria de calibre. Este termo
usualmente e denido por


2
(

)
2
, (28)
onde e uma constante arbitraria.
Portanto, a a c ao desta teoria, em (2+1) dimensoes,
apos uma nova integra c ao por partes no termo de
xa c ao de calibre, agora e escrita na forma
=
1
2
_
d
3
xA

[g

] A

. (29)
O termo entre colchetes e o n ucleo da a c ao e o pro-
pagador de Feynman e uma fun c ao de Green. Assim, o
mesmo pode ser calculado atraves da identidade
(g

F
(x y) =
i


(3)
(x y) . (30)
Com o propagador escrito em termos de sua trans-
formada de Fourier

F
(x y) =
_
d
3
k
(2)
3

F
(k)e
ik(xy)
,
observa-se que

F
(x y) =
_
d
3
k
(2)
3

F
(k)(ik

)e
ik(xy)
,
e da Eq. (30) se obtem a expressao
_
k
2
g

+ k

F
(k) = i

.
(31)
Para o c alculo da Eq. (31), sera utilizado o ansatz
geral

F
(k) = /g

+Bk

+(

. (32)
Assim
/k
2

Bk
2
k

(k
2
g

+/k

+
+Bk
2
k

+(

i/

+
iB

i(

/k

+
Bk
2
k

= i

. (33)
A identidade abaixo e util para o termo com dois
tensores antissimetricos na expressao acima

. (34)
Este termo ca
i(

= i((

)k

= i((k
2

) . (35)
Assim, e possvel identicar um sistema de tres
equac oes com tres inc ognitas /, B e ( de acordo com a
forma do tensor
[/k
2
+ i(k
2
]

= i

[/(1 ) Bk
2
i(]k

= 0
(i/ (k
2
)g

= 0 .
As soluc oes do sistema sao
/ =
i
k
2

2
B =
i
k
2
(k
2

2
)

1

i
k
4
( =

k
4
k
2

2
.
Uma proposta para o ensino de teoria qu antica de campos na gradua c ao 3309-5
Portanto, de acordo com a Eq. (32) e os resultados
acima, o propagador do foton para a teoria de MCS em
(2+1) dimensoes e escrito da seguinte maneira

F
(k) =
ig

k
2

2
+
ik

k
2
(k
2

2
)

k
2
(k
2

2
)

1

ik

k
4
. (36)
Nessa expressao para o propagador, de modo seme-
lhante ao que ocorre em campos massivos, e evidente
a existencia de um p olo em =

k
2
, que representa
uma massa.

E por isso que essa teoria e denominada
teoria de calibre topologicamente massiva [6]. Tambem
e interessante observar que, para o caso de ,
ocorre o calibre de Landau, que fornece a condic ao de
transversalidade similar a do propagador do foton usual
k

F
(k) = 0 . (37)
5. Inducao de Chern-Simons em (2+1)
dimensoes
A teoria da eletrodinamica quantica possibilita o estudo
de sistemas que envolvem interac oes entre fermions e
um campo de calibre externo A

. No caso de um
espaco-tempo tridimensional, uma caracterstica inte-
ressante desses sistemas e que, mesmo ao se partir de
uma teoria de interac ao de fermions de massa m com
um campo vetorial A

sem a presen ca de um termo de


CS na dinamica deste campo, um termo deste tipo e
induzido por corre c oes radiativas. Este termo induzido
sera calculado utilizando-se do formalismo de integrais
de trajetorias [11] para o campo de Dirac e expandindo
o resultado ate termos de segunda ordem. Assim, a
lagrangiana que indica tal acoplamento e dada por [6]
/ =

(i, e , A m) . (38)
A a c ao efetiva para este modelo dependente do
campo A

. Na aproximac ao de um laco (loop) [13],


esta a c ao e denida como se segue
e
i
ef
(A)
= N
_
D

D exp
_
i
_
d
3
x

(i, e , A m)
_
,
(39)
onde N e uma constante de normaliza c ao.
Integrando sobre os campos de fermions
3
, obtemos
e
i
ef
(A)
= N det (i, e , A m) , (40)
ou seja
4

ef
(A) = i lndet [i, e , A m]
= iTr ln[i, e , A m] , (41)
onde o termo constante foi negligenciado.
A expressao acima e expandida
5
para se obter

ef
[A, m] = iTr ln
_
(i, m)
_
i, e , A m
i, m
__
= iTr ln(i, m) iTr ln
_
1
1
i, m
e , A
_
= iTr ln(i, m) + iTr

n=1
1
n
_
1
i, m
e , A
_
n
.
O primeiro termo da expressao acima e livre, ou
seja, n ao tem car ater perturbativo porque A

= 0 [7].
Para n = 1 na expansao acima, temos que

(1)
ef
= ieTr
_
1
i, m
, A
_
. (42)
As contribuic oes da expressao (42) d ao origem a ter-
mos do tipo tadpoles, que sao lineares em A

e sao diver-
gentes no ultravioleta por contagem de potencias [13].
Como esses termos n ao contribuem com a indu c ao de
CS, os mesmos serao desconsiderados nos c alculos a se-
guir. Entretanto, seu graco em primeira ordem no
campo de calibre e mostrado na Fig. 3.
Figura 3 - Diagrama de Feynman representando o tadpole.
Como estamos procurando pelo termo induzido de
CS, que e quadr atico no campo de calibre, restringire-
mos nossa aten c ao somente ao termo bilinear. Ent ao,
temos que

(2)
ef
=
ie
2
2
Tr
_
1
i, m
, A
1
i, m
, A
_
. (43)
Para o c alculo do tra co da a c ao acima, considere O
um operador que depende das matrizes de Dirac e dos
ndices internos do grupo de Lie. Ent ao, seu tra co total
Tr e denido por
TrO =tr tr
D
_
d
3
xx[O[x

x=x

. (44)
Inserindo as relac oes de completeza ou fechamento
nos espacos das posic oes e momentos
_
d
3
x[xx[ = 1 ,
_
d
3
p
(2)
3
[pp[ = 1 , (45)
sendo x[p = p[x

= e
ipx
, assumindo-se a proprie-
dade de ciclicidade do tra co, obtem-se
3
No resultado do c alculo de integrais gaussianas em variaveis ordin arias, o determinante surge no denominador. No entanto, em
gaussianas de variaveis anticomutantes (variaveis de Grassmann), o determinante aparece no numerador. Esta demonstra c ao est a no
Apendice A. Tambem ha um detalhe maior no formalismo matem atico da algebra de fermions na Ref. [14].
4
O Apendice B contem a demonstra c ao desta identidade.
5
ln(1 x) =

n=1
x
n
n
.
3309-6 Oliveira

(2)
ef
=
ie
2
2
tr tr
D
_
d
3
x
_
d
3
y
_
d
3
p
(2)
3
_
d
3
q
(2)
3
x[
1
i, m
[pp[ , A[yy[
1
i, m
[qq[ , A[x
=
ie
2
2
tr tr
D
_
d
3
x
_
d
3
y
_
d
3
p
(2)
3
_
d
3
q
(2)
3
1
,p m
, A(y)
1
,q m
, A(x)e
ipxipy+iqyiqx
=
ie
2
2
tr tr
D
_
d
3
x
_
d
3
y
_
d
3
p
(2)
3
_
d
3
q
(2)
3
(,p + m) , A(y)(,q + m) , A(x)
(p
2
m
2
)(q
2
m
2
)
e
i(pq)(xy)
=
ie
2
2
tr tr
D
_
d
3
k
(2)
3
_
d
3
p
(2)
3
(,p + m) , A(k)(,p+ ,k + m) , A(k)
[(p + k)
2
m
2
](p
2
m
2
)
,
onde foi feita a mudanca de variavel p q k.

Os termos que aparecem no numerador da integral


acima sao escritos explicitamente
,p , A ,p , A+ ,p , A ,k , A +
m ,p , A , A + m , A ,p , A + m , A ,k , A + m
2
, A , A. (46)
As integrais dos termos lineares no momento p na
expressao sao nulas por paridade. O unico termo que
contribuir a com nossos c alculos e m, A,k, A, uma vez que
e bilinear em A

. O termo m
2
,A ,A contribuir a com
uma parte diferente de zero, mas, apesar de ser bili-
near, n ao vai fornecer a derivada que surge no termo de
CS. Assim, para nossos prop ositos, a a c ao sera obtida
explicitamente de

CS
=
ie
2
2
mtr
D
tr
_
d
3
k
(2)
3

_
d
3
p
(2)
3
, A(k) ,k , A(k)
[(p + k)
2
m
2
](p
2
m
2
)
. (47)
Com o uso da parametriza c ao de Feynman
1
ab
=
_
1
0
dz
1
[az + b(1 z)]
2
, (48)
onde a = (k+p)
2
m
2
e b = p
2
m
2
, e possvel escrever
(k + p)
2
z m
2
z + (p
2
m
2
)(1 z) =
= k
2
z + p
2
z + 2(k p)z m
2
z + p
2
m
2
p
2
z + m
2
z
= k
2
z + k
2
z
2
+ 2(k p)z + p
2
k
2
z
2
m
2
= (p + kz)
2
+ k
2
z(1 z) m
2
. (49)
Com a mudanca de variavel p p kz, e consi-
derando o par ametro
2
= m
2
k
2
z(1 z), a integral
no momento p regularizada dimensionalmente [13] sera
utilizada logo adiante
_
d
3
p
(2)
3
1
(p
2

2
)
2
=
i
8[[
, (50)
Escrevendo os campos de CS no espaco das posic oes,
a partir da Eq. (47), temos que

CS
=
ie
2
2
mtr
D
tr
_
d
3
x
_
d
3
y
_
d
3
k
(2)
3
1
_
0
dz , A(y) ,k , A(x)e
ikx+iky
_
d
3
p
(2)
3
1
(p
2

2
)
2
=
ie
2
16
mtr
D
tr
_
d
3
x
_
d
3
y
_
d
3
k
(2)
3
, A(y),
x
, A(x)
1
_
0
dz
[[
e
ik(xy)
=
ie
2
16
mtr tr
D
_
d
3
x
_
d
3
y , A(y),
x
, A(x)g(x y) , (51)
onde
6
g(x y) = 2
_
d
3
k
(2)
3
1
[k[
arcsin
_
[k[

4m
2
k
2
_
e
ik(xy)
.
6
Integral [15] sobre o par ametro z:

dz
||
=
1
|k|
arcsin

(2z 1)|k|

4m
2
k
2

,
2
= m
2
k
2
z(1 z) .
Uma proposta para o ensino de teoria qu antica de campos na gradua c ao 3309-7
Para que o termo local de CS induzido na a c ao
acima possa ser extrado, o integrando de g(x y) e
expandido em torno de k 0. Assim
g(x y) =
1
[m[

(3)
(x y) . (52)
Com este resultado na Eq. (51), obtem-se

CS
=
ie
2
16
m
[m[
tr
_
d
3
xtr
D
[

]A

. (53)
Portanto, a a c ao induzida e

(2+1)D
CS
=
e
2
8
m
[m[
tr
_
d
3
x

. (54)
Este resultado e a contribuic ao bilinear (abeliana)
no campo de calibre encontrada na Ref. [7], e c alculos
mais detalhados sao descritos na Ref. [16]. A Fig. 4
mostra o graco de Feynman utilizado no c alculo do
termo induzido de Chern-Simons. A Eq. (54) indica
que a interac ao de fermions com um campo de calibre
formulado em (2+1) dimensoes gera um termo seme-
lhante ao de Chern-Simons. Como foi discutido na
sec ao 2, e possvel armar ent ao que os quanta deste
campo de calibre podem ser massivos.
k

p + k
p
k

Figura 4 - Diagrama de Feynman de um laco de fermions utilizado


para o c alculo da ac ao da Eq. (47).
6. Conclusao
Neste artigo, apresentamos o campo de Chern-Simons
e discutimos algumas de suas principais caractersticas
fsicas, destacando seus contrastes com a teoria eletro-
magnetica de Maxwell tradicional. Calculamos o pro-
pagador do campo de Chern-Simons com um termo de
xa c ao de calibre acoplado ao campo convencional de
Maxwell e obtivemos um propagador que indica que os
quanta deste campo possuem massa.
Mostramos tambem que e possvel obter perturba-
tivamente um termo induzido de Chern-Simons em um
sistema fsico planar de fermions interagindo com um
campo de calibre mesmo que este termo n ao consti-
tui a lagrangiana original. Argumentamos tambem que
e possvel a abordagem de tal t opico por estudantes
de gradua c ao em disciplinas relacionadas com a teoria
quantica de campos, sempre mostrando referencias nas
quais podem ser obtidas outras informac oes e c alculos
mais detalhados. O c alculo do termo induzido e interes-
sante porque apresenta alguns metodos usuais em teo-
ria quantica de campos, tais como integra c ao da a c ao
exponencial do campo de fermions, emprego de inte-
grais de Feynman regularizadas dimensionalmente e ob-
tenc ao da a c ao efetiva escrita nos espacos das posic oes
e dos momentos.
Alem disso, ao estudar este problema, o aluno de
gradua c ao ter a a oportunidade de encontrar ferremen-
tas e conceitor que n ao sao tratados em geral nos cursos
de gradua c ao. Isso possibilitara um melhor preparo aos
seus estudos mais avancados nas mais variadas areas de
pesquisa em fsica.
Agradecimentos
O autor agradece ao professor Adilson Jose da Silva
pelas discuss oes sobre o tema, a Roberto Vinhaes Ma-
luf Cavalcante pela leitura atenta e valiosas sugestoes
e ao CNPq (Conselho Nacional de Deselvolvimento Ci-
entco e Tecnologico) pelo apoio nanceiro parcial.
Apendices
A Integracao gaussiana em variaveis de
Grassmann
Quando se trata de fermions, a estatstica exige o em-
prego de variaveis anticomutantes. Variaveis que obe-
decem a essa propriedade sao denominadas variaveis
de Grassmann. No entanto, em contraste com integrais
gaussianas em variaveis comutantes, nas integrais gaus-
sianas que envolvem variaveis de Grassmann, o deter-
minante da matriz no expoente aparece no numerador.
Essa relac ao sera demonstrada neste apendice.
Sejam e duas variaveis de Grassmann e c uma
variavel complexa qualquer. S ao validas as relac oes
, = 0 , [, c] = 0 , (55)
de onde segue automaticamente que
2
= 0 . De acordo
com esas denic oes
_
d 0 e
_
d() 1 , (56)
obtem-se
_
d
_
d() = 1 . (57)
Como o campo de Dirac e denido em um espaco
complexo, e verdadeira a relac ao
()

. (58)
3309-8 Oliveira
Uma integral gaussiana simples em variaveis de
Grassmann e assim calculada
_
d

d e

c
=
_
d

d(1

c)
=
_
d

d(1 +

c)
=
_
d

d(

c) = c (59)
Note que a expansao da exponencial acima em serie
de Taylor e nita porque (

)
2
= 0 .
Agora, seja o c alculo da integral atraves da in-
trodu c ao de um fator (

)
_
d

d(

) e

c
=
_
d

d(

)(1

c)
=
_
d

d(

c)
_
1
c
+

_
= 1 . (60)
A integra c ao sera realizada agora sobre n variaveis
de Grassmann. Considere ent ao n variaveis de Grass-
mann
i
e C uma matriz unit aria tal que
i
= C
ij

j
.
Assim
n

i=1

i
=
1
n!

ijk...

j
...

=
1
n!

ijk...
C
ii

i
C
jj

j
...C

=
_
1
n!

ijk...
C
ii
C
jj
...C

_
[
i

j
...

]
= (det C)

i
.
Sendo D =

i
d
i
e D

i
d

i
e C
ij
uma matriz
diagonalizada, segue ent ao que
_
D

D e

i
Ciii
=
_
D

D e

i
ciii
=

i
c
ii
= det C . (61)
Portanto, conclumos que o determinante da matriz
no expoente na integra c ao gaussiana em variaveis de
Grassmann surge no numerador.
B Prova da relacao ln det Q = Tr ln Q
Seja P
D
a matriz diagonal dada por
P
D
=
_
_
_
p
1
0
.
.
.
.
.
.
.
.
.
0 p
n
_
_
_ , (62)
e Q
D
denida como
Q
D
= I + P
D
+
1
2
P
2
D
+
1
3!
P
3
D

= e
PD
, (63)
ent ao
P
D
= ln Q
D
. (64)
Desta forma, Q
D
tambem sera diagonal
Q
D
=
_
_
_
e
p1
0
.
.
.
.
.
.
.
.
.
0 e
pn
_
_
_ =
_
_
_
q
1
0
.
.
.
.
.
.
.
.
.
0 q
n
_
_
_ .
(65)
Sendo U uma matriz arbitraria, a multiplicac ao de
(B.1) pela esquerda por U e pela direita por U
1
e re-
presentada por
UQ
D
U
1
= I + UP
D
U
1
+
+
1
2
(UP
D
U
1
)(UP
D
U
1
) + (66)
Agora, seja Q = UQ
D
U
1
e P = UP
D
U
1
as ma-
trizes n ao diagonais resultantes dessa opera c ao. Assim,
de (B.4), segue que
Q = I + P +
1
2
P
2
+ = e
P
,
ou seja
P = ln Q. (67)
Assim
ln det Q = ln det (UQ
D
U
1
)
= ln(q
1
q
2
q
n
)
= ln e
p1+p2++pn
= p
1
+ p
2
+ + p
n
=

i
p
i
Tr P . (68)
Portanto, de (B.6) e (B.7), temos que
ln det Q = Tr ln Q. (69)
Referencias
[1] J.J. Sakurai, Advanced Quantum Mechanics (Addison-
Wesley Publishing Company, Chicago, 1967).
[2] Nivaldo A. Lemos, Mecanica Analtica (Editora Livra-
ria da Fsica, Sao Paulo, 2004).
[3] J.M.F. Bassalo, Eletrodin amica Quantica (Editora Li-
vraria da Fsica, Sao Paulo, 2006).
[4] L.D. Landau and E.M. Lifshitz, The Classical The-
ory of Fields (Elsevier Butterworth-Heinemann, Ox-
ford, 2004).
Uma proposta para o ensino de teoria qu antica de campos na gradua c ao 3309-9
[5] Michele Maggiore, A Modern Introdution to Quan-
tum Field Theory (Oxford University Press, New York,
2005).
[6] S. Deser, R. Jackiw and S. Templeton, Ann. Phys.
(NY) 140, 372 (1982).
[7] G.V. Dunne, arXiv:hep-ph/99021151.
[8] M.E. Peskin and D.V. Schroeder, An Introduction to
Quantum Field Theory (The Advanced Book Program,
New York, 1995).
[9] J.D. Jackson, Classical Electrodynamics (John Wiley &
Sons, NewYork, 1999), 3rd ed.
[10] W. Greiner and J. Reinhardt, Field Quantization
(Springer, Frankfurt am Main, 1996).
[11] Ashok Das, Field Theory - A Path Integral Approach
(World Scientic, New Jersey, 1993).
[12] Michio Kaku, Quantum Field Theory - A Modern In-
troduction (Oxford University Press, New York, 1994).
[13] M.O.C. Gomes, Teoria Quantica dos Campos (Edusp,
Sao Paulo, 2002).
[14] C.E.I. Carneiro e M.T. Thomaz, Revista Brasileira de
Ensino de Fsica 22, 474 (2000).
[15] I.S. Graddshteyn and I.M. Ryzhik, Table of Integrals,
Series and Products: Corrected and Enlarged Edition
(Academic Press, Inc. San Diego, 1980).
[16] D. M. Oliveira, arXiv:quant-ph-th/1007.0999v1.