To Polo Gia Algebraic A

1
TOPOLOGA ALGEBRICA
Po r Ro b er t o Ru i z- S
Captulo 1 Categoras y F untores
Captulo 2 Bsicos de lgebra
Captulo 3 Categoras admisibles para homologa
Captulo 4 Suspensin
Captulo 5 Triplas
Captulo 6 Homologa singular
Cambio de coeficientes: Coeficientes Homotpicos
file:///C|/Document/DEPARTO/PAGINASWEB/RRuiz/TopologiaAlgebraica.htm04/11/2006 11:08:20 a.m.
Captulo 1. Categoras y funtores 1
Captulo 1
CATEGOR
IAS Y FUNTORES
Eilemberg, Steenrod, MacLane, Ereshmann, entre otros matematicos, concre-
taron la necesidad de ligar bien los objetos con los cuales trabajaban, si se
quera facilitar el mecanismo de ayudarse de una una disciplina matematica
para solucionar problemas de otra. En aquel entonces se tomaba asistencia
algebraica para responder preguntas en topologa. Las disciplinas se conc-
retaron en el concepto de categoras.
Se puede demostrar que si se coleccionan, todos los conjuntos lo que re-
sulta no es un conjunto. Las colecciones con cardinal mayor o igual que la
coleccion de todos los conjuntos las llamamos clases propias y las que no
son clases peque nas o conjuntos. Las peque nas y las propias seran lla-
madas clases. Si una clase / esta contenida en B y B es peque na, entonces
/ es peque na. Si / es propia B es propia. Si / y B son peque nas, entonces
todas las funciones de / en B forman una clase peque na. Si B es propia,
las funciones de / en B forman una clase propia, excepto cuando / es vaca.
1.1 Ejercicio: Bajo que condiciones la clase de las funciones de / en B
(denotado B
A
) con B peque no y / propia, es propia? Bajo que condiciones
B
iI
con B
i
peque na e I propia, es propia?
1.2 Denicion: Una categora C consta de dos clases: Obj(, llamada de
los objetos de ( y Mor( llamada de los morsmos de ( y una funcion
Hom : Obj( Obj( T(Mor() (T denota a partes) tal que:
Cat 1: Hom(A, B) es peque na
Cat 2: Hom(A, B) Hom(C, D) ,= A = C y B = D
Cat 3: Mor( = Hom(A, B) donde A, B recorren todo Obj(
Cat 4: Para cada tripla A, B, C de objetos de ( existe una funcion Hom(A, B)
Hom(B, C) Hom(A, C) (denotado (, ) ( o )) tal que
a) Si Hom(A, B), Hom(B, C) y r Hom(C, D) entonces
r ( ) = (r )
b) Para cada objeto A, existe Hom(A, A) tal que para cada
composible con , a derecha = y si es componible a la
izquierda =
2
2 Topologa Algebraica
Note que el de Cat 4, b) es unico (demuestrelo). Se denota 1
A
. En adelante
si Hom(A, B) escribiremos : A B y llamaremos a A el dominio de
. Para Hom(A, B) tambien se usa la notacion Hom
C
(A, B) o solo ((A, B).
1.3 Proposicion: si ( es una categora entonces tambien lo es (
o
(( a
la o) dada as Obj(
o
= Obj( y Hom(
o
(A, B) = Hom((B, A). La com-
posicion esta dada por (, ) , donde o es el compuesto de
(, Hom(
o
(A, B) y Hom(
o
(B, C)
2
Dualidad
En adelante si un concepto esta presente en una categora, digamos p,
el mismo concepto en la categora opuesta se denota Cop. Por tanto si
: A B en ( entonces B es el codominio de . Denotaremos dom, cod
el dominio y codominio de respectivamente. Por tanto : dom cod.
Note que Cop se llama el concepto dual de p. A toda armacion sobre una
categora le corresponde una sobre su opuesta que se llama la armacion
dual. Una armacion y su dual son logicamente equivalentes.
Para ilustrar un objeto S de una categora se llama una suma de A y B si
i) existen : A S y : A S en Mor( y ii) si existen
1
: A T y
1
: B T en Mor( entonces existe un unico H : S T en Mor( tal que
los siguientes diagramas conmutan
S
H
T S
H
T

1

1
A B
Si el dual de suma (cosuma) se conoce como producto entonces un
producto de A y B es un objeto P de ( tal que: i) existen : P A
y : P B en Mor( y ii) si existen
1
: T A y
1
: T B en
Mor(, entonces existe un unico H : T P tal que los siguientes diagramas
conmutan
T
H
P T
H
P

1

1
A B
Isomorfa
1.4 Denicion: si = 1
dom
(denotado = 1) entonces se dice
una seccion y una retraccion. De hecho se dice una retraccion com-
pa nera de y una seccion compa nera de la retraccion
2
Una vez que esta dotada de la propiedad de seccion entonces las posibili-
dades de secciones compa neras de se restringen totalmente:
1.5 Proposicion: Si = 1 y = 1 entonces = .
Demostracion: note que = 1
dom
y = 1
dom
y entonces
dom = cod, cod = dom, cod = cod. Por tanto dom = dom y
cod = cod. Ahora = 1 (o) = 1 por tanto ( ) = .
As pues 1 = o sea =
2
1.6 Denicion: En una categora (,
a) Si es una seccion-retraccion, entonces se dice un isomorsmo.
b) Si es un isomorsmo al unico isomorsmo compa nero se le denota
1
y se llama el isomorsmo inverso de .
c) Si A, B son objetos de ( y existe : A B un isomorsmo, entonces
se dice que A es isomorfo a B y se denota A
= B o : A
= B.
d) La relacion

= de c) se llama la relacion de isomorfa de (.
Las categoras con las cuales trataremos son:
Conj: Los objetos son los conjuntos, los morsmos son las funciones y la
composicion es la composicion corriente de funciones.
Ab: Los objetos son los grupos abelianos, los morsmos son los homomor-
smos y la composicion es la composicion de funciones.
Top: Los objetos son los espacios topologicos los morsmos son las funciones
continuas y la composicion es la composicion de funciones.
Cad: Los objetos son sucesiones f
n
: A
n
A
n1
de homomorsmos de
grupos abelianos tales que f
n
f
n+1
= 0. Si a una cadena se le da el nom-
bre generico A entonces la notacion es
A
n
: A
n
A
n1
o simplemente
: A
n
A
n1
. Si A y B son cadenas un morsmo : A B es una
sucecion
n
: A
n
B
n
tal que
n
A
n+1
= B
n+1

n+1
o como se dice
normalmente, el siguiente diagrama conmuta
A
n+1
A
n+1
A
n
n+1

n
B
n+1
B
n+1
B
n
La notacion C

D que hemos usado es equivalente a : C D. En
cambio de Cad tambien usaremos (h (por chains en ingles).
Mor( : Dada una categora ( sus morsmos mismos forman una categora
as: si : A B y : C D son morsmos entonces f : es un
par de morsmos f
d
: A C y f
cd
: B D tales que el siguiente diagrama
conmuta
A

B
f
d
f
cd
C

D
Es decir f
cd
= f
d
. Se toma como composicion f g = (f
d
, f
cd
)
(g
d
, g
cd
) = (f
d
g
d
, f
cd
g
cd
).
1.7 Ejercicio:
1. Muestre que Conj, Ab, Top, Cad, Mor( son categoras.
2. Explique formalmente que es:
a) Una cooperacion sobre un conjunto.
b) Una cocadena de grupos abelianos.
Funtores
Naturalmente uno puede esperar que las categoras mismas puedan ser con-
sideradas como objetos de una categora. Si tal fuera el caso cuales seran
los morsmos? Se llaman funtores (functors en ingles).
1.8 Denicion:
i) Sean ( y T categoras. Un funtor covariante F : ( T es una bifun-
cion Obj( ObjT, Mor( MorT tal que
F1) Si : A B esta en (, entonces F() : F(A) F(B).
F2) Para , componibles en (, F( ) = F() F().
F3) Para cada objeto A de (, F(1
A
) = 1
F(A)
.
ii) Un funtor contrariante es una bifuncion F : ( T, como antes, pero
tal que
Fc1) Si : A B esta en C, entonces F() : F(B) F(A).
Fc2) Para , componibles en (, F( ) = F() F().
Fc3) F(1
A
) = 1
F(A) 2
Cuando se hable simplemente de funtor se entendera funtor covariante.
Las funciones Obj( ObjT y Mor( MorT que constituyen el funtor F
se llaman las funciones subyacentes de F.
1.9 Proposicion: si F : ( T y G : T c son funtores entonces:
i) La composicion de las funciones subyacentes determinan un nuevo fun-
tor ( c.
ii) Si se denota G o F al funtor de i) entonces:
a) Si F, G tienen la misma varianza, G F es covariante.
b) Si F, G tienen diferente varianza, G F es contravariante
2
Hay naturalmente funtores cuya existencia es obvia, por ejemplo 1
C
: ( (.
As mismo si D es un objeto de T entonces existe (
d
T el funtor constante
y de valor d, (
d
T y nalmente (
op
(
o
. Determnelos con precision y
aseg urese de que son funtores.
Los ejemplos mas simples de funtores son aquellos que olvidan estructura.
Por ejmplo, cada grupo es un semigrupo y esto determina un funtor de la
categora de los grupos en la de los semigrupos. As mismo un grupo es
un conjunto con una operacion y unas propiedades. Se puede sistematica-
mente tomar el conjunto con la operacion unicamente (es decir olvidar las
propiedades), o bien olvidar todo, exepto el conjunto.
1.10 Ejercicio:
1) Construya 5 funtores de olvido con dominio la categora de los espacios
topologicos
2) Construya un funtor no trivial Conj Top
3) Sea A un espacio topologico. Para cada conjunto X seleccione una
funcion f
X
: X A. Determine si existe un funtor F : Conj Top
tal que F(X) = (X, T
X
) deja continua a f
x
. Si existe decida si puede
escogerlo optimo en el mismo sentido de las topologas iniciales y
nales
2
No es extra no que se consideren los funtores como objetos y se trate de
completar con ellos una categora. Habiendo sido considerados como mor-
smos ya hay una manera de hacerlo usando la estructura del tipo Mor/.
Sin embargo, al menos en topologa algebraica, los mas utiles son los mas
simples en el sentido de que tanto el dominio como el codominio del funtor se
mantienen constantes. Esto tiene importancia porque juega el mismo papel
estructural que la existencia del conjunto A
B
.
Transformaciones Naturales
Por lo general cuando se hable de algo natural se piensa de ello como
que as debera ser. En matematicas tiene otro sentido: es algo as como
mantener las relaciones sociales.
1.11 Denicion:
1) Sean F, G : / B funtores covariantes. Una transformacion natural
: F G es una familia
A
: F(A) G(A), con A obj/ tal que
si : A
1
A
2
es un morsmo de /, entonces el siguiente diagrama
conmuta
F(A
1
)

A
1
G(A
1
)
F() G()
F(A
2
)

A
2
G(A
2
)
es decir que G()
A
1
=
A
2
F()
2) Si cada
A
es un isomorsmo entonces se llama un isomorsmo
natural
3) Un funtor F : / B se dice una equivalencia de categoras si existe
G : B / e isomorsmos naturales F G 1
B
y G F 1
A
. Se
denota /

= B
2
Note que
1.12 Proposicion: La relacion
= entre categoras es una relacion de equiva-

lencia. Demostracion: Ejercicio obligatorio que debe entregarse por escrito.
Trabajo personal
2
1.13 Proposicion: Para dos categoras / y B cualesquiera se tiene una
categora si se toman como objetos los funtores covariantes F : / B,
como morsmos F G las transformaciones naturales y como composicion
de : F G y : G H o ( )
A
=
A

A
Demostracion: Ejercicio
2
Note la categora de 1.13 se denota B
A
o bien /B
Damos ahora ejemplos variados de los conceptos precedentes que nos per-
mitiran familiarizarnos con los casos particulares que se usan en Topologa
Algebraica.
Los n umeros naturales tienen un orden y esto hace que tenga una estruc-
tura de categora

N:
Obj
N = N y Hom(n, m) =
si n > m
(n, m) si n m
Dicho formalmente MorN = . As pues un funtor F :

N / esta consti-
tuido por una sucesion A
nN
de objetos de A y para n m un morsmo
n,m
: A
n
A
m
de modo que el diagrama siguiente conmuta
A
n
n,m
A
m
n,r

m,r
A
r
Se acostumbra a denotar este funtor por
A
0
A
1
... A
n
n,n+1
A
n+1
....
y mas aun no hay posibilidad de error si se escribe
n
en cambio de
n,n+1
y se tiene algo del tipo
A
0
A
1
... A
n
n
A
n+1
....
Naturalmente
n+1

n
=
n,n+2
.
Suponga que / y B son categoras. Denotamos / B si Obj/ ObjB,
Hom
A
(A
1
, A
2
) Hom
B
(A
1
, A
2
) para todo par de objetos A
1
, A
2
de / y si
y son morsmos componibles de / entonces en / = en B.
Entonces Cad es la subcatefora de

N
o
Ab con objetos ...A
n+1
n+1
A
n

... A
0
tales que
n

n+1
= 0 y todas las transformaciones naturales
entre ellos que en este caso son del tipo : A B. Por ser transformaciones
naturales deben cumplir que el siguiente diagrama conmuta
A
n+1
n+1
B
n+1
n+1

n+1
A
n
n
B
n
Considere ahora la categora Top. Sea I = [0, 1] si X es un espacio en-
tonces XI, se llama el cilndro de X. El cilndro constituye un funtor
covariante
C : Top Top
Dado por C(X) = X I y si f : X Y es continua entonces C(f) :
XI Y I es la funcion f 1
I
. Por otro lado c
0
X
: X XI, dada por
c
0
X
(x) = (x, 0), es una transformacion natural c
0
: 1
Top
C. Igualmente lo
es c
1
: 1
Top
C dada por c
1
X
: X X I, c
1
X
(x) = (x, 1).
Finalmente la proyeccion
1
: X I X, (x, t) x constituye una trans-
formacion natural denotada s : C 1
Top
.
Las transformaciones s, c
0
, c
1
cumplen ademas que tanto sc
0
como sc
1
,
son la transformacion natural identica 1
Top
1
Top
.
En terminologa geometrica el cilndro de X es el diagrama conmutativo
(red)
X
c
0

1
X I
s
X
c
1

1
X
Note como ah se muestran las transformaciones naturales. La tripla =
(C, c
0
, c
1
, s) se conoces como el sistema homotopico corriente de los es-
pacios topologicos.
1.14 Ejercicio: reconstruya el sistema homotopico corriente de los espacios
topologicos. Para eso, en la informacion que se le dio, usted debe distinguir
explcitamente deniciones de proposiciones (teoremas) y demostrar estas
ultimas. As mismo debe agregar ejemplos que ayuden a claricar conceptos
y clasicar los smbolos que all aparecen.
Sistemas Homotopicos
1.15 Denicion:
1. Sea / una categora. Un sistema homotopico sobre / (a izquierda) es
una cuadrupla = (C, d
0
, d
1
, s) en donde C : / / es un funtor
covariante d
i
: 1
A
C y s : C 1
A
son transformaciones naturales
tales que s d
i
es la transformacion natural indentica de 1
A
.
2. En = (C, d
0
, d
1
, s) C se llama el cilndro de y d
0
, d
1
las tapas
inferior y superior del cilndro
2
Gracamente el cilndro de un objeto A de / esta dado as:
y d
0
A
es pues la inclusion de A en el cilndro en la parte inferior y d
1
A
en la
parte superior. En esta forma se indica que hay un paso de una cara (que es
A esencialmente) en la otra sin da nar las caractersticas geometricas (topos).
Note ademas que si A es un objeto de /, entonces hay un diagrama conmu-
tativo asociado a A a saber
A
d
0
A

1
A
C(A)
s
A
A
d
1
A

1
A
A
y si : A B es un morsmo de / entonces el siguiente diagrama (la red
de por ) conmuta
A B
C(A) C(B)
A B
A B
-
1
d
0
A
d
0
B
C()
s
A
>
>
>
>
>
>
>.
s
B
1
`
d
1
A
1
`
d
1
B
Diagrama del cual se destacan dos partes
A B
C(A) C(B)
A B
d
0
A
d
0
B
C()
`
d
1
A
`
d
1
B
y
C(A) C(B)
A B
C()
s
A
s
B

Homotopa
1.16 Denicion:
1. Sean f, g : A B morsmos de /. Se dice que f es homotopo a
g por si existe un morsmo h : C(A) B tal que el siguiente
diagrama conmuta
A
C(A)
B
A
d
0
A
h
`
d
1
A
g
2. El morsmo h de la parte 1. se llama una homotopa de f en g.
3. f homotopo a g por se denota f

g y h es una homotoa de f
en g por se denota h : f

g
2
Las propiedades basicas de

son
1.17 Proposicion: en todo sistema homotopico se tiene:
1. s
A
: 1
A
1
A
2. 1
C(A)
: d
0
A
d
1
A
3.

es compatible con la composicion: si f, g : A B, h : B C, k :
D A son morsmos de /, entonces
f

g h f

h g f k
h
g k
4.

es una relacion reexiva sobre Mor/
5. Si A es un objeto de /, entonces:
d
1
A
d
0
A
(B Obj/, f, g : A B, f

g g

f)
6. Si f
1
g
1
y f
2
g
2
f
1
f
2
g
1
g
2
Demostracion: de 1) a 4) quedan como ejercicio. Note, para 5), que la parte
derecha de la equivalencia dice simplemente que

es reexiva. As que la
implicacion = es obvia puesto que como d
0
A
d
1
A
si

es reexiva entonces
d
1
A
d
0
A
. En cuanto a la parte =: supongamos que d
1
A
d
0
A
y suponga que
f

g. Por lo primero existe : d
A
1
d
A
0
. Por lo segundo existe : f

g.
Entonces : g

f. En cuanto a 6) recuerde que si f : A B y
g : A C entonces existe un unico H : A B C que deja conmutativos
A B C
B
1
A B C
C
2
Este morsmo H se denota (f, g). Ahora, si f : A B y g : E D entonces
se tienen dos morsmos especiales
AE

1
A
f
B
AE

2
E
g
D
Entonces existe un unico morsmo H : AE BD que deja conmutativos
los diagramas
AE B D
A B
f
AE B D
E D
g
Tal H se denota f g pero esto no es simple notacion puesto que en realidad
tal morsmo es producto de f con g en la categora Mor(.
Note ahora que A E

1
A y A E

2
C inducen C(
1
) : C(A E)
C(A) y (
2
) : C(AE) C(E) y el morsmo
C(AE)
(C(
1
),C(
2
))
C(A) C(E)
Note as mismo que se tienen dos morsmos
d
0
A
d
0
E
: AE C(A) C(E)
d
1
A
d
1
E
: AE C(A) C(E)
Estos dos morsmos son -homotopos. En efecto note que
AE A
C(AE) C(A)
d
0
AE
d
0
A
C(
1
)
conmuta por ser d
0
una transformacion natural. Igual para
AE E
C(AE) C(E)
d
0
AE
d
0
E
C(
2
)
Entonces tambien conmuta
AE AE
C(AE) C(A) C(E)
(
1
,
2
)
d
0
AE
d
0
A
d
0
E
(C(
1
),C(
2
))
pero (
1
,
2
) es la identidad luego el diagrama es
AE
d
0
AE
d
0
A
d
0
E
C(AE)

(C(
1
),C(
2
))
C(A) C(E)
Igual si se trabaja con d
1
A
y d
1
E
. As pues el siguiente diagrama conmuta
AE
C(AE) C(A) C(E)
AE
d
0
AE
d
0
A
d
0
E
(C(
1
),C(
2
))
`
d
1
AE
>
>
>
>
>
>
d
1
A
d
1
E
Esto muestra que d
0
A
d
0
E
d
1
A
d
1
E
. Ahora si se tiene (hipotesis)
A
C(A)
B
A
d
0
A
f
1
h
1
`
d
1
A
g
1
E
C(E)
D
E
d
0
E
f
2
h
2
`
d
1
C
g
2
entonces tambien conmuta
AC
C(AC) C(A) C(C) B D
AC
>
>
>
>
>
>.
d
0
AC
d
0
A
d
0
C
f
1
f
2
h
1
h
2
d
1
AC
`
d
1
A
d
1
C
>
>
>
>
>
>
g
1
g
2
donde = (C(
1
), C(
2
)),con lo cual
(h
1
h
2
) (C(
1
), C(
2
)) : (f
1
f
2
)

(g
1
g
2
)
2
Es claro que

no necesariamente es una relacion de equivalencia en
Hom(A, B) pero, como hemos visto

es reexiva y compatible con la op-
eracion composicion en Mor/. Pero se desea trabajar con relaciones que
son directamente de equivalencia sin tener que usar la relacion de equivalen-
cia generada. As que en este curso supondremos que

es una relacion de
equivalencia en Hom(A, B), para todo A y B en /. Para el caso que mas
nos interesa todo funciona bien:
1.18 Proposicion: = (C, c
0
, c
1
, s) el sistema corriente de los espacios
topologicos es un sitema homotopico en el sentido de 1.15 y su homotopa
es una relacion de equivalencia en Hom(A, B), para todo A, B espacios
topologicos
2
Supongamos ahora = (c, d
0
, d
1
, s) en / con

de equivalencia.
1.19 Denicion: Sea f : A B en /
1. Decimos que es una seccion homotopicao salvo homotopa, si
existe g : B A tal que g f

1
A
. El morsmo g se dice un retracto
homotopico compa nero de f.
2. Si f es una seccion-retraccion homotopica entonces se dice que es una
equivalencia de homotopa (va ) o una -equivalencia de homotopa
y que su dominio es () homotopicamente equivalente a su codominio.
Se denota

2
1.20 Proposicion: si = (c, d
0
, d
1
, s) es un sistema homotopico en / con
de equivalencia, entonces

es una relacion de equivalencia en Obj/
2
Objeto inicial, nal
1.21 Denicion: Sea / una categora. Un objeto A se dice ser nal si
Hom(X, A) tiene un unico elemento, para todo objeto X de /. El dual de
nal es inicial
2
En los espacios topologicos los unicos conjuntos que tienen una sola topologa
son (vaco) y x donde x es un elemento cualquiera. As que tiene todo
el sentido hablar del espacio y del espacio x. Ademas internamente
en Top o categoricamente se tiene
1.22 Proposicion:
i) Si / tiene objeto nal, entonces es unico, salvo isomorsmo.
ii) Sea A
= B. Entonces A es nal si y solo si B lo es

2
Por dualidad la misma armacion es cierta para objeto inicial.
1.23 Notacion:
i) El objeto inicial (salvo isomorsmo) se denotara
ii) El objeto nal se denotara
iii) El unico morsmo A se denotara
A
(0
)
iv) El unico morsmo A se denotara
A
(0
)
v) Si existe un morsmo a : A se dice que a es un punto de A
vi) Si a es un punto de A, entonces el morsmo A
a
A se llama
el morsmo constante y de valor a
1.24 Ejercicio
i) Muestre que
A
: A
(1
A
,
A
)
A es un isomorsmo natural en cualquier
categora con objeto nal
ii) De la armacion dual de la parte i)
iii) Muestre que si /tiene objeto nal, entonces la aplicacion A Hom
A
(, A)
determina un funtor covariante / Conj llamado el funtor conjunto
subyacente
iv) Muestre que si en /

= entonces el funtor conjunto subyacente es
trivial. Por esta razon en homotopa se hace una diferencia entre el
caso y
= (caso en el cual la categora se dice punteada)

v) Que es A? Que transformacion natural induce?
vi) La misma pregunta que en v) para A+
vii) La misma pregunta que en v) para A+
1.25 Denicion: Si es un sistema homotopico en /, con objeto nal,
entonces un objeto A de / se dice -homotopicamente nulo si A

= .
Por ejemplo en el caso de Top si B es un espacio convexo en R
n
, dadas
funciones continuas f, g : A B cualesquiera la funcion H : A I B
dada por H(a, t) = tf(a) + (1 t)g(a) es una funcion continua. As pues
H : f

g. Si b es un punto de B, entonces B
= b porque la funcion B b
es una equivalencia de homotopa con inversa homotopica b
b
B, b b.
Claramente b
b
B b es la identidad y por lo dicho B b
b
B es
homotopica con 1
B
: B B.
Ahora tome el disco D
1
=

X R
2
/ |X| 1
es decir la bola cerrada de

radio 1 alrededor de 0. D
1
es convexo y por tanto es homotopicamente trivial.
Ahora bien S
1
= X/ |X| = 1 es un subespacio de D
1
. Se vera, como una
aplicacion del calculo de grupos de homologa que S
1
no es homotopicamente
trivial. Esto muestra que ser homotopicamente trivial no es una propiedad
hereditaria. Sin embargo, podemos mostrar en donde esta la falla que no
permite que S
1
se deforme a un punto. Si pensamos en D
1
y tomamos su
centro entonces de [0, 2] D
1
esta f(t) = e
ti
que envia a [0, 2] enrrollado
en una vuelta alrededor de S
1
. Por otro lado (0, 0) = 0 D
1
. Se puede
deformar S
1
en 0 sin dejar D
1
simplemente cambiando continuamente
el radio del crculo alrededor de 0 desde 1 hasta 0. Es decir, usando la
homotopa H : [0, 2] I D
1
, (t, s) se
ti
. Claramente H es continua
y ademas H(t, 0) = 0, H(t, 1) = e
ti
que es la deformacion de S
1
en 0 en
D
1
, cubriendo D
1
. Es decir que ImH = D
1
. En cambio si tenemos S
1
como
espacio el mismo S
1
no puede permitir este tipo de deformacion a uno de
sus puntos porque esencialmente ello representara hacer S
1
cada vez mas
peque no hasta llegar a tener radio 0 sin salirse de S
1
. Esto es lo que no
puede ser.
Categora Homotopica
Considere una categora / y = (C, d
0
, d
1
, s) un sistema homotopico en /
con

una relacion de equivalencia. Denotemos [A, B]
o simplemente [A, B]
cuando esta bien entendido a Hom
A
(A, B)/

.
1.26 Proposicion: Si se toman como objetos los objetos de /, como mors-
mos de A en B a [A, B] y si [f] [A, B] y [g] [B, C] se toma [g][f] = [g f]
entonces se tiene una categora
2
1.27 Denicion: La categora de 1.26 se llama la categora homotopica
de (/, ) o de / cuando es subentendida y se denota H(/, ) o H(/)
2
Naturalmente existe un funtor : / H(/) tomando A A y f [f].
Tambien es claro que los isomorsmos de H(/) son las equivalencias de ho-
motopa de / y por tanto tambien se tiene que los objetos nales de H(A)
son los objetos homotopicamente nulos de /.
El funtor no es el unico funtor que interesa. Si A es un objeto jo de /
entonces
1.28 Proposicion: La asignacion que a un objeto X de / le asigna [A, X]
y a f : X Y le asigna la funcion [A, X] [A, Y ] , [] [f ] es un
funtor covariante / Conj
2
1.29 Denicion:
1) El funtor de 1.28 se denota
A
: / Conj o
A
si debe aparecer
explcitamente.
2) El objeto de / suele denotarse como 0 y a
: / Conj o
0
: / Conj se llama el funtor de arco conexidad por .
A continuacion damos una idea de la construccion de objetos A que pro-
ducen una estructura de grupo en [A, B]. Recuerde que una operacion, que
denotare +, en A, es un morsmo + : A A A. Esta es asociativa si el
siguiente diagrama conmuta
(AA) A A(AA)
AA AA
A
+ 1
A
A
s
1
A
+
+
(1
30)
en donde A
s
= (
1

1
, (
2

1
,
1
))
Si
e
A es un punto de A, entonces, + tiene modulo e si el siguiente dia-
grama conmuta
A AA
AA A
(e,1
A
)
1
A
(e,1
A
)
+
(1
31)
en donde por abuso se denota e a A
e
A. La operacion + es in-
vertible, con modulo e si existe un morsmo : A A tal que el siguiente
diagrama conmuta
A AA
AA A
(,1
A
)
(1
A
,)
+
(1
32)
Si se tienen los 3, entonces (A, +, e, ) es un grupo de la categora / en
donde se trabaja.
Naturalmente un cogrupo sera, en res umen
1. + : A A+A
2.
(AA) A A(AA)
AA AA
A
A
s
`
+ 1
A
`
1
A
+
+
(1
33)
3.
A A+A
A+A A
[e,1
A
]
`
[e,1
A
]

1
A
`
+ (1
34)
4.
A A+A
A+A A
[1
A
,]
`
[,1
A
]

e
`
+ (1
35)
1.30 Denicion: Sea / una categora con un sistema homotopico =
(c, d
0
, d
1
, o) y A un objeto de /. Se dice que A es un -grupo (o un grupo
salvo , o salvo -homotopa) si 1.30, 1.31, 1.32 conmutan salvo -homotopa.
A es un -cogrupo si (1.33), (1.34), (1.35) conmutan salvo -homotopa
2
Aqu se esta usando la manera coloquial asi: dadas f, g : A B se dice que
f es igual a g salvo

si f

g. As pues, por ejemplo, el diagrama
A B
D
g
conmuta salvo -homotopa (o salvo

) si gf

h. En tal caso denotaremos
aqu
h
A B
D
g
1.31 Proposicion:
1. Sea un funtor / / que preserva sumas y objeto inicial. Si A es
un cogrupo entonces tambien lo es A
2. Si B es un cogrupo, entonces,
Hom(B, X) : / Gr
es un funtor covariante (note el codominio).
3. Si B es un -cogrupo, entonces
[B, X] : / Gr
es un funtor covariante (note el codominio)
4. Para como en 1 y B un -cogrupo
[
n
B, X] : / Gr
es un funtor covariante.
Demostracion: Si A es un cogrupo entonces, bajo las hipotesis de que F sea
covariante y preserve sumas y objeto inicial se tiene que, salvo isomorsmo,
como F(A+B) F(A) +F(B) entonces A
+
A+A tiene imagen
F(A)
F(+)
F(A+A)

= F(A) +F(A)
que es una cooperacion en F(A). La imagen de A
e
A tiene imagen
F(A)
F(e)
F(A) y 1.35 aparece como
F(A) F(A) +F(A)
F(A) +F(A) F(A)
[1
F(A)
,F()]
`
[F(),1
F(A)
]
F(+)
`
`
`
`
`
`
F(e)
`
F(+)
Los demas diagramas son transmitidos por F en los correspondientes que
hacen de (F(A), F(+), F(e), F()) un cogrupo. Como el funtor Hom( , X)
es contravariante si B es un cogrupo Hom(B, X) es un grupo en Conj, es
decir un grupo corriente.
Los detalles de 1.31 se dejan como ejercicio
2
Note que F no tiene que ser restringido a ser un funtor / /, bien poda
ser F : / B. Si F : / B es contravariante entonces /
F
B
op
B
0
es
un funtor covariante opF() = F() =
opF(A + B)

= A + B F(A + B)

= F(A) F(B) y por tanto si F es
contravariante, F(A + B)

= F(A) F(B) y F() = entonces si A es un
cogrupo entonces F(A) es un grupo.
1.32 Denicion: Si / es una categora con un sistema homotopico , en-
tonces para un objeto cualesquiera B, [B, X] : / Conj se denota
B
,
o bien
0
B
. En tal caso si F : / / es covariante se denota
n
B
al funtor
[
n
B, X]
2
1.33 Ejemplo: Un espacio punteado es una pareja (X, x) en donde x X,
y X es un espacio topologico. Un morsmo f : (X, x) (Y, y) es una fun-
cion continua f : X Y tal que f(x) = y. La composicion es la corriente
de funciones y todo esto determina una categora denotada Top
. En Top
x , x es tanto objeto nal como inicial y algunos autores lo denotan 0.

Para ilustrar el caso de los funtores [B, X] de manera autocontenida en
Top
, ajustamos la homotopa. Queda como tema para trabajo de grado

(INV) dar el sistema homotopico de Top
y completar el bosquejo que se

hace a continuacion, hasta el nal del captulo.
Note que una homotopa H de f en g (f, g : A B) es una familia continua
en t, H
t
: A B tal que H
0
= f y H
1
= g. En Top
se toma usualmente
para f, g : (A, a) (B, b) que una homotopa H de f en g es una familia
continua H
t
: (A, a) (B, b) tal que H
0
= f y H
1
= g.
La parte interesante de esta denicion es que muestra que papel juegan a
y b: deben preservarse, es decir, que H
t
es un morsmo de Top
. Pero por
supuesto no sabemos que signica que una familia es continua. La familia
H
tI
determina una funcion H : AI B tomando H(x, t) = H
t
(x). Se
tiene que H
t
(a) = b, t. As pues H(a, t) = b, t I o bien H(a I) = b o
si lo desea H(C(a)) = b H[
C(a)
= b.
1.34 Denicion: Sean f, g : (A, a) (B, b) morsmos de Top
. Decimos
que f g (f homotopa a g) (en Top
) si existe H : f g en Top tal que

H[
aI
es la funcion constante y de valor b
2
Naturalmente en Top
la relacion de homotopa es una relacion de equivalen-

cia y se tiene, tambien como antes, HTop
, la categora homotopica de Top
.
En esta categora mostraremos cogrupos y siguiendo 1.31 mostraremos fun-
tores tipo [B, X], y .
1.35 Proposicion: si para (X, x) en Top
se toma
1. x = X 0 X 1 (x I)
2. (X, x) = (X/
x
, x)
3. Para f : (X, x) (Y, y), f : (X, x) (Y, y), [u] [f(u)] para
todo u X
entonces
a) : Top
Top
es un funtor covariante
b) (0)

= 0
c) ((X, x) + (Y, y))

= (X, x) + (Y, y)
Demostracion:
Ejercicio. (Recuerde que en Top
(X, x) + (Y, y) =

X +Y/
{x,y}
, x, y
en donde X + Y denota la suma categorica en Top: X 1 Y 2

con topologa de la forma A B con A abierto en X 1 y B abierto y
Y 2. Si se tiene X Y = entonces X + Y = X Y con la topologa
A B/ A abierto en X, B abierto en Y
2
Recuerde ademas que en Top
S
n
=

X R
n+1
/ |X| = 1
, (1, 0, ..., 0)
Gracamente se ve que S
0
= S
1
, S
1
= S
2
.
1.36 Proposicion:
1. Para todo n, S
n
= S
n+1
2. S
1
es un cogrupo homotopico
3. S
2
es un cogrupo homotopico abeliano
4. S
n
(n 2) es un cogrupo homotopico abeliano
Demostracion:
Si S
1
es cogrupo entonces tambien lo es S
n
, para todo n. Si S
2
es abeliano
tambien lo es S
n
para n 2. En cuanto que hay una cooperacion en S
1
,
note que al menos se tiene S
1
/ (1, 0), (1, 0). Tome ahora (S
1
, (1, 0))

S
1
/
{(1,0),(1,0)}
, [(1, 0)]. Seg un nuestra notacion es una funcion continua S
1
S
1
+S
1
, es decir una cooperacion (en Top
) de S
1
.
Queda como trabajo completar detalles y hacer 1) y 2)
2
.
1.37 Denicion: [S
n
, ] se llama el n-esimo funtor objeto de homotopa
y se llama grupo de homotopa para n 1
2
Problemas Suplementarios
1. Considere la pareja de funtores /
R
B
S
/ covariantes. (R, S) se
dice un par adjunto si existe un isomorsmo natural
(A,B)
: Hom
B
(R(A), B) Hom
A
(A, S(B))
a) Identique los funtores entre los cuales se esta estableciendo el isomor-
smo natural
b) Si (R, S) es un par adjunto demuestre que R()

= y S()

=
c) Si (R, S) es un par adjunto demuestre R(A + B)

= R(A) + R(b) y
S(AB)

= S(A) S(B)
d) Muestre que A : Conj Conj y ( )
A
: Conj Conj son funtores
adjuntos para cada conjunto A.
e) Muestre que A : Ab Ab y ( )
A
: Ab Ab son fun-
tores adjuntos. Aqu si B es un grupo abeliano B
A
=
f : A B/ f es un homomorfismo con (f +g)(a) = f(a) +g(a).
f) : Top
Top
tiene como adjunto un funtor conocido como el es-

pacio de lazos . Muestre que entonces (
n
,
n
) es un par adjunto
y que
n
(X, x)

=
n1
((X, x)). Ay udese de que y son fun-
tores adjuntos para demostrar que (X, x) es un grupo homotopico
(Sugerencia: analice [S
0
, (X, x)]).
Captulo 2. Basicos de

Algebra 25
Captulo 2
B
ASICOS DE

ALGEBRA
En lo que sigue trabajamos en la categora Ab de los grupos abelianos. Re-
cuerde que aqu los grupos con un solo elemento son objetos iniciales y nales
y se denotan 0 (cero).
Una pareja componible de morsmos A
f
B
g
C se dice semiexacta
(o semiexacta en B) si g f = 0. Por supuesto esto sucede si y solo si
Imf kerg. En tal caso el grupo kerg|
Imf
se llama el grupo derivado
de (f, g). Si la pareja tiene nombre digamos T entonces el grupo deriva-
do se denota H(T). Se tiene entonces que H(T) = 0 Imf = kerg
caso en el cual T se dice exacta o exacta en B. En una composicion
A
1
f
1
A
2
f
2
A
3
...
f
n
A
n
, que sera llamada una sucesion de homomor-
smos en Ab; A
2
, ..., A
n
se llaman los grupos intermedios y A
1
y A
n
los ex-
tremos. Por supuesto si la sucesion se extiende hasta innito en alguno de los
lados all no existe extremo. Nosotros daremos por sabidos las propiedades de
las sucesiones exactas pero las mencionaremos en las sucesiones semiexactas.
Cuando no queremos la idea de numeracion (que mas adelante tendra inu-
encia en lo que hacemos) la denotamos: ... A
f
B
g
C o algo por el
estilo.
2.1 Denicion:
1. Si en una sucesion de grupos abelianos y homomorsmos cada una de
las composiciones es semiexacta, la sucesion misma se dice semiexacta.
2. Los grupos derivados de las composiciones de una sucesion semiexacta
se llaman los grupos derivados de la sucesion.
3. Una sucesion A
n
f
n
A
n1
... A
0
se llamara una cadena de
grupos abelianos cuando es semiexacta. Si es del estilo A
0
...
A
n
f
n
A
n+1
... es entonces una cocadena. Naturalmente toda
sucesion exacta es semiexacta y una sucesion semiexacta A es exacta
si y solo si todos los grupos derivados de A son 0.
En adelante usaremos nombre generico A para las cadenas (o cocade-
nas) caso en el cual:
2.2 Denicion:
1. Los grupos de la cadena se denotan A
n
, n N.
2. El morsmo A
n
A
n1
se denotara
n
. Cuando se requiere mas
exactitud (que se indique que se habla de A) se denotara
A
n
. Cuando
esto no importa y tampoco la posicion se denota ; A
n
A
n1
.
3. Los elementos de A
n
se llaman las n-cadenas de A.
4. : A
n
A
n1
se llama el operador (morsmo) frontera (o n-
frontera).
5. ker
n
se denota Z
n
(A) y sus elementos se llaman los n-ciclos de A.
6. Im
n+1
se denota B
n
(A) y sus elementos se llaman n-fronteras de
A.
7. El grupo derivado en A
n
se llama el n-esimo grupo de homologa de
A y se denota H
n
(A)
8. Si el grupo derivado en A
n
es nitamente generado, entonces A se dice
de tipo nito.
9. Si A es de tipo nito, y la descomposicion de H
n
(A) es Z
r
Z
q
n
1

Z
q
n
2
2
... Z
q
n
m
m
con los q
i
primos q
i
q
i+1
y si q
i
= q
i+1
, n
i
n
i
+1
entonces r se llama el n-esimo n umero de Betti de A y se denota
n
(A) y (q
n
1
1
, ..., q
m
n
) se llama la torsion n-esima de A y se denota por
t
n
(A)
10. A se dice nita si existe N N tal que m > N A
n
= 0
2
Recuerde que el rango de un grupo nitamente generado se denota r(G)
y su torsion numerica se denota t(G) ademas G

= H (r(G) = r(H) y
t(G) = t(H)).
2.3 Proposicion: (Teorema de Euler-Poincare), si A es una cadena nita
y de tipo nito se tiene que :
n
i=1
n
(A) =
n
(1)
n
r(A
n
)
Demostracion:
n
(A) = r(
Z
n
(A)
B
n
(A)
) = r(Z
n
(A)) r(B
n
(A)). Ahora bien
A
n+1
A
n
y por PTH de grupos (A
n+1
/ker

= Im) A
n+1
/Z
n+1
(A)
=
B
n+1
luego r(A
n+1
) r(Z
n+1
(A)) = r(B
n
(A)), reemplazando este ultimo se

Algebra 27
tiene la igualdad pedida
2
Note:
n
(1)
n
n
(A) se llama la caracteristica de Euler-Poincare de una
cadena nita y de tipo nito, A.
Recuerde que si A y B son cadenas, entonces un morsmo f : A B es
una sucesion f
n
: A
n
B
n
tal que:
A
n+1
A
n
B
n+1
B
n
c
f
n+1
E
c
f
n
E
commuta. Es decir que f

n
= f
n+1
2.4 Proposicion: Las cadenas junto con morsmos de cadenas forman una
categora
2
La categora de 2.4 se denotara por Ch (Chains en ingles).
Recuerde que si C es una categora punteada entonces para un morsmo
f : A B existe un kernel de f es decir un morsmo K
k
A tal que
f k = 0 y si K
1
k
1
A es tal que f k
1
= 0, entonces existe un unico mors-
mo h : K
1
K tal que kh = k
1
. Nosotros denotaremos por K(f) al kernel
de f y 0 = 0
f
al morsmo K(f) A y llamaremos ker(f) = (K(f), 0
f
).
2.5 Ejercicio:
1. Halle el kernel de f en la categoria Ab de los grupos abelianos.
2. Dena directamente cokernel y demuestre que el cokernel en los
grupos abelianos esta dado as: si f : A B, entonces coker(f) es
B
B
f(A)
la proyeccion.
3. Llame Im(f) = ker(cokerf). Calcule Im f en Ab.
4. Dena coimagen y calc ulela en Ab.
2.6 Proposicion: Sean A y B cadenas y f : A B un morsmo de cadenas
entonces el kernel de f existe en Ch y esta dado por:
K(f
n+1
) A
n+1
B
n+1
K(f
n
) A
n
B
n
c
\
E
o
E
f
n+1
c
E
o
E
f
n
Demostracion. Ejercicio.
Ahora veremos el primer funtor de homologa, pero restringido a las cadenas.
2.7 Proposicion: Si f : A B es un morsmo de cadena, entonces:
1. f
n
:
Z
n
(A)
B
n
(A)

Z
n
(B)
B
n
(B)
dado por f
n
[a
n
] = [f
n
(a
n
)] es un homorsmo de
grupos
2. Para A
f
B
g
C, (g f)
n
= g
n
f
n
3. (1
A
)
n
= 1
H
n
(A)
es decir H
n
(1
A
) = 1
H
n
(A)
Demostracion: Para que un homomorsmo f : A
1
A
2
de grupos abelianos
pase el cociente f :
A
1
B
1
A
2
B
2
es necesario y suciente que f(B
1
) B
2
.
Aqu debemos dar dos cosas: primero, si f : A B entonces f(Z
n
(A))
Z
n
(B) para asi tener f
n
| : Z
n
(A) Z
n
(B) y segundo f
n
(B
n
(A)) B
n
(B).
Consideremos pues:
A
n+1
A
n
A
n1
B
n+1
B
n
B
n1
c
f
n+1
E
c
f
n
c
f
n1
E
Si a
n
A
n
y a
n
Z
n
(A) entonces (a
n
) = 0 y por tanto f
n1
(a
n
) = 0.
Es decir que f
n
(a
n
) = 0 y por tanto f
n
(a) Z
n
(B). Por tanto f|
Z
n
(A)
:
Z
n
(A) Z
n
(B).
Suponga ahora que a
n
B
n
(A) entonces existe a
n+1
tal que (a
n+1
) = a
n
por tanto f
n
(a
n
) = f
n
(a
n+1
) = f
n+1
(a
n+1
) (B
n+1
) = B
n
.

Algebra 29
Las partes 2, 3 quedan como ejercicio
2
Note:
Para simplicar la escritura si f : A B entonces H
n
(A) H
n
(B), [a
n
]
[f
n
(a
n
)] se denota H
n
(f) o bien simplemente f
, sin el n, (lo cual permite

usar la abajo y dejar f
para cocadenas).
Por tanto se tiene que H
n
: Ch Ab dene un funtor covariante.
2.8 Denicion: Sean f, g : A B en Ch. Decimos que f g (f es
homotopa a g) si existe h
n
: A
n
B
n+1
tal que
g
n
(x) f
n
(x) = h
n
(x) + h
n1
[(x)]
es decir que g
n
f
n
=
B
h
n
+ h
n1

A 2
Note que existe un funtor C
t
: Ch Ch dado por C
t
(A)
n
= A
n+1
es decir que
corta A
0
. Esto claramente se completa en un funtor covariante tomandolo de
manera obvia entre las echas. Ademas existe 1
Ch
: Ch Ch y se tiene que
: C
t
1
Ch
es una transformacion natural. Es decir que
n+1
: A
n+1
A
n
es un morsmo C
t
(A) A que en realidad es una transformacion natural.
Ahora, la homotopa h de 2.8 es en realidad un morsmo h : A C
t
(B). Se
tiene por tanto el compuesto A
h
C
t
(B)

B y por tanto existe tambien
C
t
( h) : C
t
(A) C
t
(B). Por otro lado existe C
t
(A)

A
h
C
t
(B). La
igualdad de 2.8 es
C
t
(g f) = C
t
( h) + (h )
Normalmente las propiedades de esta homotopa, como si es (o no) relacion
de equivalencia, o si viene o no de un sistema homotopico no se tocan. Se
pasa directamente a que soporte el futuro axioma de homotopa:
2.9 Proposicion: Si f g entonces H
n
(f) = H
n
(g) para todo n.
Demostracion: Suponga f, g : A D. Entonces f, g :
Z
n
(A)
B
n
(A)

Z
n
(D)
Bn(D)
.
Tomamos z + B
n
(A) en el dominio. Entonces z Z
n
(A) y (f
)(z +
B
n
(A)) = (f
n
g
n
)(z) +B
n
(D) = h
n
(z) +h
n1
((z)) +B
n
(D) = h
n
(z) +
B
n
(D) = 0 puesto que (h
n
(z)) B
n
(D). Por tanto f
= g
2
Note que la cadena 0 ... 0 es la cadena inicial y nal de Ch. Es decir
es el 0 de Ch y H
n
(0) = 0, para todo n. Ahora si f : A B es el morsmo
0, entonces
A B
0
E
f
d
d 0
0
Conmuta. Por tanto se tiene
H
n
(A) H
n
(B)
0
E
H
n
(f)
d
d
d
H
n
(0)
H
n
(0)
Por tanto H
n
(A 0) = 0, H
n
(0 B) = 0 y en el caso que nos ocupa
H
n
(f) : H
n
(A) H
n
(B) es 0 : H
n
(f) = 0, para todo n.
Dos comentarios entan en un orden es esta parte. En la practica cuando
se trata de dar un funtor de homologa sobre una categora A lo que
realmente se hace (normalmente) es construir, en esencia, un funtor
F : A Ch
y tomar H
n
(A) = H
n
(F(A)). Es decir se usa la homologa de Ch para denir
la de A. En segundo lugar este papel de sitio de pagos, en la construccion de
homologas no ha hecho que la parte de bondad como estructura homologica
se haya consolidado. Mas exactamente, en lo que viene se axiomatizarlo que
es una categora admisible para homologa y que es una homologa en una
categora admisible. En Ch se tiene una homologa pero digamos, informal.
No se conoce si ella resulta ser la homologa de una categora admisible para
homologa determinada, en Ch. Buscar una respuesta es un tema abierto
para trabajo de grado (INV).
Problemas Suplementarios
1. Sean A y B cadenas. Demuestre que la relacion de homotopa es una
relacion de equivalencia en Hom(A, B).
2. Demuestre que en Ch la relacion de homotopa es compatible con la
composicion: es decir que si f, g : A B, k : B C y f g entonces
k f k g y que si D
l
A, entonces f l g l.

Algebra 31
3. Cierto o falso: Si f, g : A B, u, v : C D y f g, u v, entonces
f u g v. Inicie mostrando que f u (y g v) existen.
4. Determine si en Ch existe la suma algebraica f + g de morsmos de
cadenas. Si + existe decida si es compatible con +.
5. Determine si para A Ch de tipo nito existe descomposicion pri-
mario, o racional y si f : A B preserva torsion y parte libre. Son
homotopicamente equivalentes dos cadenas con la misma torsion y
el mismo rango (INV).
Captulo 3. Categoras Admisibles para Homologa 31
Captulo 3
CATEGOR
IAS ADMISIBLES PARA

HOMOLOG
IA
Sea C una categora. Asumimos que en C existe un sistema homotopico y su
homotopa se denota o

si el sistema se denota = (C, d
0
, d
1
, s). Nor-
malmente C es una subcategora de Top y es la homotopa corriente de
Top restringido a C. Esto supone mnimo que si A C entonces el cilindro
de A (la red completa) debe estar en C. Cuando se trata de admisibilidad
se trata de establecer el mnimo de cerraduras para que los mecanismos no
fallen por falta de ellas.
Recuerde que si C es una categora entonces MorC tambien es una cate-
gora. Los objetos admisibles estan en MorC. La admisibilidad exige que
en cada Hom
C
(A, B) se tome una unica echa. La seleccion debe respetar
la composicion : es decir que Hom(A, B) y Hom(B, C) han sido
seleccionados, entonces Hom(A, C). Diremos, en tal caso, que la sub-
categora de MorC que se toma debe ser cerrada para la composicion. Por
ejemplo en los espacios topologicos se toman inclusiones A
i
X en donde
A es un subespacio de X. Evidentemente la composicion de inclusiones es
una inclusion.
Puesto que se selecciona una unica echa A, B digamos : A B ella
esta unicamente determinada por A y B (en ese orden) entonces los smbo-
los A y B son los unicos requeridos para determinarla. Por similaridad con el
caso topologico denotaremos a por (B, A) que en el caso topologico indica
que B es un espacio topologico y A es un subespacio y en nuestra escritura
(B, A) denotara la inclusion i : A B es decir i = (B, A).
Seleccionados estos objetos de MorC tenemos a nuestra disposicion los mor-
smos entre ellos en la categora MorC. Es decir para dos objetos (X, A) y
(Y, B) un morsmo f : (X, A) (Y, B) es una pareja F : X Y, f : A B
de C tales que el diagrama que sigue conmuta.
A B
X Y
(X,A)
(Y,B)
F
En el caso corriente de Top el diagrama sera
A B
X Y
F
3.1 Denici on: Una categora C
de MorC se dice admisible para homologa

(sobre (C, )) si
AH1. Para cada A y B de C, hay a lo mas un morsmo de Hom(A, B) en
C
(denotado(B, A)).
AH2. Si (X, A) esta en C
entonces tambien estan

(, ), (A, ), (X, ), (A, A), (X, A), (X, X).
AH3. Si (X, X) C
entonces (X, X) = 1
X
AH4. Si (X, A) esta en C
entonces en MorC
esta la red de (X, A)(R(X, A))

a saber
(X, )
(, ) (A, ) (X, A) (X, X)
(A, A)
1
>
>
>> 2
6
>
>
>
5
en donde los morsmos 1 a 6 son evidentes. Por ejemplo el morsmo
1 sera

=(,)
(A,)=
A
A
es decir que 1 = (
A
,
) = (
A
, 1
).
El morsmo 5 sera
A A
A X
1
A
=(A,A)
1
A
(X,A)
(X,A)
es decir que 5 = ((X, A), 1
A
)
AH5. Si (X, A) y (Y, B) ObjC
, entonces todas las transformaciones naturales

de la red de (X, A) en la de (Y, B) estan en MorC
. As si (f, g) :
(X, A) (Y, B) es un morsmo en MorC es decir que si
A B
X
y
(X,A)
(Y,B)
f
commuta en C, entonces el diagrama correspondiente a la parte de las
redes de (X, A) y (Y, B) sera
(A, A) (X, A)
(B, B) (Y, B)
5
(X,A)
(g,g)
(f,g)
5
(Y,B)
y entonces (g, g) : (A, A) (B, B) y (f, g) : (X, A) (Y, B) estan en
MorC
AH6. Para = (C, d
, d
1
, s) el sistema homotopico seleccionado en C, si
= (X, A) : A X entonces C() : C(A) C(X) y el cilindro
(completo) de = (X, A) es la red (se omite el nombre de las identi-
dades)
A X
C(A) C(X)
A X
A X
d
0
A
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
d
0
X
C()
s
A
s
X
`
d
1
A
`
d
1
X
As que (d
i
X
, d
i
A
) : (X, A) (C(X), C(A)) y (s
X
, s
A
) : (C(X), C(A))
(X, A) son transformaciones naturales. Si se toma C(), (d
0
X
, d
0
A
),
(s
X
, s
A
) entonces se tiene un sistema homotopico que denotaremos
Mor en MorC. La condicion sobre homotopa es la siguiente. Si
(X, A) esta en C
entonces tambien esta su cilindro que se denotara

(X, A)
C(X, A) (X, A)
(X, A)
d
0
(X,A)
`
`
`
`
`
1
s
(X,A)
`
d
1
(X,A)
1
AH7. C
admite al menos un objeto (, ) y admite entonces todos los mor-

smos (a, ) : (, ) (X, )
Nota.
a) Por abuso del lenguaje se denotara por X a (X, ) y por
f : X Y a (f, ) : (X, ) (Y, ).
b) Estando C
denida, en cambio de decir que = (X, A) esta en

C
diremos que es admisible. Igual cosa para morsmos de

morsmos de C.
3.2 Ejercicio:
1. Determine si los espacios punteados forman una categora admisible
sobre Top con la homotopa corriente.
2. Suponga que (C, ) y (D, S) son categoras con sistemas homotopicos
( y S respectivamente). Un funtor F(C, ) (D, S) es un funtor
F : C D tal que C
S
F = F C
(caso en el cual se dice que F

preserva homotopas). Suponga ademas que C
es una categora ad-

misible para homologa sobre (C, ). Determine si F(C
) es admisible
sobre (D, S).
3. Suponga que C
es admisible sobre (C, ). Sea A una subcategora de

C. De sentido a la notacion C
|
A
(C
restringida a A) y a (A, |
A
) y
determine si C
|
A
es admisible sobre (A, |
A
).
4. Suponga que una categora D es equivalente a una subcategora de C.
En este caso se identica a D como la subcategora de C y se acepta
D C.
a) Demuestre que las parejas (X, A) de espacios topologicos (X es-
pacio, A subespacio) es una categora admisible sobre Top con la
homotopa corriente.
b) Decida si la categora Top es identicable con la subcategora
plena de los pares de espacios de la forma (X, ).
Axiomas de Homologa
(Siguiendo Eilemberg-Steenrod y Sze-Tsen Hu)
En la red de un par (X, A) la parte
(A, ) (X, ) (X, A)
sera la parte esencial y usaremos la notacion generica i : (A, ) (X, )
y j : (X, ) (X, A). Cuando se haga necesario usaremos con mas precision
i
(X,A)
y j
(X,A)
, o bien lo escribimos ((X, A),
A
) y (1
X
,
A
). De manera que
la parte esencial de la red de (X, A) es:
(A, )
i
(X, )
j
(X, A)
que es ((X, A),
A
). Nosotros, para propositos de homologa identicamos el
par (X, A) con la parte esencial de la red de (X, A).
3.3 Denici on: Sea C
admisible para homologa sobre (C, ). Una teora

de homologa sobre (C
) es un funtor covariante
H : C
Ch
(Denotado (X, A) ... H
q
(A, )
i
H
q
(X, )
j
H
q
(X, A)

H
q
(A))
(o (i
)
q
, (j
)
q
,
q
cuando sea necesario) tal que
H1. (Axioma de exactitud) H(X, A) es una sucesion exacta
H2. (Axioma de homotopa). Si f

g en C
, entonces H(f) = H(g) en Ch

H3. (Axioma de dimension). Si q = 0 entonces H
q
(, ) = 0
H4. (Axioma de compatibilidad)
H4.1 En la q-esima parte esencial de (X, X)
H
q
(X, )
i
H
q
(X, )
j
H
q
(X, X)
i
es la identidad
H4.2 En la q-esima parte esencial de (X, )
H
q
(, )
i
H
q
(X, )
j
H
q
(X, )
j
es la identidad
H4.3 Para el morsmo i : (A, ) (X, ), H(i)
q
: H
q
(A, ) H
q
(X, )
es (i
x
)
q
: H
q
(A, ) H
q
(X, ), de la q-esima parte esencial de
H(X, A)
H4.4 Para el morsmo i : (X, ) (X, A) el morsmo
H(j)
q
: H
q
(X, ) H
q
(X, )
(de la q-esima parte esencial de (X, ) en la q-esima parte esencial
de (X, A)) es la identidad
H5. Recuerde que en una categora C un cuadrado
X Y
Z W
se dice cocartesiano si conmuta y si

X Y
Z T
S
conmuta entonces existe un unico morsmo W
h
T tal que h = y
h = S. En tal caso X se dice la cobase de , se llama un cambio
de cobase de y que el cambio de cobase se hace va . Si cada par
fuente Z

X

Y se cierra en un cuadrado cocartesiano entonces la
categora se dice cerrada para cuadrados cocartesianos, o cerrada
para cambios de cobase. Por ejemplo Top es cerrada para cambios de
cobase: si Z

X

Y son continuos entonces W = Z +Y /
donde
(x) x para cada x X, : Y W esta dada por (y) = [y] y
(Z) = [Z].
En el caso importante de espacios topologicos Z y Y con Z Y = X,
entonces : X Y es la inclusion y : X Z es la otra in-
clusion.
W = X +Y /
queda Z + Y = (Z {1}) (Y {2}) y se toma

X

Z {1} x (x, 1), X

Y {2} x (x, 2) Ahora en
Z {1} Y {2}/(x, 1) (x, 2) se identica (x, 1) (x, 2) es decir
que lo que se haba separado se une de nuevo. Aqu la Topologa es
W ZY es abierto en ZY WZ es abierto en Z y WY es abier-
to en Y . Este espacio se denota Z
X
Y o bien Z +
X
Y o bien Z V
X
Y .
Naturalmente si X = se tiene la suma corriente Z V
Y = Z +Y .
Nosotros tomamos (X, A), (Y, A) en C
y pedimos
H6. Si (X, A), (Y, A) y (X
A
X, A) estan en C
, entonces (X, A)
e
(X
A
Y, A) induce un isomorsmo
H(l) : H(X, A) H(X
A
Y, A)
En el caso de que (X, A), (Y, A) esten en Top, es decir son parejas de
espacios, entonces X
A
Y es el espacio XY con la topologa suma y
XY = A y entonces se tendra que H(l) : H(X, A) H(XY, A) es
un isomorsmo. Igualmente si se da X, el espacio, X
1
, X
2
subespacios
con X = (intX
1
) (intX
2
) para la inclusion i : (X
1
, X
1
X
2
)
(X, X
2
) se tiene que H(i) es un isomorsmo.
3.4 Proposici on: Para una teora de homologa H sobre C
se tiene:
1. X H
q
(X, ) dene un funtor covariante de C en Ab, para cada q.
2. (X, A) H
q
(X, A) dene un funtor covariante de C
en Ab, para cada

q.
3. (X, A) H
q
(A, ) dene un funtor covariante de C
en Ab para cada
q
2
3.5 Denici on: En la proposicion precedente el funtor de 1) se llama el
q-esimo funtor de homologa (de H) sobre C; el funtor de 2) se llama el q-
esimo funtor de homologa sobre C
y el de 3) se llama el q-esimo funtor de

proyeccion (2) y se denotara por PR
q
: C
Ab
2
Note en 1) el funtor esta denido C Ab y se denota H
q
. Por tanto
H
q
(X) = H
q
(X, ) y no requiere identicaciones, entre X y (X, ).
2) PR
q
: C Ab esta dado por PR
q
(X, A) = H
q
(A)
3.6 Proposici on:
q
dene una transformacion natural PR
q
(X, A) : H
q
(X, A)
H
q1
(A) del funtor H
q
: C
Ab en PR
q1
: C
Ab
2
3.7 Proposici on: Si (X, A)
= (Y, B) entonces H(X, A)

= H(Y, B).
Demostraci on: Si f : (X, A) (Y, B) y g : (Y, B) (X, A) son las equiva-
lencias de () homotopa compa neros entonces gf

1
(X,A)
y f g

1
(Y,B)
.
Luego H(g) H(f) = 1
H(X,A)
y H(f) H(g) = 1
H(Y,B)
. Luego H(g) y H(f)
son isomorsmos inversos el uno del otro
2
3.8 Proposici on:
1. Si en C X
= Y entonces para cada q, H

q
(X)

= H
q
(Y ).
2. Si (X, A) es una -equivalencia de homotopia en C, entonces
H
q
(X, A) = 0 para todo q.
3. H
q
(X, X) = 0, para todo q.
Demostraci on:
1. Si en C X
= Y entonces en C
(X, )
= (Y, ) y el resultado sigue

2. En H(X, A), i
: H
q
(A, ) H
q
(X, ) es isomorsmo, = 0 y j
= 0.
As que H
q
(X, A) = kerg = Im j
= 0.
3. X
= X
2
Note H
q
(, ) = H
q
() es un grupo abeliano que se llamara el grupo de
coecientes de H y se denotara por G.
3.9 Proposici on: Si X
= (es decir que X es contractible a un punto)

entonces H
q
(X) = 0 si q = 0 y H
0
(X)

= G (el grupo de coecientes)
2
Secciones Admisibles
Consideramos ahora el caso en el cual (X, A) de C
es una seccion en C.
En tal caso diremos que (X, A) es una seccion admisible. Supongamos pues
que r es una retraccion compa nera de (X, A) en C. Como es evidente que la
imagen de una seccion por un funtor covariante es una secci on y en nuestro
caso esa imagen esta en los grupos, entonces resumimos primero este caso
3.10 Proposici on: En los grupos abelianos si el compuesto A
f
B
g
A
es la identidad entonces:
1. B = Imf kerg
2. kerg

= B/
Imf
Demostraci on: Ejercicio
Por otro lado
3.11 Proposici on: Si (X, A) es una seccion en C entonces
1. i : (A, ) (X, ) es una seccion en C
con retraccion compa nera

(r, ) : (X, ) (A, )
2. H(i) es una seccion en la categora Ch de las cadenas con retraccion
compa nera H(r, )
3. Para cada q N
, (i
)
q
: H
q
(A, ) H
q
(X, ) es un monomorsmo
4. H(X, ) = Im H(i) ker H(r) en el sentido que para cada q
H
q
(X, ) = Im(i
) kerH
q
(r)

= Im(i
) H
q
(X, )/
Im(i
)
Demostraci on: Ejercicio
2
Ahora usamos la red de (X, A) con la siguiente notacion
(X, )
(, ) (A, ) (X, A) (X, X)
(A, A)
>
>
>> i
>
>
>
l
lo cual, aplicado a (A, ) da como resultado
(A, )
(, ) (, ) (A, ) (A, A)
(A, )
`
`
`
`
j
i
`
`
`
`
k
l
por tanto, en este caso, j = l = 1
(A,)
y tambien i = k. En particular se
tiene que H(e)
q
: H
q
(A, ) H
q
(A, ) es la identidad.
3.12 Proposici on: Si (X, A) es una seccion en C con retraccion r, entonces
1. k : (A, ) (A, A) es un retracto de j : (X, ) (X, A) en MorC
,
es decir el siguiente diagrama conmuta y las las son las identidades
(A, ) (X, ) (A, )
(A, A) (X, A) (A, A)
(r,)
(r,A)
2. En el desarrollo de H(A, A)
H(l)
H(X, A)
H(r,A)
H(A, A) del graco
H(A, A) ... H
q
(A, ) H
q
(A, ) H
q
(A, A) H
q1
(A, )
...
H(X, A) ... H
q
(A, ) H
q
(X, ) H
q
(X, A) H
q1
(A, )
...
H(A, A) ... H
q
(A, ) H
q
(A, ) H
q
(A, A) H
q1
(A, )
...
H(l)
H(r)
a) Todas las composiciones verticales son la identidad.

b) En la columna izquierda l
es la identidad.
c) En la columna izquierda r
es la identidad es decir que r
: H
q
(A, )
H
q
(A, ) es la identidad.
d) En la columna de la derecha : H
q
(X, A) H
q1
(A ) es 0
e) H
q
(X, )/
Im(i
)

= H
q
(X, A)
Demostraci on:
En la parte 1 es inmediata la conmutatividad, k, j verticales son morsmos
de C
. Ademas claramente las las son las identidades (seguimiento que se

hace por coordenadas).
En la parte 2:
a) Evidente por ser imagenes por funtores H
q
, de identidades.
b) l
= H(l)
q
: H
q
(A, ) H
q
(A ) sabemos que es la identidad.
c) Inmediato por a) y b)
d) La columna de la derecha es la misma de la izquierda, pero en la q 1
posicion, as que el cuadrado inferior derecho es
H
q
(X, A) H
q1
(A, )
H
q
(A, A) H
q1
(A, )
el cual conmuta y H
q
(A, A) = 0. Luego : H
q
(X, A) H
q1
(A, )
es 0.
e) H
q
(X, )/
Imi
= H
q
(X, )/
kerj
= Imj
= ker por un seguimiento

sobre la segunda la que es exacta. Ahora bien como = 0,
ker = H
q
(X, A) y por tanto H
q
(X, )/
Imi
= H
q
(X, A)
2
3.13 Corolario:
Si (X, A) es una seccion en C entonces H(X, )

= H(A, ) H(X, A) es
decir que H(X)

= H(A) H(X, A)
Demostraci on: Para cada, tenamos H
q
(X, )

= Im(i
)H
q
(X, )/
Im(i
)
.
Ademas i
: H
q
(A, ) H
q
(X, ) es un monomorsmo, por tan-
to, H
q
(A, )

= Im(i
) en Ab y por la proposicion precedente

H
q
(X, )/
Imi
= H
q
(X, A) luego el resultado sigue
2
Existen situaciones de retraccion simples pero importantes y casos basicos
del axioma de escicion. Estos los resumimos a continuacion.
3.14 Proposici on:
1. Si X, Y son admisibles entonces H(X)

= H(X +Y, Y )
2. Si X admite un punto, entonces H(X)

= H() H(X, ) es decir que
H
q
(X)

= H
q
(X, ) si q = 0 y H
0
(X)

= GH
0
(X, )
3. Si, en C, A es una deformacion retraccion de X; es decir si A es un
retracto homotopico de X, entonces H(X)

= H(A) H(X, A)
4. Si uno de los dos X o Y es un retracto homotopico de X +Y entonces
H(X +Y )

= H(X) H(Y )
Demostraci on:
En cuanto a la parte 1) sigue del hecho que X + Y = X
Y . La parte 2)
sigue del hecho que si

X existe, entonces

X es la identidad
y es un retracto de X. En cuanto a la parte 3) si A
(X,A)
X A es
homotopo a la identidad entonces el diagrama de 3.12 parte 2 es todava
valido. En cuanto a 4) suponga que X es un retracto de X + Y . Entonces
en 3) H(X +Y )

= H(X) H(X +Y, X)

= H(X) H(Y ). Igual armacion
para el caso homotopico
2
Si X y Y admiten un punto cada uno digamos

X y

Y entonces
denotamos por X Y la suma amalgamada de con . Por tanto el diagrama
que sigue es cocartesiano
Y
X X Y
3.15 Proposici on: Si X Y existe en C, entonces X (respectivamente Y )

es un retracto de X Y .
Demostraci on: Existe una unica h que cierra conmutativo el siguiente
diagrama
Y
X X Y

X
h
Ahora podemos ampliar el teorema de suma de objetos as
3.16 Proposici on: Suponga que X Y existe en C y que su diagrama
esta en C
. Entonces
1. H(X, )

= H(X Y, Y )
2. H(X Y )

= H(X) H(Y, )
Demostraci on: La parte 1) es la aplicacion de H5 a X

Y . En
cuanto a la parte 2) puesto que X es un retracto de X Y entonces por
3.13 H(X Y )

= H(X) H(X Y, X)

= H(X) H(X, )
2
3.17 Corolario: Bajo las condiciones de proposicion precedente se tiene
que
1. Si q = 0, entonces H
q
(X Y )

= H
q
(X) H
q
(Y )
2. H
0
(X Y )

= GH
0
(X, ) H
0
(Y, )
Demostraci on: Puesto que H(X Y )

= H(X) H(Y, ) entonces
H
q
(XY )

= H
q
(X) H
q
(Y, ). Ahora si q = 0, entonces H
q
(Y, )

= H
q
(Y )
y 1) sigue. Si q = 0, entonces H
0
(X Y )

= H
0
(X) H
0
(Y, ) y como
H
0
(X)

= GH(X, X) la parte 2) sigue
2
3.18 Corolario: Si C es una categora punteada entonces
1. X Y

= X +Y
2. H(X, ) = H(X, ) = H(X)
3. X (resp Y ) es un retracto de X +Y y H(X +Y )

= H(X) H(Y )
Demostraci on: Si C es punteada entonces

= y la parte 1) sigue. Por
la misma razon la parte 2). En cuanto a la parte 3) X es un retracto de
X Y

= X +Y .
Note: si H
0
() = 0, entonces H se dice una teora de homologa reducida.
3.19 Corolario: Si una categora punteada admite una teora de homologa
H, entonces H es reducida.
Retracciones Admisibles, -deformaciones
Suponga que C
es admisible sobre (C, ).

3.20 Denici on: Si (X, A) es admisible y (X, A) es una retraccion entonces
diremos que X es retraible a A. Si (X, A) es una retraccion -homotopica
diremos que X es deformable a A va , o que X es -deformable a A
2
3.21 Proposici on:
1. Si (X, A) es una retraccion entonces (X, ) es un retracto de (A, )
en C
.
2. Si (X, A) es una retraccion -homotopica, entonces (X, ) es un re-
tracto -homotopico de (A, )
2
La proposicion precedente implica que las retracciones en C permanecen (en
C
) si se identica C con la subcategora de C
de los objetos de la forma

(X, ), como es costumbre.
3.22 Proposici on: Suponga que (X, A) : A X es un retracto admisible
con seccion compa nera s : X A en C. Entonces
1. m : (X, A) (X, X) de la red de (X, A) es un retracto con seccion
compa nera (1, s) : (X, X) (X, A)
2. H
q
(s, ) : H
q
(X, ) H
q
(X, ), de H(1, s) : H(X, X) H(X, A) es
la identidad
3. i
: H(A, ) H(X, ) es un epimorsmo y (s, )
: H(X, )
H(A, ) es un monomorsmo
4. Para cada q, H
q
(A)

= H
q
(X) H
q+1
(X, A)
Demostraci on: 1) es evidente. En cuanto a 2) la composicion
H
q
(X, )
H
q
(s,)
H
q
(X, )
i
H
q
(X, )
es la identidad. Ademas i
: H(X, A) H(X, X) induce la identidad i
:
H
q
(X, ) H
q
(X, ) por el axioma de compatibilidad. Por tanto H
q
(s, ) =
1
H
q
(X,)
. La parte 3) es evidente de 3.21. En cuanto a la parte 4), puesto
que el compuesto
H
q
(X, )
s
H
q
(A, )
i
H
q
(X, )
es la identidad entonces
H
q
(A, )

= s
(H
q
(X, )) keri
= H
q
(X, ) Im(
q+1
)
= H
q
(X, )
q+1
(H
q+1
(X, A))
Ahora bien se tiene la sucesion de (X, A) as:
H
q+1
(X, A)

H
q
(A, )
i
H
q
(X, )
j
H
q
(X, A)

H
q1
(A, )
j
= 0 puesto que i
es sobreyectivo y entonces tiene kernel 0 y es un

monomorsmo. As que
(H
q+1
(X, A)

= H
q+1
(X, A) y H
q
(A, )

= H
q
(X, ) H
q+1
(X, A)
2
3.23 Corolario: Si A X es admisible (es decir (X, A) C
) entonces
para cada q H
q
(A)

= H
q
(X) H
q+1
(X, A)
2
3.24 Proposici on:
1. Si X es deformable en A y A B y B X son admisibles, entonces:
a) X es deformable a B
b) H
q
(B)

= H
q
(X) H
q+1
(X, B),
q
2. Si X es contractible a un punto, entonces
a) Si B admite un punto y (X, B) es admisible entonces X es de-
formable en B
b) H
q
(B)

= H
q
(X) H
q+1
(X, B),
q
Demostraci on: Las dos partes b) son inmediatas de las respectivas
partes a).
En cuanto a 1) a), como X es deformable a A entonces X
s
A
(X,A)
X es la
identidad. Pero ademas puesto que (B, A) y (X, B) son admisibles entonces
(X, B) (B, A) = (X, A) por tanto X
s
A B X es la identidad. 2) a)
sigue de 1) a) tomando A =
2
3.25 Proposici on: Si X es deformable en B y B lo es en A ((X, B), (B, A)
admisibles) entonces:
1. X es deformable en A
2. H
q
(X) H
q+1
(X, A)

= H
q
(X) H
q+1
(X, B) H
q1
(B +A)
3. Si H
q
(A) es nitamente generado entonces
H
q
(X, A)

= H
q
(X, B) H
q
(B, A)
q
= 0
Demostraci on: La parte 1) es inmediata. En cuanto a 2) sigue de las
formulas
H
q
(B)

= H
q
(X) H
q+1
(X, B)
H
q
(A)

= H
q
(B) H
q+1
(B, A)
H
q
(A)

= H
q
(X) H
q+1
(X, A)
Para 3) se sigue que si H
q
(A) es nitamente generado tambien lo son to-
dos los grupos de las tres formulas. Por tanto en la parte 2) H
q
(X) sera
cancelable y la formula de 3 sigue
2
Homologa Reducida
Recuerde que si X, Y son cadenas y f : X Y es un morsmo de cadenas
entonces el kernel de f, ker(f) es una cadena que en el nivel n es
K(f
n
)
O
f
n
X
n
f
n
Y
n
donde K(f
n
) es el kernel de f
n
y O
f
es la inclusion. Se tiene ademas que
(K(f
n
)) K(f
n1
) y por tanto
... K(f
n
)
|
K(f
n1
)
|
K(f
n2
) ...
es una cadena y que O
f
: K(f) X dada por (O
f
)
n
= O
fn
: K(fn) X
n
es un morsmo de cadenas.
Se tiene en el caso de C
admisible sobre (C, ), que

3.26 Proposici on: C
tiene como objeto nal (, )

2
La relevancia de sto es que, entonces, para cada (X, A) de C
, existe un unico
morsmo (X, A) (, ) en C
.
Recuerde que H(, ) es
H
1
(, )
i
H
1
(, )
j
H
1
(, )

H
0
(, )
i
H
0
(, )
j
H
0
(, )
o bien
0 0 0 G
1
0
Por tanto para cada (X, A), es decir para cada (X, A) (, ) se tiene
(X,A)
: H(X, A) H(, ) un morsmo de cadenas exactas a saber
H
1
(A, ) H
1
(X, ) H
1
(X, A) H
0
(A, ) H
0
(X, ) H
0
(X, A)
0 0 0 0 0 0

El kernel de (X, A) sera entonces
H
1
(A, )
H
1
(X, )
H
1
(X, A)
ker
ker()
H
0
(X, A)
la cual es una cadena, seg un sabemos.
3.27 Proposici on: puesto que ker
(X,A)
es una sucesion exacta.
Demostraci on: puesto que ker
(X,A)
es igual a H(X, A) hasta el nivel 1,
resta demostrar exactitud en H
0
. Como los morsmos son restricciones los
de H(X, A) entonces las composiciones son 0. As que resta demostrar que
ker
Im
y ker
Im
. Las dos cosas son faciles de demostrar.

En adelante ker
(X,A)
sera denotado por

H(X, A) y su notacion sera

H
q
(A, )

H
q
(X, )

H
q
(X, A)

H
q1
(A, ) ...
Naturalmente

H
q
= H
q
si q > 1 o q = 0. Queremos ahora considerar
H(, ). El morsmo : (, ) (, ) es la identidad. Por consiguiente
(,)
: H(, ) H(, ) es la identidad. As pues ker
(,)
= 0 por tanto
todos los grupos en la siguiente cadena son cero
...

H
1
(, )

H
0
(, )

H
0
(, )

H
0
(, )
por tanto

H
0
(, ) = 0
3.28 Proposici on:
1. Si H es una teora de homologa sobre C
entonces tambien lo es

H.
2.

H es una teora de homologa reducida.
3. Si X admite un punto admisible ((X, ) C
) entonces

H
q
(X)

=
H
q
(X, ), para todo q.
4.

H(X Y )

=

H(X)

H(Y )
5. Si X es contractible a un punto, entonces

H
q
(X) = 0, q
6. Para todo q,

H
q
(X, A) = H
q
(X, A) cuando A

= y

H
q
(X) = H
q
(X)
si q = 0.
Ejercicios Suplementarios
1. Demuestre que en Top, X es una retraccion de X +Y
2. Demuestre que si X, Y son espacios topologicos y XY = A, entonces
X
A
Y es la suma topologica de X con Y .
3. Demuestre que
q
de 3.6 es en efecto una transformacion natural.
4. Denotamos X Y Z a (X Y ) Z:
a) Decida si X Y Z

= X (Y Z).
b) Decida si X Y

= Y X.
c) Decida si existe un objeto E tal que X E

= X para todo X.
5. Calcule la homologa de X Y Z en terminos de la de X, Y , Z.
Hagalo para homologa y homologa reducida.
Captulo 4. Suspension. 49
Captulo 4
SUSPENSI
ON
Suponga que es un sistema homotopico en C. Recuerde que
4.1 Denici on:
1. Si el diagrama
A X
T
?
A
-
A
-
es cocartesiano entonces T se dice la identicacion de la imagen de

a un punto y se denotara X|
(A)
.
2. Si (X, A) es admisible y = (X, A) entonces se dira que T es la
identicacion de A a un punto y se denotara X|
A
. Ademas
A
se
llamara la proyeccion de X sobre X|
A
, denotada .
En lo que sigue consideramos una categora admisible C
sobre (C, ) tal que

para cada A, C(X)|
d
0
(X)
y C(X)|
d
1
(X)
existen.
4.2 Denici on: C(X)|
d
0
(X)
se llama el cono inferior de Xy C(X)|
d
1
(X)
se llama el cono superior de X. Se denotaran C
0
n(X) y C
1
n(X) repecti-
vamente.
4.3 Proposici on: para i = 0, 1, C
i
n : C C es un funtor covariante si se
toma para f : X Y como C
i
n(f) al unico morsmo C
i
n(X) C
i
n(Y )
que deja conmutativo el siguiente diagrama
X
C(X)
C
i
n(X)
C
i
n(Y )
2
?
f
-
d
i
X
?
i
X
A
A
A
A
A
A
A
A
A
A
AU
i
Y
C(f)
-
d
i
X
H
H
H
H
H
H
H
H
H
Hj
d
i
Y
@
@
@
@R
C
i
n(f)
Para los dos objetos distinguidos de C, y se tiene
4.4 Proposici on
1. C
i
n
()

= C() para i = 0, 1
2. C
i
n
() para i = 0, 1
2
Recordemos ahora que en el diagrama de denicion de C
0
n
(X) se tiene el
morsmo
0
x
: C(X) C
0
n
(X) y que por tanto el cono o de X se obtiene
del cilndro identicando la copia d
0
X
, de X a un punto. Gracamente
Note que la copia d
1
X
sobrevive en C
0
n
(X) y que
d
0
X
C
0
n
(X) es el punto
obtenido al identicar d
0
X
a un punto. As que el punto inferior (vertice) del
cono es d
0
X
. Igual cosa para C
1
n
(X).
El d
1
X
que dijimos que sobrevive en el cono cero de X es el morsmo
X
d
1
X
C(X)

0
X
C
0
n
(X). Este morsmo sera llamado la copia de X en
C
0
n
(X) y sera denotado por
0
X
: X C
0
n
(X). Der igual forma se dene
1
X
: X C
1
n
(X).
4.5 Proposici on:
i
X
: X C
i
n
(X) dene una transformacion natural
: 1
C
C
i
n
2
Ahora estamos interesados en que
i
X
para i = 0, 1 esten en C
.
4.6 Denici on: Diremos que C
admite conos si
i
X
es un objeto de C
para
i = 0, 1
2
Tenemos entonces en C
(C
0
n
(X), X) y (C
1
n
(X), X) y por tanto existe (C
1
n
(X)
X
C
1
n
, X) en C
.
4.7 Denici on: C
0
n
(X)
X
C
1
n
(X) se llma la suspension de X y se denota
X
2
Recuerde que
X C
1
n
(X)
C
0
n
(X) X
-
1
X
?
0
X
?
0
X
-
1
X
es un diagrama cartesiano y que la diagonal es (X, X).
4.8 Proposici on: Suponga que C
admite conos. Si f : X Y es admisible

(ie(f, ) : (X, ) (Y, ) es admisible) entonces existe un morsmo
(f) : (X) (Y )
unico tal que
0
Y
C
1
n
(f) = (f)
0
X
y (f)
1
X
=
1
y
C
0
n
(f).
Demostraci on: Sigue del siguiente diagrama cuyo cuadrado central es co-
cartesiano
X C
1
n
(X)
C
0
n
(X) (X) C
1
n
(Y )
C
0
n
(Y ) (Y )
?
0
X
-
1
X
?
0
X
@
@
@
@R
C
1
n
(f)
-
1
X
@
@
@
@R
C
0
n
(f)
@
@
@
@R
(f)
?
0
Y
-
1
Y
y del hecho de que las composiciones externas coinciden. Esto ultimo sigue
del siguiente diagrama con cuadrados cerrados commutativos
X C
1
n
(X)
C
0
n
(X) (X)
Y C
1
n
(Y )
C
0
n
(Y ) (Y )
?
f
Q
Q
Qs
0
X
-
1
X
?
C
1
n
(f)
Q
Q
Qs
0
X
-
1
X
?
C
0
n
(f)
p
p
p
p
p
p
p
p
p
p
p
p
p
?
(f)
Q
Q
Qs
0
Y
-
1
Y
Q
Q
Qs
0
Y
-
1
Y
de donde se recibe que
0
Y
C
1
n
(f)
1
X
=
0
Y
(C
1
n
(f)
1
1
)
(1)
=
0
Y
(
1
x
f) =
(
0
Y

1
X
) f
(2)
= (
1
Y

0
Y
) f donde (1) sigue de que
1
es una transforma-
cion natural y (2)sigue la denicion de aplicada a Y . Se tiene entonces que
(f) es el unico morsmo que cierra el paralelipipedo conmutativamente
2
4.9 Proposici on:
1.
(f g) =
g
2.
(1
X
) = 1
X
3.
1
: C
0
n

y
0
: C
1
n

son transformaciones naturales.

4.10 Denici on:
1. Diremos que C
admite suspension si (X, A) C
X,
A) C
.
2. Si C
admite suspension diremos que C
tiene conos nulos si C

i
n
(X) es
contractible al vertice
2
4.11 Proposici on: Suponga que C
admite suspension y tiene conos nulos.

Entonces para cada q,

H
q
(X)

=

H
q+1
(
(X)).
Demostraci on: Por el axioma de excision se tiene que

H(
X, C
0
n
(X))

=
H(C
1
n
(X), X). Por ser C
1
n
(X) contractible entonces es deformable en X y
por tanto

H
q
(C
1
n
(X))

H
q+1
(C
1
n
(X), X)

=

H
q
(X).
Ahora bien como C
0
n
(X) es contractible, entonces

H(
X, C
0
n
(X))

=

H(
X).
As pues

H
q
(X)

H
q
(C
1
n
(X))

H
q+1
(C
1
n
(X), X)

=

H
q+1
(C
1
n
(X), X)

=
H
q+1
(
X, C
0
n
(X))

=

H
q+1
(
X)
2
- esferas
Note que (, ) es admisible. Entonces se puede hacer un cambio de la cobase
via y el resultado admisible. El cambio de cobase se llamara la
esfera 0 de C
. Entonces se tiene que el siguiente diagrama es cocartesiano

S
0
?
-
?
-
y por ende S
0
= +.
Ahora bien, en el caso topologico se tiene que
S
n
= S
n+1
. Nosotros den-
imos en (C, ) las esferas como S
0
(que no depende de ) y por recurrencia
S
n+1
=
S
n
o bien
S
n
.
4.12 Proposici on: Si C
no es punteada, admite suspension y tiene conos

nulos. Entonces

H
q
(S
q
) = G para todo q y

H
q
(S
n
) = 0 si q = n.
Demostraci on: Por el axioma de excision H(S
0
, )

= H(, ) y por con-
siguiente H
q
(S
0
, ) = 0 si q = 0 y H
0
(S
0
, )

= G.
Ahora bien

H(S
0
)

=

H(S
0
, ), obviamente ( es contractible a ). Ademas
H(X, A) = H(X, A) si A SIMBOLO . De manera que supuesto que

C no es punteada entonces

H(S
0
, ) = H(S
0
, ) y por ende
H
q
(S
0
)

=

H
q
(S
0
, ) = H
q
(S
0
, ) =
0 si q = 0
G si q = 0
en resumen

H
0
(S
0
)

= G y

H
q
(S
0
) = 0 si q = 0. Por tanto
G =

H
0
(S
0
)

H
1
(
S
0
) =

H
1
(S
1
)

=

H
2
(S
2
)

= ...

=

H
n
(S
n
)
Ahora consideramos n = q.

H
q
(S
n
)

=

H
qn
(S
0
). Puesto que q n = 0,
entonces

H
q
(S
n
) = 0
2
4.13 Corolario: Si H es cualquier homologa sobre una categora admisible
de espacios topologicos (en el sentido de H
u
: Homology Theory Holden Day
1970); entonces

H
n
(S
n
)

= G y

H
q
(S
n
) = 0 si q = n
2
En cualquiera de los casos 4.12 y 4.13 se tiene que
1. Si q = 0, H
q
(s
n
)

=

H
q
(S
n
) =
0 si q = n
G si q = n
2. Si q = 0, entonces H
0
(S
n
)

= GH
0
(S
n
, ) por 3.14 2). luego
H
0
(S
n
)

= G

H
0
(S
n
, )

= G

H
0
(S
n
)
G si n = 0
GG si n = 0
Ejercicios
1. Demuestre que S
no es contractible a un punto.
2. Calcule H(S
) en cualquier teora de homologa que admite sus-

pension y tiene conos nulos.
3. Se llama el n-simplejo topologico
n
al subespacio de R
n+1
de los
puntos (x
0
, ..., x
n
) tales que x
i
0 y
n
i=0
x
i
= 1. Se llama la frontera
convinatoria de
n
, denotada
n
, a los x de
n
con
n
i=0
x
i
= 0.
a) Muestre que
n
es el cubriento conexo del conjunto {e
0
, e
1
, ..., e
n
}
donde e
i
es ek i-esimo vector unitario de R
n+1
.
b) CalculeH(
n
,
n
) para cada n.
c) Tome
i
n
al cubrimiento convexo en R
n+1
de e
0
, e
1
, ..., e
i
, ..., e
n
donde signica eliminado y (n, i) =
j=i
n
. Calcule
H(
i
n
), H((n, i)), H(
n
, (n, i))
4. Calcule de
Lo mismo para n copias de S
unidos de la misma manera. Haga lo

propio para
y para con n copias de S
colgando.
Captulo 5. Triplas. 55
Captulo 5
TRIPLAS
En lo que sigue consideramos B A X admisibles. Por tando estan en
C
, como objetos (A, B), (X, B), (X, A). Inicialmente consideramos los mor-
smos admisibles (A, B)
((X,A),1)
(X, B) y (X, B)
(1,(A,B))
(X, A). Veremos
que la imagen de la compuesta es exacta. Denotemos = ((X, A), 1) y
= (1, (A, B))
5.1 Proposicion: H(A, B)

H(X, B)

H(X, A) es exacta.
Demostracion: Que
= 0 sigue de que
(A, B) (X, B)
(A, A) (X, A)
?
(1,(A,B))
-
-
((X,A),1
A
)
conmuta de manera obvia y como H(A, A) = 0. Para la parte ker
Im
,
el diagrama extendido de
= 0 es
H
q
(B) H
q
(B) H
q
(A)
H
q
(A) H
q
(X) H
q
(X)
H
q
(A, B) H
q
(X, B) H
q
(X, A)
H
q1
(B) H
q1
(B) H
q1
(A)
H
q1
(A) H
q1
(X) H
q1
(X)
-
1
?
i
(A,B)
-
(A,B)
(A,B)
?
i
(X,A)
?
i
(X,A)
-
(X,A)
(X,A)
?
j
(A,B)
-
1
?
j
(X,B)
?
j
(X,A)
-
(A,B)
-
(X,B)
?
(X,A)
-
1
?
i
(A,B)
-
i
(A,B)
(A,B)
?
i
(X,B)
?
i
(X,A)
-
(X,A)
(X,A)
-
1
Cada una de las vertices es exacta.
Tenemos x ker
en H
q
(X, B). Entonces
(X,B)
(x) ker(A, B)
puesto
que (A, B)
(X,B)
(x) =
(x,A)
(
(x)) = 0.
Como
(X,B)
(x) ker(A, B)
= Im
(A,B)
, entonces existe H
q
(A, B)
tal que
(A,B)
() =
(X,B)
(x). Es decir que
(X,B)
() =
(X,B)
(x) y por
tanto
() x ker
(X,B)
. As pues existe t H
q
(X) tal que j
(X,B)
(t) =
() x.
Ahora bien j
(X,A)
(t) =
(X,B)
(t) =
() x) =
()
(x) = 0.
Como t kerj
(X,A)
entonces existe w H
q
(A) tal que i
(X,A)
(w) = t.
Note ahora que i
(X,A)
y (X, A)
son dos notaciones de la misma funcion por

los axiomas de compatibilidad.
Veamos ahora que
( + j
(X,A)
(w)) = x :
( + j
(X,A)
(w)) =
() +
(X,A)
(w) =
() + j
(X,B)
(X, A)
(w) =
() + j
(X,B)
(i
(X,A)
(w)) =
() + j
(X,B)
(t) = x. As pues x Im(
)
2
Tomemos ahora H
q
(X, A)

(X,A)
H
q1
(A)
(1
A
,
B
)
H
q1
(A, B). Note que
(1
A
,
B
)
= j
(A,B)
. Tomamos
(X,A,B)
= j
(A,B)

(X,A)
: H
q
(X, A)
H
q1
(A, B).
5.2 Proposicion: H
q
(X, B)

H
q
(X, A)

(X,A,B)
H
q1
(A, B) es exacta.
Demostracion:
(X,A,B)

= j
(A,B)

(X,A)

= j
(A,B)

(X,A)

=
j
(A,B)
(A, B)
(X,B)
. Ahora bien (A, B)
= i
(A,B)
, luego j
(A,B)
(A, B)
(X,B)
= j
(A,B)
i
(A,B)

(X,B)
= 0. Luego, Im
ker
(X,A,B)
.
Veamos que ker
(X,A,B)
Im
.
Sea x ker
(X,A,B)
j
(A,B)
(X,A)
(x) = 0 por tanto
(X,A)
kerj
(A,B)
=
Imi
(A,B)
. Por tanto existe y H
q1
(B) tal que i
(A, B)(y) =
(X,A)
(x).
Ahora i
(X, A)i
(A,B)
(y) = i
(X, A)
(X,A)
(x) = 0 y ademas i
(X, A)i
(A,B)
=
i
(X, B) luego i
(X, B)(y) = 0, entonces y keri
(X,B)
y existe z H
q
(X, B)
tal que
(X,B)
(z) = y. Note que tanto x como
(z) H
q
(X, A) y ademas
(X,A)
(z) = i
(A,B)
(X,B)
(z) = i
(A,B)
(y) =
(X,A)
(x).
Entonces
(X,A)
(x
(z)) =
(X,A)
(x)
(X,A)
(z) =
(X,A)
(x)
(X,A)
(x) =
0. As pues x
(z) ker
(X,A)
= Imj
(X,A)
. Luego existe w H
q
(X)
tal que j
(X,A)
(w) = x
(z). Despejando x = j
(X,A)
(w) +
(z) como
j
(X,A)
=
(X,)
entonces x =
(j
(X,A)
(w)) +
(z) Im
2
5.3 Proposicion: H
q
(X, A)

(X,A,B)
H
q1
(A, B)

H
q1
(X, B) es exacta.
Demostracion:
(X,A,B)
=
(A,B)

(X,A)
= j
(X,)
i
(X,A)

(X,A)
=
j
(X,B)
0 = 0. Luego Im
(X,A,B)
ker
. Veamos que ker
Im
(X,A,B)
:
Sea x ker
, entonces
(A,B)
(x) =
(X,B)
(x) = 0 y x ker
(A,B)
=
Imj
(A,B)
. Entonces existe y H
q
(A) tal que j
(A,B)
(y) = x. Ahora j
(X,B)
i
(X,A)
(y) =
(j
(A,B)
(y)) =
(x) = 0.
Entonces i
(X,A)
(y) Imi
(X,B)
. Por tanto existe z H
q
(B) tal que i
(X,B)
(z) =
i
(X,A)
(y). Ahora
i
(X,A)
(y i
(A,B)
(z)) = i
(X,A)
(y) i
(X,A)
i
(A,B)
(z) = i
(X,A)
(y) i
(X,B)
(z) = i
Entonces y i
(A,B)
(z) keri
(A,B)
= Im
(X,A)
. Por tanto existe w
H
q+1
(X, A) tal que
(X,A)
(w) = y i
(A,B)
(z).
Veamos que
(X,A,B)
(w) = x
(X,A,B)
(w) = j
(A,B)
(X,A)
(w) = j
(A,B)
(yi
(A,B)
(z) = j
(A,B)
(y)j
(A,B)
i
(A,B)
(z) =
x 0 = x. As pues x Im
(X,A,B) 2
5.4 Denicion:
1. Denote i
(X,A),B
= ((X, A), 1
B
) : (A, B) (X, B) y j
X,(A,B)
= (1
X
, (A, B))
en donde (X, A) y (A, B) son admisibles y
(X,A,B)
= j
(A,B)

(X,A)
:
H
q
(X, A) H
q1
(A, B)
2. La sucesion
H
q
(A, B)
i
(X,A),B
H
q
(X, B)
j
X,(A,B)
H
q
(X, A)

(X,A,B)
H
q1
(A, B)
se llama la sucesion de homologa de tripla (X, A, B)
2
5.5 Corolario: La sucesion de homologa de (X, A, B) es una sucesion ex-
acta
2
5.6 Proposicion:
1. Si B = entonces i
(X,A),B
= i
(X,A),
= i
(X,A)
y j
X,(A,B)
= j
(X,A)
y la
sucesion exacta de (X, A, B) es la sucesion exacta de (X, A).
2. Si A
= B, entonces j
X,(A,B)
: H
q
(X, B) H
q
(X, A) es un isomor-
smo,
q
. (Note que A
= B es equivalente a que A es deformable en

B).
3. Si X es deformable en B, entonces la sucesion exacta de (X, A, B) es
la sucesion 0.
4. Si A es contractible a un punto entonces j
X,(A,B)
: H
q
(X, B)
H
q
(X, A) es un isomorsmo.
5. Si (X, A) es admisible y A admite un punto entonces
H
q
(A, )
i
H
q
(X, )
j
H
q
(X, A)

H
q1
(A, )
con los morsmos i
= i
(X,A),
, j
= j
X,(A,)
,
=
(X,A,)
es exacta
2
5.7 Denicion: La sucesion
H
q
(A, )
i
H
q
(X, )
j
H
q
(X, A)

H
q1
(A, )
se llama la sucesion exacta punteada de (X, A)
2
Ahora nos entendemos con morsmos entre triplas.
Supongamos que B A X es una tripla de C
entonces B A, A X,
B X son admisibles.
5.8 Denicion: Si (X
1
, A
1
, B
1
) y (X
2
, A
2
, B
2
) son triplas admisibles, un
morsmo admisible f : (X
1
, A
1
, B
1
) (X
2
, A
2
, B
2
) es una tripla f
X
, f
A
, f
B
con f
X
: X
1
X
2
, f
A
: A
1
A
2
, f
B
: B
1
B
2
tal que (f
X
, f
A
) y (f
A
, f
B
)
son admisibles.
5.9 Proposicion: Si f : (X
1
, A
1
, B
1
) (X
2
, A
2
, B
2
) es un morsmo ad-
misible de triplas, entonces
1. (f
X
, f
B
) es admisible.
2.
H
q
(A
1
, B
1
) H
q
(X
1
, B
1
) H
q
(X
1
, A
1
) H
q
(A
1
, B
1
)
H
q
(A
2
, B
2
) H
q
(X
2
, B
2
) H
q
(X
2
, A
2
) H
q
(A
2
, B
2
)
- -
i
?
(f
A
,f
B
)
-
j
?
(f
X
,f
B
)
?
(f
X
,f
A
)
-
?
(f
A
,f
B
)
- - - - -
establece un homomorsmo de sucesiones de grupos (abelianos) y ho-
momorsmo
2
Notacion: La sucesion de (X, A, B) se denotara H
3
(X, A, B) y se llamara la
sucesion de homologa de la tripla (X, A, B). Se nota claramente que para
dar una teora de homologa es equivalente dar sucesiones de parejas o darlas
de triplas puesto que cada una de ellas implica la otra. Algo distinto ocurre
cuando se hable del axioma de escision. Algo mas laborado debe hacerse. Sin
embargo, la parte de funtores de homologa tienen directamente. En efecto
5.10 Proposicion: Si se toman como objetos las triplas admisibles y como
morsmos entre ellos los morsmos de 5.8 entonces se tiene una categora
2
La categora de la proposicion precedente se denotara C
3
y se tiene de in-
mediato que
5.11 Proposicion: H
3
: C
3
Ch denido como (X, A, B) H
3
(X, A, B)
y para f : (X
1
, A
1
, B
1
) (X
2
, A
2
, B
2
) se toma H
3
(f) el morsmo entre
cadenas de 5.9, 2, entonces H dene un funtor covariante
2
Si = (C, d
0
, d
1
, s) es una homotopa en C. Para una tripla (X, A, B) tome
como cilindro C
3
(X, A, B) a
B A X
C(B) C(A) C(X)
B A X
-
(A,B)
?
d
0
B
-
(X,A)
?
d
0
A
?
d
0
X
-
C(A,B)
-
C(X,A)
6
d
1
B
-
(A,B)
6
d
1
A
-
(X,A)
6
d
1
X
(d
0
(X,A,C)
) = d
0
3
(d
1
(X,A,B)
) = d
1
3
denotaremos
3
= (C
3
, d
0
3
, d
1
3
, s
3
).
5.12 Proposicion:
3
un sistema homotopico sobre C
3 2
En cuanto a la repercusion de
3
sobre la homologa de triplas se tiene.
5.13 Proposicion:
1. Si (X, A, B) es admisible en C
3
entonces tambien lo es la red de C
3
(X, A, B).
2. Si f, g : (X
1
, A
1
, B
1
) (X
2
, A
2
, B
2
) son morsmos en C
3
y f

3
g,
entonces H
3
(f) = H
3
(g)
2
Ejercicios Suplementarios
1. Demuestre 1, 2, 4, 5 de 5.6.
2. Demuestre 3 de 5.6 y comparelo con corolario 6.3 del libro de Hu.
Compatibilice los dos resultados.
3. Concrete la existencia de una categora de parejas punteadas de 5.6,
5 y funtor de homologa siguiendo 5.7. De ademas el correspondiente
sistema homotopico y el paralelo con el axioma de homotopa, como
un teorema.
4. Proponga un paralelo al axioma de escision para parejas punteadas con
su teorema correspondiente a nivel de homologa de parejas punteadas.
5. Denote por H
X
(X, A) la sucesion de 5.7. Determine H
(X, A) cuando
X es contractible a un punto. Determine la existencia y validez de
(X, A).
61 Homologa Singular
CAPTULO 6
HOMOLOGA SINGULAR
Objetos simpliciales y cosimpliciales
Los objetos que dan lugar a la llamada homologa singular juegan un papel mucho mas
amplio en Topologa Algebraica que los mostrados aqu. La presentacin que usamos
permitir al estudiante leer al respecto en libros mas avanzados.
6.1 Definicin:
1 es la categora de los conjuntos {0, 1, , n} = [n], y ? 8 ! " #
morfismos entre ellos las funciones crecientes.
2 Los sobre una categora , son los funtores contravariantes objetos simpliciales V
? V.
3 Dados dos objetos simpliciales de , digamos X,Y: un morfismo V ? V
- - X Y es una transformacion natural : X Y , donde X X(n)
n n n n

6 Proposicin: # Los objetos simpliciales de forman una categora V
Similarmente los sobre son los funtores covariantes y objetos cosimpliciales V ? V
se completa una categora con las transformaciones naturales entre ellos.
6 Notacin: $ Usaremos la notacion corriente para los la categora de los ? V
objetos simplicialers de y para la categora de los objetos cosimpliciales de . V ?V V

Caras, degeneraciones, homomorfismo simplicial
Damos sin demostracin la manera de presentar los objetos simpliciales de : extendida V
6 Proposicin: %
1 En un objeto X esta dado por una sucesion X , n 0, 1, 2, de objetos ? V
n

de junto con morfismos X X , i 0, , n+1 y X X y con las
s d
V
n n+1 n n-1
3 3

llamadas propiedades combinatorias
d d d d si i < j
3 4 4" 3
s s s s si i j
3 4 4" 3

d s =
s si i j
si i j i j 1
s d si i j 1

3 4
4" 3
4 3"
.
"

2 Dados X y Y en (morfismo en ) ? V ? V

un homomorfismo simplicial
f X Y es una sucesion f : X Y , n = 0, 1, 2, de morfismos que
n n n
conmutan con caras y degeneraciones. Es decir
, , . 0 0 . a8 a3 ! 8 "
3 8 8" 3
, , 0 = = 0 a8 a4 ! 8 "
8" 4 4 8

Las s son llamandas y las son llamadas de . La proposicin
4 3
degeneraciones caras . \
y nombres duales rigen para objetos cosimpliciales. As, para un objeto cosimplicial de V
se tienen los mismos niveles pero con s : X X , d : X X y las formulas
i i
n+1 n n-1 i

combinatorias al reves. Por ejemplo en cambio de d d = d d , si i < j se tiene d d =
i j j-1 i
j i
d d , si i < j.
i j-1
De acuerdo con lo precedente, como hemos denotado a la categora de los grupos E,
abelianos, denotar la categora de los grupos abelianos simpliciales. As pues ?
E,
dados X y Y en un morfismo de X en Y o, como tambien se llama, ?
E, un
homomorfismo simplicial f X Y es una sucesion f : X Y , n = 0, 1, 2, de
n n n
homomorfismos que conmutan con caras y degeneraciones.
Grupos abelianos (co)simpliciales y (co)cadenas
Hemos denotamos la categora de las cadenas (complejos de cadenas) de grupos V2
abelianos y homomorfismo entre ellos y la de las cocadenas de grupos abelianos. VV2
Cuando las consideramos , es decir la numeracin
$ $ $ $
E E E
8" 8 !
comienza en , l siguiente resultado liga de manera directa las cadenas con grupos ! /
abelianos simpliciales y similarmente cocadenas con grupos abelianos cosimpliciales:
6.5 Proposicion: Sea C: dado por ? V
E, 2
1 C(X) = X y : X X dada por = ( 1) d , si X es un grupo
n n n n n-1 n i
n-1
i=0
i
$ $

abeliano simplicial
2 Si f: X Y es un homomorfismo simplicial C(f) f .
n n
Entonces C: de 1 y 2 es una equivalencia de categoras ? V
E, 2
De igual manera se tiene el funtor CC: (la categora de las cocadenas) el ? VV E, 2
cual es tambien una equivalencia de categoras.
Funtores de homologa, cohomologa, singular
Por lo precedente, sera suficiente tener un funtor para tener homologa en . V ? V
E,
Igualmente, para cohomologa sobre es suficiente tener un funtor . V V ?E,
Inicialmente a los primeros los llamamos y a los funtores de homologa sobre V
segundos de cohomologa.
La homologa con coeficiente en G sobre los espacios topologicos corresponde a singular
la siguiente composicin de funtores:
Top
Sing L( _,G)
C
? ? V

G984 E, 2
De ella conocemos a C. Los dems los describimos ahora.
6.6 Proposicin: Sea un objeto simplicial de , denotado en forma ] ? T T
extendida por Y , 0, , n 1; Y , . ] 3 ] 4 ! " 8 "
n n+1 " 8 8
3
4

$
3
Considere las asignaciones siguientes si : E S,4T
1 , W E L97 ] E
] 8
8
T
2 dada por . W E W E .
3 ] 8 ] 8" 3 3
$
3 dada por ( ) = W E W E =
4 ] 8 ] 8" 4 4
3
Entonces es un conjunto simplicial W E
]

La construccin de 6.6 se puede extender a los morfismos as:
6.7 Proposicin: Si es un morfismo de , entonces 0 E F T
W 0 W E W F 0 8 ! " #
] 8 ] 8 ] 8
dada por , para es una funcin
simplicial
Poniendo juntos los dos resultados precedentes tenemos:
6.8 Proposicin: , construido en las proposiciones precedentes, es un funtor W
]
covariante W G984
]

T ?
6.9 Definicin: de la proposicin precedente se denomina el W 0?8>9< =381?6+<
]
+=9-3+.9 + ] .
Simplejos Topolgicos
Pasando al caso especfico que nos ocupa, , I6 0?8>9< =381?6+< ./ X9:
W381 X9: G984 W ] ?
]
es precisamente cuando es e de los l modelo corriente
simplejos topolgicos, dado as: ? ? X9:
?
8 8 8"
! " 8 3 3
] B B B l B ! B " 8 =37:6/49

es el
>9:96 13-9 .
? ?
$
n" 8
3
! " 8" ! " 3" 3" 8"
, 0, , n 1 B B B B B B ! B B 3
? ?
3
n+1
4
8
! " 8" ! " 4" 4 4" 4# 8"
, B B B B B B B B B B 4 !
" 8 ".
6.10 Proposicin: as definido es un espacio topolgico cosimplicial ?
6.11 Definicin: se denomina de los W X9: G984
?
?
el funtor singular corriente

espacios topolgicos y se denota W381 X9: G984 ?
En cuanto a L( _ , G) esta dado as:

Grupos G-libres (o G grupos)
Por similitud con el caso de los grupos abelianos libres, en particular con su
comportamiento, damos el concepto de grupo G-libre ( o G-grupo). Posteriormente lo
ligamos a aspectos de homologa y cohomologa.
6.11 Notacin: En lo que sigue usaremos como equivalentes
1 a A" a %
2 para casi todo a en A"
3 salvo a lo mas para un numero finito de elementos de A"
6.12 Definicion: Sea A un conjunto. El grupo
L(A,G) = {f A G | f(a) = 0, a A} a
sera llamado o , denotado el G-grupo sobre A el grupo G-libre generado por A
tambien por L(A) cuando el grupo subyacente G esta claro
Por razones obvias L(A,G) sera tambien denotado G. En los grupos abelianos se
A
tiene, por supuesto, que G G.

A
z

A
6.13 Proposicion: Sea G un grupo abeliano y f A B una funcion. Sea
L(f , G) L(A) L(B) (o L(f) cuando G esta claro), la funcion definida as: si
" " 9 " E K F K sea dada por (b) (a) si f (b) y (b) 0 si

%
a f (b)
-
-1
"
f (b) = . Tomamos L(f,G) Entonces L(f,G) es un homomorfismo de grupos.
-1
9 "
Demostracion: como (L(f)( ))(b) = 0 si f (b) entonces (L(f)( ))(b) (a), y

-1
a f (b)
g

%
-1
se tiene pues que
(L(f)( + ))(b) = ( + )(a) = (a) + (a) = (L(f)( ))(b) + (L(f)( ))(b) # # # #

a f (b) a f (b) a f (b) % % %
-1 -1 -1
= ( L(f)( ) + L(f)( ) ) (b) #
Si f (b) = la igualdad se da trivialmente
-1
g
Se tiene mas aun
6.14 Proposicion: L: Conj AB, con A L(A,G), f L(f,G) es un funtor
covariante.
Demostracion: sean A B y B C funciones. Entonces
f
g

[L(g f)( )](c) = (a)
a (g f) (c)
-1
= (a)
a f (b) b g (c))m
-1 -1
= (a) =

b g (c) a f (b) % %
-1 -1
= L(f)( ) ( ) = L(g)[L9f)( )] (c)
c d c d
b g (c) %
-1

= [L(g) L(f)]( ) (c) c d
Si (g f) (c) = es bien porque g (c) = o bien porque b g (c), f (b) = . g g a g
-1 -1 -1 -1
consideremos g (c) = . Entonces
-1
g
c d c d

[L(g) L(f)] ( ) (c) = L(g) L(f)( ) (c) = L(f)( )(b) = 0
b g (c) %
-1
Por otro lado si b g (c), f (b) = , entonces retomando la ultima sumatoria se recibe a
-1 -1
9

b g (c) b g (c) a f (b) % % %
-1 -1 -1
L(f)( )(b) = (a) = 0
La demostracin de que L(1 ) = 1 es simple
A L(A)

Una version equivalente, pero que facilita procesos de adjuncion es la siguiente:
6.15 Porposicin: Sea G un grupo abeliano.
Para un conjunto A, sean
T(A) g a | g 0 a A a

a A
a a
%
%

a A a A a A
a a a a
% % %
g a h a (g +h ) a
g a 0 si y solo si g 0 a A.
a A
a a
%
a %
Para f:A B sea T(f): T(A) T(B) la funcion dada por T(f)( g a )= g f(a).

a A a A
a a
% %
Entonces:
1) T(A) es un grupo abeliano.
2) T(f) es un homomorfismo.
3) T: ; a T(A) ; f T(f) es un funtor covariante. G984 E,
4) : L(A) T(A) ; (a) a es un isomorfismo natural -
A
a A

%

Como es costumbre en la prctica los terminos de g a con g se omiten. !
a A
a a
%
Dado lo precedente usaremos indiferentemente el funtor T o L en lo que sigue. En
particular se tiene la generalizacion de la adjuncion del funtor de generacin de grupos
abelianos libres con el de olvido de la estructura de grupo:
6 Proposicion: "' Sea R: el funtor Hom(G, ). Entonces (T, R) es un E, G984
par adjunto, en el sentido de que existe un isomorfismo natural
-
\E E, G984
: ( T(X) , A) ( X, R(A) ) L97 L97
Demostracion: En efecto sea : ( T(X) , A) ( X, R(A) ) - - L97 L97
\E E, G984
dada por ( (f)(x))(g)=f(gx), donde f:T(X) A es un homomorfismo y g G. Entonces - % -
es un isomorfismo natural
Regresando al funtor L, fijamos ahora el conjunto A y permitimos variacion sobre G:
6 Proposicion: "( Sea A un conjunto. Sea S : AB AB definido en los objetos por
S(G) G y en los morfismos, si f: G Hes un homomorfismo sea
A

S(f) f G H. Entonces S es un funtor covariante
A A A

Los dos funtores se pones juntos as:
En lo que sigue usaremos la notacion A G en cambio de L(A, G) . Con lo cual se tiene
6 Proposicion: ")
i) ( ) . . E K K z E K E K
1 2 1 2
ii) ( ) ( )

E K z E K
i i
iii) E F K z E F K
iv) g K !
v) K K
vi) E ! !
Demostracion:
i) Sea F: A.(G G ) A.G A.G dada por F( )= ( , ) en donde, para
" # " # " #

1 :A G G , = .
" # i i
Ahora
F( ) (( ) , ( ) ) = (( ( ), ( + )) " " " 1 " 1 "
" " # 2
( + , + ) = ( , ) + ( , ) = F( ) + F( ). 1 1 " 1 1 " 1 1 1 " 1 " "
" " # # " # " #
Ademas si F( ) = 0 entonces ( , ) = 0 y = 0. Finalmente si : A G ,
" # "
" " " :A G entonces ( , ): A G G aplica a ( (a), (a) ) que claramente

# " #
pertenece a A(G G ) y F( , ) = ( , ).
" #
" "
ii) Sige de la adjuncion de (L,R)
iii) Usamos la funcion biyectiva corriente del isomorfismo
G (G ) . F: (A B)G A(BG) con (F( )(a))(b) = (a, b).
A B B A

Claramente F( ) A(BG) y (F( )(a))(b) ( )(a, b) (a, b) (a, b) " " "
Como corolario se tiene, por supuesto
6.19 Corolario:
i) Sea G un grupo abeliano finitamente generado, digamos G
p p
" #
8 8
" #

p p m
i
8 8 7 3 . Entonces L(A, G) L(A, ).
n
i=1
z
ii) L(A, G) L {a}, G L({a}, G) G = G
a A a A A
z
a A % % %

El calculo de L(A,G) se reduce pues al calculo sobre grupos cclicos de orden de potencia
de primo. La parte ii) se coloca unicamente para enfatizar que L puede ser definido como
L( ) , para cualquier objeto final y extendido por linealidad" sobre sumas. i K W
X entonces G984 ?
" G984 E, L(X,G) es el funtor compuesto . Sus caras y ?
X
L( _ ,G)
degeneraciones sern:
# d : L(X,G) L(X,G) es L(d ,G): L(X ,G) L(X ,G) y lo mismo para
i n n-1 i n n-1

$ = s : L(X,G) L(X, G) es L( ,G): L(X ,G) L(X ,G). Adems
j n n+1 i n

8"
% 0 \ ] si es una funcin simplicial entonces L(f, G) = L(f , G).
n n
Es decir se aplica L( ,G) al X e igual cosa para las funciones simpliciales: si esquema
0 \ ] es una de ellas entonces L(f, G) = L(f , G).
n n
Cambio de coeficientes
Naturalmente la homologa sucede cuando se toma . Cambiar a se puede dar de K K
dos maneras. Uno usando L( _, G) en cambio de L( _, ). El otro hacer uso del siguiente
mecamismo:
6.20 Proposicin: Sea es un funtor covariante. Si se toma J T U
i dado por y ? ? T ? U

J ] J ]
ii como , para ? - ? - - -

8 8
J ] J ^ J J J ] ^
entonces es un funtor covariante. ?
J
6.21 Definicion: de 6.20 se llama de ? ? T ? U

J la extensin simplicial
J T U
Por ejemplo la extencin simplicial del funtor T: es el funtor G984 E,
? ? ?

X G984 E, L(_,G): .
6.22 Definicion: el funtor de cambio de L( _, G): sera llamado ? ?

G984 E,
coeficientes a G
Problemas suplementarios
De igual manera se tiene el funtor CC: (la categora de las cocadenas) el ? VV E, 2
cual es tambien una equivalencia de categoras.
Usando descomposicion de [m] [n] 6 Proposicin: %
COEFICIENTES HOMOTOPICOS
Por Roberto Ruiz S.
Profesor Titular Universidad del Valle
Cali, Octubre de 1993
NDICE
Pg
1. GRUPOS G-LIBRES 2
Grupos G-libres (o G grupos) 2
2. OBJETOS SIMPLICIALES Y COSIMPLICIALES 6
Cambio de coeficientes, Puntos, Arcos, Lazos 6
Caras, degeneraciones 6
propiedades combinatorias 6
Homomorfismo Simplicial 7
Grupos abelianos (co)simpliciales y (co)cadenas 7
Funtores de homologa, cohomologa y homotopa 7
Cambio de coeficientes, Puntos, Arcos, Lazos 8
3. CAT COMO FUENTE DE HOMOTO-HOMOLOGIA
Y COHOMOLOGIA 9
Fuente Algebaica 9
El funtor nervio 10
El funtor co-nervio 10
Funtores de ordenes 11
Funtores de Operaciones 12
4. LA TEORIA ALGEBRAICA DE LOS GRUPOS ABELIANOS 12
Sistemas geometricos de coeficientes 12
Bibliografa 14
1. GRUPOS G-LIBRES
Grupos G-libres (o G grupos)
Por similitud con el caso de los grupos abelianos libres, en particular con su
comportamiento, damos el concepto de grupo G-libre (o G-grupo). Posteriormente lo
ligamos a aspectos de homologa, cohomologa y homotopa.
1.1. Definicion: Sea A un conjunto. El grupo
L(A,G) {f: A G | f(a) 0, a A} a
sera llamado o , denotado el G-grupo sobre A el grupo G-libre generado por A
tambien por L(A) cuando el grupo subyacente G esta claro
Aqu la notacion a A" significa para casi todo a en A" o, equivalentemente, salvo a a %
lo mas para un numero finito de elmentos de A".
Por razones obvias L(A,G) sera tambien denotado G. En los grupos abelianos se
9
A
tiene, por supuesto, que G G.
9
A
A
1.2. Proposicion: Sea G un grupo abeliano y f: A B una funcion. Sea L(f,G) o
L(f) cuando G esta claro, la funcion definida por
L(f) : L(A) L(B)
"
donde (b) es (a) si f (b) y es 0 si f (b) . Entonces L(f,G) es " 9 9
a f (b) %
-1
- -1 "

un
homomorfismo de grupos.
Demostracion: como (L(f)( ))(b) 0 si f (b) o bien (L(f)( ))(b) (a), se 9
-1

a f (b) %
-1
tiene pues que
(L(f)( + ))(b) ( + )(a) (a) + (a) " " "

a f (b) a f (b) a f (b) % % %
-1 -1 -1
(L(f)( ))(b) + (L(f)( ))(b) (L(f)( ) + L(f)( ))(b) " "
Si f (b) 0 la igualdad se da trivialmente
-1

Se tiene mas aun
1.3. Proposicion: L: Conj AB, con A L(A,G), f L(f,G) es un funtor
covariante.
Demostracion: sean A B y B C funciones. Entonces
f
g

[L(g f)( )](c) (a) (a)

a (g f) (c) a f (b) b g (c))m
-1 -1 -1
(a) L(f)( ) ( )

b g (c) a f (b) b g (c) % % %
-1 -1 -1
c d

L(g)[L9f)( )] (c) [L(g) L(f)]( ) (c) c d c d
Si (g f) (c) es bien porque g (c) o bien porque b g (c), f (b) . a
-1 -1 -1 -1
9 9 9
consideremos g (c) . Entonces
-1
9
c d c d [L(g) L(f)] ( ) (c) L(g) L(f)( ) (c) L(f)( )(b) 0
b g (c) %
-1
Por otro lado si b g (c), f (b) , entonces retomando la ultima sumatoria se a
-1 -1
9
recibe

b g (c) b g (c) a f (b) % % %
-1 -1 -1
L(f)( )(b) (a) 0

La parte de L(1 ) 1 es clara
A L(A)

Una version equivalente, pero que facilita procesos de adjuncion es la siguiente:
1.5. Proposicion: Sea G un grupo abeliano.
i)Para un conjunto A, sean
T(A) { g a | g 0 a A } a
a A %
a a
%
g a + h a (g +h )

a A a A a A % % %
a a a a
g a 0 si y solo si g 0 a A.
a A %
a a
a %
ii) para f:A B sea T(f): T(A) T(B) la funcion dada por T(f)( g a) g f(a).

a A a A % %
a a
Entonces:
1) T(A) es un grupo abeliano
2) T(f) es un homomorfismo
3) T: CONJ AB ; a T(A) ; f T(f) es un funtor covariante
4) : L(A) T(A) ; (a) a es un isomorfismo natural -
A

a A %

(Como es costumbre los terminos de g a iguales a cero se omiten. Algo del tipo

a A %
a
gx,con x X o ga con a A es normal) % %
Dado lo precedente usaremos indiferentemente el funtor T o L en lo que sigue. En
particular se tiene la generalizacion de la adjuncion del funtor de generacion de
grupos abelianos libres con el de olvido de la estructura de grupo:
1.6. Proposicion: Sea R: AB CONJ el funtor Hom(G, ). Entonces (T, R) es
un par adjunto, es decir que R es adjunto a derecha de L.
Demostracion: En efecto sea : AB(T(X),A) CONJ(X,R(A)) dada por -
( (f)(x))(g) f(gx), donde f:T(X) A es un homomorfismo y g G. Entonces es un - % -
isomorfismo natural
Regresando al funtor L, fijamos ahora el conjunto A y permitimos variacion sobre G:
1.7. Proposicion: Sea A un conjunto. Sea S : AB AB definido en los objetos
por S(G) G y en los morfismos, si f: G H es un homomorfismo entonces
A

9
S(f) f G H
A A A

9 9 9
Entonces S es un funtor covariante
Los dos funtores se pones juntos as:
1.8. Corolario: Sea L: Conj x AB AB dado por L(A, G) G y si (f, F): (A,
A

9
G) (B, H) es un morfismo de Conj x AB entonces L(f, F): G H, con ( L(f,
A B

9 9
F)( ) ) (b) F( (a)) o 0 si f (b) . Entonces L es un funtor covariante 9
a f (b) %
-1
-1
Una descomposicion de L(f, F) es clara:

1.9 Proposicion: Con la notacion de 1.6 se tiene que
L(f, F) ( F ) L (f, F) L (f, F) ( F)
B A

9 9

En lo que sigue usaremos la notacion A G en cambio de L(A, G) . Con lo cual se
tiene
1.10 Proposicion:
i) A (G G ) A.G A.G
1 2 1 2
ii) ( A ) G (A G)

i i

iii) (AxB) G A (B G)
iv) G 0 9
v) * G G
vi) A 0 0
Demostracion:
i) Sea F: A.(G G ) A.G A.G dada por F( ) ( , ) en donde, para :
" # " # " #

A G G , . Ahora F( + ) (( + ) , ( + ) ) (( ( + ),
" # " "
C " " " C "
i i 2
C " C C " C C " C C C " C " "
# " " # # " # " #
( + )) ( + , + ) ( , ) + ( , ) F( ) + F( ).
Ademas si F( ) 0 ( , ) 0 0, 0. Luego 0.
" # " #
Finalmente si : A G , : A G entonces ( , ): A G G , a " "
" # " #
( (a), (a)) claramente pertenece a A(G G ) y F( , ) ( , ). " " "
" #

ii) Sige de la adjuncion de (L,R)
iii) Usamos la funcion biyectiva corriente del isomorfismo G (G ) . F: (AxB)G
AxB B A
A(BG) con (F( )(a))(b) (a, b). Claramente F( ) A(BG) y (F( + )(a))(b) "
( + )(a, b) (a, b) + (a, b) " "
Como corolario se tiene, por supuesto
1.11. Corolario:
i) Sea G un grupo abeliano finitamente generado, digamos G n n
p p
" #
" #

p m p i
m i
n . Entonces L(A, G) L(A, n ).
n
i 1
9
ii) L(A, G) L {a}, G L({a}, G) G G
A

9 9 9
a A % a A a A % %

El calculo de L(A, G) se reduce pues al calculo sobre grupos cclicos de orden de
potencia de primo. La parte ii) se coloca unicamente para enfatizar que L puede ser
definido como L(*) G, para cualquier objeto final * y extendido por linealidad" sobre
sumas.
2. OBJETOS SIMPLICIALES Y COSIMPLICIALES
Objetos simpliciales y cosimpliciales
Recordemos que los objetos simpliciales sobre una categora , son los funtores V
contravariantes donde es la categora de los conjuntos {0, 1, , n} [n] ? V ?
y morfismos las funciones crecientes. Dados dos objetos X, Y: un morfismo ? V
- - : X Y es una transformacion natural : X ( X(n)) Y . Los objetos
n n n
simpliciales de forman una categora. Similarmente los objetos cosimpliciales sobre V
V ? V son los funtores covariantes y se completa una categora con las
transformaciones naturales entre ellos. Usaremos la notacion corriente para la ? V
0
primera categora y para la segunda. ?V
Caras, degeneraciones
En AB un elemento X esta dado por una sucesion X , n 0, 1, 2, de grupos ?
n

abelianos junto con homomorfismos.
X X i 0, , n+1 (llamadas )
s
n
i
n+1
degeneraciones
X X i 0, , n 1 (llamadas )
d
n
i
n-1
caras
y con las llamadas propiedades combinatorias
d d d d si i < j
i j j-1 i
s s
s s si i<j
s si i<j

i j
j+1 i
j-1

d s
si i j i j 1
s d si i j 1
i j
j i-1
"

Homomorfismo Simplicial
Dados X y Y en AB (morfismo en AB) f X ? ?

un homomorfismo simplicial
Y
es una sucesion f : X Y , n 0, 1, 2, de homomorfismos que conmutan con
n n n

caras y degeneraciones. Igual cosa sucede para , donde es una categora ? V V
cualquiera. Aqu s , d , f son morfismos de . Para un objeto cosimplicial se

i j n
V ?V
tienen los mismos niveles pero con s : X X , d : X X y las formulas
i i
n+1 n-1 i n

combinatorias al reves. Por ejemplo en cambio de d d d d si i < j se tiene d d
i j j-1 i
j i
d d si i < j.
i j-1
Grupos abelianos (co)simpliciales y (co)cadenas
Por otro lado denotamos CAD la categora de las cadenas (complejos de cadenas) de
grupos abelianos y homomorfismo entre ellos y CCAD la de las cocadenas de
grupos abelianos. Los objetos de AB (respectivemente AB) se llaman ? ?
grupos
abelianos simpliciales (respectivemente cosimpliciales) . El siguiente teorema liga
de manera directa las cadenas con ellos [1]:
2.1. Proposicion: d Si X es un grupo abeliano simplicial sea C(X) X , : X
n n n n
X dada por ( 1) d . Si f: X Y es un homomorfismo simplicial

n-1 i n
n-1
i 0
i
d

sea C(f) f . Entonces C: AB CAD es una equivalencia de categoras

n n
?
De igual manera se tiene el funtor CC: AB CCAD (la categora de las ?

cocadenas) el cual es tambien una equivalencia de categoras.
Funtores de homologa, cohomologa y homotopa
Por lo precedente sera suficiente tener un funtor AB para tener homologa en V ?

V V V ? . Igualmente, para cohomologa sobre es suficiente tener un funtor AB.
Inicialmente a los primeros los llamamos y a los funtores de homologa sobre V
segundos de cohomologa
Ejemplo: La homologa singular con coeficiente en G sobre los espacios topologicos
corresponde al siguiente funtor:
Top CONJ AB CAD
Sing L( ,G)
C
? ?

en donde Sing es el funtor singular corriente y L( , G) esta dado as: si X: ?
CONJ entonces L(X, G) es el funtor compuesto CONJ AB, d : L(X,
X
L( ,G)
?
i
G) L(X,G) es L(d ,G): L(X ,G) L(X ,G) y lo mismo para s : L(X, G) L(X,
n n n n-1 i n-1 j

G) . Es decir se aplica L( ,G) al esquema X e igual cosa para las funciones
n+1
simpliciales: si f: X Y es una de ellas entonces L(f, G) L(f , G).
n n
Si H es un grupo abeliano, entonces el funtor contravariante Hom(_ ,H) :AB AB,
se extiende a todo AB, para producir cohomologa. Por su caracter de ?
contravariante la extension resulta un funtor AB AB. Si H Hom(G,R(B)) ? ?

entonces la cohomologa
? ? ?

CONJ AB AB
L(_,G) Hom(_,H)

se simplifica a
R(B): CONJ AB ? ?
debido a las propiedades de la adjuncion de (L,R)

Cambio de coeficientes, Puntos, Arcos, Lazos
2.2. Definicion: el funtor de cambio L(_, G): CONJ AB sera llamado ? ?

de coeficientes a G
Pero los funtores que caen en AB tambien son de homotopa. Esto porque, como ?
veremos a continuacion, en AB hay tambien homotopa. De hecho tiene un ?
espacio de lazos" interno que produce (entonces tambien internamente) el teorema

de Hurewicz.
2.3. Definicion: Sea X AB. ?
i) X se llamara el conjunto subyacente de X y sus elementos los puntos de X".

0
ii) X se llamara el conjunto de los arcos de X y si x X, d (x) se llamara el punto
"

0
inicial de x y d (x) su punto final.
"
iii) En X se define x y si existe z X tal que d z x y d z y
a
0 0

" "

2.4. Proposicion: Con la notacion de 2.3 se tiene
i) es una relacion de equivalencia .
a

ii) Si f: X Y AB, x, y X , se tiene que si x y entonces f (x) f (y)
a a
?
0 0 0
en Y.
iii) es compatible con la estructura de grupo de X . Es decir si x y y c X
a a

0 0
entonces cx cy.
a
iv) Sea : AB AB dado por (X) y si f: X Y en AB, (f) C ? C ? C

0 0 0
X
a

[f]: (X) (Y), [x] [f (x)]. Entonces es un funtor covariante. C C C

0 0 0 0
v) Para X AB sean ?
(X) {x X | x 0, x 0, 0 i n+1, k 0, H
n n+1 0 i i k
` ` `
0 n
, n}
( d : (X) (X) ) ( d : X X )
i n-1 i+1 n+1 n n
H H
( s : (X) (X) ) ( s : X X )
i n+1 i+1 n+1 n+2 n
H H
entonces (X) AB y si para f: X Y AB se toma (f): (X) (Y) H ? ? H H H

como (f) f entonces : AB AB es un funtor covariante H H ? ?
n n+1

2.5. Definicion:
i) se llama el funtor Grupo de lazos". Mas generalmente: H
ii) se llama el funtor grupo n-esimo de lazos" H H H
n n-1

iii) se denota y se llama el funtor grupo n-esimo de homotopa", : AB C H C C ?
0
n
n n

AB
iv) AB AB AB se llama el funtor n-esimo grupo de homotopa
L( , G)
? ?
1

n
con
coeficientes en G", se denota ( , G) C
n

Note que (i) no hemos punteado" la categora para tener . (ii) no hemos definido H
una operacion en (X) que por paso al cociente produzca (X). Por el contrario (iii) H C
"
hemos usado la estructura de grupo abeliano simplicial para definir en cambio del C
"
procedimiento normal de la teora algebraica de los conjuntos simpliciales de Kan"
(ver [1] , [2] o [6]) . En esta ultima si x, y (X,*) , entonces, por la condicion de %H
0
extension de Kan, existe w (X,*) tal que d (w) x , d (w) y. Se demuestra que %H
" # 0

esta bien definida la operacion [x]+[y] [d (w)]. Nosotros usamos la siguiente ventaja
"
:
2.6. Proposicion: Si X AB entonces en (X,0) [x]+[y] [x+y]. %? H
0

Demostracion: El calculo de w da como resultado w s (y) s (d (s (y))) + s (x).
0 0 0 " "
Por tanto d (w) x+y
"

Hemos usado pues (X,0) como (X). Se tiene as que un funtor AB H H V ?

produce homologa y homotopa. Los denominaremos funtores de homotopa y
homologa de homoto-homologa o , mas corto, . Si un funtor de lazos" existe ya
en entonces, para que sea compatible, con la estructura que produce el de AB a V ?
travez de F: AB, el siguiente diagrama debe conmutar V ?

AB
F
? V

H H
AB
F
V ?

3. CAT COMO FUENTE DE HOMOTO-HOMOLOGIA Y COHOMOLOGIA
Fuente Algebraica
La topologa algebraica incluye como partes centrales el estudio de homotopa,
homologa y cohomologa, los cuales Quillen [4] concreto dentro de un mismo
esquema que el llamo Algebra Homotopica". Ahora bien, AB tiene ?
caractersticamente los tres aspectos de los cuales hemos visto homologa y

homotopa. La cohomologa en AB parece ser trivial (ver nervio). Esta definida, ?
para X AB por CC(X) X y : X X es ( 1)s . Para ?
n n n
n n
n+1 i
d d

i 0
n+1
completar la tripla se prefieren funtores que caigan en AB. Si pensamos de la ?
Topologa algebraica" como una Teora algebraica sobre Top" entonces el algebra
homotopica estudia las teoras algebraicas sobre " en donde es variable. Decimos V V
que si admite funtores AB y AB. La V es una fuente algebraica V V ? V ?
mas util en cuanto a funtor AB es CAT, simplemente porque hay un gran V ?

numero de funtores que caen en CAT y entonces componen con CAT AB. ?
Aqu veremos que ademas existe tambien un funtor CAT AB ntimamente ?

relacionado con aquel. Este no corresponde al paso corriente de homologa a
cohomologa por medio del funtor Hom. De hecho es tambien un funtor covariante.
El funtor nervio
3.1. Proposicion: Sea una categora pequena. Sean
~
T
a T T

( ) {( , , ) | A A A A con }
n n n 1 0 1 2 i
1 2 n

d : ( ) ( ) que elimina el objeto
i n-1 n
a T a T
i esimo
s : ( ) ( ) que agrega A A
1
i n+1 i i n
a T a T
y para F: sea T U
(F) : ( ) ( ) a a T a U
n n n
( , , ) (F( ), , F( ))
1 1 n n

Entonces
i) ( ) es un conjunto simplicial a T
ii) (F) es una funcion simplicial a
iii) : CAT CONJ es un funtor covariante a ?

El funtor es conocido como el funtor nervio". Nosotros usamos la presentacion de a

[5i]. Naturalmente el compuesto
CAT CONJ AB
L( , G)

a
? ?

es el . Compuesto con C: funtor algebraico sobre CAT, con coeficientes en G
?
AB CAD dara la y homologa nervio sobre CAT con coeficientes en G

compuesto con : AB AB dara C ?
n

la homotopa nervio sobre CAT con
coeficientes en G. En cuanto a cohomologa tenemos
El funtor co-nervio
Para el caso de cohomologa proponemos el funtor co nervio" el cual se asemeja
mucho al nervio mismo.
3.2. Proposicion: Sea una categora pequena. Sean
~
T
Va T T ( ) {( , , ) | existe, }
n n 0 i i+1 i

D: ( ) ( ) agrega la identidad en la i-
i
n n+1
Va T Va T
esima
posicion
S : ( ) ( ) en la i-esima posicion cambia
j
n n-1
Va T Va T
i
por y corre todos los
i+1 i
demas de i en adelante
Para F: , un funtor covariante, sea T U
(F) ( ) ( ) Va Va T Va U
n n n

( , , ) (F( ), , F( ))
0 0 n n

Entonces
i) ( ) es un conjunto cosimplicial Va T
ii) (F) es una funcion cosimplicial Va
iii) : CAT CONJ es un funtor Va ? covariante
3.3. Definicion:
i) El funtor : CAT CONJ se llamara el funtor co nervio" de CAT. Va ?
ii) El funtor CONJ AB se llamara el funtor de
L( ,G)
Va ? ?
Va
cohomologa
co nervio sobre CAT con coeficientes en G".
iii) El funtor CAT AB AB, con la primera coordenada el funtor algebraico ? ?
con coeficientes en G y la segunda el funtor de cohomolga conervio lo

llamaremos sobre CAT y lo denotaremos por . el funtor algebraico nervio Ta
Note que el co-nervio en los mismos conjuntos usados como niveles para el nervio y
tiene la mismas funciones caras y degeneraciones pero intercambiadas, cortadas y
reordenadas. Es posoble que el conervio se extraiga del nervio por metodos
funtoriales como los cortes a derecha e izquierda y finalmente se intercambien caras
y degeneraciones. En tal caso la cohomologa del conervio (que no es trivial) dera la
cohomoga degenerada" de un conjunto simplicial (extraido del nervio) y por ende la
presuncion de trivialidad de la degenerada sera desvirtuada.
Funtores de ordenes
Si A es un conjunto ordenado con orden (relacion reflexiva y transitiva), entonces
A tiene una estructura de categora tomando Obj A y si a, b A, entonces T T
Mor(a, b)
si a b
(a, b) si a b
9
Si f: A B es una funcion que respeta el orden f: es evidentemente un T U
funtor covariante. Se tiene entonces un funtor Or: ORD CAT en donde ORD
denota la categora de los conjuntos ordenados. Ahora podemos restringirnos a
subcategoras de ORD. Por ejemplo, puesto que una topologa es un conjunto
ordenado existe una inclusion
TOP ORD
I
Con I(X, ) ( , ) y si f: (Y, ) (Y, ) es contnua, entonces I(f): ( , )

x y y
( , ) dada por (I(f))(B) f (B). Es un funtor contravariante. Este induce un
x
-1
funtor de cohomologa contravariante en TOP que no es producido (al menos de
manera evidente) por uno del tipo Hom( G,_) a saber
TOP ORD CAT AB
I Or

Va
?
De igual manera si denota cualquiera de las categoras RET (de los retculos) , V
BOOL (de las Agebras de Boole), CMPL (de los complejos simpliciales) entonces se
tienen los funtores algebraicos
V ? ?
Ta
ORD CAT AB AB
I Or

Igualmente las operaciones tienen representacion categorica y entonces tambien la

tienen las estructuras algebracas, asi:
Funtores de Operaciones
Un conjunto (A, . ) con una operacion modulativa y asociativa tiene asociado una
estructura de categora, digamos , donde Obj( , ) {1} y Mor(1, 1) A y la T T
composicion es el producto en A. Ademas si f: (A, ) (B, ) es una funcion que
preserva la operacion y el modulo, entonces se tiene un funtor f: definido de T U
la unica manera posible sobre los objetos y como f: A B en los morfismos. Se
recibe pues un funtor O OAM CAT
p

covariante donde OAM denota la categora de las operaciones asociativas y
modulativas. Las restricciones en OAM incluye la categora de los grupos, de las
algebras de Boole (en sus dos formas isomorfas) y en el caso de una estructura con
ms de dos operaciones, digamos {(A,* )} se puede usar para representarla, por
i i I %
este procedimiento, a (A, * ). Las inclusiones I : (A, * ) (A, * ) son
i I i
9 9
%
i j j i
inclusiones naturales que preservan la estructura de cada operacion. El mismo

procedimiento puede usarse para operaciones externas o acciones.
4. LA TEORIA ALGEBRAICA DE LOS GRUPOS ABELIANOS
Resaltamos aqu el funtor algebraico de los grupos que resultan de manera natural y
directa del funtor L(A,_). Para esto tenemos :
4.1. Proposicion: Sea X CONJ. Entonces X induce un funtor covariante %?
AB AB dado por L(G) L(_,G) X y si f:G H es un homomorfismo entonces ?
L(f) L(_,F) X donde L(_,f):L(_,G) L(_,H) es la transformacion natural inducida

por f. Igualmente si X CONJ entonces la misma definicion produce un funtor %?
AB AB ?
Sistemas geometricos de coeficientes
En particular cuando se inicia con X en ORD o en OAM . Entonces se tiene una
pareja ( I(X), (X) ) la cual induce un funtor AB AB AB que a Va ? ?
denotaremos . X se llama . Si X es un T
X
el sistema de coeficientes de T
X
complejo simplicial, entonces se dice que X es un sistema geometrico de
coeficientes.
Ejemplo: Esquema de los coeficientes de la teora algebraica de AB con coeficientes
en I [0,1]. En este caso podemos hacer una representacion por complejo simplicial,
por simplicidad. El complejo mnimo que representa a I [0,1] es {{0},{1},{0,1}}. ^
Simplificando escritura lo denotamos {0,1,i} con orden (dado por la inclusion en ) ^
0<0, 1<1, i<i , 0<i ,1<i . La categora que le corresponde tiene Obj { 0 ,1 ,i } y V V
como morfismos 0<0 (denotado 0), 1<1 (denotado 1), i<i (denotado i), 0<i
(denotado ), 1<i (dentado ). El esquema conjuntista de coeficientes es: "
a V V ( ) Obj {0,1,i}
0

a V % V " ( ) { f | f Mor } { 0,1,i, , }
"

a V V " " ( ) {(f,g)| g f existe en } { (0,0),(0, ),(1,1),(1, ), (i,i) ,( ,i),( ,i) }
#

a V V ( ) {(f,g,h)| g f y h g existen en } { (0,0,0),(0,0, ), (0, , ),(0, ,i),(1,1,1),
$

(1,1, ),(1, , ),(1, ,i), (i,i,i),( ,i,i),( ,i,i) } " " " " "
En general ( ) {( f , . . . , f ) | f f existe en } a V V
n n i+1 i

"
Las caras seran
d : ( ) ( ) elimina el dominio. As i
0 0
a V a V
"

d : ( ) ( ) elimina el codominio. As 1
" "
a V a V "
0
d : ( ) ( ) elimina la primera coordenada. As (1, )
0
a V a V " "
# "

d : ( ) ( ) compone las coordenadas. As ( ,i)
" # "
a V a V
d : ( ) ( ) elimina la segunda coordenada. As ( ,i) i
# # "
a V a V "
En cuanto a ( ) ( ) , d elimina el dominio, d compone segunda con primera a V a V
$ # "
0
coordenadas, d compone tercera con segunda coordenadas y d elimina tercera
# $
coordenada. De ah en adelante el patron se mantiene.
En cuanto a las degeneraciones s : ( ) ( ) enva cada objeto en su
0 0
a V a V
"
identidad y en las de los niveles superiores, la i-esima degeneracion coloca la
identidad en la i-esima coordenada. As s (1, ,i) (1,1, ,i)
"
" "
Ahora, supuesto que el esquema fuera (para la parte homologica) unicamente
a V a V ( ) ( )
d , d
0 "
entonces la aplicacion de este a, digamos, pondra una copia de este grupo sobre
#
cada elemento de cada conjunto, aplicando L(_, ) as:
#

a V a V

( ) ( )

L(d , ) L(d , )
"
# #
# " # 0
0
Igual cosa se hace para el conervio y cohomologa.
En general todas estas teoras algebraicas estan por calcularse.
Bibliografa
1. May J. P. Van Nostran Simplicial Objects In Algebraic Topology.
Company 1967
2. Moore J. C. Princenton Seminar On Algebraic Homotopy Theory.
University (mimeographed notes)
3. Ruiz-S Roberto i) Monografas Homotopa Abstracta.
matematicas.Sociedad Colombiana De
Matematicas
ii) Change of Models In Algebraic Topology.
Doctoral Thesis. Temple University
iii) Journal Of Liftings In Categorical Homotopy.
Pure And Applied Algebra
4. Quillen D Springer Verlag. Lecture Notes Homotopical Algebra.
No 43
5. Latch Dana i) The uniqueness of homology for the category of
small categories. Journal of Pure and Applied
Algebra 9(1977)
ii) The connection between the fundamental
groupoid and a unification algorithm for sintactic
algebras. Dpt of Math. North Carolina State
University. (Raleigh) 1990.
6. Gabriel P-Zisman M Calculus of fractions And Homotopy Theory.
Springer Verlag (NewYork)1967

To Polo Gia Algebraic A

Încărcat de

Informații document

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

To Polo Gia Algebraic A

Încărcat de

Drepturi de autor:

Formate disponibile

1

= entre categoras es una relacion de equiva-

Captulo 1. Categoras y funtores 11

= B. Entonces A es nal si y solo si B lo es

= (caso en el cual la categora se dice punteada)

es decir la bola cerrada de

x , x es tanto objeto nal como inicial y algunos autores lo denotan 0.

, ajustamos la homotopa. Queda como tema para trabajo de grado

y completar el bosquejo que se

) si existe H : f g en Top tal que

la relacion de homotopa es una relacion de equivalen-

, la categora homotopica de Top

en donde X + Y denota la suma categorica en Top: X 1 Y 2

tiene como adjunto un funtor conocido como el es-

commuta. Es decir que f

, sin el n, (lo cual permite

IAS ADMISIBLES PARA

de MorC se dice admisible para homologa

entonces tambien estan

esta la red de (X, A)(R(X, A))

, entonces todas las transformaciones naturales

AH6. Para = (C, d

entonces tambien esta su cilindro que se denotara

admite al menos un objeto (, ) y admite entonces todos los mor-

denida, en cambio de decir que = (X, A) esta en

diremos que es admisible. Igual cosa para morsmos de

(caso en el cual se dice que F

es una categora ad-

es admisible sobre (C, ). Sea A una subcategora de

admisible para homologa sobre (C, ). Una teora

, entonces H(f) = H(g) en Ch

se dice cocartesiano si conmuta y si

queda Z + Y = (Z {1}) (Y {2}) y se toma

en Ab, para cada

y el de 3) se llama el q-esimo funtor de

= (Y, B) entonces H(X, A)

= Y entonces para cada q, H

= (Y, ) y el resultado sigue

= (es decir que X es contractible a un punto)

con retraccion compa nera

a) Todas las composiciones verticales son la identidad.

es la identidad es decir que r

. Ademas claramente las las son las identidades (seguimiento que se

= ker por un seguimiento

) en Ab y por la proposicion precedente

3.15 Proposici on: Si X Y existe en C, entonces X (respectivamente Y )

es admisible sobre (C, ).

) si se identica C con la subcategora de C

de los objetos de la forma

: H(A, ) H(X, ) es un epimorsmo y (s, )

: H(X, A) H(X, X) induce la identidad i

es sobreyectivo y entonces tiene kernel 0 y es un

admisible sobre (C, ), que

tiene como objeto nal (, )

. Las dos cosas son faciles de demostrar.

H(, ). El morsmo : (, ) (, ) es la identidad. Por consiguiente

es cocartesiano entonces T se dice la identicacion de la imagen de

sobre (C, ) tal que

admite conos. Si f : X Y es admisible

son transformaciones naturales.

admite suspension si (X, A) C

admite suspension diremos que C

tiene conos nulos si C

admite suspension y tiene conos nulos.