Cohomolog a de Haces Notas sobre Cohomolog a de Haces Nicol as S.

Botbol - FCEyN - UBA

Nociones de algebra homol ogica

En esta primera secci on examinaremos algunos conceptos b asicos de algebra homol ogica necesarios para poder desarrollar una teor a de cohomolog a para haces. Se repasar an algunas deniciones b asica y los principales resutados necesarios para abordar la segunda secci on. Primeramete se denir an algunos conceptos elementales de algebra homol ogica como complejos de cadena, morsmos de complejos, resoluciones libres, inyectivas y proyectivas. Se denir a la cohomolog a de un complejo y se mencionar a la noci on de homotop a de complejos, funtores aditivos y exatos y alguanas nociones b asicas categ oricas necesaria para la buena denici on de los funtores derivados y se repasar an brevemente algunas propiedades funtoriales vinculadas con los objetos denidos. El resultado principal de este cap tulo ser a el Teorema 1.15 que, bajo condiciones convenientes, garantiza la existencia de los funtores derivados (a izquierda), y algunas de sus propiedades fundamentales.

1.1

Complejos de cadenas y cocadenas

1.1 Denici on. Sea A un anillo y sea {(M i , di )}iZ una sucesi on de A-m odulos y morsmos de A-m odulos. Se dir a que (C , d) es un complejo de cocadenas de A-m odulos, donde
di2 / di1

(C , d) :

...

M i1

/Mi

di

/ M i+1 d

i+1

/ . . .,

donde di di1 = 0, para todo i Z. 1.2 Observaci on. Si (C , d) es un complejo, se tiene que di di1 = 0, luego im(di1 ) i ker(d ). Notaremos con (C (M ), d) al complejo de cocadenas de A-m odulos que est a formado por {(M i , di )}iZ . Y con (C (M ), d) al complejo de cadenas correspondiente. 1.3 Denici on. Se dene el i- esimo grupo de la cohomolog a asociado al complejo (C , d) i i i 1 como: H (C ) = ker(d )/im(d ) para todo i Z. 1.4 Denici on. Un complejo (C , d) se dir a exacto si im(di1 ) = ker(di ) para todo i Z. Con la notac on anterior se dir a exacto si H i (C ) = 0. 1.5 Nota. An alogamente (dualmente) se denen los complejos de cadenas (complejos de cocadenas en la categor a opuesta), y se dualiza la denici on de cohomolog a.

N. S. Botbol

Considerese ahora una categor a D (podemos suponer que se trata de la categr a de m odulos sobre un anillo conmutativo A), podemos considerar complejos de cadenas sobre los objetos de D, se ver a a continuaci on que estos tambi en forman una categor a, que se denominar a Comp(D), donde las echas se denen con se explica abajo. 1.6 Denici on. Sean (C , d) y (C , d ) dos complejos, sea r Z. Un morsmo de complejos de f : (C , d) (C , d ) de grado r es una sucesi on de morsmos (en general de i i + r m odulos) fi : M M tales que el siguiente diagrama conmuta: Mi

d fi+1 fi

/M /M

i+r

Mi+1

i+1+r

En un diagrama m as completo fi y fi+1 se ilustrar an de la siguiente forma: ...

di1 d / i+1 d / M i+r d / M i+1+r / M i WWW WWWWW / . . . WWWM WWWWW f WWWW f WWWW WWWWi i+1 WWWWW WWWW WWWWW WWWW WWW+ WW+ /M i / M i+r / M i+1 / ... / M i+1+r di d i+1 d i+r
i i+1 i+r

/ ... / ...

...

d i1

donde la condici on de conmutatividad del cuadrado anterior se traduce a pedir conmutatividad en el rombo central. De acuerdo con el abuso de notaci on que se comete el llamar d a la echa di , tambi en se llamar a f a la echa fi . Notar tambi en que esta denici on puede no tener sentido si los complejos no tienen la misma longitud. Sup ongase que se tiene dos complejos (C , d) y (C , d ), y dos morsmos de complejos f, g : (C , d) (C , d ). Se tiene denido H (C ) y H (C ). Como los morsmos f y g consisten en familias de morsmos fi , gi : M i M i , resulta natural preguntarse preguntarse bajo qu e condiciones estos pasan al cociente lugar a lugar. Esto es, cu ando los mossmo de complejos inducen mormos entre las homolog as y qu e relaci on hay entre los inducidos. Surge aqu la necesidad de denir la noci on de homotop a entre morsmos de complejos. 1.7 Denici on. Sean (C , d) y (C , d ) dos complejos, y dos morsmos de complejos f, g : (C , d) (C , d ). Se dice que f y g son homot opicos (se notar af g ) si existe i i 1 i 1 una sucesi on de morsmos {hi }, donde hi : M M tal que fi gi = d hi + hi+1 di para todo ndice i. En un diagrama, la situaci on se ilustra como sigue: ...
di2 /

...

d i2

/ M i d / M i+1 d / M i+2 d x u x uu xx xx gi1 gi+1 gi+2 gi xx uu fi1 fi+1 fi+2 xx fi u x x u   {xx hi   {xx hi+1   zuu hi+2   / M i1 /M i / M i+1 / M i+2

M i1

di1

i+1

i+2

/ ... / ...

d i1

di

d i+1

d i+2

Cohomolog a de Haces

Se usar a esta condici on de los morsmos para probar algunos resultados que ser an de gran importancia en la pr oxima secci on. 1.8 Lema. Sean (C , d) y (C , d ) dos complejos, y dos morsmos de complejos f g: (C , d) (C , d ) (homot opicos). Entonces inducen el mismo morsmo en la homolog a i i H (C ), esto quiere decir que H (fi ) = H (gi ) : H (C ) H (C ). 1.9 Lema. Sean (C , d) y (C , d ) dos complejos (como se ilustra en el diagrama) 0
/M

/I0 /I

/I1 /I

/I2 /I

/ ... / ...

/M

tal que la la superior es exacta, los I i son objetos inyectivos (i 0) y es un morsmo. Entonces existe un morsmo f de complejos, tal que en grado -1 coincide con . Y tal que si hay dos de estos, entonces son homot opicos. 0
/M /M 
=f1

/I0 /I 
f0 0

/I1 /I 
f1 1

/I2 /I 
f2 2

/ ... / ...

g : (C , d) (C , d ) .

Entonces inducen el mismo morsmo en la homolog a H (C ), esto quiere decir que H (fi ) = H (gi ) : H i (C ) H i (C ). 1.10 Denici on. Se dir a que un morsmo de complejos f : (C , d) (C , d ) es una equivalencia homot opica si existe un morsmo f : (C , d ) (C , d) tal que f 1 f 1C y f 1 f 1C . En este caso se dir a que (C , d) y (C , d ) son del mismo tipo homot opico (C , d) (C , d ). 1.11 Observaci on/Resultado. De acuerdo a lo reci en denido se tiene que: (a) Es f acil ver que H i ( ) resulta un funtor, esto quiere decir que si se tiene f : (C , d) (C , d ) y g : (C , d ) (C , d ), entonces H i (gf ) = H i (g )H i (f ), y que H i (IdC ) = IdH (C ) . (b) Supongamos que en la situaci on del lema anterior M y M coinciden, y que el morsmo resulta la identidad, entonces dadas dos resoluciones de M , las cohomolog as coinciden.

1.2

Resoluciones libres, proyectivas e inyectivas

Veremos en este par agrafo que en la categor a de m odulos sobre un anillo A siempre existen resoluciones inyectivas.

N. S. Botbol

Si A es un anillo, y M es un A-m odulo, M puede presentarse como cociente de un A-m odulo libre L0 . i.e. existe una echa 0 : L0 M , que es un epimorsmo, entonces M = L0 /Ker(0 ). Ker(0 )
/ L0
0

/ /M

En general Ker(0 ) no resulta libre, lo cual motiva escribirlo en t erminos de m odulos libres como se hizo con M , con el objetivo de tener una escritura de M que s olo involucre m odulos libres. Se tiene entonces 1 : L1 Ker(0 ). Se tiene KerO(0 )
O
1

L1

/ : : L0 v v v 1 v vv vv v v

/ /M .

An ogamente existe un m odulo libre L2 y 2 : L2 obtendr a de esta manera una sucesi on L: ...
i+2

Ker(1 ) y se dene 1 : L2 L1 . Se

/ Li+1

i+1

/ Li

/ ...

/ L1

/ L0 (

/M

/ 0) .

En lo sucesivo no se escribir a el u ltimo par de echas. En este caso (cuando los Li son libres) se dice que se tiene una resoluci on libre del m odulo M . En el caso en que los Li sean solamente proyectivos se dir a que se tiene una resoluci on proyectiva de M . Tambi en es posible construir una resoluci on, donde las echas vayan en sentido contrario. I: 0
0

/M

/ I0

/ I1

/ ...

i2

/ Ii1

i1

/ Ii

/ . . ..

En el caso en que los I i son inyectivos se dir a que se tiene una resoluci on inyectiva de M . Se coment o en la secci on anterior que si se tienen dos resoluciones proyectivas o inyectivas de un objeto M I: 0
/M

/I0 /I

/I1 /I

/I2 /I

/ . . .. / ...

I :

/M

Y es un morsmo. Entonces existe un morsmo f de complejos, tal que en grado -1 coincide con . Y tal que si hay dos de estos, entonces son homot opicos. Resulta que en el caso de resoluciones, como se tiene el morsmo 0 en grado -2 y el morsmo identidad en grado -1, se puede levantar = IdM a un morsmo f : I I y f : I I . Adem as,

Cohomolog a de Haces

como el primer cuadrado conmuta, f f, IdI : I I son dos morsmos de complejos que resultan homot opicos, esto da una homotop a entre I e I . I:


0

0

/M /M 
=IdM

/I0 /I 
f0 0

/I1 /I 
f1 1

/I2 /I 
f2 2

/ ... / ...

I :

Como I I . Entonces inducen el mismo morsmo en la cohomolog a. Se ver a m as adelante qu e sucede si se le aplica un funtor F a una resoluci on, y se denir a como el i- esimo funtor derivado de F a la i- esima homolog a del complejo que se obtiene al aplicar el funtor F , esto permite mdir cu an inexacto es el funtor F .

1.3

Funtores derivados

En lo que sigue se asumir a que se trabaja en categor as abelianas (en general ser a conveniente pensar que se trata de la categor a de m odulos sobre un anillo conmutativo), esto es: 1.12 Denici on. Una categor a A se dice abeliana si: dados A y B objetos de A, Hom(A, B ) tiene estructura de grupo abeliano y la ley de composici on es lineal, hay suma directa, n ucleo y con ucleo y todo morsmo se factoriza como un un epimorsmo segido de un monomorsmo. 1.13 Deniciones. Sean A, y B son dos categor as abelianas y F : A B es un funtor (covariante), se dice: (a) aditivo si dados f, g HomA (A1 , A2 ) dos morsmos en A de A1 en A2 , F (f + g ) = F (f ) + F (g ) HomB (F (A1 ), F (A2 )) y si F preserva identidades, en resumen, se pide que F sea un morsmo de grupos abelianos; (b) exacto a izquierda si es aditivo y si dada una sucesi on exacta 0 M M M , la sucesi on 0 F (M ) F (M ) F (M ) resulta exacta; (c) exacto a derecha si es aditivo y si dada una sucesi on exacta M M M 0, la sucesi on F (M ) F (M ) F (M ) 0 resulta exacta. 1.14 Denici on. Dado un objeto M , sea I : 0 M I 0 I 1 I 2 . . . una resoluci on inyectiva de M . Se dene el q- esimo funtor derivado a derecha de F , que se nota Rq F , como Rq F (M ) = H q (F (I )). Esto dice que el q- esimo funtor derivado a derecha de F , es la q- esima homolog a del complejo 0 F (I 0 ) F (I 1 ) F (I 2 ) . . . . Seg un lo visto en las secciones anteriores, estos funtores est an bien denidos, ya que no dependen de la resoluci on tomada.

N. S. Botbol

Supongamos que se tienen dos resoluciones inyectivas de un objeto M , I e I (que como se vi o, resultan homot opicas) I:


/ (M / (M 
Id

/ )I 0 / )I

/I1 /I

/I2 /I

/ ... / ...

I :

Como F I F I . Entonces la homolog a H i (F I ) resulta naturalmente isomorfa la homolog a H i (F I ). Esto dice que Rq F (M ) = H q (F (I )) = H q (F (I )), con lo cual se tiene la buena denici on, tal como se quer a. Se enunciar an a continuaci on algunas propiedades de los funtores derivados. Lo haremos solamente para el caso en F sea un funtor covariante exacto a izquierda, pero los otros tres casos son id enticos y se obtienen dualizando. 1.15 Teorema. Sean A, y B son dos categor as abelianas y F : A B un funtor covariante exacto a izquierda. Entonces: (a) Para cada i 0 se tiene Ri F , el i- esimo funtor derivado a derecha de F . Este funtor resulta aditivo y es independiente de la resoluci on inyectiva elegida, m odulo isomorsmos naturales de funtores; (b) existe un isomorsmo natural F R0 F ;

(c) para cada sucesi on exacta corta en A, 0 M M M 0 y para cada i se tiene un morsmo natural (llamado morsmo de conexi on) i : Ri F (M ) Ri+1 F (M ) y una sucesi on exacta larga . . . Ri F (M ) Ri F (M ) Ri F (M ) Ri+1 F (M ) Ri+1 F (M ) . . . ; (d) si I es un objeto inyectivo en A, entonces Ri F (I ) = 0 para todo i > 0; (e) si {J k }k es una familia de objetos ac clicos para el funtor F , es decir, si J : 0 M J 0 J 1 J 2 . . . es exacta, Ri F (J k ) = 0 para todo i > 0 y todo k ; entonces para todo i, existe un isomorsmo natural Ri F (M ) H i (J ).
i

Cohomolog a de Haces

Cohomolog a de haces

Desarrollaremos aqu una teor a de cohomolog a para haces de grupos abelianos sobre espacios topol ogicos. Primero recordaremos algunas deniciones y repasaremos las propiedades necesarias para desarrollar la teor a que nos convoca. Luego aplicaremos la teor a repasada en la secci on anterior en este contexto, obteniendo as una teor a de cohomolog a para haces de grupos abelianos sobre espacios topol ogicos como tambi en para haces de anillos sobre espacios anillados, es decir, pares (X, O), donde X es un espacio topol ogico, y O un haz de anillos sobre X . Hay esencialmente tres posibles acercamiento a la teor a de cohomolog a a coecientes en haces, el primero (tambi en hist oricamente) corresponde a Serre, quien deni o los grupos de cohomolog a a coecientes en un haz dado, mediante los grupos de cohomolog a de Cech para ese haz. El segundo enfoque, que es el que adoptaremos, es la denici on de estos grupos a trav es de los funtores derivados del funtor de secciones globales, este enfoque es el m as general y corresponde a Grothendieck. Finalmente, el tercer enfoque debido a Godement, con el que mecharemos de vez en cuando, consiste en la denici on de estos grupos como los grupos de cohomolog a de una resoluci on asque. La ventaja del primer enfoque es que este es pr acticamente el u nico que resulta implementable en los c alculos, sin embargo el segundo enfoque es un poco m as general y es el que se desarrolla en el EGA III primera y segunga parte.

2.1

Sobre la categor a de haces

Para comenzar repasaremos brevemente la denici on de haz de grupos abelianos sobre un espacio topol ogico X . Deniremos morsmos de haces, y con esto tendremos una categor a que tiene como objetos a los haces de grupos abelianos sobre X que notaremos como A b(X ). 2.1 Denici on. Sea X un espacio topol ogico, un prehaz P sobre X es un funtor contravariante de la categor a de abiertos de X con las inclusiones, que denotaremos T op(X ), a la categor a de grupos abelianos. Se tiene entonces que: (a) P () = 0; (b) si U es un abierto de X , y denota la restricci on, entonces |U,U es la identidad de P (U ); (c) si U V W son abiertos de X , entonces W,V V,U = W,U . 2.2 Denici on. Diremos que F es un haz sobre X si es un prehaz que adem as verica que: (a) si U es un abierto de X , {Vi } es un cubrimiento por abiertos de U y toda secci on de F en U s F (U ), verica que U,Vi (s) = 0 para todo i, entonces s = 0;

N. S. Botbol (b) si U es un abierto de X , {Vi } es un cubrimiento por abiertos de U y se tiene secciones si F (Vi ) tales que conciden en las intersecciones, entonces existe una secci on global que extiende a todas las si .

2.3 Denici on. Supongamos que F y G son dos prehaces en X , un morsmo de prehaces (la misma cosa para haces) consiste en una familia de morsmos de grupos abelianos {U }, uno para cada abierto U de X , donde U : F (U ) G (U ) es tal que si V U son dos abiertos de X , entonces el siguiente diagrama conmuta: F (U ) F (V )

U,V V U

/ G (U ) / G (V ) 
U,V

Repasaremos a continuaci on una construcci on de gran utilidad en geometr a algebraica, que permite comprender la naturaleza local de estos objetos. 2.4 Denici on. Si F es un prehaz en X , y p X es un punto, denimos el stalk Fp de F en p, que muchas veces tambi en se denomina g ermenes de F en p, como el col mite ltrante de grupos F (U ), sobre el ltro de entornos de p. Es decir, Fp := lim F (U )

Obs ervese que v a el funtor lim ( ), cada morsmo de prehaces : F G en X induce un morsmo en los stalks, p : Fp Gp , para cada p X . Respecto de los g ermenes, los siguientes resultados son v alidos y ser an necesarios en lo que resta de las notas. 2.5 Lema. Sea X un espacio topol ogico y : F G es un morsmo de haces sobre X . Entonces: (a) es un isomorsmo si y solo si p lo es para cada p X ; (b) (ker )p = ker(p ) e (im)p = im(p ); (c) es un inyectiva si y solo si p lo es para cada p X ; (d) si . . . F i1 F i F i+1 . . . es exacta si y solo si la correspondiente scesi on en los stalks lo es. Recordemos que tener un morsmo de (pre)haces es tener una familia de morsmos de grupos abelianos {U }U T op(X ) , tales que U : F (U ) G (U ). Para cuando se trata de haces, una notaci on un poco m as sugestiva para lo anterior ser a la siguiente. Dado F un haz de grupos sobre un espacio topol ogico X , y U un abierto de X , F (U ) denota todas las secciones denidas sobre todo U , tambi en se escribe (U, F ). Naturalmente (X, F ) denotar a el grupo de secciones globales, es decir, denidas en todo X . Si : F G es un morsmo de haces, escribiremos a veces (U, ) al referirnos al morsmo U .
i1 i i+1

Cohomolog a de Haces

La raz on por la que decimos que esta notaci on es m as sugestiva es que si se tiene un mossmo de haces como el anterior, este induce para cada abierto U un morsmo de grupos (U, ) : (U, F ) (U, G ), (U, ) resultar a un funtor de la categor a de haces de grupos abelianos sobre U , A b(U ), en la categor a de grupos abelianos Ab. En la categor a de prehaces tambi en existe el prehaz n ucleo, prehaz con ucleo, prehaz imagen y existe la noci on de subprehaz. El caso del prehaz imagen y con ucleo es un poco m as delicado, en los dem as casos, si se trata de un morsmo de haces, los n ucleos y subhaces resultan tambi en haces, sin embargo el prehaz con ucleo e imagen de un morsmo de haces puede no resultar haz. En este tipo de situaciones, el problema se remedia mediante un m etodo que no explicaremos, conocido como hacicaci on o contrucci on ++, que a cada prehaz le asigna un haz determinado. Todas estos objetos, n ucleo, con ucleo, suprehaz, imagen, etc. se denen de forma tal que para cada abierto U , a trav es del funtor (U, ) resulten el objeto correspondiente en la categor a Ab. Para el caso de un subhaz G de un haz F se pedir a tambi en que las restricciones de G sean las inducidas por las de F .

2.2

El funtor (X, )

Pasemos ahora a ver algunas propiedades funtoriales del funtor de secciones globales (X, ). Por denici on, si F es un haz, para cada abierto U , (U, F ) es un grupo abeliano, aquel formado por las secciones de F denidas en todo U , en particular (X, F ) es un grupo abeliano. Vimos reci en que si : F G es un mossmo de haces de grupos abelianos, este induce para cada abierto U un morsmo de grupos (U, ) : (U, F ) (U, G ), claramente, esto tambi en vale tomando U = X . Entonces tenemos una asignaci on de objetos de A b(X ) en objetos de Ab y dado dos objetos de A b(X ), para cada echa entre ellos se obtiene una echa (X, ) = X entre las correspondientes im agenes en Ab. Es f acil ver que dados tres haces y mosmos entre ellos F F F
(X,) (X, )

se tiene

(X, F ) (X, F ) (X, F ) y la echa identidad para un haz F se aplica en la identidad de (X, F ). Esto prueba que (X, ) es un funtor covariante (preserva el sentido de las echas) de A b(X ) en Ab. M as a un, como la categor a de haces sobre un espacio topol ogico es una categor a abeliana (hay n ucleos, con ucles, etc.) (ver denici on 1.12) resulta natural preguntarse si este funtor es aditivo (1.13(a)). Afortunadamente la respuesta es que s lo es. Incluso a exacto a izquierda (ver denici on 1.13(b)), probaremos ahora este m as, (X, ) resutar resultado, que ser a clave en nuestro tema de estudio. 2.6 Proposici on. Sea 0F F F una sucesi on exacta de haces de grupos abelianos sobre un espacio topol ogico X . Para cada abierto U de X , la sucesi on
U U 0 (U, F ) (U, F ) (U, F )

resulta exacta.

10

N. S. Botbol

on como la escrita, que Demostraci on. Por la funtorialidad de (U, ) se tiene una sucesi resulta un complejo, lo que falta probar es la exactitud en los dos lugares. En primer lugar, recordemos que ker() es un haz tal que para cada abierto U de X , (ker())(U ) = {s F (U ) tales que U (s) = 0}. La inyectividad de implica que (ker())(U ) = 0 para todo U X , luego si s (ker())(U ), entonces s = 0. Hemos probado entonces la exactitud en el primer lugar. Veamos ahora que im(U ) = ker(U ). Sea t ker(U ), es decir, t F (U ) tal que U (t) = 0. Dado un punto x U , como im(x ) = ker(x ) por la exactitud de la sucesi on de los g ermenes del Lema 2.5 (d), existe un elemento sx Fx tal que x (sx ) = tx , que resulta u nico por la inyectividad de x (que proviene de la de ). Sea V un entorno abierto de x, y sea sV F (V ) tal que su germen en x resulte sx . Por la exactitud reci en mencionada existe W , entorno de x, tal que x W V y (|V,W V )(sV ) = |V,W (t). Entonces existe un cubrimiento por abiertos {Ui }i de U y secciones si F tales que Ui (si ) = |U,Ui (t). Como Ui es inyectiva, los si est an un vocamente determinados. Si llamamos Ui,j a Ui Uj , y supongamos que Ui,j = , entonces Ui,j tambi en es inyectiva. Se tiene entonces que Ui ,Ui,j (si ) = Uj ,Ui,j (sj ). Luego por la propiedad 2.2 (b) existe una secci on s F (U ) tal que U,Ui (s) = si , y entonces U (s) = t. Con lo cual se prueba que im(U ) ker(U ). la otra inclusi on es clara, ya que por la exactitud de la sucesi on de haces = 0, entonces como (U, ) es funtor, se tiene que U U = 0, y entonces im(U ) ker(U ). Se tiene entonces que la sucesi on resulta exacta. 2.7 Nota. En general U no resulta suryectiva. Ahora, de acuerdo con el teorema 1.15 tenemos denidos los funtores derivados de (X, ), estos resultar an los funtores de cohomolog a buscados H i (X, ). No se hace, ni se har a en este texto referencia a -funtores universales, pero para el lector entendido, queda como ejercicio vericar que para todo i, H i (X, ) es de este tipo.

2.3

Cohomolog a a coecientes en haces

Desarrollaremos aqu la teor a de cohomolog a de haces, tomando los funtores derivados potesis los del funtor de secciones globales (X, ). Se puede probar que bajo ciertas hi grupos de cohomolog a aqu denidos coinciden con los grupos de cohomolog a de Cech que se denen a partir de un cubrimiento por abiertos de X , permitiendo esto hacer efectivo el c alculo de cohomolog a en ejemplos concretos. En lo que sigue, aceptaremos sin demostraci on que: 2.8 Teorema. Sea (X, O) un espacio anillado. La categor a de haces de O-m odulos sobre el espacio anillado (X, O), que denotaremos por M od(X ) tiene sucientes objetos inyectivos (es decir, todo haz F admite una resoluci on inyectiva). 2.9 Corolario. Si X es un espacio topol ogico, entonces la categor a de haces de grupos abelianos en X , es decir de Z -m odulos que denotaremos por A b(X ), tiene sucientes inyectivos.

Cohomolog a de Haces

11

Antes de adentrarnos en los detalles m as sutiles que involucra el trato con haces, deniremos aqu mismo los grupos de cohomolog as a coecientes en un haz F dado sobre un espacio topol ogico X . 2.10 Denici on. Sea X un espacio topol ogico, y sea F un haz de grupos abelianos sobre X . Como a categor a de haces de grupos abelianos A b(X ) y la de grupos abelianos Ab son categor as abelianas, y (X, ) : A b(X ) Ab es un funtor covariante exacto a izquierda; de acuerdo con el teorema 1.15 tenemos denidos sus funtores derivados a derecha. Entonces denimos: H i (X, ) = Ri ((X, )). Se dir a que H i (X, F ) son los grupos de cohomolog a de F . Obs ervese que hasta este momento no hemos usado ninguna propiedad extra del espacio X , m as que la existencia de una topolog a, y ninguna propiedad de F m as all a de su condici on de haz de grupos abelianos sobre X . Como hemos mencionado antes, el c alculo de estos funtores derivados involucra computar una resoluci on inyectiva del haz en cuesti on. Esta tarea suele ser sucientemente inimplementable como para que se busquen caminos alternativos. En este punto es donde nos separamos por primera vez de la teor a general. Aunque nuestra denici on no parece ser la m as adecuada para efectuar c alculos vendr a bien entender quienes son los objetos inyectivos en esta categor a. Al menos, como esto puede resultar dif cil, veremos que existe una familia sucientemente buena de haces que llamatemos haces asque (blando o en ingl es abby), que nos permitir an calcular los grupos de cohomolog as. 2.11 Denici on. Un haz I sobre un espacio topol ogico X se dir a asque si cada secci on de I sobre un abierto U de X puede ser extendida a una secci on global. En t erminos m as algebraicos, esto dice que la restricci on |U,X : I (X ) I (U ) es suryectiva. Las razones por las cuales los haces asque son importantes son varias y se enuncian sin demostraci on en la siguiente proposici on: 2.12 Proposici on. (a) En el contexto anterior, donde (X, O) es un espacio anillado, los haces de O-m odulos inyectivos resultan asque, en particalar, tomando O = Z se tiene que todo haz de grupos abelianos que es inyectivo es asque; (b) si 0 F F F 0 es una sucesi on exacta de haces de grupos abelianos sobre un espacio topol ogico X , y suponamos que el haz F es asque. Entonces para cada abierto U de X , se tiene la siguiente sucesi on exacta de grupos abelianos 0 (U, F ) (U, F ) (U, F ) 0; (c) si 0 F F F 0 es una sucesi on exacta de haces de grupos abelianos, y F y F son asque, entonces F tambi en lo es;

12

N. S. Botbol

(d) si f : X Y es una funci on continua entre dos espacios topol ogicos. Si F es un haz asque en X , entonces f F es un haz asque en Y ; (e) todo haz constante es asque Como hemos visto reci en los objetos inyectivos (haces de O-m odulos inyectivos) resultan asque, vimos tambi en que en nuestro contexto hay sucientes objetos inyectivos. Luego, dado un haz F de grupos abelianos, siempre podemos generar una resoluci on asque, esto es, una resoluci on de F con haces de este tipo. Supongamos que se tiene I un haz asque sobre un espacio topol ogico, como hay sucientes objetos inyectivos, podemos incluir I dentro de un objeto inyectivo J de la categor a de haces de grupos abelianos, y denominando con Q al cociente, se tiene que 0I J Q0 es una sucesi on exacta de haces. Ahora, como I es asque, se tiene que 0 (X, I ) (X, J ) (X, Q ) 0. A su vez, de acuerdo con el teorema 1.15 (a), se tienen los ya denidos grupos de cohomolog as, y por 1.15 (c) a partir de 0 I J Q 0 se obtiene una sucesi on exacta larga en las cohomolog as 0 H 0 (X, I ) H 0 (X, J ) H 0 (X, Q ) H 1 (X, I ) H 1 (X, J ) . . . . . . H n1 (X, Q ) H n (X, I ) H n (X, J ) H n (X, Q ) . . . como J es un objeto inyectivo, por 1.15 (d) se tiene que H i (X, J ) = 0 para todo i > 0. A patir de la sucesi on exacta larga obtenida 0 H 0 (X, I ) H 0 (X, J ) H 0 (X, Q ) H 1 (X, I ) 0 . . . . . . 0 H n1 (X, Q ) H n (X, I ) 0 H n (X, Q ) . . . tenemos que el morsmo de conexi on da un isomorsmo : H i1 (X, Q ) H i (X, I ), para todo i > 1. Como I es asque, por lo observado en 2.12(b), se tiene que el principio de la sucesi on exacta larga da lugar a una sucesi on exacta corta de las secciones globales, 1 y por lo tanto H (X, I ) = 0. Como este procedimiento se puede hacer para todo haz asque, a partir de 2.12 (a) J resulta asque y por 2.12(c) junto con que I es asque se tiene que Q tambi en lo es. Luego tambi en tenemos que H 1 (X, Q ) = 0. Luego por inducci on se tiene el resultado buscado. 2.13 Nota. Este razonamiento nos dice que los haces asque resultan ac clicos para el funtor (X, ). Como corolario de 1.15 (e) se tiene en el siguiente resultado:

Cohomolog a de Haces

13

2.14 Proposici on. Sea X un espacio topol ogico, y F un haz asque sobre X . Entonces (a) H 0 (X, F ) (X, F );

(b) H i (X, F ) = 0 para todo i > 0. A partir de ac a el camino a recorrer deber a resultar estandar, ya sabemos que dado un haz de grupos abelianos F podemos encontrar una resoluci on asque del tipo: 0 F I0 I1 I2 ..., clico. Ahora podremos calcular los grupos de para la cual el funtor (X, ) resulta ac cohomolog a tomando resoluciones asque. Como indica el siguiente teorema: 2.15 Teorema. Sea X un espacio topol ogico y sea F un haz de grupos abelianos. Podemos considerar una resoluci on asque I de F 0 F I0 I1 I2 ..., y luego aplicando el funtor de secciones globales se tiene que 0 (X, F ) (X, I 0 ) (X, I 1 ) (X, I 2 ) . . . . Entonces los grupos de cohomolog a de haces antes denidos coinciden con H i (X, F ) calculados como los grupos cohomolog a del complejo anterior. Demostraci on. Consideremos (X, ) : A b(X ) Ab el funtor de secciones globales de haces de grupos abelianos o bien pensado como funtor de haces de O-m odulos, como los haces asque resultan ac clicos para este funtor, por el teorema 1.15 (e) para cada i se tiene un isomorsmo natural entre los grupos de cohomolog a H i (X, F ) H i (I ).

2.4

Algunos resultados t ecnicos

2.16 Denici on. Sea X un espacio topol ogico, U X un subespacio abierto de X . Sea F un haz denido en el abierto U . Denotemos por i! F , al haz en X asociado al prehaz que aplica V F (V ) si V U y 0 si no (es decir si V U = ). 2.17 Lema. Sea X un espacio topol ogico, Z X un subespacio cerrado, j : Z X el morsmo de inclusi on y U = X Z el abierto complementario, provisto de su inclusi on i : U X. (a) Sea F un haz en Z . Entonces los g ermenes (j F )p en X resultan Fp si p Z y 0 en caso contrario. Luego, j F consiste en el haz que extiende por cero a F fuera de Z .

14

N. S. Botbol

(b) Sea i! F como en 2.16. Entonces, el stalk (i! F )p coincide con Fp si p U y es nulo si p / U . M as a un, i! F es el u nico haz que tiene esta propiedad, y cuya restricci on a U coincide con F . Luego, i! F consiste en el haz que extiende por cero a F fuera de U . (c) Sea F un haz en X , F |U y F |Z las correspondientes restricciones. Entonces existe una sucesi on exacta de haces sobre X de la forma: 0 i! (F |U ) F j (F |Z ) 0. 2.18 Lema. Sea X un espacio topol ogico noetheriano y {F } un sistema dirigido de haces abelianos (por ejemplo de haces de grupos abelianos). Entonces para cada i 0, los funtores lim ( ) y H i (X, ) conmutan, es decir, existen isomorsmos naturales

lim H i (X, F ) H i (X, lim F ) .

2.19 Corolario. El funtor de cohomolog a conmuta con sumas directas innitas. 2.20 Lema. Sea X un espacio topol ogico, Z X un subespacio cerrado con j : Z X el morsmo de inclusi on y F un haz de grupos abelianos sobre Z . Entonces para cada i 0, H i (Z, F ) = H i (X, j F ). Demostraci on. Sea I una resoluci on asque de F en Y , entonces por la exactitud de j y 2.12(d) se tiene que j I es una resoluci on asque de j F en X . Adem as, para cada i, (Y, I i ) = (X, j I i ), y por lo tanto los grupos de cohomolog a coinciden.

2.5

Una aplicaci on: El teorema de Anulaci on de Grothendieck

En esta secci on veremos una aplicaci on de la teor a introducida. El teorema que vamos a presentar fue enunciado por Grothendieck, y probado por Serre para haces coherentes sobre curvas algebraicas y variedades algebraicas proyectivas y luego fue generalizado. Este resultado enuncia en el contexto de haces y espacios topol ogicos una versi on similar a un teorema que arma que los grupos de homolog a singular en una variedad diferenciable real de dimensi on n se anulan para i > n. 2.21 Teorema (Teorema de anulaci on, Grothendieck). Sea X un espacio topol ogico noetheriano de dimensi on n. Entonces para todo i > n y para todo haz de grupos abelianos F en X , se tiene que H i (X, F ) = 0.

2.22 Notaci on. Antes de probar el teorema, estableceremos la siguiente notaci on.

Cohomolog a de Haces

15

(a) Si Z es un subespacio cerrado de X dotado de la inclusi on j : Z X , entonces para cada haz F en X escribimos FZ = j (F |Z ). (b) Si U es un abierto de X , e i : U X es la inclusi on, notaremos FU = j! (F |U ). En particular, por el Lema 2.17(c), se tiene una sucesi on exacta de haces sobre X de la forma 0 FU F FZ 0. Demostraci on del Teorema 2.21. Probaremos el teorema por inducci on en n, en varios pasos: Paso 1. Primero, veremos que podemos llevar el problema al caso en que X es irreducible. Para probar esto, supongamos que X es reducible, sea Z una de sus componentes irreducibles (por lo tanto Z es cerrado), y U = X Z el complemento. Entonces para cada haz F , por el lema 2.17(c), se tiene una sucesi on exacta 0 FU F FZ 0. A partir de esta sucesi on exacta corta, de acuerdo al Teorema 1.15, construimos la sucesi on exacta larga de cohomolog as: 0 H 0 (X, FU ) H 0 (X, F ) H 0 (X, FZ ) H 1 (X, FU ) H 1 (X, F ) . . . . . . H i (X, FU ) H i (X, F ) H i (X, FZ ) H i+1 (X, FU ) . . . . Bastar a probar que H i (X, FZ ) = 0 y que H i (X, FU ) = 0, para i > n. Z es cerrado e irreducible y, de acuerdo con 2.17(b), FU puede pensarse como un haz sobre el cerrado , que tiene una componente irreducible menos que X . Notar que es aqu U donde se usa la noetherianidad de X . Usando el Lema 2.20, podemos identicar H i (Z, F ) = H i (X, FZ ), y procediendo por inducci on en la cantidad de componentes irreducibles de X , reducimos el problema a demostrar el teorema para X irreducible. Paso 2. Supongamos que X es irreducible de dimensi on cero, entonces los u nicos abiertos de X son: X mismo y el conjunto vac o (de haber un abierto propio no vac o, el complemento ser a un cerrado propio, no vac o e irreducible, lo cual es absurdo). Entonces (X, ) induce una equivalencia entre las categor as A b(X ) y Ab, asignando a cada F A b(X ) el grupo F (X ), y de la misma forma con las echas. La inversa le asigna a cada G Ab el haz F denido como F (X ) = G y F () = 0 y las echas se denen como la misma echa que en grupos en un caso y el morsmo constante cero en el otro. Como (X, ) es una equivalencia en particular es exacto y por denici on se tiene que H i (X, F ) = 0 para todo F A b(X ) y para todo i > 0. Paso 3. Supongamos ahora que X es irreducible de dimensi on n, y sea F A b(X ). Consideremos el siguiente conjunto C = U X F (U ) y sea el conjunto de partes nitas de C . Para cada ( es un subconjunto nito de C ), sea F el subhaz de F generado por las secciones en , sobre cualquier abierto. Claramente es un conjunto dirigido por la inclusi on y F = lim F .

16

N. S. Botbol Por el Lema 2.18 tenemos que lim H i (X, F ) = H i (X, lim F ), abusando del isomor-

smo natural. Con lo cual, basta probar que H i (X, F ) = 0 para i > n. Sea un subconjunto de (preferentemente no vac o) y sea un conjunto tal que # = #( ), se tiene una sucesi on exacta de la forma: 0 F F G 0, donde G es un haz con secciones en . Construyamos nuevamente la sucesi on exacta larga de cohomolog as proveniente de la sucesi on exacta corta anterior: 0 H 0 (X, F ) H 0 (X, F ) H 0 (X, G ) H 1 (X, F ) H 1 (X, F ) . . . . . . H i (X, F ) H i (X, F ) H i (X, G ) H i+1 (X, F ) . . . . Ahora, como # , # < # , por inducci on en # , basta probar la anulaci on de los grupos de cohomolog a superiores para el haz F generado por una u nica secci on, en alg un abierto determinado U . Esto dice que F est a soportado en U y que F (V ) es un grupo c clico para todo V X (eventualmente trivial). Entonces F es un cociente del haz ZU , que de acuerdo con la notaci on introducida al comienzo de esta secci on en 2.22(b), ZU = j! (Z|U ), donde Z denota el haz constantemente Z en X y Z|U su restricci on a U . Notando por K al n ucleo, se tiene la siguiente sucesi on exacta corta: 0 K ZU F 0, que da lugar a una sucesi on exacta larga de cohomolog as: 0 H 0 (X, K ) H 0 (X, ZU ) H 0 (X, F ) H 1 (X, K ) H 1 (X, F ) . . . . . . H i (X, K ) H i (X, ZU ) H i (X, F ) H i+1 (X, K ) . . . . Con lo cual, basta probar que las cohomolog as superiores a n se aulan para K y ZU . Paso 4. Sea U un abierto de X , y sea K un subhaz de ZU . Para cada x U , el stalk Kx es un subgrupo de Z. Si K = 0, podemos evitar el resto de este paso y saltar al siguiente. Si no, sea d el menor entero positivo tal que aparece en Kx , es decir, el generador del subgrupo de Z que estamos considerando, que naturalmente coincide con el orden de Fx , y se tiene una sucesi on exacta de grupos 0 Kx = dZ Zx = Z Fx = Z/dZ 0. Dado que esto sucede en x U , existe un abierto V de U , en donde esta situaci on se mantiene, es decir, KV = ZV , y se consigue una sucesi on exacta corta de la forma 0 ZV K K /ZV 0. Obs ervese que si tomamos x V , entonces (K /ZV )x = Kx /(ZV )x = 0 ya que KV = ZV . Luego, esto dice que K /ZV est a soportado en el cerrado U V de X , que tiene dimensi on menor que n. Ahora, como K /ZV es un haz soportado en Z = U V que se incluye en X v a j , entonces K /ZV lo podemos pensar como GZ = j (G |Z ) para alg un i i G , entonces usando el Lema 2.20 H (Z , F ) = H (X, j (G |Z ) y la hip otesis inductiva, tenemos que H i (X, K /ZV ) = 0 para todo i > n 1. Entonces por la sucesi on exacta

Cohomolog a de Haces

17

larga de cohomolog as, s olo resta probar que los grupos de cohomolog as se anulan para ZV . Paso 5. ( ultimo!) S olo resta probar que para cualquier abierto V de X , H i (X, ZV ) = 0 para todo i > n. Sea Y = X V , entonces por el Lema 2.17(c), se tiene una sucesi on exacta de haces sobre X de la forma 0 ZV Z ZY 0. Como dim Y < dim X , usando el Lema 2.20 y la hip otesis inductiva, se consigue que H i (X, ZY ) = 0 para todo i > n 1. Por otro lado, al ser Z un haz constante en X , por la Proposici on 2.12 se tiene que i Z es asque, y por 2.13 resulta que H (X, Z) = 0 para i > 0. Entonces de la sucesi on exacta larga de cohomolog as asociada a la sucesi on exacta corta anterior, se tiene que H i (X, ZV ) = 0 para todo i > n 1.

Referencias
[1] D. Eisenbud, J. Haris, The geometry of Schemes. Springer-Verlag, GMT 192, (1999). ements de G [2] A. Grothendieck, El eom etrie alg ebrique, III: Etude cohomologique des faisceaux coh erents (premi` ere partie). Inst. Hautes Etudes Sci. Publ. Math., Vol. 11, (1961), 1-167. ements de G [3] A. Grothendieck, El eom etrie alg ebrique, III: Etude cohomologique des faisceaux coh erents (seconde partie). Inst. Hautes Etudes Sci. Publ. Math., Vol. 17, (1963), 1-91. [4] R. Hartshorne, Algebraic Geometry. Springer-Verlag, GMT 52, (1977). [5] K. Ueno, Algebraic Geometry 2. Translations of Mathematical Monographs, Vol. 197, (1997). [6] C. A. Weibel, An Introduction to Homological Algebra. Cambridge Studies in Advance Mathematics, Vol. 38, (1994).