Lety Velasco

1
UNIVERSIDAD AUT
ONOMA METROPOLITANA
UNIDAD IZTAPALAPA
DEPARTAMENTO DE MATEM
ATICAS
EL TEOREMA DE RIEMANN-ROCH
LETICIA VELASCO GARC
IA
ASESORA: DRA. LAURA HIDALGO SOL
IS
Marzo de 2010
RESUMEN
El objetivo principal de este trabajo es demostrar el Teorema de Riemann-
Roch en el contexto de supercies de Riemann compactas, para lo cual se
utilizaran resultados de cohomologa de gavillas y divisores.
Este teorema es una herramienta importante en la geometra algebraica
y el analisis complejo, este teorema permite calcular la dimension del espa-
cio de funciones meromorfas denidas en una supercie de Riemann, con
ciertas restricciones en sus polos. Ademas este teorema solo es el punto de
partida de una serie de resultados que en un futuro nos permitiran intro-
ducirnos al analisis de las supercies de Riemann compactas. Este trabajo se
desarrolla a lo largo de cuatro captulos; Supercies de Riemann, Gavillas,
Cohomologa, Divisores y Haces Lineales. A continuacion se da una breve
rese na del contenido de estos captulos.
En el primer captulo se estudia el concepto de supercie de Riemann,
as como los conceptos de funciones holomorfas en una supercie de Riemann
y aplicaciones holomorfas entre supercies de Riemann, donde obtenemos
un resultado importante que nos permite decir que; las unicas funciones
holomorfas en una supercie de Riemann compacta son las constantes.
En el segundo captulo se introducen los conceptos de pregavilla en una
supercie de Riemann, morsmo entre pregavillas, gavilla en una super-
cie de Riemann, gavilla de R-modulos, espacios etale y sucesion excata de
gavillas, ademas se proporciona un teorema que nos garantiza que a cada
pregavilla se le puede asociar, en forma canonica, una gavilla.
En el tercer captulo se denen los q-esimos grupos de cohomologa a-
sociados a una gavilla, ademas se identican los 0-esimos grupos de coho-
mologa con las secciones globales de la gavilla dada. De hecho, al considerar
el lmite directo de los grupos de cohomologa sobre todas las cubiertas abier-
tas del espacio topologico se da la denicion de grupo de cohomologa de
Cech con coecientes en la gavilla dada. Avanzando en el captulo, se estu-

dian las sucesiones exactas de grupos de cohomologa, resoluciones nas y
cubiertas de Leray, donde encontramos un resultado que nos permite identi-
car explcitamente el q-esimo grupo de cohomologa de

Cech de un espacio
Hausdor paracompacto con coecientes en la gavilla dada. Esto es
Resumen 3
Si
0 S

S
0
d
0
S
1
d
1
S
2
d
2
...
es una resolucion na de la gavilla S sobre un espacio Hausdor paracom-
pacto M, entonces
H
q
(M, S)

= ker d
q
/Imd
q1
para cada q > 0.
En el cuarto captulo se presentan los conceptos de divisores y haces
lineales, y se desarrollan algunos resultados importantes acerca de ellos.
Uno de los teoremas que se presenta en este captulo y que nos conduce a
la demostracion del Teorema de Riemann-Roch es el Teorema de Finitud,
el cual nos muestra la existencia de funciones meromorfas no constantes en
una supercie de Riemann compacta. Concluimos el captulo presentando
la demostracion el Teorema de Riemann-Roch.
INDICE GENERAL
1.. Supercies de Riemann . . . . . . . . . . . . . . . . . . . . . . . . 5
1.1. Deniciones Fundamentales . . . . . . . . . . . . . . . . . . . 5
1.2. Ejemplos de Supercies de Riemann . . . . . . . . . . . . . . 7
1.3. Aplicaciones Holomorfas . . . . . . . . . . . . . . . . . . . . . 12
2.. Gavillas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.1. Pregavillas y Gavillas . . . . . . . . . . . . . . . . . . . . . . 16
2.2. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.3. La Gavilla Asociada a una Pregavilla . . . . . . . . . . . . . . 25
3.. Cohomologa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.1. Cohomologa de

Cech . . . . . . . . . . . . . . . . . . . . . . 33
3.2. Sucesiones exactas de grupos de cohomologa . . . . . . . . . 37
3.3. Resoluciones nas y cubiertas de Leray . . . . . . . . . . . . . 40
4.. Divisores y haces lineales . . . . . . . . . . . . . . . . . . . . . . . 52
4.1. Divisores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
4.2. Teorema de nitud . . . . . . . . . . . . . . . . . . . . . . . . 59
4.3. Teorema de Riemann-Roch . . . . . . . . . . . . . . . . . . . 66
4.4. Teorema de dualidad de Serre . . . . . . . . . . . . . . . . . . 69
1. SUPERFICIES DE RIEMANN
1.1. Deniciones Fundamentales
Denicion 1. Una variedad topologica de dimension n, o n-variedad es un
espacio topologico Hausdor M con una base numerable de su topologa tal
que todo punto p M tiene una vecindad abierta homeomorfa a un abierto
en R
n
Fig. 1.1: Variedad topologica
Sea M una variedad topologica de dimension n, una cubierta coordenada
(U
, z
) de M consiste de una cubierta U
de M junto con una familia

de homeomorsmos
z
: U
del subconjunto U
M en el abierto V
R
n
. El conjunto U
se denomina
vecindad coordenada y la aplicacion z
es llamada aplicacion coordenada.

Por denicion cualquier variedad topologica admite una cubierta coordena-
da. En cada interseccion no vacia U
, dos homeomorsmos distintos en

R
n
determinan la composicion;
f
= z
z
1
: z
(U
) z
(U
),
1. Supercies de Riemann 6
esta composicion es llamada la funcion de transicion de la cubierta coorde-
nada. As para un punto p U
, dos aplicaciones cooordenadas z
, z
estan relacionadas por; z
(p) = f
(z
(p)). El siguiente diagrama ilustra

este concepto:
Fig. 1.2: Funciones de transicion
Denicion 2. Una cubierta coordenada (U
, z
) de una 2-variedad M es
llamada una cubierta analtica compleja si todas las funciones de transicion
son holomorfas.
Dos cubiertas analticas complejas son equivalentes si su union es tam-
bien una cubierta analtica compleja. Esta es una relacion de equivalen-
cia, ya que las propiedades de ser reexiva y simetrica se satisfacen clara-
mente y la transitividad se verica de la siguiente forma: consideremos
(U
, z
) equivalente a (U
, z
) y, (U
, z
) equivalente a (U
, z
)
y tenemos dos funciones de transicion, la primera f
= z
z
1
denida
en U
y, la segunda, f
= z
z
1
denida en U
. Entonces
f
= f
= z
z
1
en U
, y esta ultima es la funcion de

transicion holomorfa que nos permite asegurar la propiedad de transitividad.
Denicion 3. Una clase de equivalencia de cubiertas analticas complejas
de M sera llamada una estructura analtica compleja en M. Decimos que
una supercie conexa M con una estructura compleja ja es una supercie
de Riemann.
1.2. Ejemplos de Supercies de Riemann
Ejemplo 1. El plano complejo
El ejemplo mas simple de una supercie de Riemann es el plano complejo
C dotado de la estructura analtica determinada por la cubierta abierta
(C, id), donde id es la funcion identidad.
Ademas, cualquier subconjunto abierto conexo de una supercie de Rie-
mann es tambien una supercie de Riemann, en particular, subconjuntos
abiertos conexos del plano complejo seran supercies de Riemann bajo las
correspondientes restricciones.
Ejemplo 2. La esfera de Riemann
La 2-esfera considerada como una variedad topologica M, tiene una cu-
bierta dada como sigue: Sean n, s M dos puntos distitos de M vistos como
el polo norte y polo sur de la 2-esfera. Los conjuntos abiertos U
0
= Ms,
U
1
= M n cubren a M y el homeomorsmo z
1
es tal que asocia al con-
junto U
0
con el plano complejo por medio de la proyeccion estereograca,
mientras que el homeomorsmo z
0
es la proyeccion estereograca seguida de
la reexion en el eje x.
Fig. 1.3: Proyeccion estereograca
Esto describe una cubierta (U
0
, z
0
), (U
1
, z
1
) de M. Sin perdida de gen-
eralidad podemos suponer que z
0
(n) = 0 C y z
1
(s) = 0 C; as la funcion
de transicion f
01
es un homeomorsmo
f
01
: (C 0) (C 0),
donde f
01
= z
1
z
1
0
y para w C 0 se tiene que:
f
01
(w) = z
1
(z
0
(w)) = 1/z
0
(z
1
0
(w)) = 1/w
que manda el interior de un disco alrededor del 0 C al exterior de ese
disco.
Veamos como son z
0
y z
1
:
Sean M = (x
1
, x
2
, x
3
) R
3
; x
2
1
+ x
2
2
+ x
2
3
= 1, C = (x
1
, x
2
, 0) R
3
,
n = (0, 0, 1) y, s = (0, 0, 1). Consideremos U
0
= M s y U
1
= M n,
entonces M = U
1
U
0
.
Sea
z
1
: U
1
C
la proyeccion estereograca desde n; donde z
1
(p) = pnx
3
= 0, parametrizan-
do pn, el segmento que une los puntos p y n
tp + (1 t)n = l(t) , l(0) = n y l(1) = p
entonces
tp + (1 t)n = t(x
1
, x
2
, x
3
) + (1 t)(0, 0, 1)
= (tx
1
, tx
2
, tx
3
+ (1 t))
= (tx
1
, tx
2
, t(x
3
1) + 1).
as
t(x
3
1) + 1 = 0 t(1 x
3
) = 1 t = 1/1 x
3
.
Por lo tanto
z
1
(x
1
, x
2
, x
3
) = (x
1
/(1 x
3
), x
2
/(1 x
3
), 0).
Sea
z
0
: U
0
C.
la proyeccion estereograca desde s; consideremos p M,
z
0
= ps x
3
= 0.
Parametrizando ps: tp + (1 t)s = l(t), l(0) = s y l(1) = p. Entonces
tp + (1 t)s = t(x
1
, x
2
, x
3
) + (1 t)(0, 0, 1)
= (tx
1
, tx
2
, tx
3
+ (t 1))
= (tx
1
, tx
2
, t(x
3
+ 1) 1).
as
t(x
3
+ 1) 1 = 0 t(1 + x
3
) = 1 t = 1/1 + x
3
.
Por lo tanto z
0
(x
1
, x
2
, x
3
) = (x
1
/(1 + x
3
(, x
2
/(1 + x
3
), 0). Aunque esta
parametrizacion no sera util, ya que z
1
z
1
0
no es holomorfa.
Por otra parte, si q = (, , 0) R
3
, z
1
1
esta dada como; z
1
1
= (nq)S
2
,
donde nq: tq +(1 t)n = l(t), parametriza el segmeto de recta que une a n
con q, entonces;
t(, , 0) + (1 t)(0, 0, 1) = (t, t, 1 t) S
2
t
2
2
+ t
2
2
+ (1 t)
2
= 1
t
2
2
+ t
2
2
+ t
2
2t = 0
t
2
(
2
+
2
+ 1) 2t = 0
t[t(
2
+
2
+ 1) 2] = 0
t = 0 t = 2/(
2
+
2
+ 1)
pero t = 0 da el punto n, as t = 2/(
2
+
2
+ 1).
Por lo tanto
z
1
1
(, , 0) = (2/(
2
+
2
+1), 2/(
2
+
2
+1), (
2
+
2
1)/(
2
+
2
+1)).
Notemos que
z
0
z
1
1
(, , 0) = z
0
(2/(
2
+
2
+1), 2/(
2
+
2
+1), (
2
+
2
1)/(
2
+
2
+1))
as
z
0
z
1
1
(, , 0) = (/(
2
+
2
), /(
2
+
2
), 0).
Identicando C (, , 0) va z = x + iy (x, y, 0), esto nos da:
f
01
= 1/ z
la cual no es holomorfa, por lo que, modicaremos z
0
para tener una estruc-
tura analtica, y no solo diferenciable.
Modicando z
0
(x
1
, x
2
, x
3
) := (x
1
/(x
3
+ 1), x
2
/(x
3
+ 1), 0), tenemos
f
01
= z
0
z
1
1
(, , 0) = z
0
(2/(
2
+
2
+1), 2/(
2
+
2
+1), (
2
+
2
1)/(
2
+
2
+1))
as
f
01
= z
0
z
1
1
(, , 0) = (/(
2
+
2
), /(
2
+
2
), 0)
Identicando nuevamente C con (x
1
, x
2
, x
3
); x
3
= 0 va la aplicacion
z = x + iy (x, y, 0), tenemos que:
f
01
(x + iy) = x iy/x
2
+ y
2
esto es
f
01
(z) = 1/z.
Para f
10
es analogo.
Ejemplo 3. El toro y el grupo cociente C/
Otro ejemplo de una supercie de Riemann es el toro S
1
S
1
, donde
S
1
= z C; |z| = 1. Esta es una supercie de genero uno, por tanto
describiremos su estructura analtico compleja identicandola con C/.
Primero veremos que si es isomorfo a Z
2
entonces C/ tiene estrucura
de supercie de Riemann, posteriormente identicaremos C/ con S
1
S
1
.
Cabe notar que, en general si ,=
la estructura de C/ es distinta de
la de C/
aunque, ambas son homeomorfas al toro S

1
S
1
. Por lo que, en
este caso, tenemos diversos ejemplos de supercies de Riemann.
Consideremos w
1
, w
2
C linealmente independientes sobre los reales, de
esta manera no son cero y w
1
/w
2
no es un n umero real. Los n umeros w
1
, w
2
generan el subgrupo C, de la siguiente manera:
= n
1
w
1
+ n
2
w
2
: n
1
, n
2
Z Z
2
,
donde Z denota el grupo aditivo de los n umeros enteros. El grupo cociente
C/ es un espacio topologico bien denido por la topologa cociente con la
funcion suprayectiva denida de la siguiente forma; : C C/, con
(z) = z + .
Si R := n
1
w
1
+ n
2
w
2
: n
1
, n
2
[0, 1] es el paralelogramo fundamen-
tal, es claro que C/ = (R), y como este rectangulo es compacto y es
continua, entonces C/ es compacto.
Fig. 1.4: El toro complejo
Ademas es una funcion abierta. Si V C es abierto, queremos mostrar
que (V ) es abierto, es decir

V =
1
((V )) C es abierto. Veamos que
V =
1
((V ))
= w C; w + (V )
= w C; w + = v + para alg un v V
= w C; w v con v V
= w C; w v = u con u
=
_
u
(u + V ) C
Como V es abierto, cada u + V es abierto, por lo que

V es abierto.
Para ver que C/ es topologicamente equivalente a S
1
S
1
, vamos a
considerar la aplicacion f : C/ S
1
S
1
dada como
f(rw
1
+ sw
2
+ ) = (exp(2ir), exp(2is))
donde r, s R. Es claro que f no depende del representante. Y como
[ exp(2ir)[ = 1 = [ exp(2is)[, entonces f(rw
1
+sw
2
+) S
1
S
1
. Clara-
mente f es continua y abierta, por lo que, f es un homeomorsmo.
Para dar una estructura analtico compleja en C/, vamos a considerar
subconjuntos abiertos U C que cubran C y que no contengan puntos con-
gruentes modulo el subgrupo , como es una funcion abierta, entonces los
conjuntos W = (U) C/ son abiertos y cubren al toro C/. Mas a un
[
U
: U C W C/ es biyectiva pues por denicion de W es suprayec-
tiva, y es inyectiva por que W no contiene puntos congruentes modulo .
Ahora, como es continua y abierta la restriccion a U es un homeomors-
mo. Consideremos : W C/ U C la inversa de [
U
la estructura
analtica del toro esta dada por (W, ); W = (U), U como antes.
Si (W
) y (W
) son dos cartas coordenadas con W
,=
entonces
(W
(W
) esta dada como

sigue; si p
(W
) como
1
= [
U
y
= ([
U
)
1
, entonces
(
(p)) = (
(p)) = (
((p)) = (p).
De donde
(p) p y como es discreto
(p) p es constante
en cada componente conexa del abierto
(W
W) C, esto es,
(p) = p + constante
en cada componente conexa, por lo tanto
es holomorfa.
1.3. Aplicaciones Holomorfas
Denicion 4. Sea M una supercie de Riemann y (U
, z
) una cubierta
analtica correspondiente a la estructura analtica en M. Sea U M un
subconjunto abierto, diremos que una aplicacion f : U C es una funcion
holomorfa en U si para cada carta coordenada (U
, z
) con U U
,= la
funcion
h = f z
1
: z
(U U
) C
es una funcion holomorfa en el sentido usual.
Ademas la funcion holomorfa es independiente de la eleccion de la cu-
bierta analtica correspondiente a la estructura compleja. Denotaremos por
O
U
al conjunto de funciones holomorfas en U. Ahora, dado U M abierto
y conexo, como la suma y producto de funciones holomorfas en U es una
funcion holomorfa en U, entonces el conjunto de funciones holomorfas en U,
es un anillo bajo la suma y producto de funciones y contiene las funciones
constantes como un anillo isomorfo a C. Mas a un O
U
es una C-algebra.
En terminos de la estructura diferenciable asociada a la estructura ana-
ltica de M, una funcion diferenciable (funcion complejo-valuada de clase
C
) esta denida correspondientemente como una aplicacion f : U C

tal que en cada conjunto z
(U U
) ,= , f z
1
es de clase C
el anillo
de funciones diferenciables en U se denota por (
U
y el anillo de todas las
funciones complejo-valuadas continuas en U se denota por (
U
. Notemos que
estos anillos estan relacionados como sigue: C O
U
(
U
(
U
.
Denicion 5. Si M y N son dos supercies de Riemann, diremos que una
aplicacion continua f : M N es holomorfa, si para cada par de cartas
coordenadas z
1
: U
1
V
1
sobre M y z
2
: U
2
V
2
sobre N con f(U
1
) U
2
,
la funcion
z
2
f z
1
1
: V
1
V
2
es una funcion holomorfa en el sentido usual.
Diremos que una funci on f : M N es biolomorfa si es biyectiva,
holomorfa, y su inversa tambien es holomorfa. Se dice que dos supercies de
Riemann M y N son isomorfas si existe un biolomorsmo f : M N.
Una aplicacion holomorfa es necesariamente continua; es mas debe ser
una aplicacion diferenciable (mejor dicho C
) en terminos de la estructura
diferenciable en supercies. Una funcion holomorfa es un caso especial de
una aplicacion holomorfa de M a la supercie de Riemann C.
Las aplicaciones holomorfas pueden ser caracterizadas por sus efectos en
funciones holomorfas. Sea f : M M
cualquier aplicacion continua entre

Fig. 1.5: Aplicacion holomorfa
dos supercies de Riemann M y M
y sea U
cualquier suconjunto de
M
. La aplicacion f induce un homomorsmo de la siguiente manera:

f
: (
U
(
U
donde U = f
1
(U
) M por denicion f
(h
U
) = h
U
f en particular
f
(O
U
) (
U
es un subanillo bien denido.
Lema 1. Una aplicacion continua f : M M
entre dos supercies de

Riemann es una aplicaci on holomorfa si, y solo si, f
(O
U
) O
U
para cada
subconjunto abierto U
donde U = f
1
(U
)
Demostracion. Sean (U
, z
) y (U
, z
) vecindades coordenas de p y f(p)

respectivamente. Si f satisface las condiciones del lema en particular la fun-
cion holomorfa z
O
U
y se sigue que f
(z
) = z
f es holomorfa entonces
z
f z
1
es holomorfo, as f es una aplicacion holomorfa. Inversamente

si la aplicacion f es holomorfa y si h
es una aplicacion holomorfa en una

vecindad abierta U
de f(p) entonces
f
(h
) z
1
= h
f z
1
= (h
(z
)
1
) (z
f z
1
)
es una funcion holomorfa en una vecindad de z
(p), esta es la composicion

de las funciones holomorfas h
(z
)
1
y z
f z
1
y as f satisface las
condiciones del lema.
Denicion 6. Sea M una supercie de Riemann, y U un subconjunto
abierto de M. Una funcion meromorfa en U es una funcion holomorfa
f
: U
U, donde U
U y satisface las siguientes propiedades:

U U
consta solo de puntos aislados.

para cada p U U
se tiene que lm
xp
|f(x)| = .
Los puntos de U U
se denominan los polos de f. Denotaremos por /(U)

al conjunto de funciones meromorfas en U.
Ademas la suma de funciones meromorfas es una funcion meromorfa y el
producto de funciones meromorfas esta denido y es una funcion meromorfa,
entonces /(U) es un C-algebra.
Denicion 7. Sea f O
U
de un conjunto abierto U M, y considere un
punto p U, el orden de la funcion f en el punto p esta denido como el
orden de la funcion holomorfa f z
1
en el punto z
(p) C, para alguna

vecindad U
que contenga a p y este orden se denota

p
(f).
El orden de una funcion holomorfa de una variable compleja z en un
punto z = a es el orden del primer coeciente no cero en la expansion de
Taylor de la funcion en terminos de la variable (z a); ademas el orden
es independiente de la cubierta analtica correspondiente a la estructura
analtica de M,
p
(f) 0 en todo punto p U.
Lema 2 (Principio del M aximo). Si M es una supercie de Riemann y
f : M C es una funci on holomorfa no constante, entonces la funcion
modulo de f no alcanza su valor maximo.
Demostracion. Supongamos que existe un punto p
0
M tal que
R = |f(p
0
)| = sup|f(p)|; p M.
Entonces f(M) K := z C : |z| R, K es compacto y por el
teorema de la funcion abierta f(M) es un subconjunto abierto. As f(M)
esta contenido en el interior de K, lo cual contradice el hecho de que f(p
0
)
K.
Como consecuencia del principio del maximo tenemos:
Teorema 1. Si M y N son dos supercies de Riemann, M es compacta
y f : M N es una aplicacion holomorfa no constante, entonces N es
compacta y f es suprayectiva.
Demostracion. Como consecuencia del principio del maximo f(M) es un
abierto, y como M es compacto, f(M) es compacto y por ende cerrado.
Pero los unicos conjuntos cerrados y abiertos al mismo tiempo en un espacio
topologico conexo son el conjunto vaco y el total, entonces tenemos que
f(M) = N, donde f es suprayectiva y N compacto.
Corolario 1. Toda funcion holomorfa denida sobre una supercie de Rie-
mann compacta conexa M es constante, es decir O
M
= C.
2. GAVILLAS
2.1. Pregavillas y Gavillas
Denicion 8. Si X es un espacio topologico, una pregavilla (de grupos
abelianos, espacios vectoriales, anillos, etc.) sobre X es una pareja (F, r)
que consta de
a) Una familia F = F(U); U es abierto en X (de grupos abelianos, espa-
cios vectoriales, anillos, etc).
b) Una familia
r = r
U
V
: F(U) F(V ); U, V son abiertos de X, con V U
con las siguientes propiedades:
1 r
U
U
= 1
U
.
2 r
U
W
= r
V
W
r
U
V
si U, V, W son abiertos tales que W V U.
Se suele escribir F en vez de (F, r), los homomorsmos r
U
V
se llaman homo-
morsmos de restriccion.
Denicion 9. Si F y G son pregavillas sobre X, entonces un morsmo de
pregavillas
h : F G
es una coleccion de aplicaciones
h
U
: F(U) G(U); U es un abierto en X
tal que el siguiente diagrama conmuta:
F(U)
h
U
G(U)
r
U
V
r
U
V
F(V )
h
V
G(V )
2. Gavillas 17
si
V U X.
Denicion 10. Si F, G son pregavillas de grupos en X, diremos que F es
una subpregavilla de G, lo denotaremos F G, si:
Para cada abierto U X, F(U) G(U) es un subgrupo.
Si U V son abiertos, entonces el morsmo F(U) F(V ) es la
restriccion del morsmo G(U) G(V ).
Denicion 11. Si F, G son pregavillas y F es una subpregavilla de G, la
pregavilla cociente, que denotaremos G/F, esta dada por:
Para cada abierto U X, denimos (G/F)(U) := G(U)/F(U).
Si V U son abiertos, los morsmos G(U) G(V ) y F(U) F(V )
inducen, por paso al cociente, morsmos (G/F)(U) (G/F)(V ).
Notemos que si f : F G es un morsmo de pregavillas, entonces
1 ker f F es una subpregavilla.
2 Imf G es una subpregavilla.
3 Cokerf = G/Imf es una pregavilla cociente.
Ejemplo 4.
Si X es una supercie de Riemann y U X es abierto, denimos:
(
X
(U) = f : U C; f es continua
Si i : V U es la inclusion entre los abiertos de X, sea
r
U
V
= f i = f[
V
.
Claramente
1 r
U
U
(f) = 1
U
(f).
2 Si U, V, W son abiertos tales que W
i
2
V
i
1
U se tiene
r
V
W
r
U
V
= r
V
W
(f i
1
) = (f i
1
) i
2
= f(i
1
i
2
) = r
U
W
.
2. Gavillas 18
As podemos hablar de la pregavilla de funciones continuas denotada por
(
X
. De la misma forma se tienen las pregavillas; de funciones diferenciables
((
X
),de funciones holomorfas (O
X
) y la pregavilla de funciones holomorfas
que nunca se anulan (O
X
).
Ahora entonces consideremos las pregavillas (
X
, (
X
, O
X
, O
X
en X, y las
pregavillas constantes con valores en C y Z en X, que denotamos por C
X
y
Z
X
respectivamente.
Como toda funcion holomorfa nunca nula es, en particular, holomorfa
entonces O
O es una subpregavilla. Como toda funcion holomorfa es

diferenciable entonces O (
es una subpregavilla. Como toda funcion

diferenciable es continua entonces (
( es una subpregavilla. Y tenemos

la cadena de subpregavillas
O
O (
(.
Como las pregavillas constantes con coecientes en Z y C, pueden con-
siderarse como pregavillas de funciones constantes, y por tanto, holomorfas,
entonces
Z
X
C
X
O
X
.
Denicion 12. Una pregavilla F sobre un espacio topologico X es llamada
una gavilla si para cualquier conjunto abierto U X y cualquier familia de
subconjuntos abiertos U
i
U con i I tal que U =
iI
U
i
, se satisfacen
los siguientes axiomas:
1. Si s, t F(U) y r
U
U
i
(s) = r
U
U
i
(t) para toda i I, entonces s = t
2. Si s
i
F(U
i
) para i I y si para cada i, j I tales que U
i
U
j
,= se
tiene que
r
U
i
U
i
U
j
(s
i
) = r
U
j
U
i
U
j
(s
j
),
entonces existe s F(U) tal que r
U
U
i
(s) = s
i
para toda i.
Observaciones.
La seccion global s F(U), tal que r
U
U
i
(s) = s
i
para toda i, dada en el
axioma 2, como consecuencia del axioma 1 es unica.
Si =
iI
U
i
, como consecuencia de los axiomas de gavilla se tiene que
F() el grupo trivial consta de un elemento, ya que, si F() tiene elementos,
para cualesquier i, j todas las secciones s
i
F(U
i
) satisfacen
r
U
i
U
i
U
j
(s
i
) = r
U
j
U
i
U
j
(s
j
),
as existe s F() tal que r
U
i
(s) = s
i
, y este elemento es unico.
2. Gavillas 19
2.2. Ejemplos
Ejemplo 5.
Sean X y Y espacios topologicos y para U X abierto denimos:
(a) (
X,Y
(U) := f : U Y : f es continua. Y para U, V X
abiertos con V U, denimos:
(b) f (
X,Y
(U), r
U
V
(f) := f[
V
, la restriccion natural.
entonces F es una pregavilla de grupos.
Ejemplo 6.
Sea X un espacio topologico y sean K = R o K = C y (
X
= (
X,K
como el ejemplo de arriba. (
X
(U) es una gavilla de K-algebras bajo las
operaciones de suma y multiplicacion de funciones escalares.
Ejemplo 7.
Sean X un espacio topologico y G un grupo abeliano. Si e G es el
elemento neutro denimos:
(() = e
((U) = G
para cada abierto U X. Los morsmos resticcion son:
Si V ,= y V U
r
U
V
: G G
es la funcion identidad en G.
Si V = se tiene el homomorsmo cero
r
U
(g) = e.
Entonces ( es una pregavilla, pero no es gavilla si G contiene al menos dos
elementos distintos y X dos abiertos no vacos disjuntos. Pues veamos que
si U
1
, U
2
son dos abiertos no vacos disjuntos de X y U = U
1
U
2
,= . Sean
g
1
, g
2
elementos de G, entonces, como U
1
U
2
= , se tiene que g
i
[
U
1
U
2
= e.
Pero no existe g G tal que g[
U
1
= g
1
y g[
U
2
= g
2
porque r
U
i
U
= id
G
y
as g[
U
i
= g y si g = g[
U
i
= g
i
entonces g
1
= g
2
, y esto es una contradiccion.
Ejemplo 8. La gavilla de funciones localmente constantes.
2. Gavillas 20
Sean X un espacio topologico y G un grupo abeliano. Para cada abierto
U X denimos:
((U) := g : U G : g es localmente constante.
Si U ,= es abierto conexo, ((U) = G. Para V U sea
r
U
V
: ((U) ((V )
la restricicon usual r
U
V
(g) = g[
V
. Entonces ( es una gavilla, la gavilla de
funciones localmente constantes con valores en G y suele denotarse como la
gavilla G.
Ejemplo 9. La gavilla de funciones holomorfas.
Sea X una supercie de Riemann. Para cada abierto U X denimos:
O
X
(U) := f : U C : f es holomorfa.
Ademas con las operaciones de C, O
X
(U) es un anillo conmutativo con uno.
Si V U es al inclusion entre dos abiertos de X, consideremos
r
U
V
: O
X
(U) O
X
(V )
la restriccion de funciones. Entonces O
X
es una gavilla de anillos y se le
denomina la gavilla de funciones holomorfas.
Ejemplo 10.
Sea X una variedad diferenciable. Para cada abierto U X el conjunto
(
X
(U) := f : U C : f es diferenciable
es un anillo y tomando las aplicaciones restriccion como las funciones res-
triccion usual, tenemos que (
X
es una gavilla de anillos y es llamada la
gavilla de funciones diferenciables.
Ejemplo 11.
Sea X una supercie de Riemann. Para cada abierto U X, sea
/
X
(U) := f : U C : f es meromorfa.
Con las restricciones usuales /
X
es una gavilla de campos, y es llamada
la gavilla de funciones meromorfas.
Morsmos de gavillas son simplemente morsmos de las pregavillas.
Cuando una subpregavilla de una gavilla F es tambien una gavilla, entonces
la llamamos subgavilla de F.
2. Gavillas 21
Proposicion 1. Si f : T ( es un morsmo de gavillas, entonces la
pregavilla kerf T es una gavilla.
Demostracion. (i) Sean U X abierto U
una cubierta de U. Supon-

gamos que se tiene una seccion s (kerf)(U) tal que s[
U
= 0 para toda
U
.
Ahora, como el (kerf)(U) T(U), se tiene que s T(U) y como las
restricciones de kerf son las de T entonces s[
U
= 0 en T(U
) para toda
y por lo tanto s = 0 en T(U) ya que T es gavilla. Entonces s = 0 en
(kerf)(U) T(U).
(ii) Supongamos ahora que se tienen secciones s
(kerf)(U
) T(U
)
tales que s
[
UU
= s
[
UU
para todos los , .

Entonces, como las restricciones de kerf son las mismas que las de T(U)
tal que s[
U
= s
en T(U
) para toda .
Mostraremos que s (kerf)(U). Pues, como s T(U) entonces f(s)
((U) y f(s[
U
) = f(s
) = 0 ((U
) ya que s
(kerf)(U
).
Ahora, como el siguiente diagrama comuta
T(U)
f
((U)
r
V
U

V
U
T(U
)
f
((U
)
se tiene que f(s)[
U
= f(s[
U
) = 0 y como ( es gavilla se sigue que la seccion
f(s) = 0 en ((U), esto es, s (kerf)(U).
Denicion 13. Sea R una pregavilla de anillos conmutativos y M una
pregavilla de grupos abelianos, ambos sobre un espacio topologico X. Supon-
gamos que para cualquier conjunto abierto U X, M(U) tiene estructura
de un R(U)-modulo tal que si R(U) y f M(U), entonces
r
U
V
(f) =
U
V
()r
U
V
(f)
para V U donde r
U
V
es el homomorsmo M-restricci on y
U
V
es el homo-
morsmo R-restriccion. M es llamada una pregavilla de R-modulos. A un
mas, si M es una gavilla decimos que R es una gavilla de R-modulos.
Denicion 14. Una o-estructura, o
M
en una K-variedad M es una familia
de funciones continuas K-valuadas (Si K = R, las funciones diferencables de
variable real y funciones real analiticas. Si K = C, las funciones holomorfas)
denidas en los conjuntos abiertos de M tal que
2. Gavillas 22
a) Para cada p M, existe una vecindad abierta U de p y un homeomor-
smo h : U U
, donde U
es abierto en K
n
, tal que para cualquier
abierto V U
f : V K o
M
si y solo si f h
1
o(h(V )).
b) Si f : U K, donde U =
i
U
i
y U
i
es abierto en M, entonces f o
M
si y solo si f[
U
i
o
M
para cada i.
Denicion 15. a) Un o-morsmo F : (M, o
M
) (N, o
N
) es una apli-
cacion continua, F : M N, tal que
f o
N
implica que f F o
M
.
b) Un o-isomorsmo es una o aplicacion F : (M, o
M
) (N, o
N
) tal que
F : M N es un homeomorsmo, y
F
1
: (M, o
M
) (N, o
N
)
es un o-morsmo.
Denicion 16. Una aplicacion continua : E X de un espacio Haus-
dor, E, sobre otro, X, es llamado un K-haz vectorial de rango r si se
satisfacen las siguientes condiciones:
a) E
p
:=
1
(p), para p X, es un espacio K-vectorial de dimension r (E
p
es llamado la bra sobre p).
b) Para cada p X hay una vecindad U de p y un homeomorsmo
h :
1
(U) U K
r
tal que h(E
p
) p K
r
, y h
p
, lo denimos por la composicion
h
p
: E
p
h
p K
r

K
r
(donde es la proyeccion) es un isomorsmo de espacio K-vectorial
el par (U, h) es llamadada la trivializacion local.
Denicion 17. Un K-haz vectorial de rango r , : E X, es llamado un
o-haz si E y X son o- variedades , es un o-morsmo, y las trivializaciones
locales son o-isomorfas.
2. Gavillas 23
Ejemplo 12.
Sea E X un S-haz vectorial. Denimos una pregavilla S(E)(= S
X
(E))
que consta de los conjuntos S(E)(U) = S(U, E), para U un abierto de X,
junto con las restricciones naturales. S(E) es, en efecto, una subgavilla de
(
X,E
y es llamada gavilla de S-secciones del haz vectorial E. Como caso
especial, tenemos las gavillas de formas diferenciables
X
en una variedad
diferenciable, o la gavilla de formas diferenciables del tipo (p, q),
p,q
X
, en
un variedad compleja X. Estas gavillas son ejemplos de
X
-modulos, y mas
general S(E) es una gavilla de S
X
-modulos para un S-haz que va de E a
X, : E X.
Denicion 18. Sea X una variedad compleja. Entonces una gavilla de
modulos sobre la gavilla estructural O
X
de X es llamada una gavilla analtica.
Denicion 19. Sea R una gavilla de anillos conmutativos sobre un espacio
topologico X.
a) Denimos R
p
, para p 0 por la pregavilla
U R
p
(U) := R(U) ... R(U)
con p terminos. R
p
, por denicion es una gavilla de R-modulos y es
llamada la suma directa de R.
b) Si M es una gavilla de R-modulos tal que M

= R
p
para alg un p 0,
entonces M es llamada una gavilla de modulos libre.
c) Si M es una gavilla de R-modulos tal que cada x X tiene una vecin-
dad U con M[
U
libre, entonces M es llamada gavilla de R-modulos
localmente libre.
Teorema 2. Sea X = (X, S) una S-variedad conexa. Entonces hay una
correspondencia uno a uno entre S-haces sobre X y gavillas localmente libres
de S-modulos sobre X.
Demostracion. Daremos la correspondencia siguiente; a un haz vectorial E
le asociamos S(E) la gavilla de S-secciones del haz vectorial E dada en el
ejemplo 1.
Por ser E X un S-haz tenemos la trivializacion libre de S-modulos
local. Por esta trivializacion tenemos que para alguna vecindad del punto
p X, E [
U
= U K
r
donde r denota el rango del haz vectorial E. Entonces
2. Gavillas 24
S(E) [
U
= S(U K
r
). Ahora, de la denicion de seccion, tenemos que
f S(U K
r
)(V ) donde V es un abierto en U si, y solo si, f(x) = (x, g(x))
donde g : V K
r
es una S-aplicacion, ademas g = (g
1
, g
2
, ..., g
r
), g
j

S(V ), y la correspondencia de arriba esta dada por;
f g = (g
1
, g
2
, ..., g
r
) S
U
(V ) S
U
(V ) ... S
U
(V )
entonces
S(E)[
U

= S(U K
r
)

= S
U
(V ) S
U
(V ) ... S
U
(V ).
As S(E) es una gavilla de S-modulos localmente libre. Ahora consideremos
L una gavilla localmente libre de S-modulos sobre X. Podemos encontrar
una cubierta U
de X tal que
g
: L
U
S
r
para alg un r > 0 y ademas r no depende de . Denimos
g
: S
r
[
UU
S
r
[
UU
donde g
= g
g
1
. Como g
es un morsmo de gavillas, cuando act ua en

el conjunto abierto U
, determina una aplicacion invertible de fuciones

vector-valuadas (g
)
UU
, que escribimos como:

g
: S(U
)
r
S(U
)
r
el cual corresponde a una matriz no singular rr de funciones en S(U
),
es decir; g
: U
GL(r, k) y as determina funciones de transicion

para un haz vectorial E, y se satisfacen las condiciones de compatibilidad
g
= g
. As un haz vectorial E se dene de la siguiente manera;
E =
_
U
K
r
donde la union es disjunta. Y tenemos la identicacion
(x, ) = (x, g
(x))
si x U
,= .
2. Gavillas 25
2.3. La Gavilla Asociada a una Pregavilla
Denicion 20. Un espacio etale sobre un espacio topol ogico X es un
espacio topologico Y junto con una aplicacion suprayectiva y continua
: Y X
tal que es un homeomorsmo local.
Una seccion de un espacio etale

Y X sobre un conjunto abierto
U X es una aplicaci on continua f : U Y tal que f = 1
U
. El
conjunto de secciones sobre U es denotado por (U, Y ).
De la denicion anterior se tiene que las secciones de un espacio etale
forman una subgavilla de (
X,Y
Ademas a cada pregavilla F sobre X se
le puede asociar un espacio etale

F cuya gavilla de secciones es isomorfa al
original F, esto es,

F tiene la misma informacion que F. La gavilla construida
de esta forma se denomina la gavilla asociada (en forma canonica) a la
pegavilla F. Esta construccion es util para la siguiente consideracion.
Sea F una pregavilla (de grupos abelianos) en un espacio topologico X.
Sea x X un punto, y consideremos la familia
|(x) = U X; U es abierto con x U
de vecindades abiertas de x en X. Dados U
, U
|(x) la interseccion
U
= U
|(x) es tal que U
, por lo cual, |(x) es un

conjunto dirigido con el orden parcial: U V si y solo si U V .
Aplicando F a la familia |(x) y a las inclusiones i
: U
, se tienen
los morsmos
r
U
U
(= F(i
)) : F(U
) F(U
),
que forman una familia dirigida (en la categora de grupos abelianos) que
denotaremos (F(|(x)), ).
Denicion 21. Al lmite directo de la familia (F(|(x)), ) (en la categora
de grupos abelianos) se le llama la bra de la pregavilla F en el punto x X.
Si existe se denotara
F
x
= lm
Ux
F(U
).
2. Gavillas 26
Sea F una gavilla sobre X, y
F
x
= lm
Ux
F(U
).
el lmite directo de los conjuntos F(U) con respecto a las aplicaciones restric-
cion r
U
V
de F. Si F tiene una estructura algebraica que es preservada bajo
el lmite directo, entonces F
x
es llamado la bra de F en x, por ejemplo;
si F es una pregavilla de grupos abelianos o anillos conmutativos. Hay una
aplicacion natural
r
U
x
: F(U) F
x
,
x U dado por tomar un elemento en F(U) en esta clase de equivalencia
del lmite directo.
Denicion 22. Si s F(U), entonces s
x
= r
U
x
(s) es llamado el germen de
s en x, y s es el representante del germen s
x
.
Ejemplo 13.
Si X es una supercie de Riemann con U
|(x) descritos como arriba

y O es la gavilla de funciones holomorfas en X, sea x X un punto y
consideremos la bra
O
x
= lm
Ux
O(U
).
Un germen [s] =< (U
, s) > O
x
esta representado por una seccion s
O(U
), es decir, por una funcion s : U
C. Eligiendo cartas coordenadas

(V, z) alrededor de x U
y s(x) C, la funcion s tiene una expansion en

serie de Taylor
s(z) =
n=0
c
n
(z z(x))
n
con radio de convergencia positivo. Si [s] =< (U
, s) >=< (U
, s
) >, existe
U
tal que s[
U
= s
[
U
y consecuentemente las series de Taylor
de s y s
son iguales, as podemos denir la funcion

: O
x
Cz z(x)
donde el contradominio es el anillo de series de Taylor convergentes alrededor
de z(x) C, la cual es un isomorsmo de anillos.
Ahora si F es una pregavilla en un espacio topologico X, a esta pregavilla
le asociamos un espacio topologico F y una funcion continua suprayectiva
como sigue: sea
F =
_
xX
F
x
2. Gavillas 27
y : F X la proyeccion natural que manda la bra F
x
en el punto x X.
Queremos hacer de

F un espacio etale y las restricciones le daran una
topologa.
Para cada s F(U) denimos la funcion
s : U F
como
s(x) = s
x
para cada x U.
Note que s = 1
U
. El conjunto s(U); U X abierto , s F(U) es
una base para la topologa de F. Todas las funciones s son continuas , mas
a un es continuo y un homeomorsmo local ( s provee una inversa local a
en s
x
para un representante s de s
x
F).
As a cada pregavilla F de X tenemos asociado un espacio etale F. Si la
pregavilla tiene propiedades algebraicas preservadas por lmites directos, el
espacio etale asociado hereda estas propiedades. Por ejemplo, supongamos
que F es una pregavilla de grupos abelianos, entonces

F tiene las siguientes
propiedades:
a) Cada tallo es un grupo abeliano.
b) Si

F

F := (s, t)

F

F : (s) = (t), se tiene que la aplicacion
: F F F dado por (s
x
, t
x
) s
x
t
x
es continua.
c) Para U abierto en X, el conjunto de secciones de

F sobre U, (U,

F) es
un grupo abeliano bajo adicion, esto es, para s, t (U,

F) se tiene
que
(s t)(x) = s(x) t(x)
para toda x U. Veamos que (st) son continuas si se da la siguiente
composicion de aplicaciones continuas:
U U U

F

F

F.
Denicion 23. Sea F una pregavilla sobre un espacio topol ogico X y sea

F
una gavilla de secciones de un espacio etale

F asociado a F. Entonces

F es
la gavilla generada por F.
Ahora veremos la relaci on entre la pregavilla F y la gavilla de secciones
F. Usando que hay un morsmo de pregavillas, denotaremos a este como

sigue:
: F

F
2. Gavillas 28
esto es,
U
: F(U)

F(U)[:= (U,

F)]
dado por
U
(s) = s, donde s(x) = r
U
x
(s) para toda x U.
En el caso que F sea una gavilla se tiene el siguiente resultado.
Teorema 3. Si F es una gavilla, entonces
: F

F
es un isomorsmo de gavillas.
Demostracion. Es suciente mostrar que cada
U
es biyectiva para cada U.
(a) (U) es inyectiva: Supongamos que s
, s
F(U) y
U
(s
) =
U
(s
),
entonces
[
U
(s
)](x) = [
U
(s
)](x)
para toda x U; esto es, r
U
x
(s
) = r
U
x
(s
) para toda x U. Pero cuando

r
U
x
(s
) = r
U
x
(s
) para alguna x U, la denicion de lmite directo implica

que hay una vecindad V de x tal que r
U
V
(s
) = r
U
V
(s
). Esto es valido para

cada x U, ademas podemos cubrir U con conjuntos abiertos U
i
tales que
r
U
U
i
(s
) = r
U
U
i
(s
)
parar toda i. Por el primer axioma de la denicion de gavilla tenemos que
s
= s
.
(b)
U
es suprayectiva: Supongamos que (U,

F) , entonces para
cada x U hay una vecindad V de x y s F(V ) tal que
(x) = s
x
= [
V
(s)](x).
Las secciones de un espacio etale son funciones inversas locales para , cua-
lesquiera dos secciones que coinciden en un punto tambien lo hacen en una
vecindad del punto. As, tenemos para alguna vecindad V de x que:
[
V
=
V
(s) [
V
=
V
(r
V
V
(s))
Esto se cumple para cualquier x U, podemos cubrir U con vecindades U
i
tales que existe s
i
F(U
i
) y
U
i
(s
i
) = [
U
i
.
Mas a un
U
i
(s
i
) =
U
j
(s
j
)
2. Gavillas 29
en U
i
U
j
por la parte (a)
r
U
i
U
i
U
j
(s
i
) = r
U
j
U
i
U
j
(s
j
)
Como F es una gavilla y U =
U
i
, existe s F(U) tal que
r
U
U
i
(s) = s
i
Entonces
U
(s) [
U
i
=
U
i
(r
U
U
i
(s)) =
U
i
(s
i
) = [
U
i
y nalmente
U
(s) =
El contenido de este teorema es que a cada gavilla F se le puede asociar
un espacio etale

F cuya gavilla de secciones es isomorfo al original F. De
hecho un espacio etale es util para pasar de una pregavilla a una gavilla.
Denicion 24. Si S es una gavilla de grupos abelianos sobre un espacio
topologico M, y R S un subconjunto de S. Entonces R es llamada una
subgavilla de S si:
1. R es un subconjunto abierto de S
2. Para cada punto p M, R
p
= R S
p
es un subgrupo de S.
R es en s una gavilla de grupos abelianos sobre M.
Deniremos la gavilla cociente J = S/R como sigue. Para un punto
p M sea J
p
= S
p
/R
p
el grupo cociente natural; y sea J =
pM
J
p
con la
funcion proyeccion : J M dado por (J
p
) = p. La aplicacion : S J
que asocia a cualquier elemento de S
p
su cociente en J
p
= S
p
/R
p
.
A J le asociamos la topologa cociente, esto es, un conjunto U J es
abierto si, y solo si,
1
(U) es abierto en S. Ademas se cumple que:
Podemos dar la siguiente asignacion: U S(U)/R(U)
Si V U, r
U
V
: S(U)/R(U) S(V )/R(V ), se cumple:
a) r
U
U
= id en U.
b) Si W U V tenemos que;
r
U
W
: S(U)/R(U) S(W)/R(W)
r
V
W
: S(V )/R(V ) S(W)/R(W)
r
U
V
: S(U)/R(U) S(V )/R(V )
as,
r
U
W
= r
V
W
r
U
V
2. Gavillas 30
Entonces J es una pregavilla, y consideramos la gavilla asociada a esta pre-
gavilla (la construimos como antes), y la llamamos J.
Veremos un ejemplo. Sea M una supercie de Riemman, y O la gavilla de
germenes de funciones holomorfas en M. Sea P = p
1
, p
2
, ..., p
n
un n umero
nito de puntos distintos en M y para cada subconjunto abierto U M
consideremos el conjunto,
R
U
= f O
U
[f(p
i
) = 0 cuando p
i
U, i = 1, ..., n
Notemos que cada subconjunto R
U
es un subgrupo de O
U
; y que los
grupos R
U
para todos los subconjuntos abiertos de M, con la aplicacion
restriccion, forman una pregavilla sobre M.
La gavilla asociada es entonces una subgavilla R O y eso induce a
una gavilla cociente, notemos que para un punto p que no pertenezca a P,
necesariamente R
p
= O
p
y as J
p
= 0.
Como para un punto p
i
P, R
p
i
O
p
i
es el subgrupo que consiste de
los germenes de funciones holomorfas que se anulan en p
i
. As que
J
p
i
= O
p
i
/R
p
i
= C
es el isomosmo que asocia a cualquier serie de potencias en O
p
i
su termino
constante. Es decir, la gavilla J tiene tallo trivial en todos los puntos que no
esten en P, y los puntos p P tienen tallo J
p

= C. Una gavilla de este tipo
es llamada gavilla rascacielos.
Posteriormente, esta gavilla sera muy util as que daremos su denicion
ahora.
Denicion 25. Si X es una supercie de Riemann, y x
0
X es un punto,
la gavilla rascacielos en X, denotada por C
x
0
, se dene como sigue:
1 Si U X es un abierto, entonces
C
x
0
(U) =
_
C si x
0
U
0 si x
0
/ U
2 Si V U son abiertos, el morsmo C
x
0
(U) C
x
0
(V ) es el morsmo
identidad si x
0
V , y el morsmo cero en otro caso.
Recordemos que, para un homomorsmo : S J sobre un espacio
M, el n ucleo de es el subconjunto de S que contiene elementos que bajo
dan el elemento cero del grupo J
p
; esto es, el n ucleo es el subconjunto
1
(0) S donde 0 (M, J) es la seccion cero de J. Si la seccion cero es
un subconjunto abierto de J, el n ucleo es subgavilla de S. La imagen de
es una subgavilla de J y ademas imagen()

= S/kernel().
2. Gavillas 31
Denicion 26. Dado un homomorsmo de gavillas : R S y : S J,
la sucesi on
R S J
es llamada una sucesion exacta de gavillas si Im = ker .
Una sucesi on de gavillas y morsmos
...

i1
F
i1

i
F
i

i+1
F
i+1

i+2
...
es exacta en el nivel i, si ker
i
= Im
i1
.
En particular si 0 es la gavilla trivial con tallo el grupo cero en cada
punto de M, una sucesion
0 R

S

J 0
es exacta si, y solo si, es inyectiva , es suprayectiva y el n ucleo de es
la imagen de , as J

= S/(R). Inversamente si R es una subgavilla de
S la aplicacion inclusion i : R S es un homomorfsimo de gavillas y la
aplicacion natural : S S/R es un homeomorsmo de gavillas tal que
0 R S S/R 0
es una sucesion exacta de gavillas.
Por ejemplo, en una supercie de Riemann M el subconjunto de germenes
de funciones holomorfas que toma solo valores enteros es una subgavilla de O
isomorfo a la gavilla constante; esto es el n ucleo del siguiente homomorsmo
de gavillas:
e : O O
.
Por ejemplo, sea X una variedad conexa compleja. Sea O la gavilla de
funciones holomorfas en X y O
la gavilla de funciones holomorfas distintas

de cero en X, la cual es una gavilla de grupos abelianos bajo la multipli-
cacion
1
. Entonces tenemos la siguiente sucesion:
0 Z

O
e
O
0
donde Z es la gavilla constante de enteros, es la aplicacion inclusion y
e : O O
esta denido por

e(f)(z) = exp(2if(z))
1
Esto es, si U X es abierto, entonces O
ser a el grupo multiplicativo de todas las

funciones holomorfas f : U C
, con las aplicaciones restricci on usuales.

2. Gavillas 32
Veamos que e es un homomorsmo de grupos;
e(f + f
) = exp(2i(f + f
))
= exp(2if + 2if
)
= exp(2if) exp(2if
)
= e(f) e(f
).
Ademas el n ucleo del homomorsmo exponencial esta dado como;
ker(e)(U) = f O(U); exp(2if) = 1
y como exp(2if) = 1 si y solo si f Z, entonces
ker(e) = Z
X
O
X
.
Mas a un, para alguna vecindad simplemente conexa U de x X y
para alg un representante g O
(U) de un germen g
x
en x escogemos
f
x
= (1/2i log g)
x
para alguna rama de la funcion logaritmo y tenemos
que exp
x
(f
x
) = g
x
. Tambien exp
x
(f
x
) = 1, entonces exp2if(z) = 1, z U,
para alg un f O(U) que es un representante del germen f
x
en una vecindad
conexa U de x. As ker(exp
x
) = Z, y la sucesion es exacta.
3. COHOMOLOG
IA
3.1. Cohomologa de

Cech
Denicion 27. Sea M un espacio topologico y U = U
una cubierta
abierta de M. A esta cubierta M le asociamos un complejo simplicial; lla-
mado nervio de la cubierta U y se dene de la siguiente forma:
1 Los vertices de N(U) son los abiertos U
U de la cubierta.
2 Los q-simplejos de N(U) son las (q + 1)-adas de abiertos denotada por
= (U
0
, ..., U
q
) si y solo si U
0
U
1
... U
q
,= 0.
El conjunto U
0
U
1
... U
q
= [[ es llamado el soporte del simplejo .
El conjunto de q-simplejos de N(U) lo denotamos por N
q
(U)
Sea S una gavilla de grupos abelianos sobre M.
Denicion 28. Una q-cocadena de U con coecientes en la gavilla S, es
una funci on f que asocia a cada q-simplejo, = (U
0
, ..., U
q
) N(U) una
seccion f() ([[, S).
El conjunto de q-cocadenas lo denotaremos por;
C
q
(U, S) = f : N(U)
_
N(U)
S() : f() S()
Cuando f, g C
q
(U, S) su suma esta denida en C
q
(U, S)ya que denimos
la suma como;
(f + g)() = f() + g(),
as C
q
(U, S) es un grupo abeliano.
Tenemos tambien un operador : C
q
(U, S) C
q+1
(U, S) llamado el
operador cofrontera denido de la siguiente manera: Si f C
q
(U, S) y
= (U
0
, ..., U
q+1
) N(U) es cualquier (q + 1)-simplejo, entonces;
(f)() = (f)(U
0
, ..., U
q+1
) =
(1)
i
||
f(U
0
, ..., U
i1
, U
i+1
, ..., U
q+1
)
3. Cohomologa 34
donde
||
denota la restriccion de la seccion
f(U
0
, ..., U
i1
, U
i+1
, ..., U
q+1
)
(U
0
... U
i1
U
i+1
... U
q+1
)
a [[ = U
0
... U
q+1
.
El morsmo es un homomorsmo de grupos, pues (f +g) = (f)+(g)
y tambien = 0.
El subconjunto Z
q
(U, S) = f C
q
(U, S) : f = 0 es un subconjunto
de C
q
(U, S) llamado el grupo de q-cociclos, esto es;
Z
q
(U, S) := ker(C
q
(U, S) C
q+1
(U, S)).
La imagen C
q1
(U, S) C
q
(U, S) es llamado el grupo de q-cofronteras
y como = 0, se tiene que C
q1
(U, S) es subgrupo del grupo de cociclos.
El grupo cociente
H
q
(U, S) =
_
Z
q
(U, S)/C
q1
(U, S) si q > 0
Z
0
(U, S) si q = 0 / U
es llamado el q-esimo grupo de cohomologa de U con coecientes en la
gavilla S.
Lema 3. H
0
(U, S)

= (M, S)
Demostracion. De la denicion anterior tenemos que, H
0
(U, S) = Z
0
(U, S).
Una cero-cocadena f C
0
(U, S) es una funcion que asigna a cada con-
junto U
U una seccion f(U
) (M, S) y su cofrontera f C
1
(U, S) es
una funcion que asigna a cada par de conjuntos intersectados U
0
, U
1
U
una seccion
(f)(U
0
, U
1
) = (
U
0
U
1
f(U
0
)
U
0
U
1
f(U
1
)) (U
0
U
1
, S)
Si f = 0, las secciones f(U
) coinciden en cada interseccion no vaca

U
0
U
1
. As por ser S gavilla se puede dar una seccion unica de S denida
sobre el espacio total M; esto es existe g (M, S) tal que, g[
U
i
= f(U
i
),
e inversamente la cero-cocadena dene por restricciones en cada subconjunto
U
, una seccion global de S sobre M; y as f es un cero-cociclo, esto es;

f(U
0
)[
U
0
U
1
= f(U
1
)[
U
0
U
1
para todo U
0
, U
1
U, entonces f(U
0
, U
1
) = 0 y as
f Z
0
(U, S) = H
0
(U, S).
3. Cohomologa 35
Denicion 29. Una cubierta V = V
es llamada un renamiento de la
cubierta U = U
si hay una aplicacion : V U tal que V
para
cada V
V ; la aplicacion es llamada una aplicacion renada.

La cubierta V pude ser considerada un renamiento de U con diferen-
tes aplicaciones renadas. Ademas la aplicacion renada induce la siguiente
aplicacion:
: C
q
(U, S) C
q
(V, S),
Si f C
q
(U, S) y = (V
0
, ..., V
q
) N(V ), entonces
(f)(V
0
, ..., V
q
) =
||
f(V
0
, ..., V
q
)
y como , = V
0
... V
q
V
0
... V
q
, entonces (V
0
, ..., V
q
) es un
q-simplejo de N(U), y la aplicacion anterior esta bien denida. Ademas
tenemos que;
(f + g) = (f) + (g)
y es un homomorsmo de grupos. Si f C
q
(U, S) y para todo (V
0
, ..., V
q+1
)
N
q+1
(V ) se cumple;
()(f)(V
0
, ..., V
q+1
) = f(V
0
, ..., V
q+1
)
=
q+1
j=0
(1)
j
||
f(V
0
, ..., V
q+1
)
=
q+1
j=0
(1)
j
||
f(V
0
, ..., V
q+1
)
= ()(f)(V
0
, ..., V
q+1
)
Por lo tanto = . Tambien determina el homorsmo cociente
: H
q
(U, S) H
q
(V, S).
Lema 4. Si V es un renamiento de U y : V U, : V U son dos
aplicaciones renadas, entonces =
Demostracion. Cuando q = 0 las aplicaciones
: H
0
(U, S) H
0
(V, S)
y
: H
0
(U, S) H
0
(V, S)
son ambos la aplicacion identidad por el lema anterior. As solo considera-
remos el caso donde q > 0.
3. Cohomologa 36
En este caso construiremos la siguiente asociacion .
: C
q
(U, S) C
q1
(V, S)
donde, si f C
q
(U, S) y = (V
0
, ..., V
q1
) N(V ), denimos
(f)(V
0
, ..., V
q1
) =
q1
j=0
(1)
j
||
f(V
0
, ..., V
j
, V
j
, ..., V
q1
)
.
Ahora, cuando = (V
0
, ..., V
q
) N(V ) se tiene;
(f)(V
0
, ..., V
q
) =
j1
j=0
(1)
j
f(V
0
, ..., V
i1
, V
i+1
, ..., V
j
, V
j
, ..., V
q
)+
+
q
i=j+1
(1)
i+1
f(V
0
, ..., V
j
, V
j
, ..., V
i1
, V
i+1
, ..., V
q
)
+
q
j=0
(j + 1)
j
f(V
0
, ..., V
j
, V
j
, ..., V
q
) + f() f().
Por lo tanto, si f Z
q
(U, S) esto es,f = 0 se sigue que; f f = f,
esto es; f y f determinan la misma clase de cohomologca en H
q
(V, S),
pues los cociclos f y f dieren por una co-frontera (f). Por lo tanto
=
Ahora, para cualesquiera dos cubiertas , de M, escribimos < si
es renamiento de , el conjunto de las cubiertas esta parcialmente orde-
nado bajo esta relacion y por el lema anterior hay un unico homomorsmo
H
q
(U, S) H
q
(V, S), cuando < . Ademas estos homomorsmos son
transitivos, as que es posible introducir el grupo lmite directo.
Denicion 30. H
q
(M, S) = lm
U
H
q
(U, S) que es llamado el q-esimo grupo
de cohomologa del espacio M con coecientes en la gavilla S, o tambien
llamado grupo de cohomologa de

Cech.
Para cada cubierta U hay un morsmo natural,
H
q
(U, S) H
q
(U, S)
se sigue de los lemas anteriores.
H
0
(M, S)

= (M, S).
3. Cohomologa 37
Consideremos una sucesion exacta de gavillas de la siguiente forma, sobre
el espacio M;
0 R

S

J 0
Para cualquier subconjunto U M el homomorsmo de gavillas ,
induce homomorsmos
entre los grupos de secciones correspondientes

y hay una sucesion exacta de grupos y homomorsmos de la forma;
0 (U, R)

(U, S)

(U, J) 0.
Recordemos que una cubierta abierta | = U
de un espacio topologico
M es llamada localmente nita si para cada punto p M hay una vecindad v
que intersecta a lo mas un n umero nito de subconjuntos de U
. Un espacio
Hausdor M es llamado paracompacto si toda cubierta abierta | = U
de X tiene un renamiento localmente nito; esto es, existe un renamiento

1 = V
de | = U
tal que cada punto x X tiene una vecindad abierta

w que intersecta a lo mas un n umero nito de V
.
3.2. Sucesiones exactas de grupos de cohomologa
Teorema 4. Si M es un espacio Hausdor paracompacto y
0 R

S

J 0
es una sucesion exacta de gavillas de grupos abelianos sobre M, entonces
hay una sucesion exacta de grupos de cohomologa de la forma:
0 H
0
(M, R)

H
0
(M, S)

H
0
(M, J)

H
1
(M, R)
0 H
0
(M, R)

H
0
(M, S)

H
0
(M, J)

H
1
(M, R)
H
1
(M, S)

H
1
(M, J)

H
2
(M, R) ...
Demostracion. Sea U = U
una cubierta abierta localmente nita de

M. Para cada simplejo N(U) hay una sucesion exacta inducida de la
siguiente manera
0 ([[, R)

([[, S)

([[, J);
3. Cohomologa 38
y como los grupos de cocadenas son sumas directas de los grupos ([[, ),
entonces tenemos ahora una sucesion exacta de grupos de cocadenas
0 C
q
(U, R)

C
q
(U, S)

C
q
(U, J).
Denimos

C
q
(U, J) := (C
q
(U, S)) C
q
(U, J), y las sucesiones pueden
ser extendidas a sucesiones exactas completas de la forma:
0 C
q
(U, R)

C
q
(U, S)

C
q
(U, J) 0.
Los homomorsmos , conmutan con las aplicaciones cofrontera, esto es;
= y = ,
por tanto resulta un diagrama conmutativo del siguiente tipo, donde las las
son sucesiones exactas de grupos
.
.
.
.
.
.
.
.
.

0 C
q1
(U, R)

C
q1
(U, S)

C
(q1)
(U, J) 0

0 C
q
(U, R)

C
q
(U, S)

C
q
(U, J) 0

0 C
q+1
(U, R)

C
q+1
(U, S)

C
(q+1)
(U, J) 0

.
.
.
.
.
.
.
.
.
Ahora del diagrama tenemos que para cada ndice q hay una sucesion exacta
de grupos de cohomologa
H
q
(U, R)

H
q
(U, S)

H
q
(U, J),
donde por denicion
H
q
(U, J) =

Z
q
(U, J)/

C
(q1)
(U, J)
y

Z
q
(U, J) = f

C
q
(U, J) : f = 0.
Ademas las aplicaciones
:

H
q
(U, J) H
q+1
(U, R)
3. Cohomologa 39
son construidas de la siguiente manera:
Si f

C
q
(U, J) es un elemento para el cual f = 0, seleccionamos un
elemento g C
q
(U, S) tal que g = f; entonces g = g = f = 0, y
por exactitud debe existir un elemento h C
q+1
(U, R) tal que h = g.
Sea f

C
q
(U, J) tal que f = 0 y podemos seleccionar g C
q
(U, S) tal
que g = f, entonces g = g = f = 0, as que, por exactitud de la
sucesion existe h C
q
(U, S) tal que h = g.
Denimos [f] = [h], donde [f]

H
q
(U, J) es la clase de cohomologa de
f y [h] H
q+1
(U, R) es la clase de cohomologa de h. esta bien denida,
pues si tomamos f
1
+

C
q
[f] y f
2
+

C
q
[f] tenemos que [f
1
] = [h
1
]
y [f
2
] = [h
2
]. Ademas como
(h
1
) = g
1
= (m
1
) = (m
1
)
y es inyectiva tenemos que m
1
= h
1
. Entonces
h
1
h
2
= m
1
m
2
= (m
1
m
2
),
as h
1
, h
2
dieren por una cofronera entonces ambas representan la misma
clase de cohomologa en H
q+1
(M, R). Ademas si h C
q+1
(M, R) tenemos
que
(h) = g = (h) = ((h)) =
2
g = 0
y como es inyectiva, h = 0.
Ahora, la sucesion de grupos de cohomologa resultante es una sucesion
exacta
... H
q
(U, R)

H
q
(U, S)

H
q
(U, J)

H
q+1
(U, R)

H
q+1
(U, S) ...
Consideremos un renamiento : V U de la cubierta U. Hay una
sucesion de cohomologa exacta similar de la cubierta V y el homomorsmo
inducido conmuta con los homomorsmos , , de cada sucesion de
cohomologa. Si pasamos al lmite directo, se sigue una sucesion exacta de
grupos de cohomologa para el espacio M.
... H
q
(M, R)

H
q
(M, S)

H
q
(M, J)

H
q+1
(M, R)
Lo siguiente es demostrar que para un espacio Hausdor paracompacto
M,

H
q
(M, J) = H
q
(M, J), esto es; dada una cocadena f C
q
(U, J) existe
un renamiento : V U y una cocadena g C
q
(V, S) tal que f = g.
3. Cohomologa 40
Sea M un espacio Hausdor paracompacto, y de esta manera normal,
entonces hay conjuntos abiertos W
que cubren a M; y la cubierta U puede

asumirse localmente nita. Para cada punto p M seleccionamos una vecin-
dad abierta V
p
de p sucientemente peque na tal que:
(a) V
p
W
para al menos un conjunto W
.
(b) Si V
p
W
,= entonces V
p
U
.
(c) Si = (U
0
, U
1
, ..., U
q
) N(U) y p [[, entonces
Vp
f() es la imagen
de una seccion de S sobre V
p
bajo .
Para cada conjunto V
p
seleccionamos un conjunto (V
p
) = U
p
U tal que
V
p
W
p
U
p
; esto es posible por (a) y entonces exhibimos V = V
p
como
un renamiento de U. Para cualquier q-simplejo = (V
p
0
, ..., V
pq
) N(V ),se
tiene
, = [[ = V
p
0
... V
pq
W
p
0
... W
pq
as V
p
0
W
p
i
,= y se sigue de (b) que V
p
0
U
p
i
, para cada i, as que
[[ V
p
0
U
p
0
... U
pq
= [[. Ademas
f() =
||
f(V
p
0
, ..., V
pq
) =
||
Vp
0
f(U
p
0
, ..., U
pq
).
Tambien de (c) se sigue que la restriccion a V
p
0
de la seccion f() ya se
posiciona en la imagen de .
3.3. Resoluciones nas y cubiertas de Leray
Denicion 31. Sea S una gavilla de grupos abelianos sobre un espacio
topologico M, y sea U = U
una cubierta abierta localmente nita de M.

Una particion de la unidad para la gavilla S, subordinada a la cubierta U
es una familia de homomorsmos de gavillas
: S S tales que:
(a)
(S
p
) = 0 para toda p M U
.
(b)
(s) = s para cada s S.

Si U es localmente nita, se sigue de (a) que la suma en (b) es nita,
as esta bien denida.
Denicion 32. Una gavilla S es llamada na si tiene una particion de la
unidad subordinada a cualquier cubierta localmente nita de M.
3. Cohomologa 41
Teorema 5. Si U = U
es una cubierta abierta localmente nita de un

espacio topologico M y S es una gavilla na de M entonces H
q
(U, S) = 0
para toda q > 0. As para cualquier gavilla na S sobre un espacio Hausdor
paracompacto M, H
q
(M, S) = 0 para toda q > 0
Demostracion. Sea
una particion de la unidad para al gavilla S subordi-

nada a la cubierta U y considere el q-cociclo arbitrario f Z
q
(U, S) para q >
0. Para cualquier ndice y cualquier (q 1)-simplejo = (U
0
, U
1
, ..., U
q1
),
el homorsmo inducido
en secciones nos permite obtener la seccion
f(U
, U
0
, U
1
, ..., U
q1
) (U
[[, S).
Ahora
f se anula sobre [[ U
[[, as esta seccion puede extenderse

por cero para determinar una seccion
g
() = E
||
f(U
, U
0
, U
1
, ..., U
q1
) ([[, S).
Estas secciones denen una (q 1)-cocadena g
C
q1
(U, S). Ademas para
un q-simplejo = (U
0
, ..., U
q
),
g
() =
q
i=0
(1)
i
||
g
(
i
)
donde
i
= (U
0
, ..., U
i1
, U
i+1
, ..., U
q
), entonces
g
() =
q
i=0
(1)
i
||
E
|
i
[
f(U
, U
0
, ..., U
i1
, U
i+1
, ..., U
q
)
por tanto
g
() =
f() E
||
f =
f().
pues f es un cociclo. Esto es para todo ndice y g
fuera del conjunto

U
. La cocadena g =

esta bien denida, si U es localmente nita.

Ademas g =
f = f por las propiedades de una particion de la unidad.

As todo q-cociclo es una frontera, es decir; cohomologico a cero, entonces
H
q
(U, S) = 0 para q > 0.
Aplicando este teorema, los grupos de cohomologa pueden ser descritos
de la siguiente forma.
Denicion 33. Una resolucion na de una gavilla S de grupos abelianos
sobre un espacio topologico M es una sucesion exacta de gavillas de la si-
guiente forma
0 S S
0
d
0
S
1
d
1
S
2
d
2
...
3. Cohomologa 42
donde las gavillas S
i
son gavillas nas. Para cada uno de los homomorsmos
de gavillas d
i
,
Podemos inducir un homomorsmo de grupos de secciones sobre un sub-
conjunto U M,
d
i
: (U, S
i
) (U, S
i+1
)
pero la sucesion de esos grupos y homomorsmos de grupos no es en general
exacta.
Teorema 6. Si 0 S

S
0
d
0
S
1
d
1
S
2
d
2
... es una resolucion na de
la gavilla S sobre un espacio Hausdor paracompacto M, entonces
H
q
(M, S)

= ker d
q
/Imd
q1
para cada q > 0
Demostracion. Sea K
i
S
i
el kernel del homorsmo de gavillas d
i
; entonces
la sucesion exacta
0 S

S
0
d
0
S
1
d
1
S
2
d
2
...
puede reescribirse como la siguiente coleccion de sucesiones exactas
0 S S
0
d
0
K
1
0 (3.1)
0 K
i
S
i
d
i
K
i+1
0 (3.2)
(i 1)
Una porcion de la sucesion de cohomologa de C ech asociada a la sucesion
exacta corta de gavillas (3.1) es como sigue:
... H
q1
(M, S
0
) H
q1
(M, K
1
)

H
q
(M, S) H
q
(M, S
0
) ...
Si S
0
es una gavilla na y q > 0 del teorema anterior tenemos que
H
q
(M, S
0
) = 0.
Ahora, si q = 1 la formula de este teorema se sigue de esta sucesion
exacta de la siguiente manera: H
q1
(M, K
1
) = H
0
(M, K
1
) = ker d
1
, si q > 1
entonces
H
q1
(M, S
0
) = 0
3. Cohomologa 43
y
H
q
(M, S)

= H
q1
(M, K
1
)
y como H
0
(M, S
0
)

= (M, S
0
), se tiene entonces para q = 1 la sucesion
siguiente
0 (M, S) (M, S
0
)
d
0
(M, K
1
)

H
1
(M, S) 0
Proposicion 2. Sean M, N modulos y f : M N un homomorsmo
entonces
0 kerf
i
M
f
N

Cokerf 0
es exacta, donde i es la inclusion, es el epimorsmo natural N N/Imf
Para una demostracion vease la referencia [2]
Por denicion Coker =
0
(M, K
1
)/imd
0
y considerando la proposicion
anterior y que es suprayectivo se tiene;
H
1
(M, S) Cokerd
0
= (M, K
1
)/imd
0
(3.3)
ahora, tenemos que;
(M, K
1
) im((M, K
1
) (M, S
1
))
y por exactitud de la sucesion
(M, K
1
) kerd
1
entonces por (3.3) se tiene
H
1
(M, S) = kerd
1
/imd
0
y se prueba el teorema para q = 1.
Para q = 2. Consideremos la sucesion (3.1), de donde tenemos la si-
guiente sucesion exacta larga:
... H
q1
(M, S
0
) H
q1
(M, K
1
)

H
q
(M, S) H
q
(M, S
0
) ...
Como
H
q1
(M, S
0
) = 0 = H
q
(M, S
0
)
por ser S
0
una gavilla na y q 1 1, entonces se tiene
... 0 H
q1
(M, K
1
)

H
q
(M, S) 0 ...
3. Cohomologa 44
y as
H
q1
(M, K
1
)

H
q
(M, S)
entonces
H
1
(M, K
1
)

H
2
(M, S) (3.4)
Ahora de la sucesion (3.2) para i = 1 es:
0 K
1
S
1
d
1
K
2
0
nos induce la sigiuente sucesion exacta:
... H
q2
(M, K
1
) H
q2
(M, S
1
)
d
1
H
q2
(M, K
2
)

H
q1
(M, K
1
)
H
q1
(M, S
1
) H
q1
(M, K
2
) ...
como S
1
es una gavilla na se tiene; H
q1
(M, S
1
) = 0, con q 1 1. As,
resulta la siguiente sucesion de gavillas
0 (M, K
1
) (M, S
1
)
d
1
(M, K
2
)

(M, K
1
) 0
de donde Cokerd
1
= (M, K
2
)/Imd
1
y por la proposicion 2
H
1
(M, K
1
) cokerd
1
= (M, K
2
)/Imd
1
(3.5)
Ahora considerando (3.2) la sucesion para i = 2 se tiene:
0 K
2
S
2
2
K
3
0
que induce
... H
q2
(M, K
2
) H
q2
(M, S
2
)
d
2
H
q2
(M, K
3
)

H
q1
(M, K
2
)
H
q1
(M, S
2
) H
q1
(M, K
3
) ...
como S
2
es una gavilla na se tiene; H
q1
(M, S
2
) = 0, con q 1 1.
Cuando q = 2, resulta la siguiente sucesion de gavillas
0 (M, K
2
) (M, S
2
)
d
2
(M, K
3
)

H
1
(M, K
2
) 0
de donde
(M, K
2
) Im((M, K
2
) (M, S
2
)
3. Cohomologa 45
y por exactitud de la sucesion
(M, K
2
) Im((M, K
2
) (M, S
2
) kerd
2
de (3.4) obtenemos que;
H
2
(M, S) kerd
2
/imd
1
.
El teorema se sigue por recursion sobre q.
A continuacion veremos que se puede construir una resolucion na para
cualquier gavilla S.
Para cualquier gavilla S y cualquier subconjunto abierto U M, sea
S
U
el conjunto de todas las aplicaciones f : U S tal que f : U U
es la identidad en U, donde es la proyeccion, note que la aplicacion f no
requiere ser continua. La coleccion de los grupos S
U
, junto con la restriccion
natural, forman una pregavilla sobre M, la gavilla S
asociada es llamada
la gavilla de secciones discontinuas de S. Veamos que S
es una gavilla na.

Para cualquier cubierta abierta localmente nita | = U
de M dada,
seleccionamos alg un subconjunto K
tal que K
= para ,=
y M =
; y denimos la aplicacion
: S
por
(s) = s si s K
(s) = 0 si s / K
. Estas aplicaciones son

homomorsmos de gavillas y ellos forman una particion de la unidad para
S
. Ademas hay una aplicacion inyectiva natural S S
. Para construir
la resolucion na, hacemos S
0
= S
y S
1
= (S
0
/S)
y as sucesivamente.
En seguida daremos un ejemplo que ilustra como el teorema anterior nos
ayuda a calcular los grupos de cohomologa.
Sea M un subconjunto abierto conexo de C. Consideramos el operador
diferencial parcial lineal de primer orden en el espacio (
z
=
1
2
_

x
i

y
_
,

z
=
1
2
_

x
+ i

y
_
Note que las ecuaciones de Cauchy-Riemann para una funcion complejo
valuada f las podemos escribir como
f
z
= 0; que nos dice f O
M

f
z
= 0.
La aplicacion f
f
z
es un homomorsmo para el anillo (
M
en s mismo, y
as esta aplicacion induce un homomorsmo de gavillas
: (
.
3. Cohomologa 46
La condicion de que se cumplan las ecuaciones de Cauchy Riemann nos
dice que el n ucleo de este homomorsmo es precisamente la gavilla O de
germenes de funciones holomorfas en M, de esta manera se tiene la siguiente
sucesion exacta de gavillas
0 O (
.
Lema 5. Sea g C
M
, y sea D un subconjunto abierto conexo de C tal que
D es es compacto y

D M. Entonces existe una funcion f (
M
tal que
f(z)
z
= g(z) cuando z D.
Demostracion. Seleccionamos una funcion r de clase C
en C tal que r(z) =

1 para z

D, r(z) = 0 para z C M, y r(z) ,= 0 solo en un subconjunto
compacto de C. La funcion h(z) denida como h(z) = r(z)g(z) para z M,
y h(z) = 0 para z C M, es entonces una funcion (
en todo C, y
coincide con la funcion g en el conjunto D M, y cero fuera del subconjunto
compacto de C.
Ahora expresamos
f(z) =
1
2i
_ _
C
h(z + )
d d
; (3.6)
aqu se usa la notacion de forma diferencial compleja, escribiendo
d = d + id si = + i
de modo que
d d
= 2id d,
y as d d
es 2i veces la medida del plano. Note que en terminos de

coordenadas polares (r, ), si escribimos = re
i
, se deduce que
d d
=
2irdr d
re
i
= 2ie
i
dr d,
y as f(z) es una funcion que esta bien denida C
en C. Diferenciando
parcialmente (3.6) con respecto a z se tiene
f
z
=
1
2i
_ _
C
h(z + )
z
d d
=
1
2i
_ _
C
h(z + )
d d
=
1
2i
_ _
C
_
h(z + )
_
d d
.
3. Cohomologa 47
Ahora jamos el punto z C. Seleccionemos un disco centrado en el
origen y lo sucientemente grande para que la funcion h(z + ) es identica-
mente cero para C ; y un disco
centrado en el origen y de radio

tan peque no para que

. A la frontera de le llamamos , y a la
frontera de
la denotamos por
; y
son crculos alrededor del origen,

con orientacion positiva. Entonces
2i
f
z
= lm
0
_ _
\
_
h(z + )
_
d d
;
y aplicando el teorema de Stokes y recordando que en la porcion de de la
frontera de
la integral es identicamente cero, se tiene que

2i
f
z
= lm
0
_
h(z + )
d.
Parametrizando el crculo
por = e
i
, 0 2, as
2i
f
z
= lm
0
_
2
=0
h(z + e
i
)id =
_
2
=0
h(z)id = 2ih(z).
As f es la funcion deseada.
Como una consecuencia inmediata de este lema se tiene que, si f es el
germen de una funcion de clase (
en alg un punto p C, existe un germen

f de una funcion (
en el punto p tal que

f
z
= g. Consecuentemente la
siguiente es una sucesion exacta de gavillas de grupos abelianos:
0 O (
0.
Considerando los grupos de secciones asociados, se sigue del teorema 6
que
_
H
1
(M, O)

= (M, C
)/

z
(M, C
), y
H
q
(M, O)

= 0 si q 2
(3.7)
Una extension del lema anterior nos lleva al siguiente resultado util.
Teorema 7. Sea M un subconjunto abierto conexo de C, y g (
M
. En-
tonces existe una funcion f (
M
tal que
f(z)
z
= g(z) para toda z M.
Demostracion. Seleccionemos una sucesion de subconjuntos abiertos conex-
os D
n
M con las siguientes propiedades:
1)

D
n
es compacto, y

D
n
D
n+1
;
3. Cohomologa 48
2)
n=1
D
n
= M;
3) cualquier funcion holomorfa en D
n1
puede aproximarse uniformemente
en

D
n2
D
n1
por funciones holomorfas en D
n
.
Seguimos por induccion sobre el ndice n, observemos que hay una sucesion
de funciones f
n
con las siguientes propiedades:
4) f
n
es una funcion de clase (
en D
n
;
5)
fn(z)
z
= g para toda z D
n
;
6) [f
n
(z) f
n1
(z)[ < 2
n
para toda z

D
n2
.
Para ver esto, supongamos que dadas las funciones f
1
, ..., f
n1
, para alg un
ndice n 0. Por el lema 5, existe una funcion h
n
(
M
tal que
hn(z)
z
= g(z)
cuando z D
n
. En los casos n = 0, 1 no hay nada mas que mostrar. En
el caso n 2, las funciones h
n
y h
n1
son ambas funciones de clase (
en D
n1
, y
(hn(z)f
n1
(z))
z
= g(z) g(z) = 0 para z D
n1
; esto es.
h
n
(z) f
n1
es holomorfa en D
n1
. Existe una funcion h(z) holomorfa en
D
n
tal que [h
n
(z) f
n1
(z) h(z)[ < 2
n
para toda z

D
n2
, como una
consecuencia de la propiedad (3) de arriba. Entonces la funcion f
n
(z) =
h
n
(z) h(z) satisface las condiciones deseadas.
Ahora para cualquier punto z M, la sucesion f
n
(z) converge a alg un
valor lmite de f(z). Es mas, para todo los puntos z D
n
,
f(z) = f
n+2
(z) +
m=n+2
(f
m+1
(z) f
m
(z)).
Ya que [f
m+1
(z)f
m
(z)[ < 2
m
para z D
n
D
m2
, m n+2, por la
propiedad (6) la serie converge absolutamente de manera uniforme en D
n
y
ya que el termino individual de la serie es holomorfo en D
n
por la propiedad
(5), la suma es tambien holomorfa. Por tanto f(z) es (
en D
n
, y
f
n
(z)
z
=
f
n+2
(z)
z
= g(z)
en D
n
por (5). Esto concluye la demostracion.
Corolario 2. Si M es un subconjunto abierto conexo de C, entonces
H
q
(M, O) = 0
para q 1.
3. Cohomologa 49
Los grupos de cohomologa de un espacio con coecientes en una gavilla
se han denido como lmites directos de grupos de cohomologa de cubiertas
de estos espacios. Es natural preguntarse cuando la cohomologa de estos
espacios puede leerse directamente de la cohomologa de la cubierta, y la
respuesta a esto nos la da el siguiente resultado.
Teorema 8. Sea S una gavilla de grupos abelianos sobre un espacio Haus-
dor paracompacto M y | = U
una cubierta abierta de M tal que

H
q
([[, S) = 0
para N(|) y q 1. Entonces
H
q
(M, S)

= H
q
(|, S)
para toda q 0.
Demostracion. Seleccionamos una resolucion na
0 S S
0
0
S
1
1
S
2
2
... (3.8)
de la gavilla S sobre M. Entonces para el homomorsmo inducido
d
i
: (M, S
i
) (M, S
i+1
),
se sigue del teorema (6) que
H
q
(M, S)

= ker d
q
/Imd
q1
para toda q 1. Para cualquier simplejo N(|), los grupos de coho-
mologa H
q
([[, S) se determinan en forma analoga que la resolucion (3.8)
pero con la restriccion a [[, por hipotesis H
q
([[, S) = 0, y as se tiene la
siguiente sucesion de secciones correspondiente a (3.8)
0 ([[, S) ([[, S
0
)

0
([[, S
1
)

0
...
ahora es una sucesion exacta. Como los grupos de cocadenas son sumas
directas de grupos de secciones sobre los simplejos de N(|), se sigue la
siguiente sucesion exacta de grupos
0 C
q
(|, S) C
q
(|, S
0
)

0
C
q
(|, S
1
)

1
... (3.9)
3. Cohomologa 50
Las aplicaciones cofrontera conmutan con los homomorfsimos de la suce-
sion exacta (3.9), as podemos agrupar estas sucesiones en el siguiente dia-
grama conmutativo.
0 0 0 0

0 (M, S) (M, S
0
)

0
(M, S
1
)

1
(M, S2)

0 C
0
(|, S) C
0
(|, S
0
)

0
C
0
(|, S
1
)

1
C
0
(|, S
2
)

0 C
1
(|, S) C
1
(|, S
0
)

0
C
1
(|, S
1
)

1
C
1
(|, S
2
)

0 C
2
(|, S) C
2
(|, S
0
)

0
C
2
(|, S
1
)

1
C
2
(|, S
2
)

(3.10)
Todas las las excepto la primera son exactas, por la excatitud de (3.9).
Como todas las gavillas S
i
son nas , todas las columnas son tambien
sucesiones excatas excepto la primera, por el teorema (5).
Por el teorema (6) la medida de la inexactitud de la primer la es la
cohomologa H
(M, S).
Por denicion la medida de la inexactitud de la primera columna es la
cohomologa H
(U, S).
El resultado del teorema se sigue despues de una cacera en el diagrama
(3.10).
Denicion 34. Una cubierta | del espacio M que satisface las condiciones
del teorema es llamada una cubierta de Leray de M para la gavilla S.
Corolario 3. Si | y 1 son cubiertas de Leray de un espacio Hausdor
paracompacto M de una gavilla S y : 1 | es un renamiento, entonces
la aplicaci on inducida
: H
q
(|, S) H
q
(1, S)
es un isomorsmo.
Demostracion. El homorsmo natural
u : H
q
(|, S) H
q
(M, S)
y
v : H
q
(1, S) H
q
(M, S)
3. Cohomologa 51
son isomorsmos, por el teorema (8) y como v
= u, se tiene que
es
necesariamente un isomorsmo.
4. DIVISORES Y HACES LINEALES
4.1. Divisores
Uno de los principales enfoques de la teora de funciones sobre supercies
de Riemann involucra el estudio de funciones a partir de sus ceros y sus
singularidades. En una supercie de Riemann M, considere las gavillas O
de
germenes de funciones holomorfas no nulas y /
de germenes de funciones
meromorfas no identicamente nulas, en ambos casos el grupo estructural en
la gavilla es multiplicativo y O
.
2
Denicion 35. La gavilla cociente T = /
/O
es llamada la gavilla de
germenes de divisores en la supercie de Riemann. Una seccion de la gavilla
sobre un subconjunto U M es llamado un divisor en el subconjunto U.
Note que el germen de un divisor es un punto p M, esto es, un elemento
del tallo T
p
. Dos funciones meromorfas son consideradas como equivalentes
cuando su cociente es holomorfo y no se anula; as una clase de equivalencia
consiste de todos los germenes de funciones meromorfas que tienen el mismo
orden (el mismo cero o polo) en el punto p.
En el caso de una sola variable compleja, la gavilla T tiene una alterna-
tiva mucho mas simple de describir; y esta simplicidad es la diferencia entre
la teora de funciones de una y varias variables complejas. Para un germen
f /
p
, la clase de equivalencia de f en T
p
es descrita unicamente por
el orden
p
(f) de la funcion f en el punto p; el tallo T
p
= /
p
/O
p
es por
tanto isomorfo al grupo aditivo de los enteros. Para describir la topologa de
T = /
/O
, recordemos que una gavilla cociente siempre puede tener una

estructura topologica; por denicion la imagen de secciones de /
sobre
una base de conjuntos abiertos de M, como una base para los conjuntos
abiertos de T.
Denicion 36. Para alg un conjunto abierto U y alguna funcion meromorfa
f (U, /
), el conjunto imagen en T es el divisor de la funci on f

2
Esto es, para cada U X abierto, M
(U) consta de todas las funciones meromorfas

f M(U) que no son identicamente nulas sobre cada componente conexa de U.
4. Divisores y haces lineales 53
Es importante notar que el orden de la funcion meromorfa f es distinto
de cero solo en un conjunto discreto de puntos en U. Entonces la gavilla
T puede ser descrita como sigue: a cualquier subconjunto abierto U
M,
asociamos el grupo aditivo T
de todas las aplicaciones : U
Z tal que
(p) ,= 0 solo en un subconjunto discreto de U
; la estructura de grupo es
la operacion adicion de las funciones. Si U
, la restriccion natural de
las funciones de U
a U
es un homomorsmo de grupos
: T
.
Esto dene una pregavilla completa sobre M (Ver denicion en la referencia
[3]), y la gavilla asociada es justo la gavilla T de germenes de divisores. Esta
descripcion se usara de ahora en adelante. Con esta descripcion T es una
gavilla na sobre M.
Para describir un divisor D (U, T) es suciente dar los ordenes solo
en los puntos del subconjunto discreto de U donde el orden no es cero, as los
divisores se escriben
D =
i
p
i
,
donde
i
Z, p
i
U y

i
p
i
U es discreto.
Para una funcion meromorfa f (U, /
) el divisor de f es denotado
por D(f), as
D(f) =
pU
p
(f)p
donde la suma puede ser restringida a el subconjunto discreto U ya que este
consite de puntos donde
p
(f) ,= 0.
Denicion 37. Un divisor D (U, T) es llamado un divisor principal si
existe una funcion f (U, /
) tal que D = D(f).

Note que D(fg) = D(f) +D(g) y D(f) no esta denido para la funcion
f 0. En el conjunto de divisores sobre U se puede dar un orden parcial,
por denicion
D =
i
p
i
0
siempre que
i
0.
Entonces funciones holomorfas f sobre U estan caracterizacdas por la
condicion que D(f) 0, y mas general, D(f) D(g) si y solo si f/g es un
holomorsmo.
Denicion 38. Un divisor D tal que D 0 se denomina divisor efectivo,
o positivo.
La aplicacion que asocia a una funcion meromorfa f su divisor D(f), es
justamente el homomorsmo natural D : /
T; de la gavilla /
a su
gavilla cociente, esta descrito por la siguiente sucesion exacta de gavillas
0 O
i
/
D
T 0, (4.1)
donde i es la inclusion. A esta sucesion de gavillas sobre M le podemos
asociar una sucesion exacta de grupos de cohomologa, en la que podemos
encontrar el siguiente homomorsmo
D
: (M, /
) (M, T).
Un elemento D (M, T) es un divisor denido sobre toda la supercie
de Riemann M, mientras que un elemento en la imagen de D
es el divisor
de una funcion meromorfa denida sobre todo M. Que existe un divisor no
trivial denido sobre todo M o equivalentemente (M, T) ,= 0, es notable
pero que hay funciones meromorfas no triviales denidas sobre todo M o
equivalentemente (M, /) ,= C, lo cual no es algo simple, es de hecho uno
de los teoremas basicos de existencia en este tema. Como un caso especial
el siguiente teorema.
Teorema 9 (Teorema de Weierstrass). Si M es un subconjunto abierto
conexo de C, la siguiente sucesion de grupos es exacta:
0 (M, O
)
i
(M, /
)
D
(M, T) 0.
Demostracion. La sucesion exacta de cohomologa correspondiente a la suce-
sion exacta de gavillas (4.1) comienza de la siguiente manera:
0 (M, O
) (M, /
) (M, T) H
1
(M, O
) ...;
por tanto para demostrar este teorema es suciente mostrar que H
1
(M, O
) =
0. Recordemos la sucesion exacta de gavillas
0 Z O
e
O
0,
donde e(f) = exp2if. Hay una sucesion de cohomologa asociada, que
incluye el segmento
H
1
(M, O) H
1
(M, O
) H
2
(M, Z) H
2
(M, O).
Ahora por el corolario del teorema (7) H
1
(M, O) = H
2
(M, O) = 0; de
modo que H
1
(M, O
)

= H
2
(M, Z). Pero como M no es una variedad en
dos dimensiones no compacta, H
2
(M, Z) = 0, y as H
1
(M, O
) = 0.(Para
mayores detalles consultar el apendice de la referencia [3])
El teorema implica que un divisor arbitrario en M es el divisor de una
funcion meromorfa global en M. Para supercies compactas el teorema an-
terior no se mantiene; veremos al nal que H
1
(M, O
) ,= 0.
Recordemos que la gavilla D de germenes de divisores en una supercie
de Riemann es una gavilla na, as por el teorema (5) H
1
(M, T) = 0. Ademas
la sucesion exacta de cohomologa asociada a la sucesion exacta (4.1) tiene
la forma
0 (M, O
)
i
(M, /
)
D
(M, T)

H
1
(M, O
)
i
H
1
(M, /
) 0.
(4.2)
El grupo cociente A(M) = (M, T)/D
((M, /
)), es la medida de la
extension que el teorema (9) no logra mantener, y en terminos de grupos la
sucesion exacta (4.2) puede escribirse como
0 A(M) H
1
(M, O
) H
1
(M, /
) 0. (4.3)
Denicion 39. El grupo (M, T) es llamado el grupo de divisores en M.
Dos divisores D
1
, D
2
(M, T) se llaman linealmente equivalentes, escribi-
mos D
1
D
2
, si su diferencia es el divisor de una funci on meromorfa en
M, esto es, si D
1
D
2
= D(f), para alguna f (M, /
)
Esta es una relacion de equivalencia, es de hecho la relacion de equi-
valencia correspondiente a el homomorsmo D
en (4.3); en particular, la
imagen de D
es el grupo de divisores linealmente equivalentes a cero. El

grupo A(M) es llamado el grupo de clases de divisores en M, y es el grupo
de clases de divisores linealmente equivalentes en M. La sucesion exacta
(4.3) nos permite una descripcion mas clara del grupo A(M), y as resolver
la cuestion de la medida en que el teorema de Weierstrass se mantiene en
una supercie compacta.
Denicion 40. Sea X una supercie de Riemann compacta. Para cada
divisor D (M, T) hay solo una cantidad nita de elementos x X tal
que D(x) ,= 0. As se puede denir la siguiente aplicacion
deg : (M, T) Z
llamada el grado del divisor D, y esta aplicacion esta dada por;
degD :=
xX
D(x)
La aplicacion deg es un homomorsmo de grupos. Notemos que para
cualquier divisor principal D(f) en una supercie de Riemann, degD(f) = 0
ya que una funcion meromorfa tiene tantos ceros como polos. As divisores
equivalentes tienen el mismo grado.
En otra discusion de estas cuestiones se deben estudiar una clase de gavi-
llas especial. Para introducir esas gavillas consideremos el grupo H
1
(M, O
)
que act ua notablemente en la discusion anterior.
Denicion 41. El grupo H
1
(M, O
) es llamado el grupo de haces lineales

complejos sobre M; y una clase de cohomologa H
1
(M, O
) es llamada
un haz lineal complejo sobre M.
Para cualquier haz lineal complejo H
1
(M, O
), seleccionamos una
base | = U
de conjuntos abiertos de M y un cociclo (
) Z
1
(U, O
),
representando esa clase de cohomologa; dado que las bases son conal en las
cubiertas abiertas de M, siempre existe una representacion. Los elementos
son funciones holomorfas no nulas denidas en conjuntos abiertos U
y la condicion cociclo arma que
(p)
(p) =
(p) cuando p U
. A cada conjunto abierto U
| le asociamos el grupo S
= (U
, O) de
funciones holomorfas en U
. A cada relacion de inclusion U
asociado
al homomorsmo de grupos
: S
que asocia a una funcion f S
= (U
, O) la funcion
(f) S
=
(U
, O) denido por
(
f)(p) =
(p) f(p)
para p U
.
Notemos que cuando U
y f S
, se cumple que
(
))(p) =
(p)
(p) f(p) =
(p) f(p) = (
f)(p)
para toda p U
; esto es,
. Ademas U, S
es una
pregavilla sobre M, que se puede ver que es una pregavilla completa.
Denicion 42. La gavilla asociada a |, S
es llamada la gavilla
de germenes de secciones transversales holomorfas del haz lineal , y lo
denotaremos por O().
Ya que la gavilla anterior es completa , hay una identicacion natural
(U
, O()) = S
= (U
, O). Es entonces claro que un elemento f

(M, O()) corresponde a una coleccion f
, donde f
(U
, O) y
f
(p) =
(p) f
(p) (4.4)
cuando p U
; estas secciones de O(), pueden llamarse tambien

secciones cruzadas holomorfas del haz lineal . Note que el conjunto de todas
las secciones tienen estructura de un espacio vectorial complejo, as como
la de un grupo abeliano; y que O = O(1), donde 1 H
1
(M, O
) es el haz
trivial.
La construccion que se acaba de describir pudo haber sido desarrolla-
da para los grupos S
= (U
, /); los homomorsmos
estan bien
denidos, como arriba, y la coleccion |, S
es una pregavilla com-

pleta.
La gavilla asociada a |, S
es llamada la gavilla de germenes de

secciones cruzadas meromorfas del haz lineal y se denota por /() .
Los elementos f (M, /()) corresponden a colecciones f
, cuando
las funciones f
son meromorfas que satisface la relacion (4.4); y tales

secciones son llamadas secciones cruzadas meromorfas del haz lineal . En
la misma forma, usando los grupos S
= (U
, (
) y all surge una gavilla

(
() que es llamada la gavilla de germenes de secciones cruzadas (
del
haz lineal y se denota por (
(). Esta gavilla es una gavilla na.

Para una seccion cruzada f (M, /
()), el orden de f en el punto p

es un entero de la forma
p
(f) =
p
(f
)
cuando p U
.
Recordemos que las funciones meromorfas f
satisfacen la ecuacion
(4.4), cuando
son funciones holomorfas distintas de cero, as se tiene

que
p
(f
) =
p
(f
)
cuando p U
.
Note que para cualquier seccion f distinta de cero, el orden sera distinto
de cero solo en un conjunto discreto de puntos; as la seccion f tiene asociado
un divisor que denimos de la siguiente manera:
D(f) =
pM
p
(f) p
y se le llama el divisor de la seccion cruzada f (M, /()).
Entonces (M, O()) (M, /()) aparece solo como el subgrupo de
secciones cruzadas meromorfas del haz lineal y con divisor positivo, esto
es;
(M, O()) = f (M, /()) : D(f) 0.
Una observacion mas importante es que, para alg un haz lineal
H
1
(M, O
), se tiene que = 1 (el haz lineal trivial) si, y solo si, existe
una seccion cruzada f (M, O()) tal que D(f) = 0. Esto signica que
f
son holomorfas y distintas de cero en U
, ademas por la ecuacion (4.4)

se tiene que forman una cero-cocadena en C
0
(U, O
) teniendo a como su
cofrontera, de tal manera que = 1, entonces (M, O()) = (M, O), y este
contiene las funciones constantes distintas de cero. De manera similar, para
una clase de cohomologa H
1
(M, /
), = 1 si, y solo si, existe una

seccion cruzada f (M, /()) distinta de cero.
Recordemos la sucesion exacta (4.3), cada elemento H
1
(M, /
)
puede ser representado por un elemento de H
1
(M, O
), ademas se puede
armar que en cualquier supercie de Riemann H
1
(M, /
) = 0 si, y solo si,

para cada haz lineal H
1
(M, O
), (M, /()) ,= 0. Tener H

1
(M, /
) =
0 es equivalente al teorema fundamental de existencia para supercies de
Riemann; el cual nos dice; que cada haz lineal tiene una seccion cruzada
meromorfa no trivial; y esto es tambien equivalente a la armacion que cada
haz lineal es el haz lineal de un divisor en la supercie.
Por la sucesion exacta (4.2), a cualquier divisor D (M, T) se aso-
cia un haz lineal
D H
1
(M, O
), y esto mismo pasa para la gavilla de

germenes de secciones cruzadas holomorfas O(
D) del haz lineal, para sim-

plicar la notacion escribiremos O(D) = O(
D).
Ahora consideraremos otra interpretacion para la gavilla O(D).
Al divisor D le asociamos una subgavilla O
M
(D) / denido como
sigue. Para un punto p M sea
O
M
(D)
p
= f /
p
: o bien f 0 o D(f) D cerca de p;
y expresamos O
M
(D) =
pM
O
M
(D)
p
. Es claro que cada O
M
(D)
p
/
p
es un subgrupo, y que O
M
(D) / en un subconjunto abierto; as O
M
(D)
es una subgavilla de / y esta bien denida.
Lema 6. Las gavillas O(D) y O
M
(D) son canonicamente isomorfas.
Demostracion. Es necesario examinar el homomorsmo
de la sucesion
exacta (4.2).
0 (M, O
)
i
(M, /
)
D
(M, T)

H
1
(M, O
)
i
H
1
(M, /
) 0.
De la exactitud de la sucesion de gavillas se tiene que, para un divisor
dado D (M, T), existen conjuntos abiertos U
que forman una cu-

bierta | de M, y funciones meromorfas d
denidas en los conjuntos U
de
tal manera que D(d
) = D[
U
. Entonces en cada interseccion U
la
funcion
= d
/d
es holomorfa y no nula, y la coleccion () de todas

las funciones denen el haz lineal =
D H
1
(M, O
). A cada germen en
O
M
(D)
p
/
p
y a cada conjunto abierto U
que contiene a p le asociamos

el germen f
= f/d
/
p
. Como D(f
) = D(f) D(d
) = D(f) D 0
alrededor de p, el germen f
sera necesariamente holomorfo en p ; y si

p U
, entonces
f
= f/d
= f
/d
.
Ademas las funciones (f
) denen el germen de un elemento en O()

p
=
O(D)
p
. Esto dene una aplicacion de O
M
(D) a O(D), la cual es un isomor-
smo.
Teorema 10. Supongamos que M es una supercie de Riemann compacta
y D (M, T) es un divisor con degD < 0. Entonces H
0
(M, O(D)) = 0
Demostracion. Supogamos lo contrario, que existe una funcion
f H
0
(M, O(D)) tal que f ,= 0. Entonces D(f) D y as
degD(f) D > 0
pero esto contradice el hecho que degD(f) = 0.
Para una supercie de Riemann compacta M el espacio H
q
(M, O()) es
un espacio vectorial sobre los complejos de dimension nita para toda q 0
y cualquier haz vectorial H
1
(M, O
); ademas H
q
(M, O()) = 0 cuan-
do q 2, pero este reultado es posterior al analisis que se esta realizando
as que por lo pronto solo probaremos que la dimension de estos espacios
vectoriales es nita para q = 0 y q = 1. En esta demostracion sera conve-
niente topologizar el grupo de cocadenas y de cohomologa, as como aplicar
algunos resultados de la teora de espacios vectoriales topologicos.
4.2. Teorema de nitud
Nuestro objetivo es probar que si M es una supercie de Riemann com-
pacta entonces dim
C
H
1
(M, O) es nita.
Sea U C un sunconjunto conexo, con z = x + yi como la funcion
coordenda compleja en U para que dxdy sea la medida estandar del plano
Euclidiano. Denamos
0
(U, O) =
_
f (U, O)[
_ _
U
[f(z)[
2
dx dy <
_
;
as
0
(U, O) (U, O) es un subespacio vectorial, al que llamaremos el
espacio de funciones analiticas cuadrado integrables en U. Para cualesquiera
dos funciones f, g
0
(U, O) denimos
(f, g)
U
=
_ _
U
f(z)g(z)dx dy
en
0
, esto esta bien denido ya que
[(f, g)[ =
_ _
f(z)g(z)
dx dy
y por la desigualda de Schwarz se tiene que
[(f, g)[
__ _
[f(z)[
2
dx dy
_
1/2
__ _
[g(z)[
2
dx dy
_
1/2
< .
Este es un producto interno hermitiano positivo denido en
0
(U, O). Por
lo cual
0
(U, O) es un espacio pre Hilbert donde la norma de este espacio
esta dada por
| f |
2
U
= (f, f)
U
.
A continuacion se mostrar a que es un espacio Hilbert.
Notemos que si f
0
(U, O), z
0
U y (z
0
, r) es un disco de radio r
y centrado en z
0
tal que (z
0
, r) U, se tiene que
[f(z
0
)[
1
r
| f |
U
Esto se cumple por lo siguiente: sea z = z
0
+ exp
i
(z
0
, r), 0 r,
por la formula integral de Cauchy
f(z
0
) =
1
2i
_
|zz
0
|=
f(z)
z z
0
dz =
1
2i
_
2
=0
f(z
0
+ e
i
)
e
i
e
i
id
=
1
2i
_
2
=0
f(z
0
+ e
i
)d
de aqu se tiene que
_
r
=0
f(z
0
)d =
_
r
=0
1
2i
_
2
=0
f(z
0
+ e
i
)dd
y
_
r
=0
f(z
0
)d =
r
2
2
f(z
0
)
entonces
[f(z
0
)[ =
1
r
2
_ _
(z
0
,r)
f(z)dx dy
as
[f(z
0
)[
1
r
2
_ _
(z
0
,r)
[f(z)[dx dy
1
r
2
_
_ _
(z
0
,r)
1dx dy
_
1/2
_
_ _
(z
0
,r)
[f(z)[
2
dx dy
_
1/2
1
r
| f |
U
entonces se tiene lo deseado
[f(z
0
)[
1
r
| f |
U
.
Veamos que
0
(U, O) es un espacio completo en la norma dada y as se tiene
un espacio de Hilbert.
Consideremos cualquier sucesion de Cauchy de elementos f
0
(U, O),
para cualquier subconjunto compacto K U, y un n umero r > 0 tal que
(z, r) U, por la observacion anterior se tiene que para cualquier punto
z k,
[f
m
(z) f
n
(z)[
1
r
| f
m
(z) f
n
(z) |
U
as la sucesion es uniformemente de Cauchy en K por lo que la sucesion
converge uniformemente en K. La funcion f(z) = lm
n
f
n
(z) es entonces
holomorfa en U y es el lmite de al sucesion f
n
en la norma dada
| f |= lm
n
| f
n
|<
por lo tanto f
0
(U, O). De esta manera se tiene que f
0
(U, O) es un
espacio de Hilbert.
Aplicaremos estas consideraciones al problema que estamos tratando,
entonces selecionemos un haz lineal H
1
(M, O
) sobre la supercie de
Riemann M. Sea | = U
una cubierta de M en los terminos que el haz

lineal es representado; esto es, sea | una cubierta abierta de M tal que:
1. Cada conjunto U
esta contenido en una vecindad simple.

2. El haz lineal tiene una representacion de cociclo (
) Z
1
(U, O
).
(4.5)
Entonces para cualquier simplejo N(U), ([[, O())

= ([[, O).
Seleccionemos cualquier aplicacion ja del conjunto [[, entonces podemos
introducir el subespacio
0
([[, O()) ([[, O()) de secciones cuadrado
integrables de O()) sobre [[; y la suma directa de todos estos espacios
sobre los simplejos N(U) de dimension q, es un subgrupo C
q
0
(U, O())
C
q
(U, O()) el cual es llamado el grupo de cocadenas cuadrado integrables
de U con coecientes en O().
Ya que el operador cofrontera incluye solo restricciones y sumas nitas,
se puede ver que
: C
q
0
(U, O()) C
q+1
0
(U, O());
introduciendo el n ucleo Z
q
0
(U, O()) C
q
0
(U, O()) de la aplicacion cofron-
tera, los correspondientes grupos de cohomologa cuadrado integrables estan
denidos por
H
q
0
(U, O()) = Z
q
0
(U, O())/C
q1
0
(U, O()).
Observe que la inclusion
i : C
q
0
(U, O()) C
q
(U, O())
induce un homomorsmo
i
: H
q
0
(U, O()) H
q
(U, O()).
Lema 7. Sean | = U
y 1 = V
, dos cubiertas de M, donde | es un

renamiento de 1 talque U
y suponga que ambas cubiertas satisfacen

(4.5). Entonces para dimensiones q = 0 y q = 1
H
q
0
(U, O)

= H
q
(U, O())

= H
q
(M, O())
Demostracion. Primero observemos que los homorsmos
i
: H
q
0
(U, O()) H
q
(U, O())
son inyectivos para q = 0, 1. Es claro que, cuando q = 0, i
es inyectivo.
Para q = 1 tenemos
i
: H
1
0
(U, O()) H
1
(U, O())
y por denicion de los grupos de cohomologa la aplicacion se puede ver
como
i
: Z
1
0
(U, O())/C
0
0
(U, O()) Z
1
(U, O())/C
0
(U, O())
entonces seleccionemos un cociclo (f
) Z
1
0
(U, O()) y supongamos que
(f
) es cohomologico a cero en H
1
(U, O()), esto es i
(f
) = 0 entonces
se tiene que f
= f
, para alg un f
C
1
(U, O()), y para esto
es suciente mostrar que cada f
es cuadrado integrable sobre U
. Para
cualquier punto p U
seleccionemos un conunto abierto U
tal que p U
,
as en U
, f
= f
+ f
. Ademas tanto f
como f
son cuadrado
integrables en la interseccion de U
con alguna vecindad de abierta de p en

M, as f
es cuadrado integrable all tambien.

Como U
es compacto hay una coleccion nita de estas vecindades que

cubren U
y as es claro que f
es cuadrado integrable en U
como de-
seabamos.
Ahora, como cada simplejo de la cubierta | o 1 queda dentro de una
vecindad individual, y en [[ se encuentra el isomorsmo O()

= O, entonces
se sigue del corolario 2 que H
q
([[, O()) = 0, para toda dimension q 1,
as por el teorema 8
H
q
(|, O())

= H
q
(1, O())

= H
q
(M, O()),
para toda dimension q 0. As por el corolario 3, el homomorsmo
:
H
q
(1, O()) H
q
(|, O()) inducido por el renamiento : | 1 es un
isomorsmo. Notemos tambien que para cualquier simplejo N(|) su
soporte [[ queda dentro de un subconjunto compacto de [()[, ademas la
aplicacion
se factoriza como
H
q
(1, O())

0
H
q
0
(|, O())
i
H
q
(|, O()).
Ademas se sabe que
= i
0
es un isomorsmo y i
es una aplicacion
inyectiva en dimension q = 0, 1 se sigue entonces que,
0
es un isomorsmo.
Teorema 11 (Teorema de Finitud). Si M es una supercie de Riemann
compacta y H
q
(M, O
), entonces los grupos de cohomologa H

q
(M, O())
son espacios vectoriales sobre los complejos de dimensi on nita, para q = 0
y q = 1.
Demostracion. Sean | = U
, 1 = V
y J = W
cubiertas abiertas y
nitas de M, donde | es renamiento de 1 y tal que U
y 1 renamien-
to de J y tal que

V
y supongamos que las tres cubiertas satisfacen

la condicion (4.5). Para cualquier simplejo en el nervio de cualquiera de
estas cubiertas, el espacio
0
([[, O()) tiene una estructura de espacio de
Hilbert, y as los grupos de cocadenas de cuadrado integrables son tambien
espacios de Hilbert. Y como la suma nita de espacios de Hilbert sigue sien-
do un espacio de Hilbert, pues se tiene que la aplicacion cofrontera de los
cociclos cuadrado integrables son espacios de Hilbert, aunque no se tiene
de inmediato lo mismo para los grupos de cohomologa, ya que el espacio
C
p1
0
(U, O()) de cofronteras no se conoce a un si es un subespacio cerrrado.
Entonces consideremos primero el caso q = 0, pero como H
0
0
(U, O()) =
Z
0
0
(U, O()), se tiene que este grupo de cohomologa es espacio de Hilbert.
La aplicacion : U V induce un operador lineal acotado
: H
0
0
(V, O()) H
0
0
(U, O()).
Se sigue del lema 7 que
es un isomorsmo de espacios vectoriales com-

plejos y por el teorema de la funcion abierta es un isomorsmo de espacios
de Hilbert. Por otro lado como consecuencia del teorema de Vitali (ver refe-
rencia [4]) y como se dijo con anterioridad, la aplicacion
: (V
, O())
(U
, O()) es un operador compacto; as los grupos de cocadenas son sumas

nitas de estos espacios, y el homomorsmo de grupos de cohomologa
es tambien un operador compacto. Estas dos observaciones muestran que
H
0
0
(U, O()) es un espacio de Hilbert localmente compacto y necesariamente
nito.
Ahora para q = 1, consideremos el espacio de Hilbert C
0
0
(U, O()) +
Z
1
0
(V, O()). Aplicando la aplicacion cofrontera a el primer factor y la apli-
cacion de renamiento a el segundo factor produce el siguiente homomor-
smo
(, ) : C
0
0
(U, O()) + Z
1
0
(V, O()) Z
1
0
(U, O())
se sigue del lema 7 que la aplicacion es sobre, y
: H
1
0
(V, O()) H
1
0
(U, O())
es un isomorsmo, cualquier cociclo de la cubierta | puede ser cohomologico
a un cociclo de la cubierta 1. Por otro lado, recordemos que la aplicacion
de renamiento es un operador compacto; as aplicando la aplicacion cero
al primer factor y al segundo se produce un operador compacto
(0, ) : C
0
0
(U, O()) + Z
1
0
(V, O()) Z
1
0
(U, O())
.
La diferencia (, )(0, ) de las aplicaciones es justamente la aplicacion
cofrontera
: C
0
0
(U, O()) Z
1
0
(U, O())
y se tiene el resultado deseado, que el cociente Z
1
0
(U, O())/C
0
0
(U, O()) es
un espacio vectorial de dimension nita y es una consecuencia inmediata del
siguiente lema.
Lema 8. Sea X y Y espacios de Hilbert y : X Y , : X Y un
operador lineal acotado tal que es sobre, es compacto entonces () :
X Y tiene rango cerrado (es decir; la imagen de ( ) es un conjunto
cerrado en Y) de codimensi on nita en Y
Demostracion. Sean
: Y X y
: Y X las aplicaciones adjuntas

de y respectivamente; entonces
es una aplicacion uno a uno de rango

cerrado y
es una aplicacion compacta. Notemos primero que el n ucleo K

de la aplicacion
es un subespacio nito de Y . Pero supongamos que

y
n
es cualquier sucesion acotada de elementos de K tal que (
)(y
n
) =
0. Como
es compacto, pasando a una subsecesion, si es necesario, la

sucesion
(y
n
) converge; y ademas
(y
n
) =
(y
n
) converge. Como
es
uno a uno y tiene rango cerrado, esto nos da un homeomorsmo entre Y y
su rango, as y
n
converge. Esto muestra que K es localmente compacto, y
as de dimension nita.
Ahora, podemos asumir que (
) es una aplicacion uno a uno; y

mostraremos que (
) tiene rango cerrado. Consideremos una sucesion

y
n
de elementos de Y tal que (
)(y
n
) x. Si y
n
tiene una sub-
sucesion acotada, entonces como vimos arriba podemos suponer que
(y
n
)
converge, pero entonces
(y
n
) = (
)(y
n
) +
(y
n
) converge, y de
nuevo y
n
converge a un elemento y, y (
)(y) = x. Si |y
n
| , con-
sideremos los elementos y
n
= y
n
|y
n
|
1
; estos elementos tienen norma uno, y
(
)(y
n
) = |y
n
|
1
(
)(y
n
) 0. Y otra vez podemos suponer que
(y
n
) converge de manera que
converge y as y
n
converge, diremos que
a un elemento y
. Ahora |y
| = 1, y (
)(y
) = 0 = (
)(0); y esto
contradice que (
) es uno a uno y el segundo caso no puede ocurrir.

Como (
) tiene rango cerrado, lo mismo es cierto para (); as el

espacio cociente Y

= Y/( )(X) es un espacio de Hilbert. Y induce
la aplicacion
: X Y

la cual es suprayectiva, y induce la aplicacion
: X Y

la cual es compacta; y as se tiene que
, el espacio Y

es
localmente compacto, y por tanto de dimension nita.
4.3. Teorema de Riemann-Roch
Sea D un divisor arbitrario en M. Para P X denotamos por la misma
letra P el divisor que toma el valor 1 en P y es cero fuera de el. Entonces
D D+P y tenemos la funcion inclusion O(D) O(D+P). Sea (V, z) una
coordenada local en M en una vecindad de P tal que z(P) = 0. Denimos
un homomorsmo de gavillas
: O(D + P) C
P
como sigue: supongamos que U M es un conjunto abierto. Si P / U,
entonces
U
es el homomorsmo cero. Si P U y f O(D + P)(U),
entonces la funcion admite una expansion en series de Laurent alrededor de
P, con respecto a la coordenada local z,
f =
n=k1
c
n
z
n
,
donde k = D(P). Y denimos
U
(f) := c
k1
C = C
P
(U).
Claramente es un epimorsmo de gavillas y
0 O(D) O(D + P)

C
P
0
es una sucesion exacta corta. Por el teorema (15.12) esto induce una sucesion
exacta
0 H
0
(M, O(D)) H
0
(M, O(D + P)) C
H
1
(M, O(D)) H
1
(M, O(D + P)) 0 (4.6)
Denicion 43. Si X es una supercie de Riemann compacta, al entero
g := g(x) := dim
C
H
1
(X, O) < se le llama el genero de X.
Teorema 12 (Teorema de Riemann-Roch). Sea D un divisor en una su-
percie de Riemann compacta M de genero g. Entonces H
0
(M, O(D)) y
H
1
(M, O(D)) son espacios de dimension nita y
dimH
0
(M, O(D)) dimH
1
(M, O(D)) = 1 g + degD
Demostracion. (a) Primero para el divisor D = 0. Como H
0
(M, O) = O(M)
consiste solo de funciones constantes la dimH
0
(M, O) = 1 y por denicion
dimH
1
(M, O) = g, as se verica el teorema para el divisor D = 0
(b) Sea D un divisor en M, P M y D
= D + P. Supongamos que el
resultado es valido para uno de los divisores D o D
. La sucesion exacta de
cohomologa (4.6) puede separarse en dos sucesiones exactas cortas. Ya que
V := Im(H
0
(M, O(D)) C)
W := C/V.
Entonces dimV + dimW = 1 = degD
degD y las sucesiones

0 H
0
(M, O(D)) H
0
(M, O(D
)) V 0,
0 W H
1
(M, O(D)) H
1
(M, O(D
)) 0,
son exactas. As todos los espacios vectoriales que encontramos son de dimen-
sion nita y se tienen las siguientes ecuaciones relacionando las dimenciones
dimH
0
(M, O(D
)) = dimH
0
(M, O(D)) + dimV
dimH
1
(M, O(D)) = dimH
1
(M, O(D
)) + dimW.
De donde se tiene que
dimH
0
(M, O(D
)) dimH
1
(M, O(D
)) degD
=
dimH
0
(M, O(D)) dimH
1
(M, O(D)) degD.
Esto implica que si la formula de Riemann Roch es valida para uno de
los dos divisores, entonces tambien se cumple para el otro. As por (a) el
teorema se verica para divisores D
0.
(c) Un divisor arbitrario D en M, puede escribirse
D : P
1
+ ... + P
m
P
m+1
... P
n
,
donde P
j
X. Comenzando por el divisor cero y usando (b) se prueba por
induccion que el teorema de Riemann Roch es valido para el divisor D.
Denicion 44. Denimos
i(D) := dimH
1
(M, O(D))
como el ndice de especialidad del divisor D.
As el teorema de Riemann-Roch puede escribirse de la siguiente forma
dimH
0
(M, O(D)) = 1 g + degD + i(D).
Del teorema 10 se sigue que
i(D) = g 1 degD
si degD < 0.
Teorema 13. Supongamos que M es una supercie de Riemann compacta
de genero g y a es un punto de M. Entonces hay una funcion meromorfa
no constante f en M que tiene un polo de orden menor o igual a g + 1 en
a y es holomorfa en caso contrario.
Demostracion. Sea D : M Z el divisor que cumple que D(a) = g + 1 y
D(x) = 0 para x ,= a. Por el teorema de Riemann-Roch
dimH
0
(M, O(T)) 1 g + degD = 2
As existe una funcion no constante f H
0
(M, O(T)) y esta funcion cumple
los requerimientos del teorema.
Corolario 4. Supongamos que M es una supercie de Riemann de genero
g. Entonces existe una aplicacion cubriente holomorfa f : M P
1
con a lo
mas g + 1 hojas.
Demostracion. La funcion f que encontramos en el teorema anterior, satis-
face el siguiente teorema que una aplicacion cubriente cuando toma el valor
tiene multiplicidad g + 1.
Teorema 14. Sean X, Y supercies de Riemann y f : X Y una apli-
cacion holomorfa propia y no constante. Entonces existe un n umero natural
n tal que f toma cada valor c f, contando multiplicidades, exactamente n
veces.
Para una demostracion de este teorema ver la referencia [1].
Corolario 5. Toda supercie de Riemann de genero cero es isomorfa a la
esfera de Riemann.
Demostracion. Esto se sigue del hecho que una aplicacion cubriente de una
hoja es un biholomorsmo.
4.4. Teorema de dualidad de Serre
Sea M una supercie de Riemann compacta. Para un divisor D (M, T)
denotaremos por
D
la gavilla de 1-formas meromorfas tal que para cualquier
subconjunto abierto U M, el conjunto
D
(U) consiste de todas las formas
diferenciales /
1
(U) tal que
x
() D(x) para cada x U. En par-
ticualr
0
= es la gavilla de todas las 1-formas holomorfas. Supongamos
que /
1
(U) no es una 1-forma meromorfa trivial en M, por ejemplo;
= df, donde f /(M) no es una funcion meromorfa constante. Sea K el
divisor de . Entonces para un divisor arbitrario D (M, T) multiplicarlo
por induce un isomorsmo de gavillas
O(D + K)

D
,
tal que f f.
Ahora se denira par dual
Sea M una supercie de Riemann compacta y D (M, T) un divisor.
La funcion
D
O(D)
tal que
(, f) f,
induce la aplicacion
H
0
(M,
D
) H
1
(M, O(D)) H
1
(M, ).
La composicion de esta aplicacion con Res : H
1
(M, ) C, produce una
aplicacion bilineal
<, >: H
0
(M,
D
) H
1
(M, O(D)) C,
donde
< , >:= Res().
As esta aplicacion induce otra aplicacion lineal
i
D
: H
0
(M,
D
) H
1
(M, O
D
)
de H
0
(M,
D
) al dual de H
1
(M, O(D)). El Teorema de Dualidad de Serre
arma que <, > es un par dual, es decir, i
D
es un isomorsmo.
Teorema 15. (El Teorema de Dualidad de Serre) Para cualquier divisor
D (M, T) en una supercie de Riemann M la aplicaci on
i
D
: H
0
(M,
D
) H
1
(M, O
(
D))
es un isomorsmo.
La demostracion de este teorema puede vericarse en la referencia [1].
El Teorema de Dualidad de Serre nos permite obtener la siguiente igual-
dad de dimensiones
dimH
1
(M, O(D)) = dimH
0
(M,
D
).
As podemos reescribir el Teorema de Riemann-Roch de la siguiente forma.
Teorema 16. (Teorema de Riemann-Roch) Sea M una supercie de Rie-
mann compacta de genero g, y sea D un divisor en M. Entonces
dimH
0
(M, O(D)) dimH
0
(M,
D
) = 1 g + degD.
Finalmente, como
D
es isomorfa a O(K D), podemos escribir la
identidad del teorema de Riemann-Roch como:
dimH
0
(M, O(D)) dimH
0
(M, O(K D)) = 1 g + degD.
BIBLIOGRAFA
[1] Forster O., Lectures on Riemann surfaces, Springer-Verlag, New York
U.S.A., 1981.
[2] Griths P., Harris J., Principles of Algebraic Geometry, John Wiley-
Sons, U.S.A., 1978.
[3] Gunning R. C., Lectures on Riemann surfaces, Princeton University
Press, New Jersey U.S.A., 1966.
[4] Jones F., Lebesgue Integration on Euclidean Space, Jones and Bartlett
Publishers, Canada, 2001.
[5] Spivak M., Calculo en variedades, Editorial Reverte, Espa na 1988.
[6] Wells R. O., Dierential analysis on complex manifolds, Springer-
Verlag, New York U.S.A., 1980.
[7] Zaldvar F., Funciones algebraicas de una variable compleja, Departa-
mento de Matemticas UAM-I, Mexico, 1995.
INDICE DE FIGURAS
1.1. Variedad topologica . . . . . . . . . . . . . . . . . . . . . . . 5
1.2. Funciones de transicion . . . . . . . . . . . . . . . . . . . . . 6
1.3. Proyeccion estereograca . . . . . . . . . . . . . . . . . . . . . 7
1.4. El toro complejo . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.5. Aplicacion holomorfa . . . . . . . . . . . . . . . . . . . . . . . 13
INDICE ALFAB
ETICO
K-haz vectorial, 22
o-estructura, 21
o-haz, 22
q-cocadena, 33
q-cociclos, 34
q-cofronteras, 34
q-simplejo, 33
ndice
de especialidad, 67
aplicacion holomorfa, 12
cero-cadena, 34
cohomologa
q-esimo grupo, 36
de

Cech, 36
cubierta
analtica, 6
coordenada, 5
localmente nita, 37
renamiento de una, 35
divisor
de una funcion, 52
denicion, 52
efectivo, 53
grado de un, 55
principal, 53
divisores
grupo de, 55
linealmente equivalentes, 55
espacio etal e
asociado a una pregavilla, 27
denicion, 25
seccion de un, 25
espacio paracompacto, 37
estructura analtica, 6
funcion
de transicion, 6
holomorfa, 12
meromorfa, 14
gavilla
de R-modulos localmente libre,
23
analtica, 23
cociente, 29
de modulos libre, 23
de R-modulos, 21
de germenes de divisores, 52
de germenes de secciones transver-
sales holomorfas, 56
de secciones discontinuas, 45
denicion , 18
na, 40
generada por una pregavilla,
27
rascacielos, 30
suma directa, 23
gavillas
morsmo de, 20
germen, 26
grupo
de haces lineales, 56
nervio de la cubierta, 33
73
Indice alfabetico 74
operador cofrontera, 33
orden
de una funcion en un punto,
14
particion de la unidad, 40
pregavilla, 16
pregavilla
cociente, 17
de R-modulos, 21
bra de la, 25
subpregavilla, 17
pregavillas
morsmo de, 16
Principio
del Maximo, 14
resolucion na, 41
subgavilla, 29
sucesion
exacta de gavillas, 31
supercie de Riemann, 6
Teorema
de nitud, 64
de Riemann-Roch, 66
de Weierstrass, 54
variedad
topologica, 5

Lety Velasco

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Lety Velasco

Caricato da

Copyright:

Formati disponibili

1

Cech con coecientes en la gavilla dada. Avanzando en el captulo, se estu-

) de M consiste de una cubierta U

de M junto con una familia

es llamada aplicacion coordenada.

, dos homeomorsmos distintos en

, dos aplicaciones cooordenadas z

estan relacionadas por; z

(p)). El siguiente diagrama ilustra

, y esta ultima es la funcion de

aunque, ambas son homeomorfas al toro S

) son dos cartas coordenadas con W

) esta dada como

(p) p y como es discreto

) esta denida correspondientemente como una aplicacion f : U C

cualquier aplicacion continua entre

. La aplicacion f induce un homomorsmo de la siguiente manera:

entre dos supercies de

) vecindades coordenas de p y f(p)

es holomorfo, as f es una aplicacion holomorfa. Inversamente

es una aplicacion holomorfa en una

(p), esta es la composicion

U y satisface las siguientes propiedades:

consta solo de puntos aislados.

se denominan los polos de f. Denotaremos por /(U)

(p) C, para alguna

que contenga a p y este orden se denota

O es una subpregavilla. Como toda funcion holomorfa es

es una subpregavilla. Como toda funcion

( es una subpregavilla. Y tenemos

una cubierta de U. Supon-

para todos los , .

es un morsmo de gavillas, cuando act ua en

, determina una aplicacion invertible de fuciones

, que escribimos como:

GL(r, k) y as determina funciones de transicion

. As un haz vectorial E se dene de la siguiente manera;

|(x) es tal que U

, por lo cual, |(x) es un

|(x) descritos como arriba

), es decir, por una funcion s : U

C. Eligiendo cartas coordenadas

y s(x) C, la funcion s tiene una expansion en

son iguales, as podemos denir la funcion

F. Usando que hay un morsmo de pregavillas, denotaremos a este como

) para toda x U. Pero cuando

) para alguna x U, la denicion de lmite directo implica

). Esto es valido para

la gavilla de funciones holomorfas distintas

esta denido por

ser a el grupo multiplicativo de todas las

, con las aplicaciones restricci on usuales.

U una seccion f(U

) coinciden en cada interseccion no vaca

, una seccion global de S sobre M; y as f es un cero-cociclo, esto es;

si hay una aplicacion : V U tal que V

V ; la aplicacion es llamada una aplicacion renada.

entre los grupos de secciones correspondientes

de X tiene un renamiento localmente nito; esto es, existe un renamiento

tal que cada punto x X tiene una vecindad abierta

una cubierta abierta localmente nita de

que cubren a M; y la cubierta U puede

para al menos un conjunto W

una cubierta abierta localmente nita de M.