Академический Документы
Профессиональный Документы
Культура Документы
Modelo de Ponzano-Regge
Modelo de Ponzano-Regge
AGRADECIMENTOS
Resumo
iii
Abstract
Sumrio
Captulo 1. INTRODUO
2.2. Representaes
12
18
24
27
29
29
3.2. Autovalores de L e de L3
29
35
36
38
45
45
46
Referncias Bibliogrficas
50
Apndices
53
55
55
vii
1
INTRODUO
2
GRUPO DE LIE SU(2)
|a11 |2 + |a12 |2
AA = 1
!
!
a11 a21 + a12 a22
1 0
=
.
|a21 |2 + |a22 |2
0 1
|a11 |2 + |a12 |2
a a + a a
11 21
12 22
|a |2 + |a |2
21
22
=1
=0
=0
)
so equivalentes.
= 1.
Alm disso, det A = 1, ento resulta que a11 a22 a12 a21 = 1.
Sendo assim, tais matrizes possuem quatro elementos complexos, ou oito parmetros
reais, porm devido unitariedade reduz-se o nmero de parmetros independentes de 8
para 4, e a condio det A = 1 d mais uma restrio, levando ao total de 3 parmetros
reais.
Tais condies nos permitem reescrever A como:
A=
0 + i3 2 + i1
2 + i1
0 i3
!
,
(2.1.1)
onde
det A = 02 + 12 + 22 + 32 = 1.
Observe que 02 + 12 + 22 + 32 = 1 a equao da esfera S 3 que pode ser reparametrizada
em coordenadas bicomplexas como
0 + i3 = cos()ei1 ,
1 + i2 = sen()ei2 ,
e 0 1 , 2 2.
2
Assim, essa nova parametrizao do grupo SU(2) :
A(, 1 , 2 ) =
i sen()ei2
cos()ei1
i sen()ei2 cos()ei1
(2.1.2)
0 i
i 0
I2 =
!
0 1
1
I3 =
!
.
0 i
(2.1.3)
1 =
0 1
1 0
!
,
2 =
0 i
i
!
,
3 =
0 1
[Ia , Ib ] = 2I3 ,
abc
[I2 , I3 ] = 2I1 ,
[I3 , I1 ] = 2I2 .
(2.1.4)
1
se (a, b, c) (1, 2, 3), (2, 3, 1), ou (3, 1, 2);
0
se a = b ou b = c ou c = a.
Uma representao de grupo descreve um grupo abstrato em termos de transformaes lineares de espaos vetoriais. No caso de grupos compactos, podemos representar os
elementos destes grupos como uma matriz D(A). Alm disso, aqui ser mais conveniente
visualizar a representao como um grupo de operadores lineares.
Sejam G um grupo e L um espao vetorial linear. Uma representao de G em L um
grupo de operadores lineares em L, acrescido de um homomorfismo de G em . Assim,
A, B G, existem elementos D(A), D(B), D(AB) tal que
D(A)D(B) = D(AB),
(2.2.1)
(2.2.2)
n
X
i=1
D(A).
possvel formar uma nova representao pela soma direta dessas duas matrizes como:
D(A) =
D1 (A)
D2 (A)
(2.3.1)
Note que
D(A)D(B) =
D1 (A)
D2 (A)
D2 (B)
!
D1 (A)D1 (B)
D2 (A)D2 (B)
!
0
D1 (AB)
D1 (B)
D2 (AB)
= D(AB).
Logo D uma representao e dim D = dim D1 + dim D2 .
Definio 6. Dizemos que uma representao completamente redutvel se esta pode
ser escrita como soma direta de outras duas representaes, como em (2.3.1).
Definio 7. Uma representao redutvel quando esta pode ser transformada na
forma de blocos, como
D(A) =
D1 (A)
C(A)
D2 (A)
onde D1 (A) e D2 (A) so representaes. Caso a representao no possa ser reduzida desta
forma, dizemos que irredutvel.
2.4. Produto direto de representaes
Apesar de representaes irredutveis serem de grande importncia nos nossos estudos,
nesta seo abordaremos um mtodo para construir uma terceira representao a partir da
soma direta de duas representaes.
Vamos considerar as matrizes D1 (A) e D2 (A) de representaes 1 e 2 , com dimenses
m e n, respectivamente. O produto direto definido no espao L de todos os tensores T
com componentes Tij , onde 1 i m e 1 j n. Ento, definimos uma combinao
linear S+T de tensores S e T pelo tensor com componentes Sij +Tij , onde Sij e Tij so
componentes de S e T. Estes tensores possuem mn componentes, que sero consideradas
m X
n
X
(2.4.1)
k=1 l=1
Note que esta equao homognea (ou seja, as dimenses de todos seus termos devem
ser idnticas) e linear.
Usando (2.2.1), vemos que as transformaes D(A) so uma representao:
[D(A)D(B)S]ij =
=
=
m X
n X
m X
n
X
k=1 l=1 s=1 t=1
m X
n X
m X
n
X
s=1 t=1
= [D(AB)S]ij .
As transformaes D(A) podem ser consideradas como matrizes com ndices ij, com
1 i m e 1 j n. Dessa forma, cada elemento pode ser expresso da seguinte forma:
D(A) = D1 (A)ik D2 (A)jl ,
(2.4.2)
onde 1 i, k m e 1 j, l n.
(2.4.3)
onde dizemos que D(A) o produto direto das matrizes D1 (A) e D2 (A).
Dizemos que D = D1 D2 produto direto das representaes de D1 e D2 se (2.4.3)
j que
D(A)D(B) =
n
X
s,t=1
n
X
s,t=1
= D1 (AB)ik D2 (AB)jl
= D(AB).
Mostraremos adiante que toda representao irredutvel de um grupo compacto de
matrizes pode ser gerado tomando repetidos produtos diretos de qualquer representao
fiel do grupo e, se possvel, reduzi-las.
Podemos explicitar o produto direto D1 (A)D2 (A) pela seguinte matriz mn-dimensional:
1
,
D(A) =
..
..
..
...
.
.
.
D1 (A)mm D2 (A)
onde D(A) escrita em blocos com m2 blocos n-dimensionais, tais que cada bloco corresponde ao elemento de D1 (A) multiplicado pelo respectivo elemento de D2 (A).
Observao 8. Fazendo clculo direto, vemos que D(A) uma representao do
grupo.
Observao 9. Dadas duas representaes unitrias D1 (A) e D2 (A), o produto direto
entre elas D(A) = D1 (A) D2 (A) tambm unitrio.
2.5. Lema de Schur
O lema de Schur composto pelos seguintes resultados:
Teorema 10. Uma representao unitria dos operadores D(A) em um espao vetorial
complexo irredutvel se, e somente se, os nicos operadores que comutam com cada D(A)
so os da forma 1, onde um nmero complexo e 1 o operador identidade.
Teorema 11. Se D1 (A) e D2 (A) so representaes irredutveis do grupo operando
nos espaos vetoriais L1 e L2 , respectivamente, e X uma aplicao linear de L1 em L2
tal que
D2 (A)X = XD1 (A), A
ento, ou X = 0 ou X tem um inverso tal que D1 (A) equivalente D2 (A). Note que
as dimenses de L1 e L2 podem ser diferentes, ento X no ser, necessariamente, uma
matriz quadrada. Ainda assim, uma transformao linear, mas no 1-1.
Uma importante consequncia deste lema que qualquer representao irredutvel em
um espao vetorial complexo de um grupo abeliano dever ser unidimensional, ou seja, dado
um grupo G e se D(A) uma representao irredutvel, qualquer matriz D(g) satisfaz
D(g)D(A) = D(A)D(g) e ento D(g) = I, g G.
2.6. Representaes nos espaos de funes
Dado um espao S, que, por convenincia, aqui ser considerado como um espao
vetorial linear, se um grupo G pode ser considerado como um conjunto de transformaes
em S, podemos construir representaes no espao de funes de domnio S.
Seja G um grupo de transformaes 1-1 contnuas de S em S. A imagem de um ponto
x S sob a transformao A G ser denotada por Ax. Naturalmente, a equao y = Ax,
com relao a x, possui nica soluo.
(2.6.1)
10
para D(A).
Sejam S um espao vetorial linear e G um grupo de operadores lineares no singulares
em S, ou seja, tais que cada elemento de G tenha determinante no nulo. Um exemplo de
um subespao invariante no trivial de H o subespao H1 de funes lineares definidas
em S tais que f (x) f (A1 x). De fato, se um produto interno h, i definido em S,
qualquer funo linear pode ser escrita na forma hc, xi para algum c S. Ento
D(A) hc, xi = hc, A1 xi = h(A1 ) c, xi ,
(2.6.3)
que ainda uma funo linear definida em S pelo vetor (A1 ) c. (A1 ) , chamada matriz
contra-gradiente A. Podemos verificar que, dados A, B G e D(A) e D(B) suas respec-
11
(2.6.4)
X
i
i,j
D1 (A)im ei (x)
D2 (A)jn f j (y)
ij .
12
n
X
e (x) e (y) =
i=1
n
X
(2.6.5)
i=1
para todo A G.
n
X
ei (x) ei (y).
i=1
Reescrevendo novamente
n X
n X
n
X
i=1 k=1 l=1
n X
n
X
k=1 l=1
"
n
X
i=1
n
X
ei (x) ei (y) = 0
i=1
#
D(A)ki D(A)li kl ek (x) el (y) = 0.
D(A)ki D(A)li = kl ,
i=1
z1j+m z2jm
.
e (z) = p
(j + m)!(j m)!
(2.7.1)
Vamos mostrar que esta escolha de bases gera uma representao unitria. As funes
em , m = j, j + 1, , j geram o espao dos polinmios homogneos de grau 2j. Os
1
3
valores que j pode assumir, so j = 0, , 1, , . Veremos que o ndice j pode ser usado
2
2
como ndice para as representaes irredutveis. A dimenso das representaes geradas
2j + 1, j que existem 2j + 1 possibilidades de valores para o ndice m. As matrizes de
representao sero indexadas por j, j + 1, , j em vez da forma usual de nmeros
inteiros 1, 2, , 2j + 1.
13
e (A z) =
(2.7.2)
Dj (A)mn em (z),
m=j
A1 z =
i sen()ei2 z1 + cos()ei1 z2
jn
(cos()e
i2
z1 i sen()e
j+n
z2 )
j+n
X
s
(j + n)!
cos()ei1 z1
s!(j + n s)!
s=0
j+ns
i sen()ei2 z2
(2.7.3)
e
i sen()e
i2
i1
z1 + cos()e
z2
jn
jn
X
t
(j n)!
i sen()ei2 z1
t!(j n t)!
t=0
jnt
cos()ei1 z2
.
(2.7.4)
p
s
(j + n)!(j n)!
cos()ei1 z1
e (A z) =
s!(j + n s)!t!(j n t)!
s=0 t=0
j+ns
t
jnt
i sen()ei2 z2
i sen()ei2 z1 cos()ei1 z2
p
j+n jn
X
X
(j + n)!(j n)!
=
(i)j+ns+t
cosjn+st ()
s!(j
+
n
s)!t!(j
t)!
s=0 t=0
n
14
0 s + t 2j ou j m j.
jn
j
X
X
p
(j + n)!(j n)!
(i)
e (A z) =
cos2jn+m2t ()
(j + m t)!(n m + t)!t!(j n t)!
m=j t=0
p
(j + m)!(j m)!
sennm+2t ()ei(nm)1 ei(nm)2 z1j+m z2jm p
(j + m)!(j m)!
p
jn
j
X
X
(j + m)!(j m)!(j + n)!(j n)!
nm+2t
( (i)
=
cos2jn+m2t ()
(j
+
m
t)!(n
m
+
t)!t!(j
t)!
m=j t=0
n
nm+2t
z1j+m z2jm
(j + m)!(j m)!
z j+m z2jm
onde p 1
= em (z).
(j + m)!(j m)!
Dessa forma, obtemos os elementos de matriz Dj (A)mn desejados, como sendo os coeficientes de em (z) da soma. O resultado da simplificao
Dj (A)mn
X
=
(i)nm+2t
t
p
(j + m)!(j m)!(j + n)!(j n)!
cos2jn+m2t ()
(j + m t)!(n m + t)!t!(j n t)!
t)!(n
m
+
t)!t!(j
t)!
t
sennm+2t ()ei(n+m)1 ei(nm)2 .
(2.7.5)
Observao 12. Os valores de t na soma devem ser tais que os argumentos das funes
fatoriais sejam no negativas.
Resta mostrarmos que a representao obtida unitria e irredutvel.
Como vimos anteriormente, para mostrar que a representao unitria, basta mostrar
que a funo f (w, z) definida por
f (w, z) =
j
X
em (w) em (z)
m=j
15
j
X
(w1 )j+m (w2 )jm z1j+m z2jm
f (w, z) =
(j + m)!(j m)!
m=j
j
X
(w1 z1 )j+m (w2 z2 )jm
=
.
(j
+
m)!(j
m)!
m=j
(2.7.6)
n
X
n!
(w z1 )k (w2 z2 )nk ,
k!(n k)! 1
k=0
e tomando n = 2j e k = j + m, temos
(w1 z1
w2 z2 )2j
j
X
(w1 z1 )j+m (w2 z2 )jm
.
= (2j)!
(j + m)!(j m)!
m=j
(2.7.7)
f (w, z) =
(w1 z1 + w2 z2 )2j
(2j)!
hw, zi2j
=
.
(2j)!
Da unitariedade de A
f (Aw, Az) =
hAw, Azi2j
hw, zi2j
=
= f (w, z).
(2j)!
(2j)!
Para mostrar que Dj (A) irredutvel, consideremos uma matriz M , tal que [M, Dj (A)] =
0, A. Note que o comutador da matriz A com uma matriz B diagonal, com elementos
ij bj tem elementos de matriz (bk bl )akl .
a1m
am1 am2
amm
a11
a12
a21
A=
..
.
a22
..
.
..
.
a2m
..
,
.
b11
B=
0
..
.
0
b22
.. . .
.
.
0
0
..
.
bmm
16
a11
a12
a21
[A, B] =
..
.
am1
b11
0
.
.
.
a22
..
.
...
am2
0
b11
a2m
..
0
..
.
bmm
a11 b11
a12 b22
a21 b11
=
..
.
a22 b22
..
.
..
.
0
..
.
bmm
a1m
b22
.. . .
.
.
0
0
amm
0
a11 a12
0 a21 a22
..
..
.
. ..
.
b22
.. . .
.
.
0
a1m
..
.
a2m
..
b11 a12
b22 a22
..
.
..
.
b11 a1m
b22 a2m
..
.
bmm amm
[A, B] =
..
..
..
..
.
.
.
.
(2.7.8)
Como M diagonal, o comutador de M com uma matriz arbitrria Dj (A), tem elementos (m n )Dj (A)mn = 0. Em particular, considere Dj (A)mj . O nico valor que t
17
D (A)mj = i
mj
X
t
sen
p
(j + m)!(j m)!(j + j)!(j j)!
(1)
cos2jj+m20 ()
(j + m 0)!(j m + 0)!0!(j j 0)!
0
jm+20
(2.7.9)
()ei(j+m)1 ei(jm)2
(j + m)!(j m)!(2j)!
cosj+m () senjm ()ei(j+m)1 ei(jm)2
(j + m)!(j m)!
12
(2j)!
jm
= (i)
cosj+m () senjm ()ei(j+m)1 ei(jm)2
(j + m)!(j m)!
= (i)jm
Note que Dj (A)mj , em geral, no nulo, o que implica que m j = 0, m, que, por
ei
!
,
onde 0 .
Assim, cada classe de A inclui exatamente tal matriz e pode ser etiquetada pela varivel
[0, ]. A classe de uma matriz A pode ser unicamente especificada pela fase deste
autovalor no semiplano superior.
1
2 () = + 1 ,
(2.7.10)
j () = 2j + 2j2 + + 2j+2 + 2j .
De (2.7.10) e (2.7.11), temos que para j > 0,
(2.7.11)
18
= j 2 () + j+ 2 ().
1
inteiros.
1
Isto mostra que o produto direto de n fatores de D 2 (A) reduz-se uma soma direta
de Dj (A). Como todas as representaes irredutveis podem ser obtidas reduzindo estes
produtos diretos, os Dj (A) constituem todas elas.
Para algumas aplicaes precisaremos do complexo conjugado e da transposta de Dj (A).
De (2.7.5), fazendo t = n m + s, temos
Dj (A)mn = (1)nm Dj (A)mn .
Assim, a transposta dada por
Dj (A)nm = Dj (A1 )mn = (1)mn Dj (A1 )mn ,
(2.7.12)
onde os parmetros de A1 so , 2 1 e 2 + .
com t = j + m, ento
"
Dj (A)mj = (i)j+m
!# 21
2j
j+m
(2.7.13)
necessrio escolher combinaes lineares adequadas destas funes que esto contidas nos
subespaos invariantes. Tais combinaes sero denotadas por fl,p (x, y), l p l, onde,
fl,p (x, y) =
X
mn
(2l + 1)
1
2
k l
m n p
em (x)en (y).
(2.8.1)
19
em (x)en (y) =
(2l + 1)
lp
1
2
k l
m n p
(2.8.2)
m0
m0 n0
Dj (A)m0 m em (x)
Dk (A)n0 n en (y)
n0
0
20
e por (2.8.2)
j
X
1
em (A1 x)en (A1 y) =
(2l + 1) 2
X
1
(2l + 1) 2
lpp0
fl,p (A1 x, A1 y)
m n p
!
j k l
Dl (A)p0 p fl,p0 (x, y)
m n p
!
!
j k l X
j k l
1
(2l + 1) 2
m n p m0 n0
m0 n0 p0
lp
k l
X
1
(2l + 1) 2
lpp0
0
XX
(2l + 1)
k l
j
0
m n p
lpp0 m0 n0
Assim, obtemos
X
m0
n0
XX
m0 n0
lpp0
(2l + 1)
k l
m n p
m0 n0
0
m0 n0 p0
D (A)m0 m D (A)n0 n =
X
lpp0
(2l + 1)
k l
m n p
j
0
!
Dl (A)p0 p .
(2.8.3)
Dl (g)im Dk (g)jn dg = lk ij mn ,
nl
onde nl = dim(Dl (A)) = 2l + 1.
21
k l
m0 n0 p0
m n p
1
=
(2.8.4)
Agora fica claro por que introduzimos o fator (2l + 1) 2 em (2.8.1), pois simplifica a
expresso (2.8.4), que no depende explicitamente da dimenso da representao.
Observando a Eq. (2.7.5), vemos que o integrando possui as fases eiS1 e eiT 2 , onde
S = m + n + p + m0 + n0 + p0 e T = m0 + n0 + p0 m n p. Como a medida de Haar em
k l
m n p
= 0,
j k p
m0 n0 p0
21
21
1
2j!
2k!
k+n0
=
(1)
(k + n0 )!(n0 k)!
(j + m0 )!(j m0 )!
#
" p
0 )!(l p0 )!(l + p)!(l p)!
X
(l
+
p
(1)t
(l + p0 t)!(p p0 + t)!t!(l p t)!
t
onde
2 = 2l p + p0 2t + j + m0 + k n0
= 2l k + j + p0 2t + j + m0 + k n0
= 2l + 2j + p0 2t + m0 n0
= 2(l + j t) + p0 + m0 n0
= 2(l t + j n0 )
22
e
2 = p p0 + 2t + j m0 + k + n0
= k j p0 + 2t + j m0 + k + n0
= 2(k + t) p0 m0 + n0
= 2(t + k + n0 ).
A integral sobre o grupo pode ser calculada a partir da propriedade de ortogonalidade,
usando a expresso explcita das matrizes de representao Dj (A) (2.7.9)
2j!
j
2
|D (A)jm | dA =
=
cos2 () sen2 ()dA,
2j + 1
(j + m)!(j m)!
onde = j + m, = j m, ou seja,
!!
2j!(2j + 1)
!!
=
(2j + 1)!
!!
=
( + + 1)!
ento,
j
m 0 n0 p0
j k p
!
k+n0
= (1)
!!
(l + t)!(p + t)!t!(l p t)!( + + 1)!
t
12
0
0
k+n0 2k!2j!(l + p )!(l p )!(l + p)!(l p)!
= (1)
(k + n0 )!(k n0 )!(j + m0 )!(j m0 )!
X
(l t + j n0 )!(t + k + n0 )!
(1)t
.
(l + p0 t)!(p p0 + t)!t!(l p t)!(l + j + k + 1)!
t
X
(1)t
p0
21
p0
(2.8.5)
Esta equao pode ser usada para deduzir o mdulo quadrado dos coeficientes 3-j. Para
tanto fazemos m0 = j, n0 = k, p0 = p e assim,
!
j k l 2
(l + p)!(l p)! X
(l t + j + k)!
(1)t
.
=
j k p
(l + j + k + 1)! t
(l + p t)!t!(l p t)!
t)!(
t)!
!!(
)!
t
23
= l + p, obtemos
!2
l
(j + k + p)!(j + k p)!
.
=
(l + j + k + 1)!(j + k l)!
p
!
j k l 2
(2k)!(2j)!
.
=
j k p
(l + j + k + 1)!(j + k l)!
Todas as funes fl,p , com l fixo, podem ser multiplicadas por uma fase constante sem
causar alteraes na forma da representao reduzida. Escolheremos a fase escrevendo
!
1
j k l
(j + k + p)!(j + k p)! 2
2k2j
= (1)
.
(2.8.6)
(l + j + k + 1)!(j + k l)!
j k p
De (2.8.5) e (2.8.6), temos o resultado final para os coeficientes 3-j no nulos. Substitumos p por k j e m0 , n0 e p0 por m, n e p, respectivamente, assim obtendo
!
21
0
0
j k l
k+n0 2k!2j!(l + p )!(l p )!(l + p)!(l p)!
= (1)
(k + n0 )!(k n0 )!(j + m0 )!(j m0 )!
m n p
X
(l t + j n0 )!(t + k + n0 )!
(1)t
.
0 t)!(p p0 + t)!t!(l p t)!(l + j + k + 1)!
(l
+
p
t
j
k l
m n p
2jk+n
= (1)
X
(1)t
t
12
(l t + j n)!(t + k + n)!
.
(l + k j t)!t!t!(l k + j t)!
Observao 15. Vale observar que a soma em t nesta equao e em todas as anteriores
de tal forma que as funes fatoriais sejam no negativas. Note tambm que nesta escolha
de fase, todos os coeficientes 3-j so reais.
A condio de unitariedade na transformao (2.8.1) fornece duas identidades que os
coeficientes 3-j devem satisfazer
X
mn
X
lp
(2l + 1)
k l
k l0
m n p
!
j k l
m n p0
m n p
m 0 n0 p
!
=
ll0 pp0
,
2l + 1
(2.8.7)
!
= mm0 nn0 .
(2.8.8)
24
X
m0 n0
m0 n0 p0
Dj (A)m0 m Dk (A)n0 n =
k l
m n p
Dl (A)p0 p .
Podemos encontrar novas funes que podem ser transformadas por Dl (A), como, por
exemplo, de (2.7.12), temos que fl,p = (1)lp fl,p tem essa propriedade, onde devemos
considerar as funes fl,p como componentes contravariantes de um vetor cujas componentes covariantes so fl,p . Tais componentes covariantes e contravariantes so conectadas por
0
um tensor mtrico cujos elementos so dados por (gl )mm = (1)lm m,m0 .
1 3
Este tensor mtrico no simtrico quando l = , , , ento, temos que tomar
2 2
certos cuidados para subir e descer os ndices, por exemplo,
X
X
fm g m = (1)2l
f m gm .
(2.9.1)
m
so
!
k p
m n l
em (x)en (y).
k l
= (1)j+k+lmnp
m n p
25
k l
k l
!
= (1)j+k+l
m n p
= (1)2(j+k+l)
k l
m n p
m n p
!
j k l
.
m n p
, ento
k l
m n p0
0
mn
(2l + 1)
lp
j k l
m n p
!
!
m0 n0 p
j k l
j
m n p
ll0 pp0
,
(2l + 1)
(2.9.2)
= mm0 nn0 .
(2.9.3)
Agora, considere no espao de funes de trs variveis, gerado pelos produtos en1 (x)
em2 (y)en2 (z), l1 n1 l1 e etc, o produto direto de trs representaes Dl1 (A), Dj2 (A)
Uma maneira de reduzir o produto direto reduzir-se primeiro o produto Dl1 (A)
Dj2 (A). As componentes contravariantes das funes que fazem essa reduo so
!
X
l1 j2 n3 n1
1
n3
e (x)em2 (y).
fl3 (x, y) =
(2l3 + 1) 2
n1 m2 l3
n1 ,m2
Fazendo o produto direto Dl2 (A) (Dl1 (A) Dj2 (A)), temos:
!
X
l
l
m
1
2
3
1
fl3 n3 (x, y)en2 (z)
(gl3 )j1 m1 (x, y, z) =
(2j1 + 1) 2
n2 n3 j1
n2 ,n3
!
X
1
l
l
m
2
3
1
=
[(2l3 + 1) (2j1 + 1)] 2
n2 n3 j1
n1 ,n2 ,n3 ,m2
!
l1 j2 n3 n1
(2.9.4)
que pela invarincia de permutaes cclicas de trs colunas, podemos reescrever (2.9.4)
como:
X
l1
j2
n3
n1 m2
l3
1
2
m1
l2
j1
n2 n3
!
em2 (x)en1 (y)en2 (z).
l3
26
O produto direto tambm pode ser reduzido fazendo primeiro o produto direto Dl1 (A)
Dl2 (A) :
fj03 m3 (x, z) =
(2j3 + 1)
l1
1
2
n1 ,n2
l2
m3
n1 n2
j3
!
en1 (x)en2 (z).
Agora fazendo o produto direto Dj2 (A) (Dl1 (A) Dl2 (A)), obtemos:
m01
0
j3 j10
(g )
(x, y, z) =
(2j10 + 1)
m2 ,m3
j3
m01
m2 m3
j10
j2
1
2
!
em2 (y)fj03 m3 (x, z)
1
2
l1
l2
m3
n1 n2
j3
m01
j2
j10
m2 m3
j3
(2.9.5)
!
en1 (x)em2 (y)en2 (z).
As funes (gl3 )j1 m1 (x, y, z) e (gj0 3 )j10 m1 (x, y, z) so completas no espao de representao
do produto direto e possvel expandir um conjunto de funes em termos de outro. Sendo
assim, podemos escrever
X
(2.9.6)
j10 j3 m01
C(j1 l3 m1 , j10 j3 m01 )Dj1 (A)01 m01 (gj0 3 )j10 1 (x, y, z).
01
Este resultado multiplicado por Dj1 (A)mm0 e integrado sobre o grupo, nos fornece,
pelas propriedades de ortogonalidade,
(gl3 )j1 m (x, y, z) =
(2.9.7)
j3
27
1
2
(
)
j1 j2 j3
l1 l2 l3
(2.9.8)
m l2
l3
j1 n2 n3
l1
j2
n3
n1 m2
l3
!
X
C(j1 l3 m1 , j1 j3 m1 )
(2j3 + 1) 2
m3
j3
j2
j3
j1 m2 m3
l1
l2
m3
n1 n2
j3
!
.
.
l1 l2 l3
j1 m2 m3
n1 n2 j3
Subindo j1 e n2 nos dois lados da igualdade:
!
!
X j1 n2 l3
X
l1 j2 n3
=
(1)2l1 (2j3 + 1)
m
l
n
n
m
l
1
2
3
1
2
3
n3
j3 ,m3
(
)
!
!
j1 j2 j3
j1 j2 j3
l1 n2 m3
.
l1 l2 l3
m1 m2 m3
n1 l2 j3
Da propriedade de ortogonalidade (2.9.2) e de (2.9.1), temos uma forma mais simtrica
para a identidade:
X
n1
l2
j3
n1 n2 n3
l1
n2 m3
j1
n2
l3
m1
l2
n3
l1
j2
n3
n1 m2
l3
!
=
(
)
j1 j2 j3
l1 l2 l3
j1
j2
j3
m1 m2 m3
!
.
3
MOMENTO ANGULAR
(3.1.1)
30
3. MOMENTO ANGULAR
(3.2.1)
L := L1 iL2
(3.2.2)
(3.2.3)
(3.2.4)
(3.2.5)
31
3. MOMENTO ANGULAR
E, tambm temos:
L+ L = (L1 + iL2 )(L1 iL2 )
= L21 iL1 L2 + iL2 L1 + L22
= L21 i[L1 , L2 ] + L22
(3.2.6)
(3.2.7)
L+ L = L2 L3 + ~L3
L L+ = L2 L23 ~L3 .
(3.2.8)
(3.2.9)
32
3. MOMENTO ANGULAR
Demonstrao.
L+ L l,m = (L2 L23 + ~L3 )l,m
= L2 l,m L23 l,m + ~L3 l,m
= [l(l + 1)~2 (m~)2 + ~2 m]l,m
= [~2 (l + m)(l m + 1)]l,m .
L L+ l,m = (L2 L23 ~L3 )l,m
= L2 l,m L23 l,m ~L3 l,m
= [l(l + 1)~2 (m~)2 ~2 m]l,m
= [~2 (l m)(l + m + 1)]l,m .
Logo,
hl,m , L+ L l,m i = ~2 (l + m)(l m + 1)||l,m ||2
hl,m , L L+ l,m i = ~2 (l m)(l + m + 1)||l,m ||2 .
(3.2.10)
(3.2.11)
Como L = L ,
0 6 hL l,m , L l,m i = hl,m , L+ L l,m i
0 6 hL+ l,m , L+ l,m i = hl,m , L L+ l,m i .
Segue que
(l + m)(l m + 1) > 0 e (l m)(l + m + 1) > 0
Logo, vale
(1) l + m > 0 e l m + 1 > 0 ou
(2) l + m 6 0 e l m + 1 6 0
Vale tambm que:
Em (4), assim como em (2), temos uma contradio. Ento, por (3) temos que m 6 l.
Assim, conclumos que
l 6 m 6 l.
(3.2.12)
33
3. MOMENTO ANGULAR
Proposio 19. Seja l,m um autovetor no nulo de L2 e de L3 com autovalores
l(l + 1)~2 e m~, respectivamente. Ento
(1) m = l L l,m = 0.
Demonstrao.
(1) Por (3.2.10), temos que ||L l,m ||2 = ~2 (l + m)(l m + 1)||l,m ||2 . Por hiptese,
m = l. Logo, ||L l,l ||2 = ~2 [l + (l)][l (l) + 1]||l,l ||2 = 0. Como a norma
de um vetor zero se, e somente se, o vetor nulo, conclumos que todos os vetores
L l,l so nulos.
Por outro lado, se L l,m = 0, multiplicando a igualdade por L+ , obtemos
L+ L l,m = L+ 0
[~2 (l + m)(l m + 1)]l,m = 0
Logo, por (3.2.12), conclumos que a nica soluo m = l.
(2) Se m > l, por (3.2.10), ||L l,m ||2 6= 0. Sabemos que os operadores L e L2
comutam:
[L2 , L ]l,m = 0
m
L2 L l,m = L L2 l,m
= l(l + 1)~2 L l,m
Logo, L l,m um autovetor de L2 associado ao autovalor l(l + 1)~2 .
Agora, por (3.2.4):
34
3. MOMENTO ANGULAR
Assim, L l,m autovetor de L3 associado ao autovalor (m 1)~.
norma de um vetor zero se, e somente se, o vetor nulo, conclumos que todos
os vetores L+ l,m so nulos.
[L2 , L+ ]l,m = 0
m
L2 L+ l,m = L+ L2 l,m
= l(l + 1)~2 L+ l,m
Logo, L+ l,m um autovetor de L2 associado ao autovalor l(l + 1)~2 .
Agora, por (3.2.3):
35
3. MOMENTO ANGULAR
(3.3.1)
entre si.
Suponhamos, agora, que l,m seja outro autovetor de L2 e de L3 associado aos autovalores l(l + 1)~2 e m~, respectivamente. Assim, da mesma forma, os 2l + 1 vetores
l+m
L
l,m , , L l,m , l,m , L+ l,m , , Llm
+ l,m
(3.3.2)
tambm so autovetores no nulos de L2 , associados aos autovalores l(l + 1)~2 e autovetores no nulos de L3 , associados aos autovalores m~, com l 6 m 6 l.
tivamente.
Vamos mostrar, por induo, que U e V so ortogonais.
De fato, como os autovalores de L3 so ortogonais, basta mostrarmos que:
h(L )a l,m , (L )a l,m i = 0, a = 0, , l m
Para a = 0, imediato, pois hl,m |l,m i = 0, j que so ortogonais, por hiptese. Vamos
supor que
36
3. MOMENTO ANGULAR
Usando que L+ = L , temos
=
(3.2.9)
Agora, usando que (L+ )a1 l,m autovetor de L2 associado ao autovalor l(l + 1)~2 e
autovetor de L3 associado ao autovalor (m a 1)~, temos:
X=
onde Z uma matriz constante arbitrria. A integral representa a integral de cada elemento
D(g) Z D(g 1 ) e dg a medida de Haar em G. A matriz X satisfaz D(A)XD(A1 ) = X,
37
3. MOMENTO ANGULAR
pois
=
D(A)D(g) Z D(g 1 )D(A1 )dg
=
D(Ag) Z D((Ag)1 )dg
e pela invarincia da medida de Haar temos que D(A) X D(A1 ) = X.
Tr X
Assim, X = I, onde pode ser representada pela expresso =
, tal que n a
n
dimenso da representao, j que Tr I = n. Assim, podemos escrever:
Tr X =
Tr[D(g) Z D(g 1 )]dg
=
Tr[D(g)D(g 1 )Z]dg
=
Tr[IZ]dg
=
Tr Z dg
= Tr Z,
onde o volume do grupo definido pela integral. Portanto,
Tr Z
D(g) Z D (g 1 )dg =
I.
n
(3.4.1)
kl
Tr Z ij
,
n
(3.4.2)
mn ij
D(g)im D(g)jn dg =
.
n
Vamos considerar duas representaes irredutveis no equivalentes D1 (A) e D2 (A),
matrizes de dimenses m e n, respectivamente.
38
3. MOMENTO ANGULAR
3.5. Adio de Momento Angular
A adio de momento angular tem um importante papel em aplicaes de diversas reas
i~abc S1c e [S2a , S2b ] = i~abc S2c , a, b, c = x, y, z. O que nos d como consequncia direta
que para as componentes Sx , Sy e Sz do operador de spin total:
[Sx , Sy ] = i~Sz ;
[Sy , Sz ] = i~Sx ;
[Sz , Sx ] = i~Sy .
Os autovalores dos operadores sero dados por:
S2 = (S1 + S2 )2 : s(s + 1)~2
Sz = S1z + S2z : m~
S1z : m1 ~
S2z : m2 ~,
1
, 1, , e dados s1 e s2 autovalores de S1 e S2 ,
2
1
respectivamente, si mi si ; mi , si = , 0, , 1, , com i = 1, 2.
2
Podemos expandir o vetor correspondente a um estado de spin arbitrrio de dois eltrons
onde s m s; m, s = , 0,
39
3. MOMENTO ANGULAR
(1) A representao {m1 , m2 } baseada nos autovetores de S1z e S2z :
|+, +i , |+, i , |, +i , e |, i ,
1
1
onde |+, i representa m1 = , m2 = , e etc.
2
2
(2) A representao {s, m} baseada nos autovetores de S2 e Sz :
|s = 1, m = 1, 0i e |s = 0, m = 0i ,
(3.5.1)
O lado direito da igualdade (3.5.1) indica que temos ambos eltrons com spin up. A
partir desta igualdade, podemos aplicar o operador escada
S = S1 + S2
= (S1x iS1y ) + (S2x iS2y ),
da seguinte forma:
S |s = 1, m = 1i = (S1 + S2 ) |+, +i ,
obtendo
1 + 1 1 1 + 1 |s = 1, m = 0i =
1 1
+
2 2
1 1
+ 1 (|+, i + |, +i)
2 2
1
|s = 1, m = 0i = (|+, i + |, +i) .
2
(3.5.2)
(3.5.3)
1
|s = 0, m = 0i = (|+, i |, +i) .
2
(3.5.4)
Os coeficientes que aparecem do lado direito das equaes (3.5.1), (3.5.2), (3.5.3) e
(3.5.4) so alguns dos exemplos mais simples de coeficientes de Clebsch-Gordan, que so
os elementos da matriz de transformao que liga a base {m1 , m2 } base {s, m}.
40
3. MOMENTO ANGULAR
3.5.2. Formalismo da Adio de Momento Angular. Considere dois operado-
(3.5.5)
(3.5.6)
Mas,
[J1k , J2l ] = 0
para qualquer par de operadores de subespaos diferentes.
O operador de rotao infinitesimal que afeta ambos os subespaos escrito como
iJ1 n
iJ2 n
i(J1 1 + 1 J2 ) n
1
.
1
=1
~
~
~
A partir de (3.5.5) e (3.5.6), temos que J satisfaz as relaes de comutao de momento
angular
[Ji , Jj ] = i~ijk Jk ,
o que fisicamente faz sentido, j que J o gerador de todo o sistema.
O que vimos anteriormente sobre o espectro dos autovalores de J2 e Jz e a matriz dos
elementos dos operadores escada tambm so vlidos para J.
Podemos escolher entre duas opes de base de autovetores.
(1) Os autovetores simultneos de J21 , J22 , J1z e J2z , os quais denotaremos por |j1 , j2 ; m1 , m2 i .
As equaes de autovalor para esses operadores so definidas por:
J21 |j1 , j2 ; m1 , m2 i = j1 (j1 + 1)~2 |j1 , j2 ; m1 , m2 i ;
J1z |j1 , j2 ; m1 , m2 i = m1 ~ |j1 , j2 ; m1 , m2 i ;
J22 |j1 , j2 ; m1 , m2 i = j2 (j2 + 1)~2 |j1 , j2 ; m1 , m2 i ;
J2z |j1 , j2 ; m1 , m2 i = m2 ~ |j1 , j2 ; m1 , m2 i .
(2) Os autovetores simultneos de J21 , J22 , Jz e J2 , os quais denotaremos por |j1 , j2 ; mi .
Observe que, assim como no caso anterior, todos esses operadores comutam entre
si e, em particular, [J2 , J21 ] = 0, que fcil de ser mostrado reescrevendo J2 =
J21 + J22 + 2J1z J2z + J1+ J2 + J1 J2+ . As equaes de autovalor desses operadores
41
3. MOMENTO ANGULAR
so definidas por:
J21 |j1 , j2 ; mi = j1 (j1 + 1)~2 |j1 , j2 ; mi ;
J22 |j1 , j2 ; mi = j2 (j2 + 1)~2 |j1 , j2 ; mi ;
J2 |j1 , j2 ; mi = j(j + 1)~2 |j1 , j2 ; mi ;
Jz |j1 , j2 ; mi = m~ |j1 , j2 ; mi .
Observao 21. Mesmo que J2 comute com Jz , o mesmo no acontece entre J2 e J1z
nem com J2 e J2z , ou seja, no podemos acrescentar J2 na 1 opo e, da mesma forma,
no podemos adicionar J1z e J2z na 2 opo. Ento temos dois possveis conjuntos de
bases de vetores correspondentes aos dois conjuntos maximais de observveis mutualmente
compatveis que temos construdo.
Vamos considerar a seguinte transformao unitria que conecta as duas bases:
XX
|j1 , j2 ; j, mi =
|j1 , j2 ; m1 , m2 i hj1 , j2 ; m1 , m2 |j1 , j2 ; j, mi ,
m1
onde
XX
m1
m2
m2
(3.5.7)
Uma demonstrao simples desse fato pode ser obtida observando a seguinte igualdade
(Jz J1z J2z ) |j1 , j2 ; j, mi = 0.
Se multiplicarmos pela esquerda o vetor hj1 , j2 ; m1 , m2 | , obtemos
(m m1 m2 ) hj1 , j2 ; m1 , m2 |j1 , j2 ; j, mi = 0,
o que mostra a nossa igualdade.
Alm disso, vamos verificar quais valores j pode assumir. Vamos considerar as desigualdades (3.5.8) e (3.5.9).
j1 m1 j1 ,
j2 m2 j2 .
(3.5.8)
(3.5.9)
42
3. MOMENTO ANGULAR
j2 m m1 j2 .
(3.5.10)
Uma consequncia disso que como m varia entre j e +j, j pode assumir apenas os
valores
j = |j1 j2 |, |j1 j2 | + 1, , j1 + j2 1, j1 + j2 ,
e, ento o espao gerado pelo vetor |j1 , j2 ; m1 , m2 i tem a mesma dimenso do espao gerado
por |j1 , j2 ; j, mi .
N =
(2j + 1)
j=j1 j2
1
[2(j1 j2 ) + 1 + 2(j1 + j2 ) + 1] [2j2 + 1]
2
1
=
[4j1 + 2] [2j2 + 1]
2
= (2j1 + 1)(2j2 + 1).
=
E tambm
XX
m1
m2
43
3. MOMENTO ANGULAR
Para o caso especial em que j 0 = j, m0 = m = m1 + m2 , obtemos
XX
| hj1 , j2 ; m1 , m2 |j1 , j2 ; j, mi |2 = 1,
m1
m2
j1
j2
m1 m2 m
4
MODELO DE PONZANO-REGGE
W =
(1)2j (2j + 1)
arestas interiores
tringulos interiores
(
)
j1 j2 j3
tetraedro
j4 j5 j6
onde os pesos para cada simplex so determinados pelas etiquetas em cada simplex. Os
tringulos e arestas que aparecem so os que existem no interior da variedade. O peso para
um tetraedro um smbolo 6-j.
Observe na figura (4.1.1) como so etiquetados as arestas do tetraedro.
j4
j3
j2
j6
j5
j1
46
4. MODELO DE PONZANO-REGGE
O peso definido igual 0 se as condies de admissibilidade no so satisfeitas. Tais
condies so
j1 + j2 + j3 Z,
j1 + j2 + j3 0,
para cada tringulo. Alm disso, comum definir-se os valores de um smbolo 6-j iguais
zero caso essas condies no so satisfeitas em cada face.
Definindo
(
)
j j j
j1 j2 j3
1 2 3
2(j1 +j2 +j3 +j4 +j5 +j6 )
,
=i
j4 j5 j6
j4 j5 j6
obtemos uma frmula alternativa para o peso
Y
j
j
j
1 2 3
W0 =
(1)2j (2j + 1)
.
j4 j5 j6
arestas interiores
tetraedro
Y
uma deformao contnua do plano que mantm as arestas verticais e horizontais intactas.
47
4. MODELO DE PONZANO-REGGE
j3
j1
j2
com
j
resulta em
j
j
=
j
=
identidade
maximo
mnimo
cruzado
48
4. MODELO DE PONZANO-REGGE
= 2
e
+
=A
Estas relaes envolvem dois diferentes sinais que precisam de explicao, o menos em
(4.2) e a escolha do A = 1 em (4.2).
4.2.1. Sinal na categoria esfrica. O sinal de menos em (4.2) uma consequncia
da relao
Esta relao generaliza o caso de um loop rotulado com o spin j irredutvel. Neste caso,
49
4. MODELO DE PONZANO-REGGE
4.2.3. O Peso. "O peso do#modelo de Ponzano-Regge pode ser escrito usando redes
j1 j2 j3
de spin definindo-se
como sendo a rede de spin tetraedral
j4 j5 j6
j6
j5
j1
j2
j3
j4
j1 j2 j3
j4 j5 j6
.
=p
|(j1 , j2 , j3 )(j2 , j4 , j6 )(j3 , j4 , j5 )(j1 , j5 , j6 )|
Como o sinal de (j1 , j2 , j3 ) igual (1)j1 +j2 +j3 , o peso para a variedade fechada pode
ser escrito como
"
W =
Y
arestas
2j
(1) (2j + 1)
Y
tringulos
(j1 , j2 , j3 )
j1 j2 j3
tetraedro
j4 j5 j6
#
.
Referncias Bibliogrficas
[1] TALMAN, J. D. Special functions: A group theoretic approach. W. A. Benjamin, Inc., 1968.
[2] BARATA, J. C. A. Curso de fsica-matemtica. Verso de 27 de maio de 2015. 2119 pginas.
[3] BARRETT, J. W.; NAISH-GUZMAN, I. The ponzano-regge model. Classical and Quantum Gravity,
v. 26, n. 15, p. 155014, 2009.
[4] BRUSCHI, L. Los grupos su(2), so(3) y sus representaciones. Notas de aula da disciplina "Estructura
de la Materia 4".
[5] COHEN-TANNOUDJI, C.; DIU, B.; LALO, F. Quantum mechanics. Wiley, 1977.
[6] EDMONDS, A. R. Angular momentum in quantum mechanics. Princeton, N.J. : Princeton University
Press, 1957.
[7] KREYSZIG, E. Introductory functional analysis with application. Wiley, 1978.
[8] MAJOR, S. A. A spin network primer. American Journal of Physics, Woodbury, 1999.
[9] PENROSE, R. Angular momentum: An approach to combinatorial space-time. Quantum Theory and
Beyond, 1971.
[10] REGGE, T.; WILLIAMS, R. M. Discrete structures in gravity. J. Math. Phys., v. 41, p. 39643984,
2000.
[11] SAKURAI, J. J. Advanced quantum mechanics. Addison-Wesley, 1967.
51
Apndices
53
A
REDES DE SPIN
55
56
A. REDES DE SPIN
Figura A.1.1.
Considere cada linha como as linhas mundo das partculas. Podemos determinar o
tempo como sendo a direo, digamos de baixo para cima no diagrama. A direo que o
tempo anda no ser relevante, ento no nos preocuparemos com isto agora.
Colocaremos um nmero em cada linha. Este nmero, chamado de nmero de spin,
ser um inteiro e representar duas vezes o momento angular, em unidades de ~.
Figura A.1.2.
Observao. Esta figura apenas um modelo que descreve um tipo de situao da
teoria quntica, no deve ser considerada uma sugesto de que o universo desta forma
ou algo parecido.
Precisamos estabelecer algumas regras para construir o conceito de conservao de
momento angular. Antes, comearemos com algumas definies.
Chamaremos de norma o inteiro no-negativo associado cada diagrama (rede de spin).
Essa norma permite-nos calcular as probabilidades de vrios valores de spin em determinados experimentos simples.
57
A. REDES DE SPIN
Se definirmos uma direo no espao como algo associado uma N unit, com N um
valor suficientemente grande, podemos ento definir ngulos entre essas direes. Para
isso, vamos explicar usando um exemplo de um experimento. Suponha que separamos
uma 1-unit de uma N unit de tal forma que ficamos com (N 1)unit. Fazendo o
mesmo procedimento em alguma outra unidade M unit, ns teremos uma probabilidade
para que a nova unidade seja (M 1)unit e outra probabilidade para que seja (M +
1)unit. Conhecendo esses valores de probabilidade, temos informao sobre o ngulo
entre a N unit e a M unit. Por exemplo, dizemos que duas unidades so paralelas se a
esperadas so de 50% para cada. De maneira geral, para um ngulo entre duas unidades,
1 1
devemos esperar uma probabilidade de cos para que a unidade M unit seja reduzida
2 2
1 1
para uma (M 1)unit e de + cos que seja uma (M + 1)unit.
2 2
58
A. REDES DE SPIN
Agora, suponha que ns temos determinado nmero de sistemas no conectados entre si,
cada um produzindo uma N unit. Vamos tentar medir o ngulo entre dois desses sistemas.
Primeiro separo uma 1unit de uma das N units, deixando-a com (N 1)unit. Ento
eu conecto a 1unit a uma das outras N units, devendo encontrar que a probabilidade
1
(N + 1 1)
2
da segunda N unit se tornar (N 1)unit de
(tornando-se iguais quando
N +1
N ). Assim, se ns atribuirmos um ngulo entre essas unidades, este dever ser o
correto.