Some symplectic compact non K ahler 4-manifolds

Alan Gerardo Reyes Figueroa

Instituto de Matem atica Pura e Aplicada, Impa

28 de novembro de 2011

Sum ario
1 Fibrados vetoriais e classes carater sticas 1.1 Fibrados vetoriais . . . . . . . . . . . . . . 1.2 Fibrados vetoriais holomorfos . . . . . . . 1.3 Conex oes e curvatura . . . . . . . . . . . . 1.4 Classes carater sticas . . . . . . . . . . . . 2 Topologia dos brados circulares 2.1 Espa cos brados . . . . . . . . . . . . 2.2 Fibrados circulares e a classe de Euler . 2.3 Produtos de Massey . . . . . . . . . . 2.4 Seq u encias de Gysin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2 4 5 6 8 8 9 10 11 12 12 12 13 14

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

3 Resultado Principal 3.1 Formalismo de algebras de diferenciais . . . . . . 3.2 Decomposi ca o de Hodge em variedades K ahler . . 3.3 A classica ca o de superf cies de Kodaira-Enriques 3.4 Prova do Teorema 3.1 . . . . . . . . . . . . . . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

Resumo Mostramos alguns exemplos de 4-variedades com estrutura quase-complexa, mas que n ao admitem estruturas complexas. Hist oricamente, van de Ven [14], Yau [15] e Brotherton [1] deram os primeiros exemplos de 4-variedades compactas quasecomplexas sem estrutura complexa. Ap os disso, toda uma industria de constru c oes de 4-variedades simpl eticas n ao-K ahler h a sido desenvolvida por Gompf, Gotay, McDu e outros; e que culminou com o trabalho de Fern andez-Gotay-Gray [4] em que eles caraterizan quando uma certa classe de 4-variedades quase-complexas, que ocorre como quocientes de grupos de tipo Lie, admitem estrutura holomorfa. Como observa Anna Cannas em [2], esta classe fornece os primeiros exemplos de variedades simpl eticas n ao simplesmente conexas que n ao admitem estrutura complexa. Por outro lado, Kodaira e Thurston [9, 13] construiram o primer exemplo de uma variedade simpl etica e complexa n ao-K ahler. Nosso objetivo e apresentar o resultado principal em [4], e mostrar o exemplo de Kodaira-Thurston como um caso especial.

Fibrados vetoriais e classes carater sticas

Nesta se ca o, relembramos as principais propriedades sobre brados vetoriais e conex oes, e damos uma breve apresenta ca o de classes carater sticas. As deni co es e propriedades s ao dadas no contexto de brados complexos, como em [5], ou [7]. Tais deni co es podem ser reformuladas, mutatis mutandis, no contexto real. Todas as variedades e aplica co es entre elas s ao, salvo men ca o do contr ario, de classe C . Uma refer encia est andar para esta se ca o e [11], e ampliada em [10]. 1.1 Fibrados vetoriais

Um brado vetorial complexo de posto n sobre M , consiste de uma aplica ca o : E M satisfazendo que cada bra Ex = 1 (x) e um espa co vetorial complexo n-dimensional; e que para cada ponto x M , existe uma vizinhan ca U M de x, e um difeomorsmo 1 n U : EU = (U ) U C tal que 1 U = , onde 1 : U Cn U e a proje ca o (x, y ) x. Um brado de posto 1 e chamado de um brado de linhas. Os difeomorsmos U s ao ditos trivializa c oes de E sobre U . Para cada par de trivia1 n n liza co es U , V , temos um mapa U V : (U V ) R (U V ) R , da forma
1 n U V (x, v ) = (x, gU V (x) v ), x U V, v C ,

onde gU V : U V GLn (C) e de classe C . Tais mapas s ao as fun c oes de transi c ao relativas ` as trivializa co es U e V . Para qualquer brado vetorial : E M , podemos achar uma cobertura por abertos {U } de M e difeomorsmos : 1 (U ) U Cn , tais que as fun co es de transi ca o satisfazem as condi c oes dos cociclos: g g = 1 em U U g g g = 1 em U U U (1.1)

Reciprocamente, se {U } e uma cobertura por abertos de M e h a fun co es suaves g : U U GLn (C) satisfazendo (1.1), podemos construir um u nico brado vetorial E M com fun co es de transi ca o g , via E=

(U Cn )/ ,

onde estamos identicando (p, v ) (p, g (p) v ), para quaisquer p U U , v Cn . Exemplos 1.1. 1. Se : E M e um brado vetorial com fun co es de transi ca o {g }, o brado dual E M e o brado cujas bras s ao (E )x = (Ex ) e com fun co es de transi ca o t j (x) = g (x)1 . 2. Se 1 : E M e 2 : E M s ao brados vetoriais de postos k e , com fun co es de transi ca o {g } e {h }, respectivamente, podemos denir a soma de Whitney de E E , como o brado com fun co es de transi ca o j (x) = g (x) 0 0 h (x) 2 GL(Ck C ).

3. O produto tensorial E E , e o brado com fun co es de transi ca o j (x) = g (x) h (x) GL(Ck C ). 4. O brado de r-formas r E , dado por fun co es de transi ca o j (x) = r g (x) GL(r Ck ). 5. Em particular, k E e um brado de linhas com fun co es de transi ca o j (x) = det g (x) GL(C). k E e chamado o brado determinante de E , e consiste de todas as formas lineares alternadas de posto m aximo em E . 6. Seja f : M N um mapa entre variedades e E N um brado vetorial. Denimos o pullback f E de E por f , o brado com bras (f E )x = Ef (x) . Se U : EU U Cn e uma trivializa ca o de E , ent ao f : (f E )f U f U Cn e uma trivializa ca o de f E . As fun co es de transi ca o de f E s ao os pullbacks das fun co es de transi ca o de E . Sejam : E M e : E N brados vetoriais de posto n, e seja f : M N uma : E E de classe C aplica ca o suave. Um mapa de brados sobre f e uma aplica ca o f tal que o diagrama E
f

/ E

 /N

comuta, e para cada x M , a restri ca o f e um isomorsmo linear. x : E x E f (x ) Dois brados vetoriais : E M , : E M sobre M s ao isomorfos, se existe um mapa de brados f : E E sobre a identidade 1M . Nesse caso, escrevemos E = E . Esta e uma rela ca o de equival encia no conjunto de brados vetoriais sobre M . Dizemos que um brado vetorial : E M e trivial se E e isomorfo ao brado M Cn . Se E e E s ao brados sobre M e f : E E e um mapa de brados, ent ao Ker f = x Ker fx E e Im f = x Im fx E s ao ambos subbrados de E e E respectivamente, se e somente se, os mapas fx t em todos o mesmo posto. Um subbrado F E de um brado vetorial E M e uma cole ca o {Fx Ex }xM de subespa cos da bras Ex de E , tais que F = x Fx e uma subvariedade de E . Claramente, F possui a estrutura de brado vetorial sobre M . A condi ca o que F E seja uma subvariedade e equivalente a dizer que temos uma cobertura {U } por abertos de M e trivializa co es : 1 (U ) U Cn tais que |F : F = F 1 (U ) U Cm U Cn . As fun co es de transi ca o relativas a estas trivializa co es s ao da forma

g (x) =

h (x) k (x) 0 j (x) 3

GLn (C).

O subbrado F possui fun co es de transi ca o {h }, e os mapas {j } s ao as fun co es de transi ca o do brado quociente E/F (cujas bras s ao (E/F )x = Ex /Fx ). Em particular, podemos considerar as k = 0 e temos uma seq u encia exata separ avel de brados 0
/F
i

/E

/ E/F

/0

de modo que podemos escrever E = F E/F . Finalmente, uma se c ao de um brado : E M sobre U M , e uma aplica ca o s : U E tal que s = 1U . Um referencial para E sobre U M e uma cole ca o s1 , . . . , sn de se co es de E sobre U , tal que {s1 (x), . . . , sn (x)} e uma base de Ex , para todo x U . Um referencial sobre U e essencialmente o mesmo que uma trivializa ca o de E sobre U : dado U : EU E Cn uma trivializa ca o, as se co es
1 sj = U (x, ej ), j = 1, . . . , n

denem um referencial. Reciprocamente, dado um referencial s1 , . . . , sn , podemos denir uma trivializa ca o U por
n

U () = (x, (1 , . . . , n )), onde (x) =

j =1

j (x)sj (x) E.

Nesta u ltima nota ca o, podemos representar qualquer se ca o s de E sobre U , como uma 1 fun ca o vetorial f = (f1 , . . . , fn ), onde s(x) = j fj (x) U (x, ej ). Em termos das trivializa co es { }, se co es de E sobre U se correspondem exatamente a cole co es f = {(f1 , . . . , fn )} de fun co es C satisfazendo f = g f . O conjunto (E ) = {s : M E | s e se ca o } e o espa co de se c oes globais do brado E M . (E ) possui a estrutura de um C-espa co vetorial e de um C (M )-m odulo. Exemplos 1.2. (T M ) = X(M ) e o m odulo de campos vetoriais sobre M ; 1 (T M ) = A (M, C) e o m odulo de 1-formas C sobre M con valores em C; (k T M ) = Ak (M, C) e o m odulo de k-formas diferenciais sobre M . Se : E M k e um brado, o conjunto A (E ) = (k T M E ) denota o feixe de k -formas C con valores em E . 1.2 Fibrados vetoriais holomorfos

Seja M ma variedade complexa. Um brado vetorial holomorfo : E M e um brado vetorial complexo, onde E est a munido de uma estrutura de variedade complexa, e as trivializa co es U : EU U Cn s ao biholomorsmos. As propriedades de brados vetoriais discutidas valem tamb em na categoria de brados vetoriais holomorfos. Podemos denir o brado dual, a soma, produtos tensorial e alternado, de brados vetoriais holomorfos. Uma das principais diferencias entre brados vetoriais C e brados vetoriais holomorfos e que n ao existe uma derivada exterior naturalmente denida no espa co de se co es (E ) de um brado vetorial. Por em, em un brado vetorial holomorfo o operador : Ap,q (E ) Ap,q+1 (E ) de (p, q )-formas E valuadas a (p, q + 1)-formas E valuadas, est a bem denido. 4

 Exemplos 1.3. 1. Se M e uma variedade complexa, seja Tx M = C{ z , } o espa co j j z tangente a M em x. O brado T M = x Tx M admite a estrutura de brado vetorial holomorfo. As fun co es de transi ca o s ao dadas por 1 J ( 0 ) , 1 ) J ( 0

j (x) =

i ) e a matriz jacobiana de f em termos das bases complexas {zj } (onde Jf = ( w zj } e Tx M 01 = e {wj }). Decompondo Tx M = Tx M 10 Tx M 01 , onde Tx M 10 = C{ z j }, temos que T M 10 = x Tx M 10 admite tamb em uma estrutura de brado C{ z j vetorial holomorfo.

2. Similarmente, o brado cotangente T M e T M 10 s ao brados vetoriais holomorfos. 3. O produto exterior (p,q) T M = p T M 10 q T M 01 e um brado vetorial holomorfo. 4. Seja M uma variedade complexa de dimens ao n, o brado can onico KM de M e denido como KM = n T M 10 . Este e um brado vetorial holomorfo de linhas (de posto 1). KM joga um papel importante na classica ca o de Kodaira-Enriques de variedades complexas. 1.3 Conex oes e curvatura

Uma conex ao D em um brado vetorial complexo : E M e um morsmo C-linear 0 1 de feixes D : A (E ) A (E ) satisfazendo a regra de Leibniz D(f s) = df s + f D(s), s A0 (E ). (1.2)

Uma comex ao e essencialmente uma forma de derivar se co es. Para uma se ca o s (E ), podemos pensar a contra ca o iv Ds com um vetor tangente v Tx M como a derivada de s na dire ca o de v . Por em, esta interpreta ca o s o e v alida em primer ordem (as derivadas superiores n ao coincidem). Seja U M , e seja {s1 , . . . , sn } um referencial para E sobre U . Dada uma conex ao D , podemos decompor
n

Dsi =
j =1

ij sj , i = 1, . . . , n.

A matriz de 1-formas = (ij ) e a forma de conex ao de D (com respeito ao referencial {si }). Esta matriz depende da escolha do referencial local. Se {s 1 , . . . , s n } e um outro referencial com s i = j gij sj , ent ao as formas e est ao relacionadas por = dg g 1 + g g 1 . (1.3)

Similarmente, dada uma conex ao D no brado vetorial : E M , podemos denir operadores D : Ak (E ) Ak+1 (E ) forzando a regra de Leibniz: D(s ) = ds + (1)k s D , para s Ak (E ), e A0 (E ). Em particular, o operador D2 : A0 (E ) A2 (E ) e A0 (M )-linear: D2 (f s) = D(df s + f Ds) = df Ds + df Ds + f D2 s = f D 2 s; i. e., e tensorial. D2 e chamada a curvatura associada ` a conex ao D. Em outras palavras, 2 2 D corresponde a uma se ca o global do brado T Hom(E, E ) = 2 T (E E ). Se {si } e um referencial de E , ent ao em termos do referencial {s i sj } de E E , podemos representar = (ij ) por uma matriz de 2-formas tais que
n

D si =
j =1

ij sj .

Esta matriz e a forma de curvatura de D (em termos do referencial {si }). Se {s i } e um est outro referencial com s i = j gij sj , ent ao as formas e ao relacionadas por = g g 1 . (1.4)

A forma de conex ao e a forma de curvatura est ao relacionadas pela equa c ao de Cartan = d . Usando a decomposi ca o T M = T 10 T 01 , podemos decompor tamb em D = D10 D01 , onde D10 : A0 (E ) A1,0 (E ) e D01 : A0 (E ) A0,1 (E ). Dizemos que D e compat vel com . Se E a estrutura complexa de E se D01 = e um espa co hermitiano (i. e., admite uma m etrica hermitiana), dizemos neste caso que D e compat vel com a m etrica se d s, = Ds, + s, D . um fato bem conhecido [5, p.73], [7, p.177] que se E E e um brado vetorial hermitiano, ent ao existe uma u nica conex ao em E que e compat vel com a m etrica e com a estrutura complexa. Tal conex ao e chamada de conex ao de Chern. 1.4 Classes carater sticas

Seja : E M um brado vetorial de posto n. Para estudar suas propriedades, introduzimos uma conex ao D em E e sua curvatura D2 . Seja {U } uma cobertura por abertos de M , com fun co es de transi ca o {g }. A forma de conex ao associada a D, e dada pelas equa co es (1.3)
1 1 . + g g = dg g

Similarmente, a forma de curvatura relativa a {U } e dada por (1.4)

1 = g g .

Uma fun ca o polinomial f : GLn (C) C que e invariante por semelhan ca, i. e., f (X ) = f (A1 XA), X GLn (C), e dita um polin omio invariante. A algebra de polin omios invariantes In e um algebra e comutativa relativa ` as opera co es usuais de polin omios. De fato, In = C[1 , . . . , n ] gerada pelos polin omios sim etricos elementares k em n vari aveis. Se f In e um polin omio invariante de grau k , e = { } e a forma de curvatura acima descrita, ent ao f ( ) e uma 2k -forma em U e f ( ) = f ( ), pela invari an ca de f . Assim f () A2k (M ) dene uma 2k -forma global em M . Mais ainda, usando a equa ca o de Cartan (identidade de Bianchi [11, p.196]), e poss vel mostrar que f () e uma forma fechada, e podemos considerar sua classe de cohomologia 2k [f ()] HdR (M, C). Um fato esperado (veja [11]) e que esta classe de cohomologia n ao depende da conex ao D. Dessa forma, encontramos ent ao uma classe de cohomologia 2k [f ()] em HdR (M ) que depende s o do brado E M . Denotamos [f ()] = f (E ). Tais classes de cohomologia que dependem u nicamente da escolha do brado E se conhecem como classes carater sticas. Neste caso particular, dizemos que f (E ) e a classe carater stica de E correspondente ao polin omio f . Proposi c ao 1.4. (Naturalidade das classes carater sticas, [11, p.198]) Para um mapa de brados E
h

/ E

 /N

2k temos f (E ) = h (f (E )) HdR (M ). Se g : M N e uma aplica c ao suave, ent ao 2k f (g E ) = g (f (E )) HdR (M ). Em particular, se E e E s ao brados isomorfos, ent ao f (E ) = f (E ).

Exemplos 1.5. 1. Para um brado real E M de posto n, a classe carater stica 1 4k pk (E ) HdR (M ) correspondente ao polin omio invariante pk = 2 2k , k = 1, . . . , n/2, e chamada a classe de Pontrjagin de grau k . A classe [det(I +
1 )] 2 = 1 + p1 (E ) + p2 (E ) + . . . + pn/2 (E ) HdR (M )

e dita a classe total de Pontrjagin de E . 2. Seja E M um brado vetorial complexo. Sejam Ck os polin omios sim etricos elementares associados aos auto-valores de uma matriz Mnn . Se e a forma de curvatura associada a uma conex ao D em E (e. g. a conex ao de Chern), as classes k 2k de cohomologia ck (E ) = Ck ( 2 ) HdR (M, C) s ao chamadas classes de Chern 1
c(E ) = 1 + c1 (E ) + c2 (E ) + . . . + cn (E ) HdR (M, C)

isto e um pequeno abuso de nota c ao, pois a classe de Chern ck (E ) e um elemento da cohomologia integral H 2k (M, Z), como veremos no pr oximo apartado. Por em, a teoria de Chern-Weil nos diz que s ao os mesmos objetos.

 e dita a classe total de Chern de E . Observa c ao 1.6 (Rela ca o entre brados de linhas e a classe de Chern). Seja M uma variedade complexa, U = {U } uma cobertura por abertos de M , e seja F = O o feixe de fun co es holomorfas n ao-nulas sobre U . Lembremos que na cohomologia de Cech, 1 (U , F ) s ao dados por cole co es {g }, g F (U U ) satisfaos 1-cociclos em Z 0 zendo as rela co es (1.1) e os 1-cobordos em B (U , F ) s ao dados por cole co es {g } sa tisfazendo g = g em U U . Assim, dado um elemento na cohomologia de Cech 1 (M, O ), podemos construir um brado vetorial de linhas holomorfo L M , [g ] H associado ao cociclo {g }. Reciprocamente, todo brado de linhas L M holomorfo 1 (M, O ) via o cociclo associado a suas fun dene um elemento na cohomologia H co es de transi ca o, e brados isomorfos denem a mesma classe de cohomologia. Temos assim 1 (M, O ): uma correspond encia 1-1 entre o grupo de Picard de M e o H 1 (M, O ). Pic(M ) = {L : L brado de linhas sobre M }/ = H Por outro lado, a seq u encia exata de feixes sobre M 0
/Z
i

/O

e2i

/ O

/0

dene uma seq u encia exata longa em cohomologia: ... 1 (M, Z) /H 1 (M, O) /H 1 (M, O ) /H
c1

2 (M, Z) /H

/ ...

1 (M, O ), a imagem c1 (L) H 2 (M, Z) sob Para um brado de linhas L Pic(M ) =H o mapa c1 : L c 1 ( L) e a classe de Chern de L denida anteriormente (observe que 2 2 H (M, Z) = H (M, Z) e portanto, c1 (L) e um n umero inteiro).

Topologia dos brados circulares

Nesta se ca o, apresentamos as principais propriedades dos S1 -brados, sua topologia e rela ca o com a classe de Euler. Damos uma pequena inrodu c ao aos produtos de Massey e as seq ` u encias de Gysin, que ser ao u teis mais adiante. As refer encias principais para esta se ca o e [11] e [12]. 2.1 Espa cos brados

Seja M, E, F variedades. Um espa co brado com bra F e um mapa : E M satisfazendo que para cada ponto x M , existe uma vizinhan ca U M de x, e um 1 difeomorsmo U : EU = (U ) U F tal que 1 U = , onde 1 : U F U e a proje ca o (x, y ) x. Da mesma forma que nos brados vetoriais, os difeomorsmos U s ao ditos trivializa c oes, 1 e podemos achar uma cobertura por abertos {U } de M e difeomorsmos : (U ) U F , tais que as fun co es de transi ca o g : U U Di(F ) satisfazem as condi co es dos cociclos (1.1). Similarmente, temos no co es an alogas de subbrados, pullback de um brado, mapas entre brados, e isomorsmo. 8

Entre os espa cos brados, a classe dos brados principais joga um papel importante. Um brado : E M e dito um G-brado principal (ou simplesmente um brado principal ) se a bra G e um grupo de Lie, e G e o grupo denido pelos mapas de transi ca o {g } ca o ` a direita do grupo de Lie G = G Di(G). Um brado principal dene uma a no espa co total E por E G E : (u, g ) u g de forma que (u g ) h = u (gh). Tal a ca o e livre, leva cada bra Ex em ela mesma, e podemos identicar E/G = M. Observa c ao 2.1. Um fato bem conhecido [11, p.237] e que um brado principal e trivial, se e somente se, ele admite uma se ca o. 2.2 Fibrados circulares e a classe de Euler

Um brado : E M com bra F = S1 , e dito um brado circular. Se podemos orientar cada bra de E de modo que localmente possua um u nico sentido, dizemos que o brado e orient avel. Um exemplo de brado circular n ao-orient avel e a garrafa de Klein. Por outro lado, uma classe importante de brados circulares orient aveis e dada pelos brados 1 circulares principais, ou S -brados principais (neste caso, estamos identicando S1 com o grupo de Lie unit ario U (1) ou o grupo de Lie SO(2)). De fato [11, p.241], todo brado circular orient avel, admite a estrutura de um S1 -brado principal. Em particular, da Observa ca o 2.1 temos que um brado circular orient avel e trivial se, e somente se, ele admite uma se ca o. Assim, para saber se um S1 -brado principal : E M e trivial, tentaremos construir uma se ca o:
s( v2 )

s( v0 )

s( v1 ) v2

v0

v1

Figura 1: Constru ca o da se ca o s sobre um 1-simplexo de K . Seja K uma triangula ca o de M , tal que todo simplexo de K esteja contido numa carta trivializadora {U , }. A teoria de brados mostra que se a base e contr atil, qualquer brado sobre a base e trivial. Para cada v ertice v K , escolhemos um ponto s(v ) na bra Ev = 1 (v ). Para cada 1-simplexo [v0 v1 ] em K , como 1 ([v0 v1 ]) = [ v0 v1 ] S1 , seja s : [v0 v1 ] 1 ([v0 v1 ]) uma se ca o que coincide com s(v ) nos extremos de [v0 v1 ] (veja 9

Figura 1). Imitando este processo em todos os 1-simplexos de K , podemos denir uma se ca o s sobre o 1-esqueleto K1 de K . Seja agora = [v0 v1 v2 ] um 2-simplexo em K , e escolha uma trivializa ca o : 1 ( ) 1 1 S . Podemos compor s : ( ) com e obter um mapa
(x,y )y s s : = S1 S1 S1 .

Denotemos cs = deg s , o grau topol ogico e s . Se cs = 0, podemos estender a se ca o s a todo o 2-simplexo . A correspond encia cs dene um 2-cociclo [11, p.243], e podemos escrever cs C 2 (K, Z). Se s e uma outra se ca o sobre K1 , ent ao cs e cs s ao cohom ologas, 2 2 e logo temos denida uma classe de cohomologia [cs ] H (K, Z) = H (M, Z). Mais ainda, esta classe n ao depende de s, nem da triangula ca o K , u nicamente depende do brado E M . A classe e(E ) = [cs ] e chamada a classe de Euler de E . A classe de Euler e uma classe carater stica, isto e, ela e natural no sentido da Proposi ca o 1.4. Isto signica que e(E ) classica as classes de isomorsmo dos S1 -brados principais sobre M . Tal classica ca o e um resultado devido a Kobayashi [8]: Teorema 2.2 (Kobayashi). H a uma correspond encia 1-1 entre classes de equival encia de 2 brados circulares principais sobre uma variedade M e o grupo de cohomologia H (M, Z). Mais ainda, dada uma 2-forma integral fechada em M , existe um brado circular principal : E M , com forma de conex ao tal que = d. 2.3 Produtos de Massey

As formas diferenciais cont em informa ca o u til sobre a cohomologia real das varieades (e. g. o isomorsmo de De Rham). De fato, os diferenciais podem medir ainda estruturas mais profundas da cohomologia, via uma seq u encia de produtos de ordem superior, que s ao chamados usualmente de produtos de Massey. Introduzimos agora o mais simples destes produtos. k m Seja M uma variedade real, e sejam HdR (M ), HdR (M ), HdR (M ) classes de cohomologia satisfazendo = = 0. Podemos denir uma classe de cohomologia , ,
k++m1 HdR (M ) +m1 k+1 HdR (M ) + HdR (M )

da seguinte maneira: sejam x, y, z formas diferenciais em M , representando , , , respectivamente. Ent ao, existem formas , em M , tais que x y = d, y z = d. Como d( z (1)k x ) = x y z x y z = 0, temos que z (1)k x +m1 e uma (k + + m 1)-forma fechada, que est a bem denida m odulo HdR (M ) + k+1 HdR (M ). Denimos ent ao o triple produto e Massey como , , = [ z (1)k x ]. 10 (2.1)

e seja H o subgrupo que consiste das matrices com u, v, w Z. age de forma livre e propriamente descont nua em H (via multiplica ca o ` a esquerda), de modo que \H e 1 u w uma 3-variedade. Simplicando a nota ca o matricial 0 1 v pelo vetor (u, v, w), observe 0 0 1 que a multiplica ca o no grupo H traduz-se na soma (u, v, w) + (u , v , w ) = (u + u , v + v , w + w + uv ). Logo, (u, v, w) (u , v , w ) u u (mod Z) (mod ) v v (mod Z) w + u v w + u v (mod Z). (2.2)

Exemplo 2.3. Seja : E T2 um brado circular principal sobre o 2-toro, tal que sua classe de Euler seja 1 H 2 (T2 , Z). E e uma 3-variedade orient avel compacta. De fato, podemos construir E da seguinte forma: Consideremos o grupo de Lie 1 u w H = 0 1 v : u, v, w R , 0 0 1

Observe que as primeiras duas congru encias correspondem ao toro R2 = S1 S1 , enquanto a terceira descreve o comportamento das bras de E . Em termos de formas diferenciais, temos 1-formas invariantes em E = \H: du, dv, dw + udv.
1 2 Mais ainda, HdR (E ) = {[du], [dv ]} e HdR (E ) = {[du ], [dv ]}. Escrevamos = [du], = [dv ] e = [dw + udv ]. Como du dv = , ent ao, = [du dv ] = d = 0, e o triple produto de Massey , , est a bem denido. Assim 2 , , = [du ] = 0 HdR (E ).

2.4

Seq u encias de Gysin

Seja M uma variedade. Um brado : E M e dito n-esf erico se a bra de e a n esfera S . Quando n = 1, os brados 1-esf ericos s ao os j a vistos brados circulares. A cohomologia dos brados esf ericos pode-se estudar com m etodos relativamente simples usando uma seq u encia exata particular, que relaciona a cohomologia do espa co base M , n da bra S e do espa co total E , usando a classe de Euler do brado. Tal seq u encia foi introduzida por Werner Gysin em [6], e e chamada de seq u encia de Gysin : Teorema 2.4 (Gysin). Suponha que : E M e um brado n-esf erico sobre M . Existe uma seq u encia exata ...
/ H k (E )

/ H k n ( M )

/ H k +n ( M )

/ H k+1 (E )

/ ...

onde e H 2k (M ) e uma classe de Euler de E , e a aplica c ao e : refer encia ao produto cup [12]. 11

e faz

Resultado Principal

Esbozamos a prova do teorema principal em [4]: Teorema 3.1 (Fern andez-Gotay-Gray). Seja E 4 um brado circular principal sobre E 3 , (que a sua vez e um brado circular principal sobre T2 ), de modo que o primeiro n umero 4 4 de Betti de E satisfaz 2 b1 (E ) 4. Ent ao: 4 4 (i) se b1 (E ) = 2, E possui estrutura simpl etica mas n ao estrutura complexa; 4 4 (ii) se b1 (E ) = 3, E possui ambas estrutura simpl etica e complexa, mas n ao possui m etrica K ahler denida positiva; 4 (iii) b1 (E ) = 4 se, e s o se, E 4 e um 4-toro T4 . 3.1 Formalismo de algebras de diferenciais

Dada uma variedade M , podemos considerar a algebra de diferenciais A = (M ) com a estrutura dada pelo produto cup (ou o produto ). Em um trabalho fundamental, Deligne, Griths, Morgan e Sullivan [3], mostraram que e poss vel denir um tipo de homotopia racional abstracto M para A, chamado o modelo minimal. Este tipo de homotopia cont em mais informa ca o topol ogica (dada por certos produtos de Massey) que a estrutura do anel de cohomologia. O letor pode consultar tamb em [10]. Sem entrar em muito detalhe, vamos supor que temos um modelo minimal M (M ) para uma variedade M , o qual consiste em certa algebra gerada por diferenciais sobre M (com o produto e a derivada exterior d) com coecientes em Q, satisfazendo algumas rela co es entre os seus elementos. Por exemplo, o modelo minimal correspondente ao Exemplo 2.3 e M (E 3 ) = {, , : d = d = 0, d = }. Os produtos de Massey (e outros produtos de ordem superior) s ao invariantes do modelo minimal de um algebra de diferenciais. Por exemplo, se todos estos produtos s ao nulos (e. g. a algebra tem o mesmo modelo minimal que um algebra de diferenciais com d = 0). Esto motiva a seguinte deni ca o [3]: Deni c ao 3.2. Seja M uma algebra de diferenciais minimal e H (M ) o seu anel de cohomologia, visto como um algebra de diferenciais com d = 0. Dizemos que M e formal se existe um mapa de algebras de diferenciais : M H (M ) que induz a identidade em cohomologia. 3.2 Decomposi c ao de Hodge em variedades K ahler

Em uma variedade compacta complexa M o teorema de Hodge [5, p.84], nos d a um p,q isomorsmo entre os espa cos de formas harm onicas Harm (M ) (formas satisfazendo a + ), e os grupos de cohomologia de Dolbeault equa ca o = 0, onde =
p,q Harmp,q (M ) = H (M ).

Em particular, sendo M compacta, tais grupos de cohomologia s ao de dimens ao nita. Mais ainda, para uma variedade K ahler M compacta, temos identidades no anel de formas 12

harm onicas: Harmk (M ) =

p +q =k p,q

Harmp,q (M ),

Harm (M ) = Harmq,p (M ).
p,q Juntando as equa co es acima com o isomorsmo Harmp,q (M ) = H (M ) e o isomorsmo no teorema de Hodge Harm (M ) (M ), temos a decomposi c ao de Hodge = HdR

H k (M, C) =
p +q =k p,q H (M )

p,q H (M ),

q,p = H (M ).

(3.1)

Da decomposi ca o de Hodge em (3.1), e imediato que

2k+1 Lema 3.3. Os n umeros de Betti b2k+1 (M ) = dim HdR (M ) de grau 2k + 1 s ao pares.

3.3

A classica c ao de superf cies de Kodaira-Enriques

Seja M uma variedade alg ebrica C , complexa, compacta, conexa de dimens a o n. O protagonista da classica ca o e o brado can onico KM (i. e., o brado cujas se co es s ao as n-formas em M ). Para cada m Z+ , denimos o plurig enero de M como 0 (M, K m ). Pm (M ) = dim H M e denimos a dimens ao de Kodaira de M de acordo ao comportamento da seq u encia {Pm (M )}: kod(M ) = lim log max Pr (M ).
m 1r m

No caso das curvas (dimens ao complexa n = 1), temos que kod(M ) {, 0, 1}. De fato, se M e uma curva de g enero g , kod(M ) = M e curva racional g = 0. kod(M ) = 0 M e curva el ptica g = 1. kod(M ) = 1 M e curva hiperb olica g 2. Assim, a dimens ao de Kodaira reete a tricotomia fundamental das curvas alg ebricas (teorema de Uniformiza ca o de Riemann). No caso das superf cies (quando n = 2), temos que kod M {, 0, 1, 2} e
kod(M ) = M e birracional a CP1 C, C curva alg ebrica. kod(M ) = 0 M e abeliana, ou e superf cie K 3, ou e hiperel ptica, ou e tipo Enriques. kod(M ) = 1 M e uma bra c ao el ptica. kod(M ) = 2 M e uma superf cie de tipo gen erico .

Neste caso, a dimens ao de Kodaira fornece uma classica ca o precisa quando M n ao e uma superf cie de tipo gen erico. Como e de se-esperar, a maioria das superf cies s ao de 13

tipo gen erico. Ainda neste caso, a classica ca o de Kodaira-Enriques produz resultados importantes sobre espa cos de moduli, n umeros de Chern, e outros invariantes topol ogicos. Uma particularidade da classica ca o de Enriques e que ela fornece obstru co es para saber quando uma 4-variedade admite ou n ao estrutura holomorfa. Usaremos o seguinte resultado em [9]: Teorema 3.4 (Kodaira). Uma superf cie complexa e uma deforma c ao de uma superf cie alg ebrica se, e somente se, seu primeiro n umero de Betti b1 e par. 3.4 Prova do Teorema 3.1

Sejam , H 1 (T2 , Z) duas 1-formas integrais e fechadas tais que H 2 (T2 , Z) = . Pelo teorema de Kobayashi 2.2, para cada n Z existe um brado circular principal : E 3 T2 (correspondente ` a classe n[ ]), e uma forma de conex ao em E 3 escolhida de forma que d = n( ), (por simplicidade, estamos identicando as formas diferenciais no espa co base T2 com seus respectivos pullback no espa co E 3 ). O modelo minimal associado a E 3 e dado por M (E 3 ) = {, , : d = d = 0, d = n( )}. Temos dois casos: Se n = 0, ent ao H 1 (E 3 , R) = {[], [ ]} e H 2 (E 3 , R) = {[ ], [ ]}, e o E 3 admite a representa ca o E 3 = n \Hn , onde Hn e o grupo de Lie 1 u w/n 0 1 v : u, v, w R 0 0 1 ()

Hn =

e n e o subgrupo de Hn que consiste das matrices com u, v, w Z: De fato, usando de novo a nota ca o vetorial como no Exemplo 2.3, as equa co es (2.2) s ao ) (u, v, w n

, w ) n

(u , v

Dessas equa co es, temos que du, dv e dw + nudv s ao 1-formas em Hn invariantes pela a ca o de n (de modo que podemos v e-las como 1-formas em E 3 ). Se denirmos = [du], = [dv ] e = [dw + nudv ], obtemos a representa ca o armada.

u u (mod Z) (mod n ) v v (mod Z) w + nu v w + nu v (mod nZ)

14

 Se n = 0, ent ao H 1 (E 3 , R) = {[], [ ], [ ]}, H 2 (E 3 , R) = {[ ], [ ], [ ]}, de modo que E 3 e o 3-toro S1 S1 S1 . Neste caso, temos para (u, v, w), (u , v , w ) R3 , (u, v, w) (u , v , w ) u u (mod Z) (mod Z3 ) v v (mod Z) w w (mod Z)

Agora temos que du, dv e dw s ao 1-formas em E 3 . Se denirmos = [du], = [dv ] e = [dw], obtemos a representa ca o desejada. Os brados circulares principais sobre E 3 s ao classicados por H 2 (E 3 , Z) (teorema de Kobayashi). Usando a seq u encia de Gysin no Teorema 2.4, podemos calcular H 2 ( E 3 , Z ) = Z Z Z / | n| Z , e assim, para cada par de inteiros (p, q ), existe um brado circular principal : E 4 E 3 (correspondente ` a classe p[ ] + q [ ]). Pelo teorema de Kobayashi 2.2, existe uma forma de conex ao em E 4 escolhida de forma que d = p( ) + q ( ), (de novo, estamos identicando as formas diferenciais no espa co base E 3 com seus respectivos pullback no espa co E 4 ). Mais uma vez, temos dois casos: Quando n = 0, vimos que H 2 (E 3 , R) = {[ ], [ ]}, e logo o modelo minimal associado a E 4 e dado por M (E 4 ) = {, , , : d = d = 0, d = n( ), d = p( ) + q ( )}. (3.2) Neste caso, H 1 (E 4 , R) = {[], [ ]}, se (p, q ) = (0, 0). Caso contr ario, H 1 (E 4 , R) = {[], [ ], [ ]}, se p = q = 0. Quando n = 0, vimos que H 2 (E 3 , R) = {[ ], [ ], [ ]}, e logo o modelo minimal associado a E 4 e dado por M (E 4 ) = {, , , : d = d = 0, d = n( ), d = p( )+q ( )+r( )}. (3.3) 1 4 1 4 Neste caso, H (E , R) = {[], [ ], [ ]}, se (p, q ) = (0, 0). Caso contr ario, H (E , R) = {[], [ ], [ ], [ ]}, se p = q = 0. Em ambos casos, podemos tomar t como a vari avel na bra S1 , independente de u, v, w, e escrever = [dt]. Em resumo, temos os seguintes n umeros de Betti para E 4 : p = 0 ou q = 0 2 p = q = 0 algum p, q, r = 0 3 3 15 p=q=r=0 4

n=0 n=0

Ambos casos de E 4 descritos nos modelos minimais (3.2) e (3.3), admitem sempre uma forma simpl etica. Por exemplo, a 2-forma = (a + b ) + (c + e ) , a, b, c, e R e fechada quando ep cq = 0, e e de posto m aximo (n ao-degenerada) quando ae bc = 0. Um resultado devido a Deligne, Grits, et al. em [3] diz: Lema 3.5. O modelo minimal M (E 4 ) em (3.2) e (3.3) n ao e formal se algum dos n umeros n, p, q, r e n ao-nulo. Damos agora a prova do Teorema 3.1. (i) Suponha que E 4 com b1 (E 4 ) = 2 possui estrutura complexa. Pelo Teorema 3.4, esto implica que E 4 possui uma m etrica K ahler denida positiva (pois sabemos que toda superf cie alg ebrica pode-se mergulhar em um espa co projetivo CPk , e portanto e K ahler). 4 Mas, um resultado de [3] implica que M (E ) e formal, em contradi ca o com o Lema 3.5. (ii) Se E 4 e tal que b1 (E 4 ) = 3 e n = 0, podemos construir uma estrutura complexa em E 4 da seguinte forma: Sejam X, Y, Z, T X(E 4 ) os campos vetoriais duais ` as formas , , , , respectivamente: X= , Y = nu , Z = , T = . u v w w t

Tais campos constituem um referencial ortonormal, com respeito da m etrica em E 4 , 1 induzida pela m etrica em Hn S ds2 = 2 + 2 + 2 + 2 , que e invariante pela a ca o de n quando n = 0. Temos ent ao o colchete [X, Y ] = nZ , e o resto s ao todos nulos. Denimos agora J : T E 4 T E 4 por JX = Z, JY = T, JZ = X, JT = Y. Claramente J 2 = I e o tensor de Nijenhuis e NJ 0. Logo, o teorema de Newlander4 Nirenberg garante que E admite uma estrutura de variedade complexa. Uma constru ca o similar vale tamb em para o caso n = 0. Por em, nenhum dos casos possui estrutura K ahler, 4 caso contr ario, da teoria de Hodge (Lema 3.3) teriamos b1 (E ) par. A prova de (iii) e evidente. Neste caso, temos o modelo { = [du], = [dv ], = [dw], = [dt]}. Assim, obtemos grupos de cohomologia H 1 (E 4 , Z) = H 3 (E 4 , Z) = Z4 , H 2 (E 4 , Z) = Z6 , que correspondem aos grupos de cohomologia do 4-toro T4 , em virtude da f ormula de K unneth. Isso conclui a prova do Teorema 3.1.

16

Exemplo 3.6 (Kodaira-Thurston). O exemplo de Kodaira-Thurston [9, 13] corresponde ao caso (ii). Expl citamente, e 1 \H1 S1 . Como variedade complexa, possui a seguinte descri ca o: Para cada inteiro gaussiano Z[i], seja 1 z w/ 0 1 z : z, w C . 0 0 1

G =

G e uma variedade complexa, e como grupo de Lie e holomorfa ` a esquerda. Considere G o subgrupo que consiste das matrices com z, w Z[i]. Ent ao, E 4 = \G e uma nilvariedade (i. e., uma variedade C quociente de um grupo de Lie nilpotente). O exemplo de Kodaira-Turston corresponde a 1 \G1 .

Refer encias
[1] N. Brotherton. Some parallelizable four dimensional manifolds not admitting a complex structure. Bull. London Math. Soc., 10:303304, 1978. [2] A. C. da Silva. 4-manifolds with a symplectic bias. Notas de um curso em XVI International Fall Workshop on Geometry and Physics) Geometry and Physics: XVI International Fall Workshop. [3] P. Deligne, P. Griths, J. Morgan, and D. Sullivan. Real homotopy theory fof K ahler manifolds. Invent. Math., 29:245274, 1975. [4] M. Fern andez, M. Gotay, and A. Gray. Compact parallelizable four dimensional symplectic and complex manifolds. Proc. Amer. Math. Soc., 103:12091212, 1988. [5] P. Griths and J. Harris. Principles of Algebraic Geometry. Wiley-Interscience, Cambridge, 1978. [6] W. Gysin. Zur Homologietheorie der Abbildungen und Faserungen von Mannigfaltigkeiten. Comment. Math. Helvetici, 14:61122, 1942. [7] D. Huybrechts. Complex Geometry. Springer-Verlag, Berlin, 2005. [8] S. Kobayashi. Principal bre bundles with the 1-dimensional toroidal group. Tokohu Math. J., 8:2945, 1956. [9] K. Kodaira. On the structure of compact complex analytic surfaces I. Amer. J. Math., 86:751758, 1964. [10] S. Morita. Geometry of Characteristic Classes. AMS, Translation of Mathematical Monographs 199, 2001. [11] S. Morita. Geometry of Dierential Forms. AMS, Translation of Mathematical Monographs 201, 2001. [12] V. V. Prasolov. Elementy teorii gomologi i (Elements of Homology Theory). AMS, Graduate Studies in Mathematics 81, 2007. [13] W. P. Thurston. Some simple examples of symplectic manifolds. Proc. Amer. Math. Soc., 55:467468, 1976. [14] A. van de Ven. On the Chern numbers of certain complex and almost complex manifolds. Proc. Nat. Acad. Sci. USA, 55:16241627, 1966. [15] S. T. Yau. Parallelizable manifolds without complex structure. Topology, 15:5153, 1976.

17