Escolar Documentos
Profissional Documentos
Cultura Documentos
COIOlO
bl/SlIllRO
,.
DlM/JlM^JlC/
TPICOS EM
MATEMTICA QUNTICA
DEREK HAKON
NICOLAU SALDANHA
GEORGE SVETLICHNY
CARLOS TOMEI
PAULO H. VIANA
IA !o Jd}l|O 7
lgebra de Lie e
lgebras Envolventes .
5. 1. 5 Representaes .
108
5.2 Grupos Qunticos . . . . 111
5.2.1 O Plano Quntico, a Matrizes Qunticas e os Grupos Qunticoslll
5.2.2 A
.
.
m
O,
se m 2: O,
se m< O.
para qualquer x E I (ou mesmo em outro corpo qualquer) e m E Z. A identidade
ainda vale para quaisquer valores de e m.
Existem inmeras interpretaes combinatrias para nmeros binomiais: a
mais conhecida que (:) o nmero de subconjuntos de m elementos de um
conjunto de n elementos dado (por exemplo, {1, 2, . . . , n} ). Outra interpretao
interessante como o nmero de caminhos de comprimento n (o valor mnimo)
ligando (O, m) e (n - m, O) andando sempre por retas verticais ou horizontais in
teiras, conforme ilustrado abaixo. Uma demonstrao bijetiva deste fato consiste
em tomar para cada caminho o conjunto das posies ao longo do caminho dos
segmentos verticais: este um subconjunto de m elementos de {l, 2, . . . , n } . O
caminho na fgura abaixo corresponde ao subconjunto {2, 3, 5, 10, 11, 14}.
Existem muitssimas identidades interessantes envolvendo nmeros binomiais.
Enunc
i
aremos agora algumas que sero usadas mais adiante.
1.1. NMEROS BINOMIAIS
.
Proposio 1.4: Para quaisquer n E N, . E Z exE C temos
11
Dem: Por induo em n, sendo trivial o caso n = O. O caso n = 1 a identidade
recursiva da Proposio 1.2 (apenas mudando o nome das variveis):
Suponha a identidade demonstrada para n; para n 1 temos
,'
'
'
j
,,.'
'
'
'
-j
-
_
'
X
: j'
,'
''
-j'
= _
X
:
j
_
X
-
-1
+
x- n
-
x- n -1
=
.
'
. .
o que demonstra a identidade para n 1 e conclui a demonstrao.
Corolrio 1.5: Seja n E Z um inteir positivo e P E C[ x], P( x)
-
2 a, x' , um
polinmio de grau menor do que n . Ento
12 CAPTULO 1. DOMINS E Q-CONTAGEM
Observe que apenas um nmero fnito de termos do primeiro somatrio so
diferentes de O: exatamente aqueles valores considerados no segundo somatrio.
Dem: Podemos escrever
donde, pela proposio anterior,
Proposio 1.6: Para quaisquer naturais ,:,L temos
(
b+'
)
b+l
('i')
(
b+o
)
b-a+
2
I i+j+ k + 2
. .
i+j+ k +l
O:i<a,0$;<b,0:k<c
Observe que a matriz quadrada de ordem Observe tambm que do lado
direito os papis de ,:e Lso intercambiveis, o que no ocorre do lado esquerdo.
Por outro lado, o lado esquerdo claramente inteiro; o leitor pode tentar mostrar
diretamente que o lado direito inteiro.
Na demonstrao da proposio usaremos a equao
de fcil demonstrao.
Dem: Os caos a = O e =1 so triviais. Definamos
('i')
M(, :,c, = (;;)
(
b+o
)
b-a+l
(
b+
'
)
b+l
('t')
(
b+o
)
b-a
+2
1.1. u MsrossiuoMi~is
por induo basta mostrar que
pois
Defna
det M(a, b, e)
det M(a - 1, b, e)
(
a
+b
t
c-1
)
(
+
:
-
')
13
P E <x] um polinmio de grau b + e - 1
.
Observe que r razes de P so
-e+ 1, -e+ 2, . . . , -2, -1 e a, a+ 11 , a+ b - 2, a+ b - 1; observe tambm
que
Seja v E C um vetor cuja i-sima coordenada v; = ( -1 )' P( a - 1 -i) ( i varia
deaa- 1):
Temos
pois (-b) = (
-
l)
b
(
a
+
-1
). Observe que as coordenadas de v so todas no nulas.
Vamos calcular o produto w = M(a, b, c)v.
Calculemos a i-sima coordenada Wi de w. Temos, por uma simples mudana
de ndices,
b+c
w; = { -1)'
b-i
. P(a- 1-j)
0:j<a
+
J
= {-1)
'-'Lb-is k <a+ b-i{-l)
c
c
r( +: : - / - i,
0$k<b-
i
S't
=
2 (-i,
c
r( + : - : - / - i,
a+b-
i
:k:b+c
Mas se /<:-: temos +:-: -/-i<+:,assim rse anula em todos
os termos do somatrio que defne s
i
-
e temos s
i
-
= o para qualquer valor de :
Por outro lado, s- :-z - +:-: / :+c-os -c+i +:-:-/-i<
e rse anula agora em todos os termos do somatrio que define s
i
+
.
Assim temos
wi = O para i < - 1. - : = - 1, o nico termo do somatrio sque no se
anula para / = :+e temos
e
= (
-
l
)
+b-1
+:+ - 1
Wa
-1
:
Temos assim
=
(-l
)
+b
-
I
(
a+b
t
c-l
)
e
a
-l
Podemos escrever v = (M(,:,c,,
-
donde
( ( ))
_1
( )
+b
-l
'
+:+ - 1
-
l
M , :, c
e
a
-i- -1
:
v.
Assim, a entrada ( - i, - 1) de (M(,:, c,,
(
+:-1
)
/(+
'i'
-1). Mas por
Cramer esta entrada det M(- 1, :,,/ det M(,:,,,o que conclui a demons
trao.
1.2 Nmeros binomiais e q-contagem
Na seo anterior supomos que o leitor conhecia a funo fatorial. Vamos comear
esta seo defnindo ( n ! )
q
Defnio 1.7: Seja n um natural; defnimos
q" - 1 q
n-l
-1 q
2
- 1 q - 1
(n ! )
q
=
q - 1 q- 1
q-1 q- 1
1.2. u MsrossiuoMi~issqcou1~csM
claro que podemos tambm definir recursivamente (O' ,,
= 1,
q
" - i
(' ,,
=
((- ,' ,, (q
n
-
l
+q"
-
2
+
+
q
+ , ((- ,' ,,.
q
-
Vejamos agora uma interpretao combinatria para estes polinmios.
15
Lembramos que o nmero de permutaes de {1, 2, . . - ,}. Definimos o
nmero de inverses i(7) de uma permutao 7r como sendo o nmero de pares
(i,j) com 1 i < j n tais que n( i) > n( j) .
Proposio 1.8: Seja n um natural; temos
2 q'
(
"
) +
( n i i ..
1ESn
Ou seja, o polinmio ( ,q serve para q-contar permutaes 7r com relao
a este ndice i(n).
Dem: Usando induo, basta mostrar que
Pensando em permutaes como listas de nmeros, um elemento de s
.
,
,
obtido
a partir de um elemento de s
.
inserindo o nmero +1 em alguma posio. Se
+ifor inserido no final, no criamos nenhuma nova inverso; se for inserido
na penltima posio, criamos uma inverso e fnalmente se for inserido no incio
criamos inverses. Em geral, a partir de uma permutao com /inverses
criamos + permutaes com /,/ i, /+novas inverses, o que demonstra
nossa frmula para ( ,,
Defnio 1.9: Sejam e inteiros. Defnimos
(qn
-
l
)(q
n-l_l) (
q
"-m+l-1
)
:
*
,
(q
m l
)(q
m 1)
(
q
!) '
q
o,
sem> O,
sem= O,
se < O.
Assim ()
q
E C
(q)
fica defnido para quaisquer ,inteiros. Observe que
substituindo
q por 1 recuperamos os nmeros binomiais. Observe tambm que
quando natural e O : : temos
(' ,,
,
+
( ,,
((- ,' ,,
16
c~ri:ui o1. ooMiu ssqcou:~csM
Estas defnies podem ser estendidas a domnios ainda maiores mas isto est
fora de nossos interesses neste captulo.
Proposio 1.10: Sejam e .um inteiros. Temos
,
.
. .
Dem: Bata substituir.
*
,
..
,
.
. .
No caso clssico, vimos que , um polinmio de grau .na varivel x. No
nosso caso, podemos fazer uma afrmao semelhante. Para todo natural .existe
um polinmio .E .de grau .na varivel tal que (;
.
=
.
1
)
.
1
i,
. .
= .
Um raciocnio combinatrio simples nos d a frmula de recorrncia, demons
trando que nossa interpretao correta. Seja (provisoriamen
t
e) (,b) o po
linmio em definido como acima em um retngulo x b. Se * O ou b = O
temos (,b) = (
!')
.
*
1
.
Se ,b 2 o ltimo trecho do caminho pode ser
vertical ou horizontal. Se for horizontal, retirando este ltimo trecho temos um
1.2. NMEROS BINOMIAIS E Q-CONTAGEM
17
caminho de mesma rea em um retngulo a x (b - 1). Se for vertical, retirando
este ltimo trecho temos um caminho em um retngulo (a - 1) x b, mas a rea
diminuiu de b. Somando estas contribuies temos
F(a, b)
=
F(a, b - 1) + q
'F
(a - 1 , b)
o que equivalente a recorrncia da proposio 1 . 1 0.
Esta interpretao til para ajudar a ver alguns fatos bsicos sobre (:}
q
'
Refetindo o retngulo (e os caminhos) na diagonal x = y temos ( " ) " (
n
)
m q n
-m
q
O grau de (;)
,
m(n - m), a rea total do retngulo; os coefcientes de 1 e de
q
m
(n
-m
) so ambos iguais a 1 1 correspondendo aos caminhos no extremo de baixo
e de cima. Girando o caminho de meia volta ao redor do centro do retngulo
trocamos o valor da rea dei por m(n-m) - : isto prova que os coeficientes de
qi e de q
m(
n
-
m
)-i so sempre iguais.
Existe uma outra definio combinatria importante para q-nmeros bino
miais usando lgebra linear sobre corpos finitos.
Proposio 1.11: Seja !
q
o corpo fnito com q elementos (onde q uma
potncia de primo) e seja V um 1
q
-espao vetorial de dimenso n; vtem exata
mente (;
q
subespaos W de dimenso m.
Observemos que aqui, pela primeira vez, q deixa de ser uma varivel pura
mente formal e passa a assumir valores inteiros, de tal forma que (:) q passa
tambm a assumir valores inteiros. Daremos duas demonstraes independentes
para esta nova interpretao combinatria de (:)
q
: uma por induo, usando
as frmula de recorrncia, e outra relacionando mais diretamente este problema
combinatrio com o primeiro (que fala de caminhos em uma grade) .
Dem: A demonstrao por induo. Chamamos provisoriamente de f(n, m, q)
o nmero de subespaos de dimenso m de V= I. Como s existe um subespao
de dimenso O e um subespao de dimenso n, temos f(n, O, q) = f(n, n, q) *
1
para todo n ; O. Para calcular f(n + 1, m + 1, q), consideremos V = w e V *
r
+1
Seja W e V um subespao de dimenso m+l; a dimenso de W
1
* WnV
pode ser m ou m + 1. No primeiro caso temos f(n, m, q) possveis W1 e cada
um deles precisa ser engordado com um elemento de V - V para virar um W:
existem q
n
+l - q" = q"(q - 1) elementos de v V mas cada W gerado por
q
m+
l
-q
m
* q
m
(q-1) destes elementos. Assim, temos q
n
-m
f(n, m, q) subespaos
W para os quais W n V tem dimenso m. Por outro lado, temos
J
(n, m + 1, q)
subespaos W para os quais esta dimenso m+ 1; somando os dois casos temos
f(n+ l, m+ l
, q) * q"
-m
f(n, m, q) +
J
(n, m+
l
, q)
;
como esta recorrncia a mesma que encontramos para (:)
q
e as condies iniciais
tambm so as mesmas temos f(n, m, q) = (:)
q
.
18 CAPTULO 1. DOMINS E Q-CONTAGEM
Para a segunda demonstrao, lembramos que podemos descrever um subes
pao W (de dimenso m) de K" (onde K um corpo) via uma matriz A E K
m
xn
de posto m: W o espao gerado pelas linhas de A. Para cada subespao W
existem muitas matrizes A correspondentes: mais precisamente, duas matrizes
A1 e A2 definem o mesmo subespao W se e somente se existe uma matriz qua
drada inversvel B com A1
=
BA2 A forma usual de tomar um representante
de cada classe de equivalncia considerar matrizes escalonadas por linhas, i.e.1
para cada A E K
m
x
n
de posto m existe uma nica matriz inversvel B tal que
BA escalonada por linhas. Lembramos que uma matriz escalonada por linhas
aquela que satisfaz as seguintes condies:
o primeiro elemento no nulo de cada linha sempre
1
,
em uma coluna onde aparece o primeiro elemento no nulo de uma linha
todos os outros elementos so iguais a O,
se a linha i1 est acima da linha i2, o primeiro elemento no nulo da linha
i1 aparece antes do primeiro elemento no nulo da linha i2.
Um exemplo talvez torne mais claro o significado destas condies; a matriz
(o 1 * o o *)
A= O O O 1 O *
o o o o
1
^
escalonada por linhas, onde os *'s indicam posies que podem ser preenchidas
com qualquer elemento de K. Chamemos de tipo de W (ou de A) ao conjunto
dos ndices (j) das colunas onde aparece o primeiro elemento no nulo de al
guma linha: o exemplo acima tem tipo {2
i
41 5}; mais precisamente, variando o
valor dos *
i
s temos todas as matrizes A de tipo {2
1
4
1
5}. Os tipos possveis so
os subespaos de m elementos de {1, 2, . . . n}, que equivalem aos caminhos em
um retngulo de m linhas e n m colunas: este caminho obtido a partir da
matriz jogando fora as colunas onde aparece o primeiro elemento no nulo de al
guma linha (estas colunas so obrigatoriamente preenchidas pelos vetores da base
cannica) e separando as posies O (onde devemos obrigatoriamente escrever O)
das posies * (onde temos liberdade de escrever qualquer elemento de K
)
. O
caminho correspondente matriz A acima est indicado a seguir.
Vejamos agora resultados anlogos aos da primeira seo.
Proposio 1.12: Para quaisquer n E N, m1 f E temos
L ( 1 ) i
q
(;
)
=
qn
(e-
m
)
f
-
n
O:J:
n
J
m m n
1.2. NMEROS BINOMIAIS E Q-CONTAGEM 19
.... . ....r ..====== . . ++====+
Dem: Por induo em n1 sendo trivial o caso n * O. O caso n * 1 a identidade
recursiva da Proposio 1. 10 (apenas mudando o nome das variveis):
1
.
*
q
'
-
m .1
.
m q m q m l q
Suponha a identidade demonstrada para n; para n +1 temos
o que demonstra a identidade para n +ie conclui a demonstrao.
Observe a total analogia entre a Proposio 1.4 e a Proposio 1.12; at a
demonstrao da proposio mais geral obtida simplesmente inserindo q nos
lugares apropriados.
Corolrio 1.13: Seja n um inteiro positivo e P E <q) [X] um polinmio de
grau menor do que n em X. Ento
Dem: Anloga do Corolrio 1.5, usando a Proposio 1.12.
ze CAPTULO 1. DOMINS E Q-CONTAGEM
Finalmente, a Proposio
1
.
1
4 abaixo anloga Proposio 1.6.
Proposio 1.14: Para quaisquer naturais ,:,e temos
det
q
(
:
J
(
'i')
@
(';')
(
'+o
)
q
b-1
@
{'-;+')
(
b+o
)
{'-;+')
(
b+
o
) q
b
-
a+
l
@
q
b-
a+2 @
('+;-)
(
b+o
)
q
b+a-1
@
(b+;-')
(
b+o
)
q
b+a-2
@
q
i
+j+k+2
- 1
= q
()
I
i
+j+k+I - 1
.
O:i<a,O:j<b,O:k<c
q
Novamente o lado direito invariante por permutaes de a, :,Lg o que no
evidente para o lado esquerdo. Por outro lado, o lado esquerdo claramente um
polinmio em q; o leitor convidado a tentar demonstrar diretamente que o lado
direito um polinmio em q
.
Usaremos na demonstrao a equao
que vem de escrevermos
(
;),
(q" - l){q
n-
l
- 1)
. . .
(q
n-m+2
-
l
){q
n-m+l
-
1
)
(
-n
;
-1
)
,
(q-
n+m-1 l
){q
-n+m-2 1
)
,,, (q-
n+
l -
l
){q
-n
- 1
)
q
n
1
q
n-1
1
q
n-m+2
1
q
n-m+l
1
=
--
q
-n
1
q
-
n+l 1
q
-n+m
-
2 1
q
-n+m-1
1
= (
-q")(-q"
-1
)
. .. (
-
q
n-m+2
)(-q
n-m+l
) =
{-lrq
(
"
i
'
)-(
-
;-
+
>
)
.
Como a demonstrao segue muito de perto a da Proposio 1.6 seremos um
pouco mais sucintos.
Dem: Seja
M
,
(, :,e) =
q
m
('t'l,
(';')
(
'+'
)
q
b
-1
@
('!')
(
'+
'
)
q
b+l @
q
Cl
('i')
,
{'-;+>)
(
b+o
)
(-;+>)
(
b+o
) q
b-a+
l
@
q
b
-a+2 @
por induo, basta mostrar que
(
(
a+b+o-1
)
det M, , :, c,
==
(
:
)
b
,
det M (a -
e)
q
(
+b-1
)
@
)
1
b @
(
'+;-)
(
b+o
) q
b+a-1 @
('+;-')
(
b+
o
) q
b+a-2 @
1.2. NMEROS BINOMIAIS E Q-CONTAGEM 21
Defna
P,(f)
-a
b
+
f
;
observe que P,(
f
) pode ser escrito como P(q') onde P E C(q)[X] tem grau b+ c-1.
Temos P,(-c + l)
-P,(-c + 2) - -
P,(-2) -P,(-1) = O, P,(a) -
P,(a+ 1) P,(a+ b - 2) P,(a+ b
-
1) O e
P,(-c)
-
-a
b
-
.
-
(-l
)
b+a-l
q
-(:J-(+:+)+
(
i
'
)
a+ b L "1
;
Seja 1 E (C(q))
dado por 1(-l) 'P,(a-i - 1):
ou seja
Temos
1 -
( P,(a - 1) , -P,(a - 2) ,
.
,
(-1)
-
2
P,( l) , (-1)
-
1
P,(O) )
-
(-l
)
+b-1 -(
i"
)+(;)
+ b - 1
V
a-1
Q
b
Se .
-M,(a, b , c)1 temos
L
(
"
-
<
+
'
)
b + L
,,
L
(-l} "q
e
c
P,(a+b -i-
k - 1)
b-
i
:k<a+b-
i
e usando o corolrio acima temos que
onde
L (-1 J q
m
c
P,(a+b -i-k - 1)
0:k<b
-
i
- L (-1J q
m
c
P,(a+b -i-k - 1).
a+b-
i
:k:b+c
22 c~ri1uio1. uoMiuJssqcou1~csM
Mas se O : /< :-:temos +:-:-/-i < +:,assim rse anula em todos
os termos do somatrio que defne s
i
- e temos Si = O para qualquer valor de :.
Por outro lado, sei< -i e
+:-: _/ _ :+c temos -c <+-: -/-i <O
e P se anula agora em todos os termos do somatrio que defne Si. Assim temos
wi = O para :< -
1
. Se := - 1, o nico termo do somatrio S{ que no se
anula para /= :+e temos
e
s;_1 = (-l)
b
+
'q
('
t'
)
= -
q
(
'i
')
-
(
;
)
-
(
+:+
')+("
i
')
+: - 1
Podemos escrever
,
= (M(,:,c)J-
1
w donde
(M(,:,c))-
1
e0
_
1
= (-1)
+
'-1
q
-
('
i')+()+(+:+
')
-
(
"i'
)
+: 1
,
Assim, a entrada (- i,- 1) de (M,(,:,c))
-
1
pois
(
+
b
-
1
)
(
+
b-
1
)
-
(t'l+(;)
-
('
t'
l+G+(+:+')
-
(
"
t
'
l ' ,
=
m '
q
(
+
b
r
c-`
)
q
(+
b
rc
-
i
)
q
de fato, basta observar que () um polinmio de grau 2. Mas por Cramer esta
entrada det M(- i,:,det M(,:,o que conclui a demonstrao.
1.3 Coberturas por domins e por lozangos
Um problema clssico de combinatria o de contar as coberturas por arestas de
um gafo, freqentemente de um grafo bipartido. Uma cobertura por arestas
um conjunto de arestas do grafo tal que todo vrtice o extremo de exatamente
uma aresta do conjunto. No tentaremos discutir o problema nesta verso geral:
estaremos apenas interessados em grafos que, informalmente falando, so local
mente como '
2
O graf '2 o grafo infinito cujos vrtices so pares ( :,j), com
1.3. CO BERTURAS POR DOMINS E POR LOZANGOS 23
:, ,E Z, com arestas ligando (:,,,a (: 1,j) e (:,, 1). No veremos aqui a
defnio desta classe de grafos; consideraremos apenas uma subclasse j bastante
rica, a dos subgrafs (no necessariamente completos) conexos e fnitos de Z2 A
fgura abaixo mostra exemplos de grafos deste tipo.
Uma forma til de desenhar este tipo de grafo substituir cada vrtice por
um quadrado unitrio. Vrtices vizinhos correspondem a quadrados adjacentes;
quando dois vrtices vizinhos em Z2 pertencem a nosso grafo mas a aresta que
os liga no
1
dizemos que h uma parede entre os quadrados. Assim, um grafo
vira uma regio quadriculada, possivelmente com paredes internas. Os grafos da
fgura anterior correspondem s regies abaixo.
.. .... ... ...
..
..
.
.. ..
T
++. ..
T
.. ... . .....
T
.. ..--;
-..- ++.t...- +.+... ... .... ..+.. .+
: : : :
Arestas no grafo podem ser traduzidas como domins dentro da regio cor
respondente: o domin cobre os quadrados associados aos vrtices da aresta. Da
nossa identifcao entre coberturas por arestas e coberturas por domins: uma
cobertura por domins simplesmente uma forma de encher uma caixa (a regio)
com domins. A fgura abaixo mostra uma cobertura por arestas de um grafo e
a cobertura por domins a ele associada.
......... ....++.+.g
Uma classe de regies similar a de regies formadas por tringulos equilteros
de aresta 1; regies deste tipo correspondem a subgrafos da "colmia infnita"
mostrada abaixo. Ao invs de domins, devemos considerar lozangos de lado 1
24 CAPTULO 1. DOMINS E Q-CONTAGEM
e ngulos internos de /3 e 27 /3; como antes, coberturas por arestas no grafo
correspondem a coberturas por lozangos na regio: a fgura abaixo mostra um
exemplo desta correspondncia.
__ ,-i-
---
Um dos nossos objetivos neste captulo o de mostrar como contar coberturas.
Chamando a cobertura tpica de T, queremos assim calcular Z::
r
1. Na prxima
seo atribuiremos a cada cobertura 1um ndice h(T) que nos permitir q-contar
coberturas, i.e., calcular
Lr
q
h(T
)
.
1.4. FUNES ALTURA E A ALTURA TOTAL DE UMA CO BERTURA 25
1.4 Funes altura e a altura total de uma co
bertura
Uma das ferramentas mais simples e poderosas para o estudo de coberturas por
domins ou Iozangos so as funes atura. A orma mais simples de apresentar
funes altura provavelmente olhar para uma cobertura por lozangos, talvez
pintando os lozangos como abaixo.
Olhando para esta fgura, quase inevitvel ver uma pilha de cubos unitrios
([DT]). Se as arestas dos cubos frem paralelas aos eixos x, y e z, a fgura
obtida projetando ortogonalmente a pilha sobre o plano x + y + z = O. O valor
de x + y + z em um vrtice deduzido portanto no pela posio do vrtice
no plano e sim pela interpretao da fgura como projeo em um plano de um
objeto tridimensional. Ou seja, o valor de x + y + z depende da cobertura por
lozangos mas x-y, x-z ou y-z no: x+y+z nossa funo altura. Na fgura
abaixo indicamos o valor da funo altura e as coordenadas em J3 dos vrtices
dos lozangos.
interessante tornar independente de visualizao o processo de obter a
funo altura de uma cobertura de lozangos. Observemos que bordos de lo
zangos tm trs direes possveis, correspondentes aos trs eixos (em I3)
.
Se
andamos sobre um bordo de lozango o valor da coordenada correspondente ao
eixo sobe ou desce de 1 e as demais coordenadas permanecem constantesj o valor
da fno alturax+y+z deve portanto tambm subir ou descer de 1 dependendo
da direo
)
conforme indicado pelas setas na fgura abaixo. Isto nos permite cal
cular a diferena entre o valor da funo altura em dois pontos: completamos a
26 CAPTULO 1. DOMINS E Q-CONTAGEM
2 (0,0,2)
4 (0,2,2)
4 (1,1,2)
2 (
1
,0,1) 2 (O,l,l)
3 (0,2,l)
2 (0,2,0)
4 (2,2,0)
definio escolhendo um ponto do bordo da regio como ponto base e declarando
que a funo altura neste ponto zero. Resta demonstrar que a defnio acima
consistente, i.e., que o valor da funo altura em um dado ponto independe
da escolha do caminho ou, equivalentemente, que o aumento no valor da funo
corresponde
1
_te a um caminho fechado sempre zero.
Vemos que as setas orientam os bordos de tringulos equilteros, no sentido
anti-horrio para tringulos com vrtice para a esquerda e no sentido horrio
para tringulos com vrtice para a direita. Se mantivermos todas as arestas este
padro de setinhas (uma espcie de 1-frma discreta) no pode ser integrado, i.e.,
no existe uma funo tal que o padro de setinhas descreva a diferena entre o
valor da funo em pontos vizinhos. Voltando analogia com formas diferenciais,
isto ocorre porque o contorno de um tringulo tem integral 3 ou -3, ou seja, a
forma no exata. Se juntarmos os tringulos dois a dois em uma cobertura por
lozangos e eliminarmos as arestas interiores aos lozangos ento a integral ao redor
de cada lozango passa a ser O e a 1-forma passa a ser pelo menos fchada.
Se a regio for simplesmente conexa podemos concluir que a 1-forma exata
e integr-la para obter a funo altura. Se a regio no for simplesmente conexa,
nem sempre podemos definir globalmente uma funo altura (da mesma frma
1.4. FUNES ALTURA E A ALTURA TOTAL DE UMA CO BERTURA 27
que no podemos defnir uma funo argumento em J
2
{O}). Podemos ou
introduzir um corte ou definir um conceito de seo altura ([STCR]). Aqui con
sideraremos apenas regies simplesmente conexas de modo que no discutiremos
estas difculdades.
-1
Esta segunda frma de definir a funo altura {localmente via diferenas)
generaliza-se facilmente para domins. Pintamos os quadrados de branco e pre
to; definimos que ao andar pelo bordo de um domin o valor da funo altura
aumenta de 1 (resp., diminui de 1) se o quadrado esquerda do caminho branco
(resp., preto) . Em outras palavras, o bordo de quadrados brancos (resp. pretos)
orientado no sentido anti-horrio (resp. horrio) . Como no caso dos lozangos,
isto nos permite associar uma funo altura a cada cobertura por domins de uma
regio simplesmente conexa. A figura abaixo mostra a funo altura associada a
uma cobertura por domins.
Funes altura permitem demonstrar que o espao das coberturas por lozangos
ou domins de regies simplesmente conexas so conexos via alguns movimentos
simples chamados ips ([T], [STCR]). Para domins, um ip consiste em tomar
dois domins paralelos vizinhos formando um quadrado 2 x 2 e gir-los de 90;
para lozangos um fip consiste em tomar trs lozangos vizinhos formando um
hexgono regular e gir-los de 60. O que h de especial nestes movimentos
que eles alteram o valor da funo altura em um nico ponto: o centro do
quadrado ou hexgono. Flips podem assim ser naturalmente classifcados como
positivos (quando aumentam o valor da funo altura) ou negativos (caso con
trrio) . Porfmos defnir a altura total de uma cobertura como sendo o nmero
28
CAPTULO 1. DOMINS E Q-CONTAGEM
-1
o
-1
o o
2 -1
1-
-3 o
+ + + + - + + -1 -
2 -1
2
1- .......
2
o o
de fips positivos menos o nmero de fips negativos usados para chagar na co
bertura em questo a partir de uma cobertura fixa, chamada de cobertura base.
Equivalentemente, podemos calcular a altura total de uma cobertura tomando a
funo altura para a cobertura, subtraindo da a funo altura para a cobertura
base, somando o valor desta diferena sobre todos os vrtices de domin (resp.,
lozango) e dividindo o total por 4 (resp. , 3). Para o caso de coberturas por lo
zangos, a altura total simplesmente o nmero de cubinhos na pilha de cubos
correspondente. Denotaremos a altura total de uma cobertura T por h(T).
1.5 Matrizes de Kasteleyn
Kasteleyn resolveu o problema de contar coberturas por domins de um retngulo
n x m calculando o determinante de uma matriz. Veremos como usar o determi
nante de uma matriz K com coefcientes da forma qe, e E Z, para q-contar as
coberturas por domins de uma regio: como esta matriz uma generalizao da
contruida por Kasteleyn vamos cham-la de matriz de Kasteleyn.
Lembramos que a matriz de adjacncia
A
de um grafo uma matriz simtrica
com uma linha (e uma coluna) correspondente a cada vrtice do grafo. O coef
ciente ai; igual a 1 se os vrtices :e j forem adjacentes e O caso contrrio. Se
o grafo for bipartido, teremos
A
=
desde que listemos primeiro todos os vrtices brancos e depois os vrtices pretos.
Assim, na matriz B, linhas correspondem a vrtices brancos e colunas correspon
dem a vrtices pretos e bi; = 1 se o vrtice branco : vizinho do vrtice preto j e O
1.5. MATRZES DE KASTELEYN
29
caso contrrio. Na figura abaixo mostramos um exemplo de regio quadriculada
e seu grafo bipartido correspondente. Neste exemplo
1 1 1 o o o
1 o 1 1 o o
B =
o 1 1 o 1 o
o o 1 1 1 1
o o o 1 o 1
o o o o 1 1
Cada cobertura por arestas do grafo corresponder a um monmio no nulo na
expanso de det(B); o determinante ser portanto o nmero de coberturas "pa
res" menos o nmero de coberturas "mpares''. Em outras palavras, o nmero de
coberturas por arestas do grafo o permanente de B; infelizmente o permanente
tem muito menos propriedades algbricas interessantes do que o determinante.
No caso de coberturas por domins, podemos construir a partir de B uma
matriz K tal que
det(K) = 2:1.
T
A mgica consiste em fazer com que o sinal do produto dos coeficientes cor
respondentes a uma cobertura tenha sempre o mesmo sinal que a permutao
correspondente, de tal forma que as contribuies ao determinante sempre se so
mam. Podemos ainda construir uma matriz K
q
multiplicando alguns coeficientes
de K por potncias de q de tal forma que
det(K,) =
L
q
h(T)
_
T
Vejamos um exemplo: na figura abaixo indicamos os coefcientes a serem intro
duzidos na matriz Kq perto de cada aresta. Assim, a entrada i, j de K
q
tem o
30
CAPTULO 1. DOMINS E Q-CONTAGEM
valor indicado na aresta que liga o vrtice :branco ao vrtice j preto, ou zero se
no existir tal aresta (os vrtices so numerados na ordem em que se l). Temos
1 1 1 o o o
1 o
-
q
-1
1 o o
K, =
o 1
-
q o 1 o
o o 1 q
2
q
-2
1
o o o 1 o
-
q
-
3
o o o o 1
-
q
'
e det(K) =
q
3
+ q
2
+ 2
q
+ 3 + 2q
-1
+q
-2
+
q-
3
.
1 1
-
1 1 1
1
-
1
/
q
-
q
)
1 1 1
2
l
/
c q
1 1 1
3 3
-
1
/
q -q
v
Estes coeficientes podem ser construidos da seguinte forma: tome as arestas
de uma cobertura e atribua a elas coeficientes tais que o monmio correspon
dente traga a contribuio correta ao determinante de Kq A seguir, tome uma
sub-rvore maximal do grafo contendo todas as arestas j consideradas na fase
anterior e atribua a todas as novas arestas desta rvore coeficientes arbitrrios
(por exemplo, sempre 1). Procure agora um quadrado (i.e., uma posio de fip)
tal que trs das arestas j tenham coefcientes e atribua aresta restante um
coefciente tal que o produto dos coefcientes sobre as duas arestas corresponden
tes ao flip positivo seja -
q
vezes o produto dos coefcientes sobre as outras dua
arestas. Repita o processo at que todas as arestam tenham recebido coefcientes.
A construo garante que se uma cobertura traz a contribuio correta a
det K, ento toda cobertura vizinha por um fip tambm traz a contribuio
correta. Observe que a paridade da permutao invertida a cada fip mas o sinal
1.6. RESULTADOS DE CONTAGEM 31
do produto dos coeficientes dr arestru est sendo devidamente compensado. Se
a regio for simplesmente conexa ento todas as coberturas so ligadas por fips,
o que demonstra nossa afrmao.
O caso de coberturas por lozangos anlogo, com a diferena que fips no
mais invertem a paridade da permutao. Assim, para atribuir coeficientes
arestas que no pertencem rvore maximal devemos procurar hexgonos tais
que cinco das seis arestas j receberam coeficientes e fazer com que o produto
dos coefcientes das trs arestas correspondentes ao fip positivo seja q vezes o
produto dos coefcientes sobre as outras trs arestas.
1.6 Resultados de contagem
O mtodo das matrizes de Kasteleyn, exposto na seo anterior
1
permite demons
trar vrios resultados de contagem ou q-contagem de coberturas de lozangos ou
domins. Selecionamos para serem enunciados trs resultados clssicos deste ti
po, devidos a MacMahon [M], Kruteleyn [K] e Elkies, Kuperberg, Larsen e Propp
[EKLP].
Teorema 1. 15: [K] Considere o retngulo de lados inteiros a e b; seja N o
nmero de coberturr por domins deste retngulo. Sejam " = exp(27i/(a+ 1))
e (
= exp(27i/(b + 1)) Ento
N'
=
I
i=l. .. aJ=l. b
Para o prximo teorema, definimos o diamante asteca de lado n como sendo
a unio dos quadrados unitrios inteiros
[i, i +l] X [j,j
+l
]
J
2
para os quais
-n 2 < i + j < n;
a fgura mostra o diamante ruteca de lado 3.
Teorema 1.16: [EKLP] Considere o diamante asteca de lado n. Temos
sum
r
q
h(T
)
=
I
(1 + q
2k+l
r-.
0:k<n
As demonstraes destes dois teoremas sero omitidas; diga-se apenas que
eles admitem demonstraes por um mtodo razoavelmente semelhante ao que
32 CAPTULO 1. DOMINS E Q-CONTAGEM
usaremos para o Teorema 1.17. Este mtodo conhecido como matrizes de trans
ferncia (transfer matrices) .
Teorema 1.17: [M] Considere o hexgono de lados inteiros a, b, L_ a, b, L c om
todos os ngul os interos iguais a 21 /3. Ento
" h(T)
I
q
i
+j+k+l
1
J
o:i<a,O:i<b,0:k<c
q
T
onde 1varia sobre t odas as c oberturas por lozangos unitri os do hexgono.
A fgura mostra um hexgono de lados 2, 2, 2. Lembramos que a iriterpretao
tridimensional diz que estas coberturas podem ser interpretadas como pilha de
cubos.
Dem: Supomos que a o tamanho do lado vertical e b o tamanho do lado
seguinte {no sentido anti-horrio). Pelo que vimos nas sees anteriores, temos
L
q
h
(
T
)
= q' det(B)
T
1.6. RESULTADOS DE CONTAGEM 33
onde B defnida por
- 1
2 2
9 9
sendo que o sinal e o fator q
*
esto presentes para corrigir o valor do monmio
correspondente cobertura de altura zero. Os ndices para os vrtices podem
parecer estranhos mas foram escolhidos de tal forma que se :> a ento os vizinhos
do vrtice branco :todos tm ndices maiores ou iguais a :Assim a matriz B
da frma
+
B=
o +
o o +
^
o o o +
onde os + representam entradas da forma q
*
; i.e., B tem um grande bloco trian
gular superior antecedido de a linhas e colunas '1sujas
11
Para calcular o determinante de B bastaria escalon-la usando as linhas de
baixo para limpar as duas primeiras linhas sem alterar o determinante, obtendo
assim uma matriz B' da forma
o o o o
^ ^ o o o o
+
^
B' =
^ ^ o +
o o +
^ o o o +
34 CAPTULO 1. DOMINS E Q-CONTAGEM
cujo determinante igual ao do bloquinho a x a no canto superior esquerdo; nossa
misso portanto encontrar este bloquinho B.
Mas B' = X B onde X da forma
i e * * * *
e 1 * * * *
e e i e e e
X =
e e e i e e
e e e e i e
e e e e e 1
a i-sima linha (i : a) um vetor (v;)' tal que
(v;)'B = (* * 00 ' ' ' 00) = ((w;)
'
OO ' ' ' 00)g
i.e., tal que as a primeiras coordenadas so as nicas no nulas; chamando estas
a primeiras coordenadas de Wi temos
(w
i
)
'
E
=
:
:
:
:
e resta-nos encontrar os vetores Vi e Wi
O vetor Vi associa a cada vrtice branco um coeficiente em C(
q
)
; a fgura
mostra v1 no nosso exemplo favorito (a forma como os coefcientes foram obtidos
ser explicada a seguir):
o
O vetor (vi)tB, por outro lado, associa um coeficiente a cada vrtice preto. Para
obter o coefciente de um vrtice devemos somar os coefcientes dos vrtices vizi
nhos multiplicados pelos coeficientes das arestas. Vejamos w1 no nosso exemplo:
1.6. RESULTADOS DE CONTAGEM
35
Os coeficientes de v
i
podem ser preenchidos obedecendo a ordem dos vrtices
brancos. Inicialmente tomamos os valores obrigatrios nas primeiras coorde
nadas (1 na i-sima coordenada, O nas demais) . Depois preenchemos o j-simo
vrtice branco (j >,com o valor necessrio para que a j-sima coordenada de
(v
i
)tB seja igual a O: a estrutura da matriz B garante que isto sempre possvel
de forma nica. Finalmente, calculamos os primeiros a coefcientes de (v
i
)tB, que
nos do o vetor Wi.
Os coeficientes de B foram escolhidos de tal frma que os coefcientes de v;
so da forma
e o j-simo coefciente de w
i
(
b+c
)(
i-1
)
+(\)
b +e
b
+
.
'
_, J
Assim, a menos de multiplicar linhas e colunas por potncias de
coincide
com
('i'
l,
(
;')
(
'
+'
)
b-1 @
e-;+')
(
b+c
)
b-a+I @
('t')
(
'+
'
)
b+l @
(
'i'
l'
(-;+')
(
b+c
)
q
b
-
a+2 @
('+;-')
(
b+c
)
b+a-1 @
('+;-')
(
b+c
)
q
b+a-2
@
('!'),
a matriz da proposio 1.14 acima. Como det
*
Lr
q
h(T
),
usando esta
proposio temos
como o coeficiente de
=
.
- bL
1
J
, /= .
b
k =
.
.
.
. /= 1,
1.
Perdemos um grau de liberdade no processo: .variveis (x.,
Yk
) viraram .-1
variveis .b
k
). O grau que falta justamente a conservao do momento linear:
os detalhes que mostram que nada se perdeu no estudo da dinmica podem ser
encontrados em [To J
.
Agora, considere as matrizes tridiagonais
.
o
'
1
o
Z
o
L = b,
.
B = b, o
bn
-
1 'H n
-
1
Uma conta mostra que a equaes de evoluo das variveis .
.
e
.
correspondem
evoluo matricial
t = [L, B] = L B - BL.
2.2. O CASO ABERTO 39
No caso peridico, alteraes mnimas do argumento acima transformam a
evoluo de (x, y
)
na equao
+
M= [M, C] = MC - CM,
onde M e C so matrizes tridiagonais peridicas,
b1 o
-
b
i
b1 Z
b, o b1 o
M =
.
.
b,
. . . o
1
B
=
.
.
b,
' '
b
n-
1
b
n
o b
n
-1
a
n
-b. o
o
-b,
o
b
n-1
'
o
o .
-b
0_1
Note que a diferena entre L e M, assim como entre B e C, est nas posies
(1, 1) e (n, 1) das matrizes, que apropriadamente vinculam as partculas 1 e 1
As evolues matriciais tm uma forma especial: L e M evoluem de acordo
com pares de Lax ([L]), e disso segue imediatamente que os autovalores de L e
M no mudam no tempo, como veremos mais adiante -esse fato, descoberto
poucos anos antes, orientou Flaschka na reformulao das evolues em (x, y).
Alis, a conservao de momento e de energia correspondem conservao do
trao e da soma dos quadrados dos autovalores de L (ou M) (mais detalhes em
[To]).
2.2 O caso aberto
Teorema: A soluo da equao L = [L, B], L(O) = L0, dada por
L(t) = [Q(t
W
LoQ(t),
onde Q(t) obtida pela fatorao
exp(tLo) = Q(t)R(t),
em que a matriz Q(t) ortogonal e R(t) triangular superior com diagonal
positiva.
Esse procedimento se encontra em [S|e [STS].
Demonstrao: Derivando as duas equaes, obtemos
L
(t) = [Q
{
t
W
L
o
Q(t) +[Q(t
W
LoQ(t
) ,
L
0
exp(tL0) = Q(t)R(t) +Q(t)
R
(t),
40 c~ri1uio: oL 1icsus1ou~rssJuico
das quais segue que
L(t)
-
L(t)[Q(t)jTQ(t) +[
Q
(t
}jT
Q(t)L(t),
L(t) =
[Q(t)
jTQ
(t) +R(t)[R(t
Ji
-
1
.
Como Q(t) uma curva de matrizes ortogonais, as matrizes tangentes [Q(t)
jTQ
(t)
so anti-simtrica$. Como R(t) uma curva de matrizes triangulares superiores,
R(t)[R{t)J-
1
tambm o so. Assim, a segunda equao descreve uma decompo
sio de L(t) numa soma de matrizes anti-simtrica e triangular superior. Isso se
realiza de maneira nica para uma matriz arbitrria ~. Escreva ~-~
.+ ~
+ ~.,
onde ~
.
triangular inferior
i
~
diagonal e ~
-
triangular superior. Ento
~ = u,.
.
~+,,
-
~- (~
.- (~.i,+ (~ + ~
-
+
(~.,',.
No caso de L(t),
11a
n
t
iL(t) -
[
Q(t
}jTQ(t), ,M
-
L(t) =R(t)[R(tJi -
1
Agora, note que
1
1
a
ntiL(t)
+
B(t). Assim, mostramos que L(t) " L(t)B(t) -
B
W
L
W
.
A existncia de uma fatorao exp tL0 -Q(t)R(t) com as propriedades exi
gidas para Q e R fcil de justificar: Q obtida aplicando o mtodo de orto
gonalizao de Gram-Schmidt colunas de exptL0. O mtodo no encontra
obstrues porque exp tL0 inversvel. Unicidade tambm no difcil: supo
nha QR = Q0R0 Ento (Q0)-
1
Q = R0R-
1
,
j que as quatro matrizes so
inversveis. Mas dessa equao aprendemos que os dois lados so matrizes orto
gonais, triangulares superiores, com diagonais positivas: no restam muita -
(Q0)-
1
Q =R0R-
1
=i.
A soluo explcita deixa claro que os autovalores de L(t) so leis de conser
vao. E
tr
)
J
.
)Z = . . . + + + ao +
1
Z + 2Z +
. . .
,
z z
onde os coefcientes
_
so matrizes decaindo rapidamente quando lnJ -+ o. O
grupo ortogonal e o grupo de matrizes triahgulares superiores so substitudos
pelo subgrupo CU de laos ) s
-
2
-
1
g g _
,
. .
+ -
2
+ -+ao - a_lz - a
_
2Z
+
.
, . _
z z
com a0 anti-hermitiana. A sub-lgebra ,
+
g de ,
+
a tem por elementos
ao + a
1
z + a2z
2
+ . . . ,
2.3. O CASO PERIDICO 43
onde agora a0 triangular superior. claro. que existe uma nica decomposio
da lgebra C, dada por
onde
Bom, esse o grupo de interesse -resta ver porque. Para comear, interprete
a equao original, M = [M, CJ, como \lm caso especial da fmlia de equaes
onde
e
L(t, z)
=
[L(t, z), B(t, z)], z E
1
,
b,
b,
Z
L(t
,
z) = . . b,
zb
n
o
o -b,
o
B(t, z) = b,
-z*bn o
o
b,
b
n-
1
o
-b,
o
b
n-
1
''
b
nl
_
'
o
o .
-b_,
Obviamente, M * M(t) = L(t, l) , B
= B(t) = B(t, 1). O fato surpreendente
que, para resolver essa nica equao, vale a pena considerar (e resolver) toda as
equaes juntas. O acoplamento das equaes s aparece no processo de soluo:
vem das exigncias de analiticidade nas decomposies tanto a nvel de grupo
quanto da lgebra.
Note que para cada z E 1, a frma de par de La das equaes tem por
conseqncia a preservao do espectro de L(t, z)
,
quando t varia. Isso faz pensar
que obtivemos uma quantidade enorme de leis de conservao para a equao
de interesse, mas essas leis so altamente dependentes: o leitor est convtdado a
estudar o espectro da matriz tridiagonal peridica hermitiana L(O, z) para valores
diferentes de z E
1
Mais interessante o fato que as leis de conservao, independentes ou no,
ganharam uma interpretao geomtrica: as razes de p(z, \,= det(L(t, z) - >J)
44 CAPTU
LO 2. O LTICE DE TODA PERIDICO
no dependem do tempo - a superfcie de Riemann associada a p
(z,
>) = O
expressa as leis de conservao. Isso no vem ao caso no momento: vamos em
vez descrever a soluo do ltice de Toda peridico por meio da ftorao no grupo
de laos. Teorema: A soluo da equao L(t, z)
=
[L(t, z), B(t, z)], L(O, z) =
L0(z), z
E
1
, dada por
L(t, z)
= [U(t, z)]'
L0(z)U(t, z),
onde U(t) obtida pela fatorao
exp(tL0(z)) = U(t,z)R(t, z),
em que
U(t, z) E L
U
e R(t, z) E c+a.
Demonstrao: Imitando as contas do caso aberto, s verificar que as fato
raes foram bem escolhidas. Derivando as duas evolues,
L(t, z) = [(t, z)
]'
LoU(t, z) + [U(t, z)]' Lo(t, z),
L0 exp(tL0) = (t, z)R(t, z) + U(t, z)R(t, z), z
E
1
,
e da, sempre para
z E
1
,
L(t, z) = L(t, z)[U(t, z)]'(t, z) + [(t, z)]'U(t, z)L(t, z),
L(t, z) = [U(t
,
z)]'(t, z) + R(t, z)[R(t, zJi-
1
Como U(t, z) unitria, o lao
[U(t, z)]'(t, z)
consiste de matrizes anti-hermitianas. Por sua vez, R(t, z)
admite uma con
tinuao analtica para o interior do crculo unitrio, que na origem igual a
uma matriz triangular superior: o mesmo vale para R(t, z)[R(t, z)J
-
1
Assim,
a segunda equao descreve a decomposio de L(t, z)
numa soma de laos nas
sub-lgebras LU e c+g,
onde
L(t, z) = ITantiL(t, z) + I,.,L(t, z),
I
antiL(t, z)
=
[U(t,z)]'(t
, z), I,upL(t, z)
* R(t, z)[R(t,zJi-
1
Agora, a justificativa de toda a construo: ITantiL(t, z) = B(t, z). Logo, mais
uma vez, L(t, z) = L(t, z)B(t, z) - B(t, z)L(t, z)
.
:.s O CASO PERIDICO 45
A partir daqui, muitos caminhos bifurcam. _ Mais do que no caso aberto,
difcil ver que a construo preserva a form
tridiagonal peridica de L(t, z). E
mais uma vez, existe uma interpretao das equaes como sistemas integrveis
em rbitas coadjuntas (associadas a um grupo de laos) . Apesar do espao am
biente ser de dimenso infinita, as rbitas de interesse so de dimenso finita.
A dualidade necessria para identifcar o dual da lgebra entretanto requer um
certo cuidado tcnico [DLT2]. Assim, novamente a invarincia temporal da frma
do lao admite uma interpretao geomtrica, como no caso de dimenso fnita,
devida essencialmente forma especial da rbita coadjunta em que se encontra
a condio inicial L@(z). E como no caso de dimenso fnita, existe uma famlia
de equaes, parametrizada por polinmios, que so resolvidas pela mesma fato
rao, e cujos fuxos induzidos comutam entre si.
Uma alternativa para a soluo do ltice de Toda peridico, historicamente
anterior, e igualmente interessante, devida a Kac e Van Moerbeke [KM]. O
lao L(t, z) induz um divisor D{t) na superfcie de Riemann mantida fxa pela
evoluo. A imagem desse divisor pelo mapa de Jacobi descreve uma linha reta na
imagem: nesse processo, as variveis que linearizam a famlia de fuxos integrveis
aparecem naturalmente.
Referncias
[AM] Adler, M., Van Moerbeke, P., Completely integrable systems, Euclidean
Lie algebras and curves, Adv. in Math. 38 {1980), 267-317.
[DNTJ Deift,P., Li, L.C., Tomei, C. , Symplectic aspects of some eigenvalue al
gorithms, em Important Developments in Soliton Theory, eds. A. Fokas e V.
Zakharov, Springer-Verlag, 1993, 511-536.
[DLTl] Deift, P., Li, L.C., Tomei, C., Matrix fctorizations and integrable sys
tems, Comm. Pure Appl. Math. 49 {1989), 443-521.
[DLT2] Deift,P., Li, L.C., Tomei, C. , Loop groups, discrete versions of some
classical integrable systems and rank :extensions, Memoirs of the AMS 479
(1992).
[F] Flaschka, H., The Toda Lattice I, Phys. Rev. B 9 {1974), 1924-1925.
[KM] Kac., M. , Van Moerbeke, P., A complete solution of the periodic Toda
problem, Proc. nat. Acad. Sei. USA, 72, 8 {1975), 2879-2880.
[L] Lax, P., Integrais of nonlinear equations of evolution and solitary waves,
Comm. Pure Appl. Math., 21 {1968), 467-490.
[M] Moser, J., Finitely many mass points on the line under the infuence of
exponential potential - an integrable system, Dynamic Systems Theory and
Applications (ed. J. Maser), Lecture Notes in Physics 38 {1975), 467-497.
46 CAPTULO 2. O LTICE DE TODA PERIDICO
[PS) Pressley, A., Sega!, G. , Loop Groups, Oxfrd University Press (1986), Ox
ford.
[S) Symes, W., Hamiltonian group actions and integrable systems, Physica lD
(1980) ,339-37 4.
[T) Toda, M., Wave propagation in anharmonic lattices, J. Phys. Soe. Japan, 23
(1967), 501-506.
[To) Tomei, C., Fluxos de Matrizes, 15 Colquio Brasileiro de Matemtica.
Captulo 3
Uma Viso Elementar de
Supersimetria
Os fsicos tericos consideram a supersimetria uma idia to bela que mesmo na
ausncia de qualquer indcio emprico direto da sua verdade, e somente um indi
reto de que talvez seja verdade ([Wi]), quase todas a propostas atuais de teorias
fundamentais incorporam a supersimetria. Pelas suas propriedades matemticas
e conseqncias fsicas marcantes, as teorias supersimtricas destacam-se entre
os candidatos mais promissores para a nossa prxima viso do mundo fsico. Mas
o que a supersimetria? No fcil formular a resposta em termos leigos. H
vrias razes para isto. Em primeiro lugar, a supersimetria, do jeito que o fsico
a entende, combina de uma maneira no trivial a simetria do espao-tempo e
uma relao entre os dois tipos fundamentais de campos fsicos, os bosnicos
e os ferminicos ( [So]). H muita especifcidade nesta mistura, e isto oculta
as propriedades essenciais das estruturas matemticas envolvidas, apesar destas
existirem independentemente de qualquer relao com o espao-tempo. De fato,
todo aluno de matemtica j familiar, sem perceber isto, com vrios exemplos
delas. Em segundo lugar, uma boa parte de supersimetria foral, ou seja,
tem mais a ver com expresses e no com objetos matemticos "verdadeiros".
Simetrias formais no tem muita graa, a qual s aparece com as interpretaes.
Interpretaes em termos de teorias qunticas fundamentais esto longe da ex
perincia leiga. Infelizmente as conseqncias mais notveis e teis aparecem s
na teoria quntica. Fora deste contexto s um apelo beleza capaz de manter
interesse. Finalmente, a abordagem matemtica correta exige idias que rara
mente fazem parte das matrias usuais de cursos de matemtica, e o aluno de
modo geral tem pouca familiaridade com elas, apesar de muitas serem bastante
elementares. Tentaremos, por meio de exemplos simples, apresentar aqui uma
viso elementar deste assunto to extraordinrio.
Considere a expresso xy e uma substituio < para x e 1 para y. Por exem
plo, < = (-x) e , = (-y). Temos agora (-x)(-y). tentador dizer que temos
4 7
48 CAPTULO 3. UMA VISO ELEMENTAR DE SUPERSIMETRIA
xy de novo, mas com qual justifcativa? Uma seria dizer que x e y so nmeros,
ou matrizes, ou outros objetos parecidos, e portanto as propriedades elementares
destes justificam a concluso. Ou seja, as expresses so ::e,-e:cse dada a
interpretao podemos ,--que < = xy. Por outro lado, numa abordagem
mais formal, podemos introduzir algumas regras pelas quais uma expresso po
deria ser transformada numa outra e assim, aps um nmero fnito de aplicaes
destas regra, ,se:-s)-em xy. Assim no dizemos o que x e y s:mas
somente o que pode ser feito com expresses que os envolvem.
Digamos que a e ( so quaisquer justaposies de smbolos, e admitamos as
seguintes -e,-sce-eesc-::.
-(-
a
)
,_ a,
(
a
)(-
/)
,_ -(
a
)/
Temos agora a seguinte seqncia legitima de reescrita:
(-x)(
-
y)
,_ -
(
-
x)y , xy.
A supersimetria atua em situaes intermedirias entre as interpretadas e
as formais, onde certos smbolos tem interpretao em termos de objetos ma
temticos "usuais" , e outros no. Isto d lugar a muita perplexidade em quem
aborda o assunto pela primeira vez, especialmente aos estudiosos de matemtica
que tentam entender a literatura fsica.
Dado que contemplamos substituies pelas quais < pode ser "transformado"
de volta a xy, ou seja, em que xy "invariante", tentador dizer que estamos
diante de um "grupo de invarincia". O contexto porm muito solto e no
h necessariamente um grupo a vista.
s vezes achamos algo que tem muitas coisa em comum com grupos mas que
estritamente falando no o so. Supergrupos so exemplos destes ltimos objetos.
Supersimetria na sua abordagem formal "simetria
))
em relao a um "grupo
))
que de fato no o . de fto um tipo de grupo quntico.
ConsideremoS algumas interpretaes de xy. Os smbolos x e y ento indicam
objetos matemticos de algum tipo e portanto < e ' devem ser objetos do mesmo
tipo. Impomos a condio <' = xy. Se o tipo nmero ento simplesmente
passamos de um par de nmeros a outro par que tem o mesmo produto. No
h estrutura de grupo evidente nesta situao. Mesmo sendo possvel achar um
grupo de transformaes (x, y) , (<(x, y), '(x, y)) para o qual <1 = xy, no
esta a idia. No estamos exigindo que < e ce,ecde x e y, simplesmente
que ss:s:::. A situao muda um pouco se x e y agora so interpretados
como ),es definidas no plano I', a saber, as funes coordenadas. Neste
caso ,e so funes tambm e temos <(x, y)'(x, y) = xy. H muitos grupos
de transformaes (x, y) , (<(x, y), '(x, y)) que podem ser frmados por tais
pares de funes. O conjunto de todas as inversveis que levam cada conjunto de
49
nvel da funo -em si mesmo, o maior &rupo deste tipo. Este tem dimenso
infnita.
Uma situao mais restrita acontece quando interpretamos -e como ele
mentos geradores do anel polinomial n =x-,. Um par de polinmios, (<, ,,
satisfaz (-,,)(-,,=-se e s se tem uma das seguintes frmas:
onde # o real. Ora, j que n livremente gerado por X e , qualquer
substituio - (-,,e (-,,se estende a um endomorfsmo nico
n - n. Das quatro formas acima somente as duas ltimas geram endomorfismos
inversveis e estes formam um grupo isomorf ao grupo pseudo-ortogonal 0(1, 1).
Um outro caso, ainda em x-,, a expresso -
pertence a 0(2, I). Descobrimos o grupo ortogonal em duas dimenses.
Uma situao tambm interessante acontece se -e so geradores da lgebra
exterior t(x
+
:
, um fto que
usaremos em exemplos mais adiante, embora seja particular a dimenso dois.
O caso de lgebras pode ser considerado algo intermedirio entre o interpre
tado e o formal. Para ax|,por exemplo, no precisamos dizer o que x , s
que algumas regras, tais como x
.
x
-
=x
.-
-
,so vlidas. Assim h algo de
1'formal''. Os coefcientes C
n
em _
.
c
.
x
.
, porm, so nmeros, e portanto h
tambm algo de "interpretado'' . Uma lio que podemos tirar destes exemplos
que a medida que introduzimos elementos "formais'' nos objetos designados
por -e ,mais possibilidade temos de perceber alguma estrutura de grupo pre
sente, mas pelo fato de iisubstituio" no ser exatamente a mesma coisa que
"transformao" , possvel esperar outras possibilidades.
50 CAPTULO s. UMA VISO ELEMENTAR DE SUPERSIMETRIA
No resto deste captulo, vamos explorar algumas estruturas algbricas inspira
das por teorias fsicas. A ttulo de convenincia, supomos que todas as lgebras
so reais. O caso complexo em geral uma fcil adaptao, e a maioria das
consideraes valem para corpos gerais de caracterstica diferente de 2.
A mecnica quntica divide os objetos fsicos em bosnicos e ferminicos. Este
fato expresso algebricamente por comutao de operadores no primeiro caso e
por anti-comutao no segundo. Esta diferena fundamental para toda a teoria.
Lembramos que numa lgebra associativa A dizemos que comuta com :se
o ctc- ,:= :- := O. Dizemos que t:ctcom :se o t:
ctc- (,:]= :+ := O. Ora, se e :comutam com Lg ento :tambm
comuta com L. Porm, se e :t:ctcom c
1
ento :em geral no
anti-comuta com L mas ctcom ele. Mais ainda, se comuta com L_ e :anti
comuta com L (ou vice-versa), ento :anti-comuta com L. Se denotamos por C0
: {3.1)
chama-se o s,e-ctc-,ou o s,e-c/c|ete. Note que para dois elementos
ferminicos o supercomutador o anti-comutador e que para todas as demais
combinaes de elementos homogneos o comutador. Para elementos no ho
mogneos o supercomutador bem defnido usando a bilinearidade. Nas def
nies daqui em diante, tais extenses alm dos elementos homogneos, quando
pertinnte, sero sempre subentendidas.
51
O supercolchete combina propriedades do cqmutador e do anti-comutador de
uma maneira sistemtica. Na literatura fsiCa v-se freqentemente a expresso
muito feia, ,:,com o colchete a esquerda e a chave a direita, para denotar o
supercomutador.
As propriedades do supercomutador assemelham-se propriedades do col
chete de Lie, porm, com algumas mudanas de sinal. Em primeiro lugar, tem-se
a relao de simetria graduada
,:,= (-i,
:,|, (3.2)
o que poderamos estar tentados a chamar de "supersimetria" mas esta palavra
j tem outro sentido. Seja A agora associativa. fcil mostrar o anlogo da
identidade de Jacobi:
,:,c,,+(-i,
,
:,c,,, +(-i,
,.
c,,:,|,= o (3.3)
e o anlogo da propriedade de derivao:
, :c,= , :,c +(-i,
:.
:, c|, (3.4)
O expoente de -1 nos vrios termos de (3.2), (3.3), e (3.4) pode ser descrito
como o nmero de permutaes de posies de elementos ferminicos necessrios
para permutar os smbolos do termo mais a esquerda para se ter a ordem no termo
em questo. Esta regra determina o sinal na maioria dos casos de expresses em
superlgebras. Com cada troca de elementos ferminicos h uma mudana de
sinal.
possvel reescrever (3.3) numa maneira mais simtrica como
(-i,
,:,c,,+(-i,
.
:,c,,, +(-i,
.
:
c,,:,|,= O (3.5)
que a maneira usual, embora nesta forma a razo para os sinais no seja to
aparente.
notvel que o anti-comutador { , } por si s, no satisfaa nenhuma iden
tidade parecida com a de Jacobi.
Algumas lgebras fmiliares j so superlgebras de forma natural. A lgebra
polinomial real ax| da varivel x naturalmente ax
.
El xax. Outros
dois exemplos so a lgebra exterior A(V) de um espao vetorial V e a lgebra de
Cliford Cf(V, /) de um espao vetorial V com uma frma bilinear simtrica no
degenerada /. A sublgebra bosnica consiste de somas de produtos (exterior
ou de Cliford, conforme o caso) de um nmero par de elementos de V, e o
subespao ferminico de somas de produtos de um nmero mpar. Note que
a lgebra c:::ax| : es,e-c:::,j que x,x, " x
:
# O
52 CAPTU
LO 3. UMA VISO ELEMENTAR DE SUPERSIMETRIA
enquanto a lgebra s,e-c:::A(V) : c:::j que para ,E V
tem-se t -- .
No mundo de objetos Z2-graduados o anlogo correto de comutatividade a
supercomutatividade.
(,:,,=
v
(,,
v
(:,,
=
I
(,
v
(:,- (-i,
;(:,
v
(, (3.6)
Vrios teoremas usuais sobre lgebras de Lie tm anlogos muito parecidos
para superlgebras de Lie. Assim, superlgebras de Lie podem ser represen
tadas universalmente numa superlgebra associativa envolvente. Seja A uma
superlgebra de Lie e seja
_
a lgebra tensorial plena do es,, e:-:/ A.
Tem-se
O
_
= f E Aa, 0 0Aa.
n:: O 01, ... O
onde "' E {O, i}. Defina o como a soma direta de termos A0, 0 ' 0 A0 onde
ai
=
1 para um nmero par de ndices e
_
.
a soma direta onde ai * 1 para
um nmero mpar de ndices. Seja ,] o supercomutador em
_
e considere o
ideal bilateral zgerado pelos elementos ,:,- ,:|para todos os elementos
,:E A. Defina a s,e-/,e:-:e-s/e/e:eU(A) de A como o quociente
_
/z. No difcil mostrar, imitando a demonstrao no caso de lgebra de Lie
usual, que a aplicao cannica A - U(A) uma representao, e que qualquer
representao fatora de uma maneira nica atravs desta aplicao cannica.
Vale tambm o anlogo do teorema de Birkof-Witt. Seja A de tipo (n, m),
ento uma base para U(A) dado por produtos de forma b' b Jt' J;m
onde k, 2 O so inteiros e e, E {O, 1 }. O caso de todos os k, e f; iguais a zero
corresponde ao elemento unidade.
Como um exemplo considere a superlgebra de Lie com Ao ={O} e A
1
sendo
um espao vetorial qualquer. Neste caso ,:, = O para qualquer par de ele
mentos, e o ideal I gerado por todos os produtos tensoriais 0 :+:0 para
todos os ,: E A1 Disso v-se que U(A) A(A1), a lgebra exterior de A1.
Como outro exemplo ilustrativo seja A de tipo (n, m). Assuma que Ao seja uma
lgebra de Lie :e/:e que :,,),,= .Temos ),,), ,-_
.
,
.
:
.
.Vemos de
(3. 1) que c,, =c;i mas (3.3) no impe mais nenhuma relao. Considere o
53
caso particular de = 1, = com ),,),|,= a:, ),,,* ,)
.
,= u:,e
,,=
~
:. Em U(A) h relaes J = a:,),+ ), u:,e J *
:. fcil
ver que como espao vetorial tem-se U(A) = x:Elx:,Elx:El x:)
!
.
instrutivo considerar a lgebra de Lie .(A) e U(A) gerada por A contida
em U(A). Suponha a= ie u= ' = O. Vamos demonstrar que .(A) contm
todos os monmios de frma :
.
f para k natural.
Primeiro, ),,= ,,,e portanto ,E .(A). Note que :comuta com
tudo. Suponha, por induo em , que : e :)
pertencem a .(A) . A
hiptese verdadeira para = O. De ),,)
* : tem-se ),,:
,
), =
:
'e assim b
,
+
' E .(A). Tambm [l :
,
* :')
e portanto
:
c0 :,c, (:.ie,
Baseado nestas consideraes, de fato fcil provar que se A uma su
perlgebra supercomutativa e . uma superlgebra de Lie, ento A@. uma su
perlgebra de Lie se defnirmos o supercolchete por (:ie,Note que a sublgebra
bosnica, que uma lgebra de Lie usual, corresponde a
:e lei - c
,e
assim tanto a parte bosnica quanto a ferminica de ., isto a s,e-/,e:-de
Lie inteira, codifcada na lgebra de Lie usual (A@.)0 Isto nos permite usar
a formula de Baker-Campbell-Hausdorf para tratar superlgebras de Lie.
Ao introduzir superlgebras, descobrimos que para explorar as suas proprie
dades somos forados a estender a idia de Z2-graduao a quase todos os outros
objetos matemticos em volta. Assim entramos no mundo da "supermatemtica
,,
,
com superespaos, supervariedades, etc. O prefixo "super
'
1 , que soa to pomposo,
signifca simplesmente "estendido para objetos Z2-graduados" . Vem junto a idia
de que os elementos "ferminicos" de qualquer um destes objetos anticomutam, e
que as noes, e defnies da matemtica costumeira devem ser modificados pela
introduo de um sinal negativo cada vez que uma permuta de dois elementos
ferminicos aparece na frmulas usuais. Assim comutador vira anticomutador
para elementos frminicos, a identidade de Jacobi vira a identidade (:.:,e assim
por diante.
Interprete agora a soma
A
= _
,
-,:,+_
,
O;f; como A = _
,
-,o:,+_
,
6
;
<f;
onde os -,e (i so bases para o subespao bosnico e ferminico respectivamente
de uma superlgebra associativa supercomutativa que denotaremos por
nJ
n
lml.
Podemos agra interpretar A como um elemento de n[
nlm
l@A. Do mesmo
jeito B _
,
,,:,+_
,
,,),pode ser reescrito como B -_
,
y, 0 :,+_
,
1
;
0 /;
e interpretado tambm como elemento de
n[
nlml
@A. Infelizmente se precisamos
trabalhar com A e B ao mesmo tempo, no podemos considerar os dois como
elementos de n[
n
l
ml
@A
.
Podemos porm considerar todos os coeficientes como
elementos de n
!2
nl2ml
e assim tanto A quanto B como elementos de n[
2nl2ml
@A
.
Aplicando agora a formula de Baker-Campbell-Hausdorf a e^ee usando
(:.ie,,vemos que podemos escrever ce-eonde C -_
,
:,0 :,+_
,
;
0
f;
e os coeficientes :, e
,
so sries formais de potncias em -,,,,,(i e 'i Tais
sries formais podem ser um pouco simplifcadas. Devido natureza antico
mutativa dos elementos ferminicos de n
l2n
l
2
ml
, @ (
m
conhecido como s,e-es,,. Os Xi e os (i so conhecidos como
c-cecsdo superespao. J que um elemento geral da lgebra tem a forma
=
L
, (P onde os ),so polinmios em -
,= = @ X
n
i dizemos mais geralmente
que (-,() uma s,e-),:, ou uma ),: s,e-es,, se da forma
(-,,
* _
,
),(-,onde os ),so agora simplesmente funes reais de -e
no mais restritos a ser polinmios. Uma superfuno ento simplesmente uma
coleo de funes reais. O conjunto de superfunes obviamente forma uma nova
lgebra que estende nJ
nlm
J
.
A derivada parcial de em relao a x; defnida
da maneira natural,
(:.ii,
mas a derivada parcial em relao a (
i
mais sutil. Dada uma superlgebra A
dizemos que uma aplicao linear . A - A uma ce-:,:)e-:c:cse
satisfaz a regra de Leibnitz modificada :(:,= (:,:+(-,
(::,.Um exemplo
:(,= ),,com )frminico. Seja agora :,a derivao frminica em nJ
n
l
m
J
definida pelas formulas :,-,= O, :,,= i,e :,.= O para k # j, e estendida a
elementos gerais pela regra de Leibnitz. Defna agora
Assim temos, por exemplo,
o
-
o-
,
J
,
(:.i,
58 c~ri1uio3. uM~ visnosisMsu1~rossursrsiMs1ri~
Quanto integrao, a integral em relao a Xi a usual de Lebesgue
_F(x, O)
d
x;
= _f(x) dx,O"
mas em relao a (i defnida como sendo igual derivada em relao mesma
varivel
1
F(x, O) dO; =
-
F(x, O).
Em particular temos, para uma varivel ferminica (,
OdO = 1, dO = O.
Esta regra, em analogia com a integral de Lebesgue, adotada para fazer a
integral invariante em relao a translao por qualquer elemento ferminico T
que anticomute com todos os fk
F(x, . . . , O; + 7, . . .
)
dO; = F(x, . . . , O;, . . . ) dO;
Apesar da estranheza da integral ser igual a derivada) este o anlogo correto
para a integral em relao a uma varivel ferminica.
Com isto a integral de
F(x, O)
sobre o superespao fica bem definido
F(x, O) dx1dX
2
dxnd01d0
2
dOm =
f
i. .. , (x) dx
1 d
x
2
d
xn
onde f1 ... 1 o coefciente de 61(
2
Bm em F
.
Finall
!
len_te necessrio interpretar o que signifcaria a "composio"
F(X1 (x, O), . . . , Xn(x, O), 81 (x, O), . . . , Gm(x, O))
onde os X, e 8; so tambm superfunes. Se
F(x, O)
= L
fO" ento pelo
menos er' . . . e:m bem defnida sendo simplesmente o produto destas super
funes. Precisamos ento interpretar
f
a fcil m
.
s
ra qu
em relao decomposio V = V @ E V 1 as condies
[b, f] * e {!, !} = 2b impem as seguintes frmas:
onde 1 e v so aplicaes lineares quaisquer. Em
J
l1l1
J
portanto temos
exp(tb + 9j) : (x, a) r
e
'""(x + u9a, " + 19x)
(:.i,
(3.17)
Note que do lado direito temos elementos que no mais pertencem ao superespao
origina
l J
l1l1l
devido a presena de 9. A presena destes elementos externos
61
usualmente causa uma certa confuso aos iniciaptes, pois assim difcil explicar
como o que acabamos de definir possa ser ""ao sobre
J
I1l
1
l
"
.
Este problema
contornado pelo uso de lgebras de Hopf.
Representaes em
J[
2
1
2
1
so mais interessantes. Um caso particularmente
instrutivo dado por
b
: (x, y,
a
, ()
>-
(
-
y, x,
-(, a)
j : (x,y,
a
,
(
)
>-
(
a
,
(
, -
y, x)
(3.18)
(3.19)
Temos como antes exp(tb + Of) = exp(tb)(I + Of). Ora, exp(tb) uma rotao
no plano x-y simultaneamente com uma no plano
a
-(. O mais interessante o
"isomorfsmo" ( i+
O
f) que dado por
(x
,
y
, a, (
)
>-(x + Oa, y +
O(, a - Oy, f + O
x) (3.20)
Considere a expresso
x2 + y2 +
2a( (3.21)
e fa nela as substituies indicadas em (3.20). Temos
(x +
Oa
)2 + (y +
0(
)2 + 2(a - Oy)(
( + O
x)
que aps um pequeno clculo volta a x2 + y2 + 2
a(
. Assim apesar da presena do
elemento externo { no "isomorfsmo" acima, este desaparece e a expresso x2+y2+
2
a
f3 invariante pela substituio indicada. Ento, alm dos isomorfsmos usuais
da lgebra RJ2
1
21 que deixam a expresso invariante, esta tem simetrias adicionais
por ao de supergrupos. O supergrupo que deixa a expresso (3.21) invariante
conhecido como 0Sp(2, 2), uma extenso do grupo 0(2) x Sp(2), combinando
assim as estruturas ortogonais e simplticas. Vemos que aqui retornamos ao
ponto de partida de invarincia por substituio. No precisamos saber o que x,
y, a, (, e { s,somente quais so as regras legtimas de reescrita.
Para apreciar como a fsica constri teorias supersimtricas de campos qun
ticos, preciso elaborar um pouco mais as nossa construes. As teorias fsica so
quase exclusivamente lagrangianas. Isto quer dizer que so determinadas por um
funcional dos campos. Para simplicidade suponha que <(x) um campo escalar
e x E R4 um ponto do espao-tempo com x4 sendo o tempo. Seja <;(x) a
defr ' :"' , . ,.: ht! de < em relao a x;. Uma funo de <(x) e das suas derivadas,
.q.;: _ , ,(x), <4(x), <4(x)), onde .(v0, vi, v
2
, v3,v4) uma funo em R5
,
chama-se uma /,-,:de <. A integral s(;,=
R
' .(<(x), <;(x))dx chama
se o }c:/,de c (no confunda este uso da palavra "ao" com ao de
grupo e outros conceitos semelhantes). Um campo c um ponto crtico deste
62 c~ri1uio3. uM~ visnosisMsu1~rossursrsiMs1ri~
funcional (no sentido de clculo de variaes) se e somente se satisfaz a e,,
ces/e:t,:,e
8
L
8 8
L
-
8
(;(-,,,,(-,,- I-
8
-
8
(;(-,,,,(-,,= o
Vo
i=
l
Xi
V
i
que a equao dinmica do campo fsico. Uma teoria quntica parte da mesma
lagrangiana mas, em vez de focalizar a equao de Euler-Lagrange, segue um
processo de ,t::,que define a teoria especfca. No vamos aqui discutir
este processo. Obviamente podemos generalizar estas idias para vrios campos
de natureza variada (escalar, vetorial, etc.), equivalente a introduzir campos com
vrios componentes. Um exemplo de lagrangiana +,+,] -,cuja equao
de Euler-Lagrange a equao de onda
Considere agora uma ao ,>- , ,de um grupo de Lie G sobre os campos.
Dizemos que a teoria lagrangiana simtrica por ao de G se o conjunto de so
lues das equaes de Euler-Lagrange invariante. Em determinadas condies,
para criar uma teoria simtrica, sufciente que a ao s(,,seja invariante, isto
s(, ,, = s(,,. portanto importante poder achar integrais de funes de
campos e suas derivadas que so invariantes por ao de grupos de Lie. Este
um assunto prprio j suficientemente sofisticado que no podemos abordar aqui.
Apresentamos somente um exemplo simples. Seja ~-E:
=
I ~,c-,uma 1-forma
em x
-
e seja G o grupo S0{3) de rotaes que age sobre ~de modo usual de
mudana de coordenadas, a saber, se rE 80(3) ento (r ~, (r-,= ~(-,
Em
termos de componentes (~
,~
:
,~
-
,temos ento (r ~,,(-,-_
,
r,,~,(r
.
-,
Usando o produto interno usual em
J
3 como mtrica Riemanniana, fca bvio
que a integral de
~
'
:
e
c~
'
:
so invariantes por esta ao e que a integral de
~no o . No caso particular de ~= c,,temos a lagrangiana
c,
:
com a
equao de Euler-Lagrange sendo ;= O.
Teorias supersimtricas so aquelas cujo funcional s invariante sob ao de
supergrupos. Os campos agora so funes defnidos no no espao-tempo mas no
superespao que estende espao-tempo. Aparece porm mais uma considerao
que tambm vem da fsica quntica. Como j falamos, existem dois tipos de
campos qunticos fundamentais, os bosnicos e os ferminicos. O valor do campo
no superespao portanto tambm deve pertencer a um superespao, isto , poderia
ter componentes bosnicos e ferminicos.
Retornamos ao nosso simples exemplo em JRPl
1
l . Por uma funo neste su
perespao t(-,c, ns j entendemos uma expresso )(-, +,(-,c onde ) e
, so funes reais. Agora devemos considerar que )(-, = (-,+;(-, e
63
g(x) * G(x) + ,,(x) onde <(x) e ,(x) so_ feiminicos. Com isto, e com a
idia que estamos ainda lidando com a situao clssica, e tomando a atitude
hbrida, podemos considerar que e G so funes reais mas que <(x) e ,(x)
pertencem a uma superalgebra supercomutativa sem que haja qualquer relao
entre estes elementos alm de anticomutatividade. OU seja, estamos contem
plando uma superlgebra supercomutativa com um nmero no enumervel de
geradores ferminicos, a saber, alem do a E
R.
lllll
todos os <(x) e ,(x) para
x E :. A literatura fsica diz que i e < so campos com "valores grassmania
nos" . Como base de regras formais de reescrita isto no deve causar nenhuma
objeo, mas a interpretao destes objetos dentro de construes matemticas
mais estruturadas ainda um ponto polmico ([Se]).
O nosso supergrupo < age sobre (x, a) pela regra (3.17), ma devemos tambm
considerar que possa agir sobre os "componentes" (,G, <, ') em cada ponto
como acontece com a ao de 80(3) sobre os componentes de uma 1-forma,
como discutido acima. Assim por exemplo a ao A .. do "elemento" I + O f
de <, seria dado por
(x, a) = F(x + uOa) + (x + uBa)+
( (x + uBa) + ,(x + uBa))(a + vBx)
onde (F, G, ,, ,) > (F, , , ,) a ao de i+ Bf sobre os componentes de A.
Temos tambm F(x +uBa) * F(x) +uF'(x)Ba conforme (3.13), e o mesmo para
os outros componentes. Este exemplo no muito natural. Um melhor, ainda
sob a ao de <, de campos definidos no superespao J
l
2
l
2
l
. Uma superfno
bosnica
A
(x, y, a, /) tem a frma F+<a+,/+Gaf onde e G so bosnicos
e < e , frminicos. Suponha que o nosso supergrupo aja sobre
R.1212
1
da frma
previamente defnida, e que sobre A aja trivialmente, isto , A um supercampo
"escalar" . Considere agora o "superdiferenciar'
8A 8A 8A 8A
dA
=
a
x
dx +
a
y
dy +
a
a
da +
a{
df
No preciso elaborar aqui o sentido exato de da e d{1 considere que so ainda
elementos formais. A ao de G sobre os componentes da superdiferencial
igual sua ao sobre o superespao com parmetros (-t,-f), isto , com sinais
trocados, em perfeita analogia com o caso de rotao de uma 1-forma em R3
Portanto o produto interno < dA, dA > onde a mtrica dada por (3.21) de
novo um supercampo escalar. A "medida" dxdydad{ invariante sob a ao de
<. Em primeiro lugar, invariante pela ao da rotao exp(tb) , pois dxdy
invariante por rotao no plano x-y, e af invariante por rotao no plano a-(
como j vimos. A "matriz Jacobiana" da transformao I + f
j
formalmente
B
64
c~ri1uio3. uM~ visnosisMsu1~rossursrsiMs1ri~
cujo determinante formalmente i. Assim a integral
<ct,ct> c-ccac
invariante pela ao do supergrupo. Esta integral se reduz a
2 ( Vc+ '< V++ c
:
,c-c
onde ' o gradiente comum em relao a (-,,
Neste ponto podemos esquecer os passos que levaram a esta integral e sim
plesmente consider-lo como o funcional de um problema de clculo de variaes
clssico cujas equaes de Euler- Lagrange so
c-2G,
tq - o,
cc= O
t.
= o
(3.22)
(3.23)
Toda a mquina de supersimetria agora desapareceu e podemos encarar a su
persimetria como simplesmente uma maneira de construir lagrangianas. As pro
priedade marcantes de sistemas fsicos supersimtricos somente aparecem na teo
ria quntica, portanto equaes acima so muito sem graa. O exemplo tambm
muito simplificado. O que extraordinrio que os sistemas assim construdos
por meio de supersimetria que estendem a simetria clssica do espao-tempo
no s constituem candidatos muito atraentes para teorias fsicas bsicas, mas
tambm tm fornecido instrumentos para novas descobertas na matemtica pura
como invariantes de ns, tranas e variedades de dimenso trs e quatro.
Podemos agora, pelo menos em palavras, resumir o que so as teorias fsicas
supersimtricas. So sistemas lagrangianos de campos fsicos que podem ser
descritos da seguinte maneira:
H um superespao que estende o espao-tempo.
H uma superlgebra de Lie, agindo sobre o superespao, e que estende a
lgebra de Lie das simetria clssicas do espao-tempo
H um conjunto de campos, bosnicos e ferminicos, definidos no superes
pao, que carrega uma representao da superlgebra.
H uma lagrangiana que invariante pela ao do supergrupo que corres
ponde superlgebra.
65
No final1 como no exemplo anterior, podem.os encarar estas teorias como sim
plesmente teorias lagrangianas comuns para um certo conjunto de campos, mas
a supersimetria escolhe certas lagrangianas muito particulares que tm proprie
dades muito especiais.
Uma lagrangiana supersiintrica se invariante pOr um conjunto de regras
de reescrita. Embora o funcional ao de um conjunto de campos seja escrito
como J L c-
c-,c
z - + -e
11
1
2 2
'
3 i
Z2 - - -e
1ri
2 2
Mais geralmente, na trana aj, dois dos fos so dados por
2j + :
_
i _
-
2
-
2
e
'
67
68 c~ri1uio4. ~iu1scr~iosxou1ssvica
os outros fios sendo todos verticais (ou seja da frma j x [O, 1]).
Se b8 uma famlia contnua de tranas, onde s E [O, 1] ento as tranas bo e
b1 so chamadas de equivalentes.
Se b e L so duas tranas, onde b defnida por (_g2, . . . , Wn e e defnida
por :i , z,
.
. . ,:
.
ento o produto bc a trana defnida por :,(z:,se O : : i/z
e por ,(z:- 1) se i/z t : i Em outras palavras, b e L so comprimidos por
um fator i/zna direo : ento b colocada em cima de e.
A inversa b -
1
de uma trana b obtida refletindo b no plano < x i/z,ou seja
usando as funes :,(i- :,no lugar de :,(:,.
As classes de equivalncia das n-tranas formam um grupo s
.
com elemento
neutro a trana cujos fios so todos verticais. A demonstrao (bastante traba
lhosa) de que s
.
um grupo lembra a demonstrao de que o grupo fundamental
um grupo. De fato, s
.
o grupo fundamental do espao x
.
das confguraes
de n partculas (no ordenadas) no plano. Mais precisamente, se c
.
o aberto
de c que consiste de todos os {z1, z2, , :
.
, tais que z
.
= :,se i = j ento
x
.
o quociente de c
.
pela ao do grupo simtrico s
.
O ponto base de x
.
{1, z,. . . , n} e as funes :,(:,que definem uma n-trana tambm definem um
caminho {z1(t ), ,:
.
(:,em x
.
com pontos iniciais e fnais iguais ao ponto
base.
O grupo s
.
gerado por u
1
, u2, . . . ,o
.
-
,
As relaes o
.
-,-u;ui (se l i-jl =
1) e uiui
+
lui = ui+luiui
+
l podem ser facilmente verificadas e, de fato, toda relao
entre os geradores ui conseqncia destas relaes.
Todo n em J
3
equivalente a (isto , pode ser deformado continuamente
em) um n que sempre gira na mesma direo em torno de um determinado eixo
(teorema clssico de Alexander, que vale tambm para enlaamentos, ou seja
ns com mais que uma componente conexa). fcil deduzir que todo n ou
enlaamento orientado equivalente ao fecho de uma trana. O fecho de uma
n-trana o n ou enlaamento obtido unindo as extremidades da trana por n
curvas disjuntas no plano Alternativamente, o fecho pode ser visto como
a imagem da trana pela aplicao de I
2
x [O, l] em J
3
que leva o ponto (-,,:,
em (-,,,onde +:-e
2
11(x
+
i
t)
.
Para cada n existem infinitas tranas cujos fechos so equivalentes ao n.
Por exemplo1 se bl e b2 so duas tranas fcil ver que os fechos de b1b2 e b2b1 so
equivalentes como ns. Outro exemplo: se a n-trana b est contida em { -n}
ento a unio de b com o fo vertical n + :[O, 1] uma n +1-trana b' e os
fechos de b
+
= unb* , b - u;;
1
b* e b so todos equivalentes como ns.
Se i(x, um invariante de ns (isto : i(x,= i(i) se xe iso equivalentes)
ento o valor de i igual para os fechos de b, b+ e b -. A recproca tambm vale
(Teorema de Markov). Seja J(b ) um invariante de tranas (isto J(bi ) J(b2 )
se b1 e b2 so equivalentes como trana). Se (Markov !) para todas n-tranas
4.2. MONODROMIA 69
L_ e " temos J(c
1
c
2
) J(c
2
c
1
) e (Markov II) para toda n-trana b contida em
{x : n} temos que J(b+) * J(b) J(b-) ento J defne um invariante I de ns
pela regra I(fcho(b)) J(b).
Uma maneira de se construir invariantes de trana usando transporte pa
ralelo, como segue.
4.2 Monodromia
Considere primeiro o exemplo prototpico de transporte paralelo, a EDO matricial
e_
(:,u(:,
com condio inicial u(+,= I (identidade). (:, uma funo suave do inter
valo +,:nas matrizes reais N x N. Existe uma nica soluo (suave) u(:,
Transporte paralelo leva um N-vetor no vetor u(i,
Numa variedade M podemos defnir transporte paralelo ao longo de caminhos
suaves em M usando uma 1-forma em M com valores matriciais. A forma n
consiste de aplicaes lineares dos espaos tangentes de M nas matrizes N x N.
Dado um caminho u : +,i M, temos a equao
eu
;;
(
e-
,u(:,
e: e:
com condio inicial u(+,= I.
Seja T, a matriz inversivel u(i,(transporte paralelo ao longo de u). Se u e
-so caminhos em M tais que -(+,-(:,ento o caminho -- defnido por
(z:,para + : i}ze -(z: i,para i}z : 1. Pela unicidade de solues
de EDO's, temos que Tu7
+
TuT7
.
Se a 1-frma plana (fat) ento pequenas variaes do caminho, fxando os
pontos iniciais e fnais no afetam Tu. Em outras palavras, Tu invariante por ho
motopias do caminho u que fxam -(+,e -(:,.Obtemos assim um homomorfsmo
(a monodromia) do grupo fundamental de M nas matrizes N x N inversveis.
No artigo [KZ], os fsicos Knizhnik e Zamolodchikov defniram uma conexo
plana em Cn pela frmula
1
L
e-,
e-,
-
,
z-. Z; - Z
-,
J
onde, para i:; :<j :: n, os Aii so matrizes constantes complexas N x N que
satisfazem as relaes
70
CAPTULO 4. A INTEGRAL DE KONTSEVICH
[
Ai; , A
k1] = +se i, j, k, l sao distintos
[A;;, A
;k]
=
[
A
;.
, Ai/
]
-
[
A
,.
, A;;] onde :<j </
Aqui, [A, B] significa o colchete AB -BA.
Estas relaes e propriedades das frma (dz; - dz;)/(z; - z;) = dlog(z; - z;)
garantem que a conexo plana, ou seja que a 2-forma de curvatura da conexo
identicamente nula. A verificao deste fato pode ser encontrada no livro [Ka] ,
captulo XIX.
Voltando situao geral, o transporte paralelo Tu pode ser visto como limite
de produtos de matrizes. Considere primeiro a equao
d
= A(t)W(t).
Temos que
W(t + 2t) - W(t) " tA(t)W(t)
ou seja
W(t + t) "
[
J + tA(t)]W(t).
Ento W(l) deveria ser o limite quando m- o do produto
onde i>t
1
>t2 >>tm >+e t
1
= :- ti
, t2 = t
1
- t2, . Este produto
pode ser re-escrito na forma
ou seja
I +
L
t,A(t;) +
L
t,t;A(t,)A(t;) +
. . .
i
<
j
W(l) = i+ A(t
1
)dt
1
+
A(t
1
)A(t2)dt1dt2 + ,
os limites de integrao no termo geral sendo :>t
1
>t2 > >tm >+(ou seja
(ti, t,, , tm) pertence a.um simplexo aberto apropriado). Por exemplo, para A
constante, fcil verifcar que o resultado I +A+ A
2
/2 + -exp(A), como
deveria ser.
No caso da conexo KZ, a frmula para o transporte paralelo
I
-
Ldl;;(ti)A;; +
)
22dl;; (t
1
)dlk1(t2)A;;Ak1 +
. . .
i
<j
i
<j k<I
4
.
3
.
DIAG
RAMAS
71
onde l;;(t) log(z;(t) - z;
(t)).
Se b uma trana, a cada produto A;;Ai Auv (de m ftores) corresponde
um conjunto de m pares de pontos em b (um par para cada t;)
(
z;
(t1)
,
t
i
)
,
(z;(ti), t1)
(z.(t2), t,), (
z
1(t2), t,)
(zu(tm), tm), (zv(tm), tm)
onde 1 > t1 > t
, >
> tm > + Este um exemplo de um diagrama em b.
O invariante ser defnido re-escrevendo a frmula i+
acima em termos de
diagramas.
4.3 Diagramas
Seja b uma trana. Um par em b consiste de dois pontos distintos em bn< x (+,1)
(no necessariamente no mesmo nvel. Um m-diagrama (chord diagram) em b
consiste de m pares disjuntos em b. Dois diagramas em b so equivalentes se exis
te um difomorfismo de b fxando as extremidades de b e levando um diagrama
no outro. Por exemplo, numa 1-trana, todos os 1-diagramas so equivalentes
e h exatamente trs classes de equivalencia de 2-diagramas. Um diagrama nu
ma 1-trana pode ser representado por uma palavra a
1
a2 U2m (lendo de cima
para baixo). Cada par representado por uma letra. Assim os trs tipos de
2-diagramas numa 1-trana so aabb, abab e abba. Observe que aabb e bbaa re
presentam o mesmo diagrama.
Seja Dm(b) o conjunto (fnito) das classes de equivalncia de m-diagramas em
b e CDm(b) o <-espao vetorial das combinaes <lineares formais (fnitas) de
elementos de Dm(b).
Se e E Dm(b1) e f E D
n
(b2) ento o produto <f E Dm+n(b
1b2) defnido da
maneira bvia, colocando L em cima de /. Este produto se estende linearmente
a um produto CDm(b1) X CDm(b2) -- CDm+
n
(b1b2).
Seja agora D um diagrama em b e xx,yy dois pares de D. Retire um dos x's
e insira-o imediatamente abaixo de (resp acima de) cada um dos y's, obtendo
assim diagramas
Di , D2 (resp D3 e D4). Por exemplo, se (numa 1-trana) D "
abcadbdc, podemos escolher os pares bb e dd, obtendo assim D1 " abcadbdc ,
D, acadbbdc , D
3
acadbbdc e u, acadbdbc. Uma relao 4T uma relao
em CDm(b) do tipo
Defnimos Am (b) a ser o quociente do <-espao vetorial pelo subespao gerado
pelas relaes 4T.
:z c~ri1uio4
.
~iu1scr~iosxou1ssvica
Como o produto de uma relao 4T com um diagrama uma relao 4T, o
produto de diagramas induz um produto
e consequentemente a um produto
Por defnio, ~(:,consiste de somas infnitas frmais -,+ -,+ -,+ .
. .
onde
-,pertence a ~,(:,para o : m. Observe que ~,(:, isomorf a e, gerado pelo
diagrama vazio, denotado por 1.
Da mesma maneira podemos defnir o,(s
, (onde s
o crculo) como m
diagramas em s
mdulo difeomorfsmos de s
e ~,(s
,,
::--* -::-.
Mas
1
tratando-se de palavras cclicas,
-::-" ::--.
Consequentemente
::--
*
::--
Continuando
"
sim, vemos que, mdulo as relaes 4T, o produto em ~(s
,
bem defnido. E claro que o produto comutativo. Por exemplo,
::--* --::
4.4. O iuv~ri~u1s
73
simplesmente porque as duas palavras repreentam a mesma palavra cclica.
Embora a dimenso de ~,(s
.
,cresce muito rapidamente com m, fcil ver,
pelo menos, que ~
(s
,e ~
:
(s,e ~,(s,tm <-bases e ::, ::e
::cc, :cc:, :c:c
respectivamente.
Se : uma trana cujo fcho um n ento cada diagrama em :define (por
incluso) um diagrama no fecho, ou seja em s
:
:
e :
:
:
:
:
um n ento o fecho de :
:
:
tambm o e se
aE u,(:
,e / E u
.
(:
.
,ento
,(an,= ,((a,
4.4 O invariante
Seja
z(:,= i+
L _
,
L
c/,,(:
.
,c/.
.
(:
:
,
c/,,(:,,u,
,.
.,
,..
,
..
onde os limites de integrao so i>:
,, :
.
,, ,(:,(:,,,:,,,(:,(:,,,:,,
As relaes entre os ~
.
,
correspondem relaes 4T. Por exemplo, temos a re
lao 4T
u,
,,.
- u,
.
.,
+u,,
,.- u..,
,
= +
que corresponde relao ~,,,~, = ~,
.
,~,,. Tambm u,,., u.,,,
so
equivalentes como diagramas se :,j, /,/so distintos, o que corresponde relao
~,,,~
.
,j= +
z(:,tem propriedades anlogas do transporte paralelo respeito conexo
KZ:
:+
c~ri1uio4. ~iu1scr~iusxou1ssvica
Se b e L so tranas equivalentes ento z(:, z(c,
z(:
:
:
,= z(:,,z(:,,.
Para simplificar a discusso s consideraremos tranas cujos fechos so ns.
Para tais tranas, temos a aplicao ,~(:,- ~(s
,
Teorema: ,z(:
:
:
,= ,z(:
:
:
.
,
Demonstrao: ,z(:
:
:
, ,(z(:
,z(:
:
,, ,(z(:
:
,z(:
.
,, ,z(:,:,,
Ento ,z satisfaz a primeira condio de Markov. A segunda condio,
porm
1
no satisfeita. Por exemplo, calculemos ,z para a 2-trana o
.
. O
resultado
i
,z(o
.
, 1 +
L
2
m
m
!
Om
m>O
onde
m
E ~,(s
.
, o m-diagrama a
a
:
a
m
a1a
2
a
m em s
.Para a1 temos
que :
- :
:
-e
. Ento o coefciente de m
ou seja 2
-
m
vezes o volume 1/m! do m-simplexo aberto 1 >ti > >tm
>O.
A frmula para o;
,z(o
,'
, i +
I
2
m
1
1
(-1ro
m
m.
m>O
A idia de Picken de passar ao quociente pela relaes ,z(o, 1 para
garantir a segunda condio de Markov. Sejam ento 1 _ e 1& os elementos de
~dados por 1 ,z(o;, 1 e seja o quociente de ~pelo ideal 1
~ + 1z
gerado por 1_ e 1& e seja p a composta de ,com a aplicao quociente ~- .
O resultado principal de r(cuja demonstrao ser omitida) que z(:,
satisfaz a segunda condio de Markov e, portanto, defne um invariante de ns.
Como exemplo de como calcular com o invariante, esboaremos uma demons
trao de que o invariante distingue entre o trevo e a sua reflexo num plano. O
trevo o fcho da 2-trana odada pelas duas funes 3/2 e
-
/2, enquanto a
sua reflexo o;
-
dada por 3/2 e
--
+
O:+-O
-
+
2 8 16
que, depois de uma pequena conta, igual a
4.4. oINVARIANTE
onde os pontinhos representam termos em Am para m > s.
O trevo refletido o fecho da 2-trana <)
3
e temos
(
-
3
)
:
pZ <
1
= : + s-
,+s-& - 2
3
+ q
Subtraindo, temos que
pZ(</) -pZ(<)
3
) = s-
,
s- +
3
+
::
Examinando as relaes 4T em A
3
no dificil verificar que nenhuma soma
da forma 0
3
+ pode pertencer ao ideal - ,+- z Ento pZ(</) # pZ(<)
3
),
ou seja o valor do invariante diferente para o trevo e a sua reflexo.
Referncias
C.Kassel, Quantum Groups
, Springer-Verlag GTM, :sss.
oj M.Kontsevich, Vassiliev's knot invariants, Gelfnd Seminar, Adv. Sov.
Math. is(:sss,:s:::a
zV. G.Knizhnik and A.B.Zamolodchikov, Current algebra and Wess-Zumino
model in two dimensions, Nucl. Phys. B247 (iss+,ssias
assim
1
"grupos" qunticos no so grupos. O que sempre se procura
preservar nas deformaes o entendimento das diversas representaes que os
objetos admitem.
3. Fixemos as idias postulando uma dualidade bsica que a Matemtica
deste sculo refetiu em uma quantidade de linguagens diferentes: por um lado,
so estudados objetos xque possuem uma estrutura geomtrica ou topolgica.
A tais objetos so associadas construes algbricas (x,,que podem ser, por
exemplo, lgebra de fnes defnidas no conjunto x, ou o espao de sees
de um fbrado vetorial. Frequentemente gostaramos de reler nestas lgebras as
estruturas geomtricas originais, isto , gostaramos de recuperar em (x,nossos
objetos iniciais xatravs de alguma noo de espectro ((x,,da lgebra (x,
a situao mais desejada quando voltamos a ter alguma forma de isomorfismo
x ~ ((x,,O retorno Geometria a partir das lgebras (x,atravs de um
espectro sugere considerarmos espectros (,de lgebras mais gerais
Tais
espectros so objetos que possuem ainda uma Geome
t
ria reminescente, quase
sempre muito interessante.
::
78 CAPTULO 5. GRUPOS QUNTICOS
4. Esta separao bsica, por um lado a
lgebras de Lie e
lgebras Envolventes
1.5 Representaes
II. Grupos Qunticos
11.1 O Plano Quntico, as Matrizes Qunticas e os Grupos Qunticos
11.2 A
lgebra Envolvente
11.3 Mdulos
5. 1 Bons Antecedentes Algbricos
5. 1. 1 Grupos Clssicos: Defnies
Grupos clsicos uma denominao empregada para alguns grupos de matri
zes, ou de classes de matrizes
1
em que a operao do grupo provm do produto
matricial. Cada matriz-elemento de um grupo assim deve ser inversvel, e logo
seu determinante no se anula. O primeiro grupo clssico Gln(A), dito o gru
po linear geral, tendo como conjunto subjacente o conjunto das matrizes n x n
com determinante no-nulo e coefcientes em um anel comutativo A; dotado do
produto matricial, Gln(A) um grupo.
80 c~ri1uio5. ciurosqu/u1cos
Se n(~,denota o grupo das unidades de um anel ~ento o determinante
um morfsmo de grupos
det : c/,(~, -=n(~,, (I.1.1)
cujo ncleo o grupo clssico denotado por s/,(~,e dito o grupo linear especial.
Assim s/,(~, subgrupo normal de c/,(~,
Se o anel ~de constantes fr um corpo (comutativo) /ento o centro z,
de c/,(/,consiste nos mltiplos escalares \cda matriz identidade c,e logo
z, isomorfo grupo multiplicativo n(/,= /= /, [+}. O grupo quociente
c/,(/,/z, denotado rc/,(/,e chamado de grupo linear geral projetivo. O
centro de s/,(/, z,n s/,(/, e consiste nos mltiplos escalares \cda ma
triz identidade ctais que \
,
" 1. Assim, o centro de s/,(/, sempre finito,
e rsi,(/, := s/,(/,/z,n s/,(/, dito grupo linear especial projetivo. Por
exemplo, se n =2 e a caracterstica de /for diferente de 2 ento
c/
.
(/, -
c - :c /
s/
(/, =
c - :c = i
rs/
(/, =
c - :c = i
] c.
Outros grupos clssicos dependem de formas bilineares ou semi-lineares em
v=/
,
,
tais formas so funes
)(, , v v -- /
(x, y) 1
f(x, y),
e so simtricas (resp.
1
anti-simtricas) se, para todo
x,
y
E V
,
tivermos
f(x, y)
=
f(y, x)
resp.
f(y,x)
" -
f(x, y)
.
Se uma tal forma linear nas duas coordenada ela dita bilinear, e dita no
singular se no existe
x
o tal que
f(x0, x)
=+para todo
x.
Trataremos ainda de
formas no caso em que o corpo /tem uma involuo a 1 a (o cao paradigma
/=c,o corpo dos complexos, com a conjugao) , e a forma hermitiana, no
sentido em que satisfaz
f(x, y)
=
J(y,x).
Neste caso assume-se que a forma linear na primeira coordenada e anti-linear
na segunda, isto ,
f(x, c
c.
+
,"
<if(x, c.
,+
<d(x, c
,
5.1. BONS ANTECEDENTES ALGBRICOS 81
Dado um espao vetorial V de dimensq n sobre um corpo
k e uma forma
f(, ) de qualquer destes tipos, as matrizes M em Gln(k) que preservam esta
forma, no sentido de satisfazerem
f(Mx,
My) = f(x, , para todos x, cV
formam um grupo clssico. Se a forma f( , ) no-singular e anti-simtrica
ento o grupo de matrizes n x n com coefcientes em k que preservam esta forma
chamado o grupo simpltico, denotado por Spn(k). A estrutura de grupo de
Spn (k) independe da escolha da frma bilinear antisimtrica, que pode ser tomada
como
f(x, , _(x2;
-
1
Y2i -X2;Y2;-1) x' Ay,
,.
.1 ,X :},e
Z(SUn(k, J)) Z(Un(k, J)) n SUn(k, J).
Denotamos
PUn(k, J) Un(k, J
)/Z(Un(k, J)) e PSUn(k,
J
) = SUn(k, J)/Z(SUn(k, !)).
Exemplos e Exerccios
1. Grupos clssicos sobre um corpo fnito. O corpo finito com q pr
elementos ser denotado por F @. Temos
PSl2(F2)
Sl2(F2)
'
:
normal em PSl2(F2).
Sobre F
3
o grupo P Sl2 consiste de classes de matrizes; a descrio abaixo
identifica cada matriz com a classe a que pertence:
PSl2(F2) Sl2(F2)/
_
:
,
!
` ` ` `'
donde PSl2(F
3
) isomorf ao grupo A4 e o subgrupo
4
. Tambm PSp
4
(F2) no simples; estes so, contudo, os nicos exemplos de
PSpn(F,) no-simples. A ordem de P8pn(F,) dada por
,
(
card(PSpn(F,)) =
mdc(n - ,
I
(,
:
- 1
)
.
,
._._.t:
Se a caracterstica do corpo k fr diferente de dois e n = 2l +ifor mpar ento
o grupo P!n(F ,) simples se l > 1, e tem sua ordem dada por
,
,
nzl
)
2
card(P!n(F,)) =
mdc(2
i,
I
(,
:
- 1).
.,.
-
.,t:
Se n = 2l for par ento existem dois grupos no isomorfos e simples se l > 2,
dependendo da escolha da forma bilinear simtrica. Estes grupos so denotados
por P!(F,) e P!;(F,), e tem ordens dadas por
e
,
.,.
-
,
card(P!
t
(F,)) =
mdc(4 - i,
I
(,
- i,
7
,
..t:
-
,
.,.
-
,
card(P!n (F,)) =
mdc(2 +
l)
I
(,
:
- ,(,
'
+ i,.
,
i.,.
t:,
-
Um grupo unitrio fnito depende de uma forma sesqui-linear, que por sua vez
depende do automorfsmo involutivo a a. S existe um tal automorfsmo se a
cardinalidade do corpo for um quadrado ,
:
Sobre um corpo de constantes fxo
Fq2 os grupos unitrios so isomorfos entre si, e os grupos PSUn(Fq2) so simples
exceto quando n = 2 e ,= 2 ou 3 e n = 3 e ,= 2. A ordem dada por
,
.,.
-
,
t:
.
card(PSUn(F,2)) =
d ( )
I (,
;-i,i,
m e n, ,- 1
:._.
s+ .-..c5. ..-,..
2. A simplicidade de -c.-,,No cao de A = ser um corpo o determi
nante (I.1.1) como homomorfsmo de grupos admite uma seo
.- .,
i o
. . .
o i
.
o
. -.,
o o
. .
.
e realiza ..,como produto semi-direto de ,e ., Isto signifca
que toda matriz .E .,se escreve de forma nica
. ,...., (2.1)
Se ,,, a matriz com entradas nulas exceto pela entrada na
i
e
sim
a
linha
e j
e
sima coluna
1
que igual a um, ento para
i
# j a matriz
.
..,
dita uma transveco. Vale
,.
,.
, (2.2)
e ,..e de fto , o subgrupo de .,,gerado por trans
veces.
Se n 2 e -,ento o grupo .-,,se manifsta como o grupo de
transformaes lineares fracionrias
.,
..
.
onde . i (2.3)
Seja ssubgrupo normal de .-,
Se a transveco
, .estiver em aento
s-,,De fato, para
,
.-,a normalidade de simplica
,
. ` `
.
.
`.
i .. ..
.
.
.
i...
...
.
se O
.,.
.
, se a = O.
O endomorfsmo . .
.
de -tem como ncleo as razes de .
.
i Como
existem no mximo duas destas razes, pelo menos metade dos elementos de -
so quadrados.
5.1. .-.-...
_
.. 85
Por causa de (2.2) o conjunto
i, .-,1 ... , U ,.,
subgrupo do grupo aditivo de -,que contem todos os elementos do tipo
...
.
e logo contem mais da metade dos elementos de -,. Pelo Teorema
de Lagrange i-,e contem todas as transveces .Analogamente,
.
,
,
ento necessariamnete .-,Se
_
acontiver a matriz . , , para
. , +:ento tambm contem, para .
.-,a matriz
.
,.
. .
.
:
.
Como ....:..vale . ,1 e i
.
.
,.e .
(i .
.
e
logo .- ,pelo visto acima.
Assim, resta mostrar que acontem alguma matriz .
com . ,
_
i
+ i
,
i --
A matriz .-,que realiza a similaridade se decompe como em (2.1)
-.onde det(S) e ,..-,e logo no primeiro caso
~
.
u-'
"
s
(porque matrizes diagonais comutam), e logo .
,,~,.
.-,satisfaz as exigncias, j que
i .. i
,
i o
-:
-
, C ,
~,
,
,
, ^- +
86
CAPTULO 5. GRUPOS QUNTICOS
-
1
Para T *
"
0
,E Sl2(Fq) vale que H certamente conter
e s resta escolher a tal que a
2
# 1, isto , a no sendo raiz de
x
4
1. Isto
possvel se q * 4 e se q > 5. Para q 5 o grupo PS!2(F5) tambm simples,
com uma escolha mais delicada de matrizes M E H.
Valem os isomorfsmos
PSl,(Fs) ~ PSl,(F,) *
~
.
,
o grupo alternado de 60 elementos. Para q * 7 o grupo PSl2(F1) um grupo
simples no abeliano nem isomorfo a um grupo alternado, j que sua ordem 168
no da forma n!. No entanto, PSl2(F9) volta a ser isomorf ao grupo alternado
~
.
,=
e regular se, alm de transitiva, o grupo de isotropia de qualquer e E C
trivial, de forma que em uma representao regular para ,e E C existe um
nico ,E com .,,
,= e. Vale que se .for transitiva (resp. , regular) ento
., .,.,,para todo E C (resp., .,= .,,
Dada uma representao .de em C defne-se, para n inteiro positivo,
C
[
n
]
{ C1 , . ,,o Cj
para
i
#
j
}
C
,
},
cx + d ca x +
o grupo de isotropia de o dado por
-,, { x > ax + b 1 a E -q \ {O} } U { x > aa(x) + b ,a E -@
-@
}.
Com estas representaes o grupo - @) estritamente 2-transitivo de grau q
e o grupo -,(que no isomorfo a ..
.
-, estritamente 3-transitivo de
grau q + : Um teorema de Zassenhaus, algo no esprito do teorema de classif
cao, afrma que isto esgota a lista de grupos estritamente 3-transitivos: qualquer
grupo estritamente 3-transitivo ou um ..-,ou um -,
Existem grupos estritamente 4-transitivos e grupos 5-transitivos (no isomor
fos a grupos simtricos e alternados), mas segue do teorema de classifcao que
no existem grupos n-transitivos para n 6. De fato, Jordan mostrou em 1872
que para n 4 s podem existir grupos estritamente n-transitivos (no isomorfos
a grupos simtricos ou alternados) se n 4, e neste caso o grau da representao
11
1
ou n 51 e neste caso o grau da representao 12. Estas cotas so atingi
das: existem grupos assim. De fato, existem grupos assim que so grupos simples
e espordicos (isto
1
no isomorfos a nenhum elemento das famlias clssicas) .
Estes grupos so os grupos Mu e ~.descobertos por Mathieu em 1861.
Fequentemente a categoria cem que se representa um grupo tem aspectos
combinatrios interessantes. Por exemplo, um ............,
de tipo
(r, s, t) consiste em um conjunto .de cardinalidade :e um conjunto {B;} de
subconjuntos B, -.com card(B;) * s tal que para cada subconjunto -.
com card(C) = r existe exatamente um :com e Bi Uma estrutura assim
admite morfsmos evidentes (os subconjuntos Bi de um sistema sendo levados nos
subconjuntos do outro), defnindo uma categoria St que, por serem como so as
coisas, muito pequena: neste mundo existem poucos sistema de Steiner. Por
exemplo, a menos de isomorfsmo s existe um sistema de Steiner ,
de tipo
(r, s, (5, 6, 12), ou de tipo (5, 8, 24). No entanto, uma surpresa:
M,, .,,.
.
.
isto o grupo de automorfsmo do sistema de Steiner ,,
.
o grupo de Mathieu
~.O grupo
5.1. ...,...
_
. 89
ainda outro grupo simples descoberto por Mathieu; ~,.e ~
.
,so os nicos
grupos 5-transitivos conhecidos (a parte os grupos simtricos e alternados).
Dado um sistema de Steiner de tipo s, t) sobre um conjunto .destacando
um elemento .E .define-se um sistema de Steiner de tipo (r-1, s-1, t-1) sobre
., ,.,tomando como subconjuntos ,,.,onde so todos os subconjuntos
do sistema original que contem .Dado o sistema ,,,.o sistema ,,
que
resulta deste processo tem como grupo de automorfsmos o grupo de Mathieu
~
e dado o sistema ,,
.
,o sistema ,..,que resulta deste processo tem
como grupo de automorfismos um quarto grupo simples ~.,ainda descoberto
por Mathieu. O grupo ~ o grupo de isotropia de um smbolo de ~.e o
grupo ~., o grupo de isotropia de um smbolo de ~
.
, O grupo de isotropia
de um smbolo de ~
.
, ainda um ltimo grupo simples ~..descoberto por
Mathieu; este grupo ~.. um subgrupo de .,, .,..
.,..de ndice dois,
onde ,,.. o sistema de Steiner obtido a partir de ,,.,
Outros grupos comeam a se repetir, ou no so simples: por exemplo, o
grupo de isotropia de um smbolo de ~., o grupo clssico PSl
3
(F4) (e logo no
um grupo novo, espordico), enquanto que o grupo de isotropia de um smbolo
de ~tem um subgrupo (isomorfo a PSl
2
(F9)) de ndice dois (e logo norma) e
assim este grupo no simples.
Os grupos de Mathieu ~,~....~.,e ~
.
,foram os nicos grupos es
pordicos descobertos no sculo XIX. Suas ordens so dadas por:
.~, 24.3
2
.5.11
.~. 26.33.5.11
.~.., 27.3
2
.5.7.11
.~
.
,, 2'.3
2
.5.7.11.23
.~
.
, 2
1
0.33.5.7.11.23.
Os demais vinte e cinco grupos espordicos foram descobertos no sculo XX; de
fto, foram decobertos entre 1950 e 1980.
Referncias.
A bibliografa sobre grupos clssicos imensa. Os livros de Weyl w e de
Dieudonn bso clssicos.
A classifcao dos grupos simples deveria ser cantada em versos picos. En
quanto tal no acontece, permanece dispersa em uma quantidade de artigos feitos
por e para especialistas. Quem mais trabalhou para remediar este estado de coisas
foi Daniel Gorenstein, do qual citamos oe
e ....c5. ..-,..
5.1.2 A Geometria dos Grupos Clssicos
Os grupos clssicos podem ser submetidos dissecao por uma variedade de
tcnicas. De fato, eles intervem em quase qualquer rea da matemtica. Nesta
seo e na prxima so colocados os pontos de vista com os quais um gemetra
e um algebrista os estudam.
Um gemetra, admirando grupos clssicos, fca inebriado como estes grupos
dependem suavemente das coordenadas-entradas das matrizes
1
e como as ope
raes algbricas envolvidas, a multiplicao e a inverso, so operaes suaves.
De fato um gemetra, ao ver mencionada a palavra,corpo, s se lembra dos reais
e dos complexos, e ento reconhece estes grupos como variedades diferenciveis
em que as operaes algbricas envolvidas so suaves. Na verdade o que o fascina
o fato de grupos clssicos serem objetos da categoria Dif (ver apndice B), de
fato objetos de Hopf desta categoria (ver (A.6)). A denominao consagrada ,
claro
1
indicar que grupos clssicos so grupos de Lie.
Rastreando defnies1 um grupo de Lie um grupo, objeto de Grp, que
uma variedade diferencivel, objeto de Dif, tal que a multiplicao e a inverso
so morfismos em Dif.
. . . .
(,,,',
e
,,
'
. .
,e
9
-
1
Muita coisa necessria para tornar esta defnio possvel: em primeiro lugar,
o produto cartesiano, que o produto categrico em Conj, pode ser dotado
de uma estrutura de produto em Grp (isto consequncia de ter o funtor de
esquecimento : Grp - Conj um adjunto esquerda, dado pela estruturao
livre; ver (A.4)), e tambm pode ser dotado de uma estrutura de produto em Dif.
Isto permite que o morfismo em Grp dado pela multiplicao ...
seja morfismo ein Dif. A aplicao do funtor derivada D : Dif - Dif ao
morfsmo resulta num morfsmo em Dif D() : D(G .-.em
particular, derivando na origem .I) E ..resulta numa aplicao linear
entre os espaos tangentes ((B.5))
D
(
)(I,I) :
D(G X
G)(I,I)
D(G)r.
Uma lgebra de Lie A sobre um corpo k um espao vetorial sobre k dotado
de uma operao bilinear
,|...
que satisfaz ,|= para qualquer E .e a identidade de Jacobi
'
,:, +:, ,+ ,|,:= O
(1.2.1)
5.1. .......
_
..
91
Dado um grupo de Lie .a estrutura de gruno em .dota o espao tangente
na identidade ...da estrutura de um
lgebra de Lie (ver (B.5)). Esta
estruturao se manifesta de vrias maneiras: por exemplo, derivando o morfsmo
de multiplicao. Para calcular esta derivada na identidade ...toma
se uma parametrizao local (U, V, .onde U aberto em Rn; sem perda de
generalidade pode ser exigido O E
U com . O) .a identidade em G. Ento
h x .. ux U - V x V parametrizao local de .x .em torno da identidade
(i,i,de .x .A parametrizao faz recair o clculo da derivada de em .i,
no clculo da derivada de .
. .x . U x U - U, onde
u X u .X ..! . U,
defnido em uma vizinhana apropriada de (O, O). Expandindo a srie de Taylor
de em torno de (O, O), e usando ,.E Rn, resulta em
. . ,
onde , ) uma aplicao bilinear e as reticncias indicam termos de ordem
superior. Com esta forma bilinear define-se
. .
A associatividade de implica , .que levada
srie de Taylor implica
..
.
Da segue que
..
.. ... .
Somando as equaes correspondentes para os termos
..,e
.
,.,
h cancelamento completo de todos os termos direita, e logo satisfeita a
identidade de Jacobi
...
.+ ..+
Assim, identifcando com o vetor tangente de :t :, o espao tangente
..de um grupo de Lie na identidade tem a estrutura de uma lgebra de
Lie. Esta estrutura se manifestar sempre que a estrutura diferencial (do grupo
como objeto de Dif e algbrica (dele como objeto de Grp) forem usadas em
conjunto. Por exemplo, para qualquer variedade diferencivel M, objeto de Dif,
o espao de campos vetoriais ( ou
1
equivalentemente, de derivaes da lgebra
Hom
oit
(M, R); ver (B.5)),
Vec(M) Der(Homrnt(M, R)) (1.2.2)
92 c~ri1uio5. ciurosqu/u1icos
tem naturalmente a estrutura de uma lgebra de Lie (em geral de dimenso
infnita). Esta estrutura, presente em qualquer variedade diferencivel, : a
estrutura relevante se M= cfr um grupo de Lie: neste caso observa-se que c
age em vec:(c,da seguinte maneira. A multiplicao esquerda
o
. c --c
,
t ,,
isomorfsmo em Dif (no sendo sequer morfsmo em Grp) , e se E vec:(c,
ento
:= u(o,,( o,-,c
-
u(c,
,
r u(o,((,
-
,,,E u(c,,
um campo vetorial em vect(c,. Isto defne uma ao de cem vec:(c,, e
um campo E vect(c, dito .a:.a:e es,ae:oase =
X
O subconjunto
vect(c,de campos invariantes esquerda uma sub-lgebra de Lie de vec:( c,,
esta sub-lgebra v ec:( c, isomorfa lgebra de Lie de cdefnida como o es
pao tangente na identidade u(c,,com a operao defnida como acima, atravs
do isomorfsmo r (i, Visto na encarnao de derivaes (1.2.2), um campo
X encarado como uma derivao de s,,,(M,R) invariante esquerda se
comutar com a transformao linear
o
s,_(M,R) --s,,(M,R)
f
r
o(),M- R
r
)(
o
-
(,= )(,
-
,.
Alm destas duas aparies da lgebra de Lie de um grupo de Lie c, necessrio
ao que segue considerar ainda uma terceira, obtida atravs da ao de cdada
por conjugao:
~ c --s,,,(c,c,
,r ~(,, c -c
,
r
,,
,
.
O morfsmo ~(,, isomorfsmo em Grp e em Dif, sendo composta de translaes
direita e esquerda. Considerando-o como isomorfsmo em Dif podemos tomar
sua derivada na identidade I de cesta derivada se denota por
~c(,,:= u(~(,,,, u(c,,
-
u(c,
:
,
e g r ~c(,,defne uma ao de cem ~:.
(u(c,,,u(c,,,(isto , automorfs
mos de u(c,,como espao vetorial sobre k). Como ~:,(u(c,,, u(c,,,tem
5.1. .-.c
_
.. 93
uma estrutura de grupo de Lie (ver exemplo 1. abaixo), possvel tomar a deri
vada de ,r ,,na identidade I, obtendo" ua aplicao de -,,no espao
tangente de ..,-,-,,,em sua identidade -,-- -,,Co
mo ..,-,,-,,,sendo imagem inversa do aberto /\ {O} pela funo
contnua det) aberto em .,-,,-,,,este espao tangente simples
mente .-,-,.,e a derivada -,define uma ao de lgebras
de Lie, denotada por
A operao
. -,, .,-,-,,,
., -, -,,
-,,x -,, -,...,
,, .,
,
(5.1)
uma (terceira) frma de dotar -,de uma estrutura de lgebra de Lie.
Assim, com um embaras de rchesses, foi indicado o
Teorema de Estruturao do Espao Tangente na Identidade como
lgebra de Lie. e G for um grupo de Lie ento o espao tangente -,.na
identidade tem naturalmente a estrutura de uma lgebra de Lie.
que falta para ser visto da prova do teorema depende de como se interprete a
palavra "naturalmente". As trs maneiras de defnir esta estrutura devem servir
como uma justifcativa da qualificao "natural" , mas ento deve ser provado
que estas trs maneiras coincidem; isto no difcil: a representao adjunta
.-,-- ..-,-,.,que fi a ltima frma de apresentar a
estrutura, calculada pela srie de Taylor, como na primeira defnio. Em
cada uma das formas de apresentar foram omitidos detalhes (como a prova da
identidade de Jacobi), que so rotineiros. Teorema acima define um fntor da
categoria de GrpLie de grupos de Lie para a categoria AlgLie de lgebras de
Lie:
rGrpLie -- AlgLie.
Exemplos e Exerccios
1. A lgebra de Lie de ,.,grupo de Lie ,., o grupo de transfr
maes lineares inversveis de .
,
o clculo que se segue se aplica para o grupo de
transformaes lineares de qualquer espao vetorial V de dimenso fnita sobre
k.
94 .-..c5
.
.-,.
Para tomar uma parametrizao local em torno da identidade I E
Gln(R)
satisfazendo as condies descritas acima basta fazer
h : e R
'
--Gl.(R)
(
c
;;);;1, +,
n
+ (
e;
),
com (e;) matriz n x n tomada em uma vizinhana apropriada da origem em
R
'
. A expanso de Taylor de
f
* h-1 o o (h x h) ento simplesmente
J(A,B)
A + B + .- BA),
onde A, B esto no espao Mnxn(R) de matrizes n x n com coeficientes reais.
Assim, a lgebra de Lie de Gl.(R) o espao Mnxn(R) com a operao dada
por [A, B] AB - BA. Esta lgebra denotada por gl.(R).
2. O caso de Sl2(R). Um clculo anlogo pode ser fito para Sl2(R) tomando
a parametrizao em torno de E Sl,(R) dada por
h : ue R
3
--Sl2(R)
0)
>- I +
.
onde a entrada d obtida implicitamente. De fato, vale :* det(I +
.
)
i+ tr
.
+ det
(S,
i
d)
-
' '
/
6
97
"escolha de
que garante que o morfsmo antpoda funcione como o dual da inverso no grupo.
Uma lgebra comutativa sobre /,objeto de AlgComk, dotada de morfismos
, C e S que funcionam, respectivamente, como co-multiplicao, co-unidade e
antpoda (e logo tornam comutativos os diagramas acima), .dita uma lgebra
de Hopf comutativa sobre /.
olema de Yoneda (A.2) garante que funtores representveis AlgComk -
Grp (como os grupos clssicos) correspondem a lgebras de Hopf comutativas
sobre /. So, tambm, os co-objetos de Hopf de AlgCom .
Funtores representveis formam naturalmente uma categoria, em que morfs-
1nos so dados quer por transformaes naturais quer (via o lema de Yoneda), por
morfsmos em AlgComk das lgebras de Hopf comutativas sobre /corresponden
tes.
...
..
..
A co-multiplicao dada por
.
,
x
,,
x,
,
..
a co-unidade por
e o antpoda por
-
> ,0 +
.0 .
> ,0
.+
.0 ..
>
.0 + ..0 .
> .0
.
+
..0 ..
.. 1
..
HO,
, >
..
..
>
,
. >
.
. .
5
.
1. .......-..c.
_
.. 99
Referncias.
ouso de lgebras de Hopf comutativas em Geometria Algbrica exposto de
forma clara e elegante em Wa.
5. 1. 4 lgebras de Lie e lgebras Envolventes
Tal como defnidas em 1.2, as lgebras de Lie frmam naturalmente uma categoria
AlgLie, que j foi invocada naquela seo. Morfsmos de lgebras de Lie so
as transformaes lineares que preservam as operaes g ideais (ncleos de
morfismos,em uma lgebra de Lie .so sublgebras J tais que J,.,e Je em
geral esta categoria funciona confortadoramente prxima da categoria AnCom.
Uma lgebra de Lie . abeliaa se .. Todo espao vetorial pode ser
dotado de uma estrutura de lgebra de Lie abeliana defnindo a operao g
desta maneira trivial. Mais interessante, para toda espao vetorial .sobre /o
conjunto das transformaes lineares .,..tem naturalmente a estrutura
de lgebra de Lie com a definio
. . .. ..
Por causa do exemplo 1. em 1.2, em que esta defnio aparece como a lgebra
de Lie .,.esta lgebra de Lie denotada ,.Mais geralmente, cada
lgebra (associativa) .sobre /origina uma lgebra de Lie ,.defnindo, para
. E .
., . .
Assim, ,. ,.,..
Esta associao define um funtor
,+ Alg -f AlgLie .
(A notao Alg,
designa a categoria de lgebras associativas, mas no neces
sariamente comutativas, sobre /,. Se .objeto de Algk, for comutativa ento
,. abeliana.
Este funtor ,tem um adjunto esquerda, geralmente denotado por .por
lembrar "universal
1
' , diretamente ligado ao Teorema de Poincar-Birkhof-Witt.
Para uma lgebra de Lie .define-se uma lgebra associativa ..denominada a
lgebra envolvente ou a lgebra envolvente universal de .da seguinte maneira.
Sobre o espao vetorial subjacente de .(que ser denotado confusamente pela
mesma letra . tomada a lgebra tensorial
100 ....c5. ..-,..
Em T considerado o ideal bilateral J gerado por a E b - b E a - [a, b] para
todos os pares (a, b) E A x A, e a lgebra envolvente defnida como uma lge
bra quociente por U(A) = T / J. Como morfismo de espaos vetoriais existe um
mergulho cannico A -+ T -+ U(A) . A adjuno
U . AlgLiek + Alg, : gl
se expressa por
HomA1g, (U(A), B) - HomA1gLie, (A, gl(B)).
A verificao imediata.
oTeorema de Poincar-Birkhof-Witt garante mais do que esta adjuno:
mostra como construir uma base de U(A) a partir de uma base de A (de dimenso
no necessariamente finita).
Sendo adjunto esquerda o funtor U naturalmente preserva colimites (ver
(A.4)). Assim vale, para lgebras de Lie A e B, que so isomorfas em Algk as
lgebras
' : U(A E B) - U(A)
C U(B).
Dada uma lgebra de Lie A aplicando o funtor U ao morfsmo diagonal
: A -+A EA
a > (a,a)
e depois compondo com o isomorfsmo r defnido acima resulta em um morfsmo
'
o U() : U(A) -+ U(A) C
U(A).
Este morfsmo resultante satisfaz a propriedade co-associativa necessria para
defini-lo como uma co-multiplicao = < o U() que essencialmente a diago
nal. Por outro lado, o espao vetorial trivial {O}, objeto inicial e fnal em Vectk,
trivialmente uma lgebra de Lie que objeto inicial e fnal em AlgLiek. Apli
cando U ao nico morfso A -+ O obtemos um morfsmo C . U(A) - /que
compatvel com a co-multiplicao / defnida acima.
A categoria AlgLiek admite um processo de dualizao: a cada lgebra de
Lie A pode ser considerada a lgebra oposta A0P defnida sobre o mesmo espao
subjacente com a operao
[
a, bJ
P
= [b, a] = -[a, b].
As lgebras A e A
P so isomorfas pelo isomorfsmo w : a r -a. Aplicando U
a w obtemos um morfsmo = U(w) que compatvel com a co-multiplicao
e com a co-unidade C defnidas acima, e logo a lgebra envolvente U(A) tem
uma estrutura natural de lgebra de Hopf, agora no mais comutativa. lgebras
5.1. ...-....
_
... 101
de Hopf sobre / (no necessariamente comutativas) formam naturalmente uam
categoria AlgHopfk, e existe, como em (I.3.1) um funtor de esquecimento
A operao descrita acima defne um funtor
1 AlgLie - AlgHopfk.
Para uma lgebra de Lie a lgebra de Hopf ..no , em geral comutativa,
j que a multiplicao em U(A) essencialmente o produto tensorial, que no tem
porque comutar. No entanto 1(A) co-comutativa, isto , o diagrama abaixo
comutativo, onde T troca de coordenadas
1(A) X 1(A) 2
/ '
1(A) X 1(A)
t D
1(A).
A comutatividade deste diagrama consequncia da defnio de 1 e da comu
tatividade de
AEA- ..
c ' t c
A,
onde, aqui tambm, r (outra) troca de coordenadas.
Exemplos e Exerccios
1. O caso de Sl2 Algebricamente Sl2 um funtor representvel AlgComk -
Grp, representado pela lgebra de Hopf comutativa mas no co-comutativa
com co-multiplicao, co-unidade e antpoda dado no exemplo 1. de I.3.
Geometricamente, pelo menos para / R o grupo Sl2(R) um grupo de Lie,
e como tal tem associado sua lgebra de Lie .(Sl2(R)) sl2(R), calculada no
exemplo 2. de I.2. Tomando a lgebra envolvente
U.(Sl2(R)) = U(sl2(R)
temos uma lgebra de Hopf 1(sl,(R)) , co-comutativa mas no comutativa. Na
turalmente se coloca o problema de investigar a relao entre A e 1(sl2(R). De
fato, estas lgebras so duais uma da outra.
. -.-c5. ..-,-.
A lgebra envolvente U(sl2(R)) -gerada pelos elementos
.
, .. e .
,
Valem as relaes em U(sl2(R))
. . . . . . . ....
... z:,
,
....- ::,,
......
..:
:,
Como espao vetorial U(sl2(R)) admite a base
..
:, ,, /c )
ocentro de U(sl2(R)) -gerado, como lgebra, pelo elemento de Casimir
.
. . .
./,no
tem uma estrutura de gebra, mas uma de co-lgebra, isto -,um espao vetorial
dotado de morfsmos
c .-- ... C . . /.
Estes morfsmos so chamados de co-multiplicao e de co-unidade, respectiva
mente. Co-lgebras, claro, defnem uma categoria CoAlgk.
Uma lgebra .que -uma co-lgebra -algo interessante quando a multipli
cao e a unidade 1 forem morfismos de co-lgebras, e isto acontece exatamente
a co-multiplicao D. e a co-unidade forem morfismos de lgebras. Neste caso a
lgebra -dita uma bi-lgebra.
omorfsmo que troca componentes em um produto tensorial ser denotado
por T : .0 .
Analogamente,
se L : A - / co-unidade ento * + / - A* uma identidade para A*. No
entanto, se A lgebra com multiplicao , nem sempre * dota A* de uma
estrutura de co-lgebra: o problema que a imagem de uma co-multiplicao
..
:
a
Li ai
o:
.deve ser tal que o somatrio seja uma operao fnita; isto
acontece se .tiver dimenso finita.
3. Grupos de Chevalley. o material aqui reunido adiciona algo mais ao
assunto da classifcao de grupos simples fnitos.
ocontexto ser a categoria AlgLiek de lgebras de Lie, e o ponto de vista
ser cada vez mais algbrico, comeando com o caso / C. Em 1.2 foi visto
que ad : .- ...,.,, um homomorfsmo em AlgLie da
lgebra de Lie . , r( associada a um grupo de Lie G. Em geral, para
uma lgebra de Lie r, objeto de AlgLie., cada elemento x c r defne uma
ia+ .-..c5. ..-,..
aplicao .: L - L por .
algo como a regra de Leibniz para derivaes. Assim definimos uma derivao de
C como sendo uma aplicao linear : . -- C satisfazendo
= ,
Assim, para todo E L a aplicao . uma derivao de L.
Sobre um corpo k de caracterstica zero uma derivao nilpotente
1
isto ,
tal que
,
O para algum .gera um automorfsmo
..
i
.
/2!
.- i,
de .. De fato, por induo se mostra
e logo
Assim,
L
:
o:i:r
..
,
L., L. .1
,
1
r?O
i
+j=r '
. J
__
..
i?O j?O
J.
....
(5.2)
oque se usa agora o incio da teoria clssica de lgebras de Lie simples, isto ,
aquelas que no tem ideais (no sentido de lgebras de Lie) no triviais (ver a.
Tais lgebras fram classifcadas por Cartan e por Killing, e nesta classificao
crucial o papel desempenhado pelas subJgebras de Cartan: tais sublgebras so
as sublgebras nilpotentes maximais, isto , sublgebras .crtais que
..,.,
.= o,
onde a operao .. esquerda foi tomada um nmero fnito de vezes, e tais
que se
,,
.
CoA!gk --Conj;
de fato, CoA!gk tem como objeto fnal o corpo de constantes /com a estrutura
de co-lgebra dada por 1 = 1 0 1, para cada co-lgebra c,objeto em CoAig., a
co-unidade
<e : c -- /
sendo o nico morfsmo em s,, (c,/, Como /,depois de esquecida sua
lgebra, no o objeto final de Conj, que o conjunto com um elemento s, o
funtor de esquecimento r,, no pode ter adjunto direita. Por outro lado,
o conjunto vazio 0, o objeto inicial em Conj, no tem estrutura de co-lgebra,
no tendo sequer estrutura de espqo vetorial, e logo o funtor de esquecimento
r,,
,
no tem adjunto esquerda. Como espao vetorial sobre /, objeto em
Vect
.
, p espao vetorial subjacente co-lgebra /x dado por
/x= o,,/-,
e x - /x adjunto esquerda do funtor de esquecimento Vectk - Conj,
e assim sequer o funtor de esquecimento CoA!gk - Vectk admite adjunto
esquerda.
Se, alm de monide, M * cfor um grupo, objeto em Grp, ento /ctem
um antpoda s: g r g-1 que faz de /cuma lgebra de Hopf (co-comutativa,
mas nem sempre comutativa) , objeto de AlgHopfCocomk.
Se cfor finito ento o dual s
.
(/c,/, lgebra de Hopf (comutativa,
mas nem sempre co-comutativa), objeto de AlgHopfComk, dada pelas funes
defnidas em ctomando valores em /com a estrutura natural usual de gebra:
s.(/c,/,= s,,(c,/,,a co-multiplicao e a co-unidade so dadas por
!(f)(g, h) =
J
(gh) e <
(!) = f(
l
)
.
108 c~ri1uio5. crurosqu~u1icos
Se cfor, alm de finito, comutativo, ento esta lgebra de Hopf Homk(kG, k)
isomorfa a k, onde o grupo de caracteres de c(o dual de Pontryagin), o
isomorfsmo sendo dado pela transfor1nada de Fourier. Se cno for comutativo
ento /cpode funcionar como funes Homk(?, /,em um espao "quntico
)
' no
comutativo inexistente, que generaliza (neste caso, , defnido como classes de
equivalncia de mdulos simples, -no mais unidimensionais -no mais um
grupo).
5. 1.5 Representaes
oconceito bastante geral de representao para grupos foi definido no exemplo
3. em I.3:
p : c ~~t(c,c,.
Se C for uma categoria de mdulos com alguma estrutura ento a representao
linear p e o mdulo ccostumam ser identifcados. Assim, por exemplo, se c
for um grupo de Lie ento em I.2 fi visto que ~c uma representao de c
em sua lgebra de Lie r(c, o(c,,,como um espao vetorial, isto , C =
V ectk a categoria dos espaos vetoriais sobre k. Uma tal representao linear
simplesmente um morfsmo de grupos p : G --Gl(V).
Naturalmente se generaliza este conceito para outra categorias. Assim, para
uma lgebra de Lie ~ uma representao um morfsmo p : ~ -- gl(V) de
lgebras de Lie. Uma representao de um grupo de Lie cd origem a uma
representao de sua lgebra de Lie r(c,por derivao, e localmente vale uma
recproca. Se cfor conexo e simplesmente conexo as representaes em dimenso
fnita de ce de r(c,se correspondem bijetivamente.
Para uma lgebra ~sobre k, objeto de Algk, uma representao um morfis
mo p : ~-- Hom.(V; V). Para uma lgebra de Lie A sobre /as representaes de
~correspondem bijetivamente representaes de sua lgebra envolvente U(A).
Para um funtor c: C -- Grp em grupos e um funtor x: C -- Conj em
conjuntos uma representao uma transformao natural cx x- xque a
cada objeto C defne uma.ao c(c,x x(c, -x(c,No caso tartado em (I.3)
acima C " AlgComk1 e a representao linear se para toda lgebra A, objeto
de AlgComk, x(~, V x A, para um mdulo V sobre k fxo, e se c(~,
linear sobre k. Se os funtores forem representveis, observando o que estes dados
implicam para os objetos que os representam, maneira de Yoneda, natural
a definio: se ~ um objeto de Hopf em AlgComk um mdulo V sobre k
dito uffi comdulo sobre ~se existir p . V 4 V ;~tornando comutativos os
5.1. sous~u1scsosu1ss~icsstcos 109
diagramas
v __ v; ~
p
l
l:c ; n
v;~ v;~ ;~,
e
v __ v;~
.
l
:c ;c
v - v; /.
Se v~e p L temos a representao regular de ~
Exemplos e Exerccios
1. O caso de s/
:
Representaes da lgebra de Lie s/
:
" c(s/
:
,correspondem a
representaes de sua lgebra envolvente nr(s/
:
, Representaes irredutveis de
dimenso fnita de nc(s/
:
,so parametrizadas por naturais da seguinte maneira.
Lembramos (1. depois de (1.4)) que nc(s/
:
, gerada por x,:e H; dado um
mdulo V sobre nc(s/
:
,,um autovetor E vde H
n x
dito ter peso x (Aqui se identifca H com p(H)). Se, alm disso, x + ento
dito ser vetor de peso mimo.
Sobre um corpo algebricamente fechado / todo mdulo tem vetor de peso
mximo: certamente existir um autovetor de H com autovalor a, e se x +
ele ser vetor de peso mximo. Caso contrrio, considere-se a sequncia x(,.
Pelas relaes listadas em 1. de (1.4) (vlidas tambm em n(s/
:
(c,,,vale
nx(,
(
a + z.,x,
e logo x
= O mas x
i
+l
O, e neste
caso x
(. -
z
,
:
., ' ., '
. .
,
y
i
-Lu
x--
(\- i + 1) ( . - l) '
i . i .
110
e
c~ri1uio5. crurosqu/u1icos
,
,
i
(i
+
1)
(i + l)
! "
Assim, { v} uma sequncia de autovetores de H com autovalores distintos e,
novamente, deve existir um maior inteiro :para o qual no seja nulo. De
fato, pelas relaes acima O = x ( - i) v
,
e logo , " i um inteiro.
Alm disso, {
Y
;!v}j=O
, .
..
,
. conjunto linearmente independente, uma vez que so
autovetores associados de H a distintos autovalores. O mdulo que estes vetores
geram tem assim dimenso + 1 e simples, e a ao de H diagonal com
, + 1 autovalores distintos , ,\ - 2, . . . , , -2,\ -,\. O vetor de peso mximo
distinguido entre os autovetores por estar associado ao autovalor , de modo que
qualquer outro vetor de peso mximo um mltiplo escalar de Como qualquer
mdulo tem um vetor de peso mximo, os nicos mdulos simples V (de dimenso
fnita) de U(sl2(C)) so os mdulos gerados por um vetor de peso mximo de peso
inteiro i dim V. Este mdulo dito mdulo de peso mximo e denotado por
V(i), com a representao correspondente denotada por p; : sl2(C) - gl;+i(C).
Observe que p0 a representao trivial, p1 a representao natural sl2 - gl2
e p2 a representao adjunta com xsendo o vetor de peso mximo, -H = v,x
e
,
[Y,[Y,
X
J
[
Y
,
H)
-
2
!
2
!
.
No mdulo V(i) qualquer elemento do centro deU(sl,(C)) age por um mltiplo
escalar da identidade. Em particular, como para 1 o vetor de peso mximo e e
o elemento de Casimir vale
H
2
v i
2
c xv= vx+ -
2
- i+ _,
o elemento de Casimir age por multiplicao por
:,
cc=,
-
cc,
:c-c:,
c=,
-
c
:c-,
c:
c- c =(,
-
-,,:c. (II.1.2
)
Por exemplo, o produto matricial esquerda e (II.1.1) para -,implicam
(- +c,(-+:,=,(-+:,(c-+c,,
e identificando coefcientes de -
:
,
:
e -segue
c=,c, c:=,:c, e c:+,c-,c+,
:
:c.
Esta ltima relao implica na ltima relao de (II.1.2) por diviso por ,. As
outras verificaes so similares
)
assim como a verifcao da recproca. Com isso,
o conjunto das matrizes que vo operar no plano quntico /-,so defnida
por
Mq(2) =/, :,c, c]/i,
onde i - o ideal bilateral de /,:,c,c]gerado pelas relaes (Il.1.2) acima. Se
,=1 claramente Mq(2) a gebra comutativa /,:,c,cque representa o funtor
que para cada lgebra comutativa ~fornece o conjunto das matrizes 2 x 2 com
coefcientes em ~. Para defnir o produto matricial neste conjunto necesrio
instituir a co-multiplicao que, no caso comutativo (,=1) dada por
c - ; + : ; e
: - ; : + : ;c
c c ; + c ;e
c -e ;: +c ;c.
:i+ c~ri1uio5. ciurosqu/u1cos
Como as relaes {II.1.2) so homogneas em ,:,e, ca lgebra M,{2) gra
duada, e o espao vetorial subjacente admite a base
(
|'c
,
c1 i, j, m, n
2 .
Se
A
uma lgebra sobre /,objeto de Alg., ento os elmentos de Ho
m
A1g, (M,{2), ~,
so ditos pontos de M,(2) defnidos sobre A. A notao matricial
'
para o ponto ) inevitvel.
As matrizes 2 x 2 e o plano esto assim defnidos, bem como o(s) produto(s)
de uma matriz por um vetor. A prxima defnio
det, = c- ,
-
detq ,
a
H muita verifcao a ser cumprida para este enunciado. H algum susto,
tambm: o antpoda : involutivo:
:
a,
s
:
(c,
=
a ,
,
.
.
,
,
. ,
As lgebras de Hopf cno so nem comutativas nem co-comutativas.
Exemplos e Exerccios
1. Seja B a lgebra comutativa
B . s,,,(c (],c,,
e seja , E c 0, 1.
Considere a lgebra no comutativa ~, sublgebra de s,,_(B, B),
gerada por - e ,onde
e
. B --; B
,: c (- c
X f ,.
l, : B --; B
f > ,()
,: C (e]- C
.
,.
,. .
(5.3)
(5.4)
O par (
V
_ :, um ponto de ,
e isubmetidos relaes
e
.c , ,
c. .
,.
c.,
....
.
Se ,+iento .
.
11 e .comuta ento com os demais geradores, estando
assim no centro ,.Se ,:ento fazendo ..e c.
valem as relaes
e
..,..c.
c..c...
c..c.....
.
.
.
satisfazendo e .
e .e e c.e de fato vale
....
.
i,,
e a lgebra ,
.
pode assim ser vista como uma defrmao da lgebra envol
vente
.
como a notao sugere.
A lgebra envolvente quntica ,
.
assim defnida pode ser apresentada, se
,,+i,de uma forma mais simples como sendo a lgebra (associativa) gerada
pelos smbolos
..e .
submetidos relaes
como acima, e
..
,
.
. .
, ,
0 isomorfismo entre estas duas apresentaes identifica letras que combinam, o
nico ponto no trivial mostrar que as relaes "mais complexas)} envolvendo
cda primeira apresentao, so satisfeitas
1
mas isto uma fcil manipulao.
5.2. GRUPOS QUNTIOS ii
Supondo q # +i,ser usada preferencialmente a segunda apresentao de U,(sl2),
por ser mais simples.
Assim, Uq(sl2) noetheriana, sem divisores de zero, e tem como base
(E
'
P
i
K' ,: , ,E N, l E Z ,
alm disso, u,(sl2) admite um automorfismo
U . U,(sl2) -+ U,(sl2)
satisfazendo E > P, P >E e K > K
-
1
, e um antiautomorfsmo
T : U,(sl2)P -+ u,(sl2)
satisfazendo E > E, P > P e K > K
-
1
. (Dada uma lgebra ~ sobre k,
objeto de Algk, a lgebra oposta
A
P tem o mesmo espao vetorial subjacente e a
multiplicao oposta: o produto :em ~ o produto :em ~.Esta definio
uma ddiva do fato de os axiomas de anel serem auto-duaisj se ~ comutativa
ento ~* ~
,
Dotando os geradores dos graus gr(E) = i, gr(P) 1 e gr(K) * gr(K
-1
)
o, as relaes que defnem u,(sl2) so homogneas, e logo u,(sl2) admite uma
gradao natural em que o monmio E1 pi K1 tem grau : -, Se u E U,(sl2) tem
grau g ento se deduz das relaes de defnio que
KuK-
1
* q
2
u.
Se q nao for raiz da unidade estes autovalores ,so distintos, e a parte homognea
de grau g de U,(sl2) so os autoespaos de u > KuK
-
1
Se q fr raiz da unidade
a graduao de U, ( sl2) refna esta decomposio em autoespaos.
A sublgebra u+ (resp., u
-
) de U,(sl2) gerada por E (resp. , por P) tem como
base { E' :E N ] (resp. ,
,
,E N ). Assim, u+ e u
-
so comutativas,
isomorfas a k[T].
A sublgebraU de U,(sl2) gerada por K e K
-
1
tem como base (K' J l E Z .
Assim, U comutativa, isomorfa localizao k[T, r
-
1
] de k[T].
A lgebra envolvente quntica tem Uq(sl2) admite um elemento de Caimir
quntico e, dado por
Este elemento c,est no centro Z(U,(sl2)) de U,(sl2) e satisfaz
~
(c,,= e
, = (c,,
1
1
8 CAPTULO 5. GRUPOS QUNTICOS
A lgebra envolvente quntica tem Uq(sl2) uma estrutura de lgebra de Hopf,
como se esperaria por ser defrmao de U(sl2), dada pela comultiplicao
a co-unidade
e o antpoda
b : E > E0 l + K0E,
b : F > F 0 K
-1
+ 1 0 F,
b : K >
k
0 K,
. E, F i- O, K > 1,
F > -FK,
Novamente Uq{sl2) no nem comutativa nem co-comutativa, como se v do fato
de o antpoda no ser involutivo.
5.2.3 Mdulos
Nesta seo
q
# 1, de modo que l/(
q -
q-1
) est bem definido. Isto ser
aproveitado na defnio
[n] =
q
-
q
-
n
= q
-
1
+
q
n
-
3 +
.
. .
+
q
-
n
+
a +
q-
n+l.
q
q - q-1
Estes elementos aparecem substituindo inteiros em frmulas nos mdulos de
Uq(sl2)
.
Os "fatoriais
11
e "coeficientes binomiais'' que surgem so defnidos por
[n]q! = [1] -[2] - , [n]q,
q
[n]q!
[
k
]q
!
[n
- k
]q
! "
Valem
[
-
n
]
q
=
-[
n]q
, [n + m]
q
=
q"[m] +
q-m
[
n]
.
Se
q
no fr raiz da unidade ento [n]q # O.
O objetivo agora quantizar o que fi feito em 1. de I.5 para representaes
de sl2. Os mdulos simples de dimenso fnita de u.(sl2) so tambm "mdulos
de peso mximo" , ma agora os vetores de peso mimo so autovetores de K.
Especifcamente, se vfr um mdulo sobre Uq{sl2) ento se
Kv = \ para
x chamado de peso, e para xum peso o autoespao de K associado a x
denotado v
-
Valem
e
5.2. GRUPOS QUNTICOS
119
Se E V" \ [+}fr tal que z+ento dito vetor de peso mimo. Um
mdulo de peso mimo um mdulo gerado por um vetor de peso mximo.
Sob a hiptese i= C todo mdulo de dimenso fnita tem um vetor de peso
mximo. A demosntrao segue os passos da apresentada para o caso clssico.
Valem as seguintes relaes anlogas r clssicas encontrada em 1. de (I.4),
para um vetor de peso mximo V de peso :
e
r
,
x,
,
,
z
z q
.
r
:
' = i
J."
.
]
' '
i q
i
Assim, ( '} uma sequncia de autovetores de com autovalores distintos e,
"'
novamente, deve existir um maior inteiro :para o qual ' no seja nulo. De
9*
fato, pelas relaes acima
e logo = +,
Tambm [_,
base de V_
, e a
ao de K diagonal com i + :autovalores distintos +,
,+,
, , +,
,+,
,
e v
.
Para um escalar > qualquer (no da frma +,,,as seguintes relaes
impostas sobre o espao vetorial V(,de dimenso infnita com base enumervel
(
,
},
,
,
~ AQ
,
,
e .
r,
,:,
dotam V(>) da estrutura de um mdulo sobre n,(s/
:
,, onde , vetor de peso
mximo. Estes mdulos so ditos mdulos de Verma e so universais no sentido
120 CAPTULO 5. GRUPOS QUNTICOS
de que todo mdulo de peso mximo V sobre U,(sl2) com peso mximo
quociente de V ().
o comutador de K em u,(sl,), denotado por u,(sl2)K o conjunto de ele
mentos de U0(sl2) que comutam com K. Como a conjugao por K atua na bae
de u,(sl,) por
vale que
i
EN
onde P; c/1,T
-
1]. o ideal esquerda cal! de U,(sl2)K gerado por E,
T * u+ nu,(sl2)
K,
dado tambm por
T * u+ n u,(sl2)K
,
e vale
Isto se v diretamente.
Assim T um ideal bilateral de U0(sl2)K e a projeo
um morfismo em Algk dito o homomorfsmo de Harish-Chandra.
Se V for mdulo de peso mximo de U,( sl2) com peso mximo ento para
todo elemento central z E Z(U,(sl2)) e todo v cV vale
De fato, z pode ser escrito
zv *
c(z)()v.
z * c(z)
+
L
F'P;E'.
i
EN
+
Se vo for o vetor de peso mximo ento Ev0 * O, e como K v0 * vo vale
zvo * c(z)(>)vo. Ma V() gerado por v0, e logo para todo v = uv0 E V()
com u cU0(sl2) vale
zv = zuv0 = uzv0 = c(>)uv0 = c()v.
Em particular, o elemento de Casimir quntico age por multiplicao pelo escalar
q
+ q-lk-1
(q
q
-
1
)
2 .
5.2. GRUPOS QUNTICOS 121
A restrio de homomorfsmo de Harish-Chandra c ao centro z(n,(s/
:
,,-inje
tiva, j que se z E z(n,(s/
:
,,-no nulo e satisfaz c(z) = O -possvel escrever
z =
L
pi}Ei.
O<i.l
Tomando um mdulo de Verma V(>) com \ = ,para nenhum 1 ento Ev; = O
s para := O, e aplicando z em Vi vale que
zv; = c(z)(>)v; = O,
por um lado, e por outro,
para c = O. Segue que r,(\,= O e haveria um polinmio com infnitas razes, um
absurdo.
:zz CAPTULO 5. GRUPOS QUNTICOS
Apndice A: A Linguagem Categrica
A.1 Categorias, funtores e transformaes naturais. Uma c:e,::C
uma classe de objetos tal que:
Para cada par ordenado (x,:,de objetos especifcado um conjunto de
:)ssdenotado por s(x,:,.
Para cada objeto x-destacado um elemento :cem s(x,x,.
Para cada terno ordenado (x,:,z,de objetos -especifcada uma funo
. s(x,:,x s(:,z, -- s(x,z,
(),,, -, )
Estes dados esto sujeitos aos seguintes axiomas:
Para )E s,(x,:,,,E s(:,z,e h E s(z,u,temos
(h ,,)-h (, ),.
Para )E s(x,:,temos
:c, ) - ) = ) :c,
Um )::1entre duas categorias C e D, denotado por 1 : C -- D, a
especifcao, para cada objeto xde C, de um objeto :(x,de D e, para cada
par de objetos (x,:,de C, de uma aplicao de s(x,:,em
s,(.r(x,,
.r(:,, , denotada por )-r(),. Estes dados esto sujeitos aos segointes aio
mas:
Para cada objeto xde C temos :(:c,-:c,
,,
,(,=r(,(:c,,
e assim para qualquer objeto :em C descrevemos ,em termos das variveis
re x A classe de transformaes naturais de s (x,, em :-ento um
conjunto que denotamos por s_-(s(x,,,r,, e temos uma bijeo
(escrita em Conj)
s,,,-(s
(x,,, r,
--
r(x,, {A.2.2)
natural em .re em x.Esta observao -comumente chamada de /ece:ec,
e a equao acima se representa graficamente pela comutatividade do diagrama
(escrito em Conj)
s(x,x, :(x,
s,(x,:, ! .r(:,
A.3. Limites. Muitas construes comuns das categorias usuais da lgebra
e da Topologia so exemplos do conceito categrico de limite, ou de colimite,
126 CAPTULO 5. GRUPOS QUNTICOS
seu dual: dados uma categoria C, uma categoria J (a ser usada como ndice)
e um funtor : . J - C, um limite de :F um objeto Lim : em C e, para
cada objeto i de J, um morfsmo f; E Homc{Lim :F, :F(i)) tal que para cada
morfsmo u E HomJ(i,j) temos f; = :F(u) o f. Estes dados devem obedecer a
uma propriedade dita universal: para cada objeto X em C ao qual se associa uma
construo uparalela" que Lim :F possui, a saber, para cada objeto i de J, temos
um morfsmo g, E Homc(X, :F(i)) tal que para cada morfsmo u E HomJ(i,j)
tenhamos 9
;
= :(u) o g;, deve existir um nico morfsmo t E Homc(X, Lim :F)
satisfzendo g, f; o t para todo objeto i de J.
Por exemplo, se J for a categoria 2 que tem apenas dois objetos 1 e 2 e nenhum
morfsmo que no seja a identidade, um funtor :F : 2 - C simplesmente a esco
lha de dois objetos :F(i) = X, para i = 1, 2 em C, enquanto que um limite Lim :F
um objeto em C determinado por dois morfsmos p; E Homc{Lim :F, X;) para
i = 1, 2, tal que para todo objeto X de C dotado de morfsmos g, E Homc(X, X;)
existe um nico morfsmo g E Homc(X, Lim :F) para o qual 9i = Pi o g. Este
objeto Lim :F dito produto de X1 e X., e sempre existe se C for uma das catego
rias Conj, Top ou Grp, sendo simplesmente o produto cartesiano de conjuntos,
o espao topolgico produto ou o produto de grupos, respectivamente.
Se Vaz for a categoria sem objetos nem morfsmos ento um funtor :F : Vaz -
C vazio, enquanto que um limite Lim :F um objeto em C tal que para cada
objeto X de C existe um nico morfsmo X - Lim :F. Este objeto Lim :F dito
objeto fnal em C, e existe se C for Conj (neste caso Lim :F qualquer conjunto
com um nico elemento), Top {Lim :F ser ento o espao topolgico construido
sobre um conjunto com um nico elemento com a nica topologia possvel) ou
Grp {Lim :F o grupo trivial).
Se J for a categoria Parai que tem apenas dois objetos 1 e 2 e cujos nicos
morfsmos fora as identidades so descritos por 1 2, um funtor :F : Paral -
C dado por dois morfsmos f, g E Homc{:F{l), :F{2)), enquanto que um limi
te Lim :F um objeto em C dado com um morfsmo p E Homc{Lim :F, :F(l))
satisfazendo J o p = g o p, tal que para todo objeto X de C dotado de um
morfsmo q E Homc(X, :F{l)) satisfzendo J oq goq existe um nico morfsmo
u E Homc(X, Lim : com q = p ou. Este objeto Lim :F dito equalizador de f
e g. Claramente se v que p necessariamente um monomorfsmo.
Se J for a categoria Transv que tem apenas tres objetos 1, 2 e 3, e cujos
nicos morfsmos fora as identidades so descritos por
3
l
1 - 2
5.2. GRUPOS QUNTIOS
127
um funtor :F : Tansv -- C dado por dois morfismos f E Homc(:(l), :(2))
e g E Homc(:F(3), :(2)) enquanto que um limite Lim : um objeto em C
dado com morfsmos P1 E Homc(Lim :, :F(l)) e p3 E Homc(Lim :, :(3))
satisfzendo jop1 = gop3, tal que para todo objeto X de C dotado de morfsmos
q
1
E Homc(X, :(l)) e q3 E Homc(X, :(3)) satisfzendo f o q1 = g o q3 existe
um nico morfsmo u E Homc(X, Lim :F) com q1 = p1 o u e q, = p3 o u. Este
objeto Lim :F dito produto fbrado de )e g, e denotado por F(l) X:(') :(3).
Se )for um monomorfsmo representando um subobjeto (ver (A.1)), ento p3
ser tambm um monomorfismo, representando um subobjeto de :F(3) denotado
por Subc(g). Como Subc(g o h) = Subc(h) o Subc(g), temos que Subc um
funtor contravariante de C em Conj. Quando este funtor representvel de
modo a termos Subc(X) Homc(X, fl) ento chamamos este objeto fl que o
representa de classifcador de subobjetos Por exemplo
1
Subconj representado
pelo objeto classificador de subobjetos dado por qualquer conjunto com dois ele
mentos, j que um subconjunto :em Subconj (X) caracterizado por sua funo
caracterstica
,(-,= 1 se e s se x E Y.
Limites nem sempre existem: a categoria Cor de corpos no tem produtos
(um "produto" de corpos um anel apenas, no um corpo) . Quando existem
no so nicos: qualquer conjunto com um nico elemento um objeto fnal
em Conj; mas dois limites C e C' de :F . J -- C so sempre isomorfos. Com
efeito, C e C, devem satisfazer as propriedades universais apropriadas; por def
nio da propriedade universal para C deve existir )E Homc(C', C) satisfazen
do as propriedades de comutao e analogamente para f E Homc(C, C'). Estas
composies tambm iro satisfazer as propriedades de comutao, assim como
obviamente as satisfazem as identidades idr e ide1 . Agora invocamos a unicidade
na propriedade universal para concluir que estas composies so isomorfismos.
O conceito dual de limite o do colimite: dados uma categoria C, uma cate
goria J (a ser usada como ndice) e um funtor :F + J - C, um colimite de
:F um objeto Colim :F em C e para cada objeto i de J um morfsmo f; E
Homc(:F(i), Colim :) tal que para cada morfismo u E Hom,(i,j) temos f; =
i o :F(u). Estes dados devem obedecer seguinte propriedade universal: para
cada objeto X em C ao qual se associa, para cada objeto i de J, um morfismo
g; E Homc(:F(i), X) tal que para cada morfsmo u E Hom,(i,j) tenhamos g; =
g
j
o :(u) deve existir um nico morfsmo t E Homc(Colim :, X) satisfazendo
9i
t o i para todo objeto i de J. Colimites para funtores tendo como dom
f
nios
as categorias 2, Vaz, Parai e Tansv so chamados coprodutos, objetos iniciais,
coequalizadores e somas fbradas, respectivamente. Coprodutos existem em Top,
sendo a construo da soma topolgica de dois espaos, em Conj, sendo a unio
disjunta de dois conjuntos, em AMod, sendo a soma externa ME ude dois
modulas sobre um anel ~,e em AnCom, a categoria de aneis comutativos com
unidade, sendo o produto tensorial. O conjunto vazio objeto inicial de Conj e
de Tp, o anel dos inteiros objeto inicial de Anud. Somas fbradas e coequa-
128 CAPTULO 5. GRUPOS QUNTICOS
lizadores existem em Conj e em Top. Como no caso de limites
1
os colimites,
quando existem, so nicos a menos de isomorfsmos.
Os limites que existirem em uma categoria D existiro em qualquer categoria
de funtores D, e so calculados '1ponto a ponto" da seguinte forma: se J
uma categoria ndice para a qual limites de funtores J - D existem ento, para
todo objeto X de C, a avaliao em X preserva este limite, de tal modo que um
funtor :F : J - De fornece por avaliao em X um funtor :Fx : J - D tal que
:x(j) = :(j)(X), cujo limite existe por hiptese. Estes limites se juntam em
um limite para J para o qual temos a equao escrita em D
Lim =(x,* Lim :Fx,
onde o limite direita calculado em D e o limite esquerda em o
V
j
Lim, F(i,) Lim, Lim1 F
,
' .
Lim1 Lim, F + Lim1 Lim, F
onde, por exemplo, :( i, ) denota um funtor J - C, e por isto indexamos seu
limite por J; observamos que ele s depende de i. Os morfsmos
;j, i,
vii e
vi so dados pelas construes dos limites Lim., Lim1LimJ, Lim1 e LimJLim1,
respectivamente. Como, para cada objeto i de 1, o morfmo composto vii o
Vj - natural em j, a universalidade do limite LimJ :( i, ) fornece um nico
morfsmo ai : LimJ Lim1 : - LimJ F(i, ). Esta construo -natural em
i, e por universalidade do limite Lim1 LimJ : temos um nico morfsmo .
LimJ Lim1 : - Lim1 LimJ :. Revertendo a situao em I e J, temos um
morfsmo nico que ser o inverso deste, e logo este um isomorfsmo.
Para provar 4. construimos o morfsmo de modo anlogo de 3., com
algumas setas invertidas:
F(i, j) Colim, F( i, )
Vi
j
' '
Lim1 F(,j) Lim1 Colim, F
;
. '
Colim, Lim1 F + Colim, Lim1 F
Os morfismos
ii
e
,
,obtendo um morfsmo
5.2. crurosqu/u1icos
133
1e : C - :F(C). Esta aplicao 7 dita a unidade da adjuno em C. Como te
mos, para todo morfismo h E Homn(:(C), D), o seguinte diagrama comutativo
escrito em Conj expressando a naturalidade de r
segue que
Homn(:(C), :F(C))
'>
Homc(C, :(C))
Homn(:F(C), h) 1 1 Homc(C, (h))
Homn(:(C), D) Homc(C, (D))
'e
,v(
h)
= 'e,D o Homn(:F(C), h)
(
id
F
(e)
)
= h o id
F
(e)
= Homc(C, (h)) o 'e,F(
C
) (
id
F(
C
)
)
= Homc(C, (h)) o 1e,
o que mostra que cc,D pode ser escrito em termos de 7c, e logo a unidade 7
determina a adjuno r.
Uma adjuno pode ser tambm determinada pelo dual da unidade, a saber, a
counidade da adjuno, dada pela aplicao de 'c,'v unidade idg
(
D) do conjunto
de morfsmos Homc((D), (D)). O argumento que mostra isto, maneira de
Yoneda, inteiramente dual.
Se a unidade 7 . 1 . : e a counidade L . : . 1 de uma adjuno frem
isomorfsmos naturais ento :F (ou ) definem uma equivalncia de categorias,
e vale a recproca. Neste caso, : tanto o adjunto esquerda de g por uma
adjuno cuja unidade 7 quanto o adjunto direita de g por uma adjuno
cuja unidade E-1.
A.5, Espaos sob e sobre espao. Seja C um objeto de uma categoria C. A
categoria Ce de espaos sobre C tem por objetos elementos f E Homc(X, C) e
os morfsmos entre f E Homc(X, C) e g E Homc(Y, C) so dados por elementos
h E Homc(X, Y) que satisfazem g o h
=
f. De maneira dual a categoria c
e
de
espaos sob C tem por objetos elementos f E Homc(C,X) e os morfsmos entre
f E Homc(C, X) e g E Homc(C, Y) so dados por elementos h E Homc(X, Y)
que satisfazem h o f =
g. Tanto C0 quanto C admitem naturalmente funtores
de esquecimento te : Ce - C e [e : c
e
- C levando o objeto f E Homc(X, C)
em X e o morfsmo h E Homc(X, Y) em h.
A identidade ide : C - C objeto final de Ce e objeto inicial de c
e
. Os
funtores te e [e levam naturalmente ide em C, O que mostra que fe (respecti
vamente, i
e
) no tem em geral adjunto esquerda (respectivamente, direita).
Se, no entanto, C tiver coprodutos fnitos (isto , colimites para funtores vindo
de categorias com fnitos objetos e sem morfsmos que no sejam identidades)
134 c~ri1uio5. crurosqu/u1icos
ento & tem um adjunto esquerda que associa a cada objeto X de C o objeto
de C dado por O -f X I O {onde X I cdenota o coproduto de X e c, A
bijeo natural c que defne a adjuno associa a cada morfmo h : X -f Y de C
a aplicao nica X I O -f Y dada pela propriedade universal do coproduto. De
maneira dual, se C tiver produtos fnitos ento &
e
tem um adjunto direita que
associa a cada objeto X de e o objeto de Cc dado pela projeo X X o - e.
Isto mostra que as categorias Conj0 e Top0 so completas, e que as categorias
Conj e Top so cocompletas.
Se C possui produtos fbrados (respectivamente, somas fbradas) ento tanto
c
c
quanto Cc possuem estes produtos (resp., somas) e tanto & quanto &
e
preservam estes produtos (resp., somas). No caso de produtos, por exemplo,
consideramos os morfsmos !1 : X
1
- X2 e f3 : X3 - X2 entre os objetos
9i : X; -f O de Cc, para i 1, 2, 3; temos o produto fbrado X
1
xx, X, de f
1
e
em e dado com z, : X
1
Xx, x, - x, para i = 1, 3. Tomando o produto fbrado
X
1
Xc X3 de 9
1
e 93 e sua universalidade obtemos X1 Xx, Xa -f X
1
Xc X3 e a
composta X
1
Xx2 X3 - X1 Xc X3 - e ser vista como o objeto 9
1
o l
1
= 93 o l3
de C0. Para testar nesta composta a propriedade universal tomamos um objeto
h : Y -f O de Cc e morfismos h1 : Y -f X1 e h3 : Y -f X3 em Cc (de modo que
9i o l; = h para i = 1, 3) satisfazendo comutaes (de modo que f o h1 = l o h3
em C0); pela universalidade de X
1
Xx
2
X3 em C existe um nico morfismo
1 . Y - X
1
Xx2 X3 em C satisfazendo li \ 1 hi para i = :,3. Devemos mostrar
que 1 morfsmo em Cc, mas isto consequncia de 9i o l
i ou = 9i o hi h.
Um argumento anlogo mostra que se C tem coequalizadores ento Cc tambm
os tem e &
e
os preserva: dados objetos 9
1
: X
1
-f O e 92 : X
2
- cem Cc e
morfismos m, n : X
1
- X2 em Cc tomamos o coequalizador X2 4 Xa em C.
Como m e n so morfsmos em Cc temos 9 o m = 91 = 92 o n, e usando a
universalidade do coequalizador temos que existe um nico morfsmo 1 : Xa --C
com 92 1 o e, e logo 1 : Xa - c coequalizador em Cc. A universalidade de
.
um coproduto X
1
I X2 que existir em C mostra que o coproduto tambm ser
um objeto de Cc, e tambm coproduto l. Isto mostra que Conjc e Tope so
cocompletas.
Se O fr objeto inicial (respectivamente, fnal) de C ento c
c
(resp., Cc) se
reduz a C. Por exemplo, em Conj o conjunto { *} com um s elemento objeto
fnal, e logo Conj* Conj, mas Con* a categoria de conjuntos com um ponto
base e analogamente para Top*.
Se C possui produtos fbrados (resp. , somas fbradas) e ): O' -f c morfsmo
em C ento o fntor ). Cc -f Cc
'
(resp., f, : e
'
-f C) que a cada objeto
9 : D -f O de Cc (resp. , 9 : O' -f D' de C
'
) associa o produto fbrado D xc O'
(resp., a soma fbrada OID') tem um adjunto esquerda '1 (resp., um adjunto
direita I1) dado pela composio com f esquerda (resp., direita):
(A.5.1)
5.2. crurosqu/u1icos
135
e
(A.5.2)
Nos dois casos, os adjuntos so dados pelas propriedades universais envolvidas.
A.6. Objetos de Hopf. Seja C uma categoria que possua produtos fnitos,
inclusive o objeto terminal, denotado por 1, que o produto vazio. Um objeto
de Hopf (ou objeto de grpo) -um objeto H de C tal que existe um morfsmo
: H x H - H que faz com que para todo objeto X de C, Homc(X, H) tenha
uma estrutura de grupo, natural em X, dada pela seguinte regra: para morfsmos
f, g E Homc{X, H) ento a operao defnida por X H x H .. H,
(aqui (J,g) E Homc{X, H x H) a aplicao dada pela propriedade universal
do produto) . Desta maneira temos um funtor de esquecimento contra variante
: C - Grp representado por H.
O conceito dual de co-objeto de Hopf em categorias que tenham coprodutos
signifca um objeto H de C para o qual existe um morfsmo b : H - H I H que
fz com que para todo objeto X de C, Homc(H, X) tenha uma estrutura de gru
po, natural em X, dada pela seguinte regra: para morfsmos f, g E Homc(H, X)
ento a operao -defnida por H H I H X Desta maneira temos um
funtor de esquecimento covariante r: C - Grp representado por H.
Para um objeto de Hopf H em C a naturalidade da estrutura de grupo no
conjunto Homc(X, H) signifca que para um morfsmo f : X - X' a funo
Homc(J, H) : Homc(X', H) -- Homc(X, H) um homomorfsmo de grupos.
Como Homc{l, H) tem estrutura de grupo existe um morfsmo < : 1 - H que
a unidade deste grupo, caracterizado pela comutatividade do diagrama escrito
em C
H x H
t
H
Um objeto de Hopf H em Conj simplesmente um grupo, que pode ser identi
ficado com Homc{l, H).
Um objeto de Hopf s-dito abeliano se for comutativo o seguinte diagrama
escrito em C onde o morfismo horizontal a troca de coordenadas
H x H.. H x H
' t
H
i: c~ri:uio5. crurosqu/::icos
Toplogos identifcaram pela primeira vez objetos e co-objetos de Hopf, na
categoria HomTop, de classes de homotopia de espaos topgicos com um ponto
base, sob a denominao H grupos e H cogrupos (ver, por exemplo, [Sp], que
inclui os axiomas de co-objeto de Hopf na pgina 40).
5.2. crurosqu/u:kos
i:
Apndice B: A Categoria de Variedades Diferen-
civeis
Este apndice resume brevemente os fatos necessrios da categoria diferencivel,
e assume do leitor alguma lembrana de Anlise. Especifcamente, esta categoria
defnida para agregar todo conhecimento local da Anlise. Assim no haver
necessidade de se lembrar de nenhuma frmula de Clculo, mas sim dos teoremas
locais de existncia: o teorema da funo inversa e o teorema da funo implcita.
B.1. Variedades. A Anlise que ser utilizada aqui real e euclidiana, baseada
nos espaos R. Apesar disso, segnindo os passos dos mestres em [M-S], adota
mos a idia de introduzir um espao ambiente do tipo R A onde A um conjunto
qualquer, objeto de Conj. Este espao ambiente nada mais do que
RA = Homconj(A,R)
.
Tomando A de cardinalidade fnita n, normalizado em Conj como sendo o con
junto A = {l, . . . , n}, recupera-se o espao euclidiano R" identifcando a funo
x E Homconj (A, R) com o vetor (xi, . . . , x
n
) atravs de X; : = x(i). A familia
ridade com este exemplo ser aproveitada no uso da notao Xa para o valor da
funo x E Homconj (A,R) em a E A, isto , vale Xa = x
(
a) em geral.
Cada elemento a E A uma coordenada em Homconj (A, R), defnindo uma
funo de projeo
1'a : Homconj (A,R) - R
70(
x
)
= x
(
a
) =
x
0
,
morfsmo em Conj. A topologia de R como objeto de Top invocada para fazer
desta projeo um morfsmo em Top de maneira universal, isto , Homc0nj(A1
R)
dotado da maior topologia que torna tais projees contnuas; isto signifca: para
um objeto Y em Top uma funo f : Y -.Homconj (A,R) morfsmo em Top
se e s se para cada a E A a composta 7 a o f morfsmo em Top.
Os objetos da categoria diferencivel Dif sero subconjuntos Mem
Homconj (A,R)
com a topologia induzida universal1 isto , para um objeto Y em Top uma funo
f : Y -. M morfsmo em Top se e s se a composta i o f morfsmo em Top,
onde L : Me. Homconj(A, R) a incluso; pelo visto acima, isto acontece se e
s se para cada a E A a composta la := 7a o L o f - Y - R morfsmo em Top.
Alm de espao topolgico, uma estrutura adicional que Y tiver permite
considerar a funo f - Y - M - Homconj (A, R) como morfsmo em ou
tras categorias. O exemplo relevante o de um subconjunto de um espao
138 CAPTULO 5. GRUPOS QUNTICOS
euclidiano no qual possvel tomar derivadas: se U e R
n
ento uma funo
) : U - M ' Homconj (A, R) suave se para cada c ~ as compostas
!
a
= '
a
o L o f : U - R forem infnitamente diferenciveis. A derivadas parciais
so defnidas como as funes
c)
c
: U - Homc0nj (A, R)
X;
que para cada c~tem como coordenada a a funo Seja observado que,
apesar da considerao do espao RA de "dimenso infnita", a noo de diferen
ciabilidade s fi aplicada para funes !
a
: U - R; nenhuma difrenciabilidade
mais geral ser jamais envolvida nestas notas. Como necessrio tomar derivadas
-um processo local -, o subconjunto U ser sempre tomado aberto em R
n
.
Estas simples consideraes permitem a postulao da categoria Dif: um
subconjunto M e. Homconj(A, R) uma variedade diferencivel de dimenso n
se para cada x c M existir uma funo suave h . U - M e Homconj (A, R),
defnida em um aberto U e R", tal que h seja um homeomorfsmo de U em
V e M e que para E U com h(u) = x a matrix ((,,tenha posto n.
Neste caso dito que V = h(U) uma vizinhana coordenada e (U, V, h) uma
parametrizao local.
Casos simples mas importantes de variedades so os prprios abertos U em
R
n
, para qualquer ponto dos quais possvel tomar a mesma parametrizao
(U, U, id . U - U). Em particular o espao euclidiano R" uma variedade
diferencivel de dimenso n.
B.2. Mudana de parametrizao. Segue do teorema da funo implcita
que se duas parametrizaes locais (U) V, h) e (U', V11 h') se encontram, isto , so
tais que V n V' # 0 ento
infinitamente diferencivel. Esta funo h-
1
oh' associa dois abertos (h')-
1
(V n
V') e h-
1
(V n V') do mesmo espao euclidiano onde U e U' so abertos. A
dimenso de uma veriedade diferencivel , assim, bem defnida.
B.3. Funes suaves. Parametrizaes locais so usadas na defnio dos
morfsmos na categoria Dif de variedades diferenciveis. Estes morfsmos, ditos
funes suaves, so defnidos a partir do conceito de funes suaves defnidas
em um aberto U e R" como em B. 1: sejam dadas duas variedades M y
Homconj (A, R) e N ' Homconj(B, R); uma funo ) . M - N suave em um
ponto m cM se para uma parametrizao local (U, V, h) em M tal que m cV
tenhamos J o h . U - Homconj (B, R) suave. O resultado enunciado em B. 2
implica que esta a defnio de suavidade em um ponto m c M independe da
5.2
.
ciurosqu/u1icos
139
escolha da parametrizao local (U, V, h) com m E V. Uma funo f : M - u
suave se for suave em cada ponto m E M. Variedades diferenciveis e funes
suaves entre elas definem a categoria Dif. Isomorfsmos em Dif so chamados
difeomorfsmos.
Para um aberto U e Rn tomado com a estrutura natural de variedade como
em B.1 o conceito de funo suave como morfsmo em Homnif(U, M) coincide
com a noo introduzida em B.1.
Pela prpria postulao dos objetos como conjuntos com uma estrutura adi
cional (que permite tomar derivadas), h funtores de esquecimento de Dif para
Conj e para Top, mas estes funtores so pouco interessantes: a estrutura adicio
nal de variedade excessivamente ligada aos processos da Anlise para que estes
funtores tenham algum adjunto. No entanto, Dif possui produtos construdos
sobre o produto cartesiano.
B.4. Sobre a defnio de variedades. A defnio de variedade pode ser
apresentada de muitas maneiras diferentes. O tratamento adotado aqui calcado
em [M-S] e sofe o defito de exigir que a variedade M ' Homcon(A,R) esteja
defnida em um espao ambiente Homcon(A,R), que depende do conjunto A que
aparentemente pouco se manifesta na estrutura diferencial. Esta dependncia, de
fato, algo irrelevante: se g . A - B monomorfsmo em Conj ento
Homcon(B, R) -
Homc
00;
(A, R)
h > g o h
uma injeo, e a variedade M Y Homcon(A, R) pode ser igualmente conside
rada em Homc00;(B, R) para qualquer conjunto B que contenha A. (O problema
de descrever o conjunto A mnimo, no entanto, interessante: h variedades de
dimenso n que s aparecem em R
2
n
+l
)
.
H, no entanto, um conjunto A mximo "cannico": dada uma variedade
L : M ' Homcon(A, R), para cada a E A temos a funo " o i : M - R que
suave, isto , um morfsmo em Homnir(M, R), e a identifcao a + 1
a
o i injeta
A como subconjunto de Homoir(M,R). Tomemos ento
M := Homnif(M, R)
e a injeo cannica
L . M - Homc0
0;
(AM, R) = Homcon(Homnif(M, R), R)
dada por t,(m)(f) f(m)
.
Esta injeo um difeomorfsmo de M sobre sua
imagem ( M).
Agora a variedade M ' Homcon(AM,R) = Homcon(Homnif(M,R), R)
apresentada de forma intrnseca, e este processo pode ser usado para uma rede
finio: dado um conjunto M em Conj e A e Homcon(M, R) um subconjunto
140 CAPTULO 5. GRUPOS QUNTICOS
de funes reais em M que separa pontos, isto , tal que a aplicao cannica
defnida como acima seja uma injeo (esta condio esmiuada signifca: dados
m1 # m2 E M existe f E A com f(mi) # f(m2)), A chamado uma estrutura
difrencial em M se i.(M) ' Homconj (A, R) for uma variedade difrencivel e
se A = AM = Homour(t.(M),R), isto , se A fr o conjunto de morfsmos em
Dif (isto , de funes suaves) desta variedade para a reta R.
B.5. O espao tangente. Seja M ' Homconj (A,R) uma variedade de di
menso n e m E M. Um caminho passando por m uma funo suave
p : (-<,
<) --- M ' Homconj (A,R), com p(O) = m,
onde e > O. O vetor velocidade ento defnido como sendo o vetor
tendo como coordenada a exatamente d( l
t=O
Um elemento de Homconj (A, R)
dito um vetor tangente em m se for vetor velocidade de algum caminho pas
sando por m. O conjunto destes vetores chamado de espao tangente de M em
m, denotado por D(M)m
Se (U, V, h) for uma parametrizao local com m E V = h(U), digamos m =
h(x) para x E U e R", ento v E Homconj(A,R) vetor tangente em m se e s
se existir uma combinao linear
n
8h
v =
L
"'a
x
(x),
i=l
1
e E R.
Assim o espao tangente D(M)m espao vetorial real de dimenso n. No caso
de a veriedade diferencivel ser um aberto U do espao euclidiano Rn o espao
tangente D(U)u em qualquer ponto u o prprio an.
O fbrado tangente de M o subconjunto D(M) C M x Homconj(A, R) dado
por
D(M) := { (m,v) E M x Homcon; (A,R) J v E D(M)m }.
Tomando uma verso contravariante do Teorema de Preservao de Limites A.4
para Homconj( gR) vemos queHomconj(A, R) xHomconj(A, R) " Homcon(AI
A, R), e considerando D(M) < Homconj(A I A, R), o fbrado tangente uma
variedade diferencivel de dimenso 2n.
A associao M--D(M) (a funo nos objetos de) um funtor
D - Dif ---Dif.
5.2. crurosqu/u1kos 141
A funo nos morfsmos dada pela derivda de uma funo suave )M- u,
definida por
u(),u(M, --u(u,
(, , > ()(,, u),(,,,
onde u(),,cs,(u(M,,,u(u,,,,
,
, a transfrmao linear
c,
c() -,,
ct
lt=O
> ct
l t=O
Em termos de uma parametrizao local (u,v,h
)
com = h
(
x
)
c v= h(u,
vale
n
8
h
n
a
u o h
)
D(f)m(
c
' a
x
,
(
x
))
=
e
,
a
x
,
(
x
)
.
Por exemplo, para toda variedade Ma associao (,,t defne uma
funo suave . u(M,- M. A derivada u(-, .u(M,- u(M, calculada
associando ao vetor velocidade do caminho
(
-,
,
) --
u(M,' so
con;
(~
~,R)
t> ((t,,.(t,, onde (t,
cu(M,,,
,
t 1 "d d d
m
(
t
)
.
t , o ve or ve oc
1
a e
d
t-Oi i
s o e,
c((t,,.(t,,
c(t,
u(-,(((,,(,,
ct
-
,
>
(,,,
--lt=o).
Uma inversa direita
(,c
D
(
M)m;
em geral as referncias confundem e Xo
As estruturas de espaos vetoriais
em u(M,,fornecem uma estrutura de espao vetorial no conjunto de campos
vetoriais
vect(M,= {X cs_,,(M,u(M,,-o X = :c,},
defnida para , o
cvect(M,e " cR por
(+
1
)0
=
X
o
+
o
, (
,
=
<
X
o
Para uma funo real suave ) c s,,,(M,R) a derivada em um ponto
c M uma transformao linear u(),, u(M,, - u(R,J(
m
) Como o
espao tangente u(n,,de R em qualquer real " simplesmente Resta derivada
142 CAPTULO 5. GRUPOS QUNTICOS
um elemento do espao vetorial dual HomR(D(M)m, R). Fixando o ponto
E M a associao )f u(),,defne uma aplicao
Homn1r(M, R) - HomR(D(M)m, R).
Domnio e contradomnio desta aplicao herdam uma estrutura de lgebra real
atravs do produto em R (o produto de funes o produto de valores das
funes) . A aplicao descrita acima no preserva este produto, antes obedece
regra de Leibniz
u(),,,=
!
(,u(,,,,(,u(,,
.
(),,
e ,
.
est na lgebra Der(Homnur(M, R)) de transformaes lineares (Homnir(M, R)) _
(Homnur(M, R)) que so derivaes (isto , obedecem regra de Leibniz); a com-
posta de duas destas transformaes no obedece regra de Leibniz, antes esta
lgebra tem como produto a operao comutador defnida por
Esta operao no associativa. Em vez da associatividade, satisfeita a crucial
identidade de Jacobi
-
-
-.
-u
a
, u
.}
-
.
-
-.
= O;
5.2. GRUPOS QUNTICOS
143
a regra da identidade de Jacobi fixar uma conformao de colchetes, (a usada
acima, por exemplo, [1 [, ]] ) e fazer permutaes cclicas nos ndices. Uma
lgebra cujo produto satisfaz a identidade de Jacobi dita uma lgebra de Le.
A associao
Vect(M) --Der(Homnur(M,R))
X
"
X
i
identifca o espao de campos vetoriais com a lgebra de derivaes de Homnur(M, R),
e assim Vect(M) ganha uma estrutura de lgebra de Lie.
144 CAPTULO 5. GRUPOS QUNTICOS
Referncias para o Captulo 5
(C-P] C. De Concini, C. Procesi, Quantum Groups, :D-modules, Representa
tion Theory and Quantum Groups, L. Boutet de Monvel et ai., Springer Lecture
Notes in Mathematics, 1565, Springer-Verlag, 1993.
[D] J. Dieudonn, La Gometrie des Groupes Classiques, Ergebnisse der Ma
thematik und ihrer Grenzgebiete, 5, Springer-Verlag, 1955.
[Go] D. Gorenstein, Finite Groups, Harper and Row, 1968.
[H] S. Helgason, Diterential Geometry, Lie Groups and Symmetric Spaces,
Pure and Applied Mathematics, 80, Academic Press, 1978.
[Hu] J.E. Humphreys, Introduction to Lie Algebras and their Representation
Theory, Graduate Texts in Mathematics, 5, Springer Verlag, 1980.
[Ja] J.C. Jantzen, Lectures on Quantum Groups, Graduate Studies in Ma
tehmatics, 6, AMS, 1996.
[Jo] A. Joseph, Quantum Groups and their Primitive Ideais, Ergebnisse der
Mathematik, 3.Folge, 29, Springer Verlag, 1995.
(K] C. Kassel, Quantum Groups, Graduate Texts in Mathematics, 155, Sprin
ger Verlag, 1995.
[M-S] J. Milnor, J. Stashef, Characteristic Classes, Annals of Mathematical
Studies, 76, Princeton University Press, 197 4.
(Sp] E. Spanier, Algebraic Topology, Mac-Graw Hill, 1966.
[Wa] W. Waterhouse, Introduction to Afne Group Schemes, Graduate Texts
in Mathematics, 66, Springer Verlag, 1979.
[W] H. Weyl, The Classical Groups, their Invariants and their Representa
tions, Princeton University Press, 1957.
Impreo@@GrfIcodo
I
peIoSIs!omoXo:ox/53?