Lista 3 Geometria Simpl etica Alan Gerardo Reyes Figueroa 05 de setembro de 2011 Problema 1.

Considere S 2 = {x R3 : |x| = 1} munida da forma de a rea x (u, v ) = 2 2 x, u v (onde x S , u, v Tx S , e denota o produto vetorial). Use coordenadas cil ndricas para provar o teorema de Darboux diretamente neste exemplo. Solu c ao. Seja p0 S 2 . Consideramos S 2 mergulhada em R3 , via coordenadas cil ndricas. 2 Isto e, considere uma vizinhan ca V S de p0 , e uma carta local f : U (/2, /2) 2 (1, 1) R V tal que: - o mapa f e dado por f (, z ) = (x, y, z ) S 2 , onde x cos sin(arccos z ) cos 1 z 2 y = sin sin(arccos z ) = sin 1 z 2 ; z z z - o ponto p0 = f (0, 0) = (1, 0, 0) (ap os uma rota ca o de S 2 ). Nesta carta, consideremos a forma de area , dada por p (u, v ) = p, u v , onde p V , 2 e u, v Tp S . A derivada a aplica ca o f : U V S 2 e x sin 1 z 2 cos 1z (, z ) x (, z ) 2 z z y Df(,z) = y = cos 1 z 2 sin 1z ( , z ) ( , z ) , z z 2 z (, z ) z (, z ) 0 1 z Observe primeiro que para (, z ) U , o determinante menor de Df(,z) sin 1 z 2 cos 1z (x, y ) z 2 = (sin2 + cos2 )z = z, = z 2 (, z ) cos 1 z sin 1z2

de modo que se z = 0, ent ao Df(,z) tem posto 2. No caso em que z = 0, ent ao o determinante menor cos 1 z 2 sin 1z (y, z ) z 2 = cos 1 z 2 = cos = 0, = (, z ) 0 1 e portanto, Df(,0) tamb em possui posto 2. Assim, Df(,z) : T(),z U Tp S 2 e sempre um isomorsmo; e pelo teorema da fun ca o inversa, f e sempre um difeomorsmo local. Podemos supor sem perda que na carta local escolhida U , f e um difeomorsmo.

Se u = (u1 , u2 ) R2 , ent ao sin 1 z 2 cos 1z 2 z u1 Df(z ) u = cos 1 z 2 sin 1z z 2 u2 0 1

em particular, para u = (u1 , u2 ), v = (v1 , v2 ) R2 , temos Df(z ) u Df(z ) v = =

u1 sin 1 z 2 u2 cos 1z 2 z = u1 cos 1 z 2 u2 sin 1z , z 2 u2

= (u1 v2 u2 v1 )f (, z ).

(u1 v2 u2 v1 ) cos 1 z 2 = (u1 v2 u2 v1 ) sin 1 z 2 ( u 1 v 2 u2 v 1 ) z

z z v1 sin 1z 2 v2 cos u1 sin 1z 2 u2 cos , 1z 2 1z 2 z z v1 cos 1z2 v2 sin 2 u1 cos 1z 2 u2 sin 1z 2 1z u2 v2 z z )v2 (v1 cos 1z 2 v2 sin )u2 (u1 cos 1z 2 u2 sin 1z 2 1z 2 z (v1 sin 1z2 v2 cos 1z )u2 (u1 sin 1z 2 u2 cos ) v2 z 2 1z 2 z z 2 2 2 2 (u1 v2 u2 v1 ) sin 1z (u2 v1 u1 v2 ) cos 1z 1z 2 1z 2

Da que ao fazer o pull-back da forma , temos que se p = f (, z ) f (,z) (u, v ) = ( Df(,z) u, Df(,z) v ) = p, Df(,z) u Df(,z) v = = ( u1 v 2 u2 v 1 )

p, (u1 v2 u2 v1 )p = (u1 v2 u2 v1 ) p, p = (u1 v2 u2 v1 )||p||2

= (d dz )(,z) (u, v ), para todo (, z ) U . Portanto, f = d dz , e a 2-forma can onica em R2 , o que mostra o Teorema de Darboux neste exemplo.

Problema 2. Mais geralmente, mostre que em toda variedade de dimens ao 2, qualquer 1-forma que n ao se anula pode ser escrita localmente como f dg , onde f e g s ao fun c oes. Use este fato para mostrar o teorema de Darboux diretamente em dimens ao 2. Solu c ao. Vamos usar o seguinte resultado cl assico: Teorema (Frobenius). Seja M uma variedade de dimens ao n, e seja D M uma distribu c ao n ao-singular, involutiva, de dimens ao p. Ent ao, para todo x M , existe uma vizinhan ca aberta U M de x e um sistema de coordenadas (x1 , x2 , . . . , xn ) para U , tal que p C (U ) D (U ) = . xi i=1 2

Seja M variedade de dimens ao 2. Veamos que qualquer 1-forma n ao-nula pode ser escrita localmente como f dg . Seja 1 (M ), uma 1-forma tal que (p) = 0, para algum p M . Logo, existe uma vizinhan ca U M de p, tal que n ao se anula em U . Se (x, y ) e uma carta local para U , ent ao nessa carta temos (x, y ) = a(x, y )dx + b(x, y )dy, onde a, b : (R2 , 0) R s ao fun co es de classe C , e a2 (x, y ) + b2 (x, y ) = 0. Denamos os seguintes campos vetoriais X, Y X(U ) por X (x, y ) = b(x, y ) a(x, y ) , x y Y (x, y ) = a(x, y ) + b(x, y ) . x y

Observe que X e um campo tal que (X ) = (ab)(x, y ) (ab)(x, y ) 0, e Y e um campo tal que (Y ) = a2 (x, y ) + b2 (x, y ) . Mais ainda, X e Y s ao sempre linearmente independentes (em U ), pois na base { x , y } de T(x,y) U temos det X (x, y ) Y (x, y ) = b(x, y ) a(x, y ) = a2 (x, y ) + b2 (x, y ) = 0. a(x, y ) b(x, y )

Como dim T(x,y) U = 2, ent ao {X (x, y ), Y (x, y )} formam uma base para T(x,y) U . Seja Z X(U ), com Z = X + Y , , : C (R2 , 0) R fun co es de classe C (aqu (R2 , 0) denota uma vizinhan ca aberta de 0 R2 : o dom nio da carta coordenada). Ent ao (Z ) = (X ) + (Y ) = (Y ) = (a2 + b2 )(x, y ).

Consideremos a distribu ca o Ann( ) = {Z X(U ) : (Z ) = 0}. Armamos que Ann( ) = C (R2 , 0)X . De fato, [] Observe que X Ann( ) C (R2 , 0)X Ann( ). [] Reciprocamente, se Z = X + Y X(U ) e tal que (Z ) = 0, como (Z ) = (Y ) = (a2 + b2 ) = 0 e a2 + b2 = 0, ent ao = (x, y ) = 0, para todo (x, y ) U , e portanto 2 = 0 Z = X C (R , 0)X . O que mostra a arma ca o. Assim, Ann( ) = C (R2 , 0)X e uma distribu ca o de dimens ao 1. Mais ainda, como 2 2 X (x, y ) e n ao-nulo (pois a + b = 0), ent ao Ann( ) e uma distribu ca o n ao-singular. Al em, se Z1 = 1 X, Z2 = 2 X Ann( ), temos que [Z1 , Z2 ] = [1 X, 2 X ] = 1 2 [X, X ] = 0 Ann( ), 3

o que mostra que Ann( ) e involutiva. Aplicando o teorema de Frobenius ` a distribu ca o U de p, e um sistema de cordenadas ( Ann( ), temos que existe uma vizinhan ca U x, y ) para U , tal que Ann( ) = C (R2 , 0) . x , Neste novo sistema coordenado, se = a ( x, y )dx + b( x, y )dy , ent ao para todo ( x, y ) U temos que Ann( ) a ( x, y ) = = 0, x x

e portanto, = b( x, y )dy . Se denirmos as fun co es f, g : (R2 , 0) R por f ( x, y ) = b( x, y ) e g ( x, y ) = y , ent ao dg = dy e temos que = bdy = f dg.

Agora mostramos o teorema de Darboux. Se e uma forma simpl etica em M , ent ao e fechada, e pelo teorema de Poincar e, e localmente exata. Seja p M , e suponhamos que em uma vizinhan ca U de p, vale = d , onde 1 (M ). Como e n ao degenerada, podemos supor que e uma forma n ao-nula em U . Aplicando o mostrado no par agrafo anterior, podemos escrever = f dg em U , onde f, g C (R2 , 0), e logo = d(f dg ) = df dg em U . Se considerarmos uma carta coordenada (x, y ) para U , ent ao a representa ca o matricial de e da forma (x,y) (u, v ) = (df dg )(x,y) (u, v ) = ut
f (x, y ) f (x, y ) x y g g (x, y ) y (x, y ) x

v = ut D(x,y) v,

onde : (R2 , 0) R2 e a aplica ca o dada por = (f, g ). Como e n ao-degenerada, ent ao para cada ponto (x, y ) temos que det D(x,y) = 0, e pelo teorema da fun ca o inversa, e um difeomorsmo local. Sem perda, podemos supor que e um difeomorsmo. Considerando o sistema coordenado (1 , 2 ) = (x, y ) = (f, g ), claramente temos que = df f g = d1 d2 em U , o que mostra o teorema de Darboux.

Problema 3. Seja M uma variedade compacta, conexa e orientada de dimens ao n. n Sejam 0 , 1 (M ) duas formas de volume em M tais que M 0 = M 1 . Mostre que existe um difeomorsmo Di(M ) tal que 1 = 0 . 4

(a) Mostre que t = (1 t)0 + t1 e forma de volume, t [0, 1]. Observe que 0 e 1 denem a mesma classe de cohomologia (entenda e justique). (b) Mostre que se n (M ) e forma de volume, ent ao a aplica c ao X iX , levando campos de vetores em (n 1)-formas, e um isomorsmo. (c) Aplique o m etodo de Moser. Solu c ao. Sem perda, podemos supor que 0 e 1 induzem uma orienta ca o positiva em e M , isto e, M 0 = M 1 > 0. Primeiro vamos mostrar que para todo t [0, 1], t uma forma de volume em M . De fato, xe uma cobertura aberta {U , } de M , com coordenadas locais (x ao, existem fun co es f , g : (Rn , 0) R tais 1 , . . . , xn ) para U , ent que localmente
0 = f dx 1 . . . dxn e 0 = g dx1 . . . dxn ,

com f , g > 0. Logo, localmente

t = (1 t)0 + t1 = (1 t)f + tg dx 1 . . . dxn ,

com (1 t)f + tg > 0. Isso mostra que t e forma volume. Mais ainda, para todo t t =
M m

(1 t)0 + t1 = (1 t)

0 + t
M M

1 = (1 t)

0 + t
M M

0 =
M

0 .

ao Armamos agora que a hip otese M 0 = M 1 equivale a dizer que 0 e 1 s cohom ologas. De fato, [] Se 0 e 1 est ao na mesma classe de cohomologia, ent ao 0 1 = d , para alguma n1 (M ). Logo, pelo teorema de Stokes 0 =
M M

(1 + d ) =
M

1 +
M

d =
M

1 +
M

=
M

1 ,

(a u ltima igualdade pelo fato que M e compacta). n n [] Rec procamente, consideremos a aplica ca o : HdR (M ) = HdR (M )c H n (M, R), dada por [ ] [ ] : [ ] H n ( M ) ,

que, pelo teorema de De Rham, sabemos que e um isomorsmo. Ent ao, se M 0 = M 1 , temos que [0 ] = [1 ] (pois [M ] eou nico elemento em Hn (M )). Logo, sendo isomorn smo, temos que [0 ] = [1 ] em HdR (M ) 0 e 1 s ao cohom ologas. Em particular, existe n1 (M ) tal que 1 0 = d . Logo, para qualquer t [0, 1] temos que t 0 = (1 t)0 + t1 0 = t(1 0 ) = td = d(t ). 5

Usamos agora o m etodo de Moser. Queremos construir uma isotopia {t } tal que t t = 0 , para todo 0 t 1. Se Xt X(M ) e o campo vetorial associado a t (isto e d = Xt t ), ent ao dt t 0 = =
d d = dt ( t t ) dt 0 t diXt t + d

= t LXt t +

d dt t

= t diXt t + iXt dt +

d (0 dt

+ td ) (1)

= t d ( iX t t + ) .

Logo, d(iXt t + ) = 0 e basta encontrar uma fam lia de campos {Xt } tais que iXt t = , para todo t [0, 1]. Armamos que se e uma forma de volume em M , ent ao a aplica ca o : X(M ) n 1 (M ) dada por X iX , e um isomorsmo de C (M )-m odulos. Com efeito, para cada p M xado, a aplica ca o |p : Tp M n1 (M ) com X iX (p ) e um isomorsmo linear, pois |p (aX + bY ) = iaX (p)+bY (p) = (aX (p) + bY (p)) = a(X (p)) + b(Y (p)) = aiX (p) + biY (p) = a|p (X ) + b|p (Y ). | p e injetiva: Tomando coordenadas locais (x1 , . . . , xn ), suponha que = f (x)dx1 , . . . , x e ) de Tp M , temos que se X = j aj (x) x . . . dxn . Logo, na base dual ( x n 1 j Y = j bj (x) xj s ao campos tais que |p (X ) = |p (Y ), ent ao iX = iY . Em particular, evaluando a u ltima equa ca o nos elementos da base dual, temos
= Y, x = (1)j bj , j = 1, . . . , n. , . . . , x , . . . , x , . . . , x , . . . , x (1)j aj = X, x n n 1 1 j j

Logo, aj = bj , para todo j = 1, . . . , n X = Y , o que mostra a injetividade de |p . Mais ainda, como dim Tp M = dim M = n = n n1 = dim n1 (Tp M ),

ent ao, |p e sobrejetiva. Como isso vale para todo ponto p M , temos que e isomorsmo linear. ca o u nica Xt , para cada Finalmente, pelo anterior, a equa ca o iXt t = possui solu t [0, 1]. Logo, das equa co es (1), temos que {t } e uma isotopia tal que t t = 0 , 0 t 1. Em particular, 1 : M M e um difeomorsmo tal que 1 1 = 0 . Portanto, (M, 0 ) e (M, 1 ) s ao simplectomorfas.

Problema 4. D e um exemplo de duas formas simpl eticas no R4 que induzam a mesma possivel orienta c ao, mas que admitam alguma combina c ao convexa que e degenerada. E achar um exemplo assim mas onde exista um outro caminho de formas simpl eticas ligando 2 4 uma a outra? O que acontece se considerarmos R ao inves de R ? Solu c ao. Considere a 2-forma = dx1 dx2 + dx3 dx4 em R4 . Observe que d = d(dx1 dx2 )+ d(dx3 dx4 ) = ddx1 x2 dx1 ddx2 + ddx3 x4 dx3 ddx4 = 0, de modo que e fechada. Se u = (u1 , u2 , u3 , u4 ) R4 e um vetor tal que, (u, v ) = 0, para todo v = 4 (v1 , v2 , v3 , v4 ) R , como (u, v ) = (u1 v2 u2 v1 ) + (u3 v4 u4 v3 ), temos que se v = (0, 1, 0, 0), ent ao u1 = (u, v ) = 0, se v = (1, 0, 0, 0), ent ao u2 = (u, v ) = 0, se v = (0, 0, 0, 1), ent ao u3 = (u, v ) = 0, se v = (0, 0, 1, 0), ent ao u4 = (u, v ) = 0, de modo que (u, v ) = 0, v , implica que u = 0, e portanto e n ao-degenerada. Isso mostra que e simpl etica. Similarmente, a forma = dx2 dx1 + dx4 dx3 e simpl etica, e induz a mesma orienta ca o que , pois ( ) ( ) = (dx2 dx1 + dx4 dx3 ) (dx2 dx1 + dx4 dx3 ) = (dx2 dx1 dx4 dx3 ) + (dx4 dx3 dx2 dx1 )

= 2(dx1 dx2 dx3 dx4 ) = .

Denamos para 0 t 1, a forma t = (1 t) + t( ) = (1 2t) . Observe que para , tem-se que 1/2 = (1 2(1/2)) = 0, uma forma degenerada. t= 1 2 Consideremos agora a forma = dx1 dx3 + dx4 dx2 . Um argumento an alogo ao 4 utilizado com , mostra que e uma forma simpl etica em R . Observe que = (dx1 dx3 + dx4 dx2 ) (dx1 dx3 + dx4 dx2 ) = (dx1 dx3 dx4 dx2 ) + (dx4 dx2 dx1 dx3 ) = 2(dx1 dx3 dx4 dx2 )2(dx1 dx2 dx3 dx4 ) = ,

de modo que e induzem a mesma orienta ca o em R4 . Considere as combina co es convexas, t = (1 t) + t e t = (1 t) + t( ), com 0 t 1 (Figura 1). 7

 = dx1 dx3 + dx4 dx2 t

= dx1 dx2 + dx3 dx4

t = (1 2t)

= dx2 dx1 + dx4 dx3

Figura 1: Combina co es convexas entre , e . Mostramos que t e t s ao n ao-degeradas, para todo 0 t 1. De fato, as representa co es matriciais para e s ao 1 0 0 1 1 0 0 1 = . e = 1 0 0 1 0 1 1 0 Logo, por linearidade, as representa co es matriciais para t e t s ao dadas por 0 t 1 t 0 0 1t t 0 t t 1 0 0 t 1 0 0 t t = . e t = t 1 t 0 0 t 0 0 1 t 0 1t t 0 0 t t1 0

Para mostrar que elas s ao n ao-degeneradas, basta calcular o determinante de suas representa co es matriciais: 0 1t t 0 t 1 0 0 t 2 det t = det = (t 1)2 + t2 , t 0 0 1t 0 t t1 0 0 t 1 t 0 t 0 0 t 1 2 det t = det = (t 1)2 + t2 , t 1 0 0 t 0 1t t 0
2

Ambas possuem o mesmo determinante dt = (t 1)2 + t2 . Observe agora que dt = 0 (t 1)2 + t2 = 0 t = 0 e t = 1, simult aneamente, algo imposs vel. Portanto, dt nunca se anula, e em conseq u encia, ambas combina co es convexas t e t s ao n aodegeneradas, para todo 0 t 1. Isso, mostra que temos um outro caminho cont nuo (e de classe C por partes), ligando com , que consiste de formas simpl eticas em R4 . 8

Em R2 o anterior n ao acontece. Se e uma forma simpl etica em R2 (e. g. = dx dy ), temos que de novo, a combina ca o convexa t = (1 t) + t( ) = (1 2t) , falha com 1 em, agora n ao podemos encontra um outro caminho de ser simpl etica quando t = 2 . Por 2 2 = 1, temos que { } e uma base para formas simpl eticas. De fato, como dim (R ) = 2 2 o espa co de 2-formas em R2 . Logo, qualquer forma simpl etica em R2 e necess ariamente 2 2 um m ultiplo real . Se : [0, 1] (R ) e um caminho de 2-formas tal que (0) = , (1) = , e (t) = t (com t : [0, 1] R uma fun ca o cont nua de t). Como t e cont nua, 0 = 1 e 1 = 1, o teorema do valor m edio garante que existe um ponto , 0 < < 1 tal que = 0, e portanto, ( ) = 0 e a forma nula, uma 2-forma degenerada.