Você está na página 1de 11

Tetradas

Dado que o espao-tempo em relatividade geral representado por uma variedade localmente Lorentziana, isto , que dado um ponto qualquer P sempre possivel encontrar um sistema coordenado no qual as componentes da mtrica assuman (localmente, em P ) os valores constantes da mtrica de Minkoswky, podemos encontrar para cada ponto um conjunto de 4 vetores {v1 , v2 , v3 , v4 }, que veriquem g (va , vb ) = ab . Ja que este processo se pode estender para todos os pontos do espao-tempo denimos naturalmente um campo vetorial em M chamado de campo de tetradas da seguinte forma: e(a) : M T M p | e(a) (p)

tal que: g [e(a) (p), e(b) (p)] = ab (1) Temos que observar que a base de tretadas que vericam a nossa denio no nica. Para isso vamos denir uma nova base de tetradas {e (m) } a travez da seguinte transformao (e cuja forma iremos determinar) : e (m) (p) = Lma (p) e(a) (p) , ento : g ( e(m) , e (n) ) = g (Lma (p) e(a) , Ln b (p) e(b) ) = Lma (p) ab Ln b (p) = (L1 )a m (p) ab (L1 )b n (p) = mn Assm temos: L1 t (p) L1 (p) =
1

(2)

Ento L (p) uma transformao de Lorentz local ( seu valor depende do punto p da variadade em que esta evaluada). O conjunto dos L(p) que vericam (1) chamado de Grupo Local de Lorentz (GLL). A base dual das tetradas denotada por e(a) ( ou algumas vezes (a) ) e facil mostrar que elas se transformam da seguinte forma: e (a) = Lab (p) e(b) Observao Adotamos a seguinte conveo para as matrizes do Grupo de Lorentz: (L1 )a b = Lb a Propriedades de Transfomao das componentes das tetradas Sob transformaes de Lorentz Locais 1

e (m) (p) = e (m) (p) = portanto: e (m) = de forma similar temos:


m) e ( =

Lma (p) e(a) (p) Lma (p) e (a) (p) (L1 )ma (p) e (a) ,
a) Lma (p) e( ,

Sob transformaes gerais de coordenadas e(a) = e(a) = e(a) = portanto temos: e( a) = analogamente
a) = e ( a) e(

e (a) e( a) e( a) x x x x x x

e (a)

Observao Em principio, o GLL e as TGC no tem relao, isto debido ao fato de que em geral NO existe um sistema coordenado { a } tal que: e(a) = a

A Conexo de Spin
Antes de denir a conexo de spin, ser bom para nos lembrar primeiro da denio de conexo am Denio Uma conexo am (linear) ou diferenciao covariante numa variedade M uma aplicao que para cada par de campos vetoriais X, Y denidos na variedade, atribui outro campo vetorial X Y com as seguintes propriedades: f X Y = f X Y X (f Y ) = f X Y + X (f )Y, onde f F (M ), o conjunto das funes denidas em M e que tomam valores no reais. Em particular, se os campos so escolhidos para ser a base canonica do espao tangente, X = e Y = , denimos os coecientes da conexo am da seguinte forma :

Na denio anterior xamos a base cannica como a plataforma padro na denio dos coecientes da conexo am, embora esta seja a escolha mais convecional, nada nos impede utilizar (ou ate misturar) outra base. Assim se fazemos X = e Y = e(a) denimos os coecientes da conexo de spin como:

e(a) = b a e(b)

Observao Se a variedade mtrica, isto , se a derivada covariante do tensor mtrico nulo os coecientes da conexo de spin so antisimetricos nos indices de Lorentz (indices latinos) e como ser mostrado mais diante, uma consequncia direta da identidade de Ricci. Por tanto a partir de agora consideraremos :

ab = ba Propriedades de Transfomao
Sob transformaes de Lorentz Locais

e (m)

= n m e (n) = n a Lnb e(b) = n a Lnb e(b) = n a (L1 )b n e(b)

Lma e(a)

( Lma ) e(a) + Lma

e (a)

( Lmb + Lma b a ) e(b) portanto temos:

c a

= Lc b ( Lmb + Lma b a )

Sob transformaes gerais de coordenadas

e(a) e

= ba e(b) = ba e(b) = ba e(b) = ba e(b)

(a) x x x e x (a) x b e x a (b)

portanto temos:

ba

x b x a

Vamos procurar agora uma expreso para as componentes da conexo de spin em funo de objetos conhecidos como a conexo am e as componentes das 3

tetradas. Para isso precisso desenvolver antes algumas expresses.


1 Sabemos que se X um campo vetorial , ento X T1 onde X (, Y ) =< , Y X > e suas componentes so denotadas por X ; . Assim se escrevemos X = X temos:

X = X (dx , ) = = = X ; =

X ; dx = < dx , (X ) > < dx , X + (X ) >


< dx , (X + X ) > X + X

Por outro lado, se escolhemos escrever o campo vetorial em uma base de tetradas X = X a e(a) temos : X (dx , ) = = = =
b ( X b + X a a )e (b) =

< dx , (X a ea ) > < dx , X a e(a) + X a e(a) >


b < dx , ( X b + X a a )e(b) > b ( X b + X a a ) < dx , e(b) > b ( X b + X a a ) e (b) =

Portanto admisivel escrever: X = X = =


b ( X b + X a a )e (b) dx b ( X b + X a a )e(b) dx

X b e(b) dx

Finalmente podemos relaciar as duas expresses da derivada covariante obtidas em diferentes bases:
X + X = b ( X b )e (b) + ( e(b) )X + X = a e(a) X = b ( X b + X a a ) e (b) b ( X b + X a a ) e (b) b a (a e (b) e(a) )X a) (multiplicando por e( ) = b (a) (a) (a e (b) ) e ( e(a) ) e b a) (b) (a e( + e )e(b)

portanto =

Esta ltima equao nos leva ao conhecido postulado das tretadas:


(c) c) c (a) (c) D e = e( + a e e = 0

Spinores de Dirac em espaos curvos


Em virtude da estrutura local Minkoswkyana possivel trasladar a cada ponto da variedade toda a teoria de represntao do grupo de Lorentz. 4

Na relatividade especial as transformaes de Lorentz contitui a representao do grupo de simetria do espao-tempo, entretanto, este fato deixa de ser vlido em uma variedade curva onda agora as transformaes gerais de coordenadas representan o grupo de simetria da variedade, e que, em princio no tem relaa alguma com as transformaes de Lorentz locais construidas no espao tangente. Assim nossos spinores debem poder diferenciar entre as duas transformaes, o que nos leva a propor a seguinte imposio. Sob transformaes gerais de coordenadas os spinores se transformam como escalares (x ) = (x) Contrariamente, sob transformaes de Lorentz locais L(p), caracterizadas pelos parrametros (p), os spinores se transformam da seguinte forma: (x) = S (L(p))(x) e o conjugado correspondente: (x) = ( x)S 1 (L(p)),
i ab (p)ab , isto ltimo em analogia com o caso onde S (L(p)) = exp 2 plano.

Vamos admitir que possvel construir componentes de campos tensorias sobre a variedade por meio de bilineares formados a partir de nossos spinores denidos acima. Assim, por exemplo, podemos formar um scalar x)(x), ou as componentes de um campo vetorial ( em com(x) = ( x) a (x). ponentes de Lorentz) como Aa (x) = ( Por ltimo, devido ao fato da variedade ser curva, precisso denir a derivada covariante de um spinor. Para tal nos valeremos do item anterior, usando o fato de que as derivadas covariantes das componentes de um campo tensorial so conhecidas e a regra de leibniz. Portanto vamos propor que a derivada covariante de um spinor da forma: = + , onde uma matriz de orden 4 a determinar. Assim, de nossas premisas temos: 1) = = = = () ) ( ) + ( + 0 0 ) + ( + ) ( 0 0 + +

o que permite achar uma primeira relao para :


0 0 =

2)

Aa = = = = = =

a ) = ( ) a + a ( ) ( 0 0 a a + ) + ( + ) (

(utilizando a primeira relao) a ) + [ a , ] ( a , ] Aa + [ a , ] Aa a Ab + [


b

a b ) + [ a , ] Aa ( b

com isso chegamos a seguinte relao:


a b [ a , ] = b

Como se pode ver este comutador resulta em uma combinao lineal de matrizes , ento vamos assumir que uma combinao lineal das matrizes ab em virtude de que as ultimas vericam a relao: [ a , bc ] = ac b ab c Assim temos: [ a , ] = = = [ a , Abc bc ] = Abc [ a , bc ] iAbc ( ab c ac b )
a b a b 2iA b = b

onde denimos: ab =

i a b [ , ] 4

(3)

Finalmente as expresses para a derivada covariante de um spinor cam: i = bc bc 2 = + i bc bc 2 Como detalhe nal, vamos vericar que de fato nossa denio de derivada covariante respeita a lei de transformao para um spinor. Em outras palavras a derivada covariante de um spinor um spinor. = S (L) Desenvolvendo a ltima expreso temos: ( + )(S ) = ( S ) + S + S = ( S + S S ) = portanto: = S S 1 S S 1 S ( + ) S + S 0

Ento cheagamos condio que a matriz deve satisfazer para ter uma boa denio de derivada covariante.

Agora, vamos considerar transformaes de Lorentz locais innitesimais, logo temos: Lab (x) = S (L(x))ab = ab + ab (x) i ab mn (x)(mn )a b , 2

a transformao innitesimal dos coecientes da conexo de spin so: ab = ab = ab = ab = nalmente = S S 1 S S 1 i i i i = (1 ) (1 + ) (1 ) (1 + ) 2 2 2 2 i i = ab [ab , ] + ab ab 2 2 i ab ab = ab ab + ab [ab , mn mn ] ab ab 2 i 0 = (ab ab ab )ab ab mn [ab , mn ] 2 i d d ab 0 = ( b ad + a db ) ab mn i( am nb an mb + bm an bn am ) 2 0 = ( db ad + da db )ab + ab mn ( am nb an mb ) 0 = db (ad + da )ab + da (db + bd )ab Lac ( Lb c + Lb d c d ) onde Lba = (L1 )ab = ab ab ( ac + ac )( cb + c b db c d ) c b ab db a d + ac c b ab ab db ad da db

Equao de Dirac em Espao curvos


Em analogia com o lagrangeano da relatividade restrita vamos postular o Lagrangeano de Dirac em espaos curvos como: i m V LDirac = 2 onde as matrizes (em principio no conhecidas) devem reproducir, no limite de uma metrica plana, s matrices de Dirac a . Para tal propsito as vamos denir da seguinte forma:
a = e( a)

onde o comutador destas matrizes : [ , ] = = =


a b [ e (a) , e(b) ] a b e (a) e(b) [ , ] ab e = 2g (a) e(b) 2

o que mostra que elas vericam uma algebra de Cliord. Propriedades de transformao das matrizes Sob transformaes gerais de coordenadas = = =
a e (a)

x a e x (a) x x

(4)

Sob transformaes de Lorentz Locais = =


a e (a) a (L1 (p))b a e (b)

Com todos nossos ingredientes denidos estamos prontos para estudiar a invariana da Equao de Dirac construida em um espao curvo. Invariana sob transformaes gerais de coordenadas Dado que os nossos spinores so escalares sob uma TGC se ve de forma invariante. A continuao vamos mostrar imediata que o termo de massa m a invariana do termo . = = = = = x x x i a ab x 2 b x x ( i a ab x x 2 b x

Invariana sob Transformaes de Lorentz Locais facil mostrar a invariana do termo de massa = m S 1 (L) S (L) = m m e o termo cinetico: = S 1 (L) e (L1 )b (p) a S (L) a (b) (mas da relatividade especial conhecemos: S (L) b S 1 (L) = (L1 )b a a ) e S 1 (L) S (L) b S 1 (L) S (L)
(b)

= =

e b = (b) 8

O Clculo de Cartan
Vamos denotar de agora em diante a base dual das tetradas por a e(a) . Denimos a 1-forma de conexo como: X e(a) = ba (X )e(b) Observao Se pode ver, a partir da denio, a relao entre os coecientes da conexo de spin e a 1-forma de conexo: ba ( ) = ba
b b c Ja que a 1 ento podemos escrever wa = b ac , assim temos:

e(b) e(a)

c = a (e(b) )e(c) d c = c ad (e(b) )e(c) = ab e(c)

q Lembremos, seja S um campo tensorial de forma que S Tp ento se dene q S Tp+1 como:

S (X1 , ..., Xp , Xp+1 , w1 , ..., wq ) = Xp+1 S (X1 , .., Xp , w1 , .., wq ) onde: X S [Y1 , .., Yp , w1 , ..., wq ] = X [S (Y1 , ..., Yp , w1 , ..., wq )] S (X Y1 , ..., Yq , w1 , ..., wq ) ... ...S (Y1 , ..., Yq , w1 , ..., X wp )
0 0 No caso particular que S = g T2 temos que g T3 ca:

g (X, Y, Z ) = Z [g (X, Y )] g [Z X, Y ] g [X, Z Y ] Se o espao mtrico, isto g = 0, chegamos Identidade de Ricci Z [g (X, Y )] = g [Z X, Y ] + g [X, Z Y ] Se fazemos X = e(a) e Y = e(b) Z [gab ] = g [Z e(a) , e(b) ] + g [e(a) Z e(b) ]
c c = g [a (Z )e(c) , e(b) ] + g [e(a) , b (Z )e(c) ] c c = gcb a (Z ) + gac b (Z )

(5) Lembrando que g (X, Y )(p) com X e Y xados, uma aplicao que leva pontos na variedade em numeros reais , ento gab uma 0-forma portanto Z [gab ] = dgab [Z ] .Finalmente chegamos a: dgab = ab + ba (6)

No caso que dgab = 0 (por exemplo se gab = ab ) temos ab = ba (e portanto ab = ba ).

Sabemos que: [X, Z ] = Z ( [X ]) [Z (X )] agora se = a , X = , Y = ento: (a) [ , ] = ((a) [ ]) (a) ( )


a) (a) = e ( e dx ( e ) a) (a) (a) = e( , e = e (a)

Portanto:
a) (a) = e( dx dx

Por outro lado (a) [e(c) , e(b) ] = = portanto:


(c) (a) = a (b) bc

e(b) ((a) [e(c) ]) (a) (e(b) e(c) )


a (a) (m bc e(m) ) = bc

Logo temos:
(c) a (b) = bc a) e( ; dx dx a) (c) e( (b) ; e(c) e(b)

nalmente achamos uma expreso para a bc


(a) a bc = e; e(c) e(b)

Equaes de estrutura (com conexo simtrica e mtrica)


(a) = d
(a) a) e( dx

(tomando a derivada exterior) = = = = =


a) d(e( dx ) a) e( dx dx

(considerando conexo simtrica )


a) e ( dx dx (b) (c) a bc e e dx dx (b) a a e(c) = b e(b) bc e

Assim chegamos primeira equao de estrutura:


a d(a) + b e(b) = 0

10

Sabemos que ab = acb c = acb e dx , ento ao tomar derivada exterior temos: d ab


c) = (acb e( ) dx dx c) = (acb e( ) dx dx (c) = (e; e (b) e(c) e ) dx dx = (e; e (b) ) dx dx = e; ; e (b) dx dx e; e(b); dx dx 1 (a) (a) = [ , ]e e (b) dx dx e; e(b); dx dx 2 1 (a) a) = R e( e(b) dx dx e; e(b); dx dx 2 1 (a) c d m c a) (d) = R e( e(b) e(c) e(d) e; e(d) e e(b); e(m) e(c) 2 1 (a) (d) m c = Rabdc c d + (e; e (d) e(c) )(e; e(b) e(m) ) 2 1 = Rabcd c d + acd dmb m c 2 1 a = R bcd c d ad db 2 (a) (a) (a) (a)

(c)

Denindo a 2-forma de curvatura ab = equao de estrutura

1 a c 2 R bcd

d , chegamos segunda

ab = d ab + ad db

11