Você está na página 1de 5

EXERCCIOS E QUESTES EM GEOMETRIA COMPLEXA

CONTENTS

1. Anlise Complexa 1

2. Superfcies de Riemann 2

3. Variedades complexas 2

4. Fibrados vetoriais 4

5. Feixes e cohomologia 4

References 5

1. A NLISE COMPLEXA

1.1. Demostre que em uma variedade complexa compacta, as nicas funes holomorfas
so as funes constantes.

Dica : Note que, fora do zero locus de , voc pode definir localmente o logaritmo log = log | | +
arg . Agora aplique o princpio de mximo parte real log dessa funo holomorfa.

1.2. (Varolin) Demostre que se () e | ()|2 (1 + ||2 ) ento um polinmio em , de


grau menor ou igual a .

1.3. (Varolin) Demostre que se () e | |2 < ento 0.

1.4. (Huybrechts) Demostre que toda aplicao holomorfa = {; Im() > 0} consante.

1.5. (Huybrechts) Demostre que as partes reais e imaginrias e respetvelmente de uma funo holo-
2 2
morfa = + o harmnicas. Isto , ( 2 + 2 ), e o mesmo para .

1.6. (Huybrechts) Deduza o princpio do valor mximo e o teorema de identidade para funes de vrios
variveis dos resultantes correspondentes unidimensionais.

1.7. (Huybrechts) Demostre a regra de cadeia () =




+ e o anlogo para .
Utilize isso
para mostrar que a composio de duas funes holomorfas holomorfa.

1.8. (Huybrechts) Considere a funo 2 , (1 , 2 ) 31 2 + 1 2 + 21 22 + 22 + 1 32 e encontre


uma decomposio explicita = como afirmada no teorema de preparao de Weierstrass.

Date: August 23, 2015.


1
2 EXERCCIOS E QUESTES EM GEOMETRIA COMPLEXA

1.9. (Huybrechts) Seja = (0) e considere o anel ( ) de funes holomorfas em . Demostre


que ( ) naturalmente contido em ,0 . O que a relao entre a localizao de ( ) no ideal primo
de funes que se anulam na origem e ,0 . Ser que esse ideal mximo?

1.10. (Huybrechts) A noo de irredutibilidade para germes de funes anaticas generaliza para a noo
correspondente para germes de conjuntos analticas . D um exemplo de um conjunto analtico
irredutvel que no define germes analticas irredutveis em todo ponto, e de um conjunto analtico cujos
germes induzidos so todos irredutveis mas que no um conjunto analtico irredutvel.

1.11. (Huybrechts) Seja um conjunto aberto e holomorfa. Demostre que se 2,


o zero locus ( ) no pode consistir somente por um ponto. Analogamente, demostre que para uma
funo holmorfa , com 2 e Im( ), existe um ponto 1 () com >> 0
arbitrariamente grande.

1.12. Considere a aplicao holomorfa 2 , (2 1, 3 ). Ser que a imagem de um


conjunto analtica?

1.13. Ns demostraremos o teorema de Poincar que o polidisco 2 (0) = {(1 , 2 ) 2 ; | | < 1} e


a bola unitria 1 (0) = {(1 , 2 ) 2 ; |1 |2 + |2 |2 < 1} no so biholomorfos. (Ento o teorema de
aplicao de Riemann no extende-se a dimenses superiores).

(a) Lembre a descrio do grupo de automorfismos do disco unitrio no plano complexo. Demostre
que o grupo de matrizes unitrias de posto 2 um subgrupo do grupo de aplicaes biholomorfas
de 1 (0) que deixam fixa origem.
(b) Demostre que para todo 2 (0) existe uma aplicao biholomorfa 2 (0) 2 (0) com
() = 0.
(c) Demostre que o grupo de aplicaes biholomorfismos de 2 (0) que preservem a origem abeliano.
(d) Demostre que 2 (0) e 1 (0) no so biholomorfas.

2. SUPERFCIES DE R IEMANN

2.1. (Varolin) Demostre que o conjunto {[; ; ] 2 ; 2 = ( )( 2)} uma superfcie de


Riemann.

2.2. Denote por o subgrupo aditivo = + para { ; Im() > 0}. Demostre
que se = () para algum (, ) ento os toros quocientes = e = so
biholomorfos.

2.3. Consideraremos uma variedade de Hopf unidimensional. age em {0} por (, ) por
fixo com || 1. Seja o quociente, que tem a estrutura de uma superfcie de Riemann
difeomorfa a 1 1 . Determine explicitamente um biholomorfismo entre e um toro quociente ,
para algum { ; Im() > 0}.

3. VARIEDADES COMPLEXAS

3.1. Seja a variedade de Hopf = {0} determinado por com || 1. Demostre que
admite uma submerso holomorfa sobre o espao projetivo complexo 1 . Determine
explicitamente as fibras dessa aplicao.
EXERCCIOS E QUESTES EM GEOMETRIA COMPLEXA 3

3.2. Demostre que no admite subvariedades complexas compactas de dimenso positiva.

3.3. Demostre que uma aplicao holomorfa de 1 a um toro complexo constante.

3.4. Generalize a construo de variedades de Hopf considerando a ao de por (1 , , ) (1 1 , , ),


onde 0 < < 1. Demostre que o quociente ( {0} tambm difeomorfo a 1 21 .

3.5. Demostre que toda superfcie de Hopf contm curvas elticas.

3.6. Seja = { ; Im() > 0} e


= . Define uma ao de em
por

((, ), (, )) (, + + ).
Demostre que = (
) uma variedade complexa suave e que a aplicao
desce
para uma submerso holomorfa . Identifique as fibras () .
1

3.7. Seja 2 o subconjunto dado por

{([ ], ) ; 2 = 0}.

(i) Demostre que 0 = 1 (0) uma variedade complexa suave, onde a projeo sobre .
(b) Demostre que uma submerso holomorfa.
(iii) Demostre que para todo 0 , existe uma mergulho holomorfo de 1 em com
imagem a fibra 1 (). Demostre que para = 0, a fibra 1 (0) a unio de duas linha projetivas
em 2 .
(d) Demostre admite uma ao pelo grupo , que comuta com a projeo a
, no sentido que
((, )) = ()
para todo e todo .

3.8.

(i) Demostre que 2 = 0.


(ii) Demostre que +
= 0.
(iii) Cheque que () +1, () ,+1 ().
,

3.9. Seja uma variedade complexa compacta e simplesmente conexa. Demostre que 1,0 () = 0

Dica : dada uma 1-forma holomorfa , integre-a ao longo de caminhos com uma origem fixa para definir
uma funo holomorfa com = .

3.10.

(a) Encontre uma variedade compacta complexa com 1,0 () no-zero.


(b) Para todo , encontre um exemplo de uma variedade compacta complexa de dimenso
complexa para qual ,0 () no-zero para = 0, , .
4 EXERCCIOS E QUESTES EM GEOMETRIA COMPLEXA

4. FIBRADOS VETORIAIS

4.1. (Huybrechts) Seja e fibrados vetoriais determinados pelos cocclos {( ,


(, ))} e {( , (, ))} respetivamente. Verifique que as constues algbricas
seguintes em fibrados vectoriais tem interpretaes em termos de cocclos :

(i) A soma direito corresponde com o cocclo ( + , ))}.


(ii) O produto tensorial corresponde com (, ))}
(iii) O fibrado dual corresponde com ( )1 .
(iv) O fibrado determinante det() corresponde com det( ).

4.2. Demostre que o fibrado tangente de uma variedade complexa um fibrado holomorfo.

4.3. Demostre que toda sequna exata curta 0 0, onde um fibrado em linhas,
induz sequnas exatas curtas da forma 0 1 0.

4.4. Demostre que para um fibrado vetorial de posto , existe um produto no-degenerado
det().
Deduza disso a existna de um isomorfismo natural de fibrados holomorfos det().

4.5. Seja um fibrado em linhas holomorfo em uma variedade compacta complexa . Demostre que
trivial se e somente se ambos e seu dual admitem sees globais no-triviais.

4.6. Seja 1 e 2 fibrados em linhas holomorfos em uma variedade complexa . Suponha que
seja uma subvariedade complexa de codimenso pelo menos 2 tal que 1 e 2 so isomorfos em .
Demostre que 1 2 .

4.7. Demostre que todo polinmio homogneo no-trivial 0 [0 , , ] de grau pode ser
considerado uma seo no-trivial de () em .

2
4.8. Seja o fibrado em linhas trivial com mtrica hermitiana = || . Calcule a curvatura da
conexo de Chern correspondente.

4.9. Seja o fibrado em linhas trivial com mtrica hermitiana = 1 + ||2 . Calcule a curvatura
da conexo de Chern correspondente. Calcule .

5. FEIXES E COHOMOLOGIA

5.1. (Ward e Wells) Seja um conjunto parcialmente ordenado com ordem parcial . Seja uma
familia de modulos indexados por , com homomorfismos

definidos se , com as propriedades que
= id, = se .
Ento definimos o limite indutivo
= lim

EXERCCIOS E QUESTES EM GEOMETRIA COMPLEXA 5

como as classes de equivalncia na unio disjunto


=
sobre a relao de equivalncia :

e so equivalentes se e somente se existe algum tal que e , e ( ) = ( ).

Demostre que

(a) se so modulos sobre um antel , ento um modulo sobre .


(b) Existe uma aplicao cannica
.

5.2. (Ward e Wells) Demostre que se um feixe, ento


= lim ( ).

5.3. (Ward e Wells) D um exemplo de um limite indutivo que tem a propriedade que
lim = 0 ,

para algum 0 . (Dica : considere um feixe constante.) Demostre que
lim ( )

no tem essa propriedade, onde o feixe de funes holomorfas em .

R EFERENCES
[1] Daniel Huybrechts, Complex Geometry, An Introduction, Springer Universitext.
[2] Dror Varolin, Riemann Surfaces by Way of Complex Analytic Geometry, Graduate Studies in Mathematics, vol. 125, AMS.
[3] R.S. Ward e Raymond O. Wells, Jr., Twistor Geometry and Field Theory, Cambridge University Press.
[4] Sylvestre Gallot, Dominique Hulin and Jacques Lafontaine, Riemannian Geometry, Third Ed., Springer Universitext.

INSTITUTO DE M ATEMTICA, U NIVERSIDADE F EDERAL DO RIO DE JANEIRO , AV. ATHOS DA S ILVEIRA RAMOS 149, RIO DE
JANEIRO, RJ, 21941-909, BRAZIL.

E-mail address: andrew@im.ufrj.br