Geometria Simplética

i
EGD2806
2006/7/26
page 1
i
Introdu
c
ao a Geometria Simpl
etica
Henrique Bursztyn e Leonardo Macarini
26 de Julho de 2006
i
i
EGD2806
2006/7/26
page 2
i
PREFACIO
Geometria simpletica e a geometria das variedades munidas de

uma 2-forma fechada e n
ao-degenerada. Embora tenha razes hist
oricas na formulaca
o geometrica da mec
anica cl
assica, a geometria simpletica e hoje uma a
rea de interesse independente, sendo alvo de
intensa pesquisa, e com diversas aplicaco
es.
Um dos grandes propulsores do desenvolvimento recente da geometria simpletica foi o surgimento, nas u
ltimas duas decadas, de
novas tecnicas e resultados constituindo o que hoje se chama topologia
simpletica. Tendo os trabalhos seminais de M. Gromov e Y. Eliashberg nos anos 80 como ponto de partida, tais resultados elucidaram
propriedades fundamentais das variedades simpleticas, como a profunda rigidez das transformaco
es simpleticas e a existencia de importantes invariantes globais, dando a
`a
rea uma nova perspectiva.
Paralelamente, outra importante fonte de estmulo para o crescimento da geometria simpletica e seu papel interdisciplinar na matem
atica, interagindo com topologia (especialmente em dimens
oes 3 e
4), teoria de representaco
es e grupos de Lie, geometria algebrica,
din
amica conservativa, an
alise microlocal, alem de campos da fsica
matem
atica tais como teoria de calibre e espacos de moduli, sistemas
integr
aveis e grupos qu
anticos, modelos sigma e teoria de cordas,
entre outros.
Estas notas apresentam uma breve introduca
o a
` geometria simpletica com foco em dois aspectos principais: por um lado, a ausencia
de invariantes locais em variedades simpleticas, tendo como base o
metodo de Moser; por outro lado, a construca
o de invariantes globais
usando tecnicas de topologia simpletica.
Devido a
`s limitaco
es de espaco e tempo, alguns t
opicos comumente presentes em textos introdut
orios a
` geometria simpletica n
ao
est
ao aqui includos. Este e o caso, por exemplo, da importante teoria
de aco
es hamiltonianas e aplicaco
es momento, que pode ser encontrada em textos como [1, 8, 19].
O material destas notas est
a organizado da seguinte maneira: o
i
i
EGD2806
2006/7/26
page 3
i
3
Captulo 1 apresenta uma breve exposica
o da origem da geometria
simpletica em mec
anica hamiltoniana. No Captulo 2, tratamos dos
aspectos b
asicos da a
lgebra linear simpletica. O Captulo 3 inclui a
definica
o de variedades simpleticas, assim como as principais classes
de exemplos: fibrados cotangentes, o
rbitas coadjuntas e variedades
K
ahler. No Captulo 4, discutimos o metodo de Moser, que oferece
uma tecnica fundamental na demonstraca
o de v
arios resultados de
rigidez local em geometria simpletica, incluindo o teorema c
assico de
Darboux e suas generalizaco
es devidas a A. Weinstein. No Captulo 5,
tratamos de hipersuperfcies de contato, que s
ao usadas no Captulo
6 para o estudo de sistemas hamitonianos e din
amica em nveis de
energia. O Captulo 7 discute o problema da existencia de invariantes
globais, com foco na noca
o de capacidade simpletica. Ainda neste
captulo, apresentamos uma introduca
o ao teorema nonsqueezing
de Gromov, incluindo um esboco de sua (difcil) demonstraca
o.
Ao longo do texto, assumimos que o leitor tenha familiaridade
com aspectos b
asicos da teoria de variedades diferenci
aveis, incluindo
formas diferenciais. O material padr
ao pode ser encontrado, por exemplo, em [2, 39]. V
arios livros de introduca
o a geometria simpletica
nos serviram de referencia, entre os quais [7, 8, 21, 29, 41].
Agradecemos a Walcy Santos e Manfredo do Carmo pelo convite
para apresentar o minicurso Introduca
o a Geometria Simpletica
na XIV Escola de Geometria Diferencial, que nos deu estmulo para
a elaboraca
o destas notas. Agradecemos tambem a Cristian Ortiz
e Thiago Drummond por coment
arios e correco
es, e Rogerio Dias
Trindade pela ajuda nas figuras.
i
i
EGD2806
2006/7/26
page 4
i
Conte
udo
1 Origem da geometria simpl
etica
1.1 As equaco
es de Hamilton via a equaca
o de Newton . .
1.2 Abordagem variacional . . . . . . . . . . . . . . . . . .
1.3 Geometrizaca
o das equaco
es de Hamilton . . . . . . .
6
6
7
10
2 Algebra
linear simpl
etica
2.1 Espacos vetoriais simpleticos . . .
2.2 Subespacos . . . . . . . . . . . . .
2.3 Bases simpleticas e forma normal .
2.4 Estruturas complexas compatveis
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
12
12
14
15
16
3 Variedades simpl
eticas
3.1 Definica
o . . . . . . . . . . .
3.2 Fibrados cotangentes . . . . .
3.3 Outros exemplos importantes
3.3.1 Variedades K
ahler . .
3.3.2 Orbitas
coadjuntas . .
3.4 Obstruco
es . . . . . . . . . .
3.5 Subvariedades . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
20
20
22
25
25
33
39
41
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
4 O m
etodo de Moser e formas normais
44
4.1 O truque de Moser . . . . . . . . . . . . . . . . . . . 45
4.2 O teorema de Darboux . . . . . . . . . . . . . . . . . . 47
4.3 Teoremas de Weinstein para vizinhancas de subvariedades . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
4.4 Aplicaca
o a pontos fixos de simplectomorfismos . . . . 51
4
i
i
CONTEUDO
EGD2806
2006/7/26
page 5
i
5 Hipersuperfcies de contato
53
5.1 Definico
es e exemplos . . . . . . . . . . . . . . . . . . 53
5.2 Forma normal de vizinhancas de hipersuperfcies de
contato . . . . . . . . . . . . . . . . . . . . . . . . . . 57
6 Sistemas hamiltonianos
59
6.1 Definico
es e exemplos . . . . . . . . . . . . . . . . . . 59
6.2 Din
amica em nveis de energia . . . . . . . . . . . . . 61
7 Invariantes globais
7.1 Capacidades simpleticas e rigidez de simplectomorfismos
7.2 Esboco da prova do teorema nonsqueezing . . . . . . .
7.3 Rigidez de simplectomorfismos . . . . . . . . . . . . .
7.4 A capacidade de Hofer-Zehnder . . . . . . . . . . . . .
7.5 Capacidade de Hofer-Zehnder e o
rbitas peri
odicas . . .
72
72
76
80
83
89
i
i
EGD2806
2006/7/26
page 6
i
Captulo 1
Origem da geometria
simpl
etica
1.1
As equa
co
es de Hamilton via a equa
c
ao
de Newton
A geometria simpletica se originou no estudo dos sistemas hamiltonianos, que descrevem a evoluca
o de sistemas mec
anicos de natureza
conservativa. As equaco
es que descrevem tais sistemas s
ao chamadas
equaco
es de Hamilton e podem ser derivadas diretamente da segunda
lei de Newton.
Vamos considerar como ilustraca
o o exemplo do movimento de
uma partcula de massa m > 0 em R3 submetida a um campo de
forcas conservativo F , dado em cada ponto q = (q1 , q2 , q3 ) R3 por
3
F (q) = V (q),
onde V : R R e a energia potencial. Cada estado inicial, determinado por uma posica
o e velocidade, determina completamente a
trajet
oria q(t) da partcula atraves da segunda lei de Newton:
m
q (t) = V (q(t)).
(1.1.1)
Seja p = mq o momento linear da partcula. Podemos rescrever o

sistema de 3 equaco
es de segunda ordem (1.1.1) como 6 equaco
es de
6
i
i
EGD2806
2006/7/26
page 7
i
[SEC. 1.2: ABORDAGEM VARIACIONAL
primeira ordem nas vari

aveis qi e pi :
q =
p
,
m
p = V.
O espaco R3 = {q = (q1 , q2 , q3 )} de possveis posico

es da partcula e
chamado de espaco de configuraco
es, enquanto o espaco R6 = R3
R3 = {(q, p)}, consistindo de posico
es e momentos, e chamado espaco
de fase. Se denotarmos a energia total da partcula por H,
P3
p2
H(q, p) = i=1 i + V (q),
2m
podemos escrever (1.1.1) no espaco de fase como
qi =
H
H
, p i =
.
pi
qi
(1.1.2)
As equaco
es (1.1.2) s
ao as equaco
es de Hamilton descrevendo o sistema nesse exemplo.
1.2
Abordagem variacional
Outra maneira de se obter as equaco

es de Hamilton e via as equaco
es
de Euler-Lagrange, derivadas de princpios variacionais. Essa abordagem, alem de exibir a natureza variacional de sistemas naturais, e
bastante u
til quando consideramos sistemas com vnculos. Existem
in
umeras referencias sobre o assunto, entre as quais, [1, 5].
Um princpio fundamental que rege a mec
anica cl
assica e o princpio da aca
o mnima. Mais precisamente, considere um sistema cujo
espaco de configuraco
es e o Rn , com coordenadas q = (q1 , . . . , qn ),
de modo que o espaco de estados (i.e., posico
es e velocidades) seja
R2n , com coordenadas (q, v). Seja L : R2n R uma funca
o suave,
chamada funca
o lagrangiana. Dada uma curva diferenci
avel : [0, T ]
Rn , definimos sua aca
o por
Z T
AL () =
L((t), (t))
dt.
0
Fixe agora dois pontos q0 e q1 em Rn e denote por C([0, T ], q0 , q1 )

o conjunto de curvas suaves : [0, T ] Rn tais que (0) = q0 e
i
i
EGD2806
2006/7/26
page 8
i
[CAP. 1: ORIGEM DA GEOMETRIA SIMPLETICA
(T ) = q1 . Buscamos neste conjunto pontos crticos para o funcional

de aca
o AL , ou seja, curvas para as quais

dAL (s )
= 0,
ds s=0
onde s C([0, T ], q0 , q1 ), s (, ), e uma variaca

o suave arbitr
aria de curvas tal que 0 = .
Proposi
c
ao 1.2.1. Uma curva e um ponto crtico de AL se e
somente se satisfaz a equaca
o de Euler-Lagrange
L
d L
((t), (t))
=
((t), (t)).
dt v
q
o: Sejam ci : [0, T ] R, i = 1, ..., n, funco
Demonstrac
a
es suaves
tais que ci (0) = ci (T ) = 0 para todo i. Defina a variaca
o
(t) = (1 (t) + c1 (t), ..., n (t) + cn (t)),
claro que C([0, T ], q0 , q1 ).
onde (t) = (1 (t), ..., n (t)). E
Temos que

Z TX
dAL ( )
L
L
(0 , 0 )ci (t) +
(0 , 0 )ci (t) dt
=
d =0
q
v
i
i
0
i
Z TX
L
d L
=
(0 , 0 )ci (t)
(0 , 0 )ci (t)
q
dt
vi
i
0
i
T

L
(0 , 0 )ci (t) dt
+
vi
0

Z T X
L
d L
=
(0 , 0 )
(0 , 0 ) ci (t) dt,
q
dt
vi
i
0
i
onde a segunda igualdade segue por integraca

o por partes. Como
isto e v
alido para todo ci tal que ci (0) = ci (T ) = 0, conclumos a
demonstraca
o.

Diferentes funco
es lagrangianas correspondem a diferentes sistemas fsicos, e a evoluca
o de cada sistema e descrita pelas soluco
es
das equaco
es de Euler-Lagrange associadas.
i
i
EGD2806
2006/7/26
page 9
i
[SEC. 1.2: ABORDAGEM VARIACIONAL
Veremos agora como uma mudanca de vari

aveis pode transformar
as equaco
es de Euler-Lagrange nas equaco
es de Hamilton. Considere
a aplicaca
o FL : R2n R2n , dada por
FL(q1 , ..., qn , v1 , ..., vn ) = (q1 , ..., qn ,
L
L
(q, v), ...,
(q, v)), (1.2.1)
v1
vn
chamada transformada de Legendre associada a L. Supondo que FL

seja um difeomorfismo, obtemos novas coordenadas (q, p) em R2n ,
e chamado de momento generalizado. Definimos a
onde p = L
v
hamiltoniana associada a L como
H(q, p) =
n
X
i=1
pi vi L(q, v).
Temos ent
ao que
n
X vj
L X L vj
L
H
pj
=
=
qi
q
q
v
q
q
i
i
j
i
i
j=1
j=1
n
X
H
vj
L vj
= vi +
pj
= vi .
pi
p
v
i
j pi
j=1
Consequentemente, as equaco
es de Euler-Lagrange s
ao equivalente a
`s
equaco
es de Hamilton
H dpi
H
dqi
=
,
=
.
dt
pi
dt
qi
P3
2
Exerccio: Considere em R3 R3 a lagrangiana L(q, v) = m
i=1 vi
2
V (q). Verifique que, neste caso, a transformada de
Legendre
e
um
difeoP3
1 2
morfismo e a hamiltoniana associada e H(q, p) =
i=1 2m pi + V (q), ou
seja, a mesma da seca
o anterior.
Observa
c
ao: Uma pergunta natural e quando pontos crtico de
AL s
ao, de fato, pontos de mnimo do funcional de aca
o. Isso n
ao
e verdade em geral (pense, por exemplo, nas geodesicas da esfera
S 2 ), mas pode-se mostrar que, se o determinante da matriz Hessiana
i
i
10
EGD2806
2006/7/26
page 10
i
[CAP. 1: ORIGEM DA GEOMETRIA SIMPLETICA
2L
vi vj
for positivo, ent

ao soluco
es da equaca
o de Euler-Lagrange
minimizam a aca
o em intervalos de tempo suficientemente pequenos.
Sob certas condico
es de crescimento de L no infinito, prova-se ainda
que sempre existe uma soluca
o ligando dois pontos quaisquer em Rn .
1.3
Geometriza
c
ao das equa
co
es de Hamilton
Vimos nas seco

es anteriores como as equaco
es de Hamilton podem ser
derivadas das equaco
es de Newton e de Euler-Lagrange. Nesta seca
o,
colocaremos as equaco
es de Hamilton em um contexto geometrico
atraves de uma formulaca
o intrnseca. Isso nos permitir
a definir, no
Captulo 6, sistemas hamiltonianos em variedades diferenci
aveis.
Considere o espaco de fase R2n , com coordenadas (q1 , . . . , qn , p1 ,
. . . , pn ). A escolha de qualquer funca
o H C (R2n ) determina um
campo hamiltoniano
XH := J0 H =
3
X
H
H
,
p
q
qi pi
i
i
i=1
onde J0 e a matriz 2n 2n dada por

0 I
J0 =
.
I 0
(1.3.1)
(1.3.2)
A funca
o H e chamada de hamiltoniana, e as equaco
es de Hamilton
(1.1.2) assumem a forma
c(t)
= XH (c(t)),
(1.3.3)
onde c(t) = (q1 (t), . . . , qn (t), p1 (t), . . . , pn (t)). Note que H e sempre
preservado ao longo das soluco
es de (1.3.3):
d
H(c(t)) = H(c(t)) c(t)
= H(c(t)) J0 H(c(t)) = 0.
dt
Essa propriedade (junto a outras que veremos mais tarde) d
a ao formalismo hamiltoniano seu car
ater conservativo.
i
i
DAS EQUAC
[SEC. 1.3: GEOMETRIZAC

AO
OES
DE HAMILTON
EGD2806
2006/7/26
page 11
i
11
Note que na definica

o de XH em (1.3.1) usamos dois ingredientes:
uma base de R2n (com respeito a qual calculamos o gradiente H) e
a matriz J0 . Esses dois ingredientes combinados definem uma forma
bilinear anti-simetrica n
ao-degenerada dada por
0 (u, v) := ut J0 v,
P
o de Hamilton
ou, equivalentemente, 0 = i dqi dpi . A equaca
pode ent
ao ser vista como o gradientede H com respeito a 0 , ou
seja, XH e o unico campo que satisfaz a equaca
o
0 (XH , v) = dH(v)
para todo v R2n . Isto motiva a definica
o de espacos vetoriais
simpleticos que veremos no pr
oximo captulo.
i
i
EGD2806
2006/7/26
page 12
i
Captulo 2
Algebra
linear
simpl
etica
2.1
Espa
cos vetoriais simpl
eticos
Seja V um espaco vetorial real, e seja : V V R uma forma

bilinear anti-simetrica. Dizemos que a forma e n
ao-degenerada, ou
simpletica, se
(u, v) = 0 v V = u = 0.
(2.1.1)
Nesse caso, o par (V, ) e um espaco vetorial simpletico. Dois espacos
vetoriais simpleticos (V1 , 1 ) e (V2 , 2 ) s
ao simplectomorfos se existe
um isomorfismo linear : V1 V2 tal que
2 = 1 .
Com a escolha de uma base {e1 , e2 , . . . , em } de V , podemos representar qualquer forma bilinear anti-simetrica unicamente por uma
matriz anti-simetrica
A = [Aij ], Aij = (ei , ej ),
f
de modo que (u, v) = ut Av. E
acil ver que a forma e simpletica
se e somente se A e uma matriz invertvel. Por outro lado, a forma
12
i
i
[SEC. 2.1: ESPAC

OS VETORIAIS SIMPLETICOS
EGD2806
2006/7/26
page 13
i
13
define uma aplicaca

o linear
] : V V , ] (u)(v) := (u, v),
de modo que e simpletica se e somente se ] e uma bijeca
o.
Exemplos 2.1.1.
a) Se V = R2n , ent
ao
0 (u, v) := ut J0 v
define uma forma simpletica representada pela matriz J0 definida em (1.3.2) na base can
onica {e1 , . . . , en , f1 , . . . , fn }. Em
outras palavras, 0 e definida pelas condico
es:
0 (ei , ej ) = 0, 0 (ei , fj ) = ij , 0 (fi , fj ) = 0.
b) Seja W um espaco vetorial real de dimens
ao n, e seja W seu
dual. Ent
ao o espaco vetorial V = W W possui uma estrutura simpletica natural dada por
((w, ), (w0 , 0 )) := 0 (w) (w0 ),
e todo isomorfismo T : W W determina um simplectomorfismo T (T 1 ) : V V .
c) Seja V um espaco vetorial complexo de dimens
ao n sobre C.
Seja h : V V C um produto interno hermitiano e =
Im(h) a parte imagin
aria de h. Ent
ao define uma estrutura
simpletica em V , visto como espaco vetorial real, e qualquer
transformaca
o linear unit
aria e automaticamente um simplectomorfismo.
d) Se (V1 , 1 ) e (V2 , 2 ) s
ao espacos vetoriais simpleticos, ent
ao
V1 V2 e espaco vetorial simpletico com a forma produto
((u1 , u2 ), (v1 , v2 )) := 1 (u1 , v1 ) + 2 (u2 , v2 ).
i
i
14
EGD2806
2006/7/26
page 14
i
[CAP. 2: ALGEBRA
LINEAR SIMPLETICA
2.2
Subespa
cos
Em um espaco vetorial com produto interno, todo subespaco herda

um produto interno do espaco ambiente. Em um espaco vetorial
simpletico, por outro lado, subespacos podem herdar tipos de estruturas diferentes.
Seja (V, ) um espaco vetorial simpletico. Dado um subespaco
W V , definimos seu ortogonal simpletico como o subespaco:
W := {v V | (v, w) = 0 w W }.
O subespaco W V e chamado
simpletico se W W = {0},
isotr
opico se W W ,
coisotr
opico se W W ,
lagrangiano se W = W .
Note que W e isotr
opico se e somente se a restrica
o de a W
e zero, e e lagrangiano se e somente se W e isotr
opico e maximal
(i.e., n
ao est
a propriamente contido em nenhum outro subespaco
isotr
opico); por outro lado, W e simpletico se e somente se a restrica
o de a W e n
ao-degenerada, de modo que (W, |W ) e um
espaco vetorial simpletico.
Embora em geral V 6= W + W , em termos de dimens
oes sempre
vale que
dim(V ) = dim(W ) + dim(W ).
(2.2.1)
Para provar (2.2.1), basta observar que a imagem de W pelo isomorfismo ] : V V e Ann(W ), o anulador de W . Portanto
dim(W ) = dim(Ann(W )) = dim(V ) dim(W ).
Segue ainda facilmente que (W ) = W .
Exemplos 2.2.1.
a) Qualquer subespaco unidimensional e isotr
opico. Como um
subespaco W e coisotr
opico se e somente se W e isotr
opico,
segue que todo subespaco de codimens
ao 1 e coisotr
opico.
i
i
EGD2806
2006/7/26
page 15
i
15
[SEC. 2.3: BASES SIMPLETICAS

E FORMA NORMAL
b) No Exemplo 2.1.1, parte b), tanto W quanto W s

ao subespacos
lagrangianos.
c) Para cada i, o subespaco gerado pelo par ei , fi no Exemplo
2.1.1, parte a), e simpletico.
Exerccio: Se (V1 , 1 ) e (V2 , 2 ) s
ao espacos vetoriais simpleticos, mostre
que um isomorfismo linear : V1 V2 e um simplectomorfismo se e
somente se o gr
afico de e lagrangiano em V1 V 2 , onde V 2 denota o
espaco simpletico (V2 , 2 ).
2.3
Bases simpl
eticas e forma normal
Seja (V, ) um espaco vetorial simpletico. Chamamos de base simpletica de V uma base com 2n vetores {e1 , . . . , en , f1 , . . . , fn } para a qual
valem as relaco
es
(ei , ej ) = 0, (ei , fj ) = ij , (fi , fj ) = 0.
(2.3.1)
Assim, numa base simpletica a forma e representada pela matriz

0 I
,
(2.3.2)
I 0
onde I e a matriz identidade n n.
O pr
oximo resultado e o an
alogo simpletico do fato de que todo
espaco vetorial com produto interno admite uma base ortonormal.
Teorema 2.3.1. Todo espaco vetorial simpletico (V, ) admite uma
base simpletica.
o: Escolha e1 6= 0. Como e n
Demonstrac
a
ao-degenerada, existe
f1 V tal que
(e1 , f1 ) = 1.
Seja W1 o subespaco gerado por {e1 , f1 }. Note que W1 e simpletico,
e portanto V = W1 W1 .
Como W1 e simpletico, podemos repetir a construca
o ate obtermos uma decomposica
o
V = W1 W2 . . . W n ,
i
i
16
EGD2806
2006/7/26
page 16
i
[CAP. 2: ALGEBRA
LINEAR SIMPLETICA
onde cada Wi e gerado por ei , fi tal que (ei , fi ) = 1. Por construca

o,
se i < j, ent
ao Wj Wi , portanto seguem as relaco
es (2.3.1).

Corol
ario 2.3.2. Todo espaco simpletico e simplectomorfo a (R2n , 0 )
(descrito no Exemplo 2.1.1, parte a)) para algum n.
Em particular, todo espaco vetorial simpletico tem dimens
ao par.
Alem disso, se (V, ) e espaco simpletico de dimens
ao 2n, segue facilmente de (2.2.1) que W V e lagrangiano se e somente se W e
isotr
opico e
dim(V )
dim(W ) =
= n.
2
Exemplo 2.3.3. Se {w1 , . . . , wn } e base de um espaco vetorial W ,
e se {1 , . . . , n } e base dual, ent
ao {w1 , . . . , wn , 1 , . . . , n } e base
simpletica de W W descrito no Exemplo 2.1.1, parte b).
Por outro lado, se {e1 , . . . , en } e base complexa ortonormal para
um espaco complexo hermitiano, ent
ao {e1 , . . . , en , ie1 , . . . , ien } e base
simpletica para o Exemplo 2.1.1, parte c).
2.4
Estruturas complexas compatveis
Se V e um espaco vetorial sobre C munido de um produto interno

hermitiano h, vimos no Exemplo 2.1.1, parte c), que a parte imagin
aria de h define uma forma simpletica em V (visto como espaco
vetorial real). Mostraremos agora a recproca: se (V, ) e um espaco
vetorial simpletico, ent
ao V admite uma estrutura de espaco vetorial complexo e pode ser vista como a parte imagin
aria de uma
estrutura hermitiana.
Se V e um espaco vetorial real, lembremos que uma estrutura complexa em V e um endomorfismo linear J : V V tal que J 2 = Id.
Note que fixar uma estrutura complexa J e equivalente a munir V de
uma estrutura de espaco vetorial sobre C, j
a
que podemos identificar
o operador J com a multiplicaca
o por i = 1, i.e., J(v) = i v,
para todo v V . Nos referimos ao par (V, J) como um espaco vetorial complexo, e dizemos que (V, J) e (V 0 , J 0 ) s
ao isomorfos se existe
um isomorfismo linear : V V 0 tal que J = J 0 .
i
i
EGD2806
2006/7/26
page 17
i
17
[SEC. 2.4: ESTRUTURAS COMPLEXAS COMPATIVEIS
Exerccio: Mostre que uma estrutura complexa J : V V e equivalente

a escolha de um subespaco V10 V C tal que V C = V10 V10 . (Dica:
considere os autoespacos de J.)
Exemplo 2.4.1. A matriz J0 , definida em (1.3.2), e uma estrutura

simples verificar que a identificaca
complexa em V = R2n . E
o de
2n
n
R com C , (q, p) 7 q + ip, e um isomorfismo de espacos vetoriais
complexos.
Seja (V, ) um espaco vetorial simpletico. Uma estrutura complexa em V e compatvel com (ou simplesmente -compatvel ) se,
para u, v V ,
g(u, v) := (u, Jv),
(2.4.1)
define um produto interno (nessas notas, a menos que se mencione o
contr
ario, sempre assumimos que produtos internos sejam positivodefinidos). Explicitamente, as condico
es de compatibilidade (i.e.,
simetria e positividade de g) s
ao
(Ju, Jv) = (u, v),
(u, Ju) > 0, u 6= 0.
(2.4.2)
Exerccio: Seja J uma estrutura complexa -compatvel em V . Se W V

e um subespaco, mostre que JW = W , onde W e o ortogonal de W
com respeito ao produto interno (2.4.1).
f
E
acil ver que se h(u, v) = g(u, v)+i(u, v) e um produto interno
hermitiano em (V, J), ent
ao g e dado por (2.4.1). Segue, portanto,
que J e -compatvel se e somente se e a parte imagin
aria de uma
estrutura hermitana em (V, J).
Teorema 2.4.2. Seja (V, ) um espaco vetorial simpletico. Ent
ao
cada produto interno G em V define, de forma can
onica, uma estrutura complexa J : V V que e -compatvel.
o: Seja G um produto interno em V . Como G] :
Demonstrac
a
]
V V , G (u)(v) = G(u, v), e um isomorfismo, segue que existe um
u
nico automorfismo linear A : V V tal que
(u, v) = G(Au, v), u, v V,
i
i
18
EGD2806
2006/7/26
page 18
i
[CAP. 2: ALGEBRA
LINEAR SIMPLETICA
i.e., A = (G] )1 ] . Note que A e anti-simetrico com respeito a G,

j
a que
G(At u, v) = G(u, Av) = (v, u) = G(Au, v).
Como consequencia, temos que, na decomposica
o polar de A,
A = J|A|,
onde |A| = (At A)1/2 = (A2 )1/2 ,
o operador ortogonal J e o operador positivo-definido |A| comutam.

Ent
ao A2 = J 2 A2 , e portanto J 2 = Id. Note ainda que
(u, Jv) = G(Au, Jv) = G(JAu, v) = G(|A|u, v)
define um produto interno, mostrando a compatibilidade de J e .
(Observe, contudo, que o produto interno associado ao par J e , em
geral, difere de G.)

Observa
c
ao: A existencia de uma estrutura complexa -compatvel
num espaco vetorial simpletico pode ser facilmente obtida se usarmos
uma base simpletica e1 , . . . , en , f1 , . . . , fn : basta definir Jei = fi e
Jfi = ei , i = 1, . . . , n. A vantagem da demonstraca
o apresentada
no teorema anterior e que n
ao fazemos qualquer menca
o a bases. Por
ser can
onica (a menos da escolha do produto interno), a demonstraca
o
se aplica diretamente a fibrados vetoriais simpleticos, e isso ser
au
til
mais adiante.
Seja J (V, ) o conjunto de todas a estruturas complexas em V
que s
ao -compatveis, visto como subconjunto do espaco vetorial
dos endomorfismos de V , e munido da topologia induzida. Denote
por Riem(V ) o conjunto de todos os produtos internos em V , que
e um subconjunto aberto e convexo do espaco vetorial de todas a
formas simetricas em V . O Teorema 2.4.2 nos fornece uma aplicaca
o
contnua : Riem(V ) J (V, ). Seja : J (V, ) Riem(V ) a
aplicaca
o que associa a cada estrutura complexa -compatvel J o
produto interno (2.4.1).
Exerccio: Verifique que = Id.
Como Riem(V ) e um subconjunto convexo de um espaco vetorial,

e contr
atil. Tome t : Riem(V ) Riem(V ) uma contraca
o, isto e,
t [0, 1], 0 = Id e 1 e uma aplicaca
o tendo como imagem um u
nico
ponto de Riem(V ).
i
i
[SEC. 2.4: ESTRUTURAS COMPLEXAS COMPATIVEIS
EGD2806
2006/7/26
page 19
i
19
Corol
ario 2.4.3. O espaco J (V, ) e contr
atil.
o: Basta verificar que t define uma contraca
Demonstrac
a
o
de J (V, ).

A contratibilidade de J (V, ) e um fato importante em topologia
simpletica e ser
a usado no Captulo 7.
i
i
EGD2806
2006/7/26
page 20
i
Captulo 3
Variedades simpl
eticas
P
Vimos no Captulo 1 como a forma simpletica 0 =
i dpi dqi
nasce a partir de uma geometrizaca
o das equaco
es de Hamilton, ou
seja, de maneira a expressar campos hamiltonianos como gradientes
simpleticos. Em seguida, no Captulo 2, vimos que espacos vetoriais
simpleticos de dimens
ao 2n s
ao todos isomorfos a (R2n , 0 ).
Podemos definir uma variedade simpletica usando (R2n , 0 ) como
modelo local e assumindo a existencia de um atlas simpletico, ou
seja, um atlas cujas mudancas de cartas preservam 0 . Seguiremos
aqui, contudo, o caminho usual (e mais simples) de se definir uma
estrutura simpletica como uma 2-forma fechada e n
ao-degenerada,
e mostraremos no Captulo 4 a equivalencia desta definica
o com a
existencia de um atlas simpletico.
Neste captulo, assumiremos que o leitor tenha familiaridade com
a teoria das variedades diferenci
aveis, incluindo formas diferenciais,
campos de vetores, derivadas de Lie, etc. O material pode ser encontrado, e.g., em [2, 39].
3.1
Defini
c
ao
Seja M uma variedade suave. Dizemos que uma 2-forma 2 (M )

e n
ao-degenerada se x e n
ao-degenerada em cada ponto x M , de
modo que cada espaco tangente e um espaco vetorial simpletico.
20
i
i
EGD2806
2006/7/26
page 21
i
21
[SEC. 3.1: DEFINIC

AO
Exerccio: Suponha que dim(M ) = 2n. Verifique que 2 (M ) e

n
n
ao-degenerada se e somente se n! 2n (M ) e uma forma de volume.
Uma estrutura simpletica em M e uma 2-forma 2 (M ) que

e n
ao-degenerada e tal que d = 0. Nesse caso o par (M, ) e uma
variedade simpletica .
Segue do exerccio anterior que toda variedade simpletica de dimens
ao 2n possui uma forma de volume
:=
n
n!
(3.1.1)
chamada forma de Liouville . Portanto, toda variedade simpletica e

orient
avel.
Duas variedades simpleticas (M1 , 1 ) e (M2 , 2 ) s
ao simplectomorfas se existe um difeomorfismo : M1 M2 preservando as
formas simpleticas, ou seja,
2 = 1 .
Denotamos o grupo de simplectomorfismos de uma variedade simpletica
(M, ) nela mesma por Simp(M, ) Dif(M ).
Exemplo 3.1.1. Seja U um aberto de R2n = {(q1 , . . . , qn , p1 , . . . , pn )},
munido com a 2-forma
0 :=
n
X
i=1
dqi dpi .
Em cada ponto de U, a matriz associada a 0 e (2.3.2), portanto 0

e n
ao-degenerada. Obviamente, 0 e fechada,
e portanto simpletica.
P
Note que, de fato, 0 = d, onde = i pi dqi .
Veremos mais a frente que toda variedade simpletica e localmente simplectomorfa a um aberto de R2n com a estrutura simpletica
descrita no u
ltimo exemplo (teorema de Darboux). Este resultado
ilustra um aspecto fundamental da geometria simpletica: formas
simpleticas s
ao localmente rgidas, n
ao somente na vizinhanca de pontos, mas tambem de certas subvariedades. Trataremos essas quest
oes
no Captulo 4.
i
i
22
EGD2806
2006/7/26
page 22
i
[CAP. 3: VARIEDADES SIMPLETICAS
Exemplo 3.1.2. Seja uma superfcie orientada, e seja 2 ()

uma forma de a
rea. Por definica
o, e n
ao-degenerada. Alem disso,
d = 0 automaticamente, j
a que estamos em dimens
ao 2. Portanto
e simpletica.
Simplectomorfismos, nesse exemplo, s
ao difeomorfismos preservando a
rea. Veremos no Captulo 4 que duas superfcies orientadas
compactas s
ao simplectomorfas se e somente se elas tem o mesmo
genero e mesma a
rea total.
Exemplo 3.1.3. Sejam (M1 , 1 ) e (M2 , 2 ) duas variedades simpleticas. Seja M = M1 M2 , e considere as projeco
es pri : M Mi .
Ent
ao = pr1 1 + pr2 3 e uma forma simpletica em M .
Exemplo 3.1.4. Como observamos no Exemplo 2.4.1, podemos identificar R2n com Cn , de modo que
o linear J0 torna-se sim a aplicaca
plesmente a multiplicaca
o por 1. Temos que para todo v R2n ,
0 (v, J0 v) = kvk2 6= 0 se v 6= 0. Em particular, 0 e n
ao-degenerada
em toda subespaco complexo de Cn . Consequentemente, qualquer
subvariedade complexa de Cn e simpletica.
3.2
Fibrados cotangentes
Veremos nesta seca

o que todo fibrado cotangente possui uma estrutura simpletica can
onica, e portanto qualquer variedade est
a naturalmente associada a uma variedade simpletica. Tal estrutura simpletica
e a generalizaca
o da forma simpletica can
onica em R2n e aparece naturalmente no estudo de sistemas mec
anicos cl
assicos, veja [1, 5, 28].
Como veremos no pr
oximo captulo, fibrados cotangentes servem
tambem de modelo local para vizinhancas de certas subvariedades
(veja Teorema 4.3.2).
Sejam Q uma variedade e M = T Q seu fibrado cotangente. Denotamos por : M = T Q Q a projeca
o natural, e consideramos a
aplicaca
o tangente d : T M T Q. Definimos a 1-forma tautol
ogica
1 (M ) por
p (Xp ) := hp, dp (Xp )i, p M, Xp Tp M.
(3.2.1)
Como p T(p)
Q e dp (Xp ) T(p) Q, o lado direito da equaca
o
acima denota a contraca
o usual entre um espaco vetorial e seu dual.
i
i
EGD2806
2006/7/26
page 23
i
23
[SEC. 3.2: FIBRADOS COTANGENTES
A forma can
onica de T Q e definida como
:= d.
(3.2.2)
Para verificar que e de fato simpletica, vamos usar sua express

ao
em coordenadas locais: tome coordenadas locais (x1 , . . . , xn ) em Q, e
sejam (x1 , . . . , xn , 1 , . . . , n ) coordenadas cotangentes em T Q. Note
que
!

!

dp
=
,
dp
= 0,
xj
xj
j
p
onde p = (x, ) T Q. Usando (3.2.1) vemos que

!
!

= j ,
p
= 0,
p
xj p
j p
de onde segue que
p =
n
X
j dxj .
(3.2.3)
j=1
Portanto, em coordenadas locais, temos

=
n
X
j=1
dxj dj ,
(3.2.4)
e vemos que e de fato uma estrutura simpletica em T Q.

O pr
oximo exerccio oferece uma caracterizaca
o u
til da 1-forma
.
Exerccio: Mostre que a 1-forma tautol
ogica 1 (T Q) e unicamente
caracterizada pela seguinte propriedade: para todo 1 (Q),
= ,
(3.2.5)
onde, no lado esquerdo de (3.2.5), estamos considerando a 1-forma como

uma aplicaca
o : Q T Q.
Observe que todo difeomorfismo : Q1 Q2 induz, naturalmente, um difeomorfimo dos fibrados cotangentes,
b = (d1 ) : T Q1 T Q2 ,
(3.2.6)
i
i
24
EGD2806
2006/7/26
page 24
i
satisfazendo 1
b = 2 , onde i : T Qi Qi e a projeca
o
can
onica. Aqui d : T Q1 T Q2 e a aplicaca
o tangente de . A
aplicaca
o (3.2.6) e chamada levantamento cotangente de .
Proposi
c
ao 3.2.1. O levantamento cotangente
b : T Q1 T Q2
preserva formas tautol
ogicas,
()
b 2 = 1 .
o: Temos, por definica

Demonstrac
a
o, que (i )pi = (dpi ) i , onde
pi = (xi , i ) T Qi , i = 1, 2. Portanto, se p2 = (p
b 1 ), temos
b (dp2 ) 2 = (dp1 ) (dp1 ) 2 = (1 )p1 ,
b (p2 ) = (dp1 )
(dp1 )
onde, na segunda igualdade, usamos que

b = , e na terceira
igualdade usamos que 1 = (dx1 ) 2 .

Segue imediatamente da proposica
o anterior que
b 2 = 1 ,
e portanto
b : T Q1 T Q2 e um simplectomorfismo. Temos assim
uma inclus
ao natural
Dif(Q) , Simp(T Q, ), 7 .
b
Todavia, esta inclus

ao est
a longe de ser uma identificaca
o. O
exerccio abaixo ilustra outros simplectomorfismos de T Q. Veremos
muitos outros exemplos no Captulo 6.
Exerccio: Tome 1 (M ), e defina : T Q T Q, (x, ) 7 + x .
Mostre que
= .
Conclua que e um simplectomorfismo se e somente se e fechada.
Existem tambem outras formas simpleticas em fibrados cotangentes obtidas da seguinte maneira: seja B uma 2-forma fechada em
Q e considere em T Q a 2-forma
B := + B.
i
i
[SEC. 3.3: OUTROS EXEMPLOS IMPORTANTES
EGD2806
2006/7/26
page 25
i
25
Evidentemente, B e fechada e e f
acil ver que e n
ao-degenerada, o
que deixamos ao leitor como um exerccio. Tais formas simpleticas,
chamadas formas simpleticas twist, possuem uma motivaca
o fsica em
termos de fluxos magneticos, como veremos no Captulo 6.
Exerccio: Verifique que, se B, B 0 2 (Q) s
ao cohom
ologas, com B
B 0 = d, ent
ao : (T Q, B ) (T Q, B 0 ) e um simplectomorfismo.
3.3
Outros exemplos importantes
As duas subseco
es a seguir tratam de duas importantes classes de exemplos de variedades simpleticas: variedades K
ahler e o
rbitas coadjuntas. Estas subseco
es usam alguns fatos elementares sobre vari
aveis
complexas e grupos de Lie e s
ao independentes dos demais captulos.
3.3.1
Variedades K
ahler
Vimos no Exemplo 2.1.1, parte c), e na Seca

o 2.4, a relaca
o entre estruturas complexas e simpleticas em espacos vetoriais. Discutiremos
nesta seca
o o problema an
alogo em variedades.
Seja M uma variedade suave. Uma estrutura quase-complexa em
M e um automorfismo J : T M T M tal que J 2 = Id. Em outras palavras, cada espaco tangente Tx M e munido de uma estrutura
complexa Jx , de modo que Jx varia suavemente em x.
Se (M, ) e uma variedade simpletica e J e uma estrutura quasecomplexa em M , ent
ao dizemos que J e -compatvel se, para todo
x M , Jx e x -compatvel em Tx M . Assim, e J definem uma
metrica riemanniana g em M dada por
gx : Tx M Tx M R, gx (X, Y ) = x (X, Jx Y ).
A metrica g e chamada de metrica associada. Denotamos por J (M, )
o espaco das estruturas quase-complexas em M que s
ao -compatveis.
Assim como no caso linear, temos:
Teorema 3.3.1. Seja (M, ) uma variedade simpletica. Ent
ao existem estruturas quase-complexas -compatveis.
i
i
26
EGD2806
2006/7/26
page 26
i
Para provar o teorema, escolha uma metrica riemanniana qualquer

em M e note que a demonstraca
o do Teorema 2.4.2 pode ser adaptada
sem problemas para o fibrado tangente.
Exerccio: Mostre que, assim como no caso linear, o espaco J (M, ) e
contr
atil. (Dica: Note que J (M, ) pode ser visto como o espaco de seco
es
de uma fibraca
o sobre M , com fibras J (Tx M, x ), e j
a mostramos no
Cor. 2.4.3 que essas fibras s
ao contr
ateis.)
Observa
c
ao: Note que n
ao foi usado ate aqui o fato de ser
fechada. Portanto o que discutimos vale, sem modificaco
es, para
2-formas n
ao-degeneradas, tambem chamadas de quase-simpleticas.
Exerccio: Mostre a seguinte recproca do Teorema 3.3.1: se (M, J) e
uma variedade quase-complexa, ent
ao existem estruturas quase-simpleticas
compatveis com J. (Dica: Mostre que qualquer metrica riemanniana em
M pode ser modificada de modo a satisfazer g(X, Y ) = g(JX, JY ), e defina
por (X, Y ) = g(JX, Y ).)
Uma variedade quase-K

ahler e uma variedade simpletica (M, )
equipada com uma estrutura quase-complexa compatvel J.
Exerccio: Uma subvariedade N , M de uma variedade quase-complexa
e uma subvariedade quase-complexa se J(T N ) T N . Mostre que, se
M e quase-K
ahler, ent
ao uma subvariedade quase-complexa N herda uma
estrutura simpletica de M , e que, com respeito a
`s estruturas induzidas, N
e uma variedade quase-K
ahler.
Uma estrutura quase-complexa J em M e integr

avel se existe
um atlas {U , } no qual as cartas locais : U V R2n

satisfazem
d J = J0 d ,
(3.3.1)
onde J0 e a estrutura complexa can

onica de R2n (Exemplo 2.4.1).
2n
n
Identificando (R , J0 ) com C , a condica
o (3.3.1) se torna
d J = id ,
(3.3.2)
f
e a aplicaca
o e dita J-holomorfa. E
acil ver que, neste caso, as
mudancas de coordenadas
= 1
: V V
i
i
EGD2806
2006/7/26
page 27
i
27
s
ao holomorfas (i.e., id = d i), onde V = (U U ) e
V = (U U ). Uma variedade munida de um atlas cujas funco
es
de transica
o s
ao holomorfas e uma variedade complexa, e este e o caso
de toda variedade quase-complexa integr
avel. Reciprocamente, toda
variedade complexa admite, canonicamente, uma estrutura
quase
complexa integr
avel (dada por multiplicaca
o por i = 1 em cada
carta do atlas complexo).
Uma variedade K
ahler e uma variedade quase-K
ahler (M, , J)
tal que a estrutura quase-complexa J e integr
avel. Em outras palavras,
M e uma variedade complexa equipada com uma forma simpletica
compatvel.
Exemplo 3.3.2.
a) R2n = {(qP
e1 , . . . , qn , p1 , . . . , pn )}, munido com a estrutura simpl
tica 0 = j dqj dpj (Exemplo 3.1.1) e a estrutura complexa
constante J0 (Exemplo 2.4.1) e uma variedade K
ahler; a metrica
associada e a metrica euclideana usual. Se identificarmos R2n
com Cn , com coordenadas zj = qj +ipj , a estrutura
complexa J0
torna-se simplesmente a multiplicaca
o por i = 1, enquanto
que a forma simpletica can
onica se escreve como
0 =
iX
dzj dz j ,
2 j
onde dzj = dqj + idpj e dz j = dqj idpj .

b) Em superfcies, pode-se mostrar que toda estrutura quase-complexa e automaticamente integr
avel. Como toda superfcie orient
avel e simpletica, e como toda estrutura simpletica admite
estruturas quase-complexas compatveis, segue que toda superfcie orient
avel e K
ahler.
c) Toda subvariedade complexa de uma variedade K
ahler e K
ahler.
d) Os espacos projetivos complexos CP n s
ao variedades K
ahler.
Segue da parte c), portanto, que variedades projetivas n
aosingulares s
ao variedades K
ahler.
i
i
28
EGD2806
2006/7/26
page 28
i
Trataremos o exemplo dos espacos projetivos com mais detalhe

ainda nesta seca
o. Antes, contudo, precisamos de uma descrica
o local
mais explcita de formas simpleticas em variedades K
ahler usando
coordenadas complexas.
Seja (M, J) uma variedade complexa. Considere uma vizinhanca
U com coordenadas complexas zj = xj +iyj , onde x1 , . . . , xn , y1 , . . . , yn
s
ao coordenadas reais. Defina as 1-formas complexas dzj , dz k
1 (U, C),
dzj = dxj + idyj , dz k = dxk idyk .
Exerccio: Considere
uma 1-forma arbitr
aria 1 (U , C), =
P
P
(U , C). Mostre que existem
a
dx
+
b
dy
,
onde
a
,
b
C
j
j k
k
j j
k k
funco
es a0j , b0k C (U , C), unicamente determinadas, satisfazendo
X
X
a0j dzj +
b0k dz k .
=
j
Como as formas dzj e d

zk s
ao preservadas por mudancas de coordenadas holomorfas, segue do exerccio anterior que o espaco das
1-formas complexas em M pode ser escrito como
1 (M, C) = 1,0 0,1 ,
onde 1,0 e o espaco das 1-formasPcomplexas que em coordenadas
complexas locais se escrevem como j aj dzj , enquanto que as formas
P
em 0,1 se escrevem localmente como k bk d
zk .
Analogamente, o espaco das 2-formas complexas em M admite a
decomposica
o
2 (M, C) = 2,0 1,1 0,2 ,
onde, em
de 2,0 s
ao da
P coordenadas complexas locais, elementos
1,1
a
dz
dz
,
os
elementos
de
se
escrevem
como
forma
j
k
j<k jk
P
P
0,2
como j<k cjk d
zj d
zk . N
ao e difcil
jk bjk dzj dz k , e os de
ver que, em geral, temos uma decomposica
o an
aloga do tipo
m (M, C) = r+s=m r,s .
Seja r,s a projeca
o de m (M, C) no sub-espaco r,s . A partir da
derivada exterior d : m (M, C) m+1 (M, C), podemos definir dois
i
i
EGD2806
2006/7/26
page 29
i
29
outros operadores:
= r+1,s d : r,s r+1,s
= r,s+1 d : r,s r,s+1 .

(3.3.3)
Exerccio: Para f C (M, C), observe que df = f + f . Use este fato

para concluir que d = + em geral. Como d2 = 0, conclua que
2 = 0,
= ,
= 0.
Proposi
c
ao 3.3.3. Seja (M, J) uma variedade complexa e 2 (M, C).
Ent
ao define uma estrutura K
ahler se e somente se:
i) 1,1 ,
P
hjk dzj d
zk , onde (hjk ) e uma
ii) Localmente, temos = 2i
matriz positiva-definida em cada ponto,
iii) = 0, = 0.
o: Em coordenadas complexas locais, escrevemos
Demonstrac
a
X
X
X
cjk d
zj d
zk ,
=
ajk dzj dzk +
bjk dzj dz k +
onde ajk , bjk , cjk C (U, C). A primeira condica

o de compatibilidade entre e J em (2.4.2) e que J = . Usando as relaco
es
J dzj = idzj e J d
zj = id
zj , e f
acil ver que J = se e somente
se ajk = cjk = 0, i.e., 1,1 . Tomando bjk = 2i hjk , temos a
express
ao local
iX
hjk dzj d
zk ,
=
2
jk
e vale que toma valores reais (i.e., = ) se e somente hjk = hkj ,

ou seja, a matriz (hjk ) e hermitiana em cada ponto. Alem disso,
e n
ao-degenerada se e somente se a matriz (hjk ) e n
ao-singular,
enquanto que a segunda condica
o de compatibilidade entre e J
((X, JX) > 0 para X 6= 0) equivale a (hjk ) ser positiva-definida em
cada ponto.
i
i
30
EGD2806
2006/7/26
page 30
i
Finalmente, como 2,1 e 1,2 , segue que d =

+ = 0 se e somente se = 0 e = 0.

Considere numa carta complexa local os operadores

e
.
:=
i
:=
+i
zj
2 xj
yj
zj
2 xj
yj
Exerccio: Mostre que se f C (M, C), ent
ao, em coordenadas comP f
P f
plexas, temos f =
dzj e f =
d
zj
z
z
Corol
ario 3.3.4. Seja f C
(M, R) tal que, em coordenadas com2f
plexas locais, a matriz zj zk e positiva-definida em todo ponto.
Ent
ao := 2i f e uma forma simpletica K
ahler.
o: Usando os dois u
Demonstrac
a
ltimos exerccios, e imediato verificar as condico
es i), ii) e iii) da Prop. 3.3.3.

Podemos agora exibir a estrutura K
ahler dos espacos projetivos
complexos explicitamente.
Exemplo 3.3.5 (Espa
co projetivo complexo). O espaco projetivo complexo CP n e definido como o quociente de Cn+1 \{0} pela
relaca
o de equivalencia (z0 , . . . , zn ) (z0 , . . . , zn ), onde C .
Denotamos a classe de equivalencia de (z0 , . . . , zn ) por [z0 , . . . , zn ].
Para cada {0, 1, . . . , n}, considere o subconjunto de CP n dado
por
U := {[z0 , . . . , zn ] | z 6= 0},
e seja : U Cn a aplicaca
o dada por

z0
z1 z+1
zn
([z0 , . . . , zn ]) =
,...,
,
,...,
.
z
z
z
z
Exerccio: Considere o atlas de CP n dado por {(U , ), = 0, 1, . . . , n}.

Mostre que as funco
es de transica
o = 1
ao dadas por
s
1
(w1 , . . . , w , 1, w+1 , . . . , w1 , w+1 , . . . , wn ),
w
(3.3.4)
e portanto s
ao holomorfas.
(w1 , . . . , wn ) =
i
i
EGD2806
2006/7/26
page 31
i
31
Assim, temos em CP n uma estrutura complexa. Agora apresentamos a construca

o de uma estrutura simpletica compatvel. Considere
em Cn a funca
o complexa
f (z) = log(|z|2 + 1),
n
para z =
alculo direto mostra que a matriz

(z1 , . . . , zn ) C . Um c
2f
e
positiva-definida
em
todo
ponto (daremos um argumento
zj z k
alternativo abaixo), e segue do Corol
ario 3.3.4 que a 2-forma
#
"P
P
P
( j z j dzj ) ( k zk dz k )
i
i
j dzj dz j
P
P
F S = f =
2
2 1 + j zj z j
(1 + j zj z j )2
(3.3.5)
define uma estrutura K
ahler em Cn . Para definir uma estrutura
K
ahler em CP n , basta observarmos que F S e preservada pelas funco
es
de transica
o (3.3.4) do atlas construdo acima. Por exemplo,
01 (z1 , . . . , zn ) =
1
(1, z2 , . . . , zn ),
z1
e temos que
01
f (z) = f (z) log(|z1 |2 ) = f (z) log(z1 ) log(z 1 ).
Portanto
01
F S =
i
i
i
i
f = f + log(z 1 ) log(z1 ) = F S .
01
2
2
2
2
A forma simpletica em CP n dada em cartas por F S e chamada forma

de Fubini-Study .
Observa
c
ao: Apresentamos aqui um argumento alternativo para
a condica
o de positividade da forma de Fubini-Study, baseado na
seguinte propriedade de simetria. Seja U (n + 1) o grupo das transformaco
es lineares de Cn+1 que preservam o produto interno hermitiano can
onico. A aca
o natural de U (n + 1) em Cn+1 leva qualquer
linha complexa em qualquer outra, e portanto induz uma aca
o de
U (n + 1) em CP n que e transitiva.
Exerccio: Verifique que F S e preservada por essa aca
o.
i
i
32
EGD2806
2006/7/26
page 32
i
Em particular, para mostrar que a forma de Fubini-Study satisfaz

a condica
o de positividade do Corol
ario 3.3.4, e suficiente mostrar que
isto vale em um u
nico ponto. Usando a express
ao explcita para F S
em (3.3.5), e f
acil ver que no ponto z = 0 (que corresponde ao ponto
[1, 0, . . . , 0] em U0 ), esta forma coincide com a forma can
onica de Cn .
Concluimos que a condica
o de positividade e satisfeita em todo ponto
de CP n .
natural perguntarmos se toda variedade complexa que admite
E
uma estrutura simpletica, admite tambem uma estrutura simpletica
que seja compatvel. W. Thurston [37] mostrou que isso n
ao e verdade, ou seja, existem variedades que s
ao ao mesmo tempo complexas
e simpleticas mas n
ao admitem uma estrutura K
ahler. Daremos aqui
os ingredientes b
asicos do exemplo.
Exemplo 3.3.6 (Thurston). Considere R4 , com coordenadas (x1 , x2 ,
y1 , y2 ), munido da forma simpletica = dx1 dx2 + dy1 dy2 . Para
(a, b) Z2 Z2 , considere o difeomorfismo de R4 dado por
a,b (x1 , x2 , y1 , y2 ) = (x1 + a1 , x2 + a2 , y1 + b1 + a2 y2 , y2 + b2 )
onde a = (a1 , a2 ) e b = (b1 , b2 ). Temos que = {a,b | (a, b)
Z2 Z2 } e um subgrupo do grupo de difeomorfismos de R4 . Cada
elemento de e um simplectomorfismo de R4 , e portanto o quociente
M = R4 / e uma variedade simpletica compacta (localmente simplectomorfa a (R4 , )). Topologicamente, M e um fibrado de toros
T2 sobre o T2 , e possui tambem uma estrutura complexa (como consequencia da classificaca
o de Kodaira [25]).
Como e o grupo de transformaco
es de recobrimento de R4 M ,
segue que M tem grupo fundamental 1 (M ) = . Como o primeiro
grupo de homologia e a abelianizaca
o do grupo fundamental, segue
que H1 (M, Z) = /[, ], onde [, ] e o ideal gerado por comutadores em . Pode-se checar que [, ] = 0 0 Z 0, e portanto
H1 (M, Z) = Z Z Z. Com isso, segue que o primeiro n
umero de
betti de M e mpar, o que contraria o fato de que os os n
umeros
de betti mpares s
ao pares em uma variedade K
ahler compacta (isto
segue da decomposica
o de Hodge, veja [44, Cap. V]).
Para uma discuss
ao sobre outros exemplos (em variedades simplesmente conexas, em dimens
ao maior, etc.), veja [29, Seca
o 3.1] e
as referencias l
a contidas.
i
i
3.3.2
EGD2806
2006/7/26
page 33
i
33
Orbitas
coadjuntas
Exemplos importantes de variedades simpleticas aparecem na teoria

dos grupos de Lie. Faremos aqui uma breve incurs
ao no tema. O
leitor pode consultar, por exemplo, [19, 28] para mais detalhes.
Um grupo de Lie e um grupo G munido de uma estrutura de
variedade diferenci
avel para qual a multiplicaca
o m : G G G e
uma aplicaca
o suave; neste caso, a invers
ao g 7 g 1 tambem e suave,
como consequencia do teorema da funca
o implcita.
Para cada g G, as aplicaco
es Lg : G G, a 7 ga, e Rg : G
G, a 7 ag s
ao difeomorfismos, com (Lg )1 = Lg1 e (Rg )1 = Rg1 .
Dizemos que um campo de vetores X X(G) e invariante a
` esquerda
se (Lg ) X = X, e invariante a
` direita se (Rg ) X = X, g G. O
espaco dos campos de vetores invariantes a
` esquerda (resp. direita)
e denotado por XL (G) (resp. XR (G)). Note que cada u Te G
determina campos de vetores ul XL (G) e ur XR (G),
ulg = de Lg (u),
e urg = de Rg (u),
e isso nos define um isomorfismo de espacos vetoriais:

XL (G)
= Te G
= XR (G).
(3.3.6)
Uma a
lgebra de Lie (real) e um espaco vetorial (real) g munido de
um colchete [, ] : g g g que e bilinear, anti-simetrico e satisfaz a
identidade de Jacobi:
[[u, v], w] + [[w, u], v] + [[v, w], u] = 0.
Como o colchete de Lie de dois campos de vetores invariantes a
` esquerda e invariante a
` esquerda, podemos definir um colchete
[, ] : Te G Te G Te G, [u, v] = [ul , v l ](e),
com respeito ao qual Te G e uma a
lgebra de Lie, que denotamos por
g e denominamos a
lgebra de Lie de G.
Observa
c
ao: A definica
o do colchete em Te G em termos de campos
invariantes a
` direita resultaria no mesmo colchete com o sinal oposto.
i
i
34
EGD2806
2006/7/26
page 34
i
Qualquer espaco vetorial V e um grupo de Lie abeliano com respeito a soma de vetores. O grupo das matrizes reais n n invertveis,
denotado GL(n, R), e um grupo de Lie com respeito ao produto.
Como GL(n, R) e um aberto no espaco das matrizes Mn (R), seu
espaco tangente na identidade e o pr
oprio Mn (R). O colchete de Lie
e o comutador
[A, B] := AB BA.
Outros exemplos importantes s

ao dados por subgrupos de GL(n, R).
Exemplo 3.3.7.
a) O grupo linear ortogonal O(n) = {A GL(n, R) | At A =
Id}, ou seja, as transformaco
es lineares de Rn que preservam o
produto interno can
onico. A a
lgebra de Lie associada e u(n) =
{A Mn (R) | A = At }.
O grupo O(n) tem duas componentes conexas, caracterizadas

pelas condico
es det(A) = 1 ou det(A) = 1. O subgrupo
SO(n) = {A O(n) | det(A) = 1} e chamado grupo ortogonal
especial, e tem a mesma a
lgebra de Lie de O(n).
b) Podemos considerar tambem matrizes complexas. Assim temos

GL(n, C), o grupo das matrizes complexas invertveis. A a
lgebra
de Lie associada e Mn (C), com colchete dado pelo comutador.
Definimos o grupo U (n) = {A GL(n, C) | A A = Id} das
matrizes complexas que preservam o produto interno hermitiano can
onico de Cn . Sua a
lgebra de Lie e u(n) = {A
Mn (C) | A = A}. Note, por exemplo, que U (1) = S 1 e
o grupo dos n
umeros complexos com valor absoluto igual a 1.
De maneira mais geral, se V e um espaco vetorial (real, de dimens
ao finita), consideramos o grupo de Lie GL(V ) das transformaco
es lineares invertveis de V em V . A a
lgebra de Lie gl(V ) associada
e dada pelo espaco de todos os endomorfismos lineares de V , e o
colchete e o comutador.
Uma representaca
o de um grupo de Lie G num espaco vetorial V
e um homomorfismo de grupos de Lie : G GL(V ). A derivada
dessa aplicaca
o na identidade, de : g gl(V ), e ent
ao um homomorfismo de a
lgebras de Lie, e define uma representaca
o de g em
V.
i
i
EGD2806
2006/7/26
page 35
i
35
Dada uma representaca

o : G GL(V ) e um ponto x V , a
o
rbita de x e a subvariedade imersa Ox = {y V | g G, g (x) =
y} V , e vale que
Tx Ox = {de (u)(x) | u g},
(3.3.7)
V.
usando a identificaca
o Tx V =
Duas representaco
es can
onicas associadas a qualquer grupo de Lie
s
ao as seguintes:
Exemplo 3.3.8 (Representa
co
es adjunta e coadjunta).
a) Para g G, considere a aplicaca
o Ig : G G, Ig (a) = gag 1 .
Como Ig (e) = e, temos uma aplicaca
o linear
Adg := de Ig : g g.
O homomorfismo Ad : G GL(g), g 7 Adg , e a representaca
o
adjunta de G em g. Neste caso, a representaca
o de g em g
induzida pela derivada e
ad : g gl(g), u 7 adu ,
onde adu (v) = [u, v].
b) Podemos dualizar a representaca
o adjunta e obter a representaca
o
coadjunta
Ad : G GL(g ), g 7 Adg := (Adg1 ) ,
ou seja,hAdg (), ui = h, Adg1 ui, para g , u g. Note a
necessidade de tomarmos a adjunta com respeito a g 1 para que
tenhamos um homomorfismo de grupos. Ao nvel das a
lgebras
de Lie, temos a representaca
o
ad : g gl(g ), u 7 adu ,
definida por hadu (), vi = h, [u, v]i.
Exerccio: Suponha que g tenha um produto interno h, i que seja Adinvariante, ou seja, hAdg u, Adg ui = hu, vi, para todo g G. Mostre que a
identificaca
o g
= g induzida por este produto interno identifica tambem
as representaco
es adjunta e coadjunta.
i
i
36
EGD2806
2006/7/26
page 36
i
Como veremos agora, toda o

rbita coadjunta O , g possui uma
estrutura simpletica can
onica. Este fato e comumente atribudo a
Kostant-Kirillov-Souriau.
Considere g , e seja O a o
rbita coadjunta que passa por .
Segue de (3.3.7) que os vetores da forma adu () geram o espaco T O,
T O = {adu () | u g}.
ao
Note que se adu () = adu0 (), ent
h, [u u0 , v]i = (adu0 adu )() = 0,
para todo v g. Portanto, para g fixo, o valor de h, [u, v]i
depende apenas de adu e adv no ponto . Podemos, com isso, definir
uma forma bilinear anti-simetrica em T O por
(adu (), adv ()) := h, [u, v]i,
(3.3.8)
e segue imediatamente da definica

o que e n
ao degenerada. Obtemos assim uma 2-forma n
ao-degenerada em cada ponto de O.
Teorema 3.3.9. Seja O g uma o

rbita coadjunta. Ent
ao (3.3.8)
define uma 2-forma simpletica em O.
um fato b
o: E
Demonstrac
a
asico que a representaca
o adjunta
preserva o colchete de Lie, [Adg (u), Adg (v)] = Adg ([u, v]). Portanto
h(Ad)g , [Adg (u), Adg (v)]i = hAdg , Adg ([u, v])i = h, [u, v]i,
o que mostra que a 2-forma definida pontualmente por (3.3.8) e

invariante pelas transformaco
es adjuntas Adg . Como estas transformaco
es agem transitivamente na o
rbita O, segue que e de fato
suave. Resta verificar que e fechada.
Como g
= (g ) , podemos considerar g C (g ). Dado u g,
temos que du 1 (g ) e definido por (du) () = (u). Assim
(iadu () )(adv ()) = h, [u, v]i = (du) (adv ()),
e portanto iadu = du e exata (aqui pensamos em adu como um
campo de vetores em g , definido em g por adu () g
= T g ).
Usando a f
ormula de Cartan e a invari
ancia de , temos
iadu d = Ladu diadu = 0,
i
i
EGD2806
2006/7/26
page 37
i
37
ou seja, d = 0.
Exemplo 3.3.10.
a) Considere o grupo
SO(3) = {A GL(3, R) | At A = Id, det(A) = 1}.
Sua a
lgebra de Lie e so(3) = {A M3 (R) | A = At }. Podemos identificar so(3) com R3 de acordo com
u1
0
u3 u2
u2 7 u3
0
u1 .
u3
u2 u1
0
Com esta identificaca

o, o colchete de Lie em R3 e o produto
vetorial, i.e., [u, v] = u v, e a representaca
o adjunta toma a
forma
AdA (u) = Au, adu (v) = u v.
Como o produto interno usual de R3 e invariante pelas transformaco

es de SO(3), a identificaca
o R3
= (R3 ) por ele induzida
identifica tambem as representaco
es adjunta e coadjunta. Portanto as o
rbitas coadjuntas em R3 s
ao as esferas centradas na
origem, incluindo a o
rbita singular {0}. Assim, para cada r > 0,
temos a o
rbita coadjunta
Or = { R3 | kk = r}.
A forma simpletica em Or definida pelo Teorema 3.3.9 e
=
1
r ,
r
(3.3.9)
onde r e a forma de a
rea da esfera Or .
Exerccio: Use a identidade u (v w) = vhu, wi whu, vi para mostrar
que r (u , v ) = rh, u vi. Com isso, prove (3.3.9).
i
i
38
EGD2806
2006/7/26
page 38
i
b) Considere o grupo de Lie U (n) (Exemplo 3.3.7, parte b)). Sua

a
lgebra de Lie u(n), dada por matrizes complexas anti-hermitianas, possui um produto interno invariante pela representaca
o
adjunta,
(A, B) 7 tr(A B).
Podemos usar este produto interno para identificar u(n) com
u(n) . Como u(n) = iH, onde H = { Mn (C) | = } e
o espaco das matrizes hermitianas, temos a identificaca
o H
=
u(n) dada por

h, ui = tr(iu),
u u(n), H.
Com esta identificaca

o, a representaca
o coadjunta de U (n) em
H e
AdA () = AA1 .
Portanto duas matrizes em H est
ao na mesma o
rbita coadjunta
se e somente se elas tem o mesmo espectro. Assim, cada lista
de n n
umeros reais = (1 , . . . , n ), com 1 2 . . . n ,
define uma o
rbita coadjunta
O = { H | espectro() = }.
A topologia das o
rbitas varia de acordo com . Por exemplo, se
1 < 2 = . . . = n , ent
ao cada O e totalmente caracterizado por uma linha complexa em Cn ; pense nesta linha como o
autoespaco associado ao autovalor 1 , de modo que o seu complemento ortogonal em Cn e o autoespaco associado ao outro
autovalor. Portanto a linha complexa caracteriza a matriz
completamente. Assim, para 1 < 2 = . . . = n , temos
O = CP n1 ,
e obtemos, pelo Teorema 3.3.9, uma famlia a dois par
ametros
de formas simpleticas em CP n , todas m
ultiplas da forma de
Fubini-Study.
Mais geralmente, no caso 1 = 2 = . . . = k < k+1 = . . . =
n , cada ponto da o
rbita O e totalmente determinado por um
k-plano complexo em Cn , visto como o autoespaco associado ao
i
i
EGD2806
2006/7/26
page 39
i
39
[SEC. 3.4: OBSTRUC

OES
autovalor 1 , com multiplicidade k, de modo que o autoespaco

associado a k+1 , com multiplicidade (n k), e o seu complemento ortogonal. Assim, neste caso, temos
O = Gr(k, n),
a grassmanniana de k-planos em Cn .
Para 1 < 2 < . . . n , cada O e caracterizado pelos n
autoespacos Lj , ou, equivalentemente, pelos subespacos Ei =
ij Lj ,
E1 E 2 . . . E n = C n .
Em outras palavras, O e uma variedade flag completa. Para
os outros tipos de espectro, as o
rbitas s
ao variedades flag
incompletas.
Os exemplos anteriores ilustram ainda o fato geral de que o
rbitas
coadjuntas de grupos de Lie compactos s
ao n
ao apenas simpleticas,
mas de fato K
ahler.
3.4
Obstru
co
es
Vimos que toda variedade simpletica tem dimens

ao par e e orient
avel.
Uma quest
ao central em geometria simpletica e se, dada uma variedade M satisfazendo essas condico
es, existe ou n
ao alguma estrutura simpletica em M . Descreveremos nessa seca
o uma simples obstruca
o na cohomologia de M .
Proposi
c
ao 3.4.1. Seja M uma variedade compacta de dimens
ao
2n. Se M admite alguma estrutura simpletica, ent
ao existe um ele2
2k
mento a HdR
(M, R) tal que an 6= 0. Em particular, HdR
(M, R) 6= 0
para todo k = 1, . . . , n.
o: Se 2 (M ) e forma simpletica, seja a = []
Demonstrac
a
2
HdR (M, R). Como n 2n (M ) e uma forma de volume, temos que
Z
n 6= 0.
M
i
i
40
EGD2806
2006/7/26
page 40
i
Por outro lado, se an = 0, ent

ao n e exata, n = d. Pelo teorema
de Stokes, temos
Z
Z
Z
n =
d =
= 0,
M
o que n
ao e possvel. Portanto a 6= 0.
Segue diretamente da proposica

o anterior que variedades como
S 2n , n > 1, ou S 3 S 1 , n
ao admitem estruturas simpleticas, j
a que
2
em todas temos HdR
= 0.
Exerccio: Verifique que o mesmo argumento dado na prova da Prop. 3.4.1
mostra que nao h
a subvariedades simpleticas compactas de (R2n , 0 ).
Existe ainda um outro tipo de obstruca

o, de natureza topol
ogica,
que impede certas variedades de dimens
ao par e orient
aveis de admitirem sequer uma estrutura quase-simpletica. Observe que, como
vimos na Seca
o 3.3.1, uma variedade admite uma estrutura quasesimpletica se e somente se admite uma estrutura quase-complexa (e
essas estruturas podem ate mesmo ser escolhidas de forma a serem
compatveis). As obstruco
es topol
ogicas para a existencia de estruturas quase-simpleticas/complexas podem ser expressas em termos de
classes caractersticas, e s
ao usadas para mostrar, por exemplo, que
dentre as esferas de dimens
ao par, apenas S 2 e S 6 admitem estrutura
quase-complexa/simpletica.
Se M e uma variedade aberta (i.e., sem componentes compactas),
segue do trabalho de Gromov, veja e.g [29, Cap. 7], que se M admite uma estrutura quase-simpletica, ent
ao admite uma estrutura
simpletica homot
opica a ela (homotopia via estruturas quase-simpleticas). Para variedades compactas, n
ao e verdade que a existencia
de uma estrutura quase-simpletica garanta que a variedade admite
uma estrutura simpletica (ainda que a condica
o necess
aria dada pela
Prop. 3.4.1 seja satisfeita). Por exemplo, foi provado por Taubes [36],
usando a teoria dos invariantes de Seiberg-Witten, que a soma conexa
CP 2 #CP 2 #CP 2 e quase-complexa mas n
ao e simpletica (esta variedade tambem n
ao e complexa, como consequencia da classificaca
o
de Kodaira [25]).
i
i
[SEC. 3.5: SUBVARIEDADES
EGD2806
2006/7/26
page 41
i
41
Como j
a observamos, os problemas de existencia de estruturas
quase-simpleticas e quase-complexas s
ao equivalentes. Mas isso n
ao
e mais verdade se impusermos as condico
es de integrabilidade. Por
exemplo, existem variedades simpleticas que n
ao admitem estruturas
complexas [14]. E podemos usar a Prop. 3.4.1 para dar um exemplo
de uma variedade complexa que n
ao e simpletica:
Exemplo 3.4.2 (Superfcie de Hopf ). Considere Z agindo em
C2 \{0} por
n (z1 , z2 ) = (2n z1 , 2n z2 ),
de modo que a relaca
o de equivalencia dada pelas o
rbitas e (z 1 , z2 )
(2z1 , 2z2 ). Como a aca
o e via transformaco
es holomorfas, preserva a
estrutura complexa. Temos assim uma estrutura complexa induzida
no quociente M = (C2 \{0})/ , para a qual a aplicaca
o quociente e
um biholomorfismo local.
Para ver que M n
ao admite nenhuma estrutura simpletica, observe que C2 \{0} e difeomorfo a S 3 R atraves da aplicaca
o
f : S 3 R C2 \{0}, f (z1 , z2 , t) = (2t z1 , 2t z2 ).
Com essa identificaca
o, a aca
o de Z em S 3 R e n (z1 , z2 , t) =
(z1 , z2 , t + n). Portanto M
ao e simpletico pela
= S 3 S 1 , que n
Prop. 3.4.1.
Note que o Exemplo 3.3.6 ilustra ainda o fato de que existem
variedades que admitem estruturas complexas e simpleticas, mas estas n
ao podem ser escolhidas de forma compatvel (o que e sempre
possvel para estruturas quase-simpleticas/complexas). O leitor pode
achar mais detalhes sobre a discuss
ao de obstruco
es, com referencias
aos artigos originais, em [7, 8, 29].
3.5
Subvariedades
Em uma variedade simpletica (M, ), existem tipos de subvariedades

an
alogos aos subespacos descritos na Seca
o 2.2.
Uma subvariedade N , M (ou, mais geralmente, uma imers
ao)
e chamada coisotr
opica (resp. isotr
opica, lagrangiana, simpletica) se,
i
i
42
EGD2806
2006/7/26
page 42
i
para todo x M , Tx N e um subespaco coisotr

opico (resp. isotr
opico,
lagrangiano, simpletico) de (Tx M, x ).
Por exemplo, toda curva e uma subvariedade isotr
opica, e toda
hipersuperfcie e coisotr
opica. Nosso foco principal ser
a, no entanto,
nas subvariedades que s
ao ao mesmo tempo isotr
opicas e coisotr
opicas,
i.e., lagrangianas. Ilustraremos nesta seca
o como v
arios objetos naturais em geometria simpletica podem ser expressos como subvariedades
lagrangianas.
Sejam (M1 , 1 ) e (M2 , 2 ) duas variedades simpleticas, e denote
por M 2 a variedade simpletica (M2 , 2 ).
Proposi
c
ao 3.5.1. Um difeomorfismo : M1 M2 e um simplectomorfismo se e somente se o gr
afico de , graf() = {(x, (x)), x
M1 }, e subvariedade lagrangiana de M1 M 2 .
o: Considere o mergulho : M1 M1 M2 , (x) =
Demonstrac
a
(x, (x)). Ent
ao
(pr1 1 pr2 2 ) = (pr1 ) 1 (pr2 ) 2 = 1 2 ,
e o resultado segue imediatamente.
Observamos agora como alguns objetos geometricos associados a

uma variedade Q s
ao representados por subvariedades lagrangianas de
T Q. Lembre que, em coordenadas cotangentes (x1 , . . . , xn , 1 , . . . , n ),
a forma can
onica e
X
=
dxj dj .
j
simples ver que tanto as fibras da projeca

E
o : T Q Q quanto
a seca
o zero Q , T Q s
ao subvariedades isotr
opicas de dimens
ao
ao lagrangianas. Esses dois exm
axima (= 21 dim(T Q)), portanto s
emplos s
ao casos particulares da pr
oxima proposica
o.
Proposi
c
ao 3.5.2. Suponha que Q tem dimens
ao n, e seja S , Q
uma subvariedade de dimens
ao k. Ent
ao o fibrado conormal de S,
N S := {(x, ) T Q | x S, Tx Q, tal que |Tx S = 0}
e subvariedade lagrangiana de T Q.
i
i
EGD2806
2006/7/26
page 43
i
43
[SEC. 3.5: SUBVARIEDADES
o: Podemos escolher coordenadas locais (x1 , . . . , xn )

Demonstrac
a
em Q tais que S e definida localmente pelas condico
es
xk+1 = . . . = xn = 0.
Nas coordenadas (x1 , . . . , xn , 1 , . . . , n ) de T Q, o fibrado conormal
N S e definido por
xk+1 = . . . = xn = 0, 1 = . . . = k = 0.
P
Portanto, em pontos de N S, podemos escrever = j>k j dxj , e
vemos que se anula nos vetores x

, i = 1, . . . , k. Isso mostra que
i
= 0, onde : N S , T Q e a inclus
ao.

A pr
oxima classe de exemplos e importante no estudo de interseco
es de variedades lagrangianas, veja Seca
o 4.4.
Toda 1-forma 1 (Q) define uma subvariedade
N := {(x, x ) , x Q} T Q,
caracterizada pela propriedade de que : T Q Q projeta N

difeomorficamente sobre Q.
Proposi
c
ao 3.5.3. A subvariedade N , 1 (Q), e lagrangiana
se e somente se d = 0.
o: Note que N e a imagem da aplicaca
Demonstrac
a
o : Q
T Q. Lembrando que
= ,
onde e a 1-forma tautol
ogica (veja exerccio na seca
o 3.2), segue
que
= d = d = d,
e portanto = 0 se e somente se d = 0.
Portanto subvariedades de Q e 1-formas fechadas em Q est

ao
naturalmente associadas a subvariedades lagrangianas de T Q.
No artigo [43], a import
ancia de subvariedades lagrangianas e expressa no credo simpletico de A. Weinstein: tudo e uma subvariedade lagrangiana. Em outras palavras, objetos e construco
es em
geometria simpletica podem, em geral, ser entendidos em termos de
subvariedades lagrangianas.
i
i
EGD2806
2006/7/26
page 44
i
Captulo 4
O m
etodo de Moser e
formas normais
O metodo de Moser, descrito neste captulo, e peca fundamental
na demonstraca
o de v
arios resultados de rigidez local em geometria
simpletica. O metodo se baseia na construca
o de simplectomorfismos
atraves de deformaco
es do difeomorfismo identidade. De forma mais
precisa, consideraremos famlias a 1-par
ametro de difeomorfismos de
uma variedade M , t : M M , tal que 0 = Id. Nos referimos a
tal famlia como uma isotopia.
Toda isotopia define um campo de vetores tempo-dependente Xt
atraves da equaca
o
dt
= Xt t .
(4.0.1)
dt
Reciprocamente, se os campos de vetores na famlia Xt forem completos, ent
ao (4.0.1) define uma isotopia t , t R, veja [2, Cap. 4].
A derivada de Lie pode ser usada na descrica
o da variaca
o de
formas diferencias atraves de isotopias pela f
ormula
d
= t LXt ,
dt t
(4.0.2)
onde k (M ), veja [2, Seca

o 5.4]. A equaca
o (4.0.2) pode ser generalizada para tratar, ainda, a variaca
o de formas diferencias tempo44
i
i
EGD2806
2006/7/26
page 45
i
45
[SEC. 4.1: O TRUQUE DE MOSER
dependentes t :

d
d
d
d
t =
t
y
+
= t (LXt t + t ). (4.0.3)
dt t
dx x x=t
dy t y=t
dt
Com essas preliminares, podemos passar ao metodo de Moser.
4.1
O truque de Moser
Comecamos ilustrando o metodo, ou truque, de Moser no seu contexto original [30].

Teorema 4.1.1 (Moser). Seja M variedade compacta e orientada
de dimens
ao n. Sejam 0 e 1 formas de volume tais que
Z
Z
1 .
0 =
M
Ent
ao existe um difeomorfismo : M M tal que 1 = 0 .
o: O primeiro passo e construir o difeomorfismo

Demonstrac
a
atraves de uma isotopia t Dif(M ), 0 = Id, de modo que = 1 .
Para tal, consideramos a famlia
t = t1 + (1 t)0 ,
notando que cada t e ainda uma forma de volume. A hip
otese de
que 0 e 1 tem a mesma integral sobre M assegura que essas formas
s
ao cohom
ologas, ou seja, existe n1 (M ) tal que 1 = 0 + d,
de modo que
t = 0 + td.
Como estamos a procura de uma isotopia t e M e compacto, podemos defini-la atraves do campo de vetores dependente do tempo Xt
que a gera,
d
t = X t t .
dt
suficiente construrmos uma isotopia tal que t = 0 , ou seja,
E
t
usando (4.0.3),

d
d
(t t ) = t
t + LXt t = 0.
dt
dt
i
i
46
EGD2806
2006/7/26
page 46
i
[CAP. 4: O METODO
DE MOSER E FORMAS NORMAIS
Usando a f
ormula de Cartan e o fato de que dt = 0, vemos que a
u
ltima equaca
o equivale a
d
t + diXt t = d( + iXt t ) = 0.
dt
Portanto, para a construca
o da isotopia, e suficiente achar Xt satisfazendo
iXt t + = 0.
(4.1.1)
Como t e uma forma de volume, a aplicaca
o X(M ) n1 (M ),
X 7 iX t , e um isomorfismo para cada t. Portanto, para cada t,
(4.1.1) tem soluca
o u
nica. O fluxo de Xt define uma isotopia t satisfazendo t t = 0 , e = 1 e o difeomorfismo desejado.

Uma aplicaca
o tpica do metodo de Moser em geometria simpletica
mostra a rigidez, ou estabilidade, de famlias de formas simpleticas
dentro de uma mesma classe de cohomologia.
Teorema 4.1.2. Seja M uma variedade compacta, e seja t uma
famlia suave de formas simpleticas, t [0, 1]. Suponha que exista
uma famlia suave t 2 (M ) tal que
t = 0 + dt .
(4.1.2)
Ent
ao existe uma isotopia t Dif(M ) tal que t t = 0 para todo
t [0, 1].
o: Seguindo o truque de Moser, definiremos a isotopia
Demonstrac
a
t atraves de seu gerador infinitesimal Xt . Exatamente como na
prova do Teorema 4.1.1, temos que a condica
o t t = 0 e equivalente a

d
t + iXt t = 0.
d
dt
Portanto basta resolver a equaca

o
i Xt t +
d
t = 0,
dt
o que e sempre possvel j

a que t e simpletica para todo t.
i
i
[SEC. 4.2: O TEOREMA DE DARBOUX
EGD2806
2006/7/26
page 47
i
47
Exerccio: Considere a bola aberta B 2n em (R2n , 0 ) com a estrutura

simpletica induzida. Mostre que as formas simpleticas t = et 0 em B 2n
n
ao s
ao simplectomorfas umas as outras (por exemplo, verifique que o
volume definido por cada uma e diferente). Conclua que o Teorema 4.1.2
n
ao e v
alido sem a hip
otese de compacidade de M .
claro que se (4.1.2) e satisfeita, ent

Observa
c
ao: E
ao [t ] = [0 ],
t [0, 1]. Pode-se mostrar que, na verdade, vale a recproca, i.e.,
se a classe de cohomologia de t independe de t, ent
ao existe uma
famlia suave t satisfazendo (4.1.2). O ponto delicado e mostrar a
dependencia suave da famlia t em t, mas isso pode ser feito, por
exemplo, usando teoria de Hodge, veja [29, Seca
o 3.2].
4.2
O teorema de Darboux
Usaremos agora o metodo de Moser para mostrar a rigidez de estruturas simpleticas na vinhanca de subvariedades.
Seja Q , M uma subvariedade de uma variedade M . Precisaremos da seguinte generalizaca
o do lema de Poincare:
Lema 4.2.1. Seja k (M ) uma k-forma fechada tal que |Tx Q = 0
para todo x Q. Ent
ao existe uma vizinhanca U de Q em M e uma
k 1-forma em U tal que = d e |Tx M = 0 para todo x Q.
o: Pelo teorema da vizinhanca tubular, Q possui uma
Demonstrac
a
vizinhanca U para qual existe um difeomorfismo : U V, onde V
e uma vizinhanca de Q no fibrado normal N Q = T M/T Q Q e

(x) = x, x Q. Podemos, ainda, escolher a vizinhanca V com
a propriedade de que, se (x, v) V, ent
ao (x, tv) V, t [0, 1].
(Com a escolha de uma metrica em M , identificamos N Q com T Q,
e podemos definir como a aplicaca
o exponencial restrita a uma
vizinhanca suficientemente pequena de Q em T Q.)
Basta, portanto, provar o resultado para a vizinhanca V em N Q.
Para cada t [0, 1], considere a aplicaca
o t : V V, t (x, v) =
(x, tv). Seja Xt o campo tempo-dependente cujo fluxo gera t , ou
d
t = Xt t para t > 0. Como e fechada, usando (4.0.3),
seja, dt
temos
d
= t LXt = t d(iXt ) = d(t iXt ).
dt t
i
i
48
EGD2806
2006/7/26
page 48
i
[CAP. 4: O METODO
Como limt0 t = = 0, onde : Q , N Q e a inclus

ao, e
1 = Id, temos
Z 1
d
t dt = d,
= 1 lim t = lim
t0
t0 t dt
R1
onde = 0 t iXt dt. Como t (x) = x, x Q, temos que
Xt |Q = 0, e portanto |Q = 0.

O pr
oximo exerccio mostra que a tecnica usada na demonstraca
o
do lema anterior pode mostrar um resultado mais geral, veja e.g. [2,
Cap. 6].
Exerccio: Sejam M1 , M2 variedades, e f0 , f1 : M1 M2 aplicaco
es
suaves homot
opicas. Denote a homotopia (suave) por f : M1 [0, 1] M2 .
Mostre que o operador H : k (M2 ) k1 (M1 ),
Z
f ,
H :=
[0,1]
satisfaz f1 f0 = dH + Hd, onde ft (x) = f (x, t). (O operador H e

chamado operador de homotopia.)
Observa
c
ao: No exerccio anterior, note que, se d = 0, ent
ao
(f1 f0 ) = d(H) e exata. Segue desse resultado, por exemplo, a
invari
ancia homot
opica da cohomologia de de Rham.
Passemos agora ao teorema de Darboux para vizinhancas de subvariedades.
Teorema 4.2.2. Sejam 0 e 1 formas simpleticas em M satisfazendo
0 |Tx M = 1 |Tx M x Q.
Ent
ao existem vizinhancas U0 e U1 de Q e um difeomorfismo :
U0 U1 tal que
(x) = x x Q,
e 1 = 0 .
o: Pelo Lema 4.2.1, Q possui uma vizinhanca onde

Demonstrac
a
existe 1-forma tal que
d = 1 0 ,
e |Tx M = 0, x Q.
i
i
[SEC. 4.3: TEOREMAS DE WEINSTEIN PARA VIZINHANC

AS DE SUBVARIEDADES
EGD2806
2006/7/26
page 49
i
49
Considere a famlia de 2-formas fechadas nessa vizinhanca dada por

t = (1 t)0 + t1 = 0 + td.
Para cada t [0, 1], a forma t e simpletica em todo ponto de Q. Portanto cada x Q possui uma vizinhanca em M onde t e simpletica.
Diminuindo essa vizinhanca se necess
ario, podemos assumir que nela
a numa vizinhanca de t. Como [0, 1]
todo t0 e simpletico se t0 est
e compacto, conclumos que existe uma vizinhanca de x onde t e
simpletica para todo t [0, 1]. Tomando a uni
ao desses abertos,
obtemos uma vizinhanca U0 de Q onde t e simpletica para todo
t [0, 1].
Seguindo o metodo de Moser, sabemos que para achar uma isotopia t com t t = 0 , basta resolvermos a equaca
o
iXt t = ,
o que e sempre possvel j
a que t e simpletica.
Como x = 0 para x Q, Xt |Q = 0. Portanto, diminuindo U0
se necess
ario, podemos assumir que o fluxo t , integrando Xt , est
a
definido para todo t [0, 1]. Como Xt |Q = 0, temos t |Q = Id, e
assim = 1 e U1 = 1 (U0 ).

Tomando Q como um ponto em M , obtemos o teorema de Darboux:
Corol
ario 4.2.3 (Teorema de Darboux). Se (M, ) e variedade
simpletica de dimens
ao 2n, entao todo x M possui vizinhanca simplectomorfa a uma vizinhanca de 0 R2n munida da forma simpletica
can
onica.
Como consequencia, toda variedade simpletica possui uma atlas
simpletico. Para uma demonstraca
o alternativa do teorema de Darboux sem o uso do metodo de Moser, veja e.g. [5, 7].
4.3
Teoremas de Weinstein para vizinhanc

as de subvariedades
Vamos agora usar o Teorema 4.2.2 para estudar vizinhancas de subvariedades, seguindo Weinstein [40].
i
i
50
EGD2806
2006/7/26
page 50
i
[CAP. 4: O METODO
Se Q , (M, ) e uma subvariedade simpletica, temos que T M |Q =

T Q (T Q) . Portanto, para x Q, (Tx Q) e subespaco simpletico
de Tx M . Em outras palavras, (T Q , |T Q ) e um fibrado vetorial
simpletico sobre Q.
Teorema 4.3.1. Sejam 0 e 1 formas simpleticas em M , e seja
: Q , M uma subvariedade simpletica com respeito a 0 e 1 .
Suponha que 0 = 1 e que exista um isomorfismo de fibrados
simpleticos
b : T Q1 T Q2 cobrindo a identidade . Ent
ao existem
vizinhancas U0 e U1 de Q e um difeomorfismo : U0 U1 tal que
|Q = Id e 1 = 0 .
o: Como T M |Q = T Q T Qi , i = 0, 1, segue que
Demonstrac
a
existe uma identificaca
o natural T Q1
= T Q2 , onde N Q e
= NQ
o fibrado normal de Q. Pelo teorema da vizinhanca tubular, existe
uma vizinhanca V0 de Q em M difeomorfa a uma vizinhanca de Q em
N Q. Portanto, o isomorfismo de fibrados
b : T Q0 T Q1 induz
um difeomorfismo : V0 (V0 ) satisfazendo
|Q = Id,
b
e d|T Q0 = .
(4.3.1)
Considere as formas simpleticas 0 e 1 em V0 . Como

b preserva
as formas simpleticas nas fibras, segue de (4.3.1) que
0 |Tx M = 1 |Tx M , x Q.
O resto da demonstraca
o segue do Teorema 4.2.2.
Suponha agora que : L (M, ) e uma subvariedade lagrangiana.

Teorema 4.3.2 (Teorema da vizinhan
ca lagrangiana). Existe
uma vizinhanca U0 da seca
o zero L , T L, uma vizinhanca U de L
em M , e um difeomorfismo : U0 U tal que (x) = x, x L, e
e a forma simpletica can
onica de T L.
o: Sabemos que o fibrado T M |L sobre L e simpletico
Demonstrac
a
e contem T L como subfibrado lagrangiano. Seja J uma estrutura
quase-complexa em M compatvel com . Segue da compatibilidade
que E := J(T L) e um subfibrado lagrangiano de T M |L tal que
T M |L = T L E.
i
i
EGD2806
2006/7/26
page 51
i
51
A PONTOS FIXOS DE SIMPLECTOMORFISMOS

[SEC. 4.4: APLICAC
AO
(Veja o exerccio anterior ao Teorema 2.4.2.)

Note que, para x L, temos
x ((u, a), (v, b)) = x (u, b) x (v, a),
(4.3.2)
onde u, v Tx L e a, b Ex .
Exerccio: Mostre que a aplicaca
o E (T L) , a (, a)|T L e um isomorfismo de fibrados.
Segue imediatamente do exerccio anterior e de (4.3.2) que temos

um isomorfismo
T M |L T L (T L)
(4.3.3)
que cobre a identidade e preserva a estrutura simpletica em cada
fibra. De maneira totalmente an
aloga, obtemos um isomorfismo
T (T L)|L T L (T L)
(4.3.4)
com essas mesmas propriedades.

A discuss
ao anterior mostra que os fibrados normais de L em
T L e M s
ao isomorfos, j
a que ambos podem ser identificados com
o fibrado T L L. Pelo teorema da vizinhanca tubular, existe
um difeomorfismo entre vizinhancas de L em T L e M , e tal que
d|L : T M |L T (T L)|L e a identificaca
o induzida por (4.3.3) e
(4.3.4). Portanto d|L preserva a estrutura simpletica das fibras.
Segue que can |L = |L . Podemos agora usar o Teorema 4.2.2
para obter o resultado desejado.

O Teorema 4.3.2 pode ser generalizado para subvariedades isotr
opicas e coisotr
opicas, veja e.g. [17, 27].
4.4
Aplica
c
ao a pontos fixos de simplectomorfismos
Discutiremos aqui, brevemente, uma aplicaca

o do teorema da vizinhanca lagrangiana ao problema de se estimar o n
umero de pontos
fixos de simplectomorfimos.
i
i
52
EGD2806
2006/7/26
page 52
i
[CAP. 4: O METODO
Seja (M, ) uma variedade simpletica e seja f : M M um

simplectomorfismo. Sabemos que o gr
afico de f , denotado por f ,
e uma subvariedade lagrangiana de M M = (M, ) (M, ). A
diagonal em M M tambem e uma subvariedade lagrangiana, e os
pontos fixos de f podem ser identificados com os pontos na interseca
o
de f e .
Proposi
c
ao 4.4.1. Seja (M, ) uma variedade simpletica compacta
1
com HdR
(M, R) = {0}. Ent
ao todo simplectomorfismo f suficientemente pr
oximo da identidade na topologia C 1 tem pelo menos dois
pontos fixos.
o: Como
Demonstrac
a
= M , segue do teorema da vizinhanca
lagrangiana que podemos identificar uma vizinhanca U de em M
M com uma vizinhanca U0 da seca
o zero M , T M atraves de um
simplectomorfismo : U U0 tal que (x, x) = x, para x M .
Se f Simp(M, ) est
a suficientemente pr
oximo da identidade
na topologia C 0 , ent
ao f est
a contido em U. Ademais, se f est
a
pr
oximo da identidade na topologia C 1 , ent
ao n
ao s
o f U,
mas tambem (f ) U0 e o gr
afico de uma 1-forma f . Como
este gr
afico e lagrangiano, temos que df = 0, e o fato de que
1
HdR
(M, R) = 0 implica que existe h C (M ) tal que f = dh.
Como M e compacta, h tem pelo menos dois pontos crticos, ou seja,
f intersecta a seca
o zero M , T M em pelo menos dois pontos. E
f
acil ver que esses pontos correspondem, via , a pontos em f .

A proposica
o acima ilustra a relaca
o entre o n
umero de pontos fixos de simplectomorfismos de M e o n
umero mnimo de pontos crticos de funco
es em M . Sem assumir a hip
otese na cohomologia, a proposica
o continua v
alida para difeomorfismos hamiltonianos, ou seja, simplectomorfismos dados pelo tempo 1 de um
fluxo hamiltoniano (tempo dependente ou n
ao), pr
oximos da identidade. O problema de dar uma limitaca
o inferior ao n
umero de
pontos fixos de difeomorfismos hamiltonianos quaisquer, sem necessariamente estarem pr
oximos da identidade, e parte da conjectura
de Arnold , que tem sido uma das principais motivaco
es para o desenvolvimento da topologia simpletica, veja [21, 29, 33] para uma
discuss
ao com referencias.
i
i
EGD2806
2006/7/26
page 53
i
Captulo 5
Hipersuperfcies de
contato
5.1
Defini
co
es e exemplos
Seja N 2n1 uma variedade de dimens

ao mpar. Dizemos que uma 1forma em N e de contato se (d)n1 e uma forma de volume em
N . Se e uma forma de contato em N , chamamos o par (N, ) uma
variedade de contato. Variedades de contato s
ao consideradas objetos
an
alogos a variedades simpleticas em dimens
ao mpar, e existe uma
vasta teoria sobre o assunto, veja e.g. [29, Seca
o 3.4].
Iremos neste captulo considerar hipersuperfcies de variedades
simpleticas que possuem uma forma de contato relacionada a
` forma
simpletica. Mais precisamente, uma hipersuperfcie S de uma variedade simpletica (M 2n , ) e uma hipersuperfcie de contato se existe
uma forma de contato em S tal que d = , onde : S , M e
a inclus
ao.
Nveis de energia de sistemas hamiltonianos dados por hipersuperfcies de contato possuem propriedades especiais de estabilidade de
sua din
amica, como veremos no Captulo 6. Tais propriedades decorrem do teorema a seguir, que caracteriza hipersuperfcies de contato
pela existencia de campos conformemente simpleticos transversais a
elas.
53
i
i
54
EGD2806
2006/7/26
page 54
i
[CAP. 5: HIPERSUPERFICIES DE CONTATO
Teorema 5.1.1. Uma hipersuperfcie compacta e orientada S de

uma variedade simpletica (M 2n , ) e de contato se e somente se existe um campo vetorial X definido em uma vizinhanca U de S tal
que
i) X e conformemente simpletico, ou seja, LX = ;
ii) X e transversal a S.
Exerccio: Mostre que um campo X satisfaz a equaca
o LX = se
e somente se seu fluxo t satisfaz t = et para todo t R, onde t
est
a definido. Esta e a raz
ao de tal campo ser chamado conformemente
simpletico.
o: Suponha que existe o campo X e defina = iX .

Demonstrac
a
Pela f
ormula de Cartan, temos que
d = LX = .
Como S possui dimens
ao mpar, existe Y Tx S tal que x (Y, v) = 0
para todo x S e v Tx S. Como e n
ao-degenerada, x (Y ) =
x (X(x), Y ) 6= 0. Portanto
Dx = {v Tx S; x (X(x), v) = 0}
define uma distribuica
o de hiperplanos em S complementar a Y , de
maneira que d|D = |D e n
ao-degenerada. Consequentemente,
(d)n1 6= 0.
Para provar a recproca, temos que estender a forma de contato
em S para uma vizinhanca de S como uma primitiva de :
Lema 5.1.2. Existe uma vizinhanca U de S e uma 1-forma em U
tal que d = e = .
o: Pelo teorema da vizinhanca tubular, como S e
Demonstrac
a
compacta e orientada, existe uma vizinhanca U de S e um difeomorfismo : S (1, 1) U tal que (x, 0) = x para todo x S. Compondo a inversa de com a projeca
o no primeiro fator de S (1, 1),
obtemos uma aplicaca
o r : U S. Seja = r . Temos que
= r = , pois |S e a identidade.
i
i
[SEC. 5.1: DEFINIC

OES
E EXEMPLOS
EGD2806
2006/7/26
page 55
i
55
Considere agora a 2-forma := d em U . Repare que e

fechada e = 0. Com efeito, d = d = 0 e
= d = d d = 0.
Pelo Lema 4.2.1, existe uma 1-forma em U tal que = d e = 0.
Definimos ent
ao a 1-forma = + . Como d = d( + ) =
d + d = e = = , concluimos a demonstraca
o do
lema.

Considere agora o campo X em U dado pela equaca
o iX = .
Afirmamos que este e o campo desejado. Com efeito,
LX = d(iX ) = d = .
Para mostrar que X e transversal a S, considere em S o campo Y
unicamente caracterizado pelas equaco
es
(Y ) = 1 e iY d = 0.
Agora, note que
(X, Y ) = (Y ) = 1.
Mas, se X e tangente a S em algum ponto x S, temos que
(X(x), Y (x)) = d(X(x), Y (x)) = 0,
chegando a um absurdo.
O teorema acima nos permite dar v

arios exemplos de hipersuperfcies de contato:
Exemplo 5.1.3. Note que o campo radial X(x) = (1/2)x, onde x =
(q, p) P
R2n , e claramente conformemente
simpletico com respeito a
P
0 = i dqi dpi , pois iX 0 = 21 i qi dpi pi dqi . Portanto, segue do
teorema
acima que a esfera S 2n1 e de contato com forma de contato
P
1
p
dq
i i i qi dpi .
2
Exemplo 5.1.4. Considere o fibrado cotangente T Q munido com

sua forma simpletica can
onica . Seja X(q, p) = pP
o campo radial
ao longo das fibras de T Q. Note que iX = i pi dqi = ,
i
i
56
EGD2806
2006/7/26
page 56
i
onde e a 1-forma tautol

ogica definida na Seca
o 3.2. Fixe uma
metrica riemanniana em Q e defina o fibrado unit
ario cotangente
U Q = {(q, p) T Q; kpk = 1}. Como X e sempre transversal a
U Q, temos que U Q e uma hipersuperfcie de contato com forma de
contato .
Exemplo 5.1.5 (Hipersuperfcie em R2n que n

ao
e de contato). Seja R > r e considere uma hipersuperfcie S em R2n difeomorfa a
` esfera que tangencia o bordo dos cilindros Z(R) e Z(r), onde
r < R e Z(r) := {(q, p) R2n ; q12 + p21 r}, como na figura 5.1.
Figura 5.1: Hipersuperfcie que n

ao e de contato.
Seja n um campo normal a S que em pontos na interseca
o de S
com Z(r) aponta para dentro de Z(r) e na interseca
o de S com Z(R)
aponta para fora de Z(R) (tome, por exemplo, n tal que
n(q1 , ..., qn , p1 , ..., pn ) = (q1 , 0, ..., 0, p1 , 0, ..., 0)
em Z(R) S e
n(q1 , ..., qn , p1 , ..., pn ) = (q1 , 0, ..., 0, p1, 0, ..., 0)
em Z(r) S). Note que J0 n e um campo tangente a S e, como

0 (n, J0 v) = hn, vi = 0 para todo v T S, o n
ucleo de 0 |T S e
gerado por J0 n.
i
i
EGD2806
2006/7/26
page 57
i
[SEC. 5.2: FORMA NORMAL DE VIZINHANC

AS DE HIPERSUPERFICIES DE CONTATO57
Suponha que S possui uma forma de contato , de maneira que

(J0 n(q, p)) > 0 para todo (q, p) S ou (J0 n(q, p)) < 0 para todo
(q, p) S. Suponhamos, sem perda de generalidade, que (J0 n) > 0.
Pela construca
o de S, J0 n possui duas o
rbitas peri
odicas r e R na
interseca
o de S com Z(R) e Z(r) tangentes ao plano (q1 , p1 ) com
direco
es opostas
P (ver Figura 5.1)
f
Seja = i pi dqi , de forma que d = 0 em S. E
acil ver que
Z
Z
= r2 e
= R2 ,
r
de acordo com a orientaca

o indicada na Figura 5.1.
Por outro lado, como S e difeomorfa a
` esfera, existe uma funca
o
f em S tal que |S = df . Consequentemente,
Z
Z
Z
Z
=
>0 e
=
< 0.
r
Mas (J0 n) > 0, absurdo.
5.2
Forma normal de vizinhan

cas de hipersuperfcies de contato
Seja agora (N, ) uma variedade de contato. A partir de (N, )

podemos construir uma variedade simpletica, denominada de simpletizaca
o de N , dada por N R com a 2-forma = d(et ).
Exerccio: Mostre que e simpletica.
O teorema seguinte diz que localmente uma hipersuperfcie de

contato e equivalente a sua simpletizaca
o:
Teorema 5.2.1. Seja S uma hipersuperfcie de contato compacta
e orientada de uma variedade simpletica (M, ). Ent
ao existe uma
vizinhanca U de S, > 0 e um simplectomorfismo
: (U, ) (S (, ), d(et )).
i
i
58
EGD2806
2006/7/26
page 58
i
o: Considere um difeomorfismo f : U S (1, 1)

Demonstrac
a
sobre uma vizinhanca U de S tal que f |S e a identidade. Podemos es
colher f de maneira que f X = t
, onde X e o campo conformemente
simpletico dado pelo Teorema 5.1.1.
Tome a 2-forma := f d(et ) em U , de maneira que = ,
onde : S , M e a inclus
ao. Seja Y o campo em S dado pelas
equaco
es
(Y ) = 1 e iY d = 0.
Para cada x S, seja W1 Tx M o n
ucleo de e W2 Tx M
o subespaco gerado pelos vetores X(x) e Y (x). Note que Tx M =
W1 W2 e que W1 e W2 s
ao -ortogonais. De fato,
x = f (d + dt) = d + f dt,
para todo x S. Consequentemente, (Y, v) = d(Y, v) = 0 e
(X, v) = (v) = 0 para todo v W1 , pois f dt(X) = 1. Por outro
lado, W1 e W2 s
ao tambem -ortogonais, pois (Y, v) = d(Y, v) = 0
e (X, v) = (v) = 0 para todo v W1 .
Como |W1 = d|W1 = |W1 e |W2 = |W2 , segue que |Tx M =
|Tx M para todo x S. O resultado segue agora do Teorema 4.2.2.
i
i
EGD2806
2006/7/26
page 59
i
Captulo 6
Sistemas hamiltonianos
6.1
Defini
co
es e exemplos
Dizemos que um campo de vetores em uma variedade simpletica

(M, ) e simpletico se seu fluxo preserva a forma , ou seja,
LX = 0.
Como e n
ao-degenerada, dada uma funca
o H C (M ), existe
um u
nico campo de vetores XH X(M ) satisfazendo a equaca
o de
Hamilton
(6.1.1)
iXH = dH.
O campo XH e chamado o campo hamiltoniano ou gradiente simpletico
da hamiltoniana H. Denotamos por XHam (M, ) o espaco dos campos
hamiltonianos. Note que, se = g(J, ) para uma metrica riemanniana g e uma estrutura quase-complexa J, ent
ao XH = JH, onde
H e o gradiente de H com respeito a g.
Proposi
c
ao 6.1.1. Sejam (M, ) variedade simpletica e H C (M ).
Ent
ao
LXH H = 0 e LXH = 0.
o: O fato que campos hamiltonianos preservam as
Demonstrac
a
funco
es hamiltonianas que o geram segue da anti-simetria de :
LXH H = dH(XH ) = (XH , XH ) = 0,
59
i
i
60
EGD2806
2006/7/26
page 60
i
[CAP. 6: SISTEMAS HAMILTONIANOS
enquanto que a propriedade de campos hamiltonianos serem simpleticos

segue da f
ormula de Cartan:
LXH = iXH d + diXH = 0.

Corol
ario 6.1.2 (Teorema de Liouville). Fluxos hamiltonianos
preservam volume, i.e.,
LXH = 0,
onde e a forma de Liouville (3.1.1).
A f
ormula de Cartan mostra que X e um campo simpletico se
e somente se iX e uma 1-forma fechada, e X e hamiltoniano se e
1
somente se essa 1-forma e exata. Portanto, se HdR
(M ) = 0, todo
campo simpletico e automaticamente hamiltoniano.
Todavia, nem todo campo simpletico e hamiltoniano. Com efeito,
considere o cilindro S 1 R, com coordenadas cilndricas (, h) e forma
simpletica = d dh. O campo X = h

, gerando as translaco
es
ao longo da direca
o h, e simpletico. Mas iX = d n
ao e exata e
portanto X n
ao e hamiltoniano.
Dada ent
ao uma hamiltoniana H em M , temos pela Proposica
o
6.1.1 que as hipersuperfcies de nvel H 1 (k), chamadas nveis de energia de H, s
ao invariantes pelo fluxo de XH . Caso n
ao haja menca
o
ao contr
ario, iremos sempre supor que k e um valor regular de H.
Note que, se os nveis de energia forem compactos, o fluxo de XH
est
a definido para todo tempo.
Exemplo 6.1.3 (Fun
c
ao altura na esfera). Considere na esfera
S 2 a funca
o altura H(, h) = h e a forma simpletica dada pela forma
, pois iXH d dh = dH. Suas

de a
rea d dh. Temos que XH =
o
rbitas s
ao portanto, todas peri
odicas com duas singularidades nos
p
olos norte e sul (ver Figura 6.1).
Exemplo 6.1.4 (Levantamento de campos). Seja M uma variedade diferenci
avel, X um campo vetorial em M e t seu fluxo.
O levantamento cotangente de t define um fluxo
bt em T X (veja
b X(T Q). Como vimos

Seca
o 3.2), gerado pelo campo vetorial X
i
i
[SEC. 6.2: DINAMICA

EM NIVEIS DE ENERGIA
EGD2806
2006/7/26
page 61
i
61
Figura 6.1: Fluxo hamiltoniano da funca

o altura.
na Seca
o 3.2, o fluxo
bt e simpletico com respeito a
` forma simpletica
f
can
onica. E
acil ver que este fluxo e de fato hamiltoniano, com
hamiltoniana H = iXb , onde e a 1-forma tautol
ogica de T M .
Exemplo 6.1.5 (Fibra
c
ao de Hopf ). Considere a func
ao H(x) =
(1/2)kxk2 , x R2n . Como XH (x) = J0 H(x) = J0 x, temos que
as o
rbitas de XH s
ao dadas pelas interseco
es de linhas complexas em
R2n ' Cn com as esferas H 1 (k). Repare que XH e linear e seu fluxo
e dado explicitamente por
t (x) = etJ0 x = (cos t)x (sin t)J0 x.
O fluxo de XH gera uma fibraca
o por crculos de S 2n1 chamada fibraca
o de Hopf, cujo quociente e o espaco complexo projetivo CP n1 .
6.2
Din
amica em nveis de energia
Uma observaca
o bastante u
til e que, m
odulo uma reparametrizaca
o, o
fluxo de XH restrito ao nvel de energia k depende somente da hipersuperfcie H 1 (k). Mais precisamente, dada uma hipersuperfcie S
em M , seu fibrado de linhas caractersticas LS e o subfibrado de T S
dado pela distribuica
o unidimensional ker |T S . Chamamos a folheaca
o correspondente de folheaca
o caracterstica de S.
i
i
62
EGD2806
2006/7/26
page 62
i
Exerccio: Seja : S , (M, ) uma hipersuperfcie, e suponha que a folheaca

o caracterstica seja simples, ou seja, que o espaco de folhas S/L S seja
suave e a projeca
o : S S/LS uma submers
ao. Mostre que S/LS possui uma estrutura simpletica red unicamente caracterizada pela condica
o
red = . (No Exemplo 6.1.5, podemos usar esta construca
o para
obter a forma de Fubini-Study.)
Ou
ltimo exerccio indica um caso particular do procedimento de
reduca
o simpletica, veja [8, 19].
Proposi
c
ao 6.2.1. O campo XH e tangente a
` folheaca
o caracterstica.
o: Seja S = H 1 (k) um nvel de energia. Temos que
Demonstrac
a
(XH , v) = dH(v) = 0
para todo v T S.
Corol
ario 6.2.2. Seja S uma hipersuperfcie de energia comum a
duas hamiltonianas H1 e H2 . Ent
ao os fluxos hamiltonianos de H1
e H2 em S diferem apenas por uma reparametrizaca
o.
Outra consequencia imediata e o seguinte resultado de estabilidade. Dizemos que dois campos de vetores X e Y definidos nas variedade S e S 0 , respectivamente, s
ao topologicamente (resp. diferenciavelmente) equivalentes, se existe um homeomorfismo (resp. difeomorfismo) h : S S 0 que leva o
rbitas de X em o
rbitas de Y preservando a orientaca
o das trajet
orias (ou seja, se dados p S e > 0,
existe > 0 tal que, para 0 < t < , ht (p) = th(p) para algum
0 < t < , onde t e t s
ao os fluxos de X e Y , respectivamente).
Proposi
c
ao 6.2.3. Seja S uma hipersuperfcie de contato de M .
Ent
ao existe uma hamiltoniana H definida em uma vizinhanca U de
S tal que S = H 1 (0) e XH |H 1 (k) e diferenciavelmente equivalente
a XH |H 1 (0) para todo k suficientemente pequeno.
o: Pela Proposica
Demonstrac
a
o 5.1.1, existe um campo X conformemente simpletico definido em uma vizinhanca U de S e transversal a S. Seja t o fluxo de X e construa uma hamiltoniana H : U R
de maneira que H|S 0, dH(p) 6= 0 para todo p S, e H e constante
em cada hipersuperfcie t (S) para t suficientemente pequeno.
i
i
[SEC. 6.2: DINAMICA

EGD2806
2006/7/26
page 63
i
63
Como t = et , temos que ker |H 1 (k) = dt (ker |S ), onde

H 1 (k) = t (S). O resultado segue agora da Proposica
o 6.2.1.

Observa
c
ao: De fato, pode-se construir a hamiltoniana na demonstraca
o da Prop. 6.2.3 de maneira que XH |H 1 (k) e diferenciavelmente
conjugado a XH |H 1 (0) , ou seja, com um difeomorfismo h de H 1 (0)
em H 1 (k) levando o
rbitas de XH |H 1 (0) em o
rbitas de XH |H 1 (k)
preservando o tempo.
Seja agora S um nvel de energia regular de H. Pela Proposicao
6.1.2, o fluxo hamiltoniano t preserva a forma de volume de Liouville
em M . Vamos mostrar que t preserva tambem uma forma de
volume definida em S.
Proposi
c
ao 6.2.4. Existe uma forma de volume S em S invariante
por t .
o: Como dH(x) 6= 0 para todo x em uma vizinhanca
Demonstrac
a
U de S, existe uma (2n 1)-forma em U tal que = dH em
U . Seja : S , M a inclus
ao e
S = .
Note que S e claramente uma forma de volume em S e est
a unicamente caracterizada pela equaca
o = dH . Com efeito, se =
dH = dH para alguma (2n1)-forma , ent
ao dH ( ) = 0
e portanto = dH para alguma (2n2)-forma em U . Sendo
dH = 0, conclumos que = + (dH ) = , como afirmamos.
Como t = e t dH = dH, temos que t S = S . De fato,
= t = t dH t = dH t , mas, pela unicidade de ,
t = t = , pois t = t .

Fluxos que preservam volume em variedades compactas possuem
fortes propriedades de recorrencia. Mais precisamente, dizemos que
um ponto x S e recorrente para o fluxo t se existe sequencia tk tal
que limk tk = e limk tk (x) = x. Note que obviamente
um ponto recorrente x e, em particular, um ponto n
ao-errante, ou
seja, dada qualquer vizinhanca U de x e T > 0, existe t > T tal que
t (U ) U 6= .
i
i
64
EGD2806
2006/7/26
page 64
i
Teorema 6.2.5 (Teorema de recorr

encia de Poincar
e). Seja t
um fluxo que preserva volume em uma variedade compacta S. Ent
ao
quase todo ponto de S com respeito a
` medida de volume S e um
ponto recorrente de t .
o: Seja = 1 o difeomorfismo dado pelo tempo um
Demonstrac
a
do fluxo. Provaremos inicialmente que, para todo A S,

\ [

j
S A
(A)
= S (A).
(6.2.1)
k0 jk
T
S
Observe que x est
a em k0 jk j (A) se para todo inteiro k
existe j k tal que x j (A), ou seja, j (x) A. Portanto
a interseca
o deste conjunto com A consiste nos pontos em A que
voltam infinitamente para A pelos iterados de .
Para provar a igualdade (6.2.1), defina
Ak :=
j (A)
jk
para k 0. Note que A0 A1 A2 .... Como k (Ak ) = A0

e preserva S , S (Ak ) = S (A0 ) para todo k e, portanto, como
Ak A0 e S (Ak ) < para todo k, A0 = Ak em quase todo ponto,
o que implica que k0 Ak = A0 em quase todo ponto. Como A A0 ,
conclumos que
A
k0
Ak = A A0 = A em quase todo ponto,
conforme desejado.
Finalmente, seja {U1 , U2 , ...} uma base topol
ogica enumer
avel de
S. Aplicando a igualdade (6.2.1) a cada Ui , conclumos que o conjunto S 0 dos pontos x tais que, se x Ui para algum i, ent
ao x volta
a Ui infinitas vezes, possui medida total. Como qualquer vizinhanca
U de x S 0 e dada pela uni
ao de Ui s, existe sequencia tk tal
que limtk tk (x) = x. Aplicando o mesmo argumento para 1 ,
conclumos a demonstraca
o.
i
i
EGD2806
2006/7/26
page 65
i
65
[SEC. 6.2: DINAMICA

Portanto, quase todas as o

rbitas do fluxo hamiltoniano restrito a
um nvel de energia s
ao recorrentes, sempre que o mesmo for compacto. Surge ent
ao a seguinte pergunta natural:
Quest
ao: Quando existem o
rbitas peri
odicas em um dado nvel de
energia (compacto) de um sistema hamiltoniano?
Tal quest
ao pode ser reformulada da seguinte maneira: dada uma
hipersuperfcie S em uma variedade simpletica, dizemos que uma
curva fechada : S 1 S e uma caractersitica fechada se (t)
LS ((t)) para todo t S 1 . Pela Proposica

o 6.2.1, a existencia de tal
curva implica que se S e uma hipersuperfcie de energia de alguma
hamiltoniana ent
ao, m
odulo uma reparametrizaca
o, e uma o
rbita
peri
odica do fluxo hamiltoniano.
A pergunta acima, alem de ser bastante natural, e de natureza
variacional. Para vermos porque, suponhamos, para efeito de simplicidade, que = d e exata. Dada uma hamiltoniana H e uma
curva fechada : [0, T ] M , definimos sua aca
o como
Z
AH () = ( H).
Isso define um funcional no espaco de curvas fechadas de perodo

fixado T em M , que chamamos de funcional de aca
o de H .
Proposi
c
ao 6.2.6 (Princpio de Hamilton). Pontos crticos do
funcional de aca
o est
ao em bijeca
o com o conjunto de o
rbitas peri
odicas
de XH . Mais precisamente, uma curva fechada : [0, T ] M e uma
o
rbita peri
odica de XH se e somente se, dada uma variaca
o suave de
curvas fechadas : [0, ] [0, T ] M tal que 0 = , tem-se

dAH (s )
= 0,

ds
s=0
onde s e a coordenada no primeiro fator.
o: Seja X o campo vetorial ao longo de dado por

Demonstrac
a

.
Pelo
teorema de Stokes,
s
s s=0
Z
Z
Z
.

d =
[0,][0,T ]
[0,T ]
0[0,T ]
i
i
66
EGD2806
2006/7/26
page 66
i
Dividindo ambos os lados acima por e fazendo

0, temos que o
R
o X e o lado
lado direito converge para a derivada de na direca
R
esquerdo tende a d(X, ).
Consequentemente,
dAH () X =
=
d(X, )
dH() X dt
0
T
0
( XH (), X) dt.
Observa
c
ao: O argumento acima se aplica para provar o seguinte:
se : [0, T ] M e uma curva (n
ao necessariamente fechada) e L1 e
L2 s
ao subvariedades de M tais que (0) L1 , (T ) L2 e |Li = 0
para i = 1, 2, ent
ao e uma o
rbita de XH se e somente se s = 0 e um
ponto crtico da aca
o AH para qualquer variaca
o s tal que 0 = ,
s (0) L1 e s (T ) L2 para todo s.
Utilizando esta abordagem variacional, P. Rabinowitz provou em
[32] o seguinte resultado:
Teorema 6.2.7 (Rabinowitz [32]). Seja S uma hipersuperfcie

em R2n que limita uma regi
ao convexa. Ent
ao S possui uma caracterstica fechada.
O teorema acima foi generalizado por A. Weinstein [42] para
hipersuperfcies em R2n com formato estrela, ou seja, hipersuperfcies
que s
ao transversais ao campo radial. Weinstein tambem lancou a
seguinte conjectura fundamental:
Conjectura 6.2.8 (Weinstein [42]). Toda hipersuperfcie de contato S em uma variedade simpletica M tal que H 1 (S) = 0 possui uma
caracterstica fechada.
Tal conjectura em seu formato geral e um problema em aberto,
mas v
arios resultados parciais foram obtidos, a comecar com a celebre
prova para M = R2n com a forma simpletica can
onica devida a
C. Viterbo [38]. Viterbo provou a conjectura de Weinstein sem a
hip
otese sobre H 1 (S). De fato, todos os resultados ate ent
ao obtidos
i
i
EGD2806
2006/7/26
page 67
i
67
[SEC. 6.2: DINAMICA

n
ao utilizam a hip
otese sobre a cohomologia de S, e a conjectura atualmente considerada e de que toda hipersuperfcie de contato possui
uma caracterstica fechada.
Na Seca
o 7.4 veremos como o problema de existencia de o
rbitas
fechadas para sistemas hamiltonianos est
a relacionado com invariantes globais e propriedades de rigidez em geometria simpletica. Para
encerrar esta seca
o, vamos considerar alguns exemplos.
Exemplo 6.2.9 (Din
amica em elips
oides). Seja H : Cn R
uma hamiltoniana da forma
H(z1 , ..., zn ) =
n
X
zj2
i=1
rj2
onde 0 < r1 r2 ... rn . Os nveis de energia de H s

ao os bordos
dos elips
oides

n
X
z j 2
n

Ek (r1 , r2 , ..., rn ) = (z1 , . . . , zn ) C ;
rj k .
j=1
Sendo todos os nveis de energia de H transversais ao campo radial,

para estudarmos sua din
amica basta nos restringirmos ao caso k = 1.
Como XH e linear, podemos calcular explicitamente seu fluxo,
que e dado por
t (z1 , ..., zn ) = (et1 J0 z1 , et2 J0 z2 , ..., etn J0 zn ),
onde i = 2/ri2 . Consequentemente, XH restrita a E1 (r1 , r2 , ..., rn )

possui ao menos n o
rbitas peri
odicas dadas por
j (t) = (0, ..., 0, zj (t), 0, ..., 0),
onde zj (t) = etj J0 zj (0) e |zj (0)|2 = rj2 . De fato, existem duas
possveis situaco
es:
h(r12 , ..., rn2 ), vi 6= 0 para todo v Zn , v 6= 0, quando as u
nicas
o
rbitas peri
odicas s
ao 1 , ..., n ;
h(r12 , ..., rn2 ), vi = 0 para algum v Zn , v 6= 0, quando existem
infinitas o
rbitas peri
odicas.
i
i
68
EGD2806
2006/7/26
page 68
i
Repare que quando r1 = r2 = ... = rn = 1 camos no Exemplo 6.1.5,

onde todas as o
rbitas s
ao peri
odicas.
Exemplo 6.2.10 (Fluxos geod
esicos). Seja (M, g) uma variedade
riemanniana e T M seu fibrado cotangente, munido da forma simpletica can
onica. A metrica g define um difeomorfismo entre os fibrados
tangente e cotangente de M dado por (x, v) 7 (x, iv g). Seja a
forma simpletica em T M dada pelo pullback da forma simpletica
can
onica em T M via tal difeomorfismo.
Considere em T M a hamiltoniana H : T M R dada pela energia
cinetica H(x, v) = (1/2)g(v, v). Seu fluxo hamiltoniano e chamado
o fluxo geodesico de M e e dado por (x,v) (t) = ((x,v) (t), (x,v) (t)),
onde (x,v) e a u
nica geodesica em M tal que (x,v) (0) = x e (x,v) (0) =
v (lembre que uma curva e uma geodesica se satisfaz = 0).
Fluxos geodesicos s
ao objetos de intenso estudo h
a decadas e constituem um importante campo de investigaca
o envolvendo geometria
diferencial e sistemas din
amicos. Existem v
arios trabalhos sobre o
assunto, especialmente quando a curvatura de M e n
ao positiva, ver
[31] e as referencias a mencionadas.
Como visto no Exemplo 5.1.4, todos os nveis de energia de H s
ao
de contato. Ademais, sempre existem o
rbitas fechadas em todo nvel
de energia. De fato, basta provar a existencia de uma o
rbita fechada
em um nvel de energia, pois o fluxo geodesico tem a importante
propriedade de homogeneidade, isto e, sua din
amica em qualquer nvel
de energia e equivalente a uma reparametrizaca
o do fluxo geodesico
no fibrado unit
ario (pois a geodesica com condica
o inicial (x, v) e uma
reparametrizaca
o da geodesica com condica
o inicial (x, v/kvk)).
A existencia de geodesicas fechadas em uma variedade riemanniana compacta e um fato bem conhecido em geometria diferencial.
Quando M n
ao e simplesmente conexa, basta tomar uma classe de
homotopia livre n
ao trivial e minimizar a energia entre as curvas
fechadas nesta classe. Neste caso, o teorema e devido a Cartan e
possui uma demonstraca
o simples, que pode ser encontrada em [12].
No caso geral, o resultado e devido a Lyusternik e Fet e usa teoria de
Morse para o funcional de energia no espaco de curvas fechadas, ver
[24].
Exemplo 6.2.11 (Fluxo geod
esico em S n ). Considere a esfera
n
n+1
S em R
com a metrica induzida. Neste caso as geodesicas s
ao
i
i
[SEC. 6.2: DINAMICA

EGD2806
2006/7/26
page 69
i
69
os grandes crculos e portanto todas as o

rbitas do fluxo geodesico no
fibrado unit
ario U S n s
ao fechadas.
esico no toro plano). Seja T n =
n
n
R /Z o toro n-dimensional com a metrica plana induzida do Rn . As
geodesicas de T n s
ao as projeco
es das retas pela projeca
o quociente
: Rn Rn /Zn . Consequentemente, o fibrado unit
ario U T n e
folheado por toros de dimens
ao n invariantes pelo fluxo, restrito aos
quais o fluxo e uma translaca
o. Tais toros s
ao dados por T n {v}
n
n
n1
n1
UT = T S
para v S
.
esico de variedades hiperb
olicas).
Seja agora M uma variedade riemanniana hiperb
olica, ou seja, com
um fato bem conhecido
curvatura seccional constante negativa. E
que o fluxo geodesico t de M possui a seguinte propriedade: existe
uma metrica no fibrado unit
ario U M e uma decomposica
o do fibrado
tangente de U M em subfibrados
T U M = span(X) E s E u ,
onde X = (d/dt)|t=0 t e o gerador infinitesimal do fluxo geodesico,
tal que dt (E s ) = E s , dt (E u ) = E u e existem constantes 0 < a <
1 < b satisfazendo
kdt (v)k at kvk e kdt (w)k bt kwk
para todo v E s , w E u e t > 0. Fluxos com essa propriedade s
ao
chamados fluxos Anosov. A prova desse fato para variedades com
curvatura constante negativa e relativamente simples e usa somente
fatos b
asicos de geometria hiperb
olica (ver, por exemplo, Seca
o 17.5
de [20]).
Fluxos Anosov s
ao bem estudados em sistemas din
amicos e podese provar, entre outras coisas, que s
ao topologicamente transitivos (ou
seja, possuem o
rbitas densas) e seu conjunto de o
rbitas peri
odicas e
denso.
Exemplo 6.2.14 (Fluxos magn
eticos). Seja (M, g) uma variedade
riemanniana e B uma 2-forma fechada em M . Como no Exemplo
6.2.10, seja a forma simpletica em T M dada pelo pullback da forma
simpletica can
onica em T M via a metrica. Considere em T M a
i
i
70
EGD2806
2006/7/26
page 70
i
forma simpletica B := + B, onde : T M M e a projeca

o
can
onica (veja a discuss
ao no final da Seca
o 3.2).
O fluxo hamiltoniano dado pela energia cinetica
H(x, v) = (1/2)g(v, v)
e chamado o fluxo magnetico de (M, g) associado ao campo magnetico
B.
Exerccio: Seja Y : T M T M a aplicaca
o de fibrados definida pela
equaca
o B(v, w) = g(Y (v), w). Tal aplicaca
o denomina-se forca de Lorentz
associada a B. Mostre que as o
rbitas de XH satisfazem a equaca
o de
Newton
= Y ().
Fluxos magneticos s
ao generalizaco
es naturais de fluxos geodesicos
e tem sido muito estudados em v
arios aspectos nos u
ltimos anos, ver
[4, 10, 15]. Todavia, eles diferem de fluxos geodesicos em muitos aspectos. Por exemplo, fluxos magneticos n
ao s
ao homogeneos como
fluxos geodesicos, de maneira que a din
amica pode ser completamente
diferente em cada nvel de energia.
Em particular, o problema de existencia de o
rbitas fechadas tem
que ser tratado em cada nvel. De fato, existem exemplos de nveis
de energia de fluxos magneticos sem o
rbitas fechadas (ver Exemplo
6.2.17). V
arios resultados sobre a existencia de tais o
rbitas s
ao conhecidos, ver [10, 15] e referencias a contidas.
Outra diferenca fundamental e que nveis de energia do fluxo
magnetico n
ao s
ao necessariamente de contato. Por exemplo, podese mostrar (usando uma sequencia exata de cohomologia chamada
sequencia de Gysin) que se B n
ao e exata e a dimens
ao de M e maior
que 2, ent
ao B restrita a qualquer H 1 (k) n
ao e exata [10].
Exemplo 6.2.15 (Fluxo magn
etico em S 2 com a forma de
area). Considere a esfera S 2 em R3 equipada com a metrica induzida,

e seja B a forma de a
rea em S 2 . Como B(v, w) = hJv, wi, onde J e a
estrutura complexa em S 2 , as trajet
orias do fluxo magnetico dado
por B satisfazem
= J(),
ou seja, possui curvatura geodesica constante. Portanto, como no

fluxo geodesico do Exemplo 6.2.11, todas as o
rbitas s
ao fechadas.
i
i
[SEC. 6.2: DINAMICA

EGD2806
2006/7/26
page 71
i
71

etico no toro plano K
ahler).
Seja T 2n o toro 2n-dimensional equipado com a metrica plana induzida do R2n , como no Exemplo 6.2.12, e seja B a forma de K
ahler
em T 2n . Analogamente ao exemplo anterior, B(v, w) = hJv, wi,
onde J e a estrutura complexa em T 2n , de forma que as o
rbitas
tambem possuem curvatura geodesica constante. Como curvas com
curvatura geodesica constante em R2n s
ao crculos, as trajet
orias do
fluxo magnetico s
ao fechadas, com projeca
o contr
atil em T 2n .
etico em quocientes do espa
co
complexo hiperb
olico). Seja M um quociente compacto do espaco
complexo hiperb
olico munido da metrica induzida com curvatura seccional holomorfa constante igual a 1, e seja B a forma de K
ahler.
Como nos dois u
ltimos exemplos, as o
rbitas magneticas possuem curvatura geodesica constante. Pode-se provar, porem, que neste caso
existem tres comportamentos din
amicos completamente distintos [3]:
Se a energia for menor que 1/2, todas as trajet
orias s
ao fechadas
com projeca
o contr
atil em M ;
no nvel de energia 1/2, o fluxo magnetico e equivalente ao
fluxo horocclico; em particular, todas as o
rbitas s
ao densas, e
portanto n
ao existem o
rbitas peri
odicas;
se a energia for maior que 1/2, o fluxo magnetico e diferenciavelmente equivalente ao fluxo geodesico; em particular e um
fluxo Anosov.
i
i
EGD2806
2006/7/26
page 72
i
Captulo 7
Invariantes globais
7.1
Capacidades simpl
eticas e rigidez de
simplectomorfismos
Vimos no Captulo 4 como o truque de Moser implica em v

arias
propriedades de rigidez local de estruturas simpleticas. Mais precisamente, vimos que formas simpleticas s
ao equivalentes em vizinhancas
de diversas subvariedades e obtivemos formas normais para as mesmas. Isso contrasta fortemente com estruturas riemannianas, para as
quais a curvatura aparece como invariante local. Vimos, ainda, que
estruturas simpleticas em variedades compactas s
ao indistinguveis
quando ligadas por formas simpleticas na mesma classe de cohomologia.
Uma pergunta natural e importante, portanto, e se existem invariantes que possam diferenciar uma estrutura simpletica de outra.
Pelo que vimos, tais invariantes tem que ser de natureza global. Um
primeiro invariante o
bvio e dado pelo volume da variedade,
Z
Vol(M ) =
,
M
onde e a forma de volume de Liouville.

Sabemos que, em dimens
o 2, temos a recproca: pelo teorema
de Moser (Teor. 4.1.1), duas superfcies simpleticas compactas s
ao
72
i
i
[SEC. 7.1: CAPACIDADES SIMPLETICAS

E RIGIDEZ DE SIMPLECTOMORFISMOS
EGD2806
2006/7/26
page 73
i
73
simplectomorfas se e somente se s
ao difeomorfas e possuem a mesma
a
rea.
Porem, o que ocorre em dimens
ao maior? Existe algum outro invariante simpletico alem do volume? Esta pergunta ficou em aberto
durante um longo perodo ate o aparecimento de um celebre trabalho
de M. Gromov em 1985, intitulado Pseudo holomorphic curves on almost complex manifolds [18]. Neste artigo Gromov prova o seguinte
resultado not
avel:
Teorema 7.1.1 (Teorema non-squeezing de Gromov). Sejam
B 2n (r) = {(x, y) R2n ; kxk2 + kyk2 < r2 } a bola de raio r e
Z 2n (R) = {(x, y) R2n ; x21 + y12 < R2 } o cilindro de raio R sobre
onica 0 =
P o (x1 , y1 )-plano, ambos2ncom a forma simpletica can
dx
dy
induzida
de
R
.
Ent
a
o
existe
um
mergulho
simpletico
i
i
i
de B 2n (r) em Z 2n (R) se e somente se r R.
Observa
c
ao: Note que, no resultado acima, e fundamental tomarmos o plano simpletico (x1 , y1 ). De fato, se tom
assemos, por exemplo,
o plano isotr
opico (x1 , x2 ), ent
ao a transformaca
o simpletica (x, y) 7
(x, 1 y) leva a bola B 2n (1) no cilindro {(x, y) R2n ; x21 +x22 < 2 }.
A partir deste resultado, Gromov introduziu o seguinte valor (podendo ser infinito) associado a uma variedade simpletica, chamado
de capacidade de Gromov, ou espessura simpletica:
cG (M, ) = sup{r2 ; existe mergulho simpletico B 2n (r) , (M, )}.
Evidentemente, se (N, ) e uma variedade simpletica com dim N =
dim M e existe um mergulho simpletico de (N, ) em (M, ), ent
ao
cG (N, ) cG (M, ).
Em particular, a capacidade de Gromov e um invariante simpletico.
Note que, pelo teorema de Moser, se M e uma superfcie, ent
ao
cG (M, ) coincide com a a
rea de (M, ). De fato, dada uma superfcie
M de a
rea A, podemos tomar discos em M com a
reas arbitrariamente
pr
oximas de A (tome os discos em um domnio fundamental do recobrimento universal de M ).
i
i
74
EGD2806
2006/7/26
page 74
i
[CAP. 7: INVARIANTES GLOBAIS
Por outro lado, cG (M, ) e completamente distinto do volume em

dimens
ao maior, pois cG (Z 2n (r), 0 ) = r2 enquanto Vol(Z 2n (r), 0 ) =
.
A import
ancia do teorema de Gromov n
ao e somente definir um
novo invariante. Ele tambem implica em propriedades de rigidez de
transformaco
es simpleticas. Note que a condica
o sobre um difeomorfismo ser simpletico e uma condica
o em sua derivada e evidentemente
e fechada na topologia C 1 . Todavia, o teorema de Gromov implica o
seguinte resultado surpreendente:
Teorema 7.1.2 (Eliashberg e Gromov). O grupo de simplectomorfismos e fechado na topologia C 0 , ou seja, dada uma sequencia de
difeomorfismos simpleticos j
ent
ao e simpletico.
C 0 unif
, se e um difeomorfismo,
Esse teorema pode ser visto como um an

alogo simpletico do teorema de Weierstrass que afirma que o limite uniforme na topologia C 0
de funca
o holomorfas e uma funca
o holomorfa. Daremos uma demonstraca
o do Teorema 7.1.2 na Seca
o 7.3 usando capacidades simpleticas
devida e Ekeland e Hofer.
A demonstraca
o do teorema nonsqueezing de Gromov e longa e
difcil. Ela e baseada no estudo de curvas pseudo-holomorfas com
respeito a uma estrutura quase-complexa compatvel com a forma
simpletica, e envolve uma sofisticada construca
o analtica. Na Seca
o
7.2 daremos um breve esboco da prova.
Novas provas do teorema nonsqueezing surgiram ap
os o trabalho
de Gromov. Em geral, elas decorrem da construca
o de certos invariantes simpleticos, chamados capacidades simpleticas, cuja axiomatizaca
o e devida a Hofer e Zehnder [21, 22].
Defini
c
ao 7.1.3. Considere a classe de todas as variedades simpleticas {(M, )} de dimens
ao fixa igual a 2n. Uma capacidade simpletica
e um mapa (M, ) 7 c(M, ) que associa a (M, ) um n
umero n
ao
negativo ou satisfazendo os seguintes axiomas:
Monotonicidade: se existe uma mergulho simpletico : (M, )
(N, ) ent
ao
c(M, ) c(N, );
Conformalidade: c(M, a) = |a|c(M, ), a R \ {0};
i
i
[SEC. 7.1: CAPACIDADES SIMPLETICAS

E RIGIDEZ DE SIMPLECTOMORFISMOS
EGD2806
2006/7/26
page 75
i
75
N
ao-trivialidade: c(B 2n (r), 0 ) = c(Z 2n (r), 0 ) = r2 .
Claramente a capacidade de Gromov e uma capacidade simpletica.

A monotonicidade,
a vimos, e o
bvia. A conformalidade segue
pcomo j
do fato que (B 2n ( |a|r), 0 ) e simplectomorfa a (B 2n (r), |a|0 ) (Exerccio). A n
ao-trivialidade e exatamente o teorema nonsqueezing.
De fato, a existencia de uma capacidade simpletica implica o teorema nonsqueezing.
Note que cG e a menor capacidade simpletica. Por outro lado, a
maior capacidade e dada por
c(M, ) = inf{r 2 ; existe mergulho simpletico : (M, ) (Z 2n (r), 0 )}
Portanto, temos que
cG (M, ) c(M, ) c(M, )
para qualquer capacidade (M, ) 7 c(M, ).
Exemplo 7.1.4 (Capacidade de Elips

oides). Considere um elips
oide
qualquer dado por

2n
X
2n
E= vR ;
ajk vj vk 1 .
j,k=1
Exerccio: (Lema 2.43 de [29]) Mostre que existe um simplectomorfismo

linear levando E em
ff
n
X
z j 2
1 ,
E(r1 , r2 , ..., rn ) = (z1 , . . . , zn ) Cn ;
r
j
j=1
para algum 0 < r1 r2 ... rn , e os n
umeros ri s
ao unicamente
determinados por E.
Como B 2n (r1 ) E(r1 , r2 , ..., rn ) Z 2n (r1 ), segue que

cG (E) = r12 .
Exemplo 7.1.5 (Continuidade da capacidade para conjuntos

convexos). Defina a dist
ancia de Hausdorff de dois subconjuntos U
e V de R2n como

d(U, V ) = max min kx yk + max min kx yk .
xU
yV
yV
xU
i
i
76
EGD2806
2006/7/26
page 76
i
Exerccio: Suponha que U e um conjunto convexo contendo a origem.

Mostre que > 0, existe > 0 tal que
(1 )U V (1 + )U
sempre que d(U, V ) < .
Segue ent
ao do exerccio acima que a capacidade de conjuntos convexos e contnua com respeito a
` metrica de Hausdorff. Note que e fundamental nos restringirmos a conjuntos convexos. Com efeito, podemos aproximar arbitrariamente na metrica de Hausdorff um disco D
de dimens
ao dois pela uni
ao disjunta A de finos aneis. A capacidade
de Gromov de A e a maior a
rea dos finos aneis e portanto pode ser
arbitrariamente pequena.
Na Seca
o 7.4.4 veremos como Hofer e Zehnder construram novas
capacidades simpleticas em termos de o
rbitas peri
odicas de sistemas
hamiltonianos. Veremos que este resultado n
ao s
o fornece uma nova
prova din
amica do teorema nonsqueezing mas tambem uma demonstraca
o da conjectura de Weinstein em R2n .
7.2
Breve esbo
co da prova do teorema nonsqueezing via curvas pseudo-holomorfas
Daremos aqui um breve esboco da prova do teorema nonsqueezing de

Gromov. Para uma exposica
o mais detalhada, sugerimos [6, 18, 23].
Utilizaremos [23] como referencia nesta seca
o.
Como mencionamos anteriormente, a prova de Gromov do teorema nonsqueezing est
a baseada no estudo de curvas pseudo-holomorfas
em uma variedade simpletica. Tais objetos s
ao as generalizaco
es naturais de curvas holomorfas para variedades quase-complexas.
Defini
c
ao 7.2.1. Seja (M, J) uma variedade com uma estrutura
quase-complexa J e (, j) uma superfcie de Riemann com uma estrutura complexa j. Uma aplicaca
o suave u : M tal que
du j = J du
e dita uma curva J-holomorfa ou uma curva pseudo-holomorfa (quando
e claro com respeito a qual estrutura quase-complexa) em M .
i
i
[SEC. 7.2: ESBOC

O DA PROVA DO TEOREMA NONSQUEEZING
EGD2806
2006/7/26
page 77
i
77
Seja agora : B 2n (r) Z 2n (R) um mergulho simpletico e r 0 < r.

Como (B 2n+2 (r0 )) e compacto, existe um mergulho simpletico
: B 2n (r0 ) (B 2 (R) T 2n2 , 0 0 )
tomando T 2n2 = R2n2 /aZ2n2 , para a suficientemente grande,
com a forma simpletica induzida de R2n2 , que continuamos denotando por 0 . No que segue denotaremos r 0 por r para simplificar a
notaca
o.
Assim, o Teorema 7.1.1 segue do seguinte resultado geral:
Teorema 7.2.2 (Teorema nonsqueezing para produtos). Seja
(N, ) uma variedade simpletica de dimens
ao 2n 2 tal que 2 (N ) =
0. Se existe um mergulho simpletico de B 2n (r) em B 2n (R)N , ent
ao
r < R.
Daremos uma prova deste teorema utilizando o seguinte resutado
devido a Gromov.
Teorema 7.2.3 (Gromov). Seja (N, ) uma variedade simpletica
compacta tal que 2 (N ) = 0 e J uma estrutura quase-complexa em
S 2 N compatvel com a forma simpletica produto , onde e a
forma de a
rea de S 2 . Ent
ao, dado um ponto p S 2 N , existe uma
2
curva J-holomorfa u : S S 2 N passando sobre p e hom
ologa a
`
fibra S 2 {x}.
o:[Breve esboco da prova do Teorema 7.2.3] O resulDemonstrac
a
tado e trivial quando J = j JN , onde j e a estrutura complexa usual
em S 2 e JN e qualquer estrutura quase-complexa em N . A prova no
caso geral e baseada no estudo dos mapas de avaliaca
o (evaluation
maps)
evJ : M ([S 2 ], J) G S 2 M
[f, z] 7 f (z),
onde M = S 2 N , J e uma estrutura quase-complexa em M compatvel com a forma simpletica produto , M ([S 2 ], J) e o conjunto
de curvas J-holomorfas em M hom
ologas a
` fibra S 2 {x}, G e o grupo
2
de transformaco
es conformes em S , e M ([S 2 ], J)G S 2 e o quociente
2
de M ([S ], J) S 2 pela aca
o de G dada por g (f, z) = (f g, g 1(z)).
i
i
78
EGD2806
2006/7/26
page 78
i
O teorema e ent
ao equivalente a afirmar que evJ e sobrejetiva.
Para provar isto, repare que evjJN e evidentemente sobrejetiva. A
ideia b
asica e, a grosso modo, deformar evjJN ate evJ preservando
esta propriedade.
O ponto crucial na demonstraca
o e que, sob as condico
es do teorema, para um J generico (ou seja, em um subconjunto residual
no espaco de estruturas quase-complexas compatveis J ), o espaco
M ([S 2 ], J)G S 2 e uma variedade compacta suave de dimens
ao finita
na topologia C . Tais estruturas complexas genericas s
ao chamadas
regulares.
Prova-se, ent
ao, que existem estruturas quase-complexas regulares
Ja e Jb pr
oximas de j JV e J, respectivamente, e pontos pa e pb
pr
oximos de p tais que pa e pb s
ao valores regulares de evJa e evJb ,
respectivamente, e #evJ1
(p
)
=
1. Em particular,
a
a
grau(evJa ) = 1.
Apesar do espaco de estruturas quase-complexas regulares n
ao
ser conexo por caminhos, pode-se, em geral, ligar estruturas quasecomplexas regulares Ja e Jb por um caminho : [0, 1] J tal que
M ([S 2 ], ) G S 2 e uma variedade diferenci
avel compacta com bordo
M ([S 2 ], Ja ) G S 2 M ([S 2 ], Jb ) G S 2 , onde M ([S 2 ], ) e o conjunto
de curvas (t)-holomorfas em M hom
ologas a
` fibra S 2 {x} para
todo t [0, 1], e G age de maneira an
aloga em M ([S 2 ], ) S 2 . Note
que usamos aqui o fato de que J e contr
atil, e portanto conexo por
caminhos (veja as Seco
es 2.4 e 3.3.1).
Esse fato nos permite definir o mapa de avaliaca
o
ev : M ([S 2 ], ) G S 2 M,
que restrito a
`s componentes do bordo M ([S 2 ], Ja )G S 2 e M ([S 2 ], Jb )G
2
S coincide com evJa e evJb , respectivamente. Isto implica que as
ao cobordantes. Um argumento can
onico em
aplicaco
es evJa e evJb s
Topologia Diferencial mostra, ent
ao, que
grau(evJb ) = grau(evJa ) = 1.
Como pb e Jb est
ao arbitrariamente pr
oximos de J e p respectivamente, prova-se que as curvas Jb -holomorfas passando em pb convergem a uma curva J-holomorfa passando em p que e hom
ologa a
`
i
i
[SEC. 7.2: ESBOC

O DA PROVA DO TEOREMA NONSQUEEZING
fibra S 2 {x}.
EGD2806
2006/7/26
page 79
i
79
Note que dado um mergulho simpletico

: B 2n (r) (B 2 (R) N, 0 )
temos de fato um mergulho simpletico
: B 2n (r) (S 2 (R/2) N, ),
onde S 2 (R) e a esfera de raio R. Com efeito, podemos mergulhar
simpleticamente B 2 (R) em S 2 (R/2) via o teorema de DacorognaMoser (veja o Teorema 7.4.6 mais a frente).
Seja J0 a estrutura quase-complexa can
onica em R2n e considere a
2n
estrutura quase-complexa J0 em (B (r)). A proposica
o seguinte
diz que podemos estender J0 a uma estrutura quase-complexa J
em S 2 (R/2) N compatvel com :
Proposi
c
ao 7.2.4. Dada uma variedade simpletica (M, ), uma subvariedade S M e uma estrutura quase-complexa J0 definida ao
longo de S (i.e., um endomorfismo em T M |S tal que J02 = Id)
compatvel com , ent
ao existe uma estrutura quase-complexa J em
M tambem compatvel com e tal que J|S = J0 .
o: Seja g0 a metrica riemanniana definida ao longo
Demonstrac
a
de S dada por (, J0 ). Considere em M uma partica
o da unidade
{i }iI , e construa em cada suporte de i uma metrica riemanniana
hi que coincide com g0 se suporte(i S) 6= . Como
uma soma
P
positiva de metricas e uma metrica, temos que g := iI i hi e uma
metrica definida em toda M que estende g0 .
Note agora que, pela Proposica
o 2.4.2, dado um produto interno e
uma forma simpletica em um espaco vetorial, existe uma estrutura
complexa compatvel com . Como essa construca
o e can
onica, podemos aplic
a-la ao fibrado tangente T M , obtendo a estrutura quasecomplexa desejada.

Consequentemente, temos que
: (B 2n (r), J0 ) (S 2 (R/2) N, J).
i
i
80
EGD2806
2006/7/26
page 80
i
e uma aplicaca
o holomorfa, ou seja, tal que d J0 = J d.
Pelo Teorema 7.2.3, existe uma curva J-holomorfa C hom
ologa a
S 2 {x} contendo (0) de forma que, pelo teorema de Stokes,
Z
Z
=
= R2 .
S 2 {x}
Se C 0 = C (B 2n (r)), temos que

Z
Z
R2
=
C0
0 ,
1 (C 0 )
pois e simpletica. Mas 1 (C 0 ) e uma curva J0 -holomorfa passando

pela origem. Em particular, e uma superfcie mnima contida em
B 2n (r). Usaremos agora o seguinte fato sobre subvariedades mnimas
em R2n . Para uma prova, ver [23].
Proposi
c
ao 7.2.5. Seja M n RN uma subvariedade mnima e
p M . Ent
ao,
Vol(B(p, r) M ) cn rn ,
onde B(p, r) e a bola de centro p e raio r, e cn e o volume da bola
n-dimensional de raio 1.
Consequentemente, temos que
a
rea(1 (C 0 )) =
1 (C 0 )
0 r2 ,
onde a igualdade acima segue do fato que C 0 e uma subvariedade

complexa de B 2n (r), e portanto simpletica.
7.3
Rigidez de simplectomorfismos
Seja i : R2n R2n uma sequencia de difeomorfismos simpleticos.

Como a condica
o sobre um simplectomorfismo envolve somente sua
derivada, temos claramente que, se i converge a um difeomorfismo
na topologia C 1 , ent
ao e simpletico.
i
i
EGD2806
2006/7/26
page 81
i
81
[SEC. 7.3: RIGIDEZ DE SIMPLECTOMORFISMOS
Suponha agora que i uniformemente na topologia C 0 , de

forma que e contnua. Como
Z
Z
Z
Z
f d = f d
f i d = lim
f d = lim
i
para toda funca

o contnua f , onde e a forma de volume em R2n ,
temos que tambem preserva a forma de volume. Em particular, se
e diferenci
avel ent
ao det d(x) = 1 para todo x R2n .
Veremos nesta seca
o que, surpreendentemente, se e diferenci
avel,
ent
ao d e simpletica. Seguiremos um argumento devido a Ekeland
e Hofer [13], mostrando que tal fato segue diretamente da existencia
de uma capacidade simpletica.
Teorema 7.3.1. Um difeomorfismo que preserva orientaca
o :
R2n R2n e simpletico com respeito a
` forma simpletica can
onica se e
somente se existe uma capacidade simpletica c tal que c((U )) = c(U )
para todo elips
oide U R2n .
Na prova utilizaremos o seguinte an
alogo linear do resultado acima:
Lema 7.3.2. Uma transformaca
o linear L : R2n R2n que preserva
a capacidade de elips
oides e simpletica ou anti-simpletica, isto e,
L 0 = 0 .
o: Se L n
Demonstrac
a
ao e simpletica nem anti-simpletica, o mesmo
se passa com sua transposta L (Exerccio). Portanto, existem v, w
R2n tais que
0 (v, w) 6= 0 (L v, L w).
Perturbando v e w se necess
ario, podemos supor que 0 (v, w) e
0 (L v, L w) s
ao n
ao-nulos. Trocando L por (L )1 e reescalando
v e w se necess
ario, assuma que
0 < 2 := |0 (L v, L w)| < |0 (v, w)| = 1.
Considere agora uma base simpletica {vi , wi }, i = 1, . . . , n, de R2n tal
que v1 = v e w1 = w, e uma segunda base simpletica {vi0 , wi0 } tal que
v10 = L v e w10 = Lw .
i
i
82
EGD2806
2006/7/26
page 82
i
Sejam A e A0 transformaco
es lineares simpleticas que levam a base
simpletica can
onica (ei )2n
em
{vi , wi } e {vi0 , wi0 }, respectivamente.
i=1
Tomando C = (A0 )1 L A, temos que
C(e1 ) = e1 e C(e2 ) = e2 .
As matrizes C e C possuem ent
ao a forma

0
e C =
C=
0
0
0

0
,
ou seja, a transposta C preserva o subespaco span{e3 , ..., e2n } e contrai por a primeira e segunda componentes dos vetores e1 e e2 .
Consequentemente,
C (B 2n (1)) Z 2n ().
Mas, como A, L e A0 preservam a capacidade, o mesmo ocorre para
C = A L(A0 )1 , chegando a um absurdo.
Finalmente, note que C precisa preservar somente a capacidade
de bolas. Portanto, e preciso somente que L preserve a capacidade
da imagem de bolas por transforaco
es lineares, ou seja, elips
oides.
o:[Prova do Teorema 7.3.1] Temos que provar que
Demonstrac
a
dx e simpletica para todo x R2n . Compondo com translaco
es,
podemos nos restringir ao caso em que x = 0 e (0) = 0. Mas d0 e
o limite uniforme em compactos dos difeomorfismos
t (x) =
(tx)
t
quando t 0. Note que t preserva a capacidade para todo t 6= 0.

Com efeito, chamando t a multiplicaca
o x 7 tx, temos que
c(t (U ), 0 ) = c(1/t t (U ), 0 )
= c( t (U ), 1/t 0 )
= (1/t2 )c( t (U ), 0 )
= (1/t2 )c(t (U ), 0 )
= c(U, 0 ),
i
i
[SEC. 7.4: A CAPACIDADE DE HOFER-ZEHNDER
EGD2806
2006/7/26
page 83
i
83
onde a segunda e terceira igualdades seguem da monotonicidade e

conformalidade de c junto ao o fato de que t 0 = t2 0 , e a quarta
igualdade decorre do fato de que preserva a capacidade para elips
oides
e t (U ) tambem e um elips
oide.
Agora, note que dado um elips
oide U e um n
umero positivo < 1,
existe t0 tal que
t (U ) d0 (U ) t (1 U )
para todo t > t0 . De fato, seja ft = d01 t . Como ft converge
a
` identidade uniformemente em compactos, ft (U ) U ft (1 U )
para t suficientemente grande (note que aqui estamos usando o fato
que U e um elips
oide, pois a relaca
o de inclus
ao U U 1 U
claramente n
ao e v
alida para um aberto U qualquer).
Como c(U ) = 2 c(U ), segue ent
ao da monotonicidade de c e das
inclus
oes acima que d0 preserva a capacidade de elips
oides. Pelo
Lema, 7.3.2 conclumos que d0 e simpletica ou anti-simpletica.
Para finalizar, note que, como preserva a orientaca
o, se n e
mpar, segue imediatamente que d0 n
ao pode ser anti-simpletica.

Se n for par, aplique o mesmo argumento para IdR2 .
Corol
ario 7.3.3 (Eliashberg e Gromov). O grupo de simplectomorfismos Simp(M, ) e C 0 fechado em Dif(M ).
o: Como o resultado e de natureza local, basta prov
Demonstrac
a
alo quando (M, ) = (R2n , 0 ), o que segue do Teorema 7.3.1.
7.4
A capacidade de Hofer-Zehnder
Como vimos na Seca

o 7.5, uma quest
ao importante em geometria
simpletica e o problema da existencia de o
rbitas peri
odicas em nveis
de energia de sistemas hamiltonianos. Em [22, 21], Hofer e Zehnder introduziram o seguinte invariante simpletico diretamente relacionado a este tipo de problema:
Defini
c
ao 7.4.1. A capacidade de Hofer-Zehnder de uma variedade
i
i
84
EGD2806
2006/7/26
page 84
i
simpletica (M, ) e dada por

cHZ (M, ) =
sup
max H,
HHA (M,)
onde HA (M, ) e o conjunto de hamiltonianas admissveis H em M ,

isto e,
H H(M, ) C (M, R), onde H H(M, ) se e somente
se H 0, e existe um conjunto aberto V M onde H|V 0
e um conjunto compacto K M \ M satisfazendo H|M \K
max H;
toda o
rbita peri
odica n
ao-constante (ou seja, que n
ao seja uma
singularidade) de XH possui perodo maior que 1.
Intuitivamente, a capacidade de Hofer-Zehnder mede a oscilaca
o
suficiente para uma hamitoniana em H(M, ) possuir o
rbitas peri
odicas de curto perodo. Mais precisamente, temos pela definica
o
acima que se cHZ (M, ) < e H H(M, ) e tal que max H >
cHZ (M, ), ent
ao o fluxo hamiltoniano de H possui uma o
rbita peri
odica n
ao-trivial de perodo menor que 1.
Proposi
c
ao 7.4.2. A capacidade de Hofer-Zehnder satisfaz as propriedades de monotonicidade e conformalidade.
o: Inicialmente provaremos a monotonicidade. Se
Demonstrac
a
: (M, ) (N, ) e um mergulho simpletico entre variedades de
mesma dimens
ao, definimos uma aplicaca
o : H(M, ) H(N, )
dada por
(
H 1 (x) se x (M );
(H) =
max H se x
/ (M ).
Claramente max (H) = max H. Basta provar ent
ao que
HA (M, ) HA (N, ).
Mas como e simpletica, X (H) = d(XH ) em (M ). Portanto,
toda o
rbita peri
odica n
ao-trivial de X (H) corresponde a uma u
nica
o
rbita peri
odica n
ao-trivial de XH de mesmo perodo via , visto que
H e constante e igual a max H em N \ (M ).
i
i
EGD2806
2006/7/26
page 85
i
85
Para a conformalidade, seja a R, a 6= 0, e defina : H(M, )

H(M, a) por (H) = Ha := |a|H. Claramente e uma bijeca
o,
e, como max Ha = |a| max H, basta mostrarmos que define uma
bijeca
o entre HA (M, ) e HA (M, a). Mas o campo hamiltoniano
a
XH
de Ha com respeito a a e dado pela equaca
o
a
a
a(XH
, ) = |a|dHa ,
a
e portanto coincide com XH ou XH dependendo do sinal de a, onde

XH e o campo hamiltoniano de H com respeito a .

Proposi
c
ao 7.4.3. cHZ (B 2n (r)), 0 ) r2 .
o: Pela conformalidade de cHZ , basta provar que
Demonstrac
a
cHZ (B 2n (1)), 0 ) . Para tal, vamos construir explicitamente,
para um dado 0 < < , uma hamiltoniana admissvel em B 2n (1)
tal que max H = . Seja f : [0, 1] [0, ) uma funca
o suave tal
que
0 f 0 (t) < ;
f (t) = 0 para t pr
oximo de 0;
f (t) = para t pr
oximo de 1.
Defina H(x) = f (kxk2 ) para x B 2n (1). Ent
ao max H = e
afirmamos que H e admissvel. De fato, o campo hamiltoniano de H
e dado por
XH (x) = 2f 0 (kxk2 )XF (x),
onde F (x) = (1/2)kxk2 e a hamiltoniana vista no Exemplo 6.1.5,
cujo fluxo hamiltoniano e dado explicitamente por F
t (x) = (cos t)x
(sin t)J0 x. Todas as o
rbitas de XF s
ao peri
odicas de perodo 2.
Note agora que se (t) e uma o
rbita de um campo X e h e uma
Rt
funca
o suave qualquer, ent
ao h (t) := ( 0 h((s)) ds) e uma soluca
o
do campo hX. Como 2f 0 (kxk2 ) e constante ao longo das o
rbitas de
XF (pois kxk2 e constante ao longo das o
rbitas), as o
rbitas de XH
s
ao portanto dadas por
F
H
t (x) = 2tf 0 (kxk2 ) ,
i
i
86
EGD2806
2006/7/26
page 86
i
e consequentemente, como 0 f 0 (kxk2 ) < , todas as o

rbitas peri
odicas
de XH tem perodo estritamente maior que 1.

Em particular, segue do teorema de Darboux que toda variedade
simpletica n
ao-vazia possui capacidade de Hofer-Zehnder positiva. As
propriedades acima s
ao simples de provar. Como B 2n (r) Z 2n (r),
segue da monotonicidade e da proposica
o anterior que
cHZ (Z 2n (r), 0 ) cHZ (B 2n (r), 0 ) r2 .
Teorema 7.4.4 (Hofer e Zehnder). cHZ (Z 2n (r), 0 ) r2 .
Segue, portanto, que cHZ define uma capacidade simpletica. A

prova to Teorema 7.4.4 e bastante delicada e n
ao a incluiremos aqui.
Ela pode ser encontrada em [21, 22], e est
a baseada em um argumento variacional envolvendo o funcional de aca
o de H. Em particular, temos uma nova prova (variacional) do teorema nonsqueezing de
Gromov. Veremos na pr
oxima seca
o que o Teorema 7.4.4 proporciona
mais que isso. Ela implica tambem a existencia de o
rbitas peri
odicas
em quase todo nvel de energia de hamiltonianos pr
oprios em R2n ,
e, em particular, a conjectura de Weinstein em R2n provada por C.
Viterbo.
Em geral, e um problema bastante difcil calcular cHZ . Entretanto, em dimens
ao dois, nveis de energia regulares s
ao variedades
unidimensionais e, portanto, se forem compactos, o
rbitas peri
odicas
do fluxo hamiltoniano. Usando esta observaca
o, K. Siburg [34] provou
que a capacidade de Hofer-Zehnder de uma superfcie coincide com
sua a
rea. Seguiremos a demonstraca
o dada por Hofer e Zehnder em
[22].
Teorema 7.4.5. Seja (M, ) uma variedade simpletica compacta de
dimens
ao 2, possivelmente com bordo n
ao vazio. Ent
ao
Z

cHZ (M, ) =
.
M
o: Podemos supor, sem perda de generalidade, que

Demonstrac
a
M e conexa, pois, caso contr
ario, aplicamos o argumento a cada
componente conexa de M . Inicialmente provaremos que

Z

.
cHZ (M, )
M
i
i
EGD2806
2006/7/26
page 87
i
87
Dado > 0, removendo a vizinhanca de um n

umero finito de curvas de
M , obtemos uma variedade simplesmente conexa N M difeomorfa
a um disco fechado D R2 tal que
Z
Z

.

N
Para isso, basta observar que M pode ser obtida pela identificaca
o
dos lados de um polgono no plano. Basta portanto removermos vizinhancas suficientemente pequenas desses lados, obtendo uma regi
ao
difeomorfa a um disco.
Podemos escolher o raio do disco de modo que sua forma de a
rea
satisfaca
Z Z

=
.

D
Como D e N possuem bordo, n

ao podemos aplicar diretamente o
teorema de Moser 4.1.1 para concluir que s
ao simplectomorfos. Precisamos da seguinte extens
ao do teorema de Moser:
Teorema 7.4.6 (Dacorogna-Moser [11]). Sejam D1 e D2 domnios

compactos e conexos com bordos suaves em Rn . Suponha que 1 (x) =
f1 (x)dx1 ... dxm e 2 (x) = f2 (x)dx1 ... dxm s
ao formas de
volume em D1 e D2 , respectivamente, tais que f1 > 0 e f2 > 0. Se
: D1 D2 e um difeomorfismo que preserva orientaca
o ent
ao
existe um difemorfismo : D1 D2 tal que = em D1 e
det(d(x))f2 ((x)) = f1 (x),
onde a constante e dada pela relaca
o
Z
Z
f2 =
f1 .
D2
D1
Em particular, se D1 e D2 possuem o mesmo volume, temos que

= 1 e consequentemente det(d(x)) = 1, ou seja, preserva volume. Aplicando este fato a (D, ) e a (N, ), conclumos que eles s
ao
simplectomorfos. Pela monotonicidade de cHZ ,

Z Z

,

cHZ (M, ) cHZ (N, ) = cHZ (D, )
D
i
i
88
EGD2806
2006/7/26
page 88
i
R
onde a desigualdade c(D, ) D segue da Proposica
o 7.4.3.
Como isso vale para todo > 0, temos a desigualdade desejada.
Falta agora provar que
Z

cHZ (M, )
.
M
Pela propriedade de conformalidade, podemos supor que a integral

no lado direito e positiva. Seja > 0 e H HA (M, ) satisfazendo
Z
+ .
max H
M
Temos que provar que o fluxo hamiltoniano de H possui uma o

rbita
n
ao constante de perodo 0 < T 1. Seja R [0, max H] o conjunto
de valores regulares de H. Pelo teorema de Sard, R possui medida
de Lebesgue total. Portanto, existem finitos intervalos disjuntos Ij =
[aj , bj ] R tais que
Z
X

+ .
(bj aj ) max H
2
2
M
j
Como H max H em uma vizinhanca de M , dado h R, H 1 (h)
consiste em um n
umero finito de crculos mergulhados em M , cada
um correspondendo a uma o
rbita fechada (t, h) do fluxo hamiltoniano de H. Escolha para cada j uma componente Aj de H 1 [aj , bj ].
Note que cada Aj e coberto por uma famlia suave (t, h) de soluco
es
fechadas de perodo T (h) > 0, onde h Ij . Seja = j o difeomorfismo dado por
: (t, h) 7 (t, h) Aj ,
onde 0 t < T (h) e aj h bj . Afirmamos que
= dt dh.
Com efeito, como H((t, h)) = h, (t , h ) = dH((t, h))(h ) =
1. Portanto, dados u, v R2 , u = (u1 , u2 ) e v = (v1 , v2 ), temos
(u, v) = (d(u), d(v)) = (u1 t + u2 h , v1 t + v2 h )
= (u1 v2 u2 v1 )(t , h ) = u1 v2 u2 v1 = (dt dh)(u, v),
i
i
[SEC. 7.5: CAPACIDADE DE HOFER-ZEHNDER E ORBITAS

PERIODICAS
EGD2806
2006/7/26
page 89
i
89
provando a afirmaca
o. Consequentemente,
Z bj
Z
Z
=
=
T (h) dh.
Aj
1 (Aj )
aj
Suponha agora, por contradica

o, que T (h) > 1 para todo h R.
Ent
ao
Z
Z
Z
X
X

(bj aj )
+ ,
>
2
M
Aj
M
j
j
chegando a um absurdo. Portanto, existe h R tal que T (h) 1,
concluindo a demonstraca
o.
7.5
Capacidade de Hofer-Zehnder e o
rbitas
peri
odicas em nveis de energia
Como vimos, por definica

o, se cHZ (M, ) < , ent
ao toda hamiltoniana H H(M, ) tal que max H > cHZ (M, ) possui uma
o
rbita peri
odica n
ao-trivial de perodo menor que 1. Veremos a seguir
que a condica
o de H estar em H(M, ) n
ao e t
ao importante, pois
toda hamiltoniana pode ser transformada em uma hamiltoniana em
H(M, ) na vizinhanca de um nvel de energia, resultando somente
em uma reparametrizaca
o do fluxo hamiltoniano.
Proposi
c
ao 7.5.1. Seja S = H 1 (E) uma hipersuperfcie de energia compacta e regular de XH em (M, ). Suponha que existe uma
vizinhanca aberta U de S tal que cHZ (U, ) < . Ent
ao, existe uma
sequencia de valores de energia Ej E tal que XH possui uma o
rbita
peri
odica de energia Ej para todo j.
o: Seja f : R R uma funca
Demonstrac
a
o suave tal que
f (x) 0 para todo x;
f (x) = 0 para todo x suficientemente pr
oximo de E;
f (x) max f para x
/ (E , E + ) para algum > 0;
supp (f H) U ;
i
i
90
EGD2806
2006/7/26
page 90
i
max f > cHZ (U, ).

Pela primeiras tres condico
es acima, temos que f H H(M, ).
Ademais, decorre das duas u
ltimas condico
es e da definica
o de cHZ
que Xf H possui uma o
rbita peri
odica n
ao constante de perodo
menor que 1.
Agora, segue diretamente da equaca
o de Hamilton que Xf H (p) =
f 0 (H(p))XH (p). Portanto, o fluxo hamiltoniano de f H e uma
reparametrizaca
o do fluxo de XH . Consequentemente, Xf H tambem
possui uma o
rbita peri
odica n
ao constante (podendo ser de qualquer
perodo, visto que h
a uma reparametrizaca
o).
Pela segunda e terceira condico
es em f , tal o
rbita peri
odica possui energia E 0 6= E e tal que E 0 (E , E + ). Tomando 0,
concluimos a prova da proposica
o.

Motivados pela proposica
o anterior damos a seguinte definica
o:
Defini
c
ao 7.5.2. Uma variedade simpletica (M, ) possui capacidade de Hofer-Zehnder limitada se
cHZ (U, ) <
para todo subconjunto aberto U M com fecho compacto.
Corol
ario 7.5.3. Seja (M, ) uma variedade simpletica com capacidade de Hofer-Zehnder limitada. Ent
ao, dada qualquer hamiltoniana
H com nveis de energia compactos, existe um subconjunto denso
H(M ) tal que para todo E a hipersuperfcie de energia
H 1 (E) possui uma o
rbita peri
odica.
De fato, o seguinte teorema mostra que o resultado acima pode
ser bastante melhorado.
Teorema 7.5.4. Sob as mesmas hip
oteses do Corol
ario 7.5.3, o conjunto possui medida de Lebesgue total.
Este teorema foi provado por M. Struwe [35] supondo que os
nveis de energia limitam regi
oes compactas com capacidade de HoferZehnder finita. Essa hip
otese e desnecess
aria, como provado em [26].
i
i
[SEC. 7.5: CAPACIDADE DE HOFER-ZEHNDER E ORBITAS

PERIODICAS
EGD2806
2006/7/26
page 91
i
91
Observa
c
ao: N
ao se pode esperar a existencia de o
rbitas peri
odicas
em todo nvel de energia. Com efeito, existem exemplos de hipersuperfcies em R2n , n > 1, sem caractersticas fechadas [16]. A construca
o desses exemplos e baseada na inserca
o dos chamados plugs
simpleticos. Mais precisamente, dada uma hipersuperfcie S com uma
caracterstica fechada isolada , pode-se perturbar S na topologia C 0
(via a inserca
o de um plug simpletico), obtendo uma nova hipersuperfcie S 0 com as mesmas caractersticas fechadas de S exceto .
Para obter um exemplo sem caractersticas fechadas, basta partir, portanto, de uma hipersuperfcie com um n
umero finito de o
rbitas
peri
odicas. Mas, como vimos no Exemplo 6.2.9, o bordo do elips
oide
E(r1 , r2 , ..., rn ) com ri2 racionalmente independentes possui exatamente n o
rbitas peri
odicas.
Segue da Proposica
o 7.5.4 e do Teorema 7.4.4 o seguinte corol
ario:
Corol
ario 7.5.5. Toda hamiltoniana pr
opria em R2n possui o
rbitas
peri
odicas em quase todo nvel de energia.
Consequentemente, a condica
o de limitaca
o da capacidade de
Hofer-Zehnder garante uma resposta bastante satisfat
oria ao problema da existencia de o
rbitas peri
odicas em nveis de energia. Por
outro lado, e, em geral, um problema difcil determinar quando a
capacidade de Hofer-Zehnder e limitada. Note que mostrar que uma
variedade simpletica possui capacidade de Hofer-Zehnder limitada
implica, em particular, numa prova da conjectura de Weinstein para
a variedade em quest
ao.
Alem do R2n , outros exemplos de variedade simpleticas com capacidade de Hofer-Zehnder limitada s
ao conhecidos, ver [9] e referencias a contidas. Porem, o problema geral de determinar quando
uma dada variedade simpletica possui capacidade de Hofer-Zehnder
limitada e ainda completamento aberto.
O seguinte simples e explcito exemplo, devido a Zehnder [21, 45],
exibe uma forma simpletica constante em T 4 com capacidade de
Hofer-Zehnder infinita. Em particular, como cG (T 4 , ) < , pois T 4
e compacto e portanto de volume finito, temos que as capacidade de
Gromov e Hofer-Zehnder diferem neste exemplo.
Exemplo 7.5.6 (Variedade simpl
etica com capacidade de HoferZehnder ilimitada). Seja M = T 3 R com a forma simpletica
i
i
92
EGD2806
2006/7/26
page 92
i
(v, w) = hAv, wi, onde h , i e a metrica Euclideana induzida em M

e A e uma matriz tal que
0
1
0 a1
1
0
0 a2
,
A1 =
0
0
0
1
a1 a2 1 0
onde a1 , a2 R. Note que e evidentemente fechada, pois e induzida

por uma 2-forma constante em R4 . Como det A1 = 1, e n
aodegenerada.
Seja H : M R a hamiltoniana dada pela coordenada x4 R,
de forma que H = e4 , onde {e1 , e2 , e3 , e4 } e a base can
onica de R4 .
Seu campo hamiltoniano e, portanto,
XH = A1 H = A1 e4 = (a1 , a2 , 1, 0).
Consequentemente, em cada nvel de energia H 1 (c) = T 3 {c}, o
campo hamiltoniano de H e o campo constante (a1 , a2 , 1).
Escolhendo a1 e a2 tais que
h(a1 , a2 , 1), vi 6= 0 para todo v Z3 , v 6= 0,
temos que as o
rbitas de XH s
ao densas em T 3 {c} para todo c
R. Geometricamente, o fluxo de XH e uma translaca
o em T 3 com
inclinaca
o irracional. Em particular, XH n
ao possui nenhuma o
rbita
peri
odica.
Finalmente, note que a translaca
o (x, t) 7 (x, t + 1) e uma transformaca
o simpletica com respeito a . Tomando o quociente, induzimos uma forma simpletica em T 4 com uma hamiltoniana tendo um
aberto de nveis de energia compactos sem o
rbitas peri
odicas. Pela
Proposica
o 7.5.1, tal forma simpletica possui capacidade de HoferZehnder ilimitada.
i
i
EGD2806
2006/7/26
page 93
i
Bibliografia
[1] Abraham, A., Marsden, J.: Foundations of Mechanics, second edition, Addison-Wesley, 1978.
[2] Abraham, A., Marsden, J., Ratiu, T.: Manifolds, Tensor
Analysis, and Applications, Applied Math. Sciences 75, second
edition, Springer-Verlag, New York, 1988.
[3] Adachi, T.: K
ahler magnetic flows on a manifold of constant
holomorphic sectional curvature, Tokyo Journal of Mathematics
18 (1995), 473483.
[4] Arnold, V.I.: Some remarks on flows of line elements and
frames, Soviet Math. Dokl. 2 (1961), 565564.
[5] Arnold, V. I.: Mathematical Methods in Classical Mechanics,
Graduate Text in Math. 60, second edition, Springer-Verlag,
New York, 1989.
[6] Audin, M., Lafontaine, J.:Holomorphic curves in symplectic
geometry, Progress in Math. 117, Birkh
auser, Basel - Boston Berlin, 1994.
[7] Bryant, R.: An introduction to Lie groups and symplectic geometry, In: Geometry and Quantum Field Theory (Park City,
UT, 1991), 5181, IAS/Park City Math. series 1, Amer. Math.
Soc., Providence, 1995.
[8] Cannas da Silva, A.: Lectures on Symplectic Geometry, Lect.
Notes in Math. 1764, Springer-Verlag, 2001.
93
i
i
94
EGD2806
2006/7/26
page 94
i
BIBLIOGRAFIA
[9] Cieliebak, K., Hofer, H., Latschev, J., Schlenk, F.:

Symplectic capacities and their relations, preprint.
[10] Contreras, G., Macarini, L., Paternain, G.: Periodic
orbits for exact magnetic flows on surfaces, Int. Math. Res.
Notices 8 (2004), 361387.
[11] Dacorogna, B., Moser, J.: On a partial differential equation
involving the Jacobian determinant, Ann. Inst. Henri Poincare
7 (1990), 126
[12] do Carmo, M.: Geometria Riemanniana Projeto Euclides, Instituto de Matem
atica Pura e Aplicada, Rio de Janeiro, 1979.
[13] Ekeland, I., Hofer, H.:Symplectic topology and Hamiltonian
dynamics, Math. Zeit. 200 (1990), 355378.
[14] Fernandez, M., Gotay, M., Gray, A.: Compact parallelizable four-dimensional symplectic and complex submanifolds,
Proc. Amer. Math. Soc., 106 (1988), 12091212.
[15] Ginzburg, V.L.: A charge in a magnetic field: Arnolds problems 1981-9, 1982-24, 1984-4, 1994-14, 1996-17, and 1996-18,
in Arnolds problems, Ed.: V.I. Arnold, SpringerVerlag and
Phasis, 2004; pp. 395401, 557558.
[16] Ginzburg, V.L., Gurel, B.: A C 2 -smooth counterexample to
the Hamiltonian Seifert conjecture in R4 , Ann. of Math. 158
(2003), 953976.
[17] Gotay, M.: On coisotropic imbeddings of presymplectic manifolds, Proc. Amer. Math. Soc. 84 (1982), 111-114.
[18] Gromov, M.: Pseudo holomorphic curves in symplectic manifolds, Invent. Math., 82 (1985), 307347.
[19] Guillemin, V., Sternberg, S.: Symplectic Techniques in
Physics, second edition, Cambridge University Press, Cambridge, 1990.
i
i
BIBLIOGRAFIA
EGD2806
2006/7/26
page 95
i
95
[20] Katok, A., Hasselblatt, B.: Introduction to the modern

theory of dynamical systems. Encyclopedia of Mathematics and
its Applications, 54. Cambridge University Press, Cambridge,
1995.
[21] Hofer, H., Zehnder, E.: Symplectic Invariants and Hamiltonian Dynamics, Birkh
auser Advanced Texts, Basel, 1994.
[22] Hofer, H., Zehnder, E.: A new capacity for symplectic manifolds, Analysis et cetera. Academic Press, 1990, editado por P.
Rabinowitz e E. Zehnder, 405428.
[23] Hummel, C.: Gromovs compactness theorem for pseudoholomorphic curves, Progress in Mathematics 151, Birkh
auser,
Basel - Boston - Berlin, 1997.
[24] Klingenberg, K.: Lectures on closed geodesics, Grundlehren
der Mathematischen Wissenschaften, Vol. 230. Springer-Verlag,
Berlin-New York, 1978.
[25] Kodaira, K.:On the structure of compact complex analitic surfaces, I, Amer. J. Math. 86 (1964), 751798.
[26] Macarini, L., Schlenk, F.: A refinement of the Hofer
Zehnder theorem on the existence of closed trajectories near a
hypersurface, Bull. London Math. Soc. 37 (2005), 297300.
[27] Marle, C.-M.: Sous-varietes de rang constant et sous-varietes
symplectiquement reguli`ere dune variete symplectique. C. R.
Acad. Sc. Paris 295 (1982), I, 119-122.
[28] Marsden, J., Ratiu, T.: Introduction to Mechanics and Symmetries, Texts in Applied Mathematics 17, Springer-Verlag,
New York, 1994.
[29] McDuff, D., Salamon, D.: Introduction to Symplectic Topology, second edition, Oxford Mathematical Monographs, Oxford
University Press, 1998.
[30] Moser, J.:On the volume elements on a manifold, Trans. Amer.
Math. Soc. 120 (1965), 286294.
i
i
96
EGD2806
2006/7/26
page 96
i
BIBLIOGRAFIA
[31] Paternain, G.:Geodesic flows. Progress in Mathematics, 180.

Birkh
auser Boston, Inc., Boston, MA, 1999.
[32] Rabinowitz, P.: Periodic solutions of Hamiltonian systems,
Comm. Pure Appl. Math 31 (1978), 157184.
[33] Salamon, D.: Lectures on Floer homology, In: Symplectic Geometry and Topology (Park City, UT, 1991), 143229, IAS/Park
City Math. series 7, Amer. Math. Soc., Providence, 1999.
[34] Siburg, K.F.: Symplectic capacities in two dimensions,
Manuscripta Math. 78 (1993), 149163.
[35] Struwe, M.: Existence of periodic solutions of Hamiltonian
systems on almost every energy surface, Bol. da Sociedade
Brasileira de Matem
atica 20 (1990), 4958.
[36] Taubes, C.: The Seiberg-Witten invariants and symplectic
forms, Math. Res. Lett. 1 (1994), 809822.
[37] Thurston, W.:Some simple examples of symplectic manifolds,
Proc. Amer. Math. Soc. 55 (1976), 467468.
[38] Viterbo, C.:A proof of the Weinstein conjecture in R2n , Ann.
Inst. Henri Poincare 4 (1987), 337357.
[39] Warner, F.: Foudations of differentiable manifolds and Lie
groups, Graduate Texts in Math. 94, Springer-Verlag, New York,
1983.
[40] Weinstein, A.: Symplectic manifolds and their lagrangian submanifolds, Adv. in Math. 6 (1971), 329346.
[41] Weinstein, A.:Lectures on Symplectic Manifolds, CBMS Conference series 29, Amer. Math. Soc., Providence, RI (1977).
[42] Weinstein, A.:On the hypothesis of Rabinowitzs periodic orbit
theorems, J. Diff. Eq. 33 (1979), 353358.
[43] Weinstein, A.: Symplectic geometry, Bull. Amer. Math. Soc.
(N.S.) 5 (1981), 113.
i
i
BIBLIOGRAFIA
EGD2806
2006/7/26
page 97
i
97
[44] Wells, R. : Differential Analysis on Complex Manifolds, second edition, Graduate Texts in Math. 65, Springer-Verlag, New
York-Berlin, 1980.
[45] Zehnder, E.: Remarks on periodic solutions on hypersurfaces,
NATO ASI Series, Series C, In: Periodic Solutions of Hamiltonian Systems and Related Topics, 209 (1987), 267279.
i
i
EGD2806
2006/7/26
page 98
i
Indice
1-forma tautol
ogica, 21
Exemplo de Thurston, 31
Algebra
de Lie, 32
Aca
o de uma curva, 6
Fibrado de linhas caractersticas,

60
Fluxos geodesicos, 67
Fluxos magneticos, 68
Folheaca
o caracterstica, 60
Forma bilinear n
ao-degenerada,
11
Forma can
onica no fibrado cotangente, 22
Forma de Fubini-Study, 30
Forma de Liouville, 20
Forma simpletica, 20
Forma simpletica twist, 24
Funca
o lagrangiana, 6
Funcional de aca
o, 64
Base simpletica, 14
Campo hamiltoniano, 9, 58
Campo simpletico, 58
Capacidade de elips
oides, 74
Capacidade de Gromov, 72
Capacidade de Hofer-Zehnder,
82
Capacidade simpletica, 73
Caractersitica fechada, 64
Conjectura de Arnold, 51
Conjectura de Weinstein, 65
Curva pseudo-holomorfa, 75
Grupo de Lie, 32
Difeomorfismo hamiltoniano, 51
Equaca
o de Euler-Lagrange, 7
Equaca
o de Hamilton, 58
Espessura simpletica, 72
Estrutura complexa compatvel,
16
Estrutura complexa em um espaco
vetorial, 15
Estrutura quase-complexa, 24
Hamiltoniana, 8, 9
Hipersuperfcie formato estrela,
65
Isotopia, 43
Nvel de energia, 59
Ortogonal simpletico, 13
98
i
i
EGD2806
2006/7/26
page 99
i
99
INDICE
Princpio de Hamilton, 64
Representaca
o adjunta, 34
Representaca
o coadjunta, 34
Simpletizaca
o, 56
Subespaco coisotr
opico, 13
Subespaco isotr
opico, 13
Subespaco lagrangiano, 13
Subespaco simpletico, 13
Subvariedade coisotr
opica, 40
Subvariedade isotr
opica, 40
Subvariedade lagrangiana, 40
Subvariedade simpletica, 40
Superfcie de Hopf, 40
Teorema da vizinhanca lagrangiana,
49
Teorema de Dacorogna-Moser,
86
Teorema de Darboux, 48
Teorema de Eliashberg e Gromov, 73
Teorema de Hofer-Zehnder, 85
Teorema de recorrencia de Poincare,
63
Teorema non-squeezing de Gromov, 72
Transformada de Legendre, 8
Variedade
Variedade
Variedade
Variedade
Variedade
complexa, 26
de contato, 52
K
ahler, 26
quase-K
ahler, 25
simpletica, 20
i
i

Geometria Simplética

Enviado por

Dados do documento

Descrição original:

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Geometria Simplética

Enviado por

Direitos autorais:

Formatos disponíveis

i

Geometria simpletica e a geometria das variedades munidas de

Seja p = mq o momento linear da partcula. Podemos rescrever o

[SEC. 1.2: ABORDAGEM VARIACIONAL

primeira ordem nas vari

O espaco R3 = {q = (q1 , q2 , q3 )} de possveis posico

Outra maneira de se obter as equaco

Fixe agora dois pontos q0 e q1 em Rn e denote por C([0, T ], q0 , q1 )

[CAP. 1: ORIGEM DA GEOMETRIA SIMPLETICA

(T ) = q1 . Buscamos neste conjunto pontos crticos para o funcional

onde s C([0, T ], q0 , q1 ), s (, ), e uma variaca

onde a segunda igualdade segue por integraca

[SEC. 1.2: ABORDAGEM VARIACIONAL

Veremos agora como uma mudanca de vari

chamada transformada de Legendre associada a L. Supondo que FL

[CAP. 1: ORIGEM DA GEOMETRIA SIMPLETICA

for positivo, ent

Vimos nas seco

onde J0 e a matriz 2n 2n dada por

[SEC. 1.3: GEOMETRIZAC

Note que na definica

Seja V um espaco vetorial real, e seja : V V R uma forma

[SEC. 2.1: ESPAC

define uma aplicaca

Em um espaco vetorial com produto interno, todo subespaco herda

[SEC. 2.3: BASES SIMPLETICAS

b) No Exemplo 2.1.1, parte b), tanto W quanto W s

Assim, numa base simpletica a forma e representada pela matriz

onde cada Wi e gerado por ei , fi tal que (ei , fi ) = 1. Por construca

Estruturas complexas compatveis

Se V e um espaco vetorial sobre C munido de um produto interno

[SEC. 2.4: ESTRUTURAS COMPLEXAS COMPATIVEIS

Exerccio: Mostre que uma estrutura complexa J : V V e equivalente

Exemplo 2.4.1. A matriz J0 , definida em (1.3.2), e uma estrutura

(u, Ju) > 0, u 6= 0.

Exerccio: Seja J uma estrutura complexa -compatvel em V . Se W V

i.e., A = (G] )1 ] . Note que A e anti-simetrico com respeito a G,

onde |A| = (At A)1/2 = (A2 )1/2 ,

o operador ortogonal J e o operador positivo-definido |A| comutam.

Como Riem(V ) e um subconjunto convexo de um espaco vetorial,

[SEC. 2.4: ESTRUTURAS COMPLEXAS COMPATIVEIS

Seja M uma variedade suave. Dizemos que uma 2-forma 2 (M )

[SEC. 3.1: DEFINIC

Exerccio: Suponha que dim(M ) = 2n. Verifique que 2 (M ) e

Uma estrutura simpletica em M e uma 2-forma 2 (M ) que

chamada forma de Liouville . Portanto, toda variedade simpletica e

Em cada ponto de U, a matriz associada a 0 e (2.3.2), portanto 0

[CAP. 3: VARIEDADES SIMPLETICAS

Exemplo 3.1.2. Seja uma superfcie orientada, e seja 2 ()

Veremos nesta seca

[SEC. 3.2: FIBRADOS COTANGENTES

Para verificar que e de fato simpletica, vamos usar sua express

onde p = (x, ) T Q. Usando (3.2.1) vemos que

Portanto, em coordenadas locais, temos

e vemos que e de fato uma estrutura simpletica em T Q.

onde, no lado esquerdo de (3.2.5), estamos considerando a 1-forma como

[CAP. 3: VARIEDADES SIMPLETICAS

o: Temos, por definica

onde, na segunda igualdade, usamos que

Todavia, esta inclus

[SEC. 3.3: OUTROS EXEMPLOS IMPORTANTES

Outros exemplos importantes

onde s C([0, T ], q0 , q1 ), s (, ), e uma variaca