Documente Academic
Documente Profesional
Documente Cultură
MESTRADO EM MATEMATICA
MARCIO
ROSTIROLLA ADAMES
Os invariantes de Perelman e
Yamabe
Florianopolis - SC
Janeiro - 2008
MESTRADO EM MATEMATICA
MARCIO
ROSTIROLLA ADAMES
Os invariantes de Perelman e
Yamabe
Dissertacao de Mestrado apresentada ao curso
Mestrado em Matematica - Habilitacao Honors Magister
Departamento de Matematica
Centro de Ciencias Fsicas Matematicas
Universidade Federal de Santa Catarina
Florianopolis - SC
Janeiro - 2008
Agradecimentos
Gracas ao Bom Senhor que me ajudou em muitos momentos neste trabalho, devido a Ele completei esta dissertac
ao. Louvado seja o nome do Senhor.
A Jhuliane pelo carinho e a compreens
ao, nas noites e finais de semana
que fiquei pesquisando e estudando.
Agradeco aos meus pais Vitor e Yara pela oportunidade de me dedicar
aos meus estudos e apoio e incentivo em tudo o que faco, a minha vo Elca
por tambem me apoiar e incentivar.
Agradeco ao meu orientador, o professor Celso M. Doria, pela paciencia
quando mudamos o assunto do trabalho e por estar disponvel sempre que
precisei.
Agradeco aos professores do Departamento que, apesar de nao ter participac
ao direta na pesquisa, me ajudaram em algumas d
uvidas que tive pelo
caminho: Ivan, Eliezer, Ruy Charao, Luciano, Marcelo.
Agradeco ao professor Fernando Cod
a Marques que, apesar de nao me
conhecer pessoalmente, respondeu os emails que lhe enviei e sua ajuda foi de
grande valia.
Agradeco a todos os colegas do mestrado pois sempre que lhes perguntei
algo tentaram me ajudar, especialmente ao Felipe Vieira pois pensamos juntos
em varias questoes e ao Conrado D. Lacerda pelo excelente trabalho sobre
distribuic
oes.
Agradeco a CAPES pelo patrocinio que deu a este trabalho, sem o qual
seria impossvel completa-lo.
Resumo
Definimos o Laplaciano e a Curvatura Escalar sobre uma variedade M
e os invariantes de Yamabe e de Perelman. Provamos que eles sao iguais
quando o primeiro e nao positivo e que o Invariante de Perelman e igual a
+ quando o invariate de Yamabe e positivo.
Abstract
We define the Laplacian and the Scalar Curvature of a manifold M and
the invariants of Yamabe and Perelman. We prove that they are equal when
the first is non-positive and that Perelmans invariant is equal to + when
the Yamabe invariant is positive.
Sum
ario
Introduc
ao
1 Curvatura Escalar
10
1.1 A conexao de Levi-Civita . . . . . . . . . . . . . . . . . . . . . 10
1.2 Curvaturas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2 O Laplaciano
2.1 Espacos e produtos internos sobre M . . . .
2.2 O divergente, o gradiente e o Laplaciano . .
2.3 Generalizando o Laplaciano . . . . . . . . .
2.3.1 Integracao `a Lebesgue em Variedades
3 Os
3.1
3.2
3.3
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
29
29
33
44
44
invariantes
49
Invariante de Perelman . . . . . . . . . . . . . . . . . . . . . . 49
Problema de Yamabe . . . . . . . . . . . . . . . . . . . . . . . 57
A igualdade entre os invariantes . . . . . . . . . . . . . . . . . 71
4 Anexo
74
Introduc
ao
O estudo da geometria e muito antigo. Desde os primordios a tarefa
de medir comprimentos, areas e volumes tem importancia pratica nas mais
diversas atividades humanas, desde a agricultura ate a fabricacao de vestes.
Os elementos de Euclides, que tem mais de 2000 anos, re
unem o conhecimento
geometrico que havia sido construido ate a epoca em que foi escrito. Esse
conhecimento resolvia muitos problemas envolvendo poligonos e crculos, mas
nao todos.
Com o advento do Plano Cartesiano e da Geometria Analtica muitos
dos problemas que resistiam `as ferramentas da Geometria Euclideana foram
resolvidos, mas estas ferramentas sao eficientes apenas no estudo de retas,
crculos e algumas curvas simples.
O Calculo Diferencial e Integral de Newton e Leibniz resolve muitos destes problemas, calculando comprimentos de curvas, areas de superfcies, e
volumes de solidos que possam ser descritos como funcoes. Para tais feitos
utiliza-se o conceito de derivacao: no caso de uma funcao f : Rn R, se
v, p Rn , a derivada de f no ponto p na direcao de v e denotada por dfp (v)
e e dada por
f (p + tv) f (p)
dfp (v) = lim
.
t0
t
Note que precisa-se da estrutura de espaco vetorial de Rn a fim de calcular
f no ponto p + tv.
Considere no entanto o seguinte:
Exemplo 1. Sejam S 2 a superfcie de uma esfera e f : S 2 R a funcao que
descreva a temperatura em cada ponto da superfcie. Dado um vetor v no
plano tangente a S 2 no ponto p qual e a variacao da temperatura em p na
direcao de v?
As ferramentas de calculo nao sao suficientes para resolver tal problema
pois nao sabemos calcular f (p + tv) para nenhum t 6= 0. Pelo mesmo motivo,
as ferramentas do Calculo nao resolvem problemas analogos aos do Exemplo
1 para funcoes definidas em superfcies que nao sejam planas.
7
Em topologia diferencial diz-se que duas variedades sao a mesma se elas sao difeomor-
fas.
E o invariante de Yamabe
Defini
c
ao 0.0.3. Seja M uma variedade diferenciavel fechada de dimensao
n 3. Definimos o invariante de Yamabe (tambem conhecido como sigma
constante) de M como
R
sg dg
Y(M ) = sup Y = sup inf R M
,
(1)
n2
n
g
d
g
M
onde o sup e tomado sobre as classes conformes (trataremos sobre estas
classes mais adiante) e o infimo sobre as todas as metricas na classe conforme
.
O primeiro surgiu em uns artigos de Perelman sobre o fluxo de Ricci ([9] e
[10]) e o segundo em trabalhos de de Kobayashi [6] e Schoen [13] influenciados
pelas ideias de Yamabe de encontrar metricas de curvatura escalar constante.
Assumimos que o leitor tem algum conhecimento sobre variedades diferenciaveis e Geometria Riemanniana, os primeiros 5 captulos de [2] e o
primeiro captulo de [3] contem o que assumimos como ja conhecido pelo
leitor.
No primeiro captulo definimos a curvatura escalar e introduzimos a notacao
para a metrica e outros objetos em coordenadas locais.
No segundo captulo definimos a integracao `a Riemann sobre variedades
e o Laplaciano para funcoes C (M ). Em seguida uma rapida apresentacao
sobre integracao a Lebesgue em variedades, espacos Lp (M ) e teoria das distribuicoes. Por fim generalizamos o Laplaciano para estas funcoes e o escrevemos em termos dos coeficientes de conexao.
No terceiro captulo definimos o invariante de Perelman e damos uma
formula para encontra-lo. Em seguida estudamos um pouco do problema de
Yamabe e definimos o invariante de Yamabe. A u
ltima parte deste trabalho e
baseada no artigo [1] no qual demonstra-se o seguinte fato: Estes invariantes
sao iguais se o invariante de Yamabe e nao positivo e o invariante de Perelman
e igual a + se o invariante de Yamabe e positivo. Este fato e um tanto
surpreendente pois tais invariantes vem de contextos distintos.
Captulo 1
Curvatura Escalar
Nosso objetivo neste captulo e definir a curvatura escalar. Para isso
definiremos uma conexao de Levi-Civita. A primeira secao e baseada no
captulo 2 de [3] e a segunda secao e baseada no captulo 4 de [3].
1.1
A conex
ao de Levi-Civita
Escrevendo X = i ai xi e Y = j bj xj temos
X Y =
ai bj
ij
xi
+
ai i (bj ) j .
j
x
x
x
ij
P
Fazendo i x j = k kij x k (estas funcoes kij sao chamadas de smbolos
x
de Christoffel) temos
!
X X
X Y =
ai bj i j k + X(bk )
.
k
x
ij
k
Assim X Y (p) depende de ai (p), bk (p) e das derivadas X(bk )(p) de bk
segundo X, ou seja, depende apenas do valor do campo X no ponto p, de
uma curva tangente a X no ponto p (pois a derivada X(yk )(p) depende
apenas de uma destas curvas) e do campo Y em uma vizinhanca do ponto p.
Portanto, dados p M , uma curva c(t) : I M que passa por p, um
campo vetorial Xc sobre c e um campo vetorial Y X (M ), faz sentido
escrever Xc Y .
Teorema 1.1.2. Seja M uma variedade diferenci
avel com uma conex
ao afim
. Entao existe uma u
nica correspondencia que associa a um campo vetorial
V ao longo de uma curva diferenci
avel c : I M um outro campo vetorial
DV
ao
longo
de
c
denominado
derivada
covariante de V ao longo de c, tal que,
dt
se V, W sao campos de vetores ao longo de c e f e uma func
ao diferenci
avel
em I, temos:
1.
D
(V
dt
2.
D
(f V
dt
+ W) =
)=
df
V
dt
DV
dt
DW
dt
+ f DV
dt
11
Por 1 e 2 temos
X dv j
X D
DV
=
+
vj
j
dt
dt
x
dt
j
j
Mas
xj
xj
= dc/dt j = P dxi j
j
i dt xi x
dt x
x
X dxi
=
i j ,
dt x x
i
d
dt
X i
X dxi d
X dxi
d
dx
1
1
= d
=
d
=
i
i
dt dx
dt
dx
dt xi
i
i
i
Portanto
X dv j
X dxi
DV
=
+
vj i j .
j
x x
dt
dt x
dt
i
ij
(1.1)
Defini
c
ao 1.1.3. Seja M uma variedade diferenciavel com uma conexao
afim . Um campo vetorial V ao longo de uma curva c : I M e chamado
= 0 para todo t I.
paralelo quando DV
dt
Teorema 1.1.4. Seja M uma variedade diferenci
avel com uma conex
ao afim
. Seja c : I M uma curva diferenci
avel em M e V0 um vetor tangente a
M em c(t0 ), t0 I. Entao existe um u
nico campo de vetores paralelo V ao
longo de c, tal que V (t0 ) = V0 .
12
Demonstra
c
ao: Suponhamos que o teorema foi provado para o caso em
que c(I) esta contido em uma vizinhanca coordenada. Entao, no caso geral,
temos que o segmento c([t0 , t1 ]) M (ou c([t1 , t0 ])) para qualquer t1 I
pode ser coberto por um n
umero finito de vizinhancas coordenadas, em cada
uma das quais V pode ser definido por hipotese. Pela unicidade, as definicoes
coincidem nas intersecoes nao vazias, o que permite definir V para c([t0 , t1 ]).
Deste modo podemos definir V (t) para todo t I. Entao basta mostrarmos o teorema para o caso em que c(I) esta em U , onde (, U ) e uma carta
de M .
(c(t)) = (x1 (t), ..., xn (t)) a expressao local de c(t) e seja V0 =
P Seja
j
j v0 xj (c(t0 )).
Suponhamos que
um V em U que e paralelo ao longo de c com
Pexiste
j
V (t0 ) = V0 . Entao j v xj satisfaz
X dv j
X dxi
DV
j
=
+
v
j
xi xj
dt
dt
x
dt
j
ij
P
Escrevendo i x j na base x j obtemos i x j = k kij x k . Entao obtex
x
mos
(
)
X dv k X dxi
DV
=
+
vj
kij
= 0.
k
dt
dt
dt
x
ij
k
0=
(1.2)
com a condicao inicial v k (t0 ) = v0k . Tal sistema e linear e portanto admite
1
uma u
nica solucao v(t)
(t), ..., v n (t)) que esta definida em todo I.
P= (v
Definindo V (t) = k v k (t) x k , onde v(t) = (v 1 (t), ..., v n (t)) e a solucao da
equacao 1.2, temos que V tem as propriedades desejadas e e o u
nico campo
que as satisfaz.
Defini
c
ao 1.1.5. Seja M uma variedade diferenciavel com uma conexao
afim e uma metrica Riemanianna hh, ii. A conexao e dita compatvel
com a m
etrica hh, ii quando, para toda curva diferenciavel c e quaisquer pares de campos de vetores paralelos P e P 0 ao longo de c, tivermos
hhP (c(t)), P 0 (c(t))ii = k fixo para todo t I.
Teorema 1.1.6. Seja M uma variedade Riemanianna. Uma conex
ao em
M e compatvel com a metrica se, e somente se, para todo par V e W de
campos de vetores ao longo da curva diferenci
avel c : I M tem-se
d
DW
DV
, t I.
(1.3)
hhV, W ii =
,W
+
V,
dt
dt
dt
Demonstra
c
ao: (=) Supomos que vale 1.3 entao, dados campos
0
paralelos P e P ao longo de c temos
d
DP 0
DP 0
0
hhP, P ii =
,P
+
P,
=0
dt
dt
dt
portanto, pelo teorema de existencia e unicidade de EDOs, hhP, P 0 ii = k
constante.
(=) Supomos que e compatvel com a metrica. Escolhamos uma base
ortonormal {P1 (t0 ), ..., Pn (t0 )} de Tc(t0 ) M . Pelo teorema 1.1.4 estendamos
cada um dos vetores Pi (t0 ) ao longo de c. Como e compatvel com a
metrica temos que hhPi (t), Pj (t)ii = ij . Portanto {P1 (t), ..., Pn (t)} e uma
base ortonormal de Tc(t) M para todo t I. Deste modo podemos escrever
X
X
V =
v i Pi ,
W =
wi Pi ,
i
X i
DW
DV
dv i dwi i
,W
+
V,
w +
v
=
dt
dt
dt
dt
i
!
d X i i
d
=
v w = hhV, W ii.
dt
dt
i
14
Corol
ario 1.1.7. Uma conex
ao em uma variedade Riemanniana M e
compatvel com a metrica se e somente se
XhhY, Zii = hhX Y, Zii + hhY, X Zii,
X, Y, Z X (M ).
Demonstra
c
ao: (=) Suponhamos que e compatvel com a metrica.
Seja p M
e
sejam
c : I M uma curva diferenciavel com c(t0 ) = p, t0 I
dc
e com dt t=t0 = X(p). Entao
dc
d
X(p)hhY, Zii =
hhY,
Zii
=
hhY
(c(t)),
Z(c(t))ii
dt t=t0
dt
t=t0
dY
dZ
=
,Z
+
Y,
dt
dt
t=t0
d
DP 0
DP 0
0
hhP (c(t)), P (c(t))ii =
,P
+
P,
= 0.
dt
dt
dt
Como c(t) e uma curva arbitraria temos que hhP, P 0 ii = k fixo, ou seja, a
conexao e compatvel com a metrica.
Podemos pensar,
como no corolario anterior, em um campo vetorial X
P
1
X (M ), X =
a
(x)
i como um operador linear X : C (M ) C(M )
i i
x
P
f
definido por X(f ) =
Pensando assim, dados dois campos
i ai (x) xi .
X, Y X (M ), faz sentido pensar no operador XY , o qual nao e um campo
vetorial.
Contudo, calculando XY Y X numa carta (U , x )
!
X bj f
X
X f
2f
ai i j +
ai bj i j ,
XY f = X
bj j =
x
x x
x x
ij
ij
j
!
X
X f
X ai f
2f
Y Xf = Y
ai bj i j ,
ai i =
bj j i +
x
x x
x x
ij
i
ij
15
assim
X bj
aj f
(XY Y X)(f ) =
ai
.
bi
xi
xi xj
ij
Portanto XY Y X esta unicamente definido em cada carta.
Assim dadas cartas (U , x ) e (U , x ) com U U 6= temos que
(XY Y X)(f ) tem, na intersecao, o mesmo valor em ambas as cartas. Desta
maneira podemos definir um campo vetorial XY Y X globalmente sobre
M . Este campo e dado em coordenadas locais por
X bj
aj f
ai i bi i
(XY Y X)(f ) =
.
x
x xj
ij
Podemos considerar a operacao [, ] : X (M ) X (M ) X (M ) que associa
dois campos vetoriais X e Y ao campo [X, Y ] := XY Y X tal operacao e
chamada colchete, ela e R-linear e [X, Y ] = [Y, X].
Lema 1.1.8 (Identidade de Jacobi). Sejam X, Y, Z campos vetoriais diferenci
aveis em M ent
ao
[[X, Y ], Z] + [[Y, Z], X] + [[Z, X], Y ] = 0
Demonstrac
ao: Calculando diretamente temos
[[X, Y ], Z] + [[Y, Z], X] + [[Z, X], Y ] =[XY Y X, Z] + [Y Z ZY, X]
+ [ZX XZ, Y ]
=XY Z Y XZ ZXY + ZY X + Y ZX
ZY X XY Z + XZY + ZXY
XZY Y ZX + Y XZ = 0
Defini
c
ao 1.1.9. Uma conexao afim em uma variedade diferenciavel M
e dita sim
etrica quando
X Y Y X = [X, Y ] para quaisquer X, Y X (M )
Teorema 1.1.10 (Levi-Civita). Dada uma variedade Riemanianna M ,
existe uma u
nica conex
ao afim em M simetrica e compatvel com a metrica
Riemanianna.
16
Demonstra
c
ao: Suponhamos que tal conexao afim exista. Pelo
corolario do teorema 1.1.6 temos que
XhhY, Zii = hhX Y, Zii + hhY, X Zii,
Y hhZ, Xii = hhY Z, Xii + hhZ, Y Xii,
ZhhX, Y ii = hhZ X, Y ii + hhX, Z Y ii.
(1.4)
(1.5)
(1.6)
17
xi
=
kij k .
j
x
x
k
=
lij glk .
xk l ij xl
l
Denotando zk :=
1
2
g
xi jk
g
xj ki
g
xk ij
podemos escrever
g11 . . . g1n
.. = (z , ..., z ) =
...
(1ij , . . . , nij ) ...
1
n
.
gn1 . . . gnn
g 11 . . . g 1n
.. ,
..
(1ij , . . . , nij ) = (z1 , ..., zn ) ...
.
.
n1
nn
g
... g
onde (g ij ) = (gij )1 portanto
1X
m
ij =
gjk + j gki k gij g km .
2 k
xi
x
x
1.2
(1.8)
Curvaturas
Defini
c
ao 1.2.1. A curvatura R de uma variedade Riemanniana M e
uma correspondencia que associa a cada par X, Y X (M ) uma aplicacao
R(X, Y ) : X (M ) X (M ) dada, para cada Z X (M ), por
R(X, Y )Z = Y X Z X Y Z + [X,Y ] Z,
onde e a conexao Riemanianna de M .
18
Proposic
ao 1.2.2. A curvatura R de uma variedade Riemanianna tem as
seguintes propriedades:
1. R e C -bilinear em X (M ) X (M ), isto e,
R(f X1 + gX2 , Y1 ) = f R(X1 , Y1 ) + gR(X2 , Y1 ),
R(X1 , f Y1 + gY2 ) = f R(X1 , Y1 ) + gR(X1 , Y2 ),
f, g : M R de classe C e X1 , X2 , Y1 , Y2 X (M ).
2. Para todo par X, Y X (M ), o operador curvatura R(X, Y ) : X (M )
X (M ) e C -linear, isto e,
R(X, Y )(Z + W ) = R(X, Y )Z + R(X, Y )W,
R(X, Y )f Z = f R(X, Y )Z,
f : M R de classe C e Z, W X (M ).
Demonstrac
ao: Para o item 1) basta vermos que, para todo Z
X (M ), temos
R(f X1 + gX2 , Y1 )Z =Y1 f X1 +gX2 Z f X1 +gX2 Y1 Z + [f X1 +gX2 ,Y1 ] Z
=Y1 (f X1 Z) + Y1 (gX2 Z) f X1 Y1 Z
gX2 Y1 Z + (f X1 +gX2 )Y1 Y1 (f X1 +gX2 ) Z
=f Y1 X1 Z + Y1 (f )X1 Z + gY1 X2 Z + Y1 (g)X2 Z
f X1 Y1 Z gX2 Y1 Z
(f X1 +gX2 )Y1 (f Y1 X1 +Y1 (f )X1 +gY1 X2 +Y1 (g)X2 ) Z
=f Y1 X1 Z + Y1 (f )X1 Z + gY1 X2 Z + Y1 (g)X2 Z
f X1 Y1 Z gX2 Y1 Z + f X1 Y1 f Y1 X1 Z
+ gX2 Y1 gY1 X2 Z + Y1 (f )X1 Z + Y1 (g)X2 Z
=f Y1 X1 Z f X1 Y1 Z + f X1 Y1 Y1 X1 Z
+ gY1 X2 Z gX2 Y1 Z + gX2 Y1 Y1 X2 Z
+ Y1 (f )X1 Z Y1 (f )X1 Z + Y1 (g)X2 Z Y1 (g)X2 Z
=f R(X1 , Y1 ) + gR(X2 , Y1 ).
Para a segunda igualdade basta notarmos que, para todo Z X (M ),
R(X, Y )Z =Y X Z X Y Z + [X,Y ] Z
= (Y X Z + X Y Z [X,Y ] Z)
R(X, Y )Z = (X Y Z Y X Z + [Y,X] Z) = R(Y, X)Z
19
(1.9)
Proposic
ao 1.2.4. Sejam X, Y, Z, T X (M )
1. hhR(X, Y )Z, T ii + hhR(Y, Z)X, T ii + hhR(Z, X)Y, T ii = 0.
2. hhR(X, Y )Z, T ii = hhR(Y, X)Z, T ii.
3. hhR(X, Y )Z, T ii = hhR(X, Y )T, Zii.
20
l
R
,
=
R
.
ijk
l
xi xj xk
x
l
l
Assim Rijk
sao os coeficientes da curvatura R em uma carta e, dados campos
vetoriais
X
X
X
wk i ,
U=
ui i ,
V =
vj i ,
W =
x
x
x
i
j
k
obtemos
R(X, Y )Z =
l
Rijk
ui v j w k
ijkl
.
xl
, j
= j i k i j k + [ , ] k
R
i
k
x x
x
x
x x
xi xj x
x x x
!
!
X
X
= j
m
i
m
ik
jk
m
x
x
x
xm
m
m
X
X
m
m
=
ik j m +
ik
j
x x
x
xm
m
m
X
X
m
m
jk
jk i m
i
x x
x
xm
m
m
X
X
X
m
l
l
=
ik
jm l +
ik
j
x
x
xl
m
l
l
X
X
X
l
m
l
jk
im l
jk
i
l
x
x
x
m
l
l
22
Portanto
l
Rijk
=
l
m
ik jm
l
m
jk im +
(lik ) i (ljk ).
j
x
x
Tambem denotamos
l
Rijks :=
R
gls ,
, j
, s
=
Rijk
i
k
x x x x
l
portanto
g11 . . . gn1
n
2
1
) ... . . . ... ,
(Rijk1 , Rijk2 , ..., Rijkn ) = (Rijk
, Rijk
, ..., Rijk
g11 . . . gn1
g 11 . . . g n1
1
2
n
(Rijk
, Rijk
, ..., Rijk
) = (Rijk1 , Rijk2 , ..., Rijkn ) ... . . . ... ,
g 11 . . . g n1
X
s
Rijkl g ls .
Rijk
=
l
X
j
Ricp (zj ) =
n X
n1
X
j=1 i=1
23
X
hhR(y, zi )x, zi ii = Q(y, x),
=
i
Dada uma metrica hh, ii precisaremos, muitas vezes, nos referir a matriz G
que a representa a metrica. Por isso usaremos, de agora em diante, a notacao
g(, ) (ou simplesmente g) para a metrica. Denotaremos os coeficientes da
matriz G por gij e os coeficientes de sua inversa por g ij .
24
=
,
g R
,
,
Q
xi xj
xi xl xj xl
l
l
=
Rilj g
,
l xl
x
l
X
X
l
=
Rilj
=
Riljm g ml .
lm
X
m
ij
ijl
P
l
l
Rilj
.
l
m
ik jm
l
m
jk im +
(lik ) i (ljk ).
j
x
x
ij
m l
m l
l
l
sg =
g
ij lm lj im + l (ij ) i (lj ) .
(1.10)
x
x
ijlm
Vamos mostrar que a curvatura escalar e um invariante por ismetrias.
Para isso precisaremos do seguinte resultado:
Teorema 1.2.7. Sejam (M, h) e (N, g) variedades Riemannianas de dimens
ao n, g a conex
ao de Levi-Civita de (N, g) e uma isometria entre
Demonstrac
ao: Seja (Ui , i ) um atlas de M . Entao ((Ui ), i 1 ) e
um atlas de N . As bases dos planos tangentes de M e N sao, respectivamente,
1
1
j
j
= [ i x ] = d[i x ] = d
.
xj
xj
Sejam a, b C (M ) e X, Y, Z X (M ). e uma conexao afim pois
valem as propriedades
aX+bY Z =d1 g(a1 )dX dZ + d1 g(b1 )dY dZ
=a.d1 gdX dZ + b.d1 gdY dZ
=aX Z + bY Z
e
X (Y + Z) =d1 gdX dY + d1 gdX dZ
=X Y + X Z
e
X (aY ) =d1 gdX (a 1 )dY
=d1 [(a 1 )gdX dY + dX(a 1 )dY ]
=a.d1 gdX dY + X(a)Y = aX Y + X(a)Y,
pois, se X =
P
i
ui x i , temos
X
(a 1 )
i
x
i
X
ui (a 1 i1 (xi )1 )(x1 , ..., xi + t, ..., xn )
= lim
dX(a 1 ) =
t0
= lim
t0
ui
26
e simetrica pois, se X =
i ui xi e Y =
P
j
vj x j , temos
[dX, dY ] =dXdY dY dX
1
1
X
1 (vj )
1 (uj )
=
(ui )
(vi )
i
i
x
x
xj
ij
X vj
uj
=
d ui i vi i
= d[X, Y ].
x
x xj
ij
Entao
h(Z, X Y Y X) = g(dZ, dX dY dY dX)
= g(dZ, [dX, dY ]) = g(dZ, d[X, Y ]) = h(Z, [X, Y ]).
e compatvel com a metrica h: Sejam c : I R M uma curva
diferenciavel e i : Ui M Rn um homeomorfismo com c(I) Ui 6= e
(c1 (t), ..., cn (t)) := iP
c para todo t I. Podemos expressar localmente o
campo Y como Y = j v j (t) x j (c(t)) e, pela equacao 1.1, temos
X dci
D(dY ) X d(v j 1 )
1
=
(v j 1 )g
j +
j
dt
dt
dt
x
xi x
i
ij
!
X dv j
X dci
DY
= d
+
v j
= d
.
j
j
dt x
dt
dt
xi x
i
ij
Assim
d
DdX
d
DdY
h(X, Y ) = g(dX, dY ) = g
, dY + g dX,
dt
dt
dt
dt
DX
DY
=h
, Y + g X,
,
dt
dt
deste modo, pelo teorema 1.1.6, a conexao e compatvel com a metrica.
Portanto, pela unicidade da conexao de Levi-Civita, e a conexao de
Levi-Civita de (M, h).
27
Demonstrac
ao: Pelo teorema anterior : X (M ) X (M ) X (M )
,
,
=g R d i , d j d k , d l
h R
xi xj xk xl
x
x
x
x
=g R
, j
, l
i
k
x x x x
(Riljm g ml ) = sg
Riljm
hml =
sh =
ijlm
ijlm
28
Captulo 2
O Laplaciano
2.1
Teorema 2.1.2. A forma de volume dvol = det gdx1 ... dxn independe
das coordenadas locais; ou seja, dadas coordenadas locais e em x temos
p
p
det g()dx1 ... dxn = det g()dy 1 ... dy n
Demonstrac
ao: Dadas as coordenadas locais e definimos, para
cada i {0, ..., n}, as aplicacoes xi : M R como xi := i e y i : M R
como y i := i , onde i e a projecao na i-esima coordenada. Temos entao
que (x) = (x1 (x), ..., xn (x)) e que (x) = (y 1 (x), ..., y n (x)). De modo que
29
X y i
X xk
j
k
dx
e
dx
=
dy l .
j
l
x
y
j
l
...
dxj
j
j
x
x
j
j
X
Y y i
dx1 ... dxn
(i)
x
i
i
p
y
= det g() det
dx1 ... dxn .
xj
det g()
(1)
h
=
=
y i
xl y i
l
Assim
y i
gij () =
xl
l y i xl
, j
i
y y
e:
XX l k
X X xl xk
x x
=
, k =
glk ().
i
j
l
y y
x x
y i y j
l
k
l
k
Portanto, denotando J :=
p
!
X xl
h.
y i xl
l
xi
y j
y i
xj
30
Defini
c
ao 2.1.3. Sejam
(M, g) uma variedade Riemanniana, (Uk , k ) uma
carta de M e = x i a base para T Ui associada a esta carta. Dizemos
que uma funcao f : M R e integr
avel se cada f 1
k : k (Uk ) R for
integravel `a Riemann e definimos a integral de f sobre Uk como
Z
Z
p
1
n
f (x) det(g()) 1
f (x)dvolg =
k dx ...dx .
Uk
k (Uk )
Esta integral esta bem definida pois dadas cartas (Uk , k ) e (Ul , l ) em
=
i
x
n o
f (x)dvol =
Uk Ul
p
1
n
f (x) det(g()) 1
k dx ...dx
Zk (Uk Ul )
=
Z
kl l (Uk Ul )
p
1
n
f (x) det(g()) 1
k dx ...dx
p
1
n
f (x) det(g()) det(J(kl )) 1
l dy ...dy
Zl (Uk Ul )
p
1
n
=
f (x) det(g()) 1
l dy ...dy .
l (Uk Ul )
Uk
Defini
c
ao 2.1.4. Sejam (M, g) uma variedade Riemanniana, {(Ui , i )} um
atlas de M , {ai }1ik uma particao da unidade associada a este atlas e =
{ x i } uma base local para T M . Dizemos que uma funcao f e integravel
se ai f e integravel sobre M para i [1, ...k] e definimos a integral de uma
funcao f : M R sobre M como
Z
f (x)dvolg =
M
k Z
X
i=1
p
ai f (x) det(g())dx1 ... dxn .
M
31
ai f (x)dvolg =
M
k Z X
l
X
i=1
k X
l Z
X
l X
k Z
X
j=1 i=1
l Z
X
j=1
bj ai f (x)dvolg
M
i=1 j=1
bj ai f (x)dvolg
M
bj
M
l Z
X
j=1
bj ai f (x)dvolg
M j=1
k
X
ai f (x)dvolg
i=1
bj f (x)dvolg .
M
Note, que por temos definido a integral usando a particao da unidade faz
sentido escrevermos a integral de um objeto local, como o produto interno
de campos vetoriais em coordenadas locais.
Tambem definimos um produto interno em C (M ) por
Z
hf, hi =
f (x)h(x)dvolg .
M
onde g(X(x), Y (x)) := hhX(x), Y (x)ii. Utilizamos estas duas notacoes du claro que isto define um produto interno.
rante o texto. E
1
Sejam (M ) o conjunto das 1-formas sobre M e o isomorfismo natural
g : X (M ) 1 (M ), dado em cada plano tangente por g (v) = v onde
v (w) = hv, wi para quaisquer v, w TM . Definimos o produto interno de
duas 1-formas v e w como
Z
hv , w i =
g(g1 v (x), g1 w (x))dvolg .
M
P
i
ij
i gij =
0
1
se j 6= k
se j = k
g1 (v )
g1
P
i
g ij x i . Portanto
!
vj dx
vj g1 (dxj ) =
X
ij
P
j
vj g ij
.
xi
v j dxj e w =
(2.1)
P
k
wk dxk
!
Z
X
X
=
g
vj g ij i ,
wk g lk l dvolg
x
x
M
ij
lk
Z X
Z X
=
vj g ij wk g lk gil dvol =
vj g ij wk ik dvolg
hv , w i =
M ijkl
Z X
M
2.2
M ijk
vj g ij wi dvolg .
ij
n
X
2f
4f =
.
(xi )2
i=1
(2.2)
2
Assim, no caso euclidiano, o Laplaciano e dado por (x 1 )2 + ... + (xn )2 .
Queremos definir o operador Laplaciano sobre C (M ). Se o definirmos
como na equacao 2.2 o nosso operador dependera do sistema coordenado
em questao, mas queremos um operador que independa do sistema de coordenadas. Para tal lembremos da equacao classica para o Laplaciano em
Rn :
2
2
+ ... +
= div grad.
(x1 )2
(xn )2
Definiremos os operadores grad : C (M ) X (M ) e div: X (M )
C (M ) em uma variedade Riemanniana de modo que eles independam de
coordenadas locais para, atraves destes, definir o Laplaciano.
Defini
c
ao 2.2.1. Sejam (M, g) uma variedade Riemanniana, d : C (M )
1
(M ) a derivada exterior e g o isomorfismo canonico entre X (M ) e 1 (M ).
O gradiente e o operador grad : C (M ) X (M ) definido por grad :=
g1 d.
Podemos definir o gradiente da mesma maneira em uma variedade diferenciavel (sem matrica) mas colocamos uma variedade Riemanniana na
definicao pois estamos interessados em coordenadas locais.
Teorema 2.2.2. Em coordenadas locais o gradiente e dado por
X
gradf =
g ij i f j ,
i,j
onde j = xj =
xj
e (g ij ) = (gij )1 .
Demonstrac
ao: Dada f C (M ) temos
!
X f
gradf = g1 d(f ) = g1
dxi
i
x
i
!
X f X
X f
g ji j
1 (dxi ) =
=
i g
i
x
x
x
i
j
i
X f
X f
ji
ij
=
g
=
g
.
i
j
i
j
x
x
x
x
ij
ij
34
X1
Xn
+ ... +
x1
xn
e que, dada uma funcao f C0 (Rn ), usando integracao por partes temos
Z X
Z X
Z X
(f.Xi )
hdivX, f i =
i Xi .f =
+
i f.Xi
xi
Rn i
Rn i
Rn i
+
XZ
=
(f.Xi ) dx1 ...dxi1 dxi+1 ...dxn
Rn1
Zi X
Rn
=
Z
Rn
Rn
i f.Xi
i f.Xi
(2.3)
P
Sejam X = i X i i X (M ) e f C0 (M ) e (Ui , i ) um atlas na variedade M com particacao da unidade associada {ai }i=1,...,k . Suponhamos que
exista uma funcao divX satisfazendo a equacao 2.3 . Entao, em coordenadas
locais, temos
35
Z
hX, gradf i =
XZ
XZ
l
al
l (Ul )
l (Ul )
XZ
= hf,
k,j
X i (k f )g kj gij
ijk
al
X
X
p
X i (i f ) det gdx1 ...dxn
X
p
p
1
f
i (X i det g) det gdx1 ...dxn
det g i
X
p
i (X i det g)i
al
l (Ul )
1
det g
p
p
1 X
1 X
i
j
(X
det
g)
=
(Y
det g)
det g i xi
det g j y j
Demonstra
c
ao: Podemos considerar qualquer funcao f : M R como
uma funcao que depende das funcoes xi e y j (analogamente ao que fizemos
no teorema 2.1.2). Notamos entao que
X
i
Xi
X y j
X y j
i
j
=
X
=
Y
=
Xi i
i y j
xi
x
x
ij
i
36
portanto
j
X y j X X i y j X
y
i
i
=
X
=
+
X
j
j
i
j
i
j
y
y
x
y x
y
xi
ij
ij
ij
j X
X X i y j X
y
X i
i
X
+
.
(2.4)
=
=
y j xi
xi y j
xi
ij
ij
i
X Y j
j
k
x
y
elementos e J :=
, temos J 1 :=
da
l
y
xk
!
X
Y y l
X
Y y l
det(J 1 ) = j
=
=
(1)
(1) j
(l)
y j
y
x
y
x(l)
l
l
Y
n
a
n
(i)
(i)
X
XX
Y
y
y
1
=
(1)
=
j
((i))
((i))
a!(n
a)!
y
x
x
i=1
i=a+1
a=1
n
a
n
(i)
(i)
X
XX
Y
Y
1
y
y
=
(1)
= 0,
((i))
j
a!(n a)! i=1 x
y
x((i))
i=a+1
a=1
(2.5)
i
y
pois y
j = ij e, da primeira para a segunda linha, usamos a regra do produto
varias vezes.
37
!
p
X X y j X i p
det g() i
1
=p
det g() +
X =
y j
det g() i j xi y j
X X y j X i p
1
p
det g() det(J 1 )+
=
i
j
1
x
y
det(J ) det g() i j
!
p
1 p
det
g()
det(J
)
+ Xi
det(J 1 ) + X i
det g() =
y j
y j
p
X X X i p
1
y j i det g()
=p
det g() + i X
=
x
y j
det g() j i xi
p
X Y j p
det g()
1
det g() + Y j
=
=p
j
y j
det g() j y
X p
1
j
=p
Y
det
g()
.
det g() j y j
1
4f = div(gradf )
!
X
= div
g ij i f j
i
1 X
=
j
det g j
g ij i f
det g .
Dados f, h C (M ) e a, b R, temos
4(af + bh) = div grad(af + bh)
!
X
p
1 X
ij
=
j
g i (af + bh) det g
det g j
i
!
X
p
1 X
g ij i f det g +
=
j a
det g j
i
!
X
p
1 X
j b
g ij i hn det g
det g j
i
!
X
p
a X
j
g ij i fn det g +
=
det g j
i
!
X
p
b X
j
g ij i h det g
det g j
i
= a4f + b4h.
Considerando g como o isomorfismo canonico entre X (M ) e 1 (M ).
Definimos o seguinte operador:
Defini
c
ao 2.2.6. Definimos : 1 (M ) C (M ) por (w) = div(g1 (w)).
Como g e uma isometria pela definicao de produto interno em T M ,
g((X), df ) = g(X, gradf ) para qualquer campo vetorial X e qualquer funcao
f C (M ) entao temos que e caracterizado, para quaisquer w 1 (M )
e f C (M ), pela equacao
hw, f i = hg1 (w), gradf i = hg1 (w), g1 df i = hw, df i,
(2.6)
usando o fato que definimos div de modo que hgradf, Xi = hf, divXi para
quaisquer f C (M ) e X X (M ).
P
i
1
Teorema 2.2.7. Para w =
e dado, em
i wi dx (M ) temos que
coordenadas locais, por
(w) =
p
1 X
j (g ij det gwi ).
det g ij
Onde (g ij ) = (gij )1 .
39
P
Demonstra
c
ao: Pela equacao 2.1 temos g1 (w) = ij wj g ij x i . Portanto:
!
X
lj
gmk =
gml gjk
g ,
xi
xi
jl
X
mk
g =
g mj g lk
glj .
xi
xi
jl
Demonstrac
ao: Como (gij ) e (g ij ) sao inversas
mk =
gjk g mj = 0 =
entao
g 11 . . . g 1n
.. . .
.
.
. ..
g n1 . . . g nn
X
mj
X
gjk g mj =
gjk g mj + gjk
g ,
xi j
xi
xi
j
g
xi 1k
..
.
g
xi nk
g11 . . . g1n
.
.
= .. . . . ..
gn1 . . . gnn
40
m1
g
xi
..
,
.
mn
g
xi
assim
g11 . . . g1n
g11 . . . g1n
.
.
..
. .
= .. . . . .. .. . . . ..
.
gn1 . . . gnn
gn1 . . . gnn
g
xi nk
X
lj
gmk =
gml gjk
g
=
xi
xi
jl
g
xi 1k
m1
g
xi
..
.
mn
g
xi
g 11 . . . g 1n
.
..
.
= .. . . . ..
.
mn
g n1 . . . g nn
g
xi
X
mk
g mj g lk
=
g =
glj .
xi
x
i
jl
m1
g
xi
g 11 . . . g 1n
.. . .
.
. ..
.
g n1 . . . g nn
g
xi 1k
..
g
xi nk
g jm iji ,
ik
xi
j
k
X
X
X
g ij l gij =
jjl +
iil .
x
ij
j
i
41
Demonstrac
ao: Pelo Lema anterior
X
im
g =
gkj g ik g jm
xi
xi
kj
X
1
=
gkj g ik g jm +
gji g ik g jm
x
2
x
i
k
kj
1
1
1
ik jm
ik jm
ik jm
gji g g +
gik g g
gik g g
2 xk
2 xj
2 xj
X 1
1
1
ik jm
ik jm
ik jm
=
gkj g g +
gji g g
gik g g
2 xi
2 xk
2 xj
kj
1
1
1
ik jm
ik jm
ik jm
+
gkj g g +
gik g g
gji g g
2 xi
2 xj
2 xk
X
X
g ik m
g jm iij ,
=
ik
j
onde usamos a f
ormula
de Christoffel em termos da
1.8 que da os simbolos
km
P
1
m
metrica ij = 2 k xi gjk + xj gki xk gij g .
Para a outra igualdade basta calcularmos diretamente
X
X 1
ij
g
gij =
g ij l gij + g ij i gjl g ij i glj
l
x
2 x
2 x
2 x
ij
ij
1 ij
1 ij
1 ij
gij g
gjl + g
glj
+ g
2 xl
2 xi
2 xi
X j
X
=
jl +
iil .
j
X
X u
2
g jk
g jm kjm
u.
xk
xj xk
jk
jkm
42
P jk 2
P
u jm k
Demonstra
c
ao: Denotando :=
g
u
jm
jk
jkm xk g
xj xk
temos
X
X u
jk
jk
=
g
u
g
u
g jm
x
x
x
x
x
j
k
j
k
k
jk
jkm
X
X u
X
u
=
u +
g jm kjm + g mk jmj
g jm kjm
g jk
x
x
x
x
j
k
k
k
m
jk
jkm
X u
X
=
g jk
u +
g mk jmj
xj
xk
xk
jk
jmk
X
X 1 u
g jk
u +
g mk g ij m gji .
=
xj
xk
2 xk
x
jk
ijmk
Mas
!
X
p
1 1
log det g =
gij Cij
xm
2 det g
x
m
ij
X
Cij
1
=
gij
2 ij det g xm
1 X ij
g
gij ,
=
2 ij
xm
onde Cij = (1)i+j det(g(i, j)) e g(i, j) e a matriz obtida de g retirando-se a
linha i e a coluna j.
Portanto
X
X
p
u mk
jk
=
g
u +
g
log det g
xj
xk
xk
xm
jk
mk
X
X u
1
p
=
g jk
u +
g jk
det g
x
x
x
x
det
g
j
k
k
j
jk
jk
X u
X
p
p
1
g jk
u
det g +
g jk
det g
=
x
x
x
x
det g jk
j
k
k
j
jk
X
p
1
=
g jk det g
u = 4u.
xk
det g jk xj
43
2.3
Generalizando o Laplaciano
2.3.1
Integrac
ao `
a Lebesgue em Variedades
Defini
c
ao 2.3.1. Uma colecao M de subconjuntos de um conjunto X e dita
ser uma -
algebra em X se M tem as seguintes propriedades:
X M.
Se A M entao Ac M, onde Ac e o complemento de A em relacao a
X.
Se A =
ao A M.
n=1 An e se An M para todo n N ent
Se M e uma -algebra em X, entao (X, M) e dito um espa
co mensur
avel e os elementos de M sao ditos os conjuntos mensur
aveis em X.
Muitas vezes denotaremos um espaco mensuravel (X, M) apenas por X.
Se X e um espaco mensuravel, Y e um espaco topologico e f e uma funcao
de X em Y entao f e dita ser mensur
avel se f 1 (V ) e mensuravel para todo
aberto V Y .
Defini
c
ao 2.3.2. Uma medida e uma funcao , definida em uma -algebra
M cuja imagem esta em [0, ] e que e aditivamente contavel, ou seja, se Ai
e uma colecao disjunta de elementos de M entao
(
i=1 Ai )
(Ai ).
i=1
n
X
i Ai ,
i=1
i=1
A medida de alguns conjuntos pode ser infinita. Para lidarmos com isto,
definimos, a. = .a = se a (0, ) e 0. = .0 = 0 e a + =
+ a = se a [0, ].
45
Defini
c
ao 2.3.6. Dado um conjunto E M definimos a integral a Lebesgue de f : M [0, ) sobre E em relacao a medida como
Z
Z
f d = sup sd,
s
f (x),
+
f :=
0,
se f (x) 0
,
se f (x) < 0
f :=
0,
f (x),
se f (x) 0
se f (x) < 0
s+
EG
46
n N.
Z
lim
fn d =
f (x)d.
Assim como o conjunto I 1 (M ) das funcoes integraveis em modulo podemos definir I p (M ), para todo p N, como o conjunto das funcoes mensuraveis tais que
Z
|f |p d .
M
R
p
Denotando Ep = {f L (M )| M |f |p = 0} (o qual e um subespaco
vetorial) definimos Lp (M) := I p (M )/Ep e uma norma da seguinte maneira
1/p
Z
p
|f | d
.
kf kp =
M
deste modo |fn (x)| g(x) := supx {|f1 (x)|p , ..., |fN0 1 (x)|p , |fN0 (x)|p + }
para todo n N g : M R e uma funcao integravel (pois e o sup de um
n
umero finito de funcoes integraveis) assim, pelo Teorema da Convergencia
Dominada de Lebesgue, |fn |p h e h = |f |p pela unicidade do limite.
Portanto os espacos Lp (M ) sao completos.
Pode-se mostrar que o u
nico destes espacos no qual a norma provem de
um produto inteno e L2 (M ) e que Lp (M ) e espaco de Banach se p 1 e
portanto um espaco de Hilbert se p = 2.
Podemos definir uma norma em L2 (M ):
Z
1/2
1/2
2
kukL2 = (hu, uiL2 ) =
u d
M
47
e uma norma em C (M ):
kukH 1
1/2
Z
1/2 Z
2
= hu, uiH01
=
u d +
g(gradu, gradu)d
.
M
e ao produto interno de u, v C (M )
Z
Z
hu, viH 1 =
uvd +
g(g1 (du), g1 (dv))d
ZM
ZM
g(gradu, gradv)d.
uvd +
=
M
48
Captulo 3
Os invariantes
3.1
Invariante de Perelman
49
dor como
4 X
(44g + sg I)(f ) =
j
det g j
g ij i (f
det g)
+ sg f
X p
p
4 X
g ij i f det g + f i det g
=
j
+ sg f
det g j
i
X
p
1 X ij p
j
= 4
g i f det g + f i det g
det g i
j
X 1 X p
p
+4
j
g ij i f det g + f i det g + sg f
det g
j
i
!
X
X
X
X i det g
(f )
= 4
j
g ij (i f ) 4
j
g ij
det g
j
i
j
i
X 1 X p
+4
j
g ij det g(i f )
det
g
j
i
X 1 X
p
+4
j
g ij i det g(f ) + sg (f )
det g
j
i
!
X
X
X
X i det g
= 4
j
g ij (i f ) 4
j
g ij
(f )
2 det g
j
i
j
i
!
X
X i det g
X
p
1
j f + 4
j
4
g ij
g ij i det g + sg f
2
det
g
det
g
j
ij
i
= 4j (g ij (i f )) + j (bi f ) + bi j f + cf,
P
det g
utilizando a convencao de somatorio de Einstein e denotando bj = 4 i g ij 2idet
,
g
P
P ij
1
c = 4 j j det g i g i det g + sg .
Podemos definir uma forma quadratica em C (M ) associada ao operador
44g + sg I por
L(u, v) : = h(44g + sg I)(u), viL2
Z
ij
4g i uj v bj uj v + bj j uv + cuv d.
=
M
A teoria que desenvolvemos aqui pode ser generalizada para operadores elpticos em
50
L(u, u)
hu, uiL2
= k.
u2 d
u2 d
u2 d
M
M
M
J(u) =
inf
uC (M )
J(u).
Z
Z
1
2
g + k
sg um d
g(gradum , gradum )d
4
M
M
Z
1
1
2
g + k (k)
um d = (g + k + k) := K0 .
4
4
M
C (M ) pode ser mergulhada em H 1 (M ), usaremos a mesma notacao
para {un } e sua imagem de {un } em H 1 (M ). Portanto, para todo m N
temos
Z
Z
kum kH 1 =
g(gradum , gradum )d +
u2m d K0 + 1,
M
51
1
ul + um
ul um
+Q
= (Q(um ) + Q(ul )),
Q
2
2
2
entao
ul um
2
1
= (Q(um ) + Q(ul )) Q
2
u l + um
2
quando m, l pois
1
lim Q( (um + ul )) = lim Q(2um ) = lim Q(ul ) = g .
m
m,l
l
2
Deste modo
Z
ul um
ul um
ul um
=
4g grad
, grad
d
Q
2
2
2
M
2
Z
ul um
+
sg
d,
2
M
entao
Z
ul um
ul um
ul um
1
g grad
, grad
d = Q
2
2
4
2
M
2
Z
1
ul um
sg
d 0
2
M 4
quando m, l pois sg e limitada.
Assim
Z
kul um kH 1 = kul um kL2 +
g (grad(ul um ), grad(ul um )) d 0
M
f 0 (0) = lim
Z
1
g +
4tg ij i uj v + 4tg ij i vj u + 4t2 g ij i vj v
= lim R
2 d
t0 t
(u
+
tv)
M
M
tbj uj v tbj vj u t2 bj vj v + tbj uj v + tbj vj u + t2 bj vj v + 2tcuv
Z
Z
2 2
2
2
+ t cv d g 1 + 2t
uvd + t
v d
M
M
Z
=
4g ij i uj v bj uj v + bj j uv + cuv d
MZ
Z
ij
j
j
+
4g i uj v b vj u + b j vu + cuv d 2g
uvd
M
para t > 0 e
para t < 0.
entao
L(u, v) g hu, viL2 = f 0 (0) = 0,
v H 1 (M ),
0 hw, wiL2
= 0 .
hw, wiL2
Como existe um u
nico u H 1 (M ) tal que J(u) = g temos que g e um
autovalor simples.
Defini
c
ao 3.1.2. Sejam M uma variedade diferenciavel fechada orientada ndimensional, n 3. Dada uma metrica Riemanniana g sobre M , denotamos
o menor autovalor do operador 44g + sg por g e o volume de M em relacao
a esta metrica por volg . O invariante de Perelman de M e definido
como
2
(M ) := sup g volgn ,
g
det(g)dy 1 ... dy n .
X
lr
xi
xj
lr
g
.
(y l ) (y r )
54
ZM
xj
u xi
xj
u xi
lr
lr
=
g
,
g
4 g
xi (y l ) (y r ) xj xi (y l ) (y r ) xj
M
+ s g u2 d g
Z
u
lr
lr
+ s g u2 d g
=
4 g
g
,
g
l )
r ) (y l )
r )
(y
(y
(y
M
XZ
u
lr
lr
=
4 g
g
,
g
l )
r ) (y l )
(y
(y
(y r )
1 (V ))
(U
i
i
j
ij
+s g u2 ai (bj )
p
i1 det(D) det(g)dx1 ...dxn
XZ
u
lr
lr
=
4 g
g
,
g
l )
r ) (y l )
(y
(y
(y r )
(V
)
j
j
j
p
(y
)
(y
,
...,
y
+
t,
...,
y
)
=
.
1
i
n
(y i ) t0
y i
Tambem temos que o vetor (yf ) pode ser visto como a classe de equivalencia
da curva 1 j1 (y f )1 : R M , onde y f : R Rn e dada por
y f (t)p = (y1 , ..., yf +t, ..., yn ), pela relacao k l se, e somente se, (j k)0 (0) =
. Assim:
(j l)0 (0). Assim d([1 j1 (y i )1 ]) = [j1 y i ] = y
u
lr
lr
g
,
g
g
=
(y l ) (y r ) (y l ) (y r )
(u 1 ) lr
(u 1 ) lr
g
g
=g d
, d
=
y l
(y r )
y l
(y r )
(u 1 ) lr (u 1 ) lr
=g
g
,
g
.
y l
y r
y l
y r
55
Portanto
Z
4g(gradg (u 1 ), gradg (u 1 )) + s g (u2 1 )dg
L g (u, u) =
N
= Lg (u 1 , u 1 ).
Alem disso
Z
Z
2
u d g =
M
u2
M
XZ
ij
XZ
Z
i (Ui 1 (Vj ))
j (Vj )
p
(ai (bj )u2 ) i1 det(D) det(g)dx1 ...dxn
[bj (u2 1 )] j1
det(g)dy 1 ...dy n
(u2 1 )dg
=
N
e
Z
d g =
M
Z p
XZ
ij
XZ
Z
i (Ui 1 (Vj ))
j (Vj )
p
[ai (bj )s g ] i1 det(D) det(g)dx1 ...dxn
bj j1
p
det(g)dy 1 ...dy n
dg .
N
56
3.2
Problema de Yamabe
57
g + j g ki k g ij g km
i jk
x
x
x
k
1X
r
r
r
=
(u gjk ) + j (u gki ) k (u gij ) ur g km
2 k
xi
x
x
1X r
u
=
gjk + j gki k gij ur g km
2 k
xi
x
x
1X r
r
r
+
u gjk + j u gki k u gij ur g km
2 k
xi
x
x
1X
=
g
+
g
gij g km
jk
ki
i
j
k
2 k
x
x
x
1 1 X u
u
u
km
km
km
+ ru
gjk g + j gik g k gij g
2
xi
x
x
k
(
)
X u
1 1
u
u
m
km
=ij + ru
jm i + im j
gij g
.
2
x
x
xk
k
em = 1
ij
2
n+2
n2
n2
sg u =
sgu n2 .
4(n 1)
4(n 1)
Demonstrac
ao: Pela equacao 1.10 da curvatura em termos dos simbo-
58
l
m
l
m
l
l
ij
e
e
e e
e )
e )
sg =
(
(
g
ij lm lj im +
ij
lj
l
i
x
x
ijlm
(
(
)!
X
X u
1
u
u
=
ur g ij
lij + ru1 jl i + il j
g g kl
l
k ij
x
2
x
x
x
ijlm
k
)!
(
X u
1
u
u
g g kl
i llj + ru1 jl l + ll j
k lj
x
2
x
x
x
k
(
)!
X
1
u
u
u
1
+ m
jm i + im j
g g km
ij + ru
k ij
2
x
x
x
k
(
)!
X
u
u
u
1
g g kl
. llm + ru1 ml l + ll m
k lm
2
x
x
x
k
(
)!
X u
1
u
u
1
m
jm l + lm j
g g km
lj + ru
k lj
2
x
x
x
k
(
)!)
X u
1
u
u
. lim + ru1 ml i + il m
g g kl
k im
2
x
x
x
k
X
l
ij
r
l
m l
m l
g
=u
+ ij lm lj im
xl ij xi lj
ijlm
r X r ij
u
u
u
kl
1
u g
+
u
jl i + il j k gij g
2 ijklm
xl
x
x
x
u
u
u
i u1 jl l + ll j k jk
x
x
x
x
X
r
u
u
r1
m ij
m ij
m ij u
kl
+
u
ij g ml l + ij g ll m ij g
glm g
2 ijklm
x
x
xk
r X r1
u
u
l
ij
l
ij u
km
l
ij
+
gij g
u
lm g jm i + lm g im j lm g
2 ijklm
x
x
xk
u
r X r1
u
m ij
m ij u
kl
m ij
gim g
u
lj g ml i + lj g il m lj g
2 ijklm
x
x
xk
u
u
r X r1
ij
ij u
ij
l
l
km
l
glj g
u
im g jm l + im g lm j im g
2 ijklm
x
x
xk
59
r2 X r2
u ij
u
u ij u
u ij u
kl
+
u
jm i g ml l + jm i g ll m jm i g
glm g
4 ijklm
x
x
x
x
x
xk
r2 X r2
u ij
u
u ij u
u ij u
kl
+
u
im j g ml l + im j g ll m im j g
glm g
4 ijklm
x
x
x
x
x
xk
u
u
u
r2 X r2 u
glj g km g ij ml l + k glj g km g ij ll m
+
u
k
4 ijklm
x
x
x
x
)
X u
u
glj g km g ij r glm g rl
k
x
x
r
u ij
u
u ij u
u ij u
r2 X r2
kl
u
jm l g ml i + jm l g il m jm l g
gim g
4 ijklm
x
x
x
x
x
xk
r2 X r2
u ij
u
u ij u
u ij u
kl
u
lm j g ml i + lm j g il m lm j g
gim g
4 ijklm
x
x
x
x
x
xk
r2 X r2 u
u
u
u
km ij
km ij
u
g
g
g
+
g
g
g
lj
ml
lj
il
4 ijklm
xk
xi xk
xm
u
km ij u
kl
glj g g
gim g
xk
xk
r X r ij
r
1 u
1 u
u g
=u sg +
u
+ i u
2 ijklm
xj
xi
x
xj
u
u
1 u
kl
1
l u
gij g
i u
+n j j
x
xk
x
xj
x
x
X
r
u
u
u
ij u
+
ur1 lij g ij l + nm
kij g ij k + llj g ij i
ij g
m
2 ijklm
x
x
x
x
r X r1
l ij u
l
l ij u
m ij u
km u
u
li g
nlm g
lj g
ij g
+
2 ijklm
xj
xk
xi
xm
r X r1
l ij u
l ij u
l u km
m u kl
+
il g
+ lm k g
u
lm k g ij g
2 ijklm
x
xl
xj
x
60
r2 X r2 ij u u
ij u u
ij u u
+
u
g
+ ng
g
4 ijklm
xi xj
xi xj
xi xj
r2 X r2 ij u u
ij u u
ij u u
+
u
g
+ ng
g
4 ijklm
xj xi
xj xi
xj xi
r2 X r2 km u u
km u u
km u u
+ ng
g
u
g
+
4 ijklm
xk xm
xk xm
xk xm
r2 X r2 ij u u
ij u u
kl u u
u
g
+g
ng
4 ijklm
xj xi
xi xj
xl xk
r2 X r2
2 ij u u
ij u u
ij u u
u
ng
+g
g
4 ijklm
xj xi
xj xi
xj xi
r2 X r2 ij u u
km u u
ij u u
u
g
+ ng
g
4 ijklm
xj xi
xk xm
xi xj
u u
r X r
2u
r
u
2(n 1)u2 g ij j i 2(n 1)u1 g ij j i
=u sg +
2 ijklm
x x
x x
kl
u
gij u
1 g
nu
u1 g ij g kl l
k
l
x x
x xk
r X r1
m ij u
l ij u
+
u
(n 1)ij g
(n 1)li g
2 ijklm
xm
xj
r2 X r2
2
ij u u
+
u
(n + 3n 2)g
4 ijklm
xi xj
u u
2u
r X r
r
u
2(n 1)u2 g ij j i 2(n 1)u1 g ij j i
=u sg +
2 ijklm
x x
x x
u
li k
u
1
ik l
u g jjl + iil
nu
g
li
li
xk
xk
u
r X r1
ij u
+
(n 2)lli g ij j
u
(n 2)m
ij g
m
2 ijklm
x
x
r2 X r2
u u
+
u
(n2 + 3n 2)g ij i j
4 ijklm
x x
1 kl
2
r X r
m ij u
ij u
sg =u
sg +
u
2(n 1) ij g
g
2 ijklm
xm
xj xi
r2 X r2
2
ij u u
+
u
2(n 1) 1 +
g
4 ijklm
r
xi xj
r
=ur sg + 2(n 1)ur1 4g u.
2
r1
Portanto
4(n 1)
sg ur+1 =sg u +
4g u
n2
n+2
n2
n2
sg u n2 =
sg u + 4g u.
4(n 1)
4(n 1)
n+2
n+2
n2
n2
sg u =
sg u n2 = u n2 ,
4(n 1)
4(n 1)
n2
com = 4(n1)
sg constante.
(=) Se existem u C (M ), u > 0 em M e R que satisfazem a
4
equacao 3.2 entao, para a metrica g = u n2 g que e conforme `a g, temos
n+2
u n2 = 4g u +
entao, como u > 0,
n2
sg
4(n1)
n+2
n2
n2
sg u =
sg u n2 ,
4(n 1)
4(n 1)
= portanto sg e constante.
62
R 4
E(u) := M n(n2) (4u)u + sg u2 dg , temos
sg dg
p2
dg
M
Qg (u) =Q(up2 g) =
R
R 4(n1)
=
n2
2n
n+2
4
(4g u)u n2 + sg u n2 u n2 dg
E(u)
=
.
2
R
2n
kuk2p
p
u n2 dg
M
n+2
n2
E(u) n2
.
sg u =
pu
4(n 1)
kukp
Demonstrac
ao: Pelo metodo usual do calculo variacional, usando a
generalizacao do binomio de Newton
k1
X
1 Y
(x + y) =
(z j)xzk (y)k ,
k!
j=0
k=0
z
63
R
2 R
2
M
t M up dg p M (u + tv)p dg p
Z
p2 R 4(n1)
4g (u)u + 2t4g (u)v + t2 4g (v)vdg
M n2
p
u dg
=
R
2 R
2
M
t M up dg p M (u + tv)p dg p
Z
p2 R
s u2 + 2tsg uv + t2 sg v 2 dg
p
M g
u dg
+
R
2 R
2
M
t M up dg p M (u + tv)p dg p
Z
X 1 k1
Y
(p j) upk (tv)k + up
k!
M k=2
j=0
R 4(n1)
p2
(4g u)u + sg u2 dg
p1
+ pu tv dg . R M n2 2 R
2
t M up dg p M (u + tv)p dg p
Z
p2 R 4(n1)
4g (u)u + 2t4g (u)v + t2 4g (v)vdg
M n2
up dg
=
R
2 R
2
M
t M up dg p M (u + tv)p dg p
Z
p2 R
s u2 + 2tsg uv + t2 sg v 2 dg
p
M g
+
u dg
2
2 R
R
M
t M up dg p M (u + tv)p dg p
64
(Z
p
p1
u + pu
tv d
p2
"
Z
p2 l
l1
X1Y
2
p
p1
+
i
u + pu tv d
l!
p
M
i=0
l=1
!l
Z
k1
X 1 Y
(p j) upk (tv)k d
M k=2 k! j=0
R 4(n1)
(4g u)u + sg u2 dg
. R M n2 2 R
2
t M up dg p M (u + tv)p dg p
Z
p2 R 4(n1)
4g (u)u + 2t4g (u)v + t2 4g (v)vdg
M n2
p
u dg
=
2
R
2 R
M
t M up dg p M (u + tv)p dg p
Z
p2 R
s u2 + 2tsg uv + t2 sg v 2 dg
p
M g
u dg
+
R
2 R
2
M
t M up dg p M (u + tv)p dg p
(Z
p2
p2 1 Z
Z
2
p
p
p1
u d
u d
+
pt
u v d
p
M
M
M
p2 r Z
Z
r
r1
X
1Y 2
p
p1
u d
+
s
p
u tv d
r!
p
M
M
r=2
s=0
"
p2 l
Z
l1
X1Y
2
p
p1
+
u + pu tv d
i
l!
p
M
i=0
l=1
Z
!l
X 1 k1
Y
(p j) upk (tv)k d
M k=2 k! j=0
R 4(n1)
(4g u)u + sg u2 dg
. R M n2 2 R
2 .
t M up dg p M (u + tv)p dg p
Note que somente os dois primeiros dos termos negativos nao apresentam
fator tx , com x 2 entao
65
d
Q(u + tv) Q(u)
Q(u + tv) = lim
t0
dt
t
0
R
4(n1)
2
4g (u)v + 2sg uvdg
= M n2R
2
p d p
u
g
M
Z
1 Z
R
2
up d
up1 v d . M
M
R 4(n1)
=2
n2
4(n1)
(4g u)u
n2
n+2
+ sg u2 dg
p2
up dg
n2
4g (u) + sg u kukp
vdg
p E(u)u
R
p2
up dg
M
Existe uma constante c > 0 tal que kuk2 ckukp (pela desigualdade
de Holder). Por outro lado M e compacta entao |sg | e limitada por uma
constante k entao
Z
E(u)
4(n 1)
1
2
Qg (u) =
g(gradu, gradu) + sg u dg
=
kuk2p
kuk2p M (n 2)
Z
kuk22
1
2
s
u
d
k
kc2 .
g
g
2
2
kukp M
kukp
Assim, podemos definir a constante de Yamabe como segue:
Defini
c
ao 3.2.6. Seja M uma variedade fechada suave orientada de dimensao n 3. A cada classe conforme sobre M podemos associar o
n
umero Y , chamado constante de Yamabe da classe , definido como
R
sg dg
Y = inf R M
.
(3.3)
n2
g
n
d
g
M
Se existir uma funcao u tal que Qg (u) = Y entao Y e um valor crtico
de Qg , portanto up2 g e uma metrica conforme a g de curvatura escalar
. A prova da existencia de tal funcao e devida aos trabalhos
constante E(u)
kukpp
de Yamabe, Truddinger, Aubin e Schoen, uma demonstracao completa disto
e um panorama historico da solucao pode ser visto em [7].
66
Defini
c
ao 3.2.7. Uma metrica g tal que
R
s dg
M g
= Y ,
R
n2
n
d
g
M
onde e a classe conforme de g, e dita um minimizante de Yamabe.
Lema 3.2.8. Seja M uma variedade diferenci
avel fechada conexa suave de
dimens
ao n 3. Se g e uma metrica Riemanniana sobre M com curvatura
escalar sg 0 constante entao g e um minimizante de Yamabe.
Demonstra
c
ao: Se g e uma metrica e c > 0 entao g = cg e conforme
a g e os coeficientes da conexao (Simbolos de Christoffel) sao
1X
1 km
m
e
ij =
cgjk + j cgki k cgij
g
i
2 k
x
x
x
c
1X
gjk + j gki k gij g km = m
=
ij .
2 k
xi
x
x
Assim a curvatura escalar e
X
el
el
m el
m el
ij
e
e
ij lm lj im + l (ij ) i (lj )
g
sg =
x
x
ijlm
X1
1
ij
m l
m l
l
l
=
g
ij lm lj im + l (ij ) i (lj ) = sg .
c
x
x
c
ijlm
Portanto
R
R
n2 R
n
1
sg dg
2 d
2
s dg
s
c
c
g
g
c M
M g
Q(g ) =
=
=
= Q(g).
n2
2
R
n2
R
n2
n
R
p
n
n
2
2 d
c
d
c
g
g
dg
M
M
M
M
Z
vol(M, h) =
dh =
M
dg
M
n2 . n2
dg
M
n2
g e
1 Z
dg =
dg = 1.
dg
M
=
sh
dh
= Q(g),
2
kukp
c
c
M
onde usamos a desigualdade de Holder:
Z
Z
2
2 p
u dh
M
|u | dh
Z
|u|p dh
p1 Z
p2 Z
dh
M
dh
1q
1q
Z
2 p
|u | dh
p1 Z
dh
1q
kuk22
1.
kuk2p
Corol
ario 3.2.9. Seja M uma variedade diferenci
avel fechada orientada suave de dimensao n 3, sejam uma classe conformal sobre M e Y a
constante de Yamabe associada a . Se Y 0 o minimizante de Yamabe e
u
nico a menos de reescalamento constante.
Demonstra
c
ao: Ja mostramos, na demonstracao do teorema anterior,
que o reescalamento constante de uma metrica g nao altera o valor de Q(g),
portanto qualquer m
ultiplo positivo de um minimizante de Yamabe tambem
e um minimizante de Yamabe.
Para a unicidade a menos de rescalamento constante consideremos um
minimizante de Yamabe g e uma metrica g = up2 g conforme a g tal que
u : M R+ seja nao constante. Como reescalamento constante nao altera
o valor de Qg (u) podemos considerar o volume de M em relacao a g como
unitario, assim, usando a desigualdade de Holder como no teorema anterior
i
R h 4(n1)
2
g(gradu,
gradu)
+
s
u
dg
g
n2
M
Q(g ) =Qg (u) =
kuk2p
R
sg u2 dg
sg kuk22
> M
=
sg ,
kuk2p
kuk2p
pois kgrad(u)k > 0 se u e nao constante e do fato que sg < 0.
68
k
kc,
kuk2p
kuk2p
kuk2p
portanto Y kc > 0.
Se sg = 0 temos, para qualquer metrica g = up2 g conforme a g,
R
4
(4u)u + sg u2 dg
E(u)
M n(n2)
=
0,
Q(g ) = Qg (u) =
kuk2p
kuk2p
R
sg dg
ao Y = 0.
2 = 0 ent
( M dg ) p
Se sg e negativa existe k < 0 tal que sg k (pois M e compacta) assim
R
R
s dg
dg
M g
M
Q(g) = R
p2 k R
p2 < 0,
d
d
g
g
M
M
M
portanto Y < 0.
g
d
g
M
69
det(g)dy 1 ... dy n .
XZ
Z
i (Ui 1 (Vj ))
j (Vj )
bj sg j1
det(g)dy 1 ...dy n
sg dg
N
Z
d g =
M
Z p
XZ
ij
XZ
Z
i (Ui 1 (Vj ))
j (Vj )
p
[ai (bj )s g ] i1 det(D) det(g)dx1 ...dxn
bj j1
p
det(g)dy 1 ...dy n
dg .
N
70
3.3
Y(M ) se Y(M ) 0
(M ) =
+
se Y(M ) > 0
71
Demonstrac
ao: Seja g , e seja gb = u4/(n2) g o minimizante de
Yamabe em (so existe um pelo lema 3.2.8 e seu corolario 3.2.9). Entao
R 2
sg u + 4 n1
|gradu|2 dg
n2
M
.
0 Y =
R
n2
2n
n
n2
u dg
M
Usando isto, a equacao 3.1 e a definicao 3.2.7 calculamos
Z
Z
2
g u dg [sg u2 + 4|gradu|2 ]dg
Z
n1
2
2
|grad u| dg
sg u + 4
n2
Z
(n2)/n
2n
= Y
u n2 dg
Z
Z
2
2/n
g u dg Y volg
u2 dg ,
(3.5)
onde, como Y 0, o u
ltimo passo e uma aplicacao da desigualdade de
Holder
1/q
1/p Z
Z
Z
q
p
|f1 | d
|f2 | d
,
f1 f2 d
com f1 = 1, f2 = u2 , p = n/2 e q = n/(n 2) e do fato que 0 Y .
2/n
0 a equacao 3.5 mostra que
Como volg
g volg2/n Y .
Se g e um minimizante de Yamabe entao, pelo corolario 3.2.9, gb tem curvatura
escalar constante e u e constante assim, vale a igualdade na desigualdade de
Holder e grad u = 0 portanto temos a igualdade na equacao 3.5, ou seja,
Z
Z
2/n
2
u2 dg ,
gb u dg = Y volgb
assim segue que
Y = sup g volg2/n .
g
72
Calcular o valor destes invariantes pode ser um trabalho duro, por que
considerar o supremo sobre o conjunto das metricas (ou das classes conformes) e difcil, pois o conjunto destas metricas e bastante grande. Os artigos
[C1, C2, C3, C4, C5, C6, C7] contem mais informacoes sobre estes invariantes e calculam os invariantes de Perelman e Yamabe para algumas classes de
variedades.
73
Captulo 4
Anexo
Enunciamos aqui alguns teoremas que utilizamos sem colocar os enunciados explicitamente no trabalho.
Teorema 4.0.4 (F
ormula da mudan
ca de vari
aveis). Sejam V Rn ,
: V R contnua e com suporte compacto, f : Rn Rn diferenci
avel e
U = f (V ), entao:
Z
Z
f (x)|Df (x)|dx =
(y)dy.
U
.
q
n
74
Ent
ao Lqk (M ) esta mergulhado continuamente em C (M ).
Uma versao para Rn deste resultado classico pode ser encontrado em [4],
teorema 7.22. A versao para variedades ser encontrada em [7].
75
Conclus
ao
O fato que se uma variedade tem invariante de Yamabe nao positivo
entao a variedade nao admite metricas de curvatura escalar positiva e um
exemplo de como os invariantes podem revelar importantes caractersticas
das variedades. Uma das possibilidades de pesquisa para se seguir e estudar
os diversos invariantes das variedades.
Calculando o menor autovalor do operador 44 + sg utilizamos algumas
tecnicas basicas de EDP. Outra possibilidade de pesquisa poderia ser estudar
EDPs em variedades.
Tambem estudamos um pouco do problema de Yamabe e a sua solucao
completa utiliza muitas tecnicas interessantes (que nao apresentamos no trabalho mas podem ser vistas em [8]). Este e outro tema no qual a pesquisa
pode continuar.
Ainda temos o fluxo de Ricci que nao estudamos, mas e tema comum a
todas as referencias sobre o invariante de Perelman e que parece ser bastante
importante em algumas areas da geometria diferencial.
Poderia se pensar que o trabalho foi prematuramente interrompido contudo chegamos ao nosso objetivo principal. O que ficam sao as varias possibilidades para seguir estudando e as linhas de pesquisa que se abrem a
frente.
76
Bibliografia
[1] Akutagawa, k.; Ishida, M.; LeBrun,C. - Perelmans invariant, Ricci
flow, and the Yamabe invariants of smooth manifolds. Archiv der
Mathematik, (88):71-76, 2007.
[2] Barden, D.; Thomas, C. - An Introduction to Differential Manifolds.
Imperial College Press, Londres, Inglaterra, 2005.
[3] Carmo, M. P. do - Geometria Riemanniana. Impa, Rio de Janeiro,
Brasil, 2005.
[4] Gilbarg, D.; Trudinger, N. S. - Elliptic Partial Differential Equations
of Second Order. Springer, Berlin, Alemanha, 2005.
[5] Thayer, F. J. - Notes on partial differential equations. Impa, Rio de
Janeiro, Brasil, 1980.
[6] Kobayashi, O. - Scalar curvature of a metric of unit volume. Math.
Ann., (279): 253 - 265, 1987.
[7] Lee, J. M.; Parker, T. H. - The Yamabe Problem. Bull. Amer. Math.
Soc., (17): 37 - 91, 1987.
[8] Miyagaki, O. H. - Equac
oes Elpticas Modeladas em Variedades Riemannianas: Uma Introduc
ao. Milenio Workshop em Equacoes Elpticas,
UFCG/UFPB, Campina Grande / Joao Pessoa, Brasil, 2004.
[9] Perelman, G. - The entropy formula for the Ricci flow and its geometric
applications. e-print math.DG/0211159.
[10] Perelman, G. - Ricci flow with surgery on three-manifolds. e-print
math.DG/0303109.
77
78
Biliografia Complementar
[C1] Anderson, M. T. - Canonical metrics on 3-manifolds and 4-manifolds.
Asian J. Math., (10), 127-163, 2006.
[C2] Fang, F.; Zang, Y. - Perelmans functional and the Seiberg-Witten
equations. e-print math.FA/0608439.
[C3] Ishida, M.; LeBrum, C. - Curvature, connected sums, and the SeibergWitten theory. Comm. Anal. Geom., (11), 809-836, 2003.
[C4] Kotschick, D. - Monopole classes and Perelmans invariant of four manifolds. e-print math.DG/0608504.
[C5] LeBrum, C. - Four-manifolds without Einstein metrics. Math. Res,
Lett., (3), 133-147, 1996
[C6] Petean, J. - Computations of the Yamabe invariant. Math. Res. Lett.
(5), 703-709, 1998.
[C7] Petean, J. - The Yamabe invariant of simply connected manifolds. J.
Reine Angew. Math. (523), 225-231, 2000.
79