COHOMOLOGIA

1.

Complejo de m
odulos

Sea A un anillo. Los modulos siempre seran A-modulos y los morfismos siempre
seran morfismos de A-modulos.
Definici
on 1.1. Dar un modulo graduado es dar un modulo M y para cada n Z un

submodulo Mn M de modo que M = Mn . A los elementos de Mn los llamaremos

n

elementos homogeneos de M de grado n.

diremos que
Definici
on 1.2. Un morfismo entre modulos graduados f : M M
n para todo n Z. Diremos que f es un
es un morfismo graduado si f (Mn ) M
n+k para todo n Z.
morfismo de grado k si f (Mn ) M
Si M es un modulo graduado, llamaremos M [k] al modulo graduado cuyo modulo
es M pero sus elementos de grado n son Mn+k . Es decir M [k]n = Mn+k .
de grado k son los morfismos graduados
Los morfismos f : M M
[k].
f :M M
Definici
on 1.3. Un complejo de modulos es una sucesion de modulos {Mn } y de
morfismos dn : Mn Mn+1 de modo que dn dn1 = 0 para todo n Z.
Por la definicion de complejo se tiene que Im dn1 Ker dn para todo n.

Sea {Mn , dn } un complejo de modulos. M = Mn es un modulo graduado dotado

n

de un morfismo graduado de grado 1 , d : M M , definido por d mn = dn mn para

cada mn Mn . Este morfismo verifica que d2 = 0 y lo llamaremos diferencial del
complejo.

Recprocamente si M = Mn es un modulo graduado dotado de un morfismo de

n

grado 1 , d : M M , tal que d2 = 0, entonces tenemos un complejo de modulos :

{dn = d : Mn Mn+1 }.
Definici
on 1.4. Dar un morfismo de complejos f : M N es dar un morfismo
graduado que conmuta con la diferencial; es decir f d = d f . Equivalentemente, para
cada n hay que dar un morfismo fn : Mn Nn de modo que fn+1 dn = dn fn ; es
decir el siguiente diagrama es conmutativo:

n
Mn
Mn+1
fn
fn+1
dn
Nn Nn+1

2.

Cohomologa
Sea (M , d) = {Mn , dn } un complejo de modulos.

Definici
on 2.1. Llamaremos cociclos de M al complejo Z =

Ker dn cuya difen

rencial es 0.
Definici
on 2.2. Llamaremos bordes de M al complejo B =

Im dn1 cuya dife-

rencial es 0.
Definici
on 2.3. Llamaremos complejo de cohomologa de M al complejo H (M ) =

Z /B = H n (M ) cuya diferencial es 0.
n

Llamaremos modulo n-esimo de cohomologa de M a H n (M ) = Ker dn /Im dn1 .

La cohomologa de un complejo mide la falta de exactitud del complejo. Un complejo
de modulos es una sucesion exacta de modulos si y solo si su cohomologa es 0.
Si f : M N es un morfismo de complejos, entonces f (Z ) Z y
f (B ) B . Luego induce de modo natural un morfismo entre las cohomologas:
f : H (M ) H (N )

2.1.

Sucesi
on exacta larga de cohomologa
i

Sea 0 N M P 0 una sucesion exacta de complejos de modulos.

Existe un morfismo de grado 1 , : H (P ) H (N ) , llamado el conecting y
definido como sigue: Sea zn Ker dn Pn y xn Mn tal que p(xn ) = zn . Como
p(dxn ) = d(pxn ) = dzn = 0, se tiene que dxn Ker p y por tanto existe yn+1 Nn+1 de
modo que i(yn+1 ) = dxn . Ademas dyn+1 = 0 pues i(dyn+1 ) = d(iyn+1 ) = d(dxn ) = 0.
Definimos ([zn ]) = yn+1 mod. Im dn .
i

Nn Mn Pn 0
d
d
d
p
i
0 Nn+1 Mn+1 Pn+1 0
0

yn+1

xn zn
d
d
p
i
dxn 0

Con esta definicion se tiene el siguiente triangulo exacto:

H8 (M L)

rr
i rrr
r
r
rrr

o
H (N )

LLL
LLpL
LLL
%

H (P )

Es decir Ker i = Im , Ker p = Im i y Ker = Im p .

Poniendo esta sucesion en los terminos de grado n, se tiene la sucesion exacta larga:

H n1 (P ) H n (N ) H n (M ) H n (P ) H n+1 (N ) . . .

3.

Cohomologa de haces
Sea X un espacio topologico y F un haz de modulos en X.

Definici
on 3.1. Complejo de Godement de F
Para cada haz G en X, llamaremos C 0 G al siguiente haz: Para cada abierto U de

X , C 0 G(U ) =
Gx .
xU

Hay un morfismo inyectivo natural G C 0 G dado por

s G(U ) (sx )xU

Gx = C 0 G(U )
xU

Sea F0 = F y de modo recurrente definimos Fn como el con

ucleo del morfismo
0
n
0
n
n+1
Fn1 C Fn1 y C F = C Fn . Llamaremos dn : C F C F a la composicion
de los morfismos C 0 Fn Fn+1 C 0 Fn+1 .
n
C F con la diferencial
El complejo de Godement de F es el complejo C F =
n

anterior.
Al tomar secciones globales en cada uno de los haces de la resolucion de Godement,
n
obtenemos un complejo de modulos C F (X) =
C F (X).
n

Definici
on 3.2. Llamaremos cohomologa del haz F a H (X, F ) := H (C F (X)) y
grupo n-esimo de cohomologa del haz F a H n (X, F ) := H n (C F (X)) .
Llamaremos cohomologa con soportes compactos del haz F a Hc (X, F ) := H (c (X, C F ))
y grupo n-esimo de cohomologa con soportes compactos del haz F a Hcn (X, F ) :=
H n (c (X, C F )) .
Evidentemente H (X, F ) = Hc (X, F ) si X es compacto.
Sea Y un cerrado de X, se define la cohomologa local en Y a HY (X, F ) :=
H (Y (X, C F ) y grupo n-esimo de cohomologa local en Y del haz F a HYn (X, F ) :=
H n (Y (X, C F )) .
C
alculo del H 0
Por la construccion del complejo de Godement, F C F es una resolucion de
F ; es decir es una sucesion exacta de haces. Luego tomando secciones globales se
d
tiene que: 0 F (X) C 0 F (X) 0 C 1 F (X) es una sucesion exacta. De aqu que
Ker d0 = F (X) y por tanto H 0 (X, F ) = H 0 (C F (X)) = Ker d0 /Im 0 = F (X).
Luego Hc0 (X, F ) = c (X, F ) y HY0 (X, F ) = Y (X, F ) .
= Ar donde
As si A es el haz asociado al prehaz constante A, entonces H 0 (X, A)
= 0 si X no es compacto y
r es el n
umero de componentes conexas de X , Hc0 (X, A)
0
= 0.
HY (X, A)
3

3.1.

Sucesiones exactas de cohomologa de haces

Sucesi
on exacta de Mayer Vietoris para cerrados
Sea X = C1 C2 donde C1 y C2 son cerrados de X. Si F es un haz en X entonces
se tiene que la siguiente sucesion es exacta:

H i (X, F ) H i (C1 , F ) H i (C2 , F ) H i (C1 C2 , F ) H i+1 (X, F ) . . .

Sucesi
on exacta de Mayer Vietoris para abiertos
Sea X = U1 U2 donde U1 y U2 son abiertos de X. Si F es un haz en X entonces
se tiene que la siguiente sucesion es exacta:

H i (X, F ) H i (U1 , F ) H i (U2 , F ) H i (U1 U2 , F ) H i+1 (X, F ) . . .

Sucesi
on exacta del subespacio cerrado
Sea Y un subespacio cerrado de X y U el abierto complementario. Si F es un
haz en X entonces se tiene que la siguiente sucesion es exacta:
Hci (U, F ) Hci (X, F ) Hci (Y, F ) Hci+1 (U, F ) . . .
Demostraci
on. Sea C F la resolucion de Godement de F . Se tiene la siguiente sucesion
p
i
exacta de complejos : 0 c (U, C F ) c (X, C F ) c (Y, C F ) 0.
i es ampliar a X por ceros una seccion en U , p es restringir una seccion a Y . p es
epiyectiva por ser haces blandos.
Tomando cohomologa se concluye.
Sucesi
on exacta de cohomologa local
Sea Y un subespacio cerrado de X y U el abierto complementario. Si F es un
haz en X entonces se tiene que la siguiente sucesion es exacta:
HYi (X, F ) H i (X, F ) H i (U, F ) HYi+1 (X, F ) . . .