Facultad de Ciencias
Seccion de Posgrado y Segunda Especializacion Profesional
AGRADECIMIENTOS
En primer lugar expreso agradecimiento postumo a mis padres quienes en vida invirtieron decididamente en mi educacion, y a todos mis hermanos y hermanas que me
brindan su apoyo moral.
Agradezco a todos los profesores de las universidades: San Agustn de Arequipa,
Federal del Rio de Janeiro-Brasil y Universidad Nacional de Ingeniera, quienes aportaron sus ense
nanzas a mi formacion academica; por haberme asesorado la Tesis y
orientado a la obtencion de Grado Academico de Maestro con mencion en Matematica
Aplicada al Doctor Christian Valqui Haase, a los miembros del jurado Doctor Julio
Alcantara
Bode y Doctor Percy Fernandez Sanchez por revisar la Tesis y por alcanzarme las correcciones pertinentes; y a la propia IMCA como institucion lder por los
beneficios que he recibido en infraestructura, atencion y conocimientos.
Tambien agradezco a la Universidad Nacional del Altiplano de Puno por otorgarme
la Licencia por Estudios para graduacion y a los profesores Roberto Ticona, Ruben
Ticona y Americo Bolivar de esa Universidad por colaborar conmigo asumiendo mi
carga academica durante el proceso de graduacion.
Y finalmente agradezco a Lucio Elas Flores Bustinza por ayudarme en el procesamiento del texto y graficos de la tesis; a colegas de trabajo por animarme a concluir
la tesis y a mis alumnos por compartir sus inquietudes acerca del trabajo.
ii
Indice de Contenidos
Agradecimientos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . II
Resumen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . IV
Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1. Categoras Abelianas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.1 Introduccion de Modulos y Categoras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.1.1 Modulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.1.2 Categoras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2 Funtores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.3 Dualidad, Morfismos y N
ucleos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.4 Productos y Coproductos en Categoras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.5 Complejos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .25
1.6 Complejos Dobles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
1.7 Categoras Abelianas y Funtores Aditivos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .34
2. Funtores Derivados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
2.1 Proyectivos, Inyectivos y Homologas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
2.2 Sucesiones Exactas Largas de (Co)Homologas . . . . . . . . . . . . . . . . . . . . . . . . . . 59
2.3 Homotopa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
2.4 Resoluciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
2.5 Funtores Derivados Izquierdos y Derechos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
3. Sucesiones Espectrales y Filtraciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
3.1 Pares Exactos y Sucesiones Espectrales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
3.2 Objetos Diferenciales Filtrados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
3.3 Convergencia Finita para Complejos de Cadena Filtrados. . . . . . . . . . . . . .104
3.4 Convergencia Finita para Complejos de Cocadena Filtrados . . . . . . . . . . . 118
3.5 La Sucesion Espectral de Grothendieck . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 126
Conclusiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165
Bibliografa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 166
iii
RESUMEN
En la actualidad el Algebra
Homologica es una materia de investigacion en las
Matematicas, una parte importante de el se llama Sucesiones Espectrales. En la Tesis
se estudiara dichas sucesiones para ver isomorfismos entre homologas de complejos de
cadena filtrados; funtores derivados de un funtor compuesto con sucesiones espectrales
de Grothendieck.
En el presente trabajo se demuestra el resultado:
Si un morfismo entre dos complejos de cadena filtrados induce un isomorfismo entre los
lmites de las sucesiones espectrales asociadas y las filtraciones son homologicamente
finitas, entonces las homologas de los complejos de cadena filtrados son isomorfas.
Ademas se describe los funtores derivados derechos de un funtor compuesto de funtores covariantes aditivos entre Categoras Abelianas a traves de la sucesion espectral
de Grothendieck.
El desarrollo utiliza nociones y resultados de homologa de complejos de cadena filtrados, filtracion homologicamente finita, lema de serpiente, lema de herradura,funtores
derivados, sucesiones espectrales y su convergencia finita en categoras abelianas.
Lima, 30 de marzo del 2009
iv
Introducci
on
En el presente trabajo se estudia un problema de existencia y de convergencia
finita de sucesiones espectrales asociadas a complejos filtrados, el problema ha sido
planteado por Doctor Christian Valqui, quien tiene como campo de investigacion el
area de Algebra.
En mi tesis de Licenciatura he desarrollado Teora de Galois generalizado, esta experiencia en algebra me indujo a asumir como un reto la curiosidad
de conocer las sucesiones espectrales (inventada en los a
nos 1940 independientemente
por R.C. Lyndon y J. Leray) y se da la motivacion de la investigacion por su utilidad
debido a que estas sucesiones tienen aplicaciones importantes en topologa algebraica,
geometra algebraica, algebra, K-teora algebraica y teora de n
umeros.
En la literatura se encuentra informaciones acerca de la sucesion espectral:
Lyndon invento para calcular los grupos de cohomologa de grupos abelianos
finitos.
Habiendo inventado Serre calculo grupos de homotopa. Tambien uso para calcular los grupos de cohomologa de los espacios en una fibracion.
Para calcular cohomologa de haces, Jean Leray introduce en [11] una tecnica de
calculo conocido como la sucesion espectral de Leray.
En geometra algebraica se utiliza la sucesion espectral de Leray, donde se usa
para analizar ciertos isomorfismos birracionales entre superficies.
La sucesion espectral de Quillen sirve para calcular la homotopa de un grupo
simplicial.
Las sucesiones espectrales dan informacion sobre los grupos de homologa y homotopa,
pero ellas no son algoritmos excepto en algunos casos particulares. Sin embargo, existe
el metodo de homologa efectiva que proporciona algoritmos para el calculo de grupos
de homologa de espacios complicados ([5]).
Especficamente se desarrollara los siguientes:
Objetivos
0
1. Dar condiciones bajo las cuales un isomorfismo entre los terminos E y E
de dos sucesiones espectrales asociadas a complejos filtrados C y C 0 induce un
isomorfismo entre H(C) y H(C 0 ), para probar formalmente este resultado.
Captulo 1
Categoras Abelianas
1.1.
Introducci
on de M
odulos y Categoras
1.1.1.
M
odulos
Uno de los objetivos de la tesis es inducir o trasladar el isomorfismo, luego es necesario introducir el concepto de isomorfismo comenzando por ejemplo con el isomorfismos entre modulos. Para tratar esta estructura algebraica de modulos es conveniente
recordar las nociones y propiedades de grupos abelianos aditivos y anillos. Exponiendo
gradualmente la teora en esta parte, se introduce el concepto de isomorfismo entre
modulos y se enuncian algunos resultados que seran utilizados.
Grupo Abeliano (Objeto de Ab).- Un grupo es un conjunto G con una operacion
binaria que satisface los tres axiomas siguientes:
G1 : La operacion es asociativa en G.
G2 : Existe (identidad) e G tal que e g = g e = g, g G.
G3 : Para cada g G, existe g 1 G tal que g 1 g = g g 1 = e.
Si ademas se cumple a b = b a, a, b G, se dice que G es un grupo abeliano. Mas
adelante se vera que la coleccion de grupos abelianos denotada con Ab tiene estructura
algebraica llamada categora.
Anillo .- Un anillo es un conjunto R con dos operaciones binarias suma (+) y multiplicacion () que cumple los tres axiomas siguientes:
R1 : R es un grupo abeliano bajo +
R2 : La multiplicacion es asociativa.
R3 : Se cumplen las leyes distributivas
r (s + t) = r s + r t,
(r + s) t = r t + s t; r, s, t R
4
=
=
=
=
r1 a + r2 a
r1 (r2 a)
a
ra1 + ra2
f :A
= B, A
=B oA
= B.
Es importante mencionar el siguiente resultado de -modulos:
Si B y C son submodulos de un -modulo A tales que C B, entonces
A/B
= (A/C) / (B/C).
Definici
on 1.1.3 Dado : A B un homomorfismo de -m
odulos se definen:
i) el n
ucleo de como Ker() = {a A / f (a) = 0}.
ii) la imagen de como Im() = {b B / b = f (a), para alg
un a A}.
iii) el con
ucleo de como Coker() = B/Im() =
B
.
Im()
1.1.2.
Categoras
A
B.
ii) C(A, B) C(B, C) = {(f, g) / f : A B y g : B C}.
iii) Sean f C(A, B) y g C(B, C).
Si : C(A, B) C(B, C) C(A, C) es la ley de composicion, entonces
la composicion de f y g es (f, g) = g f o simplemente gf .
iv) El axioma CAT1. enfatiza que se distingue dos morfismos a menos que
sus dominios y rangos coincidan.
Tambien se nota que la composicion gf esta solamente definida si el
rango de f coincide con el dominio de g.
Definici
on 1.1.5 Se dice que un morfismo f : A B es un isomorfismo
(o invertible) si existe un morfismo g : B A tal que gf = 1A , f g = 1B .
7
Ejemplo 1.1.6 S es una categora, cuyos objetos son conjuntos, sus morfismos son
funciones (de un conjunto en otro). El producto de morfismos se define como la composici
on de funciones.
Se cumplen los tres axiomas de categora para S:
CAT 1. Sea f S(A1 , B1 ) S(A2 , B2 ), entonces se debe tener A1 = A2 ,
B1 = B2 . En efecto:
f S(A1 , B1 ) implica que Dom(f ) = A1 y Ran(f ) = B1 ;
f S(A2 , B2 ) implica que Dom(f ) = A2 y Ran(f ) = B2 .
Por lo tanto A1 = A2 , B1 = B2 .
CAT 2. Dados f S(A, B), g S(B, C) y h S(C, D) se cumple
h(gf ) = (hg)f para todo A, B, C y D |S|.
En efecto, sea a A (arbitrario), usando la definicion de composicion de funciones:
[h(gf )](a) = h{[gf ](a)}
= h{g[f (a)]}
= [hg]f (a)
= [(hg)f ](a).
Por lo tanto h(gf ) = (hg)f .
CAT 3. Para cada A |S| existe 1A : A A definida por 1A (a) = a para todo a A
tal que si f : A B, g : C A se cumplen f 1A = f y 1A g = g.
En efecto:
(f 1A )(a) = f (1A (a)) = f (a)
(1A g)(c) = 1A (g(c)) = g(c)
para todo a A.
para todo c C
Ejemplo 1.1.7 G es una categora, cuyos objetos son grupos, sus morfismos son
homomorfismos de grupos y el producto de dichos morfismos es la composici
on de los
homomorfismos de grupos.
Ejemplo 1.1.8 Ab es una categora, cuyos objetos son grupos abelianos, morfismos
son homomorfismos de grupos y el producto de morfismos es la composici
on de homomorfismos.
8
Ejemplo 1.1.9
ml
ml :
Los conjuntos de morfismos ml (A, B) y ml (C, D) son disjuntos a menos
CAT 1:
que A = C y B = D.
Sea f ml (A, B) ml (C, D), entonces f : A B y f : C D son
homomorfismos de modulos , luego son vistos como morfismos de S. De
donde f S(A, B) S(C, D), como S es una categora (de conjuntos), se sigue
que A = C y B = D como conjuntos.
Por ser f : A B un homomorfismo de -modulos, el dominio de f es el modulo A y la imagen de f es el -modulo B, luego se deduce que A = C y
B = D como -modulos.
CAT 2: Si f ml (A, B), g ml (B, C) y h ml (C, D), entonces
h(gf ) = (hg)f .
Como f : A B, g : B C y h : C D son morfismos en la categora de
conjuntos S por ser los modulos conjuntos , se deduce que h(gf ) = (hg)f .
CAT 3: Para cada objeto A |ml | existe 1A tal que para cualesquier f : A B,
g : C A morfismos en ml se cumplen las igualdades f = f 1A , 1A g = g.
9
Ejemplo 1.1.10
Dada una categora C, se puede construir la categora opuesta Cop cuyos objetos
son los objetos de C, morfismos son los morfismos (o flechas) invertidos de C y la
composicion de morfismos es dado por la composicion de morfismos en C invertida.
Proposici
on 1.1.11 Sea C una categora, entonces Cop es una categora.
Prueba .- Se verifican los tres axiomas de categora para Cop :
CAT 1: Los conjuntos de morfismos Cop (A, B) y Cop (C, D) son disjuntos a menos que
A = C y B = D.
Sea f op Cop (A, B) Cop (C, D), luego f C(B, A) C(D, C). Como C es una
categora, se sigue que A = C y B = D.
CAT 2: Si f op Cop (A, B), g op Cop (B, C) y hop Cop (C, D), entonces
hop (g op f op ) = (hop g op )f op .
En efecto, usando la definicion de composicion de morfismos en Cop y la asociatividad de la composicion de morfismos en C:
hop (g op f op ) =
=
=
=
=
hop (f g)op
[(f g)h]op
[f (gh)]op
(gh)op f op
(hop g op )f op .
1.2.
Funtores
covariante.
ml
Ab es un funtor
(1.1)
Se verifica que Hom (A, ) : ml Ab satisface los dos axiomas de funtor covariante:
FUN1. Hom (A, 1B ) = 1Hom (A,B) para todo B |ml |.
En efecto : para un B |ml | dado, se sabe que existe morfismo identidad
1B ml (B, B); haciendo C = B, f = 1B en (1.1), se nota que
Hom (A, 1B ) = 1Hom (A,B) : Hom (A, B) Hom (A, B), pues
Hom (A, 1B )h = 1B h = h
= 1Hom (A,B) h para todo h Hom (A, B).
11
FUN 2. Hom (A, gf ) = Hom (A, g)Hom (A, f ) para todo f ml (B, C) y
g ml (C, D).
En efecto, para f ml (B, C) y g ml (C, D) se tiene que gf ml (B, D),
luego usando (1.1) se obtiene que Hom (A, gf ) = Hom (A, g)Hom (A, f ),
puesto que para Hom (A, gf ) : Hom (A, B) Hom (A, D) y cualquier
h Hom (A, B) se cumple:
Hom (A, gf )h = (gf )h = g(f h)
= Hom (A, g)(f h)
= Hom (A, g)Hom (A, f )h
En consecuencia, Hom (A, ) es un funtor covariante
(gf )h
g(f h)
MA (g)(f h)
MA (g)[MA (f )h]
[MA (g)MA (f )](h) para todo h C(A, X).
12
(1A 1B )(a b)
1A a 1B b
ab
1AB (a b)
Luego 1A B = 1AB .
FUN 2. (gf ) B = (g B)(f B) para todo los morfismos f : A A0 y
g : A0 A00 en mr .
Como gf : A A00 , (gf ) B = (gf ) 1B .
Sea a b A B, entonces
(gf ) B(a b) =
=
=
=
=
=
((gf ) 1B )(a b)
(gf (a)) 1B b
g(f (a)) 1B (1B b)
(g 1B )(f (a) 1B b)
(g 1B )(f 1B )(a b)
(g B)(f B)(a b)
13
Definici
on 1.2.5 Dadas las categoras C y D, un funtor contravariante F : C D es
una regla que asocia a cada objeto X de C un objeto F X de D, a cada morfismo
f C(X, Y ) un morfismo F f D(F Y, F X) tal que satisface los dos axiomas
siguientes:
FUN 1. F (1A ) = 1F A para todo A |C|.
FUN 2. F (gf ) = (F f )(F g) para todo f C(A, B) y todo g C(B, C).
h(gf )
(hg)f
[M B (g)h]f
M B (f )[M B (g)h]
[M B (f )M B (g)](h) para todo h C(Z, B),
Usando la categora opuesta Cop de una categora C, F : C D es un funtor contravariante si F : Cop D es un funtor covariante.
El siguiente ejemplo muestra como se puede usar funtores covariantes para tratar funtores contravariantes.
ml
op
Hom (, B)(A) = Hom (A, B) |Ab| para todo A ml .
op
Hom (f op , B)(h) = f op h para todo h Hom (A, B) y todo morfismo f op ml (A, C).
op
Se prueba que Hom (, B) : ml Ab es un funtor covariante, verificando los dos
siguientes axiomas:
FUN1. Hom (1A , B) = 1Hom (A,B) para todo A |ml op |.
l op
En efecto, para cada A |ml op | existe el morfismo identidad 1op
A m (A, A).
Tomando f op = 1op
A y C = A, se sigue para
Hom (1op
,
B)
:
Hom
(A, B) Hom (A, B) la secuencia de igualdades
A
op
Hom (1op
A , B)h = 1A h = h1A = h
= 1Hom (A,B) h para todo h Hom (A, B).
Pero 1op
A = 1A , luego Hom (1A , B) = 1Hom (A,B) .
FUN 2. Hom (g op f op , B) = Hom (g op , B)Hom (f op , B) para todo f op ml (A, C)
op
y todo g op ml (C, D).
op
op
En efecto, para cualquier f op ml (A, C) y g op ml (C, D) se tiene que
op
(f g)op = g op f op ml (A, D). Aplicando Hom (, B) se obtiene
Hom (g op f op , B) : Hom (A, B) Hom (D, B), para el cual se tiene
op
h(f g)
(hf )g
g op (hf )
g op (f op h)
g op (Hom (f op , B)h)
Hom (g op , B)Hom (f op , B)h
Proposici
on 1.2.8 Sean A, B y C categoras. Si F : A B y G : B C funtores
covariantes, entonces GF : A C es un funtor covariante.
Prueba .- Se nota que GF : A C se puede definir sobre objetos y sobre morfismos
por GF (A) = G (F (A)) y GF (f ) = G (F (f )) para cada A |A| y cada f A (A, B),
respectivamente.
Sean A |A|, f A (A, B) y g A (B, C). Por hipotesis F es un funtor covariante,
entonces F (1A ) = 1F (A) y F (gf ) = F (g)F (f ). Ahora, aplicando G y usando el hecho
que G es funtor covariante, se deduce
que
1.3.
Dualidad, Morfismos y N
ucleos
iii) Se ve que |(Cop )op | = |C| y (Cop )op (X, Y ) = Cop (Y, X) = C(X, Y ) para todo
X, Y |C|. Ahora, observando la construccion, se nota que se va de C a
(Cop )op invirtiendo dos veces cada morfismo; esto ocurre en particular con el
producto de morfismos, luego se llega a que (Cop )op tiene el mismo producto
de morfismos que C. Por consiguiente (Cop )op = C
Definici
on 1.3.2 Sean f , u y v morfismos en una categora C. Se dice que:
i) f es monomorfismo (o monic) si f u = f v implica u = v.
ii) f es epimorfismo (o epic) si uf = vf implica u = v.
Proposici
on 1.3.3 Sea C una categora.
i) f C (X, Y ) es monic si y solo si f op Cop (Y, X) es epic.
ii) f C (X, Y ) es epic si y solo si f op Cop (Y, X) es monic.
Prueba .- Solo se probara la parte i) por ser la prueba de ii) completamente analoga.
i) ) Sean uop , v op Cop (X, Z) tales que uop f op = v op f op , entonces para que f op sea
epic se debe deducir que uop = v op .
En efecto, de la igualdad uop f op = v op f op se obtiene que (f u)op = (f v)op , de
donde f u = f v en C. Como f es monic, u = v. Luego uop = v op .
i) ) Sean u, v C (W, X) tales que f u = f v, entonces u = v.
En efecto, de la igualdad f u = f v se obtiene que uop f op = v op f op . Como f op es
epic se deduce que uop = v op , as en C se obtiene que u = v
Se hace uso de la nocion de Cop para introducir el siguiente principio.
Definici
on 1.3.4 (Principio de Dualidad) Si a es una afirmacion con sentido en
cualquier categora C, sea a(C) la afirmacion con sentido en C. Entonces la afirmacion
dual aop de a est
a definida por aop (C) = a(Cop ).
Soluci
on .- Por definicion aop (C) = a(Cop ), luego se debe hallar la afirmacion sobre la
categora opuesta Cop .
En efecto, como la afirmacion a vale en toda categora C, en particular vale en la
categora Cop , as se obtiene a(Cop ) : f op es monic en Cop si f op uop = f op v op implica
uop = v op .
Como f op uop = (uf )op y f op v op = (vf )op se tiene f op es monic en Cop si (uf )op = (vf )op
implica uop = v op . As, la afirmacion dual pedida en C es: f es epic en C si uf = vf
implica u = v
As los conceptos monic y epic son duales.
Proposici
on 1.3.7 Las siguientes afirmaciones se cumplen:
i) La composici
on gf de monomorfismos es monomorfismo.
ii) La composici
on gf de epimorfismos es epimorfismo
Prueba:
i) Sean g y f dos monics, entonces de (gf ) = (gf ) se deduce que = .
Esto quiere decir que la composicion gf es un monomorfismo.
En efecto, de (gf ) = (gf ) por asociatividad se tiene g(f ) = g(f ); como
g es monic se sigue que f = f ; por el mismo argumento = debido a
que f es monic.
ii) Sean g C (Y, Z) y f C (X, Y ) epics, entonces se debe probar que gf es
epic.
Por Proposicion 1.3.3 g op Cop (Z, Y ) yf op Cop (Y, X) son monic. Por la
parte i), (gf )op = f op g op Cop (Z, X) es monic. As, conforme a Proposicion
1.3.3, gf C (X, Z) es epic
Proposici
on 1.3.8 Sean f y g morfismos en una categora C:
i) Si gf es monic, entonces f es monic.
ii) Si f g es epic, entonces f es epic.
Prueba:
i) Sea f u = f v, para que f sea monic se debe obtener u = v.
En efecto, de f u = f v se deduce g(f u) = g(f v), usando asociatividad
(gf )u = (gf )v, como gf es monic, se obtiene u = v. Luego f es monic.
ii) Sea f g epic, entonces se debe deducir que f es epic.
En efecto, como f g es epic, por Proposicion 1.3.3 g op f op = (f g)op es monic
en Cop . Por la parte i), f op es monic en Cop ; luego f es epic
18
Notaci
on.- Se denotara en adelante un monomorfismo por
f
A B y un epimorfismo por A
B.
Ahora se da otro ejemplo del principio de dualidad.
Recuerde que si f G(G, H), el n
ucleo de f es K = {x G : f x = e}, donde e es
la identidad de H. Se puede escribir K = f 1 {e}. En categoras no necesariamente se
tiene elemento e de conjuntos para trabajar con ellos y, por consiguiente se necesita
una caracterizacion en terminos de MORFISMOS.
As se debe sustituir en primer lugar la afirmacion de que K es un subgrupo de G ,
k
$
/ G f /7 H
n
>~
nn
g ~~ nnnn
~ nn
h
~
~ n
~n~nnnn 0
KO /
20
z k
$
/ G f /7 H
n
>~
n
n
g ~~ nnnn
~ nn
h
~
n
~
~n~nnnn 0
KO /
Koo
Go
nn H
~~ nnnnn
~
~ n
h
~~ nn
wn~~~nnnn 0
g
L
k es n
ucleo de f .
L
k es con
ucleo de f .
21
KO /
1.4.
A1
}> O
}
}}
p1
}}
}}!f
/A
X AA
AA
AA
p2
f2 AA
f1
f1
A2
A2
A2
23
Puesto que A es producto, se deduce de la parte de unicidad que = 1. Analogamente, se deduce que = 1. Luego : A0 A es un isomorfismo, tal que p1 = p01
y p2 = p02 . Por lo tanto, (A; p1 , p2 ) y (A0 ; p01 , p02 ) son canonicamente equivalentes
En S, el producto es el producto cartesiano junto con las proyecciones; en G el
producto es el producto directo. En Ab el producto es la suma directa.
Los siguientes ejemplos muestran que el producto de objetos depende de la categora
que se considera. En la categora de grupos G, el producto de Z2 y Z4 es el producto
directo Z2 Z4 . En Ab es la suma directa Z2 Z4 (realmente es la misma cosa). En la
categora de grupos cclicos no existe el producto de Z2 y Z4 .
Se denota el producto de A1 y A2 , por A1 A2 y el morfismo f del diagrama de
producto por {f1 , f2 }.
Por ejemplo, en la categora ml de - modulos izquierdos se define el producto de
objetos como el producto directo de - modulos izquierdos.
F p1 oooo
ooo
ooo
p1
/ FA FB
OOO
OOO
p2
OO
F p2 OOOO
'
F (A B)
FB
F preserva producto significa que es isomorfismo. As existe un isomorfismo
: F (A B) F A F B tal que F p1 = p1 y F p2 = p2 , por Proposicion 1.4.2
(F (A B); F p1 , F p2 ) es un producto de F A y F B en D
Definici
on 1.4.6 El coproducto de los objetos A1 y A2 en C es una terna ordenada
(A; q1 , q2 ) formada por un objeto A y morfismos qi : Ai A para i = 1, 2 llamados
inyecciones, tal que dados los morfismos f1 C (A1 , X) y f2 C (A2 , X) existe un
u
nico morfismo f C (A, X) que hace al siguiente diagrama conmutativo:
A1
}}
}}
q1
}
}
~}}!f
X `Ao A
AO
AA
AA
q2
f2 AA
f1
A2
24
A1
nnn
f1 nnnn
f1
q1
n
nnn
n
n
A2
Ejemplo 1.4.7 En
en lugar de
1.5.
A2
Complejos
Definici
on 1.5.1 Un modulo graduado (por los enteros) denotado por
A = {An }, n Z es una familia de -modulos An para n Z. Un morfismo : A B
de modulos graduados de grado k se define como = {n : An Bn+k }, n Z. El
producto de morfismos : A B y : B C de modulos graduados de grado cero
se define como : A C por ()n = n n para todo n Z.
Proposici
on 1.5.2 mZ es una categora,
cuyos objetos son modulos graduados por los enteros, morfismos son los morfismos de
grado cero de dichos modulos graduados y el producto de morfismos es la composicion
de los homomorfismos dada en la definicion anterior.
Prueba .- Se cumplen los tres axiomas de categora para
mZ :
n
C : Cn+1 Cn
Cn1
Z
: C D es un morfismo de grado cero en m tal que = , donde denota
/ Cn1
n1
Dn
en /
Dn1
(1.2)
es conmutativo.
Por simplicidad se acostumbra omitir los subndices de los homomorfismos de modulos n y n cuando el significado de estos smbolos este claro; as, por ejemplo, para
26
Ch
es una categora.
c
d
Hn () : Hn (C) Hn (D) por Hn () x + Imn+1
= n (x) + Imn+1
(1.3)
para x Kernc .
Hn () esta bien definido.
c
c
c
Sea x + Imn+1
n,
n+1
= y + Im
Hn (C) con x, y c Ker
c
entonces Hn () x + Imn+1 = Hn () y + Imn+1 .
En efecto:
c
c
De la igualdad tomada en Hn (C), se obtiene que x y Imn+1
; i.e., x y = n+1
(z)
c
para alg
un z Cn+1 . Ahora como Kern Cn , se aplica el morfismo de modulos
n : Cn Dn para obtener que
c
n (x) n (y) = n n+1
(z)
d
= n+1 n+1 (z) por (1.2) para n + 1.
d
d
Pasando al cociente, considerando que n+1
n+1 (z) Imn+1
y efectuando operad
d
ciones de modulo cociente
se
obtiene
que
(x)
+
Im
=
(y)
+ Imn+1
. Luego
n
n
n+1
c
c
Hn () x + Imn+1 = Hn () y + Imn+1 .
Poniendo [H()]n = Hn (), por ser n Z arbitrario, se deduce que
= H() : H(C) H(D) esta bien definido como aplicacion para cada n Z por
(1.3).
Se observa que Hn () es un homomorfismo de modulos para todo n Z, esto permite
concluir que H() es un morfismo de modulos graduados
Proposici
on 1.5.9 H() : Ch mZ es un funtor covariante.
c
d
para cada n Z por Hn () x + Imn+1
= n (x) + Imn+1
para todo x Kernc .
Para H() se satisfacen los dos siguientes axiomas de funtor covariante:
FUN1. H(1C ) = 1H(C) para todo C | Ch |.
En efecto :
Dado C | Ch |, existe morfismo identidad 1C = {1Cn : Cn Cn } en Ch . Para
cada n Z, usando la definicion de Hn (1C ) : Hn (C) Hn (C), se obtiene que
Hn (1C ) (x + Imn+1 ) = 1Cn (x) + Imn+1
= x + Imn+1
= 1Hn (C) (x + Imn+1 )
para todo x Kern . De donde Hn (1C ) = 1Hn (C) , por lo tanto H(1C ) = 1H(C) .
28
c
e
Hn () x + Imn+1
= ()n (x) + Imn+1
e
= n (n (x)) + Imn+1
d
= Hn () n (x) + Imn+1
c
= Hn ()Hn () x + Imn+1
c
= [H()]n [H()]n x + Imn+1
c
= [H()H()]n x + Imn+1
mZ
C : o
Cn+1 o
Cn o
n1
Cn1 o
Nuevamente se llamara diferencial. El morfismo de complejos de cocadena (o aplicacion de cocadena) y el producto de estos morfismos son definidos de manera analoga
a las definiciones dadas para complejos de cadena.
Definici
on 1.5.12 Sea C un complejo de cocadena sobre . Se define el modulo de
cohomologa de C denotado por H(C) mediante H(C) = {H n (C)}, donde
H n (C) = Ker n /Im n1 , n Z.
H n (C) se llama n-esimo modulo de cohomologa de C.
Se observa que:
i) Seg
un Definicion 1.5.12 y Proposicion 1.5.9, se puede probar que H() es un
funtor, llamado funtor de cohomologa, de la categora de complejos de cocadena
en la categora de modulos graduados.
ii) En el caso de complejos de cocadena se habla de cocadenas, cobordes, cociclos,
cociclos cohomologos, clases de cohomologa.
Ejemplo 1.5.13 Todo modulo puede ser considerado como un ejemplo de complejo
de cadena (o de cocadena). Luego, dado un modulo A, se define C0 = A, Cn = 0 para
n 6= 0, n = 0 ( analogamente para complejos de cocadena). De esta manera ml se
sumerge en Ch (categora de complejos de cadena).
proyectiva) de A con n
ucleo R, de modo que R F
A es una sucesi
on exacta
corta. Se forma un complejo de cadena C, con C1 = R, C0 = F , 1 = , Cn = 0 para
n 6= 0, 1; esto se escribe como
C :
luego H0 (C) =
/0
/C
1
/ C 0 / 0
0
Ker0
F
F
=
=
= A; Hn (C) = 0, n 6= 0.
Im1
Im
Ker
30
0o
C1 o
C0 o
0o
Ker0
= Ker = Im
= A; H n (C) = 0 para n 6= 0.
Im1
Cn+1 o
Cn o
n1
Cn1 o
op
op
op
/ Cn+1 n / Cn n1/ Cn1
op
donde n1
nop = 0 para cada n Z, puesto que
op
n1 nop = (n n1 )op = 0op = 0. Por Definicion 1.5.3, C op es un complejo de
cadena sobre .
1.6.
Complejos Dobles
Definici
on 1.6.1 Un modulo bigraduado (por los pares ordenados de enteros) denotado por A = {Am,n }; m, n Z es una familia de -m
odulos Am,n para m, n Z. Un
morfismo : A B de modulos bigraduados de grado (k, l) se define como
= {m,n : Am,n Bm+k,n+l }; m, n Z. El producto de morfismos : A B y
: B C de modulos bigraduados de bigrado (0,0) se define como : A C por
()m,n = m,n m,n para todo m, n Z.
31
Proposici
on 1.6.2 mZZ
es una categora,
cuyos objetos son modulos bigraduados, morfismos son los morfismos de grado (0, 0)
de modulos bigraduados y el producto de morfismos esta dado en la definicion anterior.
Prueba.- La prueba es analoga a la de Proposicion 1.5.2
Definici
on 1.6.3 Un complejo doble de cadena B sobre es un objeto de mZZ
,
00 00 = 0
00 0 + 0 00 = 0
(1.4)
complejos dobles.
La coleccion de complejos dobles de cadena sobre se denotara con CCh .
Proposici
on 1.6.5
CCh
es una categora.
0
1A g = g. Ademas 1A : A A es tal que 1A A = A0 1A y 1A A00 = A00 1A . Por lo
tanto existe 1A morfismo identidad de A en CCh
32
0
00
provisto de dos endomorfismos : B B, : B B de grado (1, 0) y (0, 1)
respectivamente, llamados diferenciales, tales que:
0 0 = 0,
00 00 = 0
0 00 + 00 0 = 0
(1.5)
1.7.
Ciertamente de las categoras que se han introducido algunos tienen una estructura
adicional. As, en las categoras Ab, mr y ml el conjunto de todos los morfismos
tiene una estructura de grupo abeliano y tienen la nocion de sucesiones exactas. Se
procede en esta parte a extraer caractersticas esenciales de tales categoras y se define
la nocion importante de categora abeliana.
Definici
on 1.7.1 Una categora aditiva A es una categora con objeto cero en que
dos objetos tiene un producto y en que los conjuntos de morfismos A(A, B) son grupos
abelianos tal que la composici
on A(A, B) A(B, C) A(A, C) es bilineal. Esto es:
(f + g)h = f h + gh; f, g A(B, C) y h A(A, B)
f (g + h) = f g + f h; f A(B, C); g , h A(A, B).
(h + g)(f (a))
h(f (a)) + g(f (a))
(hf )(a) + (gf )(a)
(hf + gf )(a) para todo a A.
34
B |ml |.
iv) La composicion
a) Si h,
(h + g)(f (a))
h(f (a)) + g(f (a))
(hf )(a) + (gf )(a)
(hf + gf )(a) para todo a A.
ml
es aditiva
f + g por
componentes (f + g)n = fn + gn : An Bn para cada n Z. Como ml es
una categora aditiva implica que ml (An , Bn ) es un grupo abeliano para cada
n Z. Por consiguiente mZ (A, B) es un grupo abeliano.
iv) La composicion
En efecto:
mZ
mZZ
es una categora aditiva.
Ejemplo 1.7.5
ii) Si A, B |mZZ
|, entonces se define (A B)n,m = An,m Bn,m .
iii)
mZZ
(A, B) es un grupo abeliano para todo A, B |mZZ
|.
ZZ
Sean f, g mZZ
(A,
B),
entonces
f
+
g
m
(A,
B).
Se
define f + g por
36
iv) La composicion
mZZ
(A, B) mZZ
(B, C) mZZ
(A, C) es bilineal.
En efecto:
a) Si h, g mZZ
(B, C) y f mZZ
(A, B), entonces (h + g)f = hf + gf .
b) Si g, f mZZ
(A, B) y h mZZ
(B, C), entonces h(g + f ) = hg + hf . Esto
mZZ
Proposici
on 1.7.6 La categora Ch es aditiva.
Prueba.- Para probar que la categora Ch es aditiva se verificara las cuatro siguientes
condiciones:
i) Como 0 = {An }, n Z es el objeto cero en mZ con moduloAn = 0 (constante)
verifica 2 = 0, se deduce que 0 es el objeto cero de Ch .
ii) Si A, B | Ch |, entonces A B | Ch |.
Como A y B por estar en Ch son objetos de la categora mZ , el producto
A B |mZ |. Ademas ( )2 = 0 para : A B A B. Por lo tanto
A B | Ch | para todo A, B | Ch |.
iii)
Ch (A, B)
mZ (A, B).
38
(h + g)f =
=
=
=
=
Lema 1.7.8 i1 p1 + i2 p2 = 1 : A1 A2 A1 A2
Prueba.- Tomando producto de A1 y A2 se obtiene el siguiente diagrama.
8 A1
qqq O
q
q
p1
qq
qqq
q!{p
1 ,p2 }
/ A1 A2
A1 AM2
MMM
MM
p2
p2 MMMM
M&
p1
A2
(1 p1 + 2 p2 )i1
1 p1 i1 + 2 p2 i1
1 ;
(1 p1 + 2 p2 )i2
1 p1 i2 + 2 p2 i2
2
PPP
PPP1
PPP
PP
A2
Se usa el smbolo de suma en lugar del smbolo de coproducto en el caso de una categora aditiva. Por supuesto, sumas solamente coinciden con productos en una categora
aditiva si el n
umero de objetos involucrados es finito.
{,}
<,>
Proposici
on 1.7.10 Dada la sucesi
on A B C D en una categora aditiva
A, se cumple que
< , > {, } = + .
Prueba.-
F p1 iiiii
p1
ii
iiii
iii!{F
p1 ,F p2 }
/ F (A1 ) F (A2 )
F (A1 A2 )
UUUU
UUUU
UUUU
p2
UUUU
F p2
UU*
F (A2 )
F (i1 )iiiiii
ii
i1
iiii
tiii<F
(i1 ),F (i2 )>
F (A1 A2 ) o
F (A1 ) F (A2 )
jUUUU
O
UUUU
UUUU
i2
UUUU
F (i2 )
UU
F (A2 )
Por lo dicho arriba < F (i1 ), F (i2 ) >= F (i1 )p1 +F (i2 )p2 tiene como inverso {F p1 , F p2 },
por lo tanto F preserva sumas (o coproductos).
ii) iii) Si 1 , 2 : A A0 , entonces 1 + 2 =< 1, 1 > {1 , 2 } como F preserva
41
sumas (y productos)
F (1 + 2 ) =
=
=
=
F < 1, 1 > F {1 , 2 }
< F 1, F 1 > {F 1 , F 2 }
< 1, 1 > {F 1 , F 2 }
F 1 + F 2
Definici
on 1.7.13 Un funtor que satisface las condiciones equivalentes de Proposici
on
1.7.12 se llama FUNTOR ADITIVO.
Proposici
on 1.7.14 Hom (A, ) : ml Ab es un funtor covariante aditivo.
Prueba.- Se prueba que el funtor covariante Hom (A, ) es aditivo, verificando la
igualdad Hom (A, f + g) = Hom (A, f ) + Hom (A, g) para todo f, g ml (B, C).
En efecto, como f + g ml (B, C) se tiene
Hom (A, f + g) : Hom (A, B) Hom (A, C) definido por
Hom (A, f + g)h = (f + g)h para todo h Hom (A, B),
Pero (f + g)h = f h + gh = Hom (A, f )h + Hom (A, g)h
= [Hom (A, f ) + Hom (A, g)](h)
Luego Hom (A, f + g) = Hom (A, f ) + Hom (A, g)
42
Proposici
on 1.7.15 Sea B ml , entonces Hom (, B) : ml Ab es un funtor
contravariante aditivo.
Prueba.- Considerando f +g ml (C, A) y definiendo Hom (f +g, B)h = h(f +g)
para todo h Hom (A, B), se prueba como en la proposicion anterior
Proposici
on 1.7.16 El funtor covariante H() : Ch mZ es aditivo.
Prueba.- Ya se probo en Proposicion 1.5.9 que H() : Ch mZ es un funtor
covariante, entonces para que H sea aditivo se verificara que H( + ) = H() + H()
para todo , Ch (C, D).
En efecto:
, Ch (C, D) implica que + Ch (C, D) y por (1.3):
c
d
Hn ( + ) x + Imn+1
= ( + )n (x) + Imn+1
d
d
= n (x) + Imn+1
+ n (x) + Imn+1
c
c
= Hn () x + Imn+1
+ Hn () x + Imn+1
c
= (Hn () + Hn ()) x + Imn+1
para todo x Kernc . Pero Hn ( + ) = [H ( + )]n , luego
[H ( + )]n = Hn () + Hn () = [H() + H()]n para cada n Z; en consecuencia,
H( + ) = H() + H()
De esta proposicion se deduce que en cada componente se cumple la igualdad
Hn ( + ) = Hn () + Hn (); es decir, Hn es un funtor covariante aditivo de Ch en
ml.
Proposici
on 1.7.17 Sea A |mr |, FA = A () :
FA es aditivo.
[1A (f + g)](a b)
1A a (f + g)b
a (f b + gb)
a f b + a gb
1A a f b + 1A a gb
(1A f )(a b) + (1A g)(a b)
[1A f + 1A g](a b)
[FA (f ) + FA (g)](a b)
43
ml es abeliana.
Prueba.- Para que la categora aditiva ml sea abeliana se verificara las tres siguientes
condiciones i),ii) y iii):
i) Si f ml (A, B), entonces f posee n
ucleo y con
ucleo.
Esta afirmacion se verifica con los items a) y b):
a) El n
ucleo de f denotado por ker(f ) : Ker(f ) A se define por
ker(f )(x) = x...............(I)
para todo x Ker(f ) = {a A / f (a) = 0B }.
Se nota que ker(f ) es un morfismo de ml .
Claramente ker(f ) satisface las condiciones de n
ucleo para f :
1) ker(f ) es monic
2) f ker(f ) = 0
44
KO /
h
ker(f )
En efecto:
1) Sean u, v : W K tal que ker(f ) u = ker(f ) v, entonces u = v.
En efecto, de ker(f ) u(w) = ker(f ) v(w) por definicion de ker(f ) se tiene
u(w) = v(w), luego u = v.
2)
45
En efecto:
1) Sean u, v : Q W tal que u coker(f ) = v coker(f ), entonces u = v.
En efecto, para b B (arbitrario) se obtiene u(coker(f )(b)) = v(coker(f )(b)),
como coker(f )(b) = b + Im(f ), se deduce que
u(b + Im(f )) = v(b + Im(f )) para todo b + Im(f ) Q, luego u = v.
2)
'
coker()
/B
/ B/Im()
i4
?
iiii
h
i
i
i
i
iiii 0
iiiiiii
AO /
46
En efecto:
1) es monic por hipotesis.
2) Por la definicion de coker(), se sigue que coker() = 0.
3) Existencia de : el morfismo h : E B de ml es tal que
coker() h(e) = Im(), entonces se deduce que h(e) = (a) para un
(
unico porque es monic) a A, luego se puede definir (e) = a para que
( )(e) = ((e)) = (a) = h(e), as h = .
Usando el hecho que es monic se prueba que es un morfismo de ml .
Conforme a Definicion 1.3.11, se deduce que = ker(coker()).
b) Si ml (A, B) es epic, entonces = coker(ker()).
Se verificara que satisface las siguientes condiciones de con
ucleo para ker():
1) es epic
2) ker() = 0
3) h ker() = 0, entonces existe ml (B, C) tal que h = .
0
ker()
/A //B
K TTTTT
@@
TTTT
TTTT @@@h
TTTT @@
0
TTT)
C
En efecto:
1) es epic por hipotesis.
2) Por definicion de ker(), se sigue que ker() = 0.
3) Existencia de : de h ker() = 0 se tiene que K Ker(h) ...()
Se define : B C por (b) = h(a) con (a) = b.
Si (a) = (a0 ) = b, entonces a a0 Ker() = K. Luego por
(): h(a a0 ) = 0, esto implica que h(a) = h(a0 ).
As, esta bien definida por (b) = h(a) con (a) = b.
Como es definido en terminos del morfismo h de ml , se deduce que existe
ml (B, C) tal que h = .
Conforme a Definicion 1.3.12, se obtiene que = coker(ker()).
iii) Si f ml (A, B), entonces f = , donde es epic y es monic.
En efecto:
Definiendo : A Im(f ) por (a) = f (a), se prueba que es epic:
47
mZ
es abeliana.
. o o
. o nno .
}
}
} nnnn
} n
}} nn
. ~}wn}nnn 0
As existe un isomorfismo en A, tal que = , como es epic se deduce que
= . Ahora, como es un isomorfismo, es monic, por lo tanto la composicion de
monics = es monomorfismo (monic)
Proposici
on 1.7.27 Dado el morfismo : A B en la categora abeliana A, se
puede deducir de la sucesi
on de objetos y morfismos
(S )
K A
I B
C
donde = , es n
ucleo de , es con
ucleo de , con
ucleo de , y es n
ucleo de .
Adem
as la descomposici
on de como composici
on de un epic y monic es esencialmente
u
nica.
50
Prueba.- Seg
un la condicion i) de categora abeliana, sea n
ucleo de y con
ucleo
de . Luego = 0 y = 0; pero = coker() luego existe tal que = . Por
ser n
ucleo de , por Lema 1.7.26 es monic.
Sea es el con
ucleo de = , entonces es con
ucleo de .
En efecto:
Del hecho que es el con
ucleo de = se sigue:
a) epic.
b) = 0
c) g = 0 implica que existe h tal que g = h.
Ahora, del hecho que es epic, se aplica la propiedad cancelativa por la derecha en las
ecuaciones, para obtener
d) epic.
e) = 0
f ) g = 0 implica que existe h tal que g = h.
Por lo tanto es con
ucleo de .
Por la condicion ii) de categoras abelianas, todo monic es n
ucleo de su con
ucleo;i.e.,
= ker(coker()) = ker(), as es n
ucleo de . Luego esta probada la existencia de
S .
Finalmente, se ve la unicidad de la descomposicion:
Si = = 1 1 con , 1 epimorfismos y y 1 monomorfismos, entonces se prueba
que
ker = ker = ker1 .
Seg
un la condicion ii) de categoras abelianas todo epimorfismo es con
ucleo de su
n
ucleo, permite hacer el siguiente diagrama:
.O o o
ker=ker1
}}
}}
}
~ }} 1
. }~
.o
o.
51
= 1
= 1
=
Luego = 1 = = , as es un isomorfismo
Se puede mostrar que la sucesion S es esencialmente u
nica. Dado un diagrama conmutativo.
/B
A
/ B0
//I /
A0
/A
K0 /
/ A0
/ / I0 /
/B
/ B0
//C
/ / C0
donde = , 0 = 0 0
Se construye , 0 como n
ucleos y luego , 0 ; , 0 como con
ucleos. Usando propiedades
de n
ucleos y con
ucleos se obtiene los morfismos k, l, tales que 0 k = ,
0 = l, 0 = y lo u
nico que falta probar es que 0 l = .
0
0 0
0
Como l = = = = y as, por ser epic se deduce que 0 l = .
Definici
on 1.7.29 Una sucesi
on exacta corta en una categora abeliana A es una
sucesi
on
/ //
/
en donde es n
ucleo de y es con
ucleo de .
Se define imagen im() de en A por im() = ker (coker()).
Proposici
on 1.7.30 La siguiente sucesi
on de objetos y morfismos de una categora
abeliana A
/ A0 f / A g / A00
/0
0
es exacta si y solo si f es monic, g es epic y im(f ) = ker(g).
52
Prueba :
) Por hipotesis f = ker(g) y g = coker(f ), luego f es monic y g es epic; mientras
que im(f ) = ker (coker(f )) = ker(g).
) Recprocamente, si f es monic, g es epic y im(f ) = ker(g), entonces f = ker(g)
y g = coker(f )
En efecto:
Como A es un categora abeliana, f es monic y g es epic; se obtiene que
f = ker (coker(f )) y g = coker (ker(g)). Pero ker(g) = im(f ), luego
g = coker (ker (coker(f ))) = coker(f ) por ser coker(f ) epic. As g = coker(f ) y
f = ker(g). Por lo tanto la sucesion dada es exacta
Proposici
on 1.7.31 Sea A0 /
/A
op
Prueba .- Para la sucesion exacta corta dada en A se tiene que es monic, es epic
y im() = ker(). Por dualidad se obtiene que op es epic, op es monic y
op
op
/ / A0 es exacta en Aop .
im(op ) = ker(op ). Por lo tanto A00 / / A
Se completa la prueba, explicando que im(op ) = ker(op ).
La igualdad im() = ker() se escribe como ker (coker()) = ker(). Aplicando
el dual : coker (ker(op )) = coker(op ), luego aplicando ker se obtiene que
ker (coker (ker(op ))) = ker (coker(op )).
Recordando que A es categora abeliana y ker(op ) es monic,
ker (coker (ker(op ))) = ker(op ); como im(op ) = ker (coker(op )), se deduce que
ker(op ) = im(op )
Definici
on 1.7.32 Sean A y B categoras abelianas y sea F : A B un funtor. Se
dice que F es exacto (exacto derecho; exacto izquierdo) si F conserva las sucesiones
exactas (exactas a la derecha; exactas a la izquierda). Por ejemplo, una sucesi
on exacta
0
00
a la derecha es una sucesi
on exacta de la forma A A A 0, decir que F
es exacto derecho significa que si se tiene una sucesi
on exacta de arriba, la sucesion
0
00
correspondiente F A F A F A 0 es tambien exacta.
Proposici
on 1.7.33 Sea A |mr |, entonces el funtor T = A () : ml Ab es
exacto derecho.
f
/ B g / B 00
Prueba.- Sea B 0
dos, entonces se probara que
A B 0
/AB
/ 0 una sucesi
on exacta de modulos izquier-
/ A B 00
/0
(?)
(1A g)(a b)
1A a g(b)
a g(b)
0
/B
/ B 00 es exacta, b Ker(g) significa que existe
Como la sucesion B 0
b0 B 0 tal que b = f (b0 ), de modo que existe a b0 A B 0 tal que
f (a b0 ) = a b, luego Ker(g ) Im(f ) (2)
De (1) y (2) queda verificado la afirmacion ii).
mr
Ab es
Proposici
on 1.7.34 Si F es un funtor exacto derecho(o exacto izquierdo) de categoras abelianas, entonces F es aditivo.
Prueba.- Suponga que F : A B es un funtor exacto derecho. Sea A = A0 A00 ,
luego se tiene una sucesion exacta corta A0 /
i0
/A
00
00
/ F A F / / F A00 es exacta por la
0 : A A0 tal que 0 i0 = 1. Entonces F A0
derecha y se tiene el morfismo F 0 : F A F A0 tal que F 0 F i0 = 1. Esto implica que
F A = F A0 F A00 y luego F es aditivo
F i0
Proposici
on 1.7.35 Sean F : A B y G : B C funtores covariantes aditivos
entre categoras aditivas, entonces GF : A C es un funtor covariante aditivo.
54
iii) Se prueba que la categora aditiva AZZ es abeliana, ya que se cumplen las tres
siguientes condiciones:
a) Sea AZZ (A, B), entonces existen AZZ (K, A) y AZZ (B, C) tales
que = ker() y = coker().
En efecto:
AZZ (A, B) implica que = {m,n : Am,n Bm,n }, m y n Z.
Como m,n A (Am,n ; Bm,n ) y A es una categora abeliana; existen
m,n (Km,n ; Am,n ) y m,n A (Bm,n ; Cm,n ) tales que m,n = ker(m,n ) y
m,n = coker(m,n ) para todo m y n Z. As, existen AZZ (K, A) y
AZZ (B, C) tales que = ker() y = coker().
b) Sean AZZ (A, B) monic, AZZ (C, D) epic; entonces = ker (coker())
y = coker (ker()).
En efecto:
AZZ (A, B) es monic implica que m,n A (Am,n ; Bm,n ) es monic para cada
m y n Z.
AZZ (C, D) es epic implica que m,n A (Cm,n ; Dm,n ) es epic para cada m
y n Z.
Como A es categora abeliana, se tiene que m,n = ker (coker(m,n )) y
m,n = coker (ker(m,n )) para todo m y n Z; por lo tanto = ker (coker())
y = coker (ker()).
c) Sea AZZ (A, B), entonces existen AZZ (A, I) epic y AZZ (I, B)
monic tales que = .
En efecto:
AZZ (A, B) implica que = {m,n : Am,n Bm,n }, m y n Z. Por ser A
categora abeliana y m,n A (Am,n ; Bm,n ); existen m,n A (Am,n , Im,n ) epic y
m,n A (Im,n ; Bm,n ) monic tales que m,n = m,n m,n para todo m y n Z.
As, existen AZZ (A, I) epic y AZZ (I, B) monic tales que =
Corolario 1.7.39 La categora de -modulos bigraduados
mZZ
es abeliana.
56
Captulo 2
Funtores Derivados
Esta teora historicamente surgio como una generalizacion de T or y Ext. Para alcanzar el segundo objetivo del presente trabajo se necesita conocer funtores derivados
derechos. Estos funtores en la literatura de algebra homologica van en paralelo a funtores derivados izquierdos. Como se vera el n-esimo funtor derivado izquierdo de un
funtor covariante aditivo T es una aplicacion entre categoras abelianas con dominio
que tiene suficientes proyectivos, definida sobre objetos usando resoluciones proyectivas
y sobre morfismos usando aplicaciones de cadena. As, el proposito de este captulo es
mostrar que tales definiciones no dependen de resoluciones proyectivas ni de aplicaciones de cadena y establecer que tales aplicaciones son funtores aditivos.
Trasladando estos resultados a funtores derivados derechos se establecera que los funtores derivados derechos de un funtor covariante aditivo T entre categoras abelianas,
donde el dominio de T tiene suficientes inyectivos, son tambien funtores y no dependen de la resolucion inyectiva ni de la aplicacion de cocadena elegidas en su definicion
sobre objetos y morfismos, respectivamente. El desarrollo de cada seccion es gradual;
en la primera seccion se introducen conceptos de objetos proyectivos, inyectivos y homologa; en la segunda seccion se construye sucesion exacta larga de (co)homologas; en
la tercera seccion se establece la nocion de homotopa entre aplicaciones de cadena. En
la cuarta seccion se discute resoluciones proyectivas e inyectivas. Se finaliza la quinta
seccion estudiando funtores derivados izquierdos y trasladando los resultados obtenidos
a funtores derivados derechos.
2.1.
Definici
on 2.1.1 Un objeto P de una categora C se dice que es proyectivo si, dados
/ / B un epic, para cada C (P, B), existe un morfismo
A, B |C| y : A
C (P, A) tal que = . En diagrama esto se expresa en una de las siguientes
formas
P
P
/0
/B
//B
Definici
on 2.1.2 Un objeto I de una categora C se dice que es inyectivo si, dados
/ A un monic, para cada C (B, I), existe un morfismo
A, B |C| y : B /
C (A, I) tal que = . Esto en diagrama se expresa en una de las siguientes
formas
> IO
? IO
Ao
Bo
Ao
o B
n
C : Cn+1 Cn
Cn1
donde n n+1 = 0 .
Para cada n Z, la condicion n n+1 = 0 implica que Im (n+1 ) Ker (n ) Cn .
Como Cn |A|, A es una categora abeliana se sabe que Im (n+1 ), Ker (n ) |A| ya
que cada morfismo en A tiene su imagen y su n
ucleo. La inclusion
in
Im (n+1 ) , Ker (n ) visto en A tiene coker(in ), luego el objeto
Ker (n )
Coker(in ) =
|A|.
Im (n+1 )
Definici
on 2.1.4 Sea A una categora abeliana y C un complejo de cadena sobre A.
Se define homologa de C como H (C) = {Hn (C)} AZ , donde
Ker (n )
Hn (C) =
|A| es el n-esimo objeto de homologa de C.
Im (n+1 )
Definici
on 2.1.5 Sea A una categora abeliana. Un complejo de cocadena sobre A es
un par (C, ), donde C AZ y : C C es un morfismo de grado 1 tal que 2 = 0.
Un complejo de cocadena C sobre A se denota por
n1
n
Cn+1
C : Cn1 Cn
donde n n1 = 0 .
58
ucleo en A, de manera
Nuevamente, la inclusion Im (n1 ) , Ker (n ) tiene su con
Ker (n )
que el objeto cociente Coker(in ) =
|A|.
Im (n1 )
Definici
on 2.1.6 Sea A una categora abeliana y C un complejo
de cocadena sobre A.
n
Z
2.2.
En esta seccion se deducira las sucesiones exactas largas de homologas o cohomologas a partir de una sucesion exacta corta sobre una categora abeliana de complejos de cadena o cocadena, respectivamente. Este resultado es una herramienta muy
importante en el estudio de la existencia o la convergencia finita de sucesiones espectrales asociadas a complejos filtrados, como se vera en el siguiente captulo.
Lema 2.2.1 (Lema de Serpiente) Sea el siguiente diagrama conmutativo con filas
exactas
A
/B
/ A0
/C
(2.1)
/ B0
/0
/ C0
Coker
Coker
Ker Ker
Ker Coker
(2.2)
Ker Ker
Ker
Coker
Coker
Coker
59
60
Definici
on 2.2.2 La sucesi
on A /
/B
Cn Cn /Im n+1
.
=
Ker n
Ker n /Im n+1
Cn
Cn
Como
Im n .
= Im n , existe :
Ker n
Ker n
De la inclusion Im n Ker n1 , se puede considerar i : Im n , Ker n1 .
La diferencial n : Cn Cn1 induce al morfismo en : Coker n+1 Ker n1 dado
por en = ip.
Calculando Ker en y Cokeren :
Luego existe p :
Ker en =
=
=
=
en (Coker n+1 )
i (p) (Coker n+1 )
i (Im n ) , p es epic
Im n , de donde
Ker n1
Ker n1
=
= Hn1 (C)
Im n
Im en
/B
/ / C de complejos de
Teorema 2.2.4 Dada una sucesi
on exacta corta A /
cadena (o complejo de cocadena ) sobre A existe un morfismo de grado -1 (grado 1) de
objetos graduados en AZ , : H(C) H(A), tal que el triangulo
H(A)H
dH
HH
HH
HHH
/ H(B)
v
vv
vv
v
v
zvv
H(C)
n+1
/ Hn (A)
/ Hn (B) / Hn (C)
61
/ Hn1 (A)
(2.3)
n1/
H n (A)
/ H n (B) / H n (C)
/ H n+1 (A)
(2.4)
es exacta.
Prueba.- Se va a dar la prueba para el caso de complejos de cadena en i) y en ii) para
el caso de complejos de cocadena:
i) Se comienza considerando el siguiente diagrama para cada n Z.
0
/ Ker
n
An /
/ Ker
n
n
/ Bn
An1 /
Cokern
n1
/ Ker
n
/ Bn1
n1
/ Coker
n
/ / Cn
/ / Cn1
/ Coker
n
/0
Por Lema 2.2.1 las sucesiones de las filas superior e inferior son exactas para cada
n Z. Luego de Lema 2.2.3 se obtiene el diagrama
Hn (A)
/ Hn (B)
/ Hn (C)
/ Coker n+1
/ Coker n+1
Coker n+1
/ Kern1
/ Kern1
/ Kern1
/ Hn1 (B)
/ Hn1 (C)
Hn1 (A)
/0
/ B / / C es una sucesi
ii) Asumiendo que A /
on exacta corta de complejos
de cocadena sobre una categora abeliana A, por Proposicion 1.7.31 se obtiene
op
op
o C op es una sucesi
on exacta corta de complejos de caque Aop o o
B op o
op
dena sobre la categora abeliana A . Por la parte i) para cada n Z existe
62
n+1
n
o
Hn1 (C op ) o
Hn (Aop ) o
Hn (B op ) o
Hn (C op ) o
op
es exacta en A .
Invirtiendo flechas y usando Lema 3.4.7 para complejos de cadena Aop , B op y C op
sobre la categora abeliana Aop ; se obtiene que la sucesion (2.4):
n1
n
2.3.
Homotopa
'
,
sea
: una homotopa,
n
P
P
entonces ( )z = z + z = z puesto que z = 0. De donde (z) (z)
esta en el borde Bn (D) = Imn+1 en Dn ; i.e., que (z) y (z) son homologos como
n-ciclos del complejo D, luego generan el mismo elemento de Hn (D) para cada n. Esto
significa, por Proposicion 1.5.8, que Hn ()[z] = Hn ()[z] para todo [z] Hn (C). Por
lo tanto H() = H()
La recproca de Proposicion 2.3.2 no es cierta; al final de esta seccion se dara un ejemplo
de dos aplicaciones de cadena que inducen el mismo morfismo de homologas , pero
que no son homotopicas.
Se procede a obtener resultados sobre la relacion de homotopa.
63
; entonces:
P
P
0 0 = 0 +0
P
P
= (0 ) + (0 ).
Sea 0 0 = T + T , entonces:
0 0 = T + T
= (T ) + (T )
Sumando las dos igualdades
deducidas
y efectuando operaciones se ve que
P
P
0
0
0
0
= (
+T ) + (
+T ) ; por lo tanto 0 ' 0 : C E
de cadena de -m
odulos y ' : C D, entonces F ' F : F C F D.
P
Prueba.- Sea
P P: una homotopa de en . Entonces como
= + y F es un funtor covariante aditivo se tiene
F F = F ( )
P P
= F ( + )
P
P
= (F )(F ) + (F )(F )
As F
Lemas 2.3.4 y 2.3.5 muestran que la relacion de homotopa ' se comporta muy
bien con respecto a la composicion de aplicaciones de cadena y con respecto a funtores
covariantes aditivos. Lema 2.3.5 junto con Proposicion 2.3.2 producen el siguiente
Corolario 2.3.6 Si ' : C D y si F es un funtor covariante aditivo, entonces
H(F ) = H(F ) : H(F C) H(F D)
Lema 2.3.4 permite definir el producto entre clases de homotopa; por consiguiente,
es posible asociar a la categora de complejos de cadena y aplicaciones de cadena, la
categora de complejos de cadena y las clases de homotopa de cadena. Este cambio es
alcanzado simplemente por identificacion de dos aplicaciones de cadena si y solo si son
homotopicas. La categora as obtenida se llama categora de homotopa.
64
Definici
on 2.3.7 Se dice que dos complejos de cadena C y D son del mismo tipo de
homotopa (o son homotopicos) si ellos son isomorfos en la categora de homotopa; es
decir, si existen aplicaciones de cadena : C D y : D C tales que ' 1C y
' 1D . En este caso, la aplicaci
on (o ) se llama equivalencia homotopica.
Se cierra esta seccion con el ejemplo prometido:
Tomando = Z, C1 = Z =< s1 >, C0 = Z =< s0 >; Cn = 0, n 6= 0, 1;
s1 = 2s0 ; D1 = Z =< t1 >; Dn = 0, n 6= 1; s1 = t1 se ve que C y D son complejos
de cadena sobre .
Claramente : C D es una aplicacion de cadena, as como 0 : C D. Estas
aplicaciones de cadena inducen el mismo homomorfismo nulo de homologas
H() = H(0) = 0 : H(C) H(D). Para mostrar que y 0 no son homotopicos, se
aplica Corolario 2.3.6 al funtor aditivo Z2 ; se obtiene que
H1 ( Z2 ) 6= H1 (0 Z2 ), ya que
H1 ( Z2 ) = 1 : Z2 Z2 ,
H1 (0 Z2 ) = 0 : Z2 Z2 [4].
2.4.
Resoluciones
n
1
0
C : Cn
Cn1 C1
C0
0
(2.6)
C0
0
(2.8)
/ / H0 (D)
D0
es conmutativo.
Si n > 0, suponga que 0 , 1 , . . . , n1 estan definidos. Se considera el diagrama
Cn
/ Cn1
/ Cn2
n1
Dn
/ Dn1
/ ...
n2
/ Dn2
/ ...
Dn
//
n1
Imn = Kern1
1 1 0
D1
/ H0 (C)
1 =0 xxx
0 0 xxx
{xx
/D
/ H0 (D)
0
/ C0
66
/0
/0
1
Ker( : D0 H0 (D)) = Im(D1
D0 ).
/ / Im , entonces existe
Como
C0 es proyectivo, 0 0 : C
1
P0 Im1 y 1 : D1
P
.
As
para
n
=
0
se
tiene
:
C
D
tal
que
0
1
0P
0
0
P 0
P
0 0 = 0 + 1 con 1 = 0.
P
P
Si n > 0, suponga
que estan definidos 0 , . . . , n1 tales que
P P
r r = r + r1 , r n 1. Considerando el diagrama
Cn+1
n+1 n+1n
Dn+1
/ Cn1 / Cn2
v
n1 yyy
n2 vvv
n n yy
n1 n1 vv
y
v
{vv
|yy
/D
/ Dn1 / Dn2
/C
n
se obtiene
(n n
n1 )
P
= n1 n1 n1
P
= (n1 n1 n1 )
P
=
n2 = 0
P
/ / Imn+1 .
Cn Ker n = Im n+1 y n+1 : Dn+1
De donde = n n n1 : P
P
Como Cn es proyectivo, existe n : Cn Dn+1 tal que = n+1 n . Es decir, el
siguiente diagrama
Cn
n
Dn+1
y n+1
//
Imn+1
P
P
es conmutativo. De donde n n = n+1 n + n1 y as '
El siguiente teorema establece que cada modulo es cociente de alg
un modulo proyectivo y la prueba se puede encontrar en [1].
Teorema 2.4.4 Cada -modulo A puede ser inmerso en la siguiente sucesi
on exacta
de -modulos
0M P A0
donde P es un -m
odulo proyectivo.
La sucesion exacta de -modulos 0 M P A 0 tambien puede ser escrito
como M P
A.
67
Proposici
on 2.4.5 Para cada -m
odulo A existe una resoluci
on proyectiva.
Prueba.- La prueba de la existencia consiste en la aplicacion sucesiva de Teorema
2.4.4. As, para el -modulo dado A se considera la sucesion exacta R1 P0
A
donde P0 es un -modulo proyectivo; luego para el -modulo R1 se considera la sucesion
exacta R2 P1
R1 donde P1 es un -modulo proyectivo; y as sucesivamente.
De esta manera, se obtiene un complejo de cadena P sobre :
n+1
n
1
0
P : Pn+1 Pn
Pn1
P0
0
n+1
Pn+1
Rn+1 Pn
n Rn Pn1
se obtienen :
i) n+1 = n+1 n+1 , n = n n
Im n+1 = n+1 n+1 (Pn+1 ), n+1 es epic
ii)
= n+1 (Rn+1 )
= Im n+1
Ker n =
=
=
=
iii)
n+1
{x Pn : n x = 0}
{x Pn : n n x = 0}, n es monic
{x Pn : n x = 0}
Ker n
iv) Rn+1 Pn
n Rn es exacta, implica que Ker n = Im n+1 para
n 0 (R0 = A).
De los tres u
ltimos items se obtiene que Ker n = Im n+1 para n 1, luego P es
acclico.
Se ve que P es proyectivo, acclico y H0 (P )
= A, por lo tanto P es una resolucion
proyectiva de A
Proposici
on 2.4.6 Dos resoluciones proyectivas de A son del mismo tipo de homotopa.
Prueba.- Sean C y D dos resoluciones proyectivas de A. Por Teorema 2.4.3
existen aplicaciones de cadena : C D y : D C inducido por la identidad de
H0 (C) = A = H0 (D). La aplicacion compuesta : C C y la identidad 1C : C C
son inducidas por la identidad 1A : A A, luego por Teorema 2.4.3 ' 1C . Analogamente ' 1D . Por lo tanto C y D son del mismo tipo de homotopa
En esta seccion se hace algunas observaciones sobre la situacion dual.
68
Definici
on 2.4.7 Sean , : C D aplicaciones de cocadena entre complejos de
cocadena C y D. Se dice que es homotopica a si existe es un morfismo de grado
1 de objetos graduados : C D tal que = + ; i.e., tal que, para cada
n Z,
n n = n1 n + n+1 n
(2.9)
es homotopica a se denota por ' .
Los complejos de cocadena positivos son complejos de cocadena de la forma
n
0
1
C : 0 C0
C1
C2 Cn
Cn+1
(2.10)
H 0 (I) A.
Si I es una resolucion inyectiva de A, entonces H 0 (I)
= A y la siguiente sucesion es
exacta
0 A I0 I1 In In+1
(2.11)
Se denotara por I a la sucesion (2.11) y se dira resolucion inyectiva completa de A.
El siguiente resultado establece que cada modulo es un submodulo de alg
un modulo
inyectivo y la prueba se puede ver en [6].
Teorema 2.4.11 Sea M un -m
odulo. Entonces existe un -modulo inyectivo de la
forma HomZ (, Y ), donde Y es un Z-m
odulo inyectivo, tal que la sucesi
on
0
/M
/ HomZ (, Y )
es una sucesi
on exacta de -modulos.
Proposici
on 2.4.12 Para cada -modulo A existe una resoluci
on inyectiva.
69
Prueba.- La prueba
l de la existencia consiste en la aplicacion sucesiva de Teorema
2.4.11, para A m existen las siguientes sucesiones exactas:
/A
0
0
/ I0
0
/ Z0
/ Z0
1
/ I1
/0
/ Z1
(2.12)
..........................................................
0
/ Zn1 n1 / In
/ Zn
/0
(2.13)
..........................................................
As se obtiene un complejo de cocadena I sobre :
I:
/ I0
/ I1
/ n1 / In
n
/ In+1
(2.14)
Ker(0 )
= Ker(0 ) = Ker(0 ) = Im()
Im(1 )
La u
ltima igualdad se obtiene por exactitud de la sucesion de -modulos (2.12). Por
el mismo argumento se tiene que A
= Im() puesto que es inyectiva. Por lo tanto
0
0
H 0 (I) =
Proposici
on 2.4.13 Dos resoluciones inyectivas de A son del mismo tipo de homotopa.
Definici
on 2.4.14 Una categora abeliana A se dice que tiene suficientes inyectivos
si cada objeto A |A| posee una resoluci
on inyectiva. A se dice que tiene suficientes
proyectivos si cada objeto A |A| posee una resoluci
on proyectiva.
Proposiciones 1.7.19 y 2.4.12 muestran como ejemplo que la categora de -modulos izquierdos ml es abeliana con suficientes inyectivos. Mientras que Proposiciones
1.7.19 y 2.4.5 muestran que la categora de -modulos izquierdos ml es abeliana con
suficientes proyectivos.
70
2.5.
Se aprecia que ya se cuenta con los conocimientos previos para desarrollar el tema
principal de funtores derivados de algebra homologica. Se desarrollara la teora considerando un funtor covariante aditivo T : A B entre categoras abelianas. Se realiza
la definicion de funtores derivados izquierdos con detalle, mientras que acerca de funtores derivados derechos se hace algunas observaciones. El proposito de esta seccion es
dar definiciones basicas y propiedades de funtores derivados izquierdos Ln T y funtores
derivados derechos Rn T para n = 0, 1, . . .
Definici
on 2.5.2 Dado A (A, A0 ), se define la aplicaci
on : LPn T A LPn T A0
por = Hn (T );
donde : P P 0 es una aplicacion inducida por , P es una resoluci
on proyectiva de
A y P 0 es una resoluci
on proyectiva de A0 .
Proposici
on 2.5.3 Sea A (A, A0 ), entonces no depende de la elecci
on de la
aplicacion de cadena.
Prueba.- Sea P una resolucion proyectiva de A y P 0 una resolucion proyectiva de A0 ,
entonces H0 (P )
= A, H0 (P 0 )
= A0 , de manera que existe un morfismo
: H0 (P ) H0 (P 0 ) definido mediante el diagrama
Ao
H0 (P )
A0
/ H0 (P 0 )
Por Teorema 2.4.3, existe una aplicacion de cadena : P P 0 inducida por . Sea
: P P 0 otra aplicacion de cadena inducida por , luego por Teorema 2.4.3, ' .
Usando el funtor aditivo T , por Corolario 2.3.6 se deduce que
H (T ) = H (T ) : H (T P ) H (T P 0 ). Por lo tanto = Hn (T ) = Hn (T )
Proposici
on 2.5.4 Sean P y Q dos resoluciones proyectivas de A. Entonces existe un
P
Q
Hn (T Q) = LQ
n T A. Por lo tanto, existe = 1A (P, Q) : Ln T A Ln T A,
n = 0, 1, . . .
a un isomorfismo ,
Este resultado permite identificar los objetos LnP T A y LQ
n T A v
P
por eso se omitira el superndice P y se escribira Ln T A para Ln T A.
Proposici
on 2.5.5 Sean A, A0 |A|; A (A, A0 ); P una resoluci
on proyectiva de
A y una aplicaci
on de cadena inducida por . Entonces la aplicaci
on Ln T : A B
definida sobre los objetos por Ln T A = Hn (T P ) y sobre morfismos
= Ln T () : Ln T A Ln T A0 por Ln T () = Hn (T ), es un funtor.
Prueba.- Se verifican las dos siguientes condiciones de funtor para Ln T :
FUN1. Ln T (1A ) = 1Ln T A para todo A |A|.
En efecto : Ln T (1A ) =
=
=
=
Hn (T 1P )
Hn (1T P )
1Hn (T P )
1Ln T A .
Hn (T (0 ))
Hn (T 0 T )
Hn (T 0 ) Hn (T )
Ln T (0 ) Ln T ()
Proposici
on 2.5.6 Los funtores Ln T : A B, n = 0, 1, . . . son aditivos.
Prueba.- Sea P una resolucion proyectiva de A y Q una resolucion proyectiva de B,
entonces
P Q : Pn Qn Pn1 Qn1 P0 Q0 0
72
Como ejemplos de funtores derivados izquierdos se cita a T orn (A, ) y T orn (, B).
Estos funtores provienen, respectivamente, de los funtores covariantes aditivos A ()
y () B [4].
T orn (A, ) = Ln (A ), n = 0, 1, . . .
Se calcula el grupo abeliano T orn (A, B); tomando una resolucion proyectiva arbitraria
P de B, formando el complejo de cadena A P y luego tomando la homologa, por con
siguiente T orn (A, B) = Hn (A P). Analogamente, se define T orn (, B) : mr Ab.
Recordando que, un funtor covariante T : m Ab es exacto derecho si, para
cada sucesion exacta A0 A A00 0, la sucesion T A0 T A T A00 0 es
exacta. Seg
un Proposicion 1.7.33, un ejemplo de funtor exacto derecho es A .
Proposici
on 2.5.8 Para un -m
odulo proyectivo P y T exacto derecho,
Ln T P = 0 para n = 1, 2, . . . y L0 T P
= TP
Prueba.- Para la resolucion proyectiva P de P ,
1
0
P : P1 = 0
P0
0
1
0
T P : . . . 0
T P0
0.
73
Ker T n
=0
Im T n+1
Ker T 0
T P0
L0 T P =
=
= T P0
Im T 1
{0}
Por lo tanto Ln T P = Hn (T P) =
para n = 1, 2, . . . ;
/A
/ / A00
/ / A0 y 00 : P 00
/ / A00 , existen una prey presentaciones proyectivas 0 : P 0
/ / A y homomorfismos i : P 0 P y : P P 00
sentaci
on proyectiva : P
tal que el siguiente diagrama es conmutativo con filas exactas:
P0 /
A0 /
/P
/ / P 00
/A
00
/ / A00
00
/ / A00
00
00
00
Ln1 T A0
Ln T A0
Ln T A
Ln T A00
1
L1 T A00
L0 T A0
L0 T A
L0 T A00 0
74
(2.15)
Prueba.- Aplicando Teorema 2.4.4 a los -modulos A0 y A00 , por Lema 2.5.9 se puede
construir un diagrama con filas exactas
P00 /
/ P0
A0 /
/ / P 00
0
/A
00
00
/ / A00
con P0 = P00 P000 , donde P0 , P00 , P000 son proyectivos. Por Lema 2.2.1 la sucesion de
n
ucleos
/ Ker
/ / Ker 00
(2.16)
Ker 0 /
es exacta corta. Repitiendo este procedimiento con la sucesion (2.16) en lugar de
A0 /
/A
00
00
Proposici
on 2.5.11 Sea B ml y P una resoluci
on proyectiva de B, entonces
A P es una resoluci
on proyectiva de A B.
Prueba Como P es una resoluci
on proyectiva de B, entonces existen proyectivos
P0 , P1 , . . . , Pn , . . . , m tales que
n+1
P : Pn+1 Pn P1 P0 B 0 . . . ()
es exacta.
Aplicando a () el funtor exacto derecho A (), se obtiene el siguiente complejo de
cadena exacta:
: A Pn+1 A Pn A P1 A P0 A B 0
A P
(2.17)
De donde
1
A P : A Pn+1 A Pn A P1 A P0 0
Observando (2.17) y el complejo de cadena A P se obtiene:
i) Cada A Pn es proyectivo para n 0.
ii) Cada Hn (A P) = 0 para n 1, porque A P es exacto.
75
iii) H0 (A P)
= A B, puesto que
H0 (A P) =
Ker 0
A P 0
=
= A B.
Im 1
Ker
/ T or (A, B 0 )
n
/B
/ T or (A, B)
n
/ T or (A, B 00 ) 1
1
/ / B 00 en
/ T or (A, B 00 )
n
/ A B
/ A B0
/ T or (A, B 0 )
n1
/ A B 00
/0
(2.18)
Para obtener este resultado se aplico Teorema 2.5.10 usando el funtor aditivo
/B
/ / B 00 .
T = A () y la sucesion exacta corta B 0 /
/A
/ / A00 en mr , por
Similarmente, dada una sucesion exacta corta A0 /
/ T or (A0 , B)
n
/ T or (A, B)
n
/ T or (A00 , B) 1
1
/ T or (A00 , B)
n
/ A B
/ A0 B
/ T or
n1 (A
/ A00 B
, B)
/0
(2.19)
76
Proposici
on 2.5.12 Sean A, A0 |A|; A (A, A0 ); I una resoluci
on inyectiva de A
y una aplicaci
on de cocadena inducida por . Entonces la aplicaci
on R n T : A B
n
n
definida sobre los objetos por R T A = H (T I) y sobre morfismos
= Rn T () : Rn T A Rn T A0 por Rn T () = H n (T ), es un funtor.
Prueba.- Se realiza como en Proposicion 2.5.5
Definici
on 2.5.13 Sea T : A B un funtor covariante aditivo entre categoras
abelianas donde A tiene suficientes inyectivos. El funtor Rn T : A B, n = 0, 1, . . .
se llama n-esimo funtor derivado derecho de T .
El valor de Rn T sobre un objeto B |A| se calcula tomando una resolucion inyectiva
I de B, considerando el complejo de cocadena T I sobre B y aplicando cohomologa,
entonces Rn T B = H n (T I).
Para el funtor covariante Hom (A, ) aditivo, se definen funtores derivados deren
0
1
2
I : 0 I0
I1 = 0
0
0
1
2
T I : 0 T I0
0
0
Ker T n
=0
Im T n1
TI
Ker T 0
=
R0 T I =
= TI
Im T 1
{0}
Por lo tanto Rn T I = H n (T I) =
77
para n = 1, 2, . . . ;
2.5.4 existe un isomorfismo : H q (GF (I)) H q (GF (I 0 )), como estos objetos en C
se identifican, se puede concluir que Rq (GF ) (A) = H q (GF (I 0 )).
78
Captulo 3
Sucesiones Espectrales y
Filtraciones
Recordando que el primer objetivo de la tesis es dar condiciones para inducir (o
transferir) el isomorfismo entre los lmites de dos sucesiones espectrales asociadas a
dos complejos filtrados a las homologas correspondientes a dichos complejos filtrados
y probar este resultado, se destina para la obtencion de este objetivo las secciones 3.1,
3.2 y 3.3. A proposito, se comienza este captulo revisando objetos diferenciales que
son necesarios para tratar objetos de homologa (por tanto homologas de complejos) y
sucesiones espectrales en una categora abeliana, pares exactos con las cuales es posible
obtener sucesiones espectrales asociadas.
Se estudia objetos diferenciales filtrados para comprender el caso particular de complejos de cadena filtrados, pues con estos objetos automaticamente se generan un par
exacto y luego una sucesion espectral. Se hace analisis de esta parte para buscar y
dar condiciones a la filtracion de un complejo filtrado dado con el proposito de que la
sucesion espectral asociada tenga lmite, se alcance solo en un n
umero finito de pasos y,
se proporcione un procedimiento para calcular tal lmite; imponiendo esas condiciones
que garantizan la existencia del lmite y el procedimiento para su calculo a ambas filtraciones de los dos complejos de cadena filtrados se conseguira la referida transferencia
del isomorfismo desde los lmites a las homologas; en consecuencia, se formalizara el
logro del primer objetivo enunciando y demostrando Teorema 3.3.13.
El segundo objetivo del presente trabajo involucrara dos problemas una de existencia y otra de convergencia finita para la sucesion espectral de Grothendieck. En la
seccion 3.4, se implementara una teora breve acerca de complejos de cocadena filtrados para obtener el resultado dual de Teorema 3.3.9 que sera u
til cuando se trate el
problema de convergencia finita de tal sucesion espectral. Mientras que en la seccion
3.5 se propone conseguir formalmente el segundo objetivo enunciando y demostrando
Teorema 3.5.12.
79
3.1.
Definici
on 3.1.1 Sea A una categora Abeliana. Sea A un objeto de A y d : A A
un endomorfismo. El par (A, d) es un objeto diferencial si d2 = 0.
En realidad :
i) Se puede definir un morfismo de objetos diferenciales f : (A, dA ) (B, dB ) como
un morfismo f : A B de A tal que el diagrama
A
f
dA
/A
dB
es conmutativo.
/B
Proposici
on 3.1.3 Si A es una categora abeliana, entonces la categora (A, d) es
aditiva.
Prueba .- Para que la categora (A, d) sea aditiva se verificara las siguientes cuatro
condiciones.
i) (0, d0 ) |(A, d)| puesto que el objeto cero 0 |A|, d0 es el morfismo nulo en
A(0, 0) de manera que d20 = d0 d0 = 0.
ii) Para (A, dA ), (B, dB ) |(A, d)| se tiene que (A, dA ) (B, dB ) |(A, d)|.
Verificando (A, dA ) (B, dB ) = (A B, dA dB ) donde A B |A| y
(dA dB )2 =
=
=
=
=
(dA dB )(dA dB )
dA dA dB dB
d2A d2B
00
0
iii) (A, d)((A, dA ), (B, dB )) es un grupo abeliano para todo (A, dA ), (B, dB ) |(A, d)|.
Para ello se verificara que (A, d)((A, dA ), (B, dB )) es un subgrupo de A(A, B).
a) (A, d)((A, dA ), (B, dB )) 6= , pues el morfismo cero 0 (A, d)((A, dA ), (B, dB ))
en vista de que 0 A(A, B) y 0dA = dB 0 = 0.
b) Si f, g (A, d)((A, dA ), (B, dB )), entonces f g (A, d)((A, dA ), (B, dB )).
Por la inclusion iv) : f, g (A, d)((A, dA ), (B, dB )) implica que f, g A(A, B).
Ahora , como A(A, B) es un grupo existe g A(A, B) tal que gg = g+g = 0.
Ademas f g A(A, B). Por otro lado
(f g)dA = (f + (g))dA = f dA + (g)dA
= dB f + dB (g)
= dB (f + (g)) = dB (f g).
Por a) y b) se deduce que (A, d)((A, dA ), (B, dB )) es un subgrupo de A(A, B).
Como A es una categora abeliana, el grupo A(A, B) es abeliano, por consiguiente
(A, d)((A, dA ), (B, dB )) es un grupo abeliano.
iv) La composicion
(A, d)((A, dA ), (B, dB )) (A, d)((B, dB ), (C, dC )) (A, d)((A, dA ), (C, dC ))
es bilineal.
En efecto:
81
a)
b)
(f + g)h = f h + gh
f (g + h) = f g + f h
por
Im(dA )
Im(dB )
Ker(dA )
H(f )(x + Im(dA )) = f (x) + Im(dB ) para todo x + Im(dA )
= H(A, dA ).
Im(dA )
i) H(f ) esta bien definido como aplicacion se verifica con a) y b).
a) f (x) + Im(dB )
Ker(dB )
, pues x Ker(dA ) y dB f (x) = f dA (x) = 0
| {z }
Im(dB )
=0
82
En efecto:
donde f z B,
de modo que f (x) f (y) Im(dB ), luego f (x) + Im(dB ) = f (y) + Im(dB ).
Por lo tanto H(f )(x + Im(dA )) = H(f )(y + Im(dA )).
ii) H : (A, d) A es un funtor covariante.
Esto se prueba verificando que satisface los dos siguientes axiomas de funtor:
FUN 1. H(1(A,dA ) ) = 1H(A,dA ) para todo (A, dA ) |(A, d)|.
En efecto, H(1(A,dA ) ) : H(A, dA ) H(A, dA ) esta definido por
H(1(A,dA ) )(x + Im(dA )) = 1(A,dA ) (x) + Im(dA )
= x + Im(dA )
= 1H(A,dA ) (x + Im(dA ))
para todo x+Im(dA ) H(A, dA ). As, por igualdad de funciones se concluye
que H(1(A,dA ) ) = 1H(A,dA ) .
FUN 2. H(gf ) = H(g)H(f ) para todo f (A, d)((A, dA ), (B, dB )) y
g (A, d)((B, dB ), (C, dC )).
En efecto, para H(gf ) : H(A, dA ) H(C, dC ) por definicion se tiene
H(gf )(x + Im(dA )) =
=
=
=
83
(f + g)(x) + Im(dB )
(f (x) + g(x)) + Im(dB )
(f (x) + Im(dB )) + (g(x) + Im(dB ))
H(f )(x + Im(dA )) + H(g)(x + Im(dA ))
(H(f ) + H(g))(x + Im(dA ))
Z(A)
.
B(A)
Definici
on 3.1.5 Una sucesi
on espectral en una categora abeliana A es una sucesi
on
E = {(En , dn )} de objetos diferenciales para n = 0, 1, . . . , tales que
En+1 = H(En , dn ) = H(En ).
Se observa que :
i) Se define un morfismo : E E 0 de sucesiones espectrales como la familia
de morfismos n : (En , dn ) (En0 , d0n ) de (A, d) tales que n+1 = H(n ) para
n = 0, 1, . . .
ii) La composicion de morfismos : E E 0 y : E 0 E 00 de sucesiones
espectrales es definido como la familia {()n = n n : (En , dn ) (En00 , d00n )} de
morfismos de (A, d) tales que ()n+1 = H(()n ) para n = 0, 1, . . .
Esto es posible para cada n = 0, 1, . . .; n n es definido en la categora (A, d), de
modo que ()n = n n esta definido como un morfismo de (A, d).
Por otro lado, H : (A, d) A es un funtor covariante implica que
H(()n ) =
=
=
=
H(n n )
H(n )H(n )
n+1 n+1
()n+1 para n = 0, 1, . . .
84
iii) As, se puede construir la categora E(A) cuyos objetos son sucesiones espectrales
en A, los morfismos de estos objetos son definidos en i) y la composicion de estos
morfismos esta dado en ii).
Proposici
on 3.1.6 Si A es una categora abeliana, entonces E(A) es una categora.
Prueba.- Se cumplen los tres axiomas siguientes de categora para E(A):
CAT 1. Los conjuntos de morfismos E(A)(A, B) y E(A)(C, D) son disjuntos, a menos
que A = C y B = D.
En efecto, si E(A)(A, B) E(A)(C, D) 6= se prueba que A = C y B = D.
Sea h E(A)(A, B) E(A)(C, D) de modo que h : A B y h : C D. As para
cada n, hn : (An , dAn ) (Bn , dBn ), hn : (Cn , dCn ) (Dn , dDn ) son morfismos
en (A, d). De aqu hn (A, d)((An , dAn ), (Bn , dBn )) (A, d)((Cn , dCn ), (Dn , dDn )),
luego (A, d)((An , dAn ), (Bn , dBn )) (A, d)((Cn , dCn ), (Dn , dDn )) 6= .
Como (A, d) es una categora, se deduce que (An , dAn ) = (Cn , dCn ) y
(Bn , dBn ) = (Dn , dDn ), de modo que An = Cn , Bn = Dn para n = 0, 1, . . .
Por consiguiente A = C y B = D.
CAT 2. Dados f E(A)(A, B), g E(A)(B, C) y h E(A)(C, D) se cumple
que h(gf ) = (hg)f para todo A, B, C y D |E(A)|.
En efecto: Para cada n = 0, 1, . . .
(h(gf ))n =
=
=
=
=
hn (gf )n en (A, d)
hn (gn fn )
(hn gn )fn , por asociatividad en(A, d)
(hg)n fn
((hg)f )n .
85
Igualmente
Por lo tanto 1A g = g
Definici
on 3.1.7 Si A es una categora abeliana, entonces un par exacto
EC = {D, E, , , } en A es un triangulo
D `@
/D
~
~
~
~~
~
~~
@@
@@
@@
(3.1)
exacto de morfismos en A.
En otras palabras:
i) El triangulo (3.1) de morfismos en A es exacto si la sucesion
/D
/E
/D
/D
es exacta.
ii) El triangulo (3.1) de morfismos en A es exacto si se tiene Im() = Ker(),
Im() = Ker(), Im() = Ker().
Los siguientes pasos facilitan la construccion de la categora de pares exactos:
i) Es posible definir un morfismo : EC EC de pares exactos, donde
}, como un par (k, ) de morfismos
E,
EC = {D, E, , , } y EC = {D,
, ,
y : E E tal que el diagrama
de A ; k : D D
EC :
/D
EC :
/E
/D
/D
/E
/D
/D
/D
= , = k. Sea
conmuta. Es decir
k = k, k
EC :
EC :
EC :
/D
/E
/D
/
D
/E
/
E
/D
/D
/D
/
D
/D
/
D
(3.2)
: D D,
: E E tal que el diagrama
kk
EC :
EC :
kk
/D
kk
/
D
/E
/
E
/D
/D
kk
/
D
kk
/
D
= kk,
= ,
= kk
kk
conmuta. Es decir
kk
Esto es posible, pues se verifica que se cumplen estas igualdades
k = k
a) |{z}
k k = k |{z}
k = kk
pues
,
k = k por (3.2)
k
=
,
k
= por (3.2)
b) k k =
pues k =
|{z}
|{z}
= k = kk
pues
= k
, = k por (3.2)
c)
|{z}
|{z}
iii) Ahora bien, es posible construir la categora EC(A) cuyos objetos son pares exactos en A, los morfismos de estos objetos son definidos en el item i) y la composicion
de estos morfismos esta dada por el paso ii).
iv) Si EC, EC son pares exactos en A, entonces el conjunto de morfismos de estos
pares exactos dados es el conjunto
= , = k}
E/
EC(A)(EC, EC) = {(k, ) : D E D
k = k, k
}, k : D D
E,
y : E E
donde EC = {D, E, , , }, EC = {D,
, ,
Proposici
on 3.1.8 Si A es una categora abeliana, entonces EC(A) es una categora.
Prueba.- Se verifica que se cumplen los tres axiomas de categora para EC(A):
CAT 1.- Los conjuntos de morfismos EC(A)(A1 , B1 ) y EC(A)(A2 , B2 ) son disjuntos,
a menos que A1 = A2 , B1 = B2 .
En efecto, suponiendo que EC(A)(A1 , B1 ) EC(A)(A2 , B2 ) 6= , se prueba que
A1 = A2 , B1 = B2 .
Sea h EC(A)(A1 , B1 ) EC(A)(A2 , B2 )
(3.3)
1 E1 ) A(D2 E2 , D
2 E2 ) 6= . Como A es una categora se
A(D1 E1 , D
1 E1 = D
2 E2 . Ademas se tiene
cumplen las igualdades D1 E1 = D2 E2 , D
que
1 = D
2 , E1 = E2
D1 = D2 , E1 = E2 , D
(3.4)
Por (3.3) y el paso anterior iv) se cumplen
1 k1 = k1 1 , 1 k1 = 1 1 ,
1 1 = k1 1 y ademas
2 k1 = k1 2 , 2 k1 = 1 2 , 2 1 = k1 2 . Restando se
deduce (
2
1 )k1 = k1 (2 1 ), (2 1 )k1 = 1 (2 1 ) y
(
2 1 )1 = k1 (2 1 ).
De aqu se debe tener
1 = 2 ,
1 =
2 , 1 = 2 , 1 = 2 , 1 = 2 , 1 = 2
(3.5)
88
)
= (1D k,
1E )
1A g = (1D , 1E )(k,
)
porque 1E y 1D son identidades en A
= (k,
= g
Por consiguiente, existe el morfismo identidad 1A = (1D , 1E ) EC(A)(A, A)
cumpliendo las igualdades (3.6)
Proposici
on 3.1.9 Sea A = {D, E, , , } |EC(A)| dado en (3.1). Si se define
d : E E por d = , entonces (E, d) es un objeto diferencial en A.
Prueba.- Usando la asociatividad de la composicion de morfismos de la categora
abeliana A y la definicion dada del endomorfismo d:
d2 = ()() = ()
= 0 por ser A (el triangulo) exacto en E, i.e., = 0
= 0
Como d2 = 0 y E |A|, por Definicion 3.1.1 se concluye que (E, d) |(A, d)|
Considerando el par exacto en A dado en (3.1) y haciendo (E0 , d0 ) = (E, d),
D1 = D y E1 = H(E0 , d0 ); se construye el triangulo de morfismos en A como
D1 `B
BB
BB
1 BBB
E1
/D
1
|
|
|
|
||
~|| 1
(3.7)
(3.8)
Proposici
on 3.1.10 Los morfismos 1 , 1 y 1 en A dados por (3.8) estan bien
definidos.
Prueba.- Con los siguientes items i), ii) y iii) se probara que los morfismos estan bien
definidos.
i) 1 : D1 D1 esta bien definido.
Sean x, y D1 = D tales que x = y, entonces 1 (x) = 1 (y).
En efecto, aplicando a la ecuacion x = y se obtiene (x) = (y). Como
1 = |D1 , se sigue que 1 (x) = 1 (y).
Observando que 1 (x) = (x) = (z) D = D1 para todo z = x D, se
deduce que el codominio de 1 es D1 .
ii) 1 : D1 E1 esta bien definido.
Sean x, y D1 = D tales que x = y, entonces 1 (x) = 1 (y). Esto
significa que se debe probar que x Ker(d) y [x] = [y].
En efecto, como x E0 y d : E0 E0 en A, aplicando d a x se tiene
89
/ x D1 = D
x D
/ 2 x 2 D D
1
x E
[ ]
/ x D1 = D
/ [x] E1
es 1 (x) = [x]. Esto quiere decir que 1 (z) = [y] para todo z = y D1 .
1 , se define en base a x 1 (D1 ) significa que 1 es inducido por 1 .
c) El efecto de 1 sobre E1 mediante
[ ]
/ [x] E1
q
q
qq
q
q
qq
qx qq 1
xE
(x) D1
90
x Ker(d)
(x) Ker() = D1
BB
BB
1 BBB
E1
/ D1
|
|
||
|| 1
|
|~
es exacto.
Prueba.- Proposicion 3.1.10 establece que los morfismos 1 , 1 y 1 estan bien
definidos, entonces este teorema se probara verificando las siguientes igualdades :
Ker(1 ) = Im(1 ), Im(1 ) = Ker(1 ) y Im(1 ) = Ker(1 ), lo que se hara en los
siguientes items i), ii) y iii):
i) Ker(1 ) = Im(1 ). Se verificara esta igualdad con a) y b).
a) Sea x Ker(1 ), entonces x D1 = Im() = Ker() y 1 x = x = 0
de modo que x Ker() = Im(), luego existe y E = E0 tal que
x = (y). Como x = (y) = 0, y Ker(d0 ). As existe [y] E1 tal que
x = (y) = 1 [y] Im(1 ). Por lo tanto Ker(1 ) Im(1 ).
b) Recprocamente, sea x Im(1 ), entonces existe y Ker(d) tal que
x = 1 [y]. Como Im(1 ) D1 , aplicando 1 a x :
1 x = 1 1 [y] = 1 (y) = (y) = 0, = 0 por ser EC exacto en D.
Luego x Ker(1 ). Por lo tanto Im(1 ) Ker(1 ).
ii) Ker(1 ) = Im(1 ), esto se verificara en a) y b):
a) Sea x Ker(1 ), entonces x D1 y 1 (x) = [x] = Im(d0 ) es el cero de
E1 . Pero [x] = x + Im(d0 ), luego comparando los valores de [x] resulta
que x Im(d0 ). As existe y E0 tal que x = d0 y = y. Tomando
extremos se deduce que x y Ker() = Im() = D1 . As existe x0 D1
tal que x y = x0 . Aplicando y considerando que = 0, se sabe
que existe x0 D1 tal que x = x0 = 1 x0 Im(1 ); por lo tanto
Ker(1 ) Im(1 ).
b) Sea 1 z Im(1 ) para alg
un z D1 = Im() = Ker().
Aplicando 1 : 1 (1 z) = 1 (z) = [z]
= [0], por ser z = 0
= Im(d0 ), 0 Im(d0 )
Como Im(d0 ) es el cero de E1 , de las igualdades anteriores se obtiene que
1 z Ker(1 ); por lo tanto Im(1 ) Ker(1 ).
91
iii) Ker(1 ) = Im(1 ), la verificacion se hara con los siguientes items a) y b):
a) Sea [x] Ker(1 ), entonces [x] E1 y 1 [x] = (x) = 0. De lo que se
obtiene que x Ker() = Im(), luego x = y para alg
un y D0 .
As existe y D1 tal que [x] = [y] = 1 (y) Im(1 ).
Por lo tanto Ker(1 ) Im(1 ).
b) Sea [y] Im(1 ), entonces existe y D1 tal que 1 (y) = [y] con
y Ker(d0 ), en este caso 1 [y] = (y).
Recordando que EC es exacto en E implica que = 0 y aplicando 1 :
1 1 (y) =
=
=
=
1 [y]
(y)
()(y)
0
(3.9)
(3.10)
Viendo (3.9) y (3.10) se obtiene que 1 [y] = 0, de donde [y] Ker(1 ). Por lo tanto
Im(1 ) Ker(1 )
Definici
on 3.1.12 Se dira al par exacto (3.7) par derivado de (3.1).
Corolario 3.1.13 Sea A una categora abeliana y EC = {D, E, , , } un par exacto
en A, entonces el n-esimo par derivado correspondiente
Dn Ba
BB
BB
n BBB
En
/ Dn
|
|
||
||
}|| n
(3.11)
es exacto.
Prueba.- Se prueba por induccion sobre n.
i) Para n = 1, el par derivado (EC)1 = {D1 , E1 , 1 , 1 , 1 } es exacto por el teorema
anterior.
ii) Asumiendo que (EC)n = {Dn , En , n , n , n } es exacto y tomando (EC)n en
lugar de EC, seg
un Teorema 3.1.11 se concluye que
(EC)n+1 = {Dn+1 , En+1 , n+1 , n+1 , n+1 } es exacto
Corolario 3.1.14 Sea A una categora abeliana y EC = {D, E, , , } un par exacto
en A, entonces existe una sucesi
on espectral E = {(En , dn )} en A obtenida de EC.
Prueba.- Seg
un Corolario 3.1.13, dado un par exacto EC = {D, E, , , } en A se
obtiene una sucesion de pares derivados {(EC)n }, n = 0, 1, . . . en A tal que
92
Ker(d)
se verificara las siguientes igualdades:
Im(d)
a) 1 (D) = Ker(d)
En efecto, sea x 1 (D)
(x) D = Ker()
(x) = 0
d(x) = 0
x Ker(d).
b) (1 (0)) = Im(d)
En efecto, sea
x (1 (0))
1
a) n1
(n1 Dn1 ) = Ker(dn1 )
En efecto:
1
x n1
(n1 Dn1 )
1
b) n1 (n1
(0)) = Im(dn1 )
1
En efecto, x n1 (n1
(0)) x = n1 (y) para
1
y n1
(0) = Ker(n1 ) =
Im(n1 )
x = n1 n1 (z) para z En1
x = dn1 (z)
x Im(dn1 )
Deduciendo :
i) Como Dn = n1 Dn1 , del corolario anterior se sigue:
1
n1
(Dn )
Ker(dn1 )
En =
=
1
Im(dn1 )
n1 (n1
(0))
ii) dn : En En es dn = n n . Como n es inducido por n y n es inducido por
, se concluye que dn es inducido por n .
Teorema 3.1.17 Sea = {D, E, , , } un par exacto en una categora abeliana A,
1 (n D)
entonces En =
, y dn : En En es inducido por n .
(n (0))
Prueba:
i) Se dara una prueba completa para el caso n = 2.
a) De la deduccion i) siguiente al corolario anterior se sabe que E2 =
entonces es posible definir :
11 (D2 )
(D2 )
por
1 (11 (0))
11 (D2 )
,
1 (11 (0))
(3.12)
Considerando el diagrama
[[x]] E2
[x] E1
x E0L
LLL
qq
LLL
qqq
1
q
q
LLL
q
L% xqqqq 2
D2
donde [x] Ker(d1 ), se deduce que
1 [x] Ker(1 ) = Im1 = D2
94
(3.13)
(3.14)
Aplicando :
(x) = [y] + 1 (11 (0))
= 1 (x) + 1 (11 (0))
(3.15)
(3.16)
n1
la sucesi
on 0
/ n D n / En
/ Coker(n )n
/ En
/ n D
/ n D el n-
esimo par
/ Ker(n )
/0
(3.17)
n D
Ker(n )
= Im(n ),
es exacta
ii) Ker(n ) = n D 1 (0).
n D
D
iii) Coker(n ) = n+1 =
D
D + n (0)
Prueba:
i) Como Im(n ) = Ker(n ) se tiene que Coker(n ) =
luego existe n con Im(n ) = Im(n ) tal que 0
96
n D
Im(n )
/ Coker(n )
/ En
es exacta.
En
Ker(n )
/ Ker(n )
/0
existe n con Ker(
n ) = Ker(n ) tal que En
es exacta . Como
/ 0 es exacta.
En efecto, x Ker(n ) x Dn n x = 0
Por ser Dn = n D, n = |Dn y Dn D
x n D x = 0
x n D x 1 (0)
x n D 1 (0).
.
= D+ D
n (0)
n
D
por
Como n+1 D = Im(n ), se puede definir : D
Im(n )
(x) = n (x) + Im(n ) para todo x D
n D
n+1 D
pues n y = 0
n D
n+1 D
D
D+n (0)
Se cierra esta seccion con una descripcion del termino (lmite) E de una sucesion
espectral E. El lmite es alcanzado a menudo por un proceso de convergencia finita, de
modo que E es hallado mediante la sucesion espectral.
E envuelve un proceso de lmite. La descripcion muestra que E es un tipo de
objeto de homologa (glorificado) para toda sucesion espectral.
Sea En,n+1 el subobjeto de En consistiendo de aquellos elementos de En que son
ciclos de dn , as
En,n+1 = Z(En ) = {x En / dn x = 0}
(3.18)
Entonces existe un epimorfismo
= n,n+1 :
En,n+1 = Z(En )
Sea En,n+2 el subobjeto de En,n+1 consistiendo de los elementos x de En,n+1 tal que
(x) es un ciclo para dn+1 , as
En,n+2 = {x En,n+1 / dn+1 (x) = 0}
= {x En,n+1 / (x) Z(En+1 ) = En+1,n+2 }
Como En,n+1 = Z(En )
y dn+1 ((x)) = 0.
(3.19)
(3.20)
Como
Z(En+1 ) En+1
para x En,n+3 se tiene que dn (x) = 0, dn+1 ( 1 (x)) = 0 y dn+2 ( 2 (x)) = 0. En resumen, de (3.18), (3.19), y (3.20), se puede decir que
x En,n+1 si x es un ciclo para dn ;
x En,n+2 si x es un ciclo para dn , dn+1 , y
x En,n+3 si x es un ciclo para dn , dn+1 , dn+2 .
98
...
/ / En,
/ / En+1,
/ / En+2,
/ / ...
Hablando de E :
/ Coker(0 )
/ E
/ Ker(00 )
/0
es exacta.
En este caso 0 : U U es el lmite DIRECTO (colmite) de los morfismos n ,
00 : I I es el lmite INVERSO (lmite) de los morfismos n .
3.2.
Definici
on 3.2.1 Sea C un objeto de una categora abeliana A. Una familia {C p }pZ
de subobjetos de C (C p C y C p |A|) es una filtraci
on de C si
p1
p
C
C C, < p < .
Los siguientes items indican como se construye la categora de objetos diferenciales
filtrados:
i) Si C |(A, d)|, entonces C es un objeto filtrado si existe {C p }pZ familia de
subobjetos de C tal que
C p1 C p C, < p <
(3.21)
diagrama
Ap1
f
B p1
Ap
f
Bp
A
f
B
es conmutativo.
Ap1
iii) El diagrama f
B p1
Ap1 , Ap
f
Ap
f es conmutativo significa que el diagrama
Bp
es conmutativo.
B p1 , B p
iv) Se define la composicion de morfismos f : A B, g : B C de objetos
diferenciales filtrados como g f en (A, d)((A, dA ), (C, dC )) tal que el diagrama
Ap1
gf
C p1
Ap
gf
Cp
A
gf
C
es conmutativo.
v) As, es posible obtener la categora (A, d, f ) cuyos objetos son los objetos diferenciales filtrados, los morfismos entre estos objetos son definidos en ii) y la
composicion de estos morfismos es dado en iv).
Dado un objeto diferencial filtrado C con filtracion dada como en (3.21), para la
sucesion exacta corta (de objetos diferenciales)
0
/ C p1
/ Cp
/ C p /C p1
/0
aDD
DD
DD
DD
DD
DD
DD
DD
D
/ H(C p )
||
||
|
||
||
|
||
||
|
|~ |
H(C p /C p1 )
100
(3.22)
/D
22
22
22
22
22
22
DX2
(3.23)
(3.24)
Asociando a cada objeto diferencial filtrado C el termino E AZ extrado
del par exacto (3.23), se obtiene el funtor E : (A, d, f ) AZ . Con el proposito
de factorizar este funtor como E = H Gr, se requiere hallar el funtor Gr, para
ello se procede como sigue:
Dada una categora abeliana B, es posible formar la categora (B, f ) de objetos
filtrados B de B, con filtracion dada por
B p1 B p B,
< p <
(3.25)
(3.26)
(3.27)
/D
22
22
22
22
22
22
DX2
(3.29)
102
(3.30)
El bigrado de dn = n n : En En es deg dn = (n 1, 1)
(3.31)
(3.32)
Prueba :
i) Observando (3.29), se sabe que este par exacto se ha obtenido a partir de una
filtracion {C p }pZ de un complejo de cadena C tomando la sucesion exacta corta
/ Cp
/ / C p /C p1 y aplicando la homologa. De esta manera se tiene la
C p1 /
sucesion exacta larga
Hq (C p1 ) Hq (C p ) Hq (C p /C p1 ) Hq1 (C p1 )
Esta sucesion en terminos de D, E y los morfismos se escribe como:
/ x D p,q
Dp,q
x Dp1,q
1
x E p1,q
[ ]
/ [x] E p1,q
1
E p,q
103
/ x D p,q
n
n1
pn,q
n1 x En1
n
[ ]
/ [n1 x] E pn,q
n
p,q
Dn1
n1
pn+1,q
En1
3.3.
En esta seccion se dara las condiciones sobre los complejos de cadena filtrados (3.21)
que aseguren simultaneamente que Gr H(C)
= E , que (3.28) i) y ii) se cumplan, y
que E se alcanza solo en un n
umero finito de pasos a traves de la sucesion espectral
(Teorema 3.3.2).
En lo que se refiere a una mera convergencia finita de la sucesion espectral, se puede
proceder para el par exacto bigraduado (3.29). Sin embargo, ademas se tiene que inferir
que E es realmente un objeto graduado asociado a H(C), adecuadamente filtrado y
que las condiciones (3.28) i) y ii) para la filtracion de M = H(C) se cumplen, entonces
se tiene que proceder de la filtracion (3.21) de C. Primero se considera la convergencia
finita de la sucesion espectral.
Definici
on 3.3.1 Se dice que : D D en (3.29) es positivamente estacionario si
q Z, existe p0 = p0 (q) Z tal que : Dp,q Dp+1,q para todo p < p0 (figura 3.2).
: D D es estacionario si es positiva y negativamente estacionario.
+
6
..
..
.
....
..
...
..
...
..
1
1
1
...
..
.
...
..............................................................................................
................................................................................................
..
...
..
...
..
...
..
...
..
...
..
...
..
...
..
...
..
..
...........................................................................................................................................................................................................................................
..
..
..
...
..
...
..
..
..
...
..
. . . Dp
+2,q
p
D
+1,q
p ,q
s=q
- s=0
{z
Dp+1,q Dp,q
r =} p1 (q)
r=0
..
..
....
..
...
..
..
0
0
0
..
...
.
..................................................................................................
.
...................................................................................................................
..
....
..
...
..
...
..
...
..
...
..
...
..
...
..
...
..
...
.
.
......................................................................................................................................................................................................................................................................................
..
...
...
..
...
..
...
..
..
..
p ,q
p
D
1,q
p
D
2,q
...
r = p0 (q)
|
r=0
{z
s=q
s=0
Dp+1,q Dp,q
/ D p,q
/ E p,q
/ D p1,q1
/ D p,q1
(3.33)
(3.34)
Del hecho que es negativamente estacionario, para q dado existe p4 = p4 (q) Z tal
(3.35)
d0
p,q
p1,q1
/E
Ker E0
0
=
p,q
p+1,q+1 d0
/E
Im E0
0
Luego, por (3.34) y (3.35) se deduce que para q dado existen p0 y p1 tales que E1p,q = 0
para todo p p1 y p p0 . En general, por el mismo razonamiento para cualquier
n IN , resulta que para q dado existen p0 = p0 (q) y p1 = p1 (q) Z tales que:
Enp,q = 0 para todo p p1
(3.36)
(3.37)
dr
/ E p,q
r
dr
/ E pr1,q1
r
(3.38)
para alg
un r IN que se va hallar a partir de (p, q) dado:
En particular, para n = r por (3.36) para q + 1, existe p1 = p1 (q + 1) Z tal que
Erp+r+1,q+1 = 0 para todo p + r + 1 p1
(3.39)
(3.40)
Por definicion
p,q
Er+1
(3.41)
Erp,q
dr
/ E pr1,q1
Ker
r
=
dr
Im Erp+r+1,q+1
= Erp,q
106
, de (3.41) :
/ E p,q
r
dr+1
p,q
p,q
y repitiendo el argumento anterior para p y q fijos se obtiene que Er+2
= Er+1
.
p,q
p,q
p,q
De las igualdades anteriores, se concluye que Er = Er+1 = = E
/ C p /C p1
/ C/C p1
/ C/C p
/0
(3.43)
/D
11
11
11
11
11
11
D
X1
(3.44)
, y son
deg
= (1, 0), deg = (1, 1) y deg = (0, 0).
(3.45)
Prueba .- Observando (3.44), se sabe que este par exacto se obtiene usando una
filtracion {C p }pZ de un complejo de cadena C, tomando la sucesion exacta corta
(3.43) y aplicando la homologa. De esta manera se tiene la sucesion exacta larga
Hq (C p /C p1 ) Hq (C/C p1 ) Hq (C/C p ) Hq1 (C p /C p1 )
E y los morfismos se escribe como:
Esta sucesion en terminos de D,
/ E p,q / D
...
p,q
De donde se deduce que:
/D
p+1,q
/ E p,q1
107
/ ... .
deg
= (p + 1, q) (p, q) = (1, 0),
deg = (p, q 1) (p + 1, q) = (1, 1) y
deg = (p, q) (p, q) = (0, 0)
....
.
....
....
...
...
..
... Ap0 ,q = 0
Ap0 1,q = 0
....
..
....................................................................................................................................................................................................................................................................................................
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
..
...
........................................................................................................................................................................................................................................................................................
...
...
...
...
...
...
....
....
..
.
..
...
r = p0 (q)
|
r=0
{z
Ap,q =0,
s=q
s=0
}
pp0
..
...
..
....
...
...
..
...
Ap1 +1,q = 0 ..... Ap1 ,q = 0
...
.
.
..............................................................................................................................................................................................................................................
..
..
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
.
.
.........................................................................................................................................................................................................................................
..
...
..
...
...
...
...
...
...
..
...
.
...
s=q
- s=0
{z
r = p1 (q)
}
r=0
Ap,q =0 , pp1
que : Dp,q Dp+1,q para todo p p0 1, pues Dp0 ,q = Dp0 1,q = Dp0 2,q = = 0,
108
as es negativamente estacionario.
es negativamente graduado implica que dado q Z existe p1 = p1 (q) Z tal que
D
p,q = 0 para todo p p1 . As para q dado existe p1 = p1 (q) Z tal que
D
p,q
p+1,q para todo p p1 porque D
p1 ,q = D
p1 +1,q = D
p1 +2,q = = 0, de
:D
D
donde
es positivamente estacionario
Teorema 3.3.6 Las siguientes afirmaciones son equivalentes:
i) es positivamente estacionario.
ii) E es negativamente graduado.
iii)
es positivamente estacionario.
Prueba:
i) ii) De (3.29) se sabe que la sucesion
(3.46)
es exacta.
Ahora, como es positivamente estacionario, para q Z dado existe
/D
p,q
/D
p+1,q
/ E p,q1
(3.47)
es exacta.
Como E es negativamente graduado se tiene:
Para q Z existe r1 = r1 (q) Z tal que E p,q = 0 para todo p r1 .
Para q 1 Z existe r2 = r2 (q 1) Z tal que E p,q1 = 0 para todo p r2 .
Sea p1 = max{r1 , r2 }, entonces E p,q = E p,q1 = 0 para todo p p1 . Reemplazando estos valores en la sucesion exacta (3.47), se deduce que para q Z dado
es positivamente estacionario.
109
p,q
p+1,q para todo p r1 . Lo mismo para
D
r1 = r1 (q) Z tal que
: D
p,q+1
p+1,q+1 para todo
q + 1 Z existe r2 = r2 (q + 1) Z tal que
:D
D
p,q D
p+1,q y
p,q+1 D
p+1,q+1 para todo
p r2 ; de modo que
:D
:D
p r3 = max{r1 , r2 }.
Considerando estos isomorfismos en la siguiente sucesion exacta extrada de (3.44)
p,q+1
D
/D
p+1,q+1
/ E p,q
/D
p,q
/D
p+1,q
(3.48)
/ D p,q
/ D p+1,q
/ E p+1,q
(3.49)
es exacta.
Por (3.48) para q + 1 Z existe r4 = r4 (q + 1) Z tal que E p+1,q+1 = 0 para
todo p + 1 r4 . Tambien por (3.48) para q Z existe r3 = r3 (q) Z tal que
E p+1,q = 0 para todo p + 1 r3 .
Sea p1 = max{r3 1, r4 1}, entonces considerando estos dos u
ltimos resultados
en la sucesion exacta (3.49) se deduce que para q Z existe p1 = p1 (q) Z tal
para p p0
i) Cqp = 0
ii) Cqp = Cq para p p1
(3.50)
(3.51)
i) Hq (C p ) = 0
para p p0
(3.52)
ii) Hq (C p ) = Hq (C) para p p1
110
Proposici
on 3.3.8 Si la filtraci
on del complejo de cadena C es finita, entonces la
filtraci
on es homologicamente finita.
Prueba.- Sea {C p }pZ una filtracion finita del complejo de cadena C.
Sea q Z(arbitrario) para calcular, Hq (C p ), q-esima homologa del subobjeto C p de
C. Entonces para q Z dado se va a probar que existen p0 = p0 (q) y p1 = p1 (q) Z
tales que
i) Hq (C p ) = 0
para p p0
p
ii) Hq (C ) = Hq (C) para p p1
i) Como {C p }pZ es una filtracion finita de C, para los enteros q + 1, q y q 1 Z
existen p0 (q + 1), p0 (q) y p0 (q 1) Z tales que
p
Cq+1
= 0 para
p
Cq = 0
para
p
Cq1
= 0 para
p p0 (q + 1)
p p0 (q)
p p0 (q 1).
/ Cp
Ker Cqp
q1
Hq (C p ) =
p
p
/
C
Im Cq+1
q
/0
Ker 0
=
/0
Im 0
= 0 para p p0
p
Cq+1
para p p1 (q + 1)
para
p p1 (q)
para p p1 (q 1).
p
Tomando p1 = max{p1 (q + 1), p1 (q), p1 (q 1)} Z se tiene que Cq+1
= Cq+1 ,
p
p
Cq = Cq y Cq1 = Cq1 para p p1 , de donde resulta que
/ Cp
Ker Cqp
q1
Hq (C p ) =
p
/ Cqp
Im Cq+1
/
C
C
Ker
q1
q
=
/ Cq
Im Cq+1
= Hq (C)
para p p1
Por Definicion 3.3.7 de las partes i) y ii) de (3.52) se deduce que {C p }pZ es una
filtracion homologicamente finita de C
111
p,q
p1
= Hq C/C
As, para cada q Z existe p1 Z tal que D
= 0 para todo p p1 ;
p,q
= {D
} es negativamente graduado, seg
esto quiere decir que D
un Proposicion 3.3.5,
(3.54)
(3.55)
/ Hq (C p0 +1 )
/ Hq (C p )
112
/ Hq (C p1 ) = Hq (C)
(3.56)
/ D p+n,q n
n
/ E p,q
n
/ D p1,q1 n / D p,q1
n
n
(3.57)
p,q
Ahora, para hallar E
, se toma (p, q) Z Z fijo; por la parte i) ya probada del
teorema existe r = r(p, q) IN tal que
p,q
p,q
Erp,q = Er+1
= = E
(3.58)
Por (3.54), para q Z dado existe p1 = p1 (q) Z tal que Hq (C p+n ) = Hq (C) para
n p1 p donde p es fijo. Considerando
Dp,q = Hq (C p ) / Hq (C p+1 ) / / Hq (C p+n1 ) / Hq (C p+n ) = Hq (C)
se ve que Hq (C p ) Hq (C p+1 ), . . . , n Hq (C p ) Hq (C p+n ).
Como D1p+1,q = Dp,q y D2p+2,q = D1p+1,q = 2 Dp,q , resulta que
Dnp+n,q = n Dp,q = n Hq (C p ) = Im(Hq (C p )) Hq (C)
Im(n ) =
=
=
=
n Dp1,q
n+1 Hq C p1
Im Hq C p1 Hq (C)
(3.59)
(3.60)
(3.61)
Enp,q
= Coker(n ) =
(3.62)
En el caso en que las conclusiones del Teorema 3.3.9 se cumplen, la sucesion espectral converge finitamente al objeto graduado asociado a H(C), filtrado convenientemente. Esto se abrevia diciendo que la sucesion espectral converge finitamente a H(C),
o simplemente por el smbolo E1p,q H(C).
/ / A00 y B 0 /
/A
/B
/ / B 00 sucesiones
/ / A00
B0 /
/A
/B
00
/ / B 00
B0 /
/B
00
/ / B 00
C@
A0 /
/B
/ / A00
0
0
A0 /
@@
@@
@@
/A
/A
B0 /
/ / A00
/B
00
/ / B 00
0
0
@@
@@
@
@@
00
/ / B 00
D
es epic.
es monic.
Definici
on 3.3.12 Sea C un complejo de cadena filtrado. A la sucesi
on espectral E que
se obtiene del par exacto (3.29) se dice que es sucesi
on espectral asociada al complejo
filtrado C.
Teorema 3.3.13 Sean C y C 0 complejos de cadena filtrados con filtraciones homologi0
camente finitas. Si : C C 0 es un morfismo tal que : E E
es un isomor0
fismo, entonces : H(C) H(C ) es un isomorfismo.
Prueba.- Sean {C p }pZ , {C 0 p }pZ filtraciones homologicamente finitas de C y C 0 ,
respectivamente. Por Teorema 3.3.9, las sucesiones espectrales E y E 0 asociadas a los
complejos filtrados C y C 0 convergen finitamente, as existen los terminos lmites E y
0
0
E
de las sucesiones espectrales E y E 0 , donde E
= (GrH(C)) y E
= (GrH(C 0 ))
0
Como : C C es un morfismo de complejos filtrados, se tiene el siguiente diagrama
conmutativo
, C p1 , C p , , C
(3.63)
, C 0 p1 , C 0 p , , C 0
/ Hq (C p1 )
...
/ H (C 0 (p1) )
q
/ Hq (C p )
/ ...
/ Hq (C 0 p )
116
/ Hq (C)
/ ...
/ Hq (C 0 )
(3.64)
0 = Hq (C s0 ) Hq C s0 +1 Hq C s1 1 Hq (C s1 ) = Hq (C)
(3.65)
El hecho que {C 0p }pZ es una filtracion homologicamente finita de C 0 implica que, para
q Z tambien existen r0 = r0 (q) y r1 = r1 (q) Z tales que Hq (C 0p ) = 0 para todo
p r0 y Hq (C p ) = Hq (C) para todo p r1 , esto permite obtener
/ ...
/ Hq (C p0 +1 )
0 = Hq (C p0 )
0 = Hq (C 0 (p0 ) )
/ Hq (C p1 1 )
/ H (C 0 (p0 +1) )
q
/ ...
/ Hq (C p1 ) = Hq (C)
/ Hq (C 0 p1 ) = Hq (C 0 )
/ H (C 0 (p1 1) )
q
(3.67)
p
ImH
(C
)
q
p,q
Recuerde que E
; para formar este tipo de co= (Gr Hq (C))p =
ImHq (C p1 )
cientes, de las filas del diagrama (3.67) se obtienen dos cadenas de inclusiones
0 = ImHq (C p0 ) ImHq (C p0 +1 ) ImHq (C p1 1 ) ImHq (C p1 ) = Hq (C);
0 = ImHq (C 0 p0 ) ImHq (C 0p0 +1 ) ImHq (C 0 (p1 1) ) ImHq (C 0 (p1 ) ) = Hq (C 0 );
Las flechas verticales del diagrama (3.67) pueden ser vistos como
: ImHq (C p ) ImHq (C 0 p ), luego con el principio de induccion matematica para
p p0 se prueba que
p
: ImHq (C p ) ImHq (C 0 )
(3.68)
a) Para n = p0 la afirmacion (3.68) es cierta por el diagrama (3.67).
b) Asumiendo que la afirmacion (3.68) es cierta para n = p p0 , se verificara que (3.68) es cierta para n = p + 1.
En efecto, se construye el diagrama (3.69) con filas sucesiones exactas cortas, con
la primera flecha vertical isomorfismo por hipotesis inductiva y con la u
ltima flecha
0
0 (p+1,q)
p+1,q
, un isomorfismo
vertical, : E = (GrHq (C))p+1 (GrHq (C ))p+1 = E
por hipotesis del teorema:
ImHq (C p ) /
=
ImHq (C 0 p ) /
/ ImHq (C p+1 )
/ ImH (C 0 (p+1) )
q
117
/ / (Gr Hq (C))p+1
=
/ / (Gr Hq (C 0 ))p+1
(3.69)
Por Proposicion 3.3.11, se deduce que : ImHq (C p+1 ) ImHq (C 0 p+1 ), esto
completa la prueba inductiva de (3.68). En particular (3.68) vale para p = p1 , de las
3.4.
(3.70)
para
para
p p0
p p1
p p0
p p1
Proposici
on 3.4.2 Si la filtracion del complejo de cocadena C es finita, entonces la
filtraci
on es cohomol
ogicamente finita.
Prueba.- Sea {C p }pZ una filtracion finita del complejo de cocadena C. Dado q Z
se prueba que existen p0 = p0 (q) y p1 = p1 (q) Z tales que
iii)
iv)
H q (C p ) = 0
para
q
p
q
H (C ) = H (C) para
p p0
p p1
En efecto:
iii) Como {C p }pZ es una filtracion finita de C, por Definicion 3.4.1 para los tres enteros
q 1, q y q + 1 existen p0 (q 1), p0 (q) y p0 (q + 1) Z tales que
p
Cq1
= 0 para
p
para
Cq = 0
p
Cq+1
= 0 para
118
p p0 (q 1)
p p0 (q)
p p0 (q + 1).
p
Cq1
/ Cp
Ker Cqp
q+1
H q (C p ) =
p
p
/
C
C
Im
q
q1
/0
Ker 0
=
/0
Im 0
= 0 para p p0 .
iv) Nuevamente, usando el hecho que {C p }pZ es una filtracion finita de C, por
Definicion 3.4.1 para q 1, q y q + 1 Z se sabe que existen p1 (q 1), p1 (q) y
p1 (q + 1) Z tales que
p
Cq1
= Cq1
Cqp = Cq
p
= Cq+1
Cq+1
para
para
para
p p1 (q 1)
p p1 (q)
p p1 (q + 1).
Ker Cqp
H q (C p ) =
p
Im Cq1
Ker Cq
=
Im Cq1
= H q (C)
/ Cp
q+1
/ Cqp
/ Cq+1
/ Cq
para p p1
As, seg
un Definicion 3.4.1 se deduce que {C p }pZ es una filtracion cohomologicamente
finita de C
Proposici
on 3.4.3 Si la situacion de modulos y homomorfismos de modulos es
la siguiente:
/ A0 u / A v / A00
/0
0
(3.71)
f
f0
f 00
0
/ B0
u0
/B
v0
/ B 00
/0
(3.72)
v 0 [(u0 f 0 )(a0 )]
(v 0 u0 )(f 0 (a0 ))
0(f 0 (a0 )) porque v 0 u0 = 0
0
2)
f 00 (c) =
=
=
=
=
(3.73)
En efecto:
Por ser v 0 un epimorfismo, para b00 B 00 existe b B tal que b00 = v 0 (b). Como f
es un isomorfismo (epimorfismo), para b B existe a A tal que b = f (a).
De estas dos deducciones: b00 = v 0 f (a)
= f 00 v(a), por conmutatividad
= f 00 (a00 ) para a00 = v(a) A00 .
As queda verificada la afirmacion (3.73), por lo tanto f 00 es un epimorfismo.
4) Sea a00 Ker(f 00 ), luego a00 A00 y f 00 (a00 ) = 0. De donde
v 0 (f (a)) = f 00 (a00 ) = 0 para alg
un a A tal que a00 = v(a), as
f (a) Ker(v 0 ) = Im(u0 ). Esto significa que f (a) = u0 (b0 ) para alg
un b0 B 0 .
0
0
0
0
0 0
Siendo f un isomorfismo existe a A tal que b = f (a ).
Luego se tiene f (a) = u0 (f 0 (a0 )), por conmutatividad:
= f (u(a0 )).
Como f es inyectivo, se sigue que a = u(a0 ), y as a00 = v(a) = (vu)(a0 ) = 0 pues
vu = 0. Por lo tanto f 00 es un monomorfismo
Proposici
on 3.4.4 Si la situacion de objetos y morfismos de una categora abeliana
A es la siguiente:
/0
/ A0 u / A v / A00
0
(3.74)
f
f0
f 00
u0
v0
/ B0
/B
/ B 00
0
con filas exactas y cuadrado conmutativo. Entonces:
121
/0
00 / ker(f )
/ A00
Ker(f )
f 00
/ B 00
(3.75)
ker(coker(f ))
/B
Ker (Coker(f )) /
O
f 0
coker(f )
/ / Coker(f )
A
Por otro lado, del hecho que f ker(f ) = 0, por (3.75) se tiene
ker (coker(f )) f 0 ker(f ) = 0, pero ker (coker(f )) es monic, luego f 0 ker(f ) = 0.
Como Coim(f ) = Coker (Ker(f )) y Im(f ) = Ker (Coker(f )), seg
un la propiedad
universal de coker (ker(f )), existe un morfismo h : Coim(f ) Im(f ) en A tal que
ker(f )
Ker(f ) /
/ A coker(ker(f ))
f0
/ / Coker (Ker(f ))
h
Ker (Coker(f ))
As, se obtiene el siguiente diagrama
Ker(f )
ker(f )
/A
0 =coim(f )
Coim(f )
/ B coker(f ) / Coker(f )
O
0 =im(f )
/ Im(f )
(3.76)
(3.77)
/ ...
op
i) Ker(f op )
= [Coker(f )] .
op
ii) Im (g op )
= [Im(g)] .
Prueba.- Proposicion 1.7.20 indica que Aop es categora abeliana, luego estan definidos
ker(f op ) y im (g op ) para los morfismos f op y g op de Aop .
123
i) Se comienza verificando que [coker(f )]op satisface las tres siguientes condiciones
de n
ucleo para f op :
a) [coker(f )]op es monic
b) f op [coker(f )]op = 0
c) f op g op = 0 implica que existe hop tal que g op = [coker(f )]op hop .
En efecto:
a) coker(f ) es epic, luego por Proposicion 1.3.3 [coker(f )]op es monic.
b) f op [coker(f )]op = 0, ya que por propiedad coker(f )f = 0.
c) f op g op = 0 implica que gf = 0 en A. Usando la propiedad de con
ucleo de
f , existe un morfismo h en A tal que g = h coker(f ); pasando a la categora
opuesta, se ve que existe hop tal que g op = [coker(f )]op hop .
En resumen, el siguiente diagrama muestra dos n
ucleos para f op en Aop .
0
)
f op
/6 Cn
/3 Cn+1
g
g
m
m
ggggg
op mmm
[coker(f )]m
ggggg
mm
g
g
g
m
g
mmm ggggg 0
6mmmgggggg
Ker (f op ) /
ker(f op )
[Coker(f )]op
(3.78)
Seg
un proposicion 3.4.5, para la categora abeliana Aop y g op Aop (Cn1 , Cn ), se
tiene que
(3.79)
Coim (g op )
= Im (g op )
Usando la propiedad de simetra del isomorfismo de (3.78) y (3.79) se concluye
op
que Im (g op )
= [Im(g)]
Lema 3.4.7 Sea C un complejo de cadena sobre una categora abeliana A, entonces
op
H (C op )
= [H(C)] , donde C op es el opuesto del complejo C.
124
...
/ Cn+1
/ Cn
/ Cn1
/ ...
(3.80)
se obtiene su opuesto
C op :
... o
Cn+1 o
f op
Cn o
g op
...
Cn1 o
(3.81)
Kerg
,
Imf
Cn
Cn Cokerf
= Cokerf y Img
; de donde se obtiene la siguiente
=
=
Imf
Kerg
Hn (C)
sucesion exacta corta
Hn (C)
/ Hn (C)
/ Cokerf
/ Img
/0
(3.82)
/ Im(g op )
/ Ker(f op )
/ H n (C op )
/0
(3.83)
Por Proposicion 1.7.31, de (3.82) se obtiene la siguiente sucesion exacta corta en Aop
0
/ (Img)op
/ (Cokerf )op
/ [Hn (C)]op
/0
(3.84)
op
op
Por Proposicion 3.4.6 se tiene que Im(g op )
= (Img) y Ker(f op )
= (Cokerf ) ; as,
op
de (3.83) y (3.84) seg
un Proposicion 3.4.4 se deduce que H n (C op )
= [Hn (C)] para
op
todo n Z; por consiguiente H (C op )
= [H(C)]
iii) (E op )p,q
= (Gr Hq (C ))p .
Usando Lema 3.4.7 en las partes ii), iii); y viendo estos resultados sobre A:
i) La sucesion espectral E asociado al complejo filtrado C converge finitamente.
ii) La filtracion inducida de la cohomologa H(C) es finita.
iii) Considerando
p,q op
(E
) = (E op )p,q
= (Gr Hq (C op ))p
h
iop
op
q
q
(Gr
[H
(C)]
)
(Gr
H
(C))
,
=
p =
p
p,q
por dualidad se concluye que E
= (Gr H q (C))p
3.5.
La Sucesi
on Espectral de Grothendieck
Se ha establecido que el segundo objetivo de la tesis es describir los funtores derivados de un funtor compuesto a traves de la sucesion espectral de Grothendieck, por
lo que se plantea resolver este problema de descripcion en esta seccion enunciando
y demostrando el teorema de sucesion espectral de Grothendieck que relaciona a los
funtores derivados derechos.
Complejos Dobles y Filtraciones de sus Complejos Totales
La existencia de la sucesion espectral de Grothendieck y el problema de convergencia finita correspondiente estan relacionados con el estudio de complejos dobles y
filtraciones de los complejos totales respectivos. El proposito de esta parte sera obtener resultados que permitan hallar los dos primeros terminos de la sucesion espectral
que se construye a partir de un complejo doble con alguna filtracion de su complejo
total, y conseguir la convergencia finita en el caso en que el complejo doble sea positivo.
Sea (B, 0 , 00 ) un complejo doble sobre alguna categora abeliana A como el dado en Definicion 1.6.3, luego se tiene el siguiente diagrama anticonmutativo en A
Br,s
/ Br1,s
00
Br,s1
00
/ Br1,s1
126
(3.85)
sobre Br,s
(3.86)
Br,s
/ Br1,s
d00
(3.87)
d00
d0
Br,s1
/ Br1,s1
(T ot B)n =
Br,s
(3.89)
r+s=n
sp
de T ot B,
Se referira a la filtracion (3.88) de la figura 3.5 como la PRIMERA FILTRACION
de T ot B. Con estas
y la filtracion (3.89) de la figura 3.6 como la SEGUNDA FILTRACION
filtraciones se obtienen dos sucesiones espectrales denotadas por 1 E y 2 E.
Las pruebas de Proposiciones 3.5.1 y 3.5.3 se pueden encontrar en [4].
Proposici
on 3.5.1 Para la primera sucesi
on espectral asociada a la filtraci
on (3.88)
se tiene
p,q
p,q
00
00
0
(3.90)
1 E0 = Hqp (Bp, ; ),
1 E1 = Hp (Hqp (B, ), )
Para la segunda sucesi
on espectral asociada a la filtraci
on (3.89) se tiene
p,q
2 E0
= Hqp (B,p ; 0 ),
p,q
2 E1
= Hp (Hqp (B, 0 ), 00 )
(3.91)
Definici
on 3.5.2 Se dice que el complejo doble B (figura 3.7) es positivo si existe
n0 Z tal que
Br,s = 0 si r < n0 o s < n0
(3.92)
127
L2 :... r = p
L1 : r + s = n
.
..
... . . . . . . . . . . . . .... . ......... . . . . . . . . . .
... . . . . . . . . . . . . .. . ...... . . . . . . . . . .
... . . . . . . . . . . . . ... ...... . . . . . . . . . . .
.
.
.
... . . . . . . . . . . . . .. ..... . . . . . . . . . . .
... . . . . . . . . . . . . ........ . . . . . . . . . . . .
... . . . . . . . . . . . ........ . . . . . . . . . . . .
... . . . . . . . . . . . ...... ... . . . . . . . . . . . .
...
.... .
... . . . . . . . . . . ......... . .... . . . . . . . . . . . .
... . . . . . . . . . . ...... . ... . . . . . . . . . . . .
... . . . . . . . . . ...... . . ... . . . . . . . . . . . .
.
... . . . . . . . . . ...... . . .. . . . . . . . . . . . .
... . . . . . . . . ...... . . . ... . . . . . . . . . . . .
... . . . . . . . . ...... . . . ... . . . . . . . . . . . .
... . . . . . . . ....... . . . . .. . . . . . . . . . . . .
... . . . . . . . ....... . . . . ... . . . . . . . . . . . .
... . . . . . . ...... . . . . . ... . . . . . . . . . . . .
.
...
....
... . . . . . . ......... . . . . . .... . . . . . . . . . . . .
... . . . . . ...... . . . . . . ... . . . . . . . . . . . .
... . . . . . ...... . . . . . . .. . . . . . . . . . . . .
.
... . . . . ..... . . . . . . . ... . . . . . . . . . . . .
... . . . . ....... . . . . . . . ... . . . . . . . . . . . .
... . . . ...... . . . . . . . . .. . . . . . . . . . . . .
... . . . ...... . . . . . . . . ... . . . . . . . . . . . .
... . . ....... . . . . . . . . . ... . . . . . . . . . . . .
... . . ...... . . . . . . . . . ... . . . . . . . . . . . .
...
.
....
... . ........ . . . . . . . . . . .... . . . . . . . . . . . .
... . ....... . . . . . . . . . . ... . . . . . . . . . . . .
... ...... . . . . . . . . . . . .. . . . . . . . . . . . .
.
... ..... . . . . . . . . . . . ... . . . . . . . . . . . .
.
....
..... . . . . . . . . . . . . .. . . . . . . . . . . . .
.... .... . . . . . . . . . . . . .... . . . . . . . . . . . .
.
.
.
.
... ... . . . . . . . . . . . . ... . . . . . . . . . . . .
.
.
.
.
.....
..... . . . . . . . . . . . . . . . . . . . . . . . . .... . . . . . . . . . . . . . . . . . . . . . . . .
.....
.... . . . . . . . . . . . . ... . . . . . . . . . . . .
.....
.....
... . . . . . . . . . . . . ... . . . . . . . . . . . .
....
.
.
... . . . . . . . . . . . . ... . . . . . . . . . . . .
.
.
...
.
.
.
.... . . . . . . . . . . . . ... . . . . . . . . . . . .
.
...
.
.
.
... . . . . . . . . . . . . ... . . . . . . . . . . . .
.
...
.
.
... . . . . . . . . . . . . ... . . . . . . . . . . . .
.
.
....
.
.
.... . . . . . . . . . . . . ... . . . . . . . . . . . .
.
...
.
.
... . . . . . . . . . . . . ... . . . . . . . . . . . .
.
.
...
.
.
... . . . . . . . . . . . . ... . . . . . . . . . . . .
.
.
...
.
.
.
.... . . . . . . . . . . . . ... . . . . . . . . . . . .
.
...
.
.
.
.
...............................................................................................................................................................................................................................................................................................................................................................................................
.
. . . . . . . . . . . . ... . . . . . . . . . . .
...
.
.
.
..... . . . . . . . . . . . . .... . . . . . . . . . . . .
.
.....
... . . . . . . . . . . . . ... . . . . . . . . . . . .
.....
.
.
... . . . . . . . . . . . . .. . . . . . . . . . . . .
.
.
....
.... . . . . . . . . . . . . .... . . . . . . . . . . . .
....
... . . . . . . . . . . . . ... . . . . . . . . . . . .
... . . . . . . . . . . . . .. . . . . . . . . . . . .
... . . . . . . . . . . . . ... . . . . . . . . . . . .
...
..
... . . . . . . . . . . . . .... . . . . . . . . . . . .
... . . . . . . . . . . . . .. . . . . . . . . . . . .
... . . . . . . . . . . . . ... . . . . . . . . . . . .
... . . . . . . . . . . . . ... . . . . . . . . . . . .
... . . . . . . . . . . . . .. . . . . . . . . . . . .
... . . . . . . . . . . . . ... . . . . . . . . . . . .
... . . . . . . . . . . . . ... . . . . . . . . . . . .
... . . . . . . . . . . . . .. . . . . . . . . . . . .
... . . . . . . . . . . . . ... . . . . . . . . . . . .
...
..
... . . . . . . . . . . . . .... . . . . . . . . . . . .
... . . . . . . . . . . . . .. . . . . . . . . . . . .
.
B0,n
B1,n1
Bp1,np+1
Bp,np
B0,1
Bn,0
Bp,0
B1,0
{z?
B0,0
(T otB)n
|
1
F p (T otB)
Figura 3.5: 1 F p (T ot B)n se puede ilustrar como suma directa de todos los puntos de la
recta L1 que estan sobre la recta vertical L2 : r = p y a su derecha.
Proposici
on 3.5.3 Si B es un complejo de cadena doble positivo, entonces ambas
primera y segunda sucesi
on espectral 1 E y 2 E, de las cuales dos primeros terminos se
dan en (3.90) y (3.91), respectivamente; convergen finitamente al correspondiente objeto graduado asociado a la homologa {Hn (T ot B)}, la cual es adecuada y finitamente
filtrada.
La tecnica de construccion de la sucesion espectral de Grothendieck relacionado a los
funtores derivados derechos, en el presente trabajo, requiere de definiciones y proposiciones duales a definiciones y proposiciones dadas hasta aqu en la seccion, por lo que
se establecera en seguida definiciones y resultados sobre complejos dobles de cocadena.
Sea B = {Br,s } un complejo doble de cocadena sobre alguna categora abeliana A
definida como en Definicion 1.6.7; es decir, para todo r, s Z el siguiente diagrama de
128
.....6 ............ L1 : r + s = n
.
..
.. .........
.. .......
........
.
.
.
.
.
.... .
..... ..
..... ....
.....
...
.....
.
.
.
.
.
................................................................................................................................................................................................................................................................................................................................................................................
. . . . . . . . . . . . . . . . . . . . ...... . . .. . . . . . . . . . . . .
.
. . . . . . . . . . . . . . . . . . . . ...... . . . ... . . . . . . . . . . . .
.
. . . . . . . . . . . . . . . . . . . .... . . . .. . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . ......... . . . . .... . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . ..... . . . . .. . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . ......... . . . . . .... . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . ..... . . . . . .. . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . ......... . . . . . . .... . . . . . . . . . . . .
. . . . . . . . . . . . . . . . ..... . . . . . . .. . . . . . . . . . . . .
. . . . . . . . . . . . . . . . ......... . . . . . . . .... . . . . . . . . . . . .
. . . . . . . . . . . . . . . ..... . . . . . . . .. . . . . . . . . . . . .
. . . . . . . . . . . . . . . ......... . . . . . . . . .... . . . . . . . . . . . .
. . . . . . . . . . . . . . ..... . . . . . . . . .. . . . . . . . . . . . .
. . . . . . . . . . . . . . ......... . . . . . . . . . .... . . . . . . . . . . . .
. . . . . . . . . . . . . ..... . . . . . . . . . .. . . . . . . . . . . . .
. . . . . . . . . . . . . ........ . . . . . . . . . . .... . . . . . . . . . . . .
. . . . . . . . . . . . ...... . . . . . . . . . . .. . . . . . . . . . . . .
. . . . . . . . . . . . ......... . . . . . . . . . . . .... . . . . . . . . . . . .
. . . . . . . . . . . ..... . . . . . . . . . . . .. . . . . . . . . . . . .
. . . . . . . . . . . ......... . . . . . . . . . . . . .... . . . . . . . . . . . .
. . . . . . . . . . .... . . . . . . . . . . . . .. . . . . . . . . . . . .
. . . . . . . . . . ......... . . . . . . . . . . . . . .... . . . . . . . . . . . .
. . . . . . . . . ...... . . . . . . . . . . . . . .. . . . . . . . . . . . .
. . . . . . . . . ........ . . . . . . . . . . . . . . .... . . . . . . . . . . . .
. . . . . . . . ...... . . . . . . . . . . . . . . .. . . . . . . . . . . . .
. . . . . . . . ........ . . . . . . . . . . . . . . . .... . . . . . . . . . . . .
. . . . . . . ..... . . . . . . . . . . . . . . . .. . . . . . . . . . . . .
. . . . . . . ......... . . . . . . . . . . . . . . . . .... . . . . . . . . . . . .
. . . . . . ...... . . . . . . . . . . . . . . . . .. . . . . . . . . . . . .
. . . . . . ........ . . . . . . . . . . . . . . . . . .... . . . . . . . . . . . .
. . . . . ..... . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . .
. . . . . ......... . . . . . . . . . . . . . . . . . . .... . . . . . . . . . . . .
. . . . ..... . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . .
. . . . ......... . . . . . . . . . . . . . . . . . . . .... . . . . . . . . . . . .
. ..........................................................................................................................................................................................................................................................................................................................................................................................
. . . ......... . . . . . . . . . . . . . . . . . . . . .... . . . . . . . . . . . .
. . ..... . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . .
. . ......... . . . . . . . . . . . . . . . . . . . . . .... . . . . . . . . . . . .
. ..... . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . .
. ...... . . . . . . . . . . . . . . . . . . . . . . .... . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . .... . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . .... . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . .... . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . .... . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Bnp,p
Bnp+3,p3
Bn,0
Bn1,1
L
2 : s = p
2 F (T otB)
B0,n
B0,0
(T otB)n
Figura 3.6: 2 F p (T ot B)n se puede ilustrar como suma directa de todos los puntos de la
recta L1 que estan sobre la recta horizontal L2 : s = p y debajo de ella.
objetos y morfismos en A
Br+1,s+1 o
O
Br,s+1
O
(3.93)
00
00
Br+1,s o
Br,s
es tal que 0 0 = 0, 00 00 = 0 y 0 00 + 00 0 = 0.
En este caso, el complejo T ot B puede ser filtrado en los dos modos siguientes:
M
p
Br,s
(3.94)
1 F (T ot B)n =
r+s=n
rp
2F
(T ot B)n =
M
r+s=n
sp
129
Br,s
(3.95)
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
s = n0
.
. ....
..
. ....
. . . . . . . . . . ....
. . . . . . . . . . ..
. . . . . . . . . . ....
. . . . . . . . . . ..
. . . . . . . . . . ....
. . . . . . . . . . ..
. . . . . . . . . . ....
. . . . . . . . . . ..
. . . . . . . . . . ....
. . . . . . . . . . ..
. . . . . . . . . . ....
. . . . . . . . . ..
. . . . . . . . . . ....
. . . . . . . . . . ..
. . . . . . . . . . ....
. . . . . . . . . . ..
...........................................................................................................................................................................................................
..
....
..
...
...
...
...
...
...
...
....
..
...
...
...
...
...
...
...
..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
r = n0
= H qp (Bp, ; 00 ),
p,q
1 E1
= H p (H qp (B, 00 ), 0 )
(3.96)
= H qp (B,p ; 0 ),
p,q
2 E1
= H p (H qp (B, 0 ), 00 )
Prueba:
i) Para probar (3.96), se escribe F p en lugar de 1 F p . En la figura 3.10
se observa que
F p (T ot B)q /F p+1 (T ot B)q = Bp,qp
M
donde F p (T ot B)q =
Br,s
(3.97)
(3.98)
r+s=q
rp
F p (T ot B)
/0
F p+1 (T ot B)
es una sucesion exacta corta de complejos de cocadena, luego seg
un Teorema 2.2.4
p
p+1
existe un homomorfismo de conexion : H(F (T ot B)/F (T ot B)) H(F p+1 (T ot B))
de manera que 0
/ F p+1 (T ot B)
/ F p (T ot B)
130
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
L
2 : r = p
. . . ...
.
.
.
.
.
.
.
.
(T otB)q
L1 : r + s = q
B0,q
Bp,qp
.
.
.
. ....
..
.....
....
. .....
.....
.
...
.....
.....
...
. . . . . . . . . . . . . . . .....
.....
.
.
...
.
. . . . . . . . . . . . . . . ..
...
...
. . . . . . . . . . . . . . . ...
.....
.....
...
. . . . . . . . . . . . . . . ...
.....
...
. . . . . . . . . . . . . . . ...
.....
... .........
. . . . . . . . . . . . . . . ...
... .......
. . . . . . . . . . . . . . . ...
. . . . . . . . . . . . . . . ...
.....
......
. . . . . . . . . . . . . . . ...
..... ....
.
.
.
. . . . . . . . . . . . . . . ...
.
... ...
.
.
.
. . . . . . . . . . . . . . . ....
.
.....
. . . . . . . . . . . . . . . ..
....
....
. . . . . . . . . . . . . . . ...
...
.....
.....
. . . . . . . . . . . . . . . ...
...
.....
.
.
.
. . . . . . . . . . . . . . . ....
.
...
..
. . . . . . . . . . . . . . . .. ........
...
. . . . . . . . . . . . . . . ...........
...
. . . . . . . . . . . . . . . ........
...
. . . . . . . . . . . . . . ...... ...
...
. . . . . . . . . . . . . . ...... ...
...
. . . . . . . . . . . . . ...... . ...
...
. . . . . . . . . . . . . ....... . ...
...
. . . . . . . . . . . . ....... . . ...
...
. . . . . . . . . . . . ....... . . ...
...
. . . . . . . . . . . ....... . . . ...
...
. . . . . . . . . . . ...... . . . ...
...
. . . . . . . . . . ...... . . . . ...
...
. . . . . . . . . . ....... . . . . ...
...
. . . . . . . . . ....... . . . . . ...
...
. . . . . . . . . ....... . . . . . ...
...
. . . . . . . . ....... . . . . . . ...
...
. . . . . . . . ....... . . . . . . ...
..
.............................................................................................................................................................................................................................................................................................
. . . . . . . ....... . . . . . . . ...
...
. . . . . . ....... . . . . . . . . ...
...
. . . . . . ....... . . . . . . . . ...
...
. . . . . ....... . . . . . . . . . ...
...
..
. . . . . ....... . . . . . . . . . ...
. . . . ....... . . . . . . . . . . ...
....
. . . . ....... . . . . . . . . . . ...
...
. . . ....... . . . . . . . . . . . ...
...
. . . ....... . . . . . . . . . . . ...
...
.
. . ...... . . . . . . . . . . . . ...
. . ....... . . . . . . . . . . . . ...
. ........ . . . . . . . . . . . . . ...
.
.
.
.
..
.....
.....
.
Bq,0
Bp,0
B0,0
- s=0
{z
1F
r=0
p (T otB)
jVVVV
VVVV
VVV
VVVVV
V
/ H(F p (T ot B))
iii
iiii
i
i
i
iii
it iii
131
(3.99)
p,q
1 E1
L1 : r + s = q
.. . . . . ..
. ... . . . . ........
... . . . ...... .
. ... . . . ........ .
. . . . . . . . . . . . . . . . . . . . . .... . . ....... . .
. . . . . . . . . . . . . . . . . . . . . .. . . ........ . .
. . . . . . . . . . . . . . . . . . . . . ... . ....... . . .
. . . . . . . . . . . . . . . . . . . . . ... . ..... . . .
. . . . . . . . . . . . . . . . . . . . . ... ........ . . . .
. . . . . . . . . . . . . . . . . . . . . ... ...... . . . .
. . . . . . . . . . . . . . . . . . . . . .......... . . . . .
. . . . . . . . . . . . . . . . . . . . ........ . . . . .
. . . . . . . . . . . . . . . . . . . . ........ .... . . . . .
. . . . . . . . . . . . . . . . . . . ...... . .. . . . . .
. . . . . . . . . . . . . . . . . . . ........ . .... . . . . .
. . . . . . . . . . . . . . . . . . ..... . . .. . . . . .
. . . . . . . . . . . . . . . . . . ......... . . .... . . . . .
. . . . . . . . . . . . . . . . . ...... . . . .. . . . . .
. . . . . . . . . . . . . . . . . ........ . . . .... . . . . .
. . . . . . . . . . . . . . . . ..... . . . . .. . . . . .
. . . . . . . . . . . . . . . . ......... . . . . .... . . . . .
. . . . . . . . . . . . . . . ..... . . . . . .. . . . . .
. . . . . . . . . . . . . . . ......... . . . . . .... . . . . .
. . . . . . . . . . . . . . ..... . . . . . . .. . . . . .
. . . . . . . . . . . . . . ......... . . . . . . .... . . . . .
.............................................................................................................................................................................................................................................................................
...
....
.....
...
.....
.....
...
.....
.
.
.
...
.
....
.
.
...
.
...
.
.
.
...
.
...
.
.
.
...
.
...
.
.
.
...
.
...
.
.
.
.
.
.......................................................................................................................................................................................................................................................................
..
.
.
.
....
.
...
.
.
.
...
.
.....
...
.....
.
.
.
...
.
...
.
.
.
...
.
....
.
.
...
.
...
.
.
.
...
.
...
.
.
.
...
.
....
.
.
...
.
...
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
B0,q
p
2 F (T otB)
Bqp,p
B0,0
Bq,0
(T otB)q
L2 : s = p
-s = 0
r=0
Figura 3.9: Segunda filtracion
a)
p,q
1 E0
= 1 E p,q
= H q F p (T ot B)/F p+1 (T ot B)
(3.100)
Ker (F p (T ot B)q /F p+1 (T ot B)q F p (T ot B)q+1 /F p+1 (T ot B)q+1 )
=
Im (F p (T ot B)q1 /F p+1 (T ot B)q1 F p (T ot B)q /F p+1 (T ot B)q )
00
p,qp
/ Bp,qp+1
Ker Bp,qp
=
, por (3.98)
00
p,qp1
/ Bp,qp
Im Bp,qp1
= H qp (Bp, ; 00 )
(3.101)
p,q
1 E1
= H p (1 E0,q ; d0 )
(3.102)
132
6 6
....
...
...
...
.....
...
...
...
.....
..
... .........
...
. ....
.
...
.
.
...
...........
....
...
...
.......
..... ..
...
...
..... ....
.
.
.
...
.
.
.
.....
...
....
....
....
...
...
...
.....
.....
...
...
...
.....
.
.
.
.
...
.
...
.
...
.
.
..
.
...
.
...
.
...
.
.
..
.
...
.
...
.
....
.
..
.
...
.
...
.
...
.
..
.
.
...
...
.
.
...
.
..
.
.
...
...
.
.
.. .........
...
...
.
.. .......
...
...
.
.........
...
...
.
...
.
.
.
...
...
.
... ...
.
.
.
...
...
.
.
... ......... ....
...
.
... .......
...
.
.......
..
...
.
.
.
...
.
.
.
.
...
.
.
.
... ...
.
.
.
.
...
.
.
.
... ...
.
.
.
.
...
.
.
.
.
...
.
.
.
.
.
...
.
.
.
.
.
....
.
.
.
.
...
.
.
.
.
.
...
.
.
.
.
.
...
.
.
.
.
.
...
.
.
.
.
.
...
.
.
.
.
.
...
.
.
.
.
.
...
.
.
.
.
.
...
.
.
.
.
.
.
.
.
...
.
.
....
.
.
.
.
.
.
.
...
.
.
...
.
.
.
.
.
.
.
...
.
.
.
...
.
.
.
.
.
.
.
.
...
.
.
...
.
.
.
.
.
.
.
.
...
.
.
...
.
.
.
.
.
.
.
.
...
.
.
...
.
.
.
.
.
.
.
.
...
.
.
....
.
.
.
.
.
.
.
...
.
.
...
.
.
.
.
.
.
.
...
.
.
.
...
.
.
.
.
.
.
.
...
.
.
.
...
.
.
.
.
.
.
.
.
...
.
.
...
.
.
.
.
.
.
.
.
.....................................................................................................................................................................................................................................................................
.
.
.
.
..
.
.
...
.
.
.
.
.
.
.
...
.
.....
....
....
....
.....
.
.
.
.
.
..
.
.
.
..
...
...
..
.....
r+s=q
B0,q
Bp,qp+1
Bp+1,qp1
Bp,qp
Bp,qp1
Bq,0
? ?
r =p+1
{z
}
|
1F
B0,q1
r=p
B0,0
p+1 (T otB)
{z
1F
p (T otB)
=
Im p,qp1
00
donde Ker p,qp
Bp,qp .
00
00
Luego, existe b Bp,qp tal que x = [b] = b + Im p,qp1
y b Ker p,qp
.
Se sabe que
q+1
p+1
p+1
/
Ker F (T ot B)q+1
F (T ot B)q+2
p+1
q+1
(3.103)
H
F (T otB) =
q
p+1
p+1
/
Im F (T ot B)q
F (T ot B)q+1
donde = 0 + 00 .
Como Bp,qp F p (T ot B)q y : F p (T ot B)q F p (T ot B)q+1 , entonces aplicando a
133
00
0
00
= p,qp
b, p,qp
b = 0 ya que b Ker p,qp
= 0 b Bp+1,qp
M
Como b Bp+1,qp F p+1 (T ot B)q+1 =
Br,s ,
(3.104)
r+s=q+1
rp+1
(3.105)
( 0 + 00 ) ( 0 b) , por (3.104)
0 0 b + 00 0 b, 0 0 = 0 :
0 00 b, por anticonmutatividad
0 0, puesto que 00 b = 0
0
p+1 p+2
p+2
p+1
/F
F
/F
Ker
F
q+2
q+2
q+1
q+1
p+1 p+2
H q+1 F p+1 /F p+2 =
p+2
p+1
Im Fq /Fq Fq+1 /Fq+1
00 /
Bp+1,qp+1
Ker Bp+1,qp
, por (3.98)
=
00 /
Bp+1,qp
Im Bp+1,qp1
00
Ker p+1,qp
.
00
=
Im p+1,qp1
Para abreviar
Se afirma que
00 ( 0 b) =
=
=
=
la formula se denot
o Fqp = F p (T ot B)q .
00
, pues
0 b Ker p+1,qp
0
00
p+1,qp p,qp b
0
00
b
p,qp+1
p,qp
00
0
p,qp+1 (0) , b Kerp,qp
0
Bp+1,qp+1 o
O
00
0 b Bp+1,qp o
00
Bp,qp+1
O
00
0
b Bp,qp
(3.107)
/ [ 0 b]
[(. . . , 0, 0 b, 0)]
00
= 0 b + Im p+1,qp1
H q+1 F p+1 /F p+2
Resumiendo d0 (x) = x = 0 b + Im 00 = [ 0 b] = 0 [b] = 0 (x) para todo
/ E p+1,q+1 .
x = [b] = b + Im 00 1 E0p,q . Por lo tanto d0 = 0 : 1 E0p,q
1 0
Con el valor obtenido de d0 , se desarrolla (3.102):
p,q
1 E1
= H p (E0,q , d0 )
d0
p,q
p+1,q+1
/
Ker E0
E0
=
p,q
p1,q1 d0
/
Im E0
E0
0
qp
00
qp
00
/
(Bp, ; )
H
(Bp+1, ; )
Ker H
, por (3.101)
=
0
qp
00
qp
00
/
(Bp1, ; )
H
(Bp, ; )
Im H
= H p H qp (B, 00 ), 0 .
(3.108)
r+s=q
sp
F p (T ot B)
/0
F p+1 (T ot B)
es una sucesion exacta corta de complejos de cocadena, luego seg
un Teorema 2.2.4
p
p+1
existe un homomorfismo de conexion : H(F (T ot B)/F (T ot B)) H(F p+1 (T ot B))
La sucesion 0
/ F p+1 (T ot B)
/ F p (T ot B)
135
r+s=q
..
...
.....
...
.....
.. .........
.... .......
.........
.......
..... ..
..... ....
.
.
.
.
.....
....
....
...
.....
.....
...
.....
.
.
.
.
...
...
.
.
.
.
...
....
.
.
.
...
...
.
.
.
...
.
...
.
.
.
...
.
...
.
.
.
...
.
...
.
.
.
...
.
....
.
.
.
...
...
.
.
.
.
......................................................................................................................................................................................................................................................................................................
..
.
...
.
.
.
...
.
.
.....
...
.....
.
.
...
.
...
.
.
.
.
.....................................................................................................................................................................................................................................................................................................
.
..
.
...
.
.
.
...
.
.
.....
...
.....
.
.
...
.
...
.
.
.
...
.
...
.
.
.
.
...
...
.
.
.
.
...
...
.
.
.
.
...
...
.
.
.
.
...
....
.
.
.
...
...
.
.
.
...
.
...
.
.
.
.
...
...
.
.
.
.
...
...
.
.
.
.
...
....
.
.
.
...
...
.
.
.
...
.
...
.
.
.
...
.
...
.
.
.
...
.
...
.
.
.
.
...
...
.
.
.
.
..................................................................................................................................................................................................................................................................
.
.
..
.
...
.
.
.
...
.
.....
...
.....
.
.
.
.
....
..
.
.....
B0,q
Bqp1,p+1
Bqp,p
s=p+1
s=p
Bq,0
p+1
(T otB) p
2F
2 F (T otB)
B0,q1
B0,0
jVVVV
VVVV
VVV
VVVVV
V
/ H(F p (T ot B))
i
i ii
iiii
i
i
i
ii
it iii
136
c)
p,q
2 E0
= 2 E p,q
= H q F p (T ot B)/F p+1 (T ot B)
Ker (F p (T ot B)q /F p+1 (T ot B)q F p (T ot B)q+1 /F p+1 (T ot B)q+1 )
=
Im (F p (T ot B)q1 /F p+1 (T ot B)q1 F p (T ot B)q /F p+1 (T ot B)q )
0
qp,p
/
Bqp+1,p
Ker Bqp,p
=
, por (3.108)
0
qp1,p
/ Bqp,p
Im Bqp1,p
= H qp (B,p ; 0 )
(3.109)
= H p (2 E0,q , d0 )
d0
p,q
p+1,q+1
/
Ker 2 E0
2 E0
, por (3.109) :
=
p,q
p1,q1 d0
/
Im 2 E0
2 E0
00 /
qp
0
qp
0
(B,p ; )
H
(B,p+1 ; )
Ker H
=
00 /
qp
0
qp
0
(B,p1 ; )
H
(B,p ; )
Im H
= H p H qp (B, 0 ), 00
(3.110)
(3.111)
1F
(T ot B)q = 0, para p p0
para p p1
1 F (T ot B)q = (T ot B)q ,
p
137
... . . . . . . . . . . . . . .
. .... . . . . . . . . . . . . . . .
... . . . . . . . . . . . . . . .
...
. . . . . ... . . . . . . . . . . . . . . . ...
.....
.....
. . . . . ..... . . . . . . . . . . . . . . ....
.....
. . . . . ... . . . . . . . . . . . . . . . ...
.....
.
.
.
.
.
. . . . . ... . . . . . . . . . . . . . . ..
....
. . . . . .. . . . . . . . . . . . . . . . ..
.....
.....
. . . . . ..... . . . . . . . . . . . . . . ....
.....
. . . . . ... . . . . . . . . . . . . . . . ...
.....
.
.
.
.
.
.
. . . . . ... . . . . . . . . . . . . . . .. .....
. . . . . .. . . . . . . . . . . . . . . . .. .....
. . . . . ..... . . . . . . . . . . . . . . ............
. . . . . .. . . . . . . . . . . . . . . ..... ..
. . . . . ..... . . . . . . . . . . . . . ......... ....
. . . . . .. . . . . . . . . . . . . . ..... . ..
. . . . . ..... . . . . . . . . . . . . ......... . ....
. . . . . .. . . . . . . . . . . . . ..... . . ..
. . . . . ..... . . . . . . . . . . . ......... . . ....
. . . . . .. . . . . . . . . . . . ..... . . . ..
. . . . . ..... . . . . . . . . . . ......... . . . ....
. . . . . .. . . . . . . . . . . ..... . . . . ..
. . . . . ..... . . . . . . . . . ......... . . . . ....
. . . . . .. . . . . . . . . . ..... . . . . . ..
. . . . . ..... . . . . . . . . ......... . . . . . ....
. . . . . .. . . . . . . . . ..... . . . . . . ..
. . . . . ..... . . . . . . . ........ . . . . . . ....
. . . . . .. . . . . . . . ...... . . . . . . . ..
. . . . . ..... . . . . . . ......... . . . . . . . ....
. . . . . .. . . . . . . ..... . . . . . . . . ..
. . . . . ..... . . . . . ......... . . . . . . . . ....
. . . . . .. . . . . . ..... . . . . . . . . . ..
. . . . . ..... . . . . ........ . . . . . . . . . ....
. . . . . .. . . . . ...... . . . . . . . . . . ..
. . . . . ..... . . . ........ . . . . . . . . . . ....
. . . . . .. . . . ...... . . . . . . . . . . . ..
. . . . . ..... . . ......... . . . . . . . . . . . ....
...........................................................................................................................................................................................................................................................................................
..
..
..
.....
...
...
.....
... .........
...
0 0
0 0
... ......
...
.
.
.
.
.
...
......
.
.
.
...
.
... ...
.
.
.
.
.
.
..... ...
....
.....
....
....
.....
.....
.
..
....
.
.
.
.
...
.
.
.
.
...
.
.
.
.
....
.....
.....
.
.
.
.
.
.
.
.
|
1F
(T otB)q
Bqn
Bn
,n
r = q n0 + 1
{z
- s = n0
,n
r = n0
qn0 +1 (T otB)
{z
n
1 F 0 (T otB)
r+s=q
s<n0
r q n0 + 1 y as 1 F p (T ot B)q =
Br,s = 0 para p q n0 + 1.
r+s=q
rp
n0 1
(T ot B)q =
Br,s Bn0 1,qn0 +1
1F
=
1F
n0 2
r+s=q
rn0
n0
1F
138
1F
n0
(T ot B)q para p n0
=
Br,s Bn0 1,qn0 +1 Bn0 2,qn0 +2
(T ot B)q =
1F
r+s=q
rn0
= (T ot B)q
Haciendo p1 = p1 (q) = n0 Z se obtiene que 1 F p (T ot B)q = (T ot B)q para p p1 .
ii) La filtracion de T ot B definida en (3.95) es finita (Definicion 3.4.1 y figura 3.13).
...
.....
.....
.....
.
.
. . . . . . . . . . . . . . . . . . . . .
.
.
.....
. . . . . . . . . . . . . . . . . . . . .
....
. . . . . . . . . . . . . . . . . . . . . .
.....
.....
. . . . . . . . . . . . . . . . . . . . . ...
.....
.
.
. . . . . . . . . . . . . . . . . . . . . ...
.
.
.....
. . . . . . . . . . . . . . . . . . . . . ...
.....
. . . . . . . . . . . . . . . . . . . . . ...
.....
.........................................................................................................................................................................................................................................................................................................
.
. . . . . . . . . . . . . . . . . . . . . ..
.
.
.
..
. . . . . . . . . . . . . . . . . . . . . ...
.....
. . . . . . . . . . . . . . . . . . . . . .... .........
. . . . . . . . . . . . . . . . . . . . . .. .....
. . . . . . . . . . . . . . . . . . . . . ...........
. . . . . . . . . . . . . . . . . . . . ..... ...
0
0
. . . . . . . . . . . . . . . . . . . . ......... ...
. . . . . . . . . . . . . . . . . . . ..... . ...
. . . . . . . . . . . . . . . . . . . ......... . ...
. . . . . . . . . . . . . . . . . . ...... . . ...
. . . . . . . . . . . . . . . . . . ........ . . ...
. . . . . . . . . . . . . . . . . ..... . . . ...
. . . . . . . . . . . . . . . . . ......... . . . ...
. . . . . . . . . . . . . . . . ..... . . . . ...
. . . . . . . . . . . . . . . . ........ . . . . ...
. . . . . . . . . . . . . . . ...... . . . . . ...
. . . . . . . . . . . . . . . ........ . . . . . ...
. . . . . . . . . . . . . . ...... . . . . . . ...
. . . . . . . . . . . . . . ......... . . . . . . ...
. . . . . . . . . . . . . ..... . . . . . . . ...
. . . . . . . . . . . . . ........ . . . . . . . ...
. . . . . . . . . . . . ...... . . . . . . . . ...
. . . . . . . . . . . . ........ . . . . . . . . ...
. . . . . . . . . . . ...... . . . . . . . . . ..
. . . . . . . . . . . ........ . . . . . . . . . ....
. . . . . . . . . . ..... . . . . . . . . . . ..
. . . . . . . . . . ......... . . . . . . . . . . ....
. . . . . . . . . ..... . . . . . . . . . . . ..
. . . . . . . . . ......... . . . . . . . . . . . ....
..........................................................................................................................................................................................................................................................................................
...
....
....
...
.....
.....
...
.....
.
.
.
.
...
...
.
.
.
.
...
....
.
.
.
...
...
.
.
.
.
....
...
.
.
.
..
.
...
.
.
.
...
.
....
Bn
,qn
qn0 +1
F
(T
otB)
2
s = q n0 + 1
2F
n0
(T otB)
- s = n0
(T otB)q
r = n0
2F
(T ot B)q = 0, para p p0
para p p1
2 F (T ot B)q = (T ot B)q ,
p
139
r+s=q
r<n0
M
p
conduce a s q n0 + 1 y 2 F (T ot B)q =
Br,s = 0 para p q n0 + 1.
r+s=q
sp
M
n0 1
Br,s Bqn0 +1,n0 1
(T ot B)q =
2F
=
r+s=q
sn0
n0
2F
(T ot B)q =
2F
n0
(T ot B)q para p n0
=
Br,s Bqn0 +1,n0 1 Bqn0 +2,n0 2
r+s=q
sn0
= (T ot B)q
Tomando p1 = p1 (q) = n0 Z se obtiene que 2 F p (T ot B)q = (T ot B)q para
p p1
Existencia y Convergencia de la Sucesi
on Espectral de Grothendieck
La construccion de la sucesion espectral de Grothendieck se hara usando un complejo doble J de objetos inyectivos y este complejo para su construccion requerira una
herramienta llamada LEMA DE HERRADURA, as en lo que sigue se abordara el lema mencionado y otros resultados previos que son necesarios para demostrar la existencia de
la sucesion espectral de Grothendieck.
Proposici
on 3.5.6 Sean I1 y I2 objetos inyectivos en una categora abeliana A, entonces I1 I2 es inyectivo.
/ B un monomorfismo,
/ I1 I2 un morfismo y : A /
Prueba.- Sea : A
/ I I tal que = .
entonces existe un morfismo : B
1
2
/ I1 y 2 : A
/ I2 . Como I1 e I2 son objetos inSea = (1 , 2 ) con 1 : A
/ I1 y 2 : B
/ I2 tales que 1 = 1 y
yectivos, existen morfismos 1 : B
2 = 2 . As existe = (1 , 2 ) : B
= (1 , 2 ) = (1 , 2 ) =
/ I I tal que
1
2
140
..
.O
100
0o
I1O 00 o
I0O 00 o
IO1 o
IO10 o
IO0 o
A00 o
IO00 o
Ao
0
(3.112)
00
00
0o
10
000
0o
..
.O
A0 o
aAo
0
< IO0
0
A0 o
Se prueba que los dos cuadrilateros inferiores del diagrama (3.112) son conmutativos, verificando que 0 0 = y 0 = 00 , como sigue:
Sea a0 A0 , entonces 0 0 (a0 ) = (0 (a0 ), 0)
(3.113)
(3.114)
I000 o 0 I0 o 0 I00 o
La sucesion 0 o
rificando los items i), ii), iii) y iv):
141
i)
ii) Im 0 = Ker0 , puesto que 0 0 (b0 ) = 0 (b0 , 0) = 0 implica que Im0 Ker0 .
(b, c) Ker0 implica que (b, c) I0 = I00 I000 y
0 (b, c) = 0
= c
luego c = 0. De esa manera existe b I00 tal que 0 (b) = (b, 0) = (b, c) Im0 ,
as Ker 0 Im 0 .
iii) Dado c I000 existe (0, c) I0 = I00 I000 tal que 0 (0, c) = c, por lo tanto 0 es un
epimorfismo.
iv) Por ser I00 y I000 objetos inyectivos de A, de Proposicion 3.5.6 se sigue que
I0 = I00 I000 es inyectivo.
El morfismo : A I0 es un monomorfismo. En efecto, sea a Ker entonces a A
y (a) = (0, 0) = (a, 00 a). De donde a = 0 y 00 a = 0; como 00 es un monomorfismo y Im = Ker, existe a0 A0 tal que a = a0 . Luego 0 = a = a0 = 0 a0 ,
como 0 es monomorfismo se obtiene que a0 = 0. Por lo tanto a = a0 = 0.
Suponga que es posible construir la sucesion exacta corta de inm
0 o
0
00
o
Im
yectivos 0 o
Im
de
Im o
0 para 1 m n donde Im = Im
manera que el siguiente diagrama es conmutativo
HIPOTESIS
INDUCTIVA:
00
Im
0o
InO 00 o
00
n1
0o
0o
00
o
In1
n1
..
.O
..
.O
1
I0O 00 o
IO0 o
A00 o
n1
0
o
In1
Ao
142
(3.115)
IO10 o
00
0
IO00 o
00
0o
0
n1
0
0
..
.O
IO1 o
000
0o
InO 0 o
n1
o
In1
O
I1O 00 o
InO o
A0 o
00
o
In+1
n+1
00
n
0o
o
In+1
O
0o
00
o
In1
1
n
InO o
00
n1
0
o
In+1
InO 00 o
n+1
0
n
InO 0 o
In1 o
n1
(3.116)
0
n1
n1
n1
0
o
In1
In o
>
0
n
In0 o
n : In In+1 por n (b, c) = (n (b, c), n00 n (b, c)) donde b In0 y c In00 ;
n+1 (bn+1 ) = (bn+1 , 0), n+1 (bn+1 , cn+1 ) = cn+1 . Se garantiza la existencia de n por
0
ser In+1
inyectivo y in monomorfismo. A continuacion, se prueban las siguientes afirmaciones:
v) n+1 es un monomorfismo, pues
0
a Kern+1 a In+1
y n+1 (a) = (0, 0) = (a, 0). Por igualdad a = 0.
vi) Im n+1 = Ker n+1 .
Es inmediato que Im n+1 Ker n+1 .
0
00
(b, c) Kern+1 (b, c) In+1 = In+1
In+1
y n+1 (b, c) = 0 = c, de donde
0
c = 0. As existe b In+1 tal que n+1 (b) = (b, 0) = (b, c) Im n+1 , luego
Kern+1 Imn+1 .
00
existe
vii) n+1 es un epimorfismo, puesto que dado cn+1 In+1
00
0
(0, cn+1 ) In+1 = In+1 In+1 tal que n+1 (0, cn+1 ) = cn+1 .
00
0
objetos inyectivos de A, de Proposicion 3.5.6 se sigue que
y In+1
viii) Como In+1
00
0
In+1 = In+1 In+1 es inyectivo.
143
Dualizando el diagrama
0o
00
o
In+1
o
In+1
O
0
o
In+1
00
n
0
n
In00 o
0o
In o
In0 o
/ I 00
/ In+1 op
n+1
00 op
n
/ I 00 op
n op
/ I op
n
op
/ I0
/0
n+1
/ I 0 op
n
(3.117)
0 op
n
/0
Por Lema 2.2.1, las siguientes sucesiones Ker Coker son exactas
op
op
y
Ker (n op ) Ker n0
0 Ker n00
0 op
00 op
op
0
Coker (n ) Coker n
Coker n
(3.118)
para cada n Z.
De (3.117), (3.118) y Lema 2.2.3 se deduce el siguiente diagrama conmutativo
Hn (I 00 op )
Coker
00 op
n+1
/ Hn (I op )
/ Hn (I 0 op )
/ Coker (n+1 op )
/ Coker 0 op
n+1
00 op
g
n
/ Ker 00 op
n1
Hn1 (I
00 op
op
g
n
0 op
g
n
/ Ker (n1 op )
/ Ker 0 op
n1
/ Hn1 (I op )
/ Hn1 (I 0 op )
/0
(3.119)
Para n > 1, usando la hipotesis inductiva y (3.119), por el hecho que I 0 y I 00 son
acclicos, se deduce que la siguiente sucesion es exacta
0 0 0 0 H n (I) 0, por consiguiente H n (I) = 0 para n > 1.
Para el caso n = 1, de (3.119) se tiene la sucesion exacta
H 0 (I 0 ) H 0 (I) H 0 (I 00 ) 0 H 1 (I) 0, de donde H 1 (I) = 0.
144
00
0o
A00 o
(3.120)
Ao
A0 o
(3.121)
I000 o
I00 o
Por otro lado la sucesion exacta corta 0 o
I0 o
0 se
0
descompone por ser I0 inyectivo [9]. Esto quiere decir que existen morfismos
00 : I0 I00 y 000 : I000 I0 tales que
I1O 00 _>
I0
I1
@ O1
>> 00 O
0
0
>
00
0 >>
0
0
>
/I
/ I0
/ I 00
0
0
000
00
/0
(3.122)
145
00
n+1 n0 = n n : In0 In+1 , n+1 n = n00 n : In In+1
.
n+1 n (bn , cn ) =
=
=
=
o 1 F1 o 0 F0 o
Fn+1 o n Fn o
Sean o
0 un complejo de cocadena
en C, Zr = Kerr y Br+1 = Imr para r = 0, 1, . . .; entonces existe una resoluci
on
inyectiva de
o
o B2 o o
F1 o
o Z1 o
o B1 o o
F0 o
o Z0
(3.123)
..
.O
..
.O
..
.O
..
.O
..
.O
..
.O
o L2,1 o o
O
J1,1 o
o K1,1 o
O
o L1,1 o o
O
J0,1 o
o K0,1
O
(3.124)
o
o L2,0 o o
O
J1,0 o
o K1,0 o
O
o L1,0 o o
O
J0,0 o
o K0,0
O
O
oB oo
2
F1 o
O
oZ o
1
O
oB oo
1
F0 o
O
oZ
0
146
..
.O
..
.O
L1,1 o o
J0,1 o
o K0,1
O
(3.125)
L1,0 o o
O
O
B1 o o
J0,0 o
o K0,0
O
O
oZ
0
F0 o
..
.O
..
.O
C1,1 o o
K1,1 o
o L1,1
O
(3.126)
C1,0 o o
O
O
Z1 /B1 o o
K1,0 o
o L1,0
O
O
o B1
Z1 o
147
..
.O
..
.O
..
.O
..
.O
K1,1 o
o L1,1 o o
O
J0,1 o
o K0,1
O
(3.127)
K1,0 o
o L1,0 o o
O
J0,0 o
o K0,0
O
O
o B1 o o
F0 o
O
o Z0
Z1 o
Luego, usando la resolucion inyectiva de Z1 = Ker1 y una resolucion inyectiva arbitraria de B2 = Im1 , con el lema de herradura se halla una resolucion inyectiva de
F1 , la cual se muestra en la columna correspondiente en (3.124) tal que el siguiente
diagrama es conmutativo
..
..
..
.
.
.
O
J1,1 o
o K1,1
O
L2,1 o o
O
(3.128)
L2,0 o o
O
O
B2 o o
J1,0 o
o K1,0
O
O
o Z1
F1 o
Br+1 = Imr o o
Fr o
o Z = Ker para r = 0, 1, . . .
r
r
(3.129)
148
..
.O
..
.O
..
.O
Cr,1 o o
Kr,1 o
o Lr,1
O
(3.130)
Cr,0 o o
O
Kr,0 o
o Lr,0
O
O
o Br
Zr /Br o o
Zr o
Kr,2 /Lr,2 o
Kr,1 /Lr,1 o
Kr,0 /Lr,0 o
o Zr /Br
(3.131)
..
.O
..
.O
..
.O
J2,1 o
J1,1 o
J0,1
(3.132)
o
J2,0 o
F2 o
J1,0 o
J0,0
O
O
F1 o
F0
izr+1
Jr,s+1 o
j
r,s
o Zr+1 o
ibr+1
f
o Br+1 o o pr
Jr,s , Lr,s+1 o
Definiendo Jr+1,s o
definiendo Fr+1 o
ciones:
djr,s
dr
l
r,s
Fr ,
Jr+1,s o
Lr,s y Kr,s+1 o
ikr+1,s
k
r,s
o Kr+1,s o
ilr+1,s
pjr,s
o Lr+1,s o o
Jr,s ;
Kr,s .
149
Fr+1 o
Jr+1,0 o
O
O
Fr+1 o
deriva de la conmutatividad de
Fr
o Kr+1,0 o
O
o Lr+1,0 o o
O
Jr,0
O
o Zr+1 o
O
o Br+1 o o
Fr
O
O
deriva de la conmutatividad de
Jr+1,s o
Jr,s
Jr+1,s+1 o
O
o Kr+1,s+1 o
O
o Lr+1,s+1 o o
O
Jr,s+1
Jr+1,s o
o Kr+1,s o
o Lr+1,s o o
Jr,s
En efecto:
j
ikr+1,s+1 ilr+1,s+1 pjr,s+1 r,s
j
l
= ikr+1,s+1 ilr+1,s+1 r+1,s
pr,s
k
= ikr+1,s+1 r+1,s
ilr+1,s pjr,s+1
j
= r+1,s
ikr+1,s ilr+1,s pjr,s
j
djr,s+1 r,s
=
j
= r+1,s
djr,s .
iii) djr+1,s djr,s = 0, pues pjr+1,s ikr+1,s = 0 por la condicion de exactitud en (3.124);
dr+1 dr = 0, pues pfr+1 izr+1 = 0 por (3.129).
Ahora bien, observando que cada cuadrilatero del diagrama (3.132) esta en uno de
los casos i) o ii), se deduce que tal diagrama es conmutativo.
En las filas del diagrama (3.132), por iii) la composicion de morfismos sucesivos se
anula, luego cada fila de ese diagrama es un complejo de cocadena. Mientras que la
resima columna es una resolucion inyectiva completa de Fr ; r = 0, 1, . . . proviene del
150
diagrama (3.124)
..
.O
..
.O
..
.O
C2,2 o
O
C1,2 o
O
C0,2
C2,1 o
O
C1,1 o
O
C0,1
C2,0 o
C1,0 o
C0,0
A2 o
Sea
O
O
O
O
A1 o
(3.133)
O
O
A0
151
Recordando H 2 (D2 )
= H 2 (D1 ), resulta que H 2 (D1 ) = 0. Pero H 2 (D1 )
= H 2 (T ot D),
luego H 2 (T ot D) = 0.
Continuando el proceso de los tres pasos anteriores, se concluye que H n (T ot D) = 0
para todo n = 0, 1, . . .
Ahora, ya se esta en condiciones para enunciar y probar
Y CONVERGENCIA de la sucesi
on espectral de Grothendieck.
EL TEOREMA DE EXISTENCIA
G(B), q = 0
q
R G(B) =
0, q 1
(3.134)
Proposicion 2.5.14 muestra como ejemplo que un objeto inyectivo I es T -acclico (derecho).
Teorema 3.5.12 (Sucesi
on Espectral de Grothendieck) Sean F : A B y
G : B C funtores covariantes aditivos de categoras abelianas, donde A y B tienen
suficientes inyectivos. Si I es un objeto inyectivo de A y F (I) es G-acclico, entonces
existe una sucesi
on espectral E = {En (A)} correspondiente a cada objeto A de A, tal
que
E1p,q = (Rp G)(Rqp F )(A) Rq (GF )(A)
(3.135)
Es decir, la sucesi
on espectral E converge finitamente al objeto graduado asociado a
{Rq (GF )(A)}, filtrado adecuadamente.
Prueba.- Con un objeto dado A de A se va a construir apropiadamente un complejo doble positivo B de cocadena en C, el cual permitira calcular la sucesion espectral
denotada por 2 E que converja finitamente al objeto graduado asociado a {H q (T ot B)},
donde B = GJ y J tambien es un complejo doble de cocadena en B.
Sea A un objeto en la categora A, la cual por hipotesis tiene suficientes inyectivos,
luego existe una resolucion inyectiva I de A. Sea
I : o
In+1 o
... o
In o
I1 o
I0 o
(3.136)
F In+1 o
... o
F In o
F I1 o
F I0 o
(3.137)
..
.O
..
.O
..
.O
..
.O
..
.O
..
.O
o L2,1 o o
O
J1,1 o
o K1,1 o
O
o L1,1 o o
O
J0,1 o
o K0,1
O
(3.138)
o
o L2,0 o o
O
J1,0 o
o K1,0 o
O
o L1,0 o o
O
J0,0 o
o K0,0
O
O
o B2 o o
F I1 o
O
o Z1 o
O
o B1 o o
F I0 o
O
o Z0
donde cada columna es una resolucion inyectiva completa del objeto que aparece en su
o Kr,s es exacta.
Jr,s o
pie y Lr+1,s o o
Aplicando Proposicion 3.5.9 al diagrama (3.138), se obtiene el siguiente diagrama conmutativo (se nota que se omitio la columna de Z0 )
..
.O
..
.O
..
.O
J2,1 o
J1,1 o
J0,1
(3.139)
o
J2,0 o
F I2 o
J1,0 o
F I1 o
J0,0
O
O
F I0
djr,s
a) G djr+1,s G djr,s = G djr+1,s djr,s = G(0) = 0
j
j j
j
= G(0) = 0
b) G r,s+1
G r,s = G r,s+1
r,s
153
j j
j
c) G djr,s+1 G r,s
= G djr,s+1 r,s
= G r+1,s
djr,s = G r+1,s
G dr,s .
Aplicando G al diagrama (3.139) y definiendo 0 = Gd y 00 = (1)r G sobre GJr,s ,
en virtud de a), b) y c) se obtiene el siguiente complejo doble de cocadena B = GJ
..
.O
o
..
.O
GJ2,2 o
O
GJ1,2 o
O
00
00
GJ2,1 o
O
00
GJ2,0 o
GJ0,2
O
(3.140)
00
GJ1,1 o
00
..
.O
GJ1,0 o
GJ0,1
O
00
0
GJ0,0
H q (T ot GJ)
(3.141)
Lo cual indica que, para finalizar la prueba se deben calcular los dos objetos 2 E1p,q
y H q (T ot GJ) con la idea de obtener los mismos que aparecen en el enunciado del
teorema.
Usando Proposicion 3.5.4 se calculara 2 E1p,q , en los pasos d) y e), como sigue :
d)
p,q
2 E0
0 /
GJqp+1,p
Ker GJqp,p
=
0 /
GJqp,p
Im GJqp1,p
=
0
Kerqp,p
0
Imqp1,p
(3.142)
(3.143)
154
0
qp,p
GJqp+1,p o
o GKqp+1,p o
o GLqp+1,p o o
m
p
GJqp,p o
o GKqp,p
0
se deduce que Kerqp,p
= GKqp,p , pues
0
Kerqp,p
= {a GJqp,p / n m p (a) = 0}
= {a GJqp,p / p (a) = 0}, n m es monic
= GKqp,p , GJqp,p = GKqp,p GLqp+1,p .
GJqp,p o
s
j
o GKqp,p o
o GLqp,p o o
GJqp1,p
0
se deduce que Imqp1,p
= GLqp,p , puesto que GLqp,p es sumando directo de
GJqp,p ;
0
0
Imqp1,p
= qp1,p
(GJqp1,p )
= j i p (GJqp1,p ) , como p es epic:
= j i (GLqp,p )
= GKqp,p /GLqp,p
(3.144)
= G(Kqp,p /Lqp,p )
155
(3.145)
p,q
2 E1
00 /
qp
0
qp
0
(GJ,p ; )
H
(GJ,p+1 ; )
Ker H
, por (3.110) y (3.111)
=
00 /
qp
0
qp
0
H
(GJ,p ; )
(GJ,p1 ; )
Im H
00 /
p,q
p+1,q+1
Ker 2 E0
2 E0
/
Kqp,p+1
Kqp,p
Ker G Lqp,p
G Lqp,p+1
K
qp,p
/G
Im G Lqp,p1
Lqp,p
= Rp G (Zqp /Bqp ) , de (3.137) : Zr /Br = H r (F I) = Rr F (A), luego
= Rp G Rqp F (A)
G(F Ir ), q = 0
q
R G (F Ir ) =
(3.147)
0, q 1
As, las cohomologas de las columnas del siguiente complejo doble de cocadena, D,
obtenido de (3.139) aplicando G, se ANULAN.
..
.O
..
.O
..
.O
GJ2,1 o
GJ1,1 o
GJ0,1
(3.148)
o
GJ2,0 o
GF I2 o
O
O
GJ1,0 o
O
O
GF I1 o
GJ0,0
O
O
GF I0
(3.149)
(3.150)
p,q
1 E0
G (F Ip ) , si q p = 0
=
0, si q p 6= 0
G (F Ip ) , si p = q
=
0, si p 6= q
157
g)
p,q
1 E1
0 /
qp
00
qp
00
(GJp, ; )
H
(GJp+1, ; )
Ker H
, por f )
=
0 /
qp
00
qp
00
(GJp1, ; )
H
(GJp, ; )
Im H
!
0 /
G
(F
I
)
Ker G (F Iq )
q+1
! , si q = p
Im G (F Iq1 ) / G (F Iq )
!
=
0 /
Ker
0
0
! , si q 6= p
0 /
Im 0
0
q
R (GF ) A, si p = q
=
0, si p 6= q
p,q
1 E2
d1
p,q
p+2,q+1
/
Ker 1 E1
1 E1
, por g):
=
p,q
p2,q1 d1
/
Im 1 E1
1 E1
0
1
d1
q
/
@
Ker R (GF ) A
0A
0
1 , si p = q
d1
q
/ R (GF ) A A
Im@ 0
0
1
=
d1
p+2,q+1 A
/
@
Ker 0
1 E1
0
1 , si p 6= q
d1
p2,q1
/
Im@ 1 E1
0A
q
R (GF ) A, si p = q
=
0, si p 6= q
158
Por consiguiente
p,q
1 E
Rq (GF ) A, si p = q
0, si p 6= q
excepto para un n
umero finito de elementos x de G}.
P
Sea : G ZG una aplicacion definida por (g) =
mg (x)x,
xG
1, g = x
donde para cada g G existe mg (x) =
0, g 6= x
y claramente G ZG, luego
La aplicacion : G ZG es llamada LA INMERSION
ZG 6= .
P
P
Ahora, considerando r =
mr (x)x y s =
ms (x)x se define la suma r + s y la
xG
xG
(3.153)
xG
rs =
(3.154)
x,yG
Proposici
on 3.5.13 Dado un grupo G, ZG con las operaciones dadas en (3.153) y
(3.154) es un anillo unitario.
Prueba.- Con las operaciones dadas se verifican los siguientes axiomas de anillo
unitario para ZG:
R1 . (ZG, +) es un grupo abeliano, esta estructura es transferida del
Pgrupo abeliano
(Z, +) mediante (3.153); aqu es conveniente enfatizar que 0 =
m0 (x)x donde
xG
P
m0 : G Z es funcion nula y r =
(mr ) (x)x son la identidad aditiva e
inverso aditivo en ZG.
xG
R2 . La multiplicacion en ZG es asociativa.
Esta propiedad se verifica usando (3.154), la asociatividad de la multiplicacion
159
en Z y en G, como sigue:
X
r (st) =
x;y,zG
x,y;zG
= (rs)t.
R3 . Se cumplen las leyes distributivas en ZG, las cuales se siguen de las correspondientes en Z:
r (s + t) =
x,yG
x,yG
= rs + rt;
yG
!
!
X
X
r(e) =
mr (x)x
me (y)y
xG
yG
x,yG
mr (x)xe
xG
mr (x)x
xG
= r;
El elemento
P unitario de ZG
P es diferente de la identidad aditiva, ya que
(e) =
me (x)x 6= 0 =
m0 (x)x por ser me 6= m0 .
xG
xG
Prueba.- Se define f
m(x)x
xG
xG
Definici
on 3.5.15 Un G-m
odulo izquierdo (modulo izquierdo sobre un grupo G o
simplemente un G-m
odulo) es un grupo abeliano A provisto de un homomorfismo
: G Aut (A) de grupos, definido por (x)(a) = x a, x G, a A.
Cada grupo aditivo abeliano A es un G-modulo (trivial) bajo el homomorfismo
trivial de grupos : G Aut (A) dado por (g) = 1A para todo g G.
Proposici
on 3.5.16 Sea G un grupo. Entonces A es un G-m
odulo si y solo si A es
ZG-modulo.
Prueba:
) Asumiendo que A es un G-modulo, se sabe que existe un homomorfismo
: G Aut (A) de grupos, luego se sigue que (xy) = (x)(y) y (e) = 1A .
Como End (A) es un anillo y Aut (A) End (A), se ve que : G End (A).
Por Proposicion 3.5.14, existe 0 : ZG End (A) homomorfismo de anillos tal
que 0 = ; es decir, se tiene el siguiente diagrama conmutativo
G
ZG
/ End (A)
t:
tt
t
t
tt 0
tt
Seg
un Definicion 1.1.1, A es ZG-modulo.
) Recprocamente; si A es ZG-modulo, entonces existe un homomorfismo de anillos
0 : ZG End (A). Ahora, se consigue : G Aut (A) definiendo
(g) = 0 (g), resulta que (g) tiene inversa. En efecto, para cada g G existe
g 1 G tal que gg 1 = e. Ahora, del hecho que 0 preserva la multiplicacion y
el elemento unitario se obtiene (g)(g 1 ) = (e) = 1A ; analogamente se deduce
(g 1 )(g) = 1A . As la inversa de (g) es (g 1 ) para cada g G.
Usando el hecho que (g) tiene inversa, se sigue inmediatamente que (g) es
inyectiva y sobreyectiva. As (g) Aut (A) para cada g G. Por consiguiente,
A es un G-modulo
Proposici
on 3.5.17 Sea G un grupo y HomZG (Z, ) : mlZG Ab dado por
A 7 HomZG (Z, A). Entonces HomZG (Z, ) es un funtor covariante aditivo.
Prueba.- Como el grupo aditivo abeliano Z es un G-modulo, por Proposicion 3.5.16
Z es un ZG-modulo. Para = ZG, de Ejemplo 1.2.2 se sigue que HomZG (Z, ) es
un funtor covariante; luego seg
un Proposicion 1.7.14 se deduce que el funtor covariante
HomZG (Z, ) es aditivo
161
Proposici
on 3.5.18 Sea : H G un homomorfismo de grupos, entonces
Z
: ZH ZGes un homomorfismo de anillos definido por
P
P
Z
m(x)x =
m(x)(x).
xH
xH
Seg
un Proposicion 8.1 de [4], los bifuntores Extn (, ) y Ext (, ) para
n = 0, 1, . . . son naturalmente equivalentes. Esto quiere decir que el bifuntor Extn (, )
es balanceado. Entonces se obtiene el valor de Extn (A, B) va resolucion proyectiva
de A o bien utilizando resolucion inyectiva de B; i.e., se obtiene Extn (A, B) como el
valor del funtor derivado derecho de Hom (, B) en A o bien como el valor del funtor
derivado derecho de Hom (A, ) en B.
En virtud de Proposicion 3.5.17, dado un grupo G, HomZG (Z, ) : mlZG Ab es
un funtor covariante aditivo, luego para n 0 los funtores derivados derechos de
n
HomZG (Z, ) son ExtZG
(Z, ) = R n (Hom
)) : mlZG Ab. Por consiguiente
ZG (Z,
l
n
esta definido ExtZG
(Z, A) para todo A mZG .
Definici
on 3.5.20 Sea G un grupo, A un G-modulo. El n-esimo grupo de cohomologa
de G con coeficientes en A denotado por H n (G, A) se define como
n
H n (G, A) = ExtZG
(Z, A), donde Z es visto como un G-modulo trivial.
El grupo graduado {H n (G, A)} por IN {0} es llamado el grupo de cohomologa de G
con coeficientes en A.
es
/K
/ / Q y dado un K-m
pos N /
odulo A, existe una sucesi
on espectral
E = {En (A)} tal que
/ / Q de grupos induce
F preserva inyectivos. En efecto, el homomorfismo K
homomorfismo de anillos Zp : ZK ZQ. Este hecho permite considerar cada
Q-modulo como K-modulo y cada Q-homomorfismo como K-homomorfismo.
Recordando que F (I) = HomZN (Z, I) = I N , se va a demostrar que I N es
Q-modulo inyectivo.
Se puede considerar el siguiente diagrama dado en mlZQ como el diagrama visto
en mlZK :
/ IN
O
/B
/I
O
/A
= (Rp G) H qp (N, A)
= H p Q, H qp (N, A)
Por consiguiente E1p,q = H p (Q, H qp (N, A))
(3.157)
iv) Por la ecuacion (9.9) del captulo XI de [8] se sabe que para Q-modulo C y Kmodulos A, B (donde Q = K/N resulta de la sucesion exacta corta de grupos)
existe un isomorfismo natural
HomZQ (C, HomZN (B, A))
= HomZK (C B, A)
Considerando este isomorfismo como igualdad y que Z Z = Z, para C = B = Z
se obtiene que HomZQ (Z, HomZN (Z, A)) = HomZK (Z, A), de donde
Rq (GF )(A) =
=
=
=
(3.158)
CONCLUSIONES
1. El isomorfismo entre los lmites de dos sucesiones espectrales asociadas a dos
complejos de cadena con filtraciones homologicamente finitas se induce a las homologas correspondientes a dichos complejos filtrados (Teorema 3.3.13).
2. Sean C y C 0 complejos de cadena filtrados con filtraciones finitas. Si : C C 0
0
es un morfismo tal que : E E
es un isomorfismo, entonces
0
: H(C) H(C ) es un isomorfismo (Proposicion 3.3.8 y Teorema 3.3.13).
3. Las dos sucesiones espectrales 1 E y 2 E de un complejo doble B de cocadena
positivo convergen finitamente a los objetos graduados correspondientes asociados
a la misma cohomologa H(T ot B) (Proposicion 3.5.5).
4. Se ha descrito los funtores derivados derechos de un funtor compuesto a traves
de la sucesion espectral de Grothendieck, pues dado un objeto A en la categora abeliana A existe una sucesion espectral de Grothendieck (Teorema 3.5.12)
que converge finitamente al objeto graduado asociado a {Rq (GF ) (A)}, donde
Rq (GF ) (A) es el q-esimo funtor derivado derecho evaluado en A para cada q Z.
5. El lmite de la sucesion espectral de Grothendieck E es un objeto bigraduado
de una categora abeliana y se puede calcular usando funtores derivados de un
funtor compuesto
de dos funtores aditivos, como se mostro en (3.151) se tiene
q
R (GF ) A, si p = q
p,q
1 E =
0, si p 6= q
6. Para un par exacto = {D, E, , , } en una categora abeliana A, siempre
existe una sucesion espectral E = {(En , dn )} asociada en A (Corolario 3.1.14).
7. El concepto de convergencia finita para sucesiones espectrales es la misma que
la convergencia de sucesiones en espacios topologicos, puesto que da informacion
del comportamiento de los terminos de la sucesion correspondientes a n
umeros
naturales suficientemente grandes. Si existe el lmite de la sucesion espectral, este
debe ser un objeto graduado, por lo que el analisis de convergencia finita debe
ser hecho en los terminos de la sucesion espectral (como en el caso de complejos
filtrados) en cada par (p, q) Z Z. (Teorema 3.3.2).
8. Reformulando Teorema 3.5.12 se obtiene otro teorema de sucesion espectral de
Grothendieck cambiando inyectivos por proyectivos y funtores derivados derechos
por funtores derivados izquierdos. La prueba de este resultado se puede hacer
usando argumentos analogos; es decir, con el lema de herradura para resoluciones
proyectivas (parte de Teorema 2.5.10) se podra conseguir un lema que tenga el
papel de Lema 3.5.8, con Proposicion 3.5.3 se garantizara la existencia de la
sucesion espectral, con Proposicion 3.5.1 se podra calcular el termino exhibido
de la sucesion, y para completar con el calculo de la homologa del complejo total
se establecera un resultado analogo a Proposicion 3.5.10.
165
Bibliografa
[1] Cartan - Eilenberg: Homological Algebra
Princeton University Press, New Jersey 1956.
[2] P. Hilton : T
opicos de Algebra
Homol
ogica
Octavo Coloquio Brasileiro de Matematica 1971.