Você está na página 1de 146

,.

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

DEREK HAKON, (PUCIRJ)


NICOLAU M. SALDANHA, (PUCIRJ)
GEORGE SVEL TICHNY, (PUCIRJ)
CARLOS TOMEI, (PUC/RJ)
PAULO H. VIANA (PUCIRJ)
COPYRIGHT by Derek Hakon, Nicolau M. Saldanha, George Sveltichny,
Carlos Tomei, Paulo H. Viana
CAPA by Sara Mller
Conselho Nacional de Desenvolvimento Cientfico e Tecnolgico
INSTITUTO DE MATEMTICA PURA E APLICADA
Estrada Dona Castorina, 110 -Jardim Botnico
22460-320 -Rio de Janeiro, RJ, Brasil
Sumrio
1 Domins e qcontagem
9
1. 1 Nmeros binomiais . . . . . .
9
1. 2 Nmeros binomiais e q-contagem 14
1. 3 Coberturas por domins e por lozangos 22
1. 4 Funes altura e a altura total de uma cobertura 25
1.5 Matrizes de Kasteleyn
28
1. 6 Resultados de contagem 31
2 O ltice de Toda peridico 37
2.1 As equaes . 3 7
2. 2 O caso aberto 39
2.3 O caso peridico 41
3 Uma Viso Elementar de Supersimetria 47
4 A integral de Kontsevich 67
4.1 Tranas . . 6 7
4. 2 Monodromia . 69
4. 3 Diagramas . 71
4. 4 O invariante 73
3
4 SUMRI
5 Grupos Qunticos 77
79
79
90
95
99
5.1 Bons Antecedentes Algbricos
5.1. 1
5.1. 2
5.1. 3
5.1. 4
Grupos Clssicos: Defnies .
A Geometria dos Grupos Clsicos
A

lgebra dos Grupos Clsicos . .

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

lgebra Envolvente 116


5.2.3 Mdulos . . . . . . . . 118
Introduo
Matemtica quntica, mais do que uma especialidade, um conjunto de idias que
se infiltrou em vrias reas da matemtica habitual. Os exemplos so abundantes,
inclusive entre ganhadores de medalhas Fields da ltima dcada. Em linhas muito
gerais, matemtica quntica segue uma tendncia de algebraicizao e emprego
de argumentos diagramticos.
Dada a relativa novidade desses procedimentos, no existe ainda uma forma
lizao sistemtica dos objetos envolvidos. Os primeiros cursos ensinados sobre o
assunto tratam de tpicos especfcos, cuja utilidade j reconhecida. No to
fcil entretanto convencer a novatos dos mritos do assunto. O objetivo desse cur
so justamente apresentar uma coleo de exemplos, onde idias de matemtica
quntica resultaram em solues de problemas de interesse independente.
No se pode esperar, dada a brevidade do curso, que os temas sejam trata
dos em profundidade-a PUC-Rio tem um seminrio semanal em matemtica
quntica h um ano e meio, e a quantidade de material na rea cresce vertigi
nosamente. Entretanto, acreditamos que na cinco aulas do curso seja possvel
apresentar material de forma auto-contida e de alto potencial de motivao.
Cinco situaes sero apresentadas nas cinco aulas do curso,- por cinco parti
cipantes do seminrio, e consideram problemas em combinatria, sistemas com
pletamente integrveis, grupos qunticos, matemtica fsica e topologia.
Na primeira aula, falaremos sobre q-contagem. Em combinatria, o problema
bsico o de contar os elementos de algum conjunto: q-contar os elementos
signifca cont-los levando em conta um ndice, que se torna o expoente de uma
varivel q. Um doS exemplos clssicos o dos nmeros binomiais (:), que contam
os subconjuntos de m elementos de um conjunto finito de n elementos, digamos o
conjunto {1, 2, . . . _ 1}. Se cada subconjunto contribuir com q, onde a a soma
dos elementos do subconjunto menos m(m + 1)/2 (a soma mnima), teremos um
polinmio em q, tradicionalmente chamado de (:) q; estes polinmios satisfazem
vrias relaes recursivas, tm propriedades algbricas notveis e admitem vrias
interpretaes combinatrias. Falaremos sobre alguns problemas clssicos de q
contagem (como este) e sobre outros menos clssicos, como a q-contagem de
coberturas por domins.
5
6 SUMRO
Na segunda aula, uma verso ancestral dos grupos qunticos, os loop groups,
empregada para mostrar a integrabilidade do ltice de Toda peridico. Idias
em grupos de Lie (em dimenso fnita), empregadas para resolver o problema da
integrabilidade do ltice de Toda na reta, so aplicadas a um grupo de dimenso
infnita. O espao de fase natural para o sistema integrvel continua sendo de
dimenso fnita (uma rbita coadjunta - um dos ingredientes do processo de
quantizao geomtrica), mas seu mergulho em dimenso infnita torna trans
cendentes as operaes algbricas que explicitam as solues do ltice na reta (a
linearizao do campo agora requer o estudo da imagem do mapa de Abel de
um divisor, que se move no tempo, sobre uma superfcie de Riemann fixa que
expressa as leis de conservao do ltice peridico).
J h muito tempo as especulaes acerca da fsica das interaes fundamen
tais incorporam a ideia de supersimetria, tanto nas extenses do modelo padro
de particulas elementares, quanto na teoria, j superada, de cordas e na sua ex
tenso atual, denominada M-theory. Algumas das construes levaram a progres
sos extraordinrios na matemtica pura, como os invariantes de Seiberg-Witten
de variedades de dimenso quatro. Nas teorias supersimtricas, os objetos fsicos
fundamentais existem num tal chamado superespao que grosseiramente defni
do como um "espao" onde algumas das coordenadas 0
1
1
02, _ Bm anti-comutam
entre si: (i(i = -{i(i Como um exemplo mais simples, o superespao fornece
uma introduo quase imediata ideias bsicas de geometria no comutativa.
Na terceira aula apresentaremos consideraes ingenuas acerca do superespao e
a sua abordagem algbrica, mais matematicamente slida. Exploraremos a idia
de funes defnidas num superespao, e os supergrupos que agem sobre elas,
para chegar a uma viso elementar de supersimetria.
O assunto da quarta aula a integral de Kontsevich: um invariante de ns,
defnido no incio dos anos 90, que o melhor possvel num certo sentido (ele
um invariante de Vassiliev universal). Defniremos a integral de Kontsevich
e verifcaremos suas propriedades bsicas, usando apenas ferramentas bastante
elementares. A Seguir, daremos um esboo das ligaes entre a integral de Kont
sevich e a holonomia de certas conexes, introduzidas pelos fsicos Knizhnik e
Zamolodchikov, no espao de configuraes de partculas no plano. A integral de
Kontsevich, entretanto, difcil de calcular: concluiremos definindo uma variante,
devida a Picken, cujo valor calcularemos para alguns ns.
Na quinta aula exporemos os elementos de grupos qunticos de forma simples
e direta. As construes no sero apresentadas da maneira mais geral possvel, e
sero sempre acompanhadas no exemplo (j extremamente interessante) do grupo
quntico "mais simples" Sl.(2), deformao do grupo algbrico semisimples Sl(2).
Um contexto definitivamente algbrico ser adotado. No h defnio satisfatria
do que seja um grupo quntico. Todas as propostas em vigor sugerem a idia
de deformao de um objeto clssico, que pode ser um grupo algbrico ou um
grupo de Lie. Em todas as propostas os objetos deformados perdem algumas das
SUMRO 7
propriedades originais: ugrupos" qunticos no so grupos. O que se procura
controlar nas deformaes so as representaes dos objetos. O parmetro q
de deformao intervm
.
de uma forma que pode parecer arbitrria: a melhor
motivao para estas defnies talvez seja a quantidade de aplicaes fsicas.
Derek Hacon
Nicolau C. Saldanha
George Svetlichny
Carlos Tomei
Paulo Henrique Viana Barros
Departamento de Matemtica, PUC-Rio
Rua Marqus de So Vicente 225
Gvea, Rio de Janeiro RJ 22453-900
Captulo 1
Domins e q-contagem
A idia bsica da q-contagem simples: ao invs de contarmos os elementos
de um conjunto diretamente (como em combinatria "clssica
11
) introduzimos no
problema um ndice e usamos este ndice como o expoente de uma varivel auxiliar
q. Assim, ao invs de tentarmos encontrar inteiros tentamos agora encontrar
polinmios ou sries formais em q. A estrutura algbrica que ganhamos com
a mudana pode ser muito til. Este mtodo j tradicional mas ganhou novo
mpeto com as idis recentes de matemtica quntica; por isso vezes o processo
de introduzir a varivel q conhecido como quantizar o problema.
Ao invs de tentarmos discutir estas idias em abstrato, vamos estudar alguns
exemplos. Primeiro veremos com certo detalhe a q-verso de um dos objetos mais
tradicionais da combinatria: o tringulo de Pascal. Depois estudaremos outros
problemas de q-contagem relacionados com coberturas por domins de regies
quadriculada.
1.1 Nmeros binomiais
Vamos comear com uma defnio usual.
Defnio 1. 1: Defnimos os nmeros binomiais pela frmula
n n !
m
=
m!(n -m) !'
Outras possveis defnies so a recursiva e a algbrica, que enunciaremos
como proposies.
Proposio 1.2: Os nmeros binomiais satisfazem
9
10 CAPTULO 1. DOMINS E Q-CONTAGEM
e
sem= O,
caso contrrio.
Alm disso, a nica funo de N x Z
condies iniciais ( :) .
que satisfaz esta recorrncia com estas
Dem: Induo.
Proposio 1.3: (Binmio de Newton) Para todo n E J vale a identidade de
polinmios
Dem: Induo.
Observemos ainda que
x(x - 1) ' ' ' ( - (m - 1))
m!
um polinmio de grau m na varivel x. Definimos assim mais geralmente
_


.
.

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

P(a+ b-i - k -1).


Mas pelo corolrio temos
i+ c~ri:ui o1. ooMiu ssqcou:~csM
donde
onde
s,
-
= 2 ( ,

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 (;
.
=
.

para todo inteiro De fato,



.

1
)

.
1
i,
. .

Mais geralmente, se qE .tem grau menor ou igual a .na varivel


ento existem b0, , bE .tais que
para todo inteiro
Vejamos agora interpretaes combinatrias para Para isso voltemos
interpretao de (:) como o nmero de caminhos ligando vrtices em um
retngulo de lados .e .Para (:) _ cada caminho contribui com
onde a rea abaixo do caminho. Para um subconjunto de .elementos de
2, . . }, portanto, o expoente de a soma dos elementos do subconjunto
menos . .* ...Assim, o caminho na nossa fgura na seo
anterior corresponde a um termo de

O leitor pode verificar diretamente, por


exemplo, que

= .
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) ' q ' . .


P,(a- 1 -
j
)
b -i+
J
O/lej<a

,,
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

igual 1 dos dois lados isto demonstra o teorema.


36 CAPTULO 1. DOMINS E Q-CONTAGEM
Referncias
(CL] J. H. Conway and J. C. Lagarias, Tilings with polyominoes and combina
torial group theory, J. Comb. Theor. A53, 183-208 (1990).
(DT] G. David and C. Tomei, The problem of the calissons, Amer. Math. Mon
thly, 96, 429-431 (1989).
[EKLP] N. Elkies, G. Kuperberg, M. Larsen and J. Propp, Alternating-sign
matrices and domino tilings, Journal of Algebraic Combinatorics, 1, 111-132 and
219-234 (1992).
[K] P. W. Kasteleyn, The statistics of dimers on a lattice !. The number of dimer
arrangements on a quadratic lattice, Phisica 27, 1209-1225 (1961) .
. [M] P. A. MacMahon, Combinatory analysis, vol. 2, Cambridge University Press,
1916; reprinted by Chelsea, New York, 1960.
(STJ N. C. Saldanha and C. Tomei, An overview of domino and lozenge tilings,
Resenhas IME-USP, 2(2), 239-252, (1995).
(STCR] N. C. Saldanha, C. Tomei, M. A. Caarin Jr. and D. Romualdo, Spaces
of domino tilings, Discr. Comp. Geom.
1
to appear.
(T] W. P. Thurston, Conway's tiling groups, Amer. Math. Monthly, 97, 8,
757-773 (1990).
Captulo 2
O ltice de Toda peridico
Equaes (algbricas, difrenciais) que podem ser resolvidas explicitamente tm
sempre algo de elementar ou de surpreendente. O ltice de Toda um sistema
de equaes diferenciais no lineares para o qual existe uma soluo bastante
explcita, que alis no elementar. Na verdade, existem vrias mutaes do
ltice de Toda, das quais consideramos duas nesse texto: o caso aberto e o ca
so peridico. O caso aberto mais simples em vrios sentidos. Sua resoluo
no faz uso de objetos de dimenso infinita (ou transcendentes) , necessrios no
caso peridico. Os dois casos so representativos de uma situao freqente: as
equaes so enganadoramente difceis porque descrevem a evoluo de projees
(no lineares) de objetos que, por sua vez, evoluem de forma simples. Para o
ltice de Toda, essas projees so descritas em termos de uma fatorao ma
tricial. No caso aberto, as matrizes esto em GL(n, R). No caso peridico, o
grupo de interesse - um grupo de laos, CG
+
CGL(n, I) de dimenso
infnita, com muitas propriedades comuns com grupos de Lie de dimenso fnita.
A analogia entre operaes familiares em G L( n, R) e suas contrapartidas infinitas
um dos temas da teoria dos grupos de laos. Uma excelente refrncia [PS].
2.1 As equaes
O ltice de Toda um modelo matemtico de propagao de ondas num cristal
unidimensional ([T]). Sem mais delongas, considere a hamiltoniana
H
(x, y) para
(x, y) E I2" dada por
l
n n
-
1
H
(x, y) =
2 LY
+
L
exp(xk -
X
k+i) +P exp(xn
-
x1),
k
=l
k
=l
onde
X
k e Yk so respectivamente a posio e a velocidade da k-sima partcula. A
constante P pode ser O ou 1: quando P zero, estamos tratando do ltice aberto,
3 7
38 CAPTULO 2. O LTICE DE TODA PERIDICO
e quando P 11 do ltice peridico. A nomenclatura indica se as partculas 1
e esto interagindo ou no. As partculas esto em J, tm todas a mesma
massa e ocasionalmente ultrapassam-se umas outras. De forma mais explcita,
estamos considerando as equaes
ik
=
H
=
Yki
/
= 1, . . .
1i
=
-H,, = Pexp(xn - x
1
) - exp(x
1
- x
2
)
Yk
=
H,,
= exp(X
k
-
1
- Xk
) - exp(x
k
- Xk
+
1
) , /= . 1,
Y
n =
-H,. = exp(Xn
-
1
- Xn) - Pexp(xn - X
1
),
onde j a derivada no tempo da funo f.
Os argumentos fsicos habituais fornecem duas leis de conservao para o
sistema: a prpria hamiltoniana (energia) e o momento linear (que corresponde
velocidade do centro de massa do sistema). O primeiro fato milagroso associado
dinmica desse sistema, descoberto por Flaschka que possvel descrever
de forma simples leis de conservao, tanto para o caso aberto quanto para o
caso peridico - isso se faz em dois passos. No caso aberto, comece mudando
de variveis,
.
.= .. /= 1,
.
.= exp[(x
k
.... /= 1, . . . - 1,
para obter
d
1
= .

=
.

- 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

tanto a preservao da forma tridiagonal de L(t) no se v diretamen


te da frmula. O leitor pode encontrar uma outra soluo explcita, bifurcando
no momento adequado das contas acima, na qual L(t) descrita como uma con
jugao de L0 por uma matriz traingular superior -por essa expresso, a forma
tridiagonal de L(t) obviamente mantida, mas no a simetria.
Existem muitas outras equaes que so resolvidas por esse processo. De ma
neira mais geral, considere1 para matrizes simtricas arbitrrias S e um polinmio
p(x)
fxo, a equao
s
"
[S, 11a
nti(p(S))],
S(O) =s,.
Sua soluo S -Q
T
S0Q
,
onde Q =Q(t) obtida pela fatorao exp(tp(So)) "
QR. A verifcao dessa afrmao idntica feita para o caso anterior, em que
p(x) , x e a condio inicial era tomada tridiagonal, por razes estritamente
2.3
.
O CASO PERIDICO 41
fsicas. O caso p(x) = log(x) especialmente inte.ressante pelas suas relaes com
anlise numrica {[DLT]) -como o fuxo preserva autovalores, ao longo de sua
rbita a matriz log(S(t)) coincide com um polinmio fxo p(S(t)).
Mais, todos esses fluxos comutam entre si, indicao de outra estrutura que
no vamos considerar: essas equaes so induzidas por hamiltonianas comutando
entre si para uma escolha adequada de espao de fase. Matrizes tridiagonais
com trao constante podem ser descritas como rbitas coadjuntas (e, como tais,
variedades simplticas) associadas ao do grupo triangular sobre si mesmo.
Em particular, isso fornece uma razo geomtrica para a invarincia da forma
tridiagonal na evoluo.
Existe uma equao anloga para matrizes arbitrrias ([DLTl]), para a qual
existe tambm uma soluo explcita e Uma interpretao como sistema comple
tamente integrvel (pelo menos para condies iniciais genricas). Um ltimo
fato muito interessante associado equao original a convergncia de L(t) a
uma matriz diagonal quando t -+ o, demonstrada por Moser [MJ.
2.3 O caso peridico
Vamos agora explicitar uma soluo para a equao M
+
{M, C]. A tcnica a
seguir fi desenvolvida por Adler e van Moerbeke [AM], e uma rea de pesquisa
intensa. Apesar da analogia formal entre as equaes nos dois casos, existe uma
diferena substancial: C no Ia
n
t
i
M, porque as posies nos cantos tm sinais
trocados.
.
Isso leva a procurar um outro grupo G para o qual uma fatorao
conveniente esteja relacionada a esta nova equao. considere o grupo de lao
s
,
CG = CGL(n, C, consistindo de funes suaves )s-+ GL(n, <) do crculo
unitrio para as matrizes inversveis complexas, com multiplicao definida ponto
a ponto. A srie de Fourier de uma funo assim da forma
(
,
)

)
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

-+ U(n, <) tomando valores sobre matrizes


unitrias, e o subgrupo c+G dos laos que admitem continuao analtica pa
ra o interior do disco unitrio consistindo de matrizes inversveis e que sejam
triangulares superiores com diagonal positiva em z
+ O.
Para comear, no claro, mas verdade, que CG
+
CU c+G. O resul
tado que faz o papel da ortogonalizao de Gram-Schmidt nesse caso pode ser
encontrado em [PS] (e continua sendo Gram-Schmidt no contexto adequado). O
resultado mais estrito: os dois termos da fatorao dependem suavemente do
42 CAPTULO :. O LTICE DE TODA PERIDICO
lao inicial, e herdam a mesma suavidade em particular, suas sries de Fou
rier decaem com a mesma intensidade; A demonstrao de unicidade com as
exigncias de normalizao feitas acima um pouco diferente da habitual: vamos
a ela. Suponha que o lao L(z) admita duas fatoraes desse tipo,
Ento
L(z) = U(z)R(z) = V(z)S(z).
L'(z)L(z) = R'(z)R(z) = S
'
(z)S(z), z E 1
,
onde a estrela a operao matricial habitual, e da
(S
'
)-
1
(z)R'(z) = S(z)R-
1
(z), z E
S
1
,
na qual o lado direito tem uma continuao analtica (inversvel) para o interior
do disco unitrio
1
e o lado esquerdo pode ser escrito como
(S')-
1
(z)R' (z) = (S')-
1
(1/z)R'{l/z), z E
1
.
A segunda representao obviamente tem uma continuao analtica para fora do
disco unitrio, que pode at ser estendida para z = o. Ento os dois lados da
equao ( ^) descrevem um lao que admite continuao analtica para dentro e
fora do crculo unitrio, limitada em todo < -por Liouville,
S(z)
=
CR(z), lzl 1,
onde C, uma matriz constante, tem que ser triangular superior com diagonal
positiva para z = O. Assim, todas as fatoraes do lao original so da forma
L(z) = U(z)C-
1
CR(z)
,
z E
1
,
para U(z)C-
1
unitria, o que obriga O a ser tambm unitria -mais uma vez,
no h muitas escolhas: O = I, e fca mostrada a unicidade da fatorao.
Formalmente, a decomposio do grupo induz uma decomposio aditiva na
lgebra de Lie associada ,Q, que consiste de sries
( )
-'
a
_
,
2
a z " . . . + -
2
+ -+ao + a
1
z + a2z + . . .
z z
sem a exigncia de invertibilidade de a(z), z E
1
.
A sub-lgebra l associada
ao subgrupo CU consiste de elementos da forma

-
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 grupos e vezes no.

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 -

. Agora < e ' so


necessariamente polinmios lineares, ;(-,,=-+:e (-,,= c- + c,tais
que a matriz


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

,onde por -entendemos -A . Temos < = + :-+c+c-e


7 =s +t-
+ +.-.Do ;=-deduzimos, s =,t +:s= ,+cs= ,
e :- c:++cs= 1. Entre as solues destas equaes esto aquelas com
=s=c = .=e : c =1. Estas definem um grupo isomorfo a SL(2, I),
dado pelas matrizes

de determinante 1. Note que este grupo contem 80(2, x,, a componente da
identidade do grupo 0(2.I) encontrado no exemplo de -

+
:
, 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

a sublgebra de elementos que comutam com L e por C1 o s:es,,daqueles


que anti-comutam com Lg ento tm-se C0C0 U C1 C1 e C0 e CaC1 U C1 Co C C
1
1 o que
nos leva a introduzir as lgebras graduadas.
Seja S um semigrupo. Uma lgebra A uma lgebra s,-ccse existem
subespaos vetoriais As para s E S tais que A = EsesAs e AsAr C Asr Um
elemento E A dito |,-ede ,-sse E As

Neste caso denotamos
o grau de por

. No que segue, vamos introduzir expresses que so vlidas


somente para elementos homogneos, sem chamar ateno para este fato, enten
dendo que a presena na expresso do grau de um elemento j indica que ele deve
ser homogneo.
Um morfsmo entre duas lgebras 8-graduadas A e B um morfismo de
lgebras 1 que preserva a graduao, isto r(A,) e B,.
A supersi,metria utiliza lgebras Z2-graduadas, tambm conhecidas como s
,e-/,e:-sSe A uma superlgebra ento Ao conhecida como a sublgebra
:sc:c,e A, como o subespao )e-:c:c(o qual no uma sublgebra). No
caso de dimenso fnita vamos indicar em geral uma base de Ao por :
.
, _:
.
e
uma base de A
1
por )
,
,. . . ,)
-
,e dizer que A de t:,(,m).
Seja A uma superlgebra. A aplicao bilinear ,,defnida por
,:," :
- (-i,

: {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.

lgebras comutativas no sentido usual devem ser conside


radas como essencialmente no comutativas neste contexto.
Uma s,e-/,e:-cei:e uma lgebra Z
2
-graduada A cujo produto, denota
do por [, ],, satisfaz as propriedades (3.2) e (3.5) acima. Qualquer superlgebra
associativa uma superlgebra de Lie com o produto sendo o supercomuta
dor. Uma representao de uma superlgebra de Lie A uma aplicao linear
< : A - B para uma superlgebra associativa B, preservando a graduao, tal
que

(,:,,=
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
:

;,E .(A), o que completa a demonstrao.


O ponto essencial deste resultado que .(A) :ec:es::}::. Assim
uma s,e-/,e:-de Lie A de dimenso :tfi usada para codificar uma /,e:-
de Lie .(A) usual de dimenso :::
Interessa fsica as simetrias da matriz de espalhamento s. Este um ope
rador unitrio no espao de Hilbert dos estados fsicos que descreve os detalhes
de processos elementares. Existem duas noes de simetria, (1) um operador
unitrio' u tal que usu = s, e (z, um operador auto-adjunto K tal que
[K, sj= O. No segundo caso, sob condies adequadas, o grupo unitrio u(-,
=
exp{iTK) para T E x,fornecido pelo teorema espectral, satisfz u(-,su(,* s,
e portanto um grupo de de simetrias unitrias. Um tal operador K conhecido
como s:e:-::}::es:/. Formalmente, se K e iso simetrias infnitesimais,
ento pela identidade de Jacobi temos [[K, i,s* Assim, ainda frmalmen
te, as simetrias infnitesimais, multiplicados pelo nmero imaginrio :, formam
uma lgebra de Lie. Na teoria relativista do campo quntico, a lgebra de Lie
de simetrias infnitesimais contm, como sublgebras
1
uma imagem isomorfa
lgebra de Lie do grupo de Poincar (gerado por translaes no espao-tempo
e transformaes de Lorentz) e uma lgebra de Lie de dimenso fnita de s:e
:-:s::e-sque relaciona propriedades de espcies diferentes de partculas (por
exemplo prtons e nutrons). Esforos iniciais de combinar de uma maneira no
trivial as simetrias do espao-tempo e as simetrias internas, o que daria uma
teoria com poder de previso maior, encontrou um obstculo no famoso "no-go
theorem" de Coleman e Mandula (cm,.Este afrma que na teoria relativista de
campo quntico, qualquer lgebra de Lie de dimenso fnita de simetrias infnite
simais que estende a simetria de Poincar, necessariamente uma sc:-e: (e
portanto uma combinao trivial) da lgebra de Poincar com a lgebra de sime
trias internas. A supersimetria evita este teorema postulando uma s,e-/,e:-
`Estritamente falando, pode haver o caso de um operador anti-unitrio, mas consideremos
somente o caso unitrio.
54 CAPTULO 3. UMA VISO ELEMENTAR DE SUPERSIMETRIA
de Lie de dimenso fnita de simetrias infnitesimais, a qual, como vimos no exem
plo anterior, capaz de gerar uma lgebra de Lie de dimenso infnita e portanto
foge das hiptese do teorema de Coleman-Mandula.
Retornando ao contexto fsico em discusso, uma lgebra de Lie de dimenso
finita de simetrias infnitesimais, pode ser, em princpio, exponenciada a uma
representao unitria do grupo de Lie correspondente
1
formando assim um grupo
de simetrias unitrias. Se porm temos uma s,e-/,e:- de Lie de simetrias
infinitesimais, uma exponenciao, em princpio, nos levaria a elementos de um
problemtico grupo de Lie de dimenso infnita. Seria genial se tivermos um
processo anlogo ao de exponenciao que resultaria num objeto que codifcaria o
suposto grupo de Lie de dimenso infnita de maneira parecida com a codificao
de lgebras de Lie de dimenso infnita por superlgebras de Lie de dimenso
fnita. Isto nos leva a considerar s,e-,-,s.
Um es,, et-:/z
.
,-cc um espao vetorial V junto com uma de
composio numa soma direta de dois subespaos V= V0EV1. A lgebra End(V)
tem agora uma Z
2
-graduao natural. Temos L E End,(V) se L(V;) e Vi+;

Em
termos de matrizes em blocos temos
L
=
Loo L'
=
Loo
L
1
0 Ln
O
O
El
O
Loi
Ln Lia
O
onde o primeiro termo a parte bosnica e o segundo a ferminica.
(3.7)
Um dos subespaos Vi usualmente considerado como bosnico e o outro
como ferminico, embora a defnio no faa distino entre os dois. A Z2-
graduao de End(V) no depende de qual dos subespaos identifcado como
bosnico. Uma tal identifcao, quando feita, tem que ser baseada em consi
deraes adicionais.
Seja A ma superlgebra de Lie e V um espao vetorial Z
2
-graduado. Por
uma -e,-ese:,:de A em V entendemos uma representao em End(V) como
defnida anteriormente.
Sejam A uma superlgebra de Lie, B uma superlgebra associativa de di
menso finita e : A - B uma representao. Temos as exponenciais exp((a)) E
B
,
mas em geral no podemos comp-las: exp(>(a)) exp((b)) em geral no da
forma exp((c)) para algum c E A, nem para o caso de a e :serem restritos a
uma vizinhana sufcientmente pequena de zero, como seria o caso de lgebras
de Lie usuais.
Para apreciar este fto considere a formula de Baker-Campbell-Hausdorf:
exp(
A
) exp(B) = exp(C) = exp
(3.8)
55
onde cada Cn uma combinao linear de comutadores aninhados n- 1-vezes de
A e B. At ordem trs
+
) 1 1
C = A + B +
:
[
A, B] +
12
[
A
, [
A
, B]] +
12
[B, [
B, A]]) +
Esta formula obviamente formal, mas em contextos adequados a srie formal
converge e C existe no mesmo sentido que A e B existem. Em particular, suponha
que A = L
;
x;X; e B = L
;
y;X; onde os X; frmam uma base de uma lgebra
de Lie de dimenso fnita. Cada Cn ento da frma Cn
= L, p\"\x
,
y)X; onde
os pn) (x, y) so polinmios homogneos de grau n em x
i
e Yi Assim podemos
escrever
onde cada z
i
uma serie formal de potncias em x e y. Para eslementos sufi
cientemente prximos de zero, as sries convergem e a aplicao (x1 y) i z a
lei de produto, perto da unidade, de um grupo de Lie cuja lgebra de Lie a
dada. Este procedimento para criar um grupb de Lie (ou pelo menos um grupo de
Lie formal ([Bo]) no procede se os X; formam uma base de uma superlgebra
de Lie pois a formula de Baker-Campbell-Hausdorf envolve colchetes de Lie e
no supercolchetes. Sejam agora A uma superlgebra de Lie de tipo (n, m),
A = L
;
x;b; + L
;
O;f;, e B = L
; y;b; + L
;
ri;f;. Uma aplicao direta da formula
de Baker-Campbell-Hausdorf no nos permite escrever e = L
;
z;b; + L
;
;f;,
nem formalmente, se os coefcientes x
,
y, ( e T so nmeros reais. Mas se assu
mirmos que eles tambm vm de uma superlgebra, isto torna-se possvel, pelo
menos formalmente. O problema claro que o comutador frmal
[
O;f;, O;f;
]
no
pode ser interpretado como o
[Oifi, (ifi
]
s se os ( so reais, pois para elementos
ferminicos o supercolchete se comporta como ::c:c-.No obstante, se
os ( so elementos ferminicos de uma superlgebra ento uma tal interpretao
possvel.
Sejam A e B duas superlgebras. Defnimos o produto tensorial z
:
,-cc
AB. Como espao vetorial, AB o produto tensorial A 0 B usual. A multi
plicao, porm, defnida por
(a @ b)(c @d) = (-l)l'l
l
'
l ac @bd
A Z,-graduao dada por
(A0B)0
(
Ao 0 Bo) El (A1 0 B1) e
(
AB)1
(A1 0 Bo) El (A1 0 Bo)-
Suponha agora A e B associativo. Uma conta fcil demonstra
[a @ b, e @ c],= (-1)1'
11'1 ((-l)l
ll
'
lca 0 [b, d], + [a, e],
@ bd
)
(3.9)
56 CAPTULO 3. UMA VISO ELEMENTAR DE SUPERSIMETRIA
Consideremos agora que :e cso c'elementos" com propriedades fixas ,-:-:
e que e L so "coefcientes" cujas propriedades podemos escolher vontade. Se
estamos interessados na propriedades dos "elementos" em relao ao supercol
chete, ento o lado direito tem o supercolchete conveniente :,c,mas tambm
o produto incmodo :c. Porm, se assumirmos que A s,e-c:::,ento
,,= O e temos
,0 :,e 0 c, -(-i,
.

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

qualquer produto destes com


mais que elementos zero e qualquer outro produto igual a um da forma
57
(f
1
(
2


(m1Jr11J

1Jm onde i
,
vi E {O, 1}. screva este produto como (r'

Temos ento Zi
=
2,1
Zi1(P11
e
(j = L
,
1
i,_1(11 onde cada
Zi1 e (j1 uma
srie formal de potncias agora somente nos Xi e
Y
Neste ponto podemos adotar uma de duas atitudes. A primeira (que pode ser
chamada de "hbrida
1
'
) considerar os Xi e Yi como variveis reais, do mesmo jeito
que acontece no caso de lgebra de Lie. Neste caso as sries formais convergem
para -,,e [y; suficientemente pequenos. Temos ento uma coisa parecida com
uma lei de produto de um grupo de Lie local: de fto, os z;o
o
definem precisamente
uma tal lei. Isto pode ser elaborado para definir um s,e-,-,de Lie como sendo
um grupo de Lie cuja lgebra de Lie precisamente a sublgebra bosnica L0 e
que possui estrutura adicional para levar em conta o subespao ferminico .1
A
outra atitude continuar considerando os Xi e Yi como elementos bosnicos de
uma superlgebra supercomutativa e considerar que o processo de exponenciao
gera um s,e-,-,cei:e)-/anlogo a um grupo de Lie frmal.
No vamos explorar em profundidade nenhuma destas atitudes. A hbrida
que prevalece na literatura fsica e portanto vamos adot-la no restante deste
captulo. Apresentamos agora alguma nomenclatura e algumas convenes da
literatura fsica. Dada a lgebra n[
nlm
J
,
o s:es,,
J[
nlm
J
gerado por Xi, _ X
n
e (

, @ (
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

(X1(x, O), . . . , Xn(x, O)). Temos


X;(x, O) = ;(x)
+
;(x, O)
onde i o coefciente d unidade e (i nilpotente, yi = O. Formalmente, a
expanso na srie de Taylor em torno de
(
1, . . . ,
n
) s tem um nmero fnito de
termos, e portanto defnimos para uma funo
J(x)
de classe c
m
(3.13)
a
onde a soma sobre os multi-ndices a = (a
_
Ii . ++ _ an) com a1 + +Gn : m.
Passamos agora a considerar certos exemplos simples. Seja C de tipo (i,i,
Suponha que o nico supercolchete no zero entre os geradores seja ),f], 2b.
Agora fcil calcular pela frmula de Baker-Campbell-Hausdorf que
exp(xb + ),exp(b +,)
.
, exp((x + - ,,:+ ( +
T
)
J
)
(:i+,
fcil encarar isto ingenuamente como definindo um "produto de grupo11
(x, ,' (,,,= (x +- ,, + ,,
(:ia,
Vamos denotar este s,e-,:,por G. Servir como exemplo para o resto
deste captulo.
O produto ingnuo (:ia, deixa muito a desejar. A medida que "multi
plicamos" cada vez mais elementos, precisamos introduzir uma superlgebra
nJ
klk] cada vez maior para expressar um nmero cada vez maior de "valores
de parmetros' 1 Em geral, nenhum nmero fnito de variveis pode dar conta
da estrutura algbrica de um supergrupo nesta viso ingnua, pois, como j vi
mos, a lgebra de Lie em U(.) gerado por . tem dimenso infnita em geral,
e assim, qualquer "produto de grupo" de dimenso fnito incapaz de capturar
o contedo matemtico de um supergrupo. Interpretando x e como nmeros
reais no ajuda pois as variveis ferminicas no podem ser interpretados desta
maneira e assim somas como x +
-8T no teriam nenhuma interpretao clara.
A literatura fsica de modo geral simplesmente ignora estes fatos, pois as regras
para fazer clculos com superalgebras so de qualquer maneira bastante claras e
efcazes. Uma abordagem um pouco mais sistemtica apresentada em ([DeWJ)
onde, em primeiro lugar, introduz-se um estoque infnito de variveis ferminicas
(1
,
(2, e, em segundo lugar, a noo de nmero complexo estendida a tais
chamados s,ee-sque so somas X Xg +X_ onde Zb E C e Zs uma srie
formal com coefcientes complexos de produtos fnitos dos (i. Num gesto potico,
zb chamado o "corpo" de X e Zs a "alma". Embora isto produza um clculo
formal bem defnido, deixa muito a desejar quanto a matemtica.
Felizmente todas a difculdades podem ser facilmente resolvidas se interpre
tamos supegrupos em termos de lgebras de Hopf. Deste ponto de vista se grupos
clssicos so lgebras de Hopf comutativas, ento supergrupos so superlgebras
de Hopf supercoinutativas. A lgebra universal envolvente de uma lgebra de Lie
, de uma forma natural, uma lgebra de Hopf cocomutativa na qual o processo de
exponenciao para o grupo de Lie formal correspondente simplesmente a passa
gem para o dual, que uma lgebra de Hopf comutativa. O caso de superlgebras
de Lie est em perfeita analogia com isto. No vamos porm desenvolver aqui
esta teoria. Veja ( [Ko])
para um tratamento da "supermatemtica" em termos
de superlgebras de Hopf.
e c~ri1uio3. uM~ visnosisMsu1~rnssursrsiMs1ri~
Agora que chegamos a um entendimento elementar de supergrupos, estamos
prontos para abrdar o conceito de supersimetria. Primeiro devemos entender o
que seria uma ao de um supergrupo. Adotando a idia de que todos os objetos
devem ser entendidos como "superobjetosn , isto , a abordagem inteira deve ser
em termos de Z2-graduao, o objeto mais simples sobre o qual um supergrupo
poderia agir parece ser o superespao R
[
n
l
m
J .
Na literatura fsica o superespao
descrito como um "espao no qual, alm de um conjunto de coordenadas comuta
tivas usuais x1 , . . .
, X
n
, h tambm um conjunto de coordenadas anti-comutativas
f1 , . . . , B
m
n. Nas teorias fsicas os x1, . . . , Xn so considerados coordenadas de um
ponto no espao-tempo e portanto o superespao visto como uma extenso do
espao tempo. No vamos tentar aqui dar qualquer sentido a esta idia alm
de puramente metafrico ou formal, apesar de que a idia possa ser levada mais
a srio. Os superespaos esto entre os exemplos mais simples de "geometrias
no comutativas" , mas por serem supercomutativas ainda devem ser consideradas
"clssicas" .
Vamos abordar aqui uma verso ingnua de ao. J que os nossos super
grupos so "exponenciaes" de superlgebras de Lie, natural tentar defnir
uma ao de um supergrupo "exponenciandon uma representao de uma su
perlgebras de Lie C de tipo (n, m). Sejam V um espao vetorial Z2-graduado
e - : C. - End(V) um homomorfsmo de superlgebras. Ingenuamente a "ao
,,
de um "elemento" exp(t
1
b
1
+ t,,b,, + 9i
f
1 + 9mfm) do supergrupo sobre um
elemento
V
E V seria dado por exp( t, b, +
. . .
+ t,,b,, + 9]/1 + . . . + 9
mim
)v. Como
antes, adotando a atitude hbrida podemos considerar os ti como nmeros reais,
mas os (
i
devem ser considerados objetos externos.
Vamos agora construir um ao do nosso supergrupo G. Como b comuta com
tudo, temos que exp(tb + 9 j) -exp(tb) exp(9j). Dado que (9 f)
2
- ,o segundo
fator frmalmente igual a I + 9 j. Assim
exp(tb + 9j) -exp(tb) (J + 9j)
fcil achar todas as representaes do nosso C num espao V qualquer. Uma
C
_
n

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

c,,para saber se isto supersimtrico ou no, no


necessrio interpretar nem os campos, nem as coordenadas no superespao, nem
a integral. No necessrio saber o que s:estas coisas. Temos simplesmente
uma expresso1 mais sofsticada que o nosso -no incio, verdade, mas nada
essencialmente diferente. A expresso invariante por um conjunto de regras de
reescrita que so ditadas por uma superlgebra de Lie. Eis a supersimetria neste
nvel. Uma vez que a teoria quantizada, a superalgebra de Lie que deu lugar
ao conjunto de regras de reescrita agora se incorpora numa superlgebra de Lie
de simetrias infinitesimais, e esta superlgebra de operadores traz conseqncias
extraordinrias para a teoria quantizada. Isto no mais formal mas concreto.
Nisto temos o prprio milagre de supersimetria e a sua beleza to admirada pelos
fsicos.
Referncias
[Bo] S. Bochner "Formal Lie Groups", z/s)Mt|et:cs47 192 (1946)
(CM] S. Coleman e J. Mandula r|s:c/ue:e159, 1251 (1967)
[DeW] Bryce DeWitt "Supermaniflds", Cambridge University Press, Cam
bridge, 1984
[Ko] Bertram Konstant "Graded Manifolds, Graded Lie Theory, and Prequan
tization" tect-eutes:Mt|et:cs570, 177, Springer Verlag {1977)
[Se] T. Schmitt, "Supergeometry and Quantum Field Theory, or: What is a
Classical Confguration?" ue:e)Mt|et:c/r|s:cs9 993 (1997) e hep
th/9607132
[So] Martin F. Sohnius "lntroducing Supersymmetry" r|s:cs ue,-ts, 128,
Nos 2 & 3, pp. 39-204, (1985)
[Wi] Fank Wiczek "The Future of Particle Physics as a Natural Science" i
te-t:/J-/)Mce-r|s:csz, 13 863 (1998) e hep-ph/9702371
Captulo 4
A integral de Kontsevich
Em [Ko] Kontsevich definiu um invariante de ns, usando integrais mltiplas, e
mostrou que o invariante o "melhor possvel" invariante de tipo finito. A classe
dos invariantes de tipo fnito inclui muitos invariantes j conhecidos, entre eles
todos os invariantes defnidos a partir de grupos qunticos.
O objetivo aqui de descrever uma verso do invariante de Kontsevich devido
a Roger Picken [P]. Este invariante um pouco mais fraco que o invariante de
Kontsevich mas tem a vantagem de ser mais fcil de se calcular. A idia atrs do
invariante a seguinte. Primeiro o n em questo representado por uma trana.
Tanas correspondem a caminhos fechados no espao de confguraces (fnitas)
de pontos no plano e o invariante construido a partir de transporte paralelo
com respeito a uma certa conexo plana (conexo de Knizhnik-Zamolodchikov)
no espaco de confguraces.
4.1 Tanas
Ser conveniente representar o espao tridimensional como C x l com coorde
nadas (z, t) onde z --+ :e t E J. Sejam z
1
, z2, . . . , Zn aplicaces suaves do
intervalo [O, :em C tais que os grfcos dos z; (ou seja r curvas (z;(t), t) em
e X [O, :,so disjuntru e encontram os planos Cx o e Cx iem [i,2, . . .
'
n} X o e
[:, 2, . . . , n} x i Uma n-trana uma unio (disjunta) de n tais grfcos (os fs
da trana) . Cada fo liga um ponto (,,O) a um ponto (s(,,,i,onde , i, 2, . . . , n
e s uma permutaco de [i, 2, . . . , n }. Por exemplo, a 2-trana _ dada por
3 :

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

que preservam a orientao de s

e ~,(s

,como o quociente de co,(s,pelo subespao gerado pelas relaes 4T.


Um elemento de o,(s,pode ser representado por uma palavra cclica composta
de m pares de letras diferentes. Por exemplo, como palavras cclicas
1
as seis
palavras :c:c,:c:c,. . . ,:c:crepresentam a mesma palavra cclica, ou seja
o mesmo elemento de o,(s,.
De fato, ~(s

,no s um Cespao vetorial mas uma Clgebra. O produto


dado (aparentemente de frma ambgua) por juxtaposio de palavras. Por
exemplo, o produto de ::e -- ::--. Mas, usando as relaes 4T,
temos
-::-+ ::--* -::-+ ::--
-::-+ :-:-= :-:-+ ::--.
Segue-se que, em ~,(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

Assim temos uma aplicao


<-linear
, ~(:,- ~(s,
(pois fcil ver que incluso leva relaes 4T em relaes 4T).
Em geral os fechos de :

:
:
e :
:
:

so equivalentes como ns ou enlaamentos.


Em particular, se o fecho de :

:
:
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>:

>t, > >:,>+e a segunda soma


I sobre todo :<j, /</,,<e u,,.,,,E ~,(:, o m-diagrama em
:que consiste dos pares (:,(:
.
, , :,,, (:,(:

,, :
.
,, ,(:,(:,,,:,,,(:,(:,,,:,,

Esta frmula a frmula antiga com u,,.,,,no lugar do produto ~.,~.


,~,,

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
--

/2. Como no caso de o,,temos que


(
-
,
3
9 9 ,zo
,
= i+ O

+
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

rR.Picken, Knot Invaiants fom a Kohno-Kontsevich integral fr braids, Ins


tituto Superior Tcnico preprint ia}sz(:ss:,
Captulo 5
Grupos Qunticos
1 . Aqui se pretende expor os elementos de grupos qunticos de forma simples e
direta. As construes no sero apresentadas da maneira mais geral possvel, e
sero sempre acompanhadas no exemplo (j extremamente interessante) do gru
po quntico "mais simples" :,(z,,deformao do grupo algbrico semisimples
:(z,Um contexto defnitivamente algbrico ser adotado: por exemplo, evita
remos menes a lgebras c,e outros objetos analticos. A virtude maior desta
filosofia destacar claramente a natureza (co- ou contra- variante) das operaes
envolvidas, dos diversos tipos de produtos, de cada conceito.
2. No h defnio satisfatria universalmente reconhecida do que seja um
grupo quntico. Todas as propostas em vigor sugerem a idia de deformao de
um objeto clssico
1
que pode ser, por exemplo, um grupo algbrico, ou um grupo
de Lie. E em todas as propostas os objetos deformados perdem as propriedades
de grupo:

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

lgebra em A, e por outro a Geometria


(ou Topologia) em X ou em S(A), uma situao ideal: os objetos que vemos na
realidade matemtica nos chegam frequentemente misturados. So, por exemplo
1
grupos topolgicos, ou espaos vetoriais topolgicos, objetos que tem simulta
neamente estruturas algbricas e geomtricas de alguma forma compatveis. A
aplicao dos funtores usuais A de algebrizao em um objeto X assim frnece
estruturas algbricas adicionais sobre os objetos j algbricos A(X), que passam
ento a admitir, por dualidade, co-multiplicaes.
5. Como um exemplo-paradigma tomamos um grupo algbrico linear X: alge
bricamente, um grupo, geometricamente uma variedade. . . algbrica (a notao
consagrada no pode evitar armadilhas); alm disso, as operaes de grupo so
morfismos de variedades algbricas. O exemplo que nos ser mais caro o grupo
algbrico Sl2(k). Como para toda variedade algbrica, podemos considerar um
funtor de algebrizao que associa a cada variedade X seu anel de funes regula
res R(X). A estrutura adicional de grupo em X doa, por dualidade la Yoneda,
uma estrutura de co-algebra em R(X) (defnies precisas mais tarde) .
Como segundo exemplo-paradigma tomemos X um grupo de Lie1 isto : geo
metricamente uma variedade, algebricamente um grupo, com a compatibilidade
fundamental de serem diferenciveis as operaes algbricas. Tambm aqui se
manifsta o ubquo Sl,. Um funtor de algebrizao bsico para uma variedade
a considerao de seu fibrado tangente; no caso do grupo de Lie X, este fun
tor frnece a lgebra de Lie C(X), o espao tangente na identidade. Um funtor
intra-algbrico agora asocia a cada lgebra de Lie C a lgebra (associativa) en
volvente U(C) de frma universal (este funtor, que deve ser chamado de funtor
de Poincar-Birkhof-Witt, o adjunto esquerda do funtor que a cada lgebra
associativa A associa a lgebra de Lie com o colchete dado da forma "usual":
,:= : :,
Estes xeinplos sero nossos guias.
6. Se o objeto inicial X fr um objeto assim misto, dotado de estruturas
algbricas e geomtricas simultaneamente, as deformaes que procuramos ope
ram nas lgebras A(X), enriquecida por co-multiplicaes, para gerar objetos
A,(X) da mesma natureza igualmente enriquecida. O parmetro q de deformao
intervem nas definies das lgebras A(X) (ou mais simplesmente A) de uma fr
ma que a primeira vista pode parecer arbitrria: confamos ento na relevncia
destas defnies distorcida que uma quantidade de aplicaes fsicas, muitas
vezes no relacionadas entre si, indica.
Poderamos pensar em aplicar espectros e obter alguma Geometria em
S(A,(X)), mas a nfase maior das aplicaes tem sido em recuperar a teoria
de repr.sentaes de X, que em geral equivalente de A(X), para as lgebras
deformadas A,(X).
5.1. BONS ANTECEDENTES ALGBRCOS 79
7. (Sobre estas notas) O conceito de grupos qunticos fi motivado por problema
vindos de um grande nmero de situaes fsicas, e com isso o entendimento
das idias que motivaram a teoria requer naturalmente um amplo conhecimento
anterior. No entanto, o trabalho de manipulao da teoria pode ser eftuado
em um nvel muito mais modestoj estas notas procuram contemplar situaes de
pr-requisitos bastante diversas. Idealmente, qualquer leitor com algum interesse
poderia achar nelas um lugar de trabalho matemtico ativo. Alguma informao
categrica est recolhida em apndice: a mistura de estruturas que os grupos
qunticos exemplifcam torna a linguagem categrica um dado essencial.
ndice do Captulo 5
I. Bons Antecedentes Algbricos
I.1 Grupos Clssicos: Defnies
I.2 A Geometria dos Grupos Clssicos
I.3 A

lgebra dos Grupos Clssicos


I.4

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,

,.

Assim, n sempre um nmero par. As matrizes M cSpn(k) so descritas pela


condio
M'AM= A.
O centro Z(Spn(k) de Spn(k) consiste nas matrizes M = \conde = .e o
quociente Spn(k)/Z(Spn(k)) dito o grupo simpltico projetivo. Se n 2 ento
Sp2(k) = Sl2(k) e PSp2(k) PSl2(k).
No caso de f ( , ) ser no-singular, bilinear e simtrica, e o corpo k ter ca
racterstica diferente de 2, os grupos de matrizes que preservam f( , ) so os
chamados grupos ortogonais; em geral a classe de isomorfsmo destes grupos de
pende da escolha de f( , ), e logo estes grupos devem vir denotados por On(k, !).
O nmero de formas f( , ) que geram grupos no isomorfos depende do corpo
de constantes k. O determinante de qualquer matriz em On(k, f) 1, e o grupo
de matrizes de determinante um em On(k, f) n Sln(k) denotado por SOn(k, !).
O centro Z(On(k, !)) consiste nas matrizes M \conde = .e o quociente
SOn(k, f)/Z(On(k, !)) n SOn(k, f) denotado PSOn(k, !). O ncleo SOn(k, f)
de
det : On(k, !) - [+:}
abeliano, e deve conter os comutadores M
1
M2M1
1
M:;
1
. O grupo comutador
On(k, !), gerado por estes comutadores, assim um subgrupo de SOn(k, !). De
finimos
POn(k, !) On(k, f)/(Z(On(k, f)) n On(k, !)).
82 CAPTULO 5. GRUPOS QUNTICOS
No caso de k ser dotado de uma involuo a J a e !(
1
) ser hermitiana
os grupos de matrizes no-singulares que preservam esta forma so os grupos
unitrios; como no caso dos grupos ortogonais, os grupos unitrios dependem da
escolha de !( , ), e devem ser denotados por Un(k,
J
). As matrizes em Un(k, J
)
de determinante um frmam um subgrupo SUn(k,
J
). O centro Z(Un(k, J
) de
Un(k, J) formado por

.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)


'
:

donde PSl2(F2) isomorfo ao grupo 8


3
e o subgrupo
|
,

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

isomorfo a Z/2Z x Z/2Z, normal em PSl2(F


3
).
5.1. BONS ANTECEDENTES ALGBRCOS 83
Estes so, no entanto, os nicos casos em que PSl2(Fq) no simples. Para
n = 2 e ,2 4, e para n > 2 os grupos PSl,(F,)
s
o simples e frmam a fmlia
mais tratvel (a parte os grupos cclicos de ordem prima e os grupos alternados
An para n 2 :,no grande teorema de classifcao de grupos fnitos simples (ver
o material recolhido em 3. abaixo). A ordem de PSln(F,) dada por
()
I
.
card(PSln(F,))
d ( ,
(,- i,
m L n, ,- i
:..
Temos PSp2(F2) = PSl2(F2) isomorfo a S3 e PSp2(F3) * PSl2(F3) isomorfo a

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,
.

.. e contem todas as transveces, isto , .-,


Para provar a simplicidade de .,-, sufciente provar que se fr um
subgrupo normal de .-,contendo o centro .-,,....
.

,
,
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

Seja ~. matriz em no no centro .-,com polinmio


mnimo .
.
..

: Se este polinmio se fatorar em -,ento ~ similar a uma


matriz diagonal, caso contrrio ~ similar matriz na forma cannica racional

+ 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

,1 porque ~no est no centro


.-,Se ~no for diagonalizvel ento de qualquer forma por normali
dade conter a matriz

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
~
.

3. Um olhar de relance sobre grupos simples. Para listar todos os grupos


simples fnitos nos possvel, ao fnal do sculo XX, enfm seguir o fenomenal
conselho do rei de copas em Alice no Pas das Maravilhas: "Comece pelo comeo e
v prosseguindo at chegar ao fm, e ento pare" . Esta lista, agora afnal completa
(ao que parece, pa
c
e opinies divergentes sobre a insufcincia da documentao
de certas provas), comea de uma forma modesta: os grupos cclicos Z/pZ de
ordem fnita p so simples, no tendo nenhum subgrupo normal, de fato no
tendo subgrupo algum. Em ordem de complexidade vem os grupos alternados ~,
para n 5, mas no s a prova da simplicidade destes grupos mais complicada
como existem as "excees" ~,e
'
,.
Os prximos grupos simples da lista so os grupos clssicos sobre corpos fnitos
listados em l.
1
que tem uma forte tendncia simplicidade, embora existam
excees. O padro da procura as provas de simplicidade fcarem cada vez
mais complexas em cada famlia infnita, com esta complexidade atestada pela
existncia de excees, at o ponto em que aparecem excees fora das famlias:
os grupos simples espordicos, vinte e seis grupos simples que no se enquadram
em nenhuma das famlias infnitas.
Os grupos alternados e os grupos clssicos se manifestam a partir de uma
ao natural, os grupos alternados ~, aparecendo como permutaes pares do
conjunto (i,. . . , n} e os grupos clssicos como homorfismos de espaos vetoriais
ou de espaos projetivos (submetidos a restries de preservar frmas). Outros
grupos simples fnitos foram descobertos em situaes similares, como grupos de
permutao de sistemas combinatrios. A situao geral pode ser formalizada da
5.1. ...-...
_
.. 87
seguinte forma: dada uma categoria e e um objeto e de e, uma representao
de um grupo em um homomorfsmo d
e
grupos
. - Autc(C, C),
onde Autc, ,so os homomorfsmos em Homc(C, ,que admitem inversa.
O conjunto Autc, C) tem uma estrutura de grupo dada pela composio ca
tegrica o (ver A.1). Para C Vectk, a categoria de espaos vetoriais sobre um
corpo k, esta situao chamada de representao linear, e para C Conj, a
categoria dos conjuntos, usada a terminologia ao. A representao fel se .
for monomorfsmo, e o grau da representao a cardinalidade de O.
Tipicamente C uma categoria concreta, admitindo um funtor de esqueci
mento C - Conj: os objetos de C so conjuntos dotados de estrutura. Se .fr
uma representao em para E o grupo de isotropia , o subgrupo de c
dado por
,- ,,E .,, ,= }.
A representao transitiva se para .E C existir um ,E com .,,

,=
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
,

e a representao .se estende para uma representao .,


.,,, ,,,= .,,, .,,.,,
A representao . chamada n-transitiva de .,for transitiva e estritamente n
transitiva se .,for regular. Como exemplos: o grupo simtrico , estritamente
n-transitivo
1
e se n > 2 o grupo alternado ., estritamente (n - 2)-transitivo;
alm disso, os nicos grupos (n- 2)-transitivos de grau n so ,e ,,e o nico
grupo (n - 1)-transitivo de grau n .
O grupo clssico -.-,,age naturalmente na reta projetiva -,U {o}, o
grupo de isotropia de o sendo dado por
.
(identifcando a classe de equivalncia com alguma matriz representante). Com
esta representao -.,,, estritamente 2-transitivo de grau q e -.-,,
estritamente 3-transitivo de grau q +i
88 ....c5. ...,..
Se q ( q
'
)
'
fr um quadrado ento a : > a' automorfismo involutivo de
-,, que pode ser extendido a um automorfsmo da reta projetiva -,U { o} por
ao= o. Vendo ...-,,como grupo de transfrmaes lineares fracionrias
((2.3), isto , identifcando com x > :J, e considerando o grupo
-,de transfrmaes na reta projetiva -,U {o} dado por
ax + b aa(x) + b
-, { x > -1 ad-bc E -,.,}U{ x
>
( ) d
1
ad-b
c
E -,-,

},
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

, e a condio para o determinante ser i requer


tr
.
+ det
.
* O. Pelo teorema da funo implcita esta condio
defne implicitamente d como funo suave perto da origem.
A lgebra de Lie de Sl,(R) dada pela sublgebra de gl2(R) dada pelas
matrizes de tra
'
o nulo, como segue de uma aplicao da aplicao exponencial
abaixo. Ela denotada por sl2(R).
3. A aplicao exponencial. Dado um vetor tangente E E D( G)r na lgebra
de Lie C(G) de um grupo de Lie G, pelo teorema de existncia e unicidade de
equaes diferenciais ordinrias existe uma caminho PE : (-e, e) - .tendo E
como vetor tangente. A asociao
exp : tE >-PE(t)
define a aplicao exponencial
exp : C(G) - G.
5.1. .-.-...
_
.
95
A aplicao exponencial uma transformao Jlatural exp . . I, onde I
denota o funtor identidade na categoria de grupos de Lie.
Para .= .,.,a lgebra de Lie o conjunto das matrizes n x n com
.= . .como visto em :. osistema x'(t) = Ax(t) com condio
inicial x(O) = 1 tem soluo
.
xt= e
A
= L
1
t
'
,
k;:
o
k
.
e logo a aplicao exponencial neste caso a exponencial usual exp(A) = e
A
.
Se . um grupo de Lie e um subgrupo conexo (ou, pelo menos, com um
nmero de componentes conexas enum(rvel) ento
.= {X ...1 exp(X) . ,
Se ...= .,., tal que . MJM
-
1 , onde J sua forma de Jordan, ento
det(e
A
) = det(e
M
J
M
-
'
) = MeJ
M
-
1
,
e logo det{ e
A
) = 1, e'" = e"A. Pelo clculo da exponencial obtido para .=
.,.,e usando o enunciado acima com = ,.,segue que a lgebra de
Lie ,.,= .,.de ,., dada pelas matrizes n x n de trao nulo,
conforme anunciado em 2 . .
5.1.3 A lgebra dos Grupos Clssicos
Um algebrista, admirando grupos clssicos, fica fascinado como suas defnies
independem grandemente do corpo (ou anel) de constantes
k
(no caso de grupos
unitrios necessrio um automorfsmo involutivo em k, mas isto tudo). Mais
ainda, grupos clssicos defnidos sobre anis comutativos .e .podem ser com
parados atravs de um morfsmo .- .que define um morfsmo dos grupos
clssicos por 'mudana de base' '. Na verdade, o que o fascina o fato de grupos
clssicos serem funtores. Assim, por exemplo, .,., o funtor da categoria de
anis comutativos para a categoria de grupos
.,- AnCom - Grp
que a cada anel .associa .,.A aplicao determinante aparece agora como
uma transformao natural det . .,- .a naturalidade de det se expressa
na comutatividade do diagrama
.,., .,
96 ....c5. ...,..
que resulta da expresso polinomial do determinante nas coordenadas-entradas
das matrizes: um morfismo de anel nestas entradas forosamente preserva esta
expresso polinomial, e o diagrama ento comuta.
oncleo de det , como esperado, o funtor ,que associa a cada anel .
o grupo ,., Assumindo que o anel . comutativo e contem o corpo k,
ou seja, considerando os funtores definidos na categoria AlgComk de lgebras
comutativa sobre k, algo ainda mais interessante acontece: existe um elemento
universal para estes funtores ou, equivalentemente, , representvel: para cada
lgebra comutativa sobre k vale
,., HomA1gcom
, {k[{X;;}]/{l - det) , A).
Isto significa: o funtor , representado pela lgebra k[{X;;}l/(l - det(X;;)).
Em ltima anlise o que se usa a propriedade universal de anis de polinmios.
Por exemplo,
.., HomA1gCom, {k[X1 1 , Xl2> X21, X22]/(l - {X11X22 - X12X21)).
Tambm ., representvel na categoria AlgComk: neste caso adicionada
uma varivel extra T ao conjunto {
Xi
i} de variveis, e vale
.,.,= HomA1gCom, {k[{X;;} , T]/{l - Tdet(X;;))
, A
).
Tambm as condies que defnem os outros grupos clssicos podem ser expressas
funtorialmente: os grupos ortogonais, por exemplo, so grupos dados por matrizes
.que satisfazem ..

I, que uma condio polinomial nas entradas de A.


ofato de grupos clssicos serem dados por funtores representveis se traduz
dizendo que estes objetos que os representam so co-objetos de Hopf da categoria
AlgComk (ver (A.6)). A categoria AlgComk completa e cocompleta, o co
produto de .e B sendo dado pelo produto tensorial .! B. Um co-objeto de
Hopf uma lgebra .comutativa sobre k, para a qual existem os morfsmos em
AlgComk dados por
c: A A < A,
dito co-multiplicao,
C . . k,
dito co-unidade ou aumentao,
e
. .
dito .antpoda. Estes dados esto submetidos aos axiomas que se resumem na
comutatividade dos diagramas
i
d01
A@A@A .-.
. -. ? .
5.1. .-.c.
_
.
que garante a associatividade do grupo Hom
A1gCom
. k
/< -
' r e
+
que garante que a co-unidade C - / o morfsmo dual da
unidade" (]- .em um grupo .e

(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.

lgebras de Hopf comutativas sobre /formam naturalmente uma categoria


AlgHopfCom; contrariamente ao caso de lgebras de Lie, uma lgebra de Hopf
uma lgebra associativa, e assim existe um funtor de esquecimento
lHopfCom : AlgHopfComk - AlgComk.
(I.3.1)
Uma lgebra objeto de Algk, pode ser vista como um espao vetorial dotado
de morfismos
: < - 1 /-
que fornecem, respectivamente, a multiplicao e a estrutura de lgebra sobre /
Estes morfsmos devem satisfazer as condies usuais, que podem ser expressas
98 -..c5. ..-,..
por comutatividade de diagramas apropriados. No caso de uma lgebra de Hopf
sobre temos morfsmos
. -
--
--
.
- -
/
-

que satisfzem propriedades duais. A subcategoria AlgHopfComCocom de
lgebras de Hopf comutativa e cocomutativas admite assim um processo de dua
lizao natural em que a co-multiplicao de o morfsmo dual da
multiplicao em

a co-unidade o dual da estruturao sobre e assim por


diante.
Exemplos e Exerccios
1. O caso de . ogrupo clssico .visto como funtor representvel,
representado pela lgebra de Hopf comutativa (o co-objeto de Hopf):
,. .

...

..

..


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
.
. . .

2. Mecnica algbrica na categoria AlgHopf., Uma lgebra .objeto de


Algk, um espao vetorial dotado de morfismos
.0 -- . 1 /-- .
Se .tiver dimenso fnita ento o espao vetorial dual ..

./,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 .

.0 .Se .-bi-lgebra ento . a bi-lgebra que tem como


multiplicao o T, e as outras operaes como ..-a bi-lgebra que tem
como co-multiplicao T o ., e as outras operaes como A, e .~
-
-a bi-lge
bra que tem como multiplicao o g como co-multiplicao o ., e as outras
operaes como .odual de uma bi-lgebra tem uma estrutura de bi-lgebra.
5.1. .-.-.c
_
. ias

lgebras de Hopf so bi-lgebras que admitem um antpoda odual de


uma lgebra de Hopf de dimenso finita con
i
antpoda uma lgebra de Hopf
com antpoda a adjunta linear de Em uma lgebra de Hopf H, o antpoda
um morfsmo de bi-lgebras
H ---+ Ho
CD]
-
No sempre verdade que 8
2
=
id; isto se passa exatamente quando para todo
x E H vale
o id) o (x) <(x).l,
que equivalente a exigir que para todo x E H vale
o (id, o (x) <(x).l.
Se H for comutativa, isto , se
0 7 * ,
ou se H for co-comutativa, isto , se
r o ..
=
..,
ento estas condies so satisfeitas.
Estes jogos de contas de vidro prosseguem indefnidamente: para uma lge
bra de Hopf H a bi-lgebra HP "P lgebra de Hopf com multiplicao o T e
co-multiplicao T o , o antpoda S sendo morfsmo de lgebra de Hopf.
A hiptese de dimenso fnita, dua vezes formulada na discusso acima,
necessria. Uma co-lgebra com co-multiplicao traz naturalmente para seu
dual linear s

(c, /,uma estrutura de lgebra atravs da adjunta ' :


(A
0
A)' - A' de , depois da restrio de (A 0 A)' a A' 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 .

e Esta aplicao linear mas


no morfsmo em AlgLiek: ao invs, a identidade de Jacobi mostra que
. , ,,..

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

E .para todo E .ento E .isto , .no ideal de


nenhuma sublgebra de L propriamente contendo 1
5.1. ---..
_
..
105
Por exemplo, nas lgebras de Lie C sln(k) de matrizes n x n de trao nulo
uma sublgebra de Cartan dada pelo conj
u
nto 1 das matrizes n x n diagonais
de trao nulo. Esta sublgebra tem dimenso dim(') " n - 1, e em geral a
dimenso de uma sublgebra de Cartan e C dito o posto de C: este conceito
bem definido, uma vez que a dimenso de uma sublgebra de Cartan um
invariante de C, e de fato todas as sublgebras de Cartan so conjugadas. Se
: simples ento 1, O, e C admite uma decomposio em subespaos
unidimensionais invariantes pela ao de para H E 1:
dita decomposio de Cartan. Por exemplo, nas lgebras de Lie C " sln(k)
de matrizes n x n de trao nulo cada matriz , ::,, com : gera um
espao C
i
na decomposio de Cartan associada a 1 de matrizes diagonais
"
, (., - .X;)E;;.
Em geral uma lgebra de Lie C simples admite uma base C = , c,E C;}
na qual para quaisquer

E C vale que ,pode ser escrito como uma


combinao linear inteira de elementos de C. Bases de C com esta propriedade so
isoladas para classifcar as lgebras simples C, e so chamadas bases de Chevlley.
Dada uma base de Chevalley C = ,c,cC,} de C, a ao de .
nilpotente, e pelo visto acima .,. um automorfismo de C. Defnimos,
para ck, o automorfsmo de C
..,.
e consideramos o grupo C(k) que estes automorfsmos geram em
AutAJgLiek
(C, C).
No exemplo de sln(k) estes automorfsmos so exponenciais de matrizes de
trao nulo, e esto no grupo de Lie Sln(k) associado. Em geral recuperamos em
C(k) um esqueleto do grupo de Lie.
Com efeito, se dada uma lgebra de Lie simples , considerarmos uma base de
Chevalley C de C as relaes satisfeitas pelos elementos .(que decorrem da
constantes estruturais de e em termos da base e, isto , da expresso dos resul
tados , ,em termos da base C
)
se expressam tambm em inteiros
(e, claro, em ck). Por exemplo, vale,
. . = .
e assim por diante.
106 .-..c5. ..-,-.
Isto permite a considerao, em primeiro lugar, de uma "lgebra de Lie intei
ra" Cz, como sendo o grupo abeliano livre gerado por C sobre o qual defnida
uma operao x,:csesscsttesest:t::sque C admitia sobre
C. Se K for agora um corpo qualquer, toma-se o morfsmo nico 1 : Z - K sobre
Lz
e assim se defne uma lgebra de Lie r,com as constantes estruturais vindas
das de J.z atravs de 1. Nesta lgebra possvel defnir automorfsmos "vindos"
de x1 (a) da seguinte forma: a matriz que representa x;(a) tem entradas da forma
/a, onde /E Z inteiro. Se E K ento aplicamos nas entradas desta matriz
a transformao
/
ai e ,(/,,e isto defne um automorfsmo x;(a). O subgrupo
de zt,(r,,r,,gerado por tais elementos x;(a) denotado por r(K). Os ele
mentos xi( ,E .(K) sero exponenciais, estaro ainda em '1grupos de Lie
,,
, que
agora podero ser tomados sobre qualquer corpo, :c/s:es:-ec_s:ts.
No deve ser surpreendente que tomando K um corpo fnito recuperamos
os grupos clssicos fnitos listados em 1. de (1.1). Mais surpreendente so as
"excees" que o teorema de classifcao de lgebras de Lie simples indica: cinco
lgebras, denotadas por G2, F4, E6, E7 e E8, que so lgebras de Lie simples no
sendo lgebras de Lie de grupos clssicos (o subscrito se refere ao posto da lge
bra, isto , a dimenso de qualquer sublgebra de Cartan). Estas lgebras so
ditas excepcionais, e cumprem o mesmo papel dos grupos espordicos no teorema
de classifcao de grupos simples. Mas as lgebras espordicas rgeram grupos
simples fnitos r(r,ditos grupos de Chevalley (que no so grupos espordicos).
4. Estruturao livre. As categorias de lgebras aqui consideradas so todas
categorias concretas, para cada uma existindo funtores de esquecimento para a
categoria Conj. Adjuntos esquerda de funtores de esquecimento so funtores
de estruturao livre.
O funtor de esquecimento
&A1.,
- Conj
tem um adjunto esquerda que a cada conjunto x, objeto de Conj, associa
a lgebra /(x de polinmios em variveis no comutativas indexadas por x.
como espao vetorial sobre / gerado por palavras Xi
1
Xir, que se multiplicam
por concatenao. O funtor de esquecimento
da categoria das lgebras comutativas sobre /tem um adjunto esquerda que a
cada conjunto x,objeto de Conj, associa a lgebra mais usual /xde polinmios
em variveis comutativas indexadas por x
O funtor de esquecimento
&
. Algk - Mon
5.1. sous~u1scsosu1ss~icssmcos 107
que ignora a estrutura aditiva de uma lgebra e s deixa o monide resultante,
objeto de Mon, tem um adjunto esqueria que associa a cada monide M,
objeto de Mon, a lgebra do monide kM, com a multiplicao
: m@n ..mn
dependendo da operao de M e sendo comutativa exatamente quando M o
for. Esta lgebra /Mtem estrutura de co-lgebra, co-comutativa sempre, com
co-multiplicao e co-unidade dadas por
e < . mri.
Esta co-operaes indempendem da operao de M, e como co-lgebra, objeto
em CoAlg., /M= /xpode ser defnida para qualquer conjunto M = x,objeto
em Conj. ce:e,:: a construo de /x no defne adjunto, esquerda
ou direita, do funtor de esquecimento

,,
.
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

so autovetores de H com autovalores distintos. Como o mdulo tem


dimenso fnita, eventualmente acontece que x

= O mas x
i
+l
O, e neste
caso x

vetor de peso mximo. Destas relaes ainda se deduz, para vetor


de peso mximo com peso
.1
n
:

(. -
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

5.2. crurosqu/u1kos 111


5.2 Grupos Qunticos
5. 2. 1 O Plano Quntico, as Matrizes Qunticas e os Gru
pos Qunticos
A primeira seo deste trabalho terminou num impasse: disputando prioridade
sobre o estudo dos grupos clssicos, os algebristas chamaram ateno que estes
grupos eram funtores AlgComk -- Grp (uma terminologia francesa original era
Euntores em grupos; depois foi acatada a denominao esquemas afns de grupo).
Estes funtores eram representveis, e tudo a ser feito com eles podia ser feito
1
conforme Yoneda dizia, com os objetos que tS representavam. Ora, estes objetos
eram lgebras de Hopf comutativas sobre /,e a categoria AlgHopfComk ganhou
fama e fortuna entre os algebristas.
Os gemetras, por outro lado, viam os grupos clssicos como grupos de Lie,
eram levados a estudar suas lgebras de Lie correspondentes e, para fugir da no
associatividade, passavam lgebras envolventes, tendo aplicado o funtor com
posto nr. GrpLie Algk. Ora, as lgebras onde caram eram naturalmente
lgebras de Hopf sobre /no comutativas, mas co-comutativas.
Salomonicamente, a teoria de grupos qunticos postula que a categoria a
estudar AlgHopfk, a categoria das lgebras de Hopf no {necessariamente)
comutativas nem
.
co-comutativas. A motivao veio do fato de os fsicos terem
que trabalhar com relaes de comutao exticas, o que os levaram a postular o
plano quntico, a ser defnido a seguir.
O plano comum ~

,para ~uma lgebra comutativa sobre /,pode ser visto


como o funtor representvel AlgComk - Conj representado pela lgebra de
polinmios em duas variveis comutativas /x,,x

. a cada par ordenado (,:,


associado o nico morfismo em HomAigComk (/-,,~,satisfazendo x i ,i
: Incidentalmente, o grupo abeliano subjacente a ~

torna /-, co-objeto


de Hopf em AlgComk, ou seja, uma lgebra de Hopf comutativa, com a co
multiplicao dada por
: x rx 0 1 + 1 0 x
- ; i + i ;.
112 c~ri1uio5. crurosqu~u1icos
O golpe de estado que os fsicos tramaram foi considerar o plano quntico
baseado no anel de polinmios em duas variveis no-comutativas, denotado por
k{
x, y
}
,
e nele tomar o ideal bilateral I, gerado pelo elemento
yx
-
qxy,
(II.1.1)
para
q
um elemento no nulo do corpo de constantes k. O parmetro q vai
funcionar como um parmetro de deformao; devemos voltar a obter a situao
comutativa "clssica" no caso q 1. O plano quntico defnido pela lgebra
quociente
k
,[x,y] :=
k{
x, y}/I,,
que no comutativa se q = i
terminologia adotada confunde o plano quntico com a lgebra que o re
presenta. Para uma lgebra ~,objeto de Alg., elementos do conjunto
esto em bijeo com pares ordenados (a, b) que satisfazem ab qba, e so ditos
pontos do piano quntico defnidos sobre ~
lgebra k
,
[
x, y
] noetheriana, naturalmente graduada, no tem divisores
de zero e tem o conjunto de monmios
{
x
'
y
i
,:, ,_}
como base do espao vetorial subjacente; para provar isto usada a relao
Outro plano quntico usado em supergeometria definido pela lgebra
,
k[
x, y] :=
k
{x
, y}/
(
x',y',xy
+
qyx
)
.
O ideal desta segunda lgebra sendo tambm homogneo,
,
k[
x, y
] tambm noe
theriana e graduada, e o espao vetorial subjacente admite a seguinte base
{x'
y
i
, _ :, , i}.
No se pode mais confar que as '1matrizes
11
que vo agir no plano quntico sejam
simplesmente os endomorfsmos do plano em alguma categoria: preciso defnir
as matrizes relevantes da mesma forma como foi defnido o plano, por deformao,
e ento defnir tambm a ao.
No que se segue assumido q4 = i
5
.
2. ciurosqu/u1icos
113
Na situao clssica o conjunto das matrizes ,com coefcientes em uma
lgebra comutativa ~ identifcado com
Hom
AlgCom, (/,:,c,c,~,
Da mesma forma, no plano quntico /-,em que vale a relao (II.1.1) -=
,-os produtos matriciais
e ,= ,
referentes ao produto por esquerda e direita, as relaes -=,-
e -=,-so equivalentes relaes
:=,
-

:,
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- ,
-

:c= c- ,:cE M,{2). (11.1.3)


De
det,a = (c- ,

:c, (c- ,:c," adet,


segue que detq comuta com , e da mesma forma, detq comuta com todas os
geradores, e det, est assim no centro de M,(2). odeterminante quntico se
defne tambm para um ponto )de M,{2) defnido sobre uma lgebra A por
det,(f) )(,)(c,- ,
-
)(:,)(c, Se ), ,so pontos de M,(2) defnidos sobre
uma lgebra A tais que )(, , )(:,, )(c, , )(c,comutam com ,(,, ,(:, , ,(c,, ,(c,
ento o produto
)(, )(:,,(, ,(:,
)(c, )(c, ,(c, ,(c,
um ponto ),de M,{2) defnido sobre A, e neste caso det,(f) det,{g) =
+-:,(),,E A
.
Em M,(2) defnida uma co-multiplicao ce uma co-unidade ' que gene
ralizam o caso comutativo:
e
Com estas operaes
c - ; + : ;c
: ;: +: ;c
e - c ; +c ;c
c c ; : + c ; c,
C . , c 1, e c:,e >-
D(det,) " det, ;det,, e <(det,) 1.
Podemos agora defnir
(Gl
2
), M,(2)[t]/(tdet, - :,,
5.2. crurosqu/u:icos
115
e
(s/
:
, M,(2)/(det - 1).
Para uma lgebra ~um ponto de (c/
:
,,ou de (s/
:
,,defnido sobre ~ um
elemento do conjunto
para c,= (c/
:
,,ou c, (s/
:
,

Os grupos qunticos c,so objetos de Hopf em Alg., ou seja, so lgebras de


Hopf com o antpoda defnido matricialmente por
s(,
:
. ,
s(.,

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 ,

.,definido sobre ~ Quando q tende a 1, l,


tende para a derivada usual.
ii c~r:uio5. crurosqu/u:icos
5. 2. 2 A lgebra Envolvente
No que se segue /C ser uma hiptese simplifcadora (sem ser trivializante).
Defnimos a lgebra ,.como sendo a lgebra (associativa) gerada pelos
smbolos
...

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.....
.
.

Cotejando estas relaes com as relaes de definio de


.(listadas em 1.
de (1.4)), fica claro que existe em epimorfismo em Algk
.

.
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 = +,

Como no caso clssico segue que se o mdulo for simples ento


mdulo de peso mximo de dimenso :+ 11 e estes mdulos so denotados por
V

, onde o sinal dado por = +,

Tambm [_,

base de V_

, e a
ao de K diagonal com i + :autovalores distintos +,

,+,

, , +,

,+,

(com sinais combinando: ou todos + ou todos -) . Quaisquer dois vetores de


peso mximo diferem por uma constante multiplicativa. Finalmente, qualquer
mdulo simples de dimenso fnita sobre n(s/
:
, um mdulo de peso mximo, e
dois destes no so isomorfos. Assim, para cada dimenso :existem exatamente
c:smdulos simples sobre n (s/
:
,no isomorfos v,

,
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,
,,

Para cada par (),,,E s(x,:,X s(:,z,temos 1(,),-:(,,


:(),
Um funtor tal como defnido acima vezes qualifcado de c:::e, para
distinguir da definio afim de funtor c:::::eentre duas categorias e e
D, qnr: especificao, para cada objeto xde C, de um objeto .r(x,de D
e, para cada par
,
x,:,de objetos de C, de uma aplicao de s(x,:,em
s,(1(:,,J(x,,,denotada por )-:(), Estes dados esto sujeitos aos
axiomas (A.1.3) e
5.2. GRUPOS QUNTICOS 123
Para cada par (f, ,,E s(x,:,x s(:,z,temos =(,-,= =(, -
=(,,.
A contravarincia -um artifcio conveniente de notao, mas formalmente desne
cessrio: dada uma categoria C, denotamos por CP a categoria que tem os
mesmos objetos de C e para a qual um morfsmo de xem :-um morfmo de
C de :para x
s..(x,:,* s(:, x,.
Assim, um funtor contravariante de C para b-um funtor covariante de CP
para b.
Dados dois funtores =e g entre as categorias C e b uma :-s:,:
::/f entre
:
e , denotada P = g, -a especificao, para cada objeto
x de C, de um elemento "
X
E s,(=(x,,,(x,,. Este dado -sujeito ao
seguinte axioma
Para cada elemento E s,(x,:,temos ,(,o 1x * 1y -=(,.
Este axioma se representa grafcamente pela comutatividade do qt.adrado de
naturalidade (escrito em b,
.=(x, ,(x,
:
(
f
) .
:(:, ,(:,
Categorias, funtores e transformaes naturais formam o contexto natural de
trabalho do que faremos a seguir. Os objetos comumente estudados em lgebra
e Topologia naturalmente se constituem em categoria: por exemplo, a cate
goria dos grupos, denotada por Grp, tem por objetos grupos e por morfsmos
homomorfsmos de grupos, e analogamente para a categoria dos aneis, denotada
por An, para a categoria dos mdulos esquerda sobre um anel A, denotada
por AMod, para a categoria Top que tem por objetos espaos topolgicos e por
morfismos funes contnuas, e assim por diante. Os objetos destas categorias
so conjuntos dotados de uma estrutura adicional (de grupo, espao topolgico,
etc) e os morfsmos so as funes entre os objetos que preservam esta estrutura
adicional. Estas categorias so chamadas c:e,::scc:e:s,e se caracterizam
pela existncia de um funtor fel E C - Conj, onde Conj -a categoria que
tem por objetos, conjuntos, e por morfismos, funes, e E -dito )::cees,e
c:e:, que associa a cada objeto de C o conjunto subjacente sobre o qual -
construida a estrutura adicional. (Um funtor -)e/se for injetor err1 cada conjunto
de morfsmos e -,/ese for sobrejetor nestes conjuntos).
124 CAPTULO 5. GRUPOS QUNTICOS
H tambm funtores de esquecimento como An - Grp, que esquece a estru
tura multiplicativa dos anis, AMod - Grp, e assim por diante.
Dadas duas transformaes naturais : 1,e ' : p1 de funtores
1,pe 1 de C em D, podemos considerar as composta a nvel de cada objeto X
de C: (,,* Wx"X

Assim, as transformaes naturais entre funtores de e
em D se compem, e esta composio obedece aos axiomas {A.1.1) e {A.1.2), de
maneira que transformaes naturais so morfismos de uma categoria denotada
por D
e
cujos objetos so funtores de C em D.
Dado um morfsmo )E sc(X, Y), se existir ,E s(Y, X) com ,)=
:c, (resp., ), = :c,, ento , dito :e:s es,e:c (resp., :e-s
c:-e:t, de ) Se )tiver simultaneamente inversa esquerda e direita ento
) dito :e:ste/,ou um :s:s. Os morfsmos de Conj que tem inversa
esquerda so as funes injetoras, os que tem inversas direita so as funes
sobrejetoras e os inversveis so as funes bijetoras, mas mesmo em categorias
concretas, to prximas de Conj1 um morfsmo pode ser dado por uma funo
injetora sem que tenha uma inversa esquerda: por exemplo, a incluso Z --t Q
em Anud, a categoria dos anis com unidade (morfsmos devem respeitar esta
condio e levar unidades em unidades). Dois elementos X e Y de C para os
quais existe )E Hc(X, Y) inversvel so ditos :s:)s. Assim, dois objetos
de Conj so isomorfos se e s se tiverem a mesma cardinalidade. Se C e D
so categorias e 1: C --t D e p: D --t C funtores satisfazendo 1,~ :c,e
: :c
,,
isomorfsmos naturais em D

e O
,
,respectivamente, ento : ou p
so chamados de e,:/ec:scecte,-:s. Uma equivalncia de categorias :
como acima necessariamente um funtor pleno e fel, e alm disso todo objeto
de D isomorfo a um objeto da frma 1(C).
Dado um morfsmo )E s(x,Y), se para quaisquer ,,|E s(Z, X)
a equao ),* )|implicar ,= |ento ) um :s- este
ser certamente o caso se f tiver uma inversa esquerda. Dualmente, se para
quaisquer ,,|E sc(Y, Z) a equao ,)* |)implicar ,~ h ento )
um e,::s-este ser certamente o caso se )tiver uma inversa direita.
Em Conj todo monomorfsmo uma injeo que tem uma inversa esquerdaj
tambm, todo epimorfsmo uma sobrejeo que tem uma inversa direita, mas
para ver isto necessrio o uso do aioma da escolha. Na categoria de anis An
a incluso Z --t Q um epimorfsmo.
Dados dois monomorfsmos ): Y -- X e , : Z --t X, dizemos que ) e ,
quando existir |: Y - Z, necessariamente um monomorfsmo, tal que )~ , |.
Esta relao s no uma ordem parcial por falha da anti-simetria, mas, como
usual nestes casos, podemos passar ao quociente pela relao de equivalncia
que identifca ) e ,e ,e )para obter uma ordem parcial no conjunto quo
ciente, denotado por Suba (X); um elemento deste conjunto quociente dito um
s::,et
5.2. GRUPOS QUNTIOS 125
A.2. O lema de Yoneda. Um objeto xde uma categoria C defne naturalmen-
te um funtor covariante s(x,,e um funtor contravariante s( , x,de
C para Conj da seguinte maneira. A cada objeto :de C o fntor s(x,, as
socia o conjunto s(x,:,e o funtor s( , x,associa o conjunto s(:,x,,
e a cada morfismo E s(:,z, o funtor s(x,, associa a funo
s(x,), s(x,:, - s(x,z, obtida por g r g e o funtor
s( , x,associa a funo s(,x, s(z,x,- s(:,x, obti-
da por g r g j. Um funtor : C - Conj -:e,:ese:e/se fr essencialmente
obtido assim, isto -, se existir um objeto xem C e transformaes naturais
s(x, , :e , : s(x, , tais que para cada objeto
:em C as composies ,,o , e +,,,sejam identidades. Dois funtores
para os quais existe este par de transformaes naturais so ditos naturalmente
isomorfos. H uma defnio dual para um funtor contravariante representvel.
Dados um funtor .r+ C - Conj e um objeto xem C, uma transformao
natural .. s(x,,.r - inteiramente descrita pela ao de em :c,
com efeito, para todo objeto :em C temos que para E s(x,:,vale a
igualdade
+,s (x,),=r(, (A.2.1)
de funes s(x,x,- :(:,.Aplicando esta fno em :ctemos
, s(x, ), (: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

, X - {O, 1}, defnida por

,(-,= 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

Uma categoria dita c,/e: (resp. , cc,/e:,se tiver todos os limites


(resp. , todos os colimites). A este respeito temos o
Teorema sobre a Existncia de Limites. A categoria C completa se e s
se tiver produtos e equalizadores.
A prova mostra como construir o limite de um funtor arbitrrio :F : J - C a
partir de produtos e de equalizadores. Para isso em C consideramos o produto
P dos objetos :( :,para cada objeto :de J, e o produto Q dos objetos :(j)
para cada morfismo u . :- j em J. Assim, para cada objeto :de J temos uma
projeo p; : P - :( :,e para cada morfsmo u . :- j de J temos uma projeo
qu . Q - :F(j). Pela universalidade do produto Q existe um nico morfismo
f : P - Q com :(u) op; " quo
f
e um nico morfsmo g : P - Q comp;
" qu og
para cada objeto :e cada morfsmo u . :- j de J. O limite Lim : ento pode
ser construido como o equalizador de
f e g. Um esquema mnemnico para esta
prova o seguinte: para : . J - e o Lim . o equalizador de /, g . I
;
:F(j) -
I
u
,Hi'
:(j'), onde o primeiro produto tomado sobre os objetos j de J e o
segundo sobre os morfsmos u : j - j' de J e, se @ : fi
u
:(j') - :F(j') denota a
projeo cannica, ento 7u o
f
= 7u o g.
Vale um enunciado dual para colimites
1
que podem ser construidos atravs de
coprodutos e coequalizadores. Em Conj, por exemplo,
Colim : = l;:F(j) /E (A.3.1)
onde E a relao de equivalncia no coproduto (isto , a reunio disjunta)
dada colocando
x E F(j) equivalente a x' E :(j') exatamente quando existirem
u : j - /e u' : j' - /,morfsmos em J, com :(u)(x) = :F(u')(x' )
.
A categoria Conj completa, e, pelo visto acima, tambm as categorias
Conj
c
.
5
.
2. GRUPOS QUNTICOS 129
A.4. Funtores aduntos. Dado um funtor .rentre duas categorias C e D, diz
se que .r,-ese-/::tesse para cada limite Lim C em C tivermos :(Lim C) =
Lim(: o C). O estudo sobre a preservao de limites em funtores nos leva ao
conceito mais importante da teoria de categorias: Um funtor .r C - D -
c,t es,e-cde um funtor ,: D - C se para cada par de objetos cem
C e uem D existir uma bijeo (escrita em Conj)
<c,
n
: s,((c,,u,
-
s(c,,(u,,, (A.4.1)
natural em C e u Para designar a adjuno descrita acima usaremos a notao
.rC t-D : ,,
onde o adjunto esquerda escrito esquerda.
Grande nmero de situaes familiares so exemplos de adjunes. A pro
priedade que caracteriza o produto tensorial de mdulos sobre um anel A pode
ser escrita como a existncia de uma bijeo natural
Isto equivalente a dizer que o funtor s

_,,(v,) representado por v


adjunto direita do funtor 0A V : AMod - AMod.
Na definio de funtor adjunto a naturalidade (em C) de
<
deve ser entendida
da seguinte maneira: dados objetos ce c
'
em C e ) E s(c,c, vale a
equao escrita em s,(c',,(u,,
'c,n
(u o .r(),,=
<c,n
(u) o )
para todo E s,(.r(c,,u, Este raciocnio se representa graficamente pelo
diagrama comutativo (escrito em Conj)
s,(r(c',,u,
s(c,,(u,,
s,(.r(),,u,l
l
s(),,(u,,
s,(r(c,,u, s(c,,(u,,
Uma equao anloga para naturalidade em
upode ser analogamente explicitada.
Um Teorema importante garante que um funtor adjunto esquerda preserva
colimites:
Teorema da Preservao de Limites. Valem a seguintes situaes em que
limites so preservados.
130 CAPTULO 5. GRUPOS QUNTICOS
1. Se :F : C - D tem adjunto esquerda (resp., direita) e C J - C tem
um JmiteLim C (resp., um colimiteColim C) em C ento :F(LimC) Lim(:FoC)
(resp., :(Colim C) " Colim(:F o C)).
2. Funtores representveis preservam limites: se e objeto de uma categoria
C ento o fntor representvel s( C, ) - Conj tal que, se C : J - C tem
um limite Lim C ento s(c,Lim C) " Lim (s(c,) o C).
3. Limites comutam com limites (e colimites comutam com colimites), isto
, se o funtor : for defnido por limites ento vale :F(Lim C) = Lim(: o C).
Formalmente isto signifca que se :F : 1 x J --C for funtor em A e em J e se exis
tirem os limites Lim1 :F( , j), LimJ :F( :, ) e Lim1 LimJ :F, ento Lim1 LimJ : =
LimJ Lim1 :F
1
e analogamente para colimites.
4. Colimites no comutam necessariamente com limites - ao invs disto
temos um. morfsmo natural : ColimJ Lim1 :F - Lim1 ColimJ :F, que nem
sempre isomorfsmo. No caso de um funtor :F : 1 x J - Conj uma condio
sufciente para termos P isomorfsmo a categoria 1 ser fnita e a categoria J no
ser vazia e satisfazer
4.i Para quaisquer objetos j, j' de J temos um objeto k de J e morfsmos
j - k e j' - k.
4.ii Para quaisquer morfsmos paralelos u, v : j . j' existe um morfsmo
w : j' - /com w o u = w o v.
Uma categoria safsfzendo as condies em 4. dita /t-c
Para provar 1. suponhamos, por exemplo
1
que : : C - D tem adjunto
direita g : D - C, tomamos o objeto :F(Colim C) em D e mostremos que ele
satisfaz propriedade universal de colimite para :F o C. Para isso consideremos
um objeto oem D tal que para cada objeto i de J tenhamos especifcado um
morfsmo u; : :F o C( :,- oem D tal que para cada morfsmo f : i - j em J
tenhamos u; o (:F o C(J)) = 1. Aplicando a bijeo
'
c
(
i),D dada pela adjuno
ao morfsmo u; obtemos
'<(i)
,
v(u;) E s(r(:,,,(o,,,e a naturalidade de c
nos objetos de C garante que 'c(;),D(u;) oC(J) = '<(i
),
v(u;) para cada morfsmo
f : i - j em J. Pela universalidade de Colim C existe um nico morfsmo v :
Colim e - ,(o,ao qual aplicamos
'
c!
J
im
C
,
Q
(D
)
obtendo um morfsmo c-
1
(
v
)
:
:F(Colim C) - oem D. Este morfsmo satisfz as propriedades de comutao
apropriadas e nico por naturalidade.
Para provar 2. aplicamos o funtor s(c,) em _ Lime - C(i), obtendo
morfsmos s(c,g) : s(c,Lim C) - s(c,C(:)) por composio.
Para mostrar a universalidade de s(c,Lim C) tomamos um outro objeto
X em Conj com morfsmos T; : X - s(c,C(i)), para cada objeto i de J,
satisfazendo as propriedades necessrias de comutao. Cada elemento x de X
frnece um morfsmo T;(x) : e - C(i) em e, tambm satisfzendo estas comu
taes necessrias. Por universalidade do limite Lim C, existe um nico morfsmo
5.2. crurosqu/u1icos
131
h, : e - Lim e com l; o h, = T;(x). Defnimos ento h : X - Homc(C, Lim C)
por k(x) = hx, e k -a nica definio possvel com Homc(C1 vi)ok
=
Ti, provando
a universalidade.
Para provar 3. construimos, para cada objeto i de 1 e cada objeto j de J, o
diagrama escrito em e
F(i,j) ?! Lim1 F(,j)
,;
'

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

i so dados pelas construes dos colimites ColimJ e ColimJ Lim1


1
respectivamente, e os morfsmos Vi
j
e Vi so dados pelas construes dos limites
132 c~ri1uio5. crurosqu/u1icos
Lim1 e Limr ColimJ
1
respectivamente. Como, para cada objeto j de J, o mor
fsmo composto
ij
o
Vi
i natural em :, temos que a universalidade do limite
Lim1 Colim, :F frnece um nico morfismo a; - Lim1 :F( , j) - Lim1 Colim :
Esta construo natural em j, e por universalidade do colimite ColimJ Lim1 :
temos um nico morfsmo : ColimJ Lim1 : - Limr ColimJ :.
Suponhamos agora J filtrada. Um elemento x do limite Lim1 Colim, :F
caracterizado, como todo elemento de um objeto de Conj, por um morfsmo
x0 - ( - Lim1 Colim, :F. Para cada objeto : de 1 tomamos a composta
x; : (] =Lim1 Colim, : - Colim, :F(i, ), que um elemento do colimite
ColimJ :F( :, ). Por defnio de limite, para um morfsmo u - :- i' em I devemos
ter Colim, :F(u, ) (x;) = x.,, como elementos em Colim, :F(i', ). Recordando
a construo de colimites em Conj (A.3.1) vemos que este elemento pode ser
representado por um elemento X
i
de :F( :,j), para algum j, sujeito equivalncia
descrita em (A.3). Por 4.i, a igualdade destes elementos em Colim, :F(i, ) pode
ser testada em um mesmo conjunto :F( :,j'), e por 4.ii esta igualdade pode ser
testada pela aplicao de um morfsmo j' - k de J. Como I fnito, este ele
mento x de Lim1 Colim, : pode ser representado por um elemento i; em :F( :,k)
que obedece, para cada morfismo u : :=:em 1, t:/ce-, = :F(u, k)(i;). Por
defnio, este um elemento do Lim1 :F(, k). Tomando a imagem deste elemen
to em Colim, Lim1 :F, temos um aplicao Lim1 Colim, :F =Colim, Lim1 :F
bem defnida e natural, e inversa do morfismo acima. O funtor de esquecimento
E : Grp - Conj tem um adjunto esquerda : - Conj - Grp que associa a
cada conjunto X o grupo livre :F(X) gerado por X; o funtor E adjunto direita
de :F e logo preserva limites: isto explica porque o produto de grupos construido
sobre o produto cartesiano dos conjuntos subjacentes aos grupos. No entanto, o
objeto inicial de Grp o grupo trivial (s a identidade como elemento; tambm
objeto fnal em Grp), e fazendo o funtor de esquecimento agir neste objeto no
obtemos o objeto inicial de Conj (que o conjunto vazio). Isto mostra que E
no preserva colimites, e portanto no tem funtor adjunto direita.
O funtor de esquecimento E : Top - Conj tem um adjunto esquerda
' : Conj - Top que associa a cada conjunto X o espao topolgico dado pela
topologia discreta em X (tudo aberto), e tem um adjunto direita g : Conj -
Top que associa a cada conjunto X o espao topolgico dado pela topologia
grosseira em X (s X e 0 abertos). Isto explica porque E preserva limites e
colimites de Top: a topologia produto construida sobre o produto cartesiano
dos conjuntos subjacentes aos espaos, e a soma topolgica construida sobre a
soma (i.e.
1
a unio disjunta) dos conjuntos subjacentes. Assim, tambm como
Conj, a categoria Top completa e cocompleta.
Adjunes s vezes se manifestam sem a interferncia dos conjuntos de mor
fsmos, por exemplo, das seguintes maneiras. Podemos em (A.4.1), maneira
de Yoneda, avaliar a bijeo 'c,:(G) na identidade :c,
,

,
,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

em Di:fdesta funo suave dita um


c
apo vetorial.
Um campo vetorial pode ser escrito
X : M
--
u(M,
> (,,,(,,, onde

(,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(,,

Fixando agora E M e E u(M),o valor u(),,(,E u(R)J


,,,= R um
nmero real, e a associao )f u(),,(,defne uma aplicao
x
,,,,, : Homn1r(M, R) - R
)M u(),,(,.
A regra de Leibniz se escreve
ou seja, x
,
m,,
)
uma derivao da lgebra Homnur(M, R). A associao (,, t
x,,,,identifca o fbrado tangente -como a lgebra de derivaes de Homnur(M, R,
Alguns tratamentos defnem assim o fbrado tangente (por exemplo, a Dado
um campo vetorial

E Vect(M) defnimos uma transformao linear


,.
Homnur(M,R) - Homn1r(M,R)
por )
, ,.
(),M - R
m
f
u(),,(
,
(,,
A regra de Leibniz assume ento a forma
.
(),,= ). (,,
s

.
(),,
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?