Homologia de Hochschild y Homologia Ciclica PDF

UNIVERSIDAD NACIONAL DE INGENIERIA
FACULTAD DE CIENCIAS

ESCUELA PROFESIONAL DE MATEMATICA
HOMOLOGIA DE
HOCHSCHILD Y
HOMOLOGIA CICLICA
por
LA ROSA
LAURA BETZABE
OBANDO
Tesis para Optar

el Ttulo Profesional de
LICENCIADO en MATEMATICA
Prof. CHRISTIAN HOLGER VALQUI HAASE

Asesor
UNI, Julio del 2010.

RESUMEN
En el captulo 1 hacemos las definiciones de categoras y funtores, en particular
para un anillo con unidad; consideramos las categoras de modulos a derecha
M e Izquierda M. Para A M y B M; consideramos los funtores aditivos
F = A , que lleva la categora M a la categora de grupos abelianos Ab, y
G = B que lleva la categora M a la categora de grupos abelianos Ab. Es
importante aclarar que en la tesis cuando nos referimos a los -modulos estas son a
izquierda.
Luego damos las definiciones de secuencias o sucesiones exactas e inexactas de
-modulos, que nos permiten dar la definicion de un complejo, que es un objeto
C de la categora de modulos graduados MZ (izquierda) con un endomorfismo de
grado 1 cuya sucesion es semi exacta ( = 0), el conjunto de estos objetos definen
la categora de los complejos Comp.
Luego definimos la Homologa de un Complejo, para cada n Z se tiene
Nu n
Hn (C) = , el cual es un funtor aditivo de la categora de Comp a la
Im n+1
categora M. Definimos luego una sucesion exacta corta de complejos, que es
f g
una sucesion de morfismos de complejos 0 / A / B / C / 0 tal que
fn gn
para cada n Z la sucesion 0 / An / Bn / Cn /0 es exacta corta.
Para toda sucesion exacta corta de complejos existe una sucesion exacta larga en
homologa
g
/ Hn+1 (C) / Hn (A) f / Hn (B)
g
/ Hn (c) / Hn1 (A) f /
donde es llamado homomorfismo conectivo.

Luego definimos una resolucion proyectiva del -modulo A como un complejo exacto
(C, ) donde Cn = 0 para n < 0 y C0 = A, cuyo complejo reducido CA es
proyectivo, es decir, Cn proyectivo para n 1. Tambien se tiene que todo -
modulo admite una resolucion proyectiva. Para B M definimos el funtor derivado
T or (A, B) = Hn (GCA ) , donde CA es una resolucion proyectiva del -modulo A y
v
G es el funtor G = B.
Finalmente damos un manera de extender el funtor T definido sobre la categora
de algebras con unidad con valores en grupos abelianos a la categora de algebras
(no necesariamente con unidad). Para esto, sea A un k-algebra sin unidad, podemos
formar un k-algebra con A+ = k A. La definicion de extension de T a k-algebras
sin unidad es dada por T (A) := Conucleo(T (k) T (A+ )).
En el capitulo 2 definimos un A-bimodulo M , para luego definir el complejo
de Hochschild de A con coeficientes en M denotado por (C (A, M ), b), donde
Cn (A, M ) = M An y b es llamado el borde de Hochschild, y la homologa
del complejo es llamada homologa de Hochschild de A con coeficientes en M .
Si A = M , se escribe HH (A) = H (A, A), llamada homologa de Hochschild de
A. Se tiene para cada n Z que Hn (A, ), Hn (, M ) son funtores covariantes;
ademas HH es un funtor covariante de las categora de k-algebras asociativas a la
categora de k-modulos graduados. Luego definimos la resolucion barra (C0 (A), b0 ).
Para la k-algebra proyectiva A y para todo A-bimodulo M y todo n 0 se
op
tiene Hn (A, M ) = T ornAA (M, A). Tambien definimos el complejo de Hochschild
normalizado (C (A, M ), b).
En el captulo 3 damos la definicion de bicomplejos, complejos totales de un
bicomplejo y los grupos de homologa de un bicomplejo. Ademas se define el complejo
mixto B(A) y la homologa cclica del complejo mixto, que es la homologa del
complejo total del bicomplejo B(A); y la secuencia SBI para complejos mixtos.
Damos dos definiciones de Homologa cclica de un k-algebra asociativa A, la primera
a partir del bicomplejo CC(A) y el segundo a partir del bicomplejo B(A). Luego
demostramos que coinciden con la homologa cclica definida a partir del complejo

reducido B(A).
En el captulo 4, hacemos el calculo de la homologa cclica de T (V ), el algebra
tensorial del k-modulo V , aplicando todos los resultados y propiedades vistas en los
captulos anteriores. En el u
ltimo captulo mencionamos algunas conclusiones.
vi
Indice general
1. Preliminares 1
1.1. Categoras y Funtores . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3. Homologa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.4. Funtores Derivados . . . . . . . . . . . . . . . . . . . . . . . . 30

1.5. Extension para Algebras sin unidad . . . . . . . . . . . . . . . 36
2. Homologa de Hochschild 38
2.1. Bimodulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
2.2. Complejo de Hochschild . . . . . . . . . . . . . . . . . . . . . 39
2.3. Resolucion Barra . . . . . . . . . . . . . . . . . . . . . . . . . 47
2.4. Complejo de Hochschild Normalizado . . . . . . . . . . . . . . 53
3. Homologa Cclica 59
3.1. Bicomplejos: . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
3.2. Complejo mixto . . . . . . . . . . . . . . . . . . . . . . . . . . 60
3.2.1. Secuencia SBI para Complejos mixtos . . . . . . . . . . 61
3.3. Homologa Cclica de una k-algebra asociativa A . . . . . . . 63
3.3.1. Primera definicion de Homologa Cclica . . . . . . . . 63
3.3.2. Complejo de Connes . . . . . . . . . . . . . . . . . . . 67
3.3.3. Segunda definicion de Homologa Cclica El
bicomplejo B(A) . . . . . . . . . . . . . . . . . . . . . 74

3.3.4. Secuencia SBI para Algebras . . . . . . . . . . . . . . 81
3.4. El bicomplejo B(A) . . . . . . . . . . . . . . . . . . . . . . . . 82
4. Aplicaci on: 85
4.1. Calculo de la Homologa Cclica de A=T(V) . . . . . . . . . . 85
5. Conclusiones: 95
vii
Captulo 1
Preliminares
1.1. Categoras y Funtores

Definici
on 1.1.1 Una categora C consiste de:
1. Una clase cuyos elementos son llamados objetos A, B, C, . . ..
2. Un conjunto C(A, B) para cada par de objetos A, B de C; cuyos

elementos son llamados morfismos de A en B.
Una ley de composicion
C(A, B) C(B, C) / C(A, C)
(f, g) / gf
tal que los objetos A, B, C de C, que satisfacen los siguientes axiomas:
a) Los conjuntos C(A1 , B1 ), C(A2 , B2 ) son disjuntos a menos que

A1 = A2 , B1 = B2 .
b) La composicion es asociativa. Dadas f C(A, B), g C(B, C) y
h C(C, D) entonces
h (g f ) = (h g) f
c) Para cada objeto A, existe un u nico morfismo identidad

1A C(A, A) tal que para cada f C(A, B) y g C(C, A) se
cumple
f 1A = f 1A g = g
Definici
on 1.1.2 Sean C y D dos categoras.
Un Funtor Covariante F : C D es una aplicacion que satisface:
1
i) Sea A un objeto de C entonces F A es un objeto en D.
ii) Si f C(A, B) entonces F f C(F A, F B).
iii) Si f C(A, B), g C(B, C) entonces F (g f ) = F g F f .
iv) Para todo objeto A en C se tiene F 1A = 1F A .
Un Funtor Contravariante es la aplicacion que satisface:
i) Sea A un objeto de C entonces F A es un objeto en D.
ii) Si f C(A, B) entonces F f C(F B, F A).
iii) Si f C(A, B), g C(B, C) entonces F (g f ) = F f F g.
iv) Para todo objeto A en C se tiene F 1A = 1F A .
Definici on 1.1.3 Una categora C es pre-aditiva si cada
HomC (A, B) = {f C(A, B)/f es un homomorfismo} es un grupo abeliano
(adicion) y se satisface la ley distributiva cuando esta esta definida.
Al elemento neutro de HomC (A, B) lo llamaremos morfismo nulo entre A y
B y lo denotaremos por 0.
Definicion 1.1.4 Si C y D son categoras pre-aditivas, entonces decimos
que el funtor (contravariante o covariante) F : C D es aditivo si
F (f + g) = F f + F g
para f , g HomC (A, B), A y B.
Proposici on 1.1.5 Si el funtor (contravariante y covariante) F : C D es
aditivo entonces F (0) = 0, donde 0 C(A, B) es el morfismo nulo.
Demostraci on: Sea f C(A, B) y 0 C(A, B) el morfismo nulo.
Entonces f +0 = f y como F es un funtor aditivo se tiene F (f ) = F (f +0) =
F (f ) + F (0). Luego tenemos F (0) = 0.
Definicion 1.1.6 Sean los funtores T, L : C D. Una transformacion
natural : T L es una familia de morfismos {A }AC , tal que para todo
f : A A0 en C, el siguiente diagrama es conmutativo.
Tf
TA / T A0
A A0
Lf
LA / LA0
2
Definicion 1.1.7 Decimos que los funtores T, L : C D son naturalmente
equivalentes, si existe una transformacion natural : T L tal que para
cada A C, A : T A LA es un isomorfismo.
Definicion 1.1.8 Sea C una categora y sean A, B dos objetos de C. El

producto de A y B en C consta de un objeto P en C y dos morfismos,
p : P A y q : P B, tales que, para cualquier par de morfismos
f : X A y g : X B en C, existe un u nico h : X P
nico morfismo u
tales que el siguiente diagrama conmuta:
X @
~~~ @@@ g
~~ !h @@@
f
~~~ @@
~~
A o P /B
p q
es decir, f = p h y g = q h.
Los morfismos p y q se llaman proyecciones. Se acostumbra escribir P =

A B.
Proposicion 1.1.9 Seam P y P 0 dos productos para A y B objetos de C,

nico isomorfismo h : P P 0 .
entonces existe un u
Demostraci on: Sean los productos de A y B, P y P 0 en C y los morfismos,

p : P A y q : P B, p0 : P 0 A y q 0 : P 0 B. Consideremos el siguiente
diagrama
P 0 @
~~ @@
~~
p0 @@ q0
~~ @@
~~
h @@
~ @@
~~
~
Ao pP q
/B
nico morfismo h : P 0 P tal que p0 = ph

Por ser P un producto, existe un u
y q 0 = q h. Ahora consideremos el siguiente diagrama
P @
~~~ @@@
p ~~ @q
~~ h0 @@@
~~ @@
~~~ @
Ao p0
P0 q0
/B
Como P 0 es un producto, existe un u nico morfismo h0 : P P 0 tal que

p = p0 h0 y q = q 0 h0 . Luego tenemos el morfismo h h0 : P P tal que
3
p = p (h0 h) y q = q (h0 h) tal como se puede ver el siguiente grafico
P DD
zzz DD
zz DD
p zz DD q
zz 1P 0 DD
zz h h DD
zz DD
z DD
}z
z !
A o P /B
p q
Ademas, p = p 1P y q = q 1P . Luego por unicidad de la propiedad

universal del producto se tiene que h0 h = 1P . De manera analoga se prueba
que h h0 = 1P 0 .
Definicion 1.1.10 Una categora aditiva C es una categora con objeto cero
el cual para cualquier par de objetos poseen un producto y el conjunto de
morfismos C(A, B) es un grupo abeliano tal que la composicion
C(A, B) C(B, C) C(A, C)
es bilineal.
Definicion 1.1.11 Sea un anillo con unidad. Un -modulo (a

izquierda) graduado o Z-graduado es una familia de -modulos (a izquierda)
A = {An }nZ .
Si A, B son -modulos (a izquierda) graduados, un morfismo

f : A B de grado m es una familia de homomorfismos de -modulos
{fi : An Bn+m }nZ . La categora as definida es denotada por MZ
(izquierda). Obtenemos una categora aditiva si nos restringimos a los
morfismos de grado 0.
Proposicion 1.1.12 Sea un anillo asociativo con unidad. Si A M ,
entonces podemos definir un funtor aditivo
F : M / Ab
por medio de F (B) = A B en los objetos. Para el morfismo de - modulos

a izquierda f : B B 0 se define
F f = 1A f.
Similarmente, para B M fijo, existe un funtor aditivo G : M Ab con

G(A) = A B y Gg = g 1B , donde g : A A0 es un -morfismo de
-modulos a derecha.
4
Demostraci
on: Sea a b un tensor elemental de A B
F (1B )(a b) = (1A 1B )(a b) = 1A (a) 1B (b) = a b
es la identidad en A B.
Para probar que F preserva composicion, cabe recordar que:
Observacion 1.1.13 Sean f : A A0 un -morfismo de modulos a derecha
y g : B B 0 un morfismo de - modulos a izquierda. Entonces existe un
nico homomorfismo A B A0 B 0 con a b 7 f (a) g(b).
u
f f0
Observaci
on 1.1.14 Sean A / A0 / A00 morfismos de -modulos a
g g0
derecha y B / B0 / B 00 morfismos de -modulos a izquierda. Entonces
(g 0 f 0 ) (g f ) = (g 0 g) (f 0 f ).
Considerando g = g 0 = 1A se tiene que
F (f f 0 ) = 1A (f f 0 ) = (1A 1A ) (f f 0 ) = (1A f )(1A f 0 ) = F (f )F (f 0 ).
Finalmente, si f, f 0 : B B 0 son morfismos de -modulos a izquierda,

entonces sobre un tensor elemental se tiene
F (f + f 0 )(a b) = 1A (a) f + f 0 (b)

= a f (b) + f 0 (b)

= a f (b) + a f 0 (b)
= 1A f + 1A f 0 (a b)

= F (f ) + F (f 0 ) a b.
De manera analoga se demuestra que G es un funtor aditivo.
1.2. Complejos
Definicion 1.2.1 Sean un anillo con unidad, los -modulos A, B, C y
los morfismos f : A B, g : B C. Se dira que la secuencia
f g
A / B /C
es
semiexacta en B, si g f = 0.
exacta en B, si Nu(g) = Im(f ).
5
Definici
on 1.2.2 La secuencia
0 / A /B /C / 0
es exacta corta, si es exacta en A, B y C.
on 1.2.3 Sean los homomorfismos de modulos f : M 0 M y
Proposici
g : M M 00
f es inyectiva si y solo si
f
0 / M0 / M
es exacta en M 0 .
g es sobreyectiva si y solo si
g
M / M 00 / 0
es exacta en M 00 .
Demostraci
on:
() Se tiene que la aplicacion 0 : 0 M 0 es definida como
0(0) = 0 M 0 , entonces Im 0 = 0 y por ser f inyectiva Nu f = 0.
De ello se tiene que la secuencia es exacta en M 0 .
() Por ser la secuencia exacta en M 0 se tiene que 0 = Im 0 = Nu f ,
luego f es inyectiva.
()La aplicacion 0 : M 00 0 se define como 0(m00 ) = 0, m00 M 00 .
Se tiene Nu 0 = M 00 , por ser g sobreyectiva Im g = M 00 . De ello se
tiene que la sucesion es exacta en M 00 .
() Si la sucesion es exacta en M 00 se tiene Im g = Nu 0 = M 00 ; con
lo que g es sobreyectiva.

Ejemplo 1.2.4 Sean los -modulos M y N , la sucesion
0 / M
i / M N
/ N /0
es exacta corta, con la inyeccion dada por i : m 7 (m, 0) y la proyeccion

: (m, n) 7 n.
Por ser i inyectiva y sobreyectiva de (1.2.3) se tiene que la sucesion es
exacta en M y N . Ademas
Nu = {(m, n) M N/n = 0} = {(m, 0)/m M } = Im i
por lo tanto la sucesion es exacta en M N .
6
Lema 1.2.5 (Lema de los cinco) Sea A un anillo. Consideremos el
diagrama de sucesiones exactas de A-homomorfismos
g1 g2 g3 g4
0 / M1 / M2 / M3 / M4 / M5 / 0
f1 f2 f3 f4 f5
h1
h2
h3
h4

0 / M10 / M20 / M30 / M40 / M50 / 0
conmutativo, tal que f1 , f2 , f4 y f5 son isomorfismos entonces f3 es un

isomorfismo.
Demostraci
on:
1. Veamos la inyectividad de f3 :
Sea m3 M3 tal que f3 (m3 ) = 0. Como el diagrama es conmutativo se
tiene
f4 g3 (m3 ) = h3 f3 (m3 ) = h3 (0) = 0
por ser f4 inyectiva g3 (m3 ) = 0, entonces m3 Nu(g3 ) = Im(g2 ), luego
existe m2 M2 tal que g2 (m2 ) = m3 .
Por la conmutatividad del diagrama se tiene
h2 f2 (m2 ) = f3 g2 (m2 ) = f3 (m3 ) = 0
entonces f2 (m2 ) Nu(h2 ) = Im(h1 ), por lo que existe m1 M10 tal que
h1 (m01 ) = f2 (m2 ). Por ser f1 sobreyectiva, existe un m1 M1 tal que
f1 (m1 ) = m01 . Luego se tiene:
f2 g1 (m1 ) = h1 f1 (m1 ) = h1 (m01 ) = f2 (m2 )
por la inyectividad de f2 se tiene g1 (m1 ) = m2 . Entonces:
m3 = g2 (m2 ) = g2 (g1 (m2 )) = g2 g1 (m2 ) = 0(m2 ) = 0.
2. Veamos la sobreyectividad de f3 :
Sea m03 M30 , entonces h3 (m03 ) M40 . Por ser f4 sobreyectiva se tiene
que existe m4 M4 tal que f4 (m4 ) = h3 (m03 ), por la exactitud de la
secuencia se tiene que g3 es sobreyectiva, entonces existe un m3 M3
tal que g3 (m3 ) = m4 .
Por la conmutatividad del diagrama se tiene:
h3 f3 (m3 ) = f4 g3 (m3 ) = f4 (m4 ) = h3 (m03 )
7
se obtiene que f3 (m3 ) m03 Nu(h3 ) = Im(h2 ), entonces existe un
m02 M20 tal que h2 (m02 ) = f3 (m3 ) m03 .
Por ser f2 sobreyectiva, existe un m2 M2 tal que f2 (m2 ) = m02 .
Consideremos m3 g2 (m2 ) M3 obteniendo
f3 (m3 g2 (m2 )) = f3 (m3 ) f3 g2 (m2 ) = f3 (m3 ) h2 f2 (m2 )
= f3 (m3 ) h2 (m02 ) = f3 (m3 ) (f3 (m3 ) m03 )
= m3 .
Definici
on 1.2.6 Diremos que una sucesion exacta corta de -modulos
f g
0 / M0 /M / M 00 /0
es escindible (o se escinde), si existe un homomorfismo g 0 : M 00 M tal que

g g 0 = 1M 00 .
Proposici
on 1.2.7 Si la sucesion exacta corta de -modulos
f g
0 / M0 /M / M 00 /0 (1.1)
es escindible entonces M
= M 0 M 00 .
Demostraci
on: Notemos que la sucesion
0 / M0
i / M 0 M 00
/ M 00 / 0
con la inyeccion dada por i : m0 7 (m0 , 0) y la proyeccion : (m0 , m00 ) 7 m00 ,
es escindible. En efecto, por (1.2.4) es exacta corta y para la inyeccion
i0 : M 00 M 0 M 00 dada por i0 : m00 7 (0, m00 ) se tiene que i0 = 1M 00 ; por
lo tanto la sucesion es escindible.
Por ser la sucesion (1.1) escindible existe un homomorfismo g 0 : M 00 M
tal que g g 0 = 1M 00 . Definamos el -homomorfismo
: M 0 M 00 / M
(x, y) / f (x) + g 0 (y)
Veamos la conmutatividad del diagrama:
0 / M0
i / M 0 M 00
/ M 00 / 0
1M 0 1M 00
f g
0 / M0 /M / M 00 / 0
8
Para (x, y) M 0 M 00 se tiene:
1M 00 (x, y) = 1M 00 (y) = y
g (x, y) = g(f (x) + g 0 (y)) = g f (x) + g g 0 (y) = 1M 00 (y) = y

| {z }
0
entonces 1M 00 = g .
Sea x M 0 , entonces
i(x) = (x, 0) = f (x) + g 0 (0) = f (x) = f 1M 0 (x)
entonces i = f 1M 0 .
Como 1M 0 y 1M 00 son isomorfismos, por el Lema de los cinco en (1.2.5) se
tiene que es un isomorfismo; es decir, M 0 M 00
= M.
Definici on 1.2.8 Se dice que un -modulo P es proyectivo, si para cualquier

sucesion exacta
M / M 00 /0
de -modulos y cualquier -homomorfismo P M 00 existe un

-homomorfismo P M tal que el diagrama
{
P
{
{
{
}{
M / M 00 / 0
sea conmutativo.
Definici on 1.2.9 Sean S un conjunto y un anillo unitario. Un -modulo

libre sobre S es un par (f, L) donde L es un modulo y f : S L una
aplicacion que verifica la siguiente propiedad universal:
Para cada -modulo y daca aplicacion g : S M , existe un u nico
homomorfismo de -modulos h : L M de manera que el diagrama
f
S @@ /L

@@
@@
@@
g @
@@

M
sea conmutativo.
Teorema 1.2.10 Todo modulo libre es proyectivo.
9
Demostracion: Sean (i, L) un modulo libre sobre S, f : L M 00 un
homomorfismo arbitrario. Consideremos el diagrama
S
i / L
f
g
M / M 00 / 0
Sea s S, entonces f i(s) M 00 . Como g es un epimorfismo, existe ms M
tal que
g(ms ) = f i(s)
(por el axioma de eleccion) elegimos una solo elemento ms de la preimagen
de s, para luego definir la aplicacion:
k:S / M
s / ms
tal que para cada s S:

g k(s) = g(ms ) = f i(s)
es decir g k = g i. Por ser (i, L) un modulo libre, existe un u
nico
homomorfismo h : L M tal que el diagrama
S
i /L
~
~
~
k ~
~ h
~~
M
conmuta, es decir h i = k.
Para s S
g h i(s) = g (h i)(s) = g k(s) = g(ms ) = f i(s)
lo que implica que g h i = f i. Luego tenemos
S /L i
}
}}
gh }}}
}
}}
gk
} }}
~}u f
00
M
Por ser (i, L) modulo libre tenemos g h i = g k = f i, por la unicidad
de homomorfismos se tiene g h = f .
10
Lema 1.2.11 Para todo -modulo M existe una sucesion exacta corta
0 /N / L / M / 0
donde L es proyectivo.
Demostraci on: Sea X M tal que hXi = M (por ejemplo podemos

tomar X = M ). Consideremos el modulo libre generado por X denotado
por L. Entonces la inclusion i : X M se extiende a un homomorfismo
: L M . Como X = i(X) (L), se tiene M = hXi h(L)i = (L).
Luego : L M es un epimorfirmo; por el primer teorema fundamental de
homomorfismos se tiene que:
L
M
= .
Nu
L
Es decir, existe un modulo libre L tal que M = donde N = Nu .
N
Obtenemos la siguiente sucesion exacta corta:

0 /N i / L / M / 0
Como L es un modulo libre por (1.2.10) se tiene que L es proyectivo.
Definici
on 1.2.12 Una sucesion de homomorfismos de modulos
fi+2 fi+1 fi fi1 fi2
/ Ci+2 / Ci+1 / Ci / Ci1 / Ci2 /
es semiexacta (exacta) si
fi+1 fi
Ci+1 / Ci / Ci1
es semiexacta (exacta) en Ci para cada i Z.
Definici
on 1.2.13 Un complejo (C, ) sobre denotado simplemente por
C, es un objeto en MZ con un endomorfismo
: C C de grado 1 con = 0. Es decir, consiste de
una familia {Cn }nZ de -modulos y una familia de homomorfismos de
-modulos {n : Cn Cn1 }nZ
n+1 n n1
C : ... / Cn+1 / Cn / Cn1 / ...
tal que n n+1 = 0 para todo n Z.
11
Observaci on 1.2.14 La sucesion de morfismos de modulos (C, ) es un
complejo, si la sucesion
n+1 n n1
C : ... / Cn+1 / Cn / Cn1 / ...
es semiexacta.
El morfismo (con todos sus componentes n ) es llamado operador

diferencial o borde.
on 1.2.15 Un morfismo de complejos f : (C, ) (C 0 , )
Definici e es un
morfismo de grado 0 en M tal que f = f
Z e , donde la aplicacion f es
0
una familia {fn : Cn Cn }nZ de homomorfismos, tal que para todo n el
diagrama
n /
Cn Cn1
fn fn1

Cn0 / 0
Cn1
en
es conmutativo.
Observaci on 1.2.16 Sea el complejo C = (C, ), la condicion = 0

implica que Im n+1 Nu n , n Z.
Proposici
on 1.2.17 Si C es un complejo
n+1 n n1
C : ... / Cn+1 / Cn / Cn1 / ...
y F un funtor covariante aditivo, entonces

F n+1 F n F n1
F (C) : . . . / F Cn+1 / F Cn / F Cn1 / ...
tambien es un complejo.
Demostraci
on: Como C es un complejo se cumple
n n+1 = 0, n
y como F es un funtor aditivo se tiene
F (n )F (n+1 ) = F (n n+1 ) = F (0) = 0, n
entonces se tiene que F (C) es un complejo.
12
1.3. Homologa
Podemos asociar al complejo (C, ) el modulo graduado
M
H (C) = {Hn (C)}nZ = Hn (C)
nZ
donde
Nu n
Hn (C) =
Im n+1
es llamado n-esimo grupo de homologa de C. Los elementos de Cn son
llamados n-cadenas, los elementos de Nu n son llamados n-ciclos y los
elementos de Im n+1 son llamados n-bordes. Denotemos por Zn = Zn (C)
a Nu n y Bn = Bn (C) a Im n+1 . Luego podemos escribir:
Zn (C)
Hn (C) =
Bn (C)
El morfismo de complejos f : (C, ) (C 0 , 0 ) induce el morfismo
Hn (f ) : Hn (C) Hn (C 0 )
x 7 f (x)
usualmente denotado por f .

Veamos que f esta bien definida:
Sea z Nu n0 un n-ciclo, entonces n z = 0, luego se tiene que
n0 fn z = fn+1 n z = fn+1 0 = 0,
por lo cual fn z Kern es un n-ciclo.

Sea z Im n+1 entonces existe cn+1 Cn+1 tal que n+1 cn+1 = z luego
0
fn z = fn n+1 cn+1 = n+1 fn+1 cn+1
0
entonces fn z Im n+1 . Luego se tiene que f preserva los ciclos y bordes.
Teorema 1.3.1 Para cada n, Hn : Comp M es un funtor aditivo.
Demostraci
on:
Veamos que Hn es un funtor:
Todo objeto (C, ) Comp es llevado por Hn a la un objeto en
f
Hn (C) M y todo morfismo de complejos (C, ) / (C 0 , 0 ) es
llevado por Hn a un morfismo f = Hn (f ) : Hn (C) Hn (C 0 ).
13
f g
Sean (C, ) / (C 0 , 0 ) / (C 00 , 00 ) morfismos de complejos y z
Hn (C), entonces
(gf ) (z) = gf (z) = g (f z) = g f (z).
Sea (C, ) Comp y el morfismo identidad 1C : (C, ) / (C, ) ,

entonces Hn (1C ) : Hn (C) Hn (C), tal que para cada x Hn (C) se
tiene que
Hn (1C )(x) = 1C (x) = x = 1Hn (C) (x).
Veamos que Hn es aditivo:

Sean f, g : (C, ) (C 0 , 0 ) morfismos de complejos entonces el
morfismo f + g : (C, ) (C 0 , 0 ) induce el morfismo Hn (f + g) :
Hn (C) Hn (C 0 ); luego para x Hn (C) se tiene:
Hn (f + g)(x) = (f + g)(x) = f (x) + g(x)

= f (x) + g(x) = Hn (f )(x) + Hn (g)(x) .
= (Hn (f ) + Hn (g))(x)
on 1.3.2 Sean los complejos (C, ) y (C 0 , 0 ). Entonces

Proposici
Hn (C C 0 )
= Hn (C) Hn (C 0 ).
Demostraci on: Dados los complejos (C, ) y (C 0 , 0 ), consideremos la

sucesion (C C 0 , )
b donde (C C 0 )n = Cn C 0 con operador diferencial
n
bn = (n , n0 ) para cada n Z. Esta sucesion es un complejo. En efecto, se
verifica que
bn bn+1 = (n , n0 ) (n+1 , n+1

0
) = (n n+1 , n0 n+1
0
) = (0, 0).
Veamos que Nu bn = Nu n Nu n0 para cada n Z:
Nu bn = {(c, c0 ) Cn Cn0 /bn (c, c0 ) = (0, 0)}

= {(c, c0 ) Cn Cn0 /(n , n0 )(c, c0 ) = (n (c), n0 (c0 )) = (0, 0)}
= {(c, c0 ) Cn Cn0 /n (c) = 0 n0 (c0 ) = 0}
= {(c, c0 ) Cn Cn0 /c Nu n c0 Nu n0 }
= Nu n Nu n0 .
14
Veamos que Im bn = Im n Im n0 para cada n Z:
Im bn = {bn (c, c0 )/(c, c0 ) Cn Cn0 }

= {(n , n0 )(c, c0 )/(c, c0 ) Cn Cn0 }
= {(n (c), n0 (c0 ))/(c, c0 ) Cn Cn0 }
= {(n (c), n0 (c0 ))/c Cn c0 Cn0 }
= Im n Im n0 .
Definimos la aplicacion
Nu n Nu n0 /
Nu n Nu n0
: 0 0
Im n+1 Im n+1 Im n+1 Im n+1
/
(a, a0 ) (a, a0 )
Veamos que esta bien definida:
Sea (a, a0 ) = (b, b0 ) entonces
(a b, a0 b0 ) = (a b, a0 b0 ) = (0, 0)
Luego se tiene a b Im n+1 y a0 b0 Im n+1 0
. Esto implica
0 0 0
que (a b, a b ) Im n+1 Im n+1 , entonces (a b, a0 b0 ) =
(a, a0 ) (b, b0 ) = (0, 0). Por lo que (a, a0 ) = (b, b0 ), lo que equivale a
(a, a0 ) = (b, b0 ).
es inyectiva:
Sea (a, a0 ) Nu (a, a0 ) = (a, a0 ) = (0, 0). Luego se tiene que
(a, a0 ) Im n+1 Im n+1
0
, entonces a Im n+1 y a0 Im n+1
0
. Por
0
lo tanto (a, a ) = (0, 0).
es sobreyectiva:
Nu n Nu n0
0
Sea (a, a ) 0
(a, a0 ) Nu n Nu n0 lo que
Im n+1 Im n+1
Nu n Nu n0
implica a Nu n y a0 Nu n0 entonces (a, a0 ) 0
.
Im n+1 Im n+1
Luego (a, a0 ) = (a, a0 ).
Con ello probamos que es un isomorfismo.
Definicion 1.3.3 Dos morfismos de complejos f, g : C C 0 son
homotopicos si existe un morfismo de grupos graduados h : C C 0 de
grado 1, llamado homotopa tal que:
f g = h + h
e
15
o equivalentemente
fn gn = hn1 n + en+1 hn nZ
como se puede apreciar en el siguiente diagrama:

n+1 n
Cn+1 / Cn / Cn1
|| | |
|| ||
|
||| |
| ||
gn+1
|| gn
|| gn1
h
fn+1
|hn fn
||
n1 fn1
||| |
|| ||
|| |||
|
~ | |~ |
0
Cn+1 / Cn0 / 0
Cn1
en+1 en
Lema 1.3.4 Si f, g : C / C0 son homotopicas, entonces

f = g : Hn (C) Hn (C 0 ).
Demostraci
on: Sea x Zn (C), h una homotopa entre f y g entonces:
(fn gn )(x) = (hn1 n + en+1 hn )(x)

= hn1 n (x) + en+1 hn (x)
= hn1 (n (x)) + en+1 (hn (x))
Como x Zn (C) = Nu n tenemos que n (x) = 0
(fn gn )(x) = hn1 (0) + en+1 (hn (x))

= en+1 (hn (x))
luego tenemos para x Hn (C)
(f g )(x) = fn gn (x)
= en+1 (hn (x))
= 0
Entonces tenemos que f = g
Un caso particular sucede cuando C = C 0 , f = IdC , g = 0. Entonces, si

IdC es homotopico a 0 se dice que C es contractible (y la homotopa es una
homotopa contractante).
Definicion 1.3.5 Una aplicacion de complejos C C 0 es un
casi-isomorfismo si Hn (C)
= Hn (C 0 ), n.
16
Definici
on 1.3.6 Un complejo C
n+1 n n1
C : ... / Cn+1 / Cn / Cn1 / ...
es exacto, si Im n+1 = Nu n , n Z.
Proposici
on 1.3.7 Sea
n+1 n n1
C: / Cn+1 / Cn / Cn1 /
La siguiente sucesion es exacta

(n )
0 / Hn (C) / Con
ucleo(n+1 ) / Im(n ) / 0.
Demostraci
on:
Zn (C) Cn
Para cada n se tiene Hn (C) = = Con
ucleo(n+1 ).
Bn (C) Bn (C)
Definimos
Cn /
(n ) : Im(n )
Bn (C)
[x] / n (x)
Veamos que la aplicacion esta bien definida:

Sean x, y Cn tales que [x] = [y], entonces x y Im(n+1 ); luego existe
z Cn+1 tal que x y = n+1 z, entonces n (x y) = n n+1 z, luego
n (x) = n (y) + n n+1 z = n (y). Por lo tanto (n ) esta bien definido.
| {z }
0
Zn
Veamos que Nu (n ) = Hn (C) = .
Bn
Zn
Es claro que Nu (n ) .
Bn
Si [x] Nu (n ) , entonces 0 = (n ) [x] = n (x). Por lo tanto x Zn .
Definici
on 1.3.8 Una sucesion corta de morfismos de complejos
f g
0 / A /B / C / 0
se dira exacta si para cada n Z la sucesion

fn gn
0 / An / Bn / Cn / 0
es exacta.
17
Teorema 1.3.9 (Sucesi
on exacta larga) Si
f g
0 / A /B / C / 0
es una sucesion exacta corta de complejos, entonces existe una sucesion

exacta de modulos
g f g f
... / Hn+1 (C) / Hn (A) / Hn (B) / Hn (C) / Hn1 (A) / ....
Equivalentemente se puede describir esto como un triangulo exacto

f
H (A)d / H (B)
II u
II uu
II uu
II uu
III uu g
uz u
H (C)
Para cada n Z,
( )n : Hn (C) / Hn1 (A)

/ 1
z fn1 n x
con gn (x) = z, es llamado homomorfismo conectivo.
Demostraci
on:
1. Veamos la existencia de ( )n : Hn (C) Hn1 (A):
Para cada n Z consideremos el diagrama conmutativo con filas
exactas
fn gn
0 /A / Bn /C / 0
n n
0
n 00
n
n

0 / An1 / Bn1 / Cn1 / 0
fn1 gn1
Sea cn Cn y n00 cn = 0. Como gn es sobreyectiva, existe bn Bn tal que

cn = gn (bn ). Luego se tiene que n bn Bn1 . Por la conmutatividad se
tiene
0 = n00 cn = (n00 gn )bn = gn1 n bn
entonces n bn Nu gn1 = Im fn1 ; por ser fn1 inyectivo existe
un unico an1 An1 tal que n bn = fn1 an1 . Luego se tiene
18
1
que fn1 n bn esta bien definido. Supongamos que para cn existe otro
bbn Bn , obteniendose de manera analoga al proceso anterior un u
nico
an1 An1 tal que fn1b
b an1 = nbbn .
De ello se tiene
n (bn bbn ) = fn1 (an1 b

an1 )
Como bn bbn Nu gn = Im fn y por ser fn inyectivo existe un u

nico
an An tal que bn bbn = fn an . Luego tenemos
an1 ) = n fn an = fn1 n0 an .
fn1 (an1 b
an1 = n0 an Im n0 .
Por la inyectividad de fn1 , se tiene an1 b
As esta bien definido el homomorfismo
Zn (C) An1 / Im n0 .
00
Veamos que esta aplicacion lleva Im n+1 en 0:
00 00
Sea cn Im n+1 Cn , entonces existe cn+1 Cn+1 tal que n+1 cn+1 =
cn . Por ser gn sobreyectiva, existe bn+1 Bn+1 tal que gn+1 bn+1 = cn+1 ;
luego
00
cn = n+1 gn+1 bn+1 = gn n+1 bn+1 .
Como gn (n+1 bn+1 ) = cn entonces
1
(cn ) = fn1 n n+1 bn+1 = 0.
| {z }
0
1
Sea z Hn (C), veamos que fn1 n x, donde gn (x) = z, es un n-ciclo:
0 1 0
n1 (fn1 n x) = n1 0 f 1 x = 0.
| {z n} n
0
2. Veamos que la sucesion es exacta:
f g
/ Hn (A) / Hn (B) / Hn (C) / Hn1 (A) / ...
Im f Nu g :
g f = (gf ) = 0 = 0.
19
Nu g Im f :
00
Sea z Nu g g (z) = gn z = 0 entonces gn z Im n+1 ,
00
luego existe cn+1 Cn+1 tal que gn (z) = n+1 cn+1 . Por ser
gn+1 sobreyectivo existe bn+1 Bn+1 tal que cn+1 = gn+1 bn+1 .
00
Luego se tiene que gn z = n+1 gn+1 bn+1 = gn n+1 bn+1 , entonces
z n+1 bn+1 Nu gn = Im fn , existiendo un u nico an An tal
que z n+1 bn+1 = fn an , donde n fn an = n z n n+1 bn+1 .
| {z }
0
Por ser z un ciclo se tiene
fn1 n0 an = n fn an = 0
Como fn1 es inyectivo, n0 an = 0, entonces an Nu n0 = Zn (A)
y ademas
f (an ) = fn an = z n+1 bn+1 = z.
Im g Nu :
Sea z Hn (B), denotemos w = gn (z). Luego
1
g (z) = (gn z) = (w) = fn1 n z,
y por ser z un n-ciclo se tiene g (z) = 0.
Nu Im g :
1
Sea z Nu , entonces (z) = fn1 n x = 0, donde gn x = z.
1
Luego fn1 n x Im n entonces existe an An tal que n0 an =
0
1
fn1 n x. Entonces n fn an = fn1 n0 an = n x n (x fn an ) = 0,
obteniendo que x fn an Nu n . Ademas
g (x fn an ) = gn (x fn an ) = gn x gn fn an = gn x = z.
Im Nu f :
Sea w Im Hn1 (A) luego existe z Hn (C) tal que
1
w = (z) = fn1 n x, con gn x = z entonces
1
f (w) = fn1 w = fn1 fn1 n x.
Como f (w) Hn1 (B) se tiene
f (w) = n x = 0.
Nu f Im :
Sea z Nu f entonces f (z) = fn1 z = 0. Luego fn1 z Im n ,
entonces existe bn Bn tal que fn1 z = n bn luego
n00 gn bn = gn1 n bn = gn1 fn1 z = 0.
20
Denotemos por w = gn bn Nu n00 luego se tiene
1
(w) = fn1 n bn = z.
Corolario 1.3.10 (Naturalidad de ) Consideremos el diagrama

conmutativo de complejos con filas exactas:
p
0 /A i /B / C / 0
f g h

0 / A0 / B0 / C0 / 0
j q
Entonces f , g y h definen un morfismo de cadenas entre las secuencias largas

en homologa:
i p /
Hn (A) / Hn (B) / Hn (C) Hn1 (A)
f g h f
j
q
0
Hn (A0 ) / Hn (B 0 ) / Hn (C 0 ) / Hn1 (A0 )
Demostraci on: La exactitud de las filas es dada por el teorema

(1.3.9). Los primeros cuadrados conmutan por ser Hn un funtor. Veamos la
conmutatividad del tercer cuadrado:
Sea z Hn (C) entonces
f (z) = f (i1 1
n1 n x) = fn1 in1 n x, con pn (x) = z
pn+1
Bn+1 / Cn+1

00

n+1

n+1
in pn
An /B /C hn+1
n n

0 n

n
in1
hn
An1 / Bn1 gn 0
Bn+1 / C0
n+1
00

bn+1 bn+1
fn1 gn1 qn

A0n / B0 / C0
n n
0
00

bn n bn
q
b
jn1
A0n1 / Bn1 0 n1
/ 0
Cn1
21
Del diagrama se tiene :
gn1 in1 = jn1 fn1 fn1 i1 1

n1 = jn1 gn1
gn1 n = bn gn
qn gn = hn pn
luego tenemos
f (z) = fn1 i1 1
n1 n x = jn1 gn1 n x
1 b 1 b
= jn1 n gn x = jn1 n y, donde y = gn (x)
Como qn y = qn gn x = hn pn x = hn z se tiene
f (z) = (hn z) = h (z).
Definici
on 1.3.11 Sea C el complejo de la forma
C : ... / C1 / C0 / M / 0.
El complejo obtenido al suprimir M
CM : . . . / C1 / C0 / 0
es llamado el complejo reducido de C.
Definici
on 1.3.12 Un complejo de la forma
C : ... / Cn / Cn1 / ... / C1 / C0 / 0
con Cn = 0 para n < 0, es llamado proyectivo si Cn es proyectivo para todo

n 0.
Definici
on 1.3.13 Una resolucion proyectiva de A es un complejo exacto
P : ... / Pn / Pn1 / ... / P1 / P0 / A /0
donde el complejo reducido PA es proyectivo.
Lema 1.3.14 Para todo modulo M existe una resolucion proyectiva.
22
Demostraci on: De (1.2.11) se tiene que para M existe una sucesion
exacta corta
i0 0
0 / N0 / L0 / M / 0
con L0 proyectivo. Aplicando para N0 el lema (1.2.11), existe la sucesion

exacta corta
i1 1
0 / N1 / L1 / N0 / 0
con L1 proyectivo. Por induccion, para Nn1 se tiene por (1.2.11) que existe
una sucesion exacta corta
in n
0 / Nn / L1 / Nn1 / 0
con Ln proyectivo. As, sucesivamente tenemos:

n
/ Nn in / L1 / Nn1 / / N1 i1 / L1 1 / N0
i0
/ L0
0
/ M / 0
Considerando n = in1 n , n 1, obtenemos la sucesion de modulos
n n1 2 1 0
/ Ln / Ln1 / /L /L /L /M (1.2)
2 1 0
Como para cada n 1 se tiene que in es un monomorfismo e n epimorfismo,

entonces
Nu n = Nu n = Im in = Im n+1
y
0 1 = 0 (i0 1 ) = (0 i0 ) 1 = 0
luego la sucesion (1.2) es exacta.
Lema 1.3.15 Para toda sucesion exacta corta de -modulos

0 / A0 / A / A00 /0
23
se puede obtener el siguiente diagrama conmutativo
.. .. ..
. . .

/ Pn0 / P0 00 / Pn00 /
0 n Pn 0

0 / 0
Pn1 / P0 00
Pn1 / P 00 / 0
n1 n1

.. .. ..
. . .

/ P10 / P0 00 / P100 /
0 1 P1 0

/ P00 / P0 00 / P000 /
0 0 P0 0

0 / A0 / A / A / 0
donde las filas son sucesiones exactas cortas y las columnas son resoluciones
proyectivas de A0 , A y A00 respectivamente.
Demostraci on: Por el lema (1.2.11) para los modulos A0 y A00 existen
las sucesiones exactas cortas
i0 0
0 / N0 / P00 / A0 / 0
0
y
i00 00
0 / N000 / P000 / A00 /0
donde N00 = Nu(0 ), N000 = Nu(00 ) y P000 , P000 son proyectivos .

Consideremos la inclusion j0 : P00 P00 P000 dada por j0 : m00 7 (m00 , 0) y
la proyeccion 0 : P00 P000 P000 dada por 0 : (m00 , m000 ) 7 m000 . Por (1.2.4)
la sucesion
j0 0
0 / P00 / P00 P000 / P 00 / 0
0
es exacta corta.
Por ser P000 proyectivo existe un homomorfismo : P000 A tal que = 00 .
Se obtiene el siguiente diagrama:
0 / P00 F / P 0 P 00 / P 00 / 0
0 0 0
FF ww
FF ww
FF0 ww
0 FF ww 00
FF w
FF www
FF w
# {ww
0 / A0 /A / A00 / 0
24
Definimos:
: P00 P000 /A
(x, y) / 0 (x) + (y).

En el siguiente diagrama:
j0 0
0 / P00 / P00 P000 / P 00 / 0
0
0 00

0 / A0 / A / A00 / 0
Por ser 0 y 00 epimorfismos se tiene que es un epimorfismo. Ademas el
diagrama conmuta, ya que se satisfacen:
j0 (x) = (x, 0) = 0 (x) + (0) = 0 (x)

00 0 (x, y) = 00 (y) = (y) = ( ) 0 (x) + (y)) = (x, y).
| {z }
0
0
Veamos que j0 (Nu( )) Nu():
Sea x Nu( 0 ), entonces 0 (x) = 0. Calculemos
j0 (x) = 0 (x) = (0) = 0
entonces j0 (x) Nu().

Veamos que 0 (Nu()) Nu( 00 ):
Sea z Nu(), entonces (z) = 0. Calculemos
00 0 (z) = 0 (x) = (0) = 0
entonces 0 (z) Nu(00 ).

Luego se tiene la siguiente sucesion es exacta
j0 0
0 / Nu(0 ) / Nu() / Nu(00 ) / 0.
Se tiene el siguiente diagrama conmutativo:
j0 0
0 / Nu(0 ) / Nu() / Nu(00 ) / 0
i0 i i00
j0
0

0 / P00 / P00 P000 / P000 / 0
0 00

0 / A0 / A / A00 / 0
25
Para la siguiente sucesion exacta corta repetimos el proceso anterior:
j0 0
0 / Nu(0 ) / Nu() / Nu(00 ) / 0,
se obtiene el diagrama conmutativo:

j1 1
0 / Nu(01 ) / Nu(1 ) / Nu(001 ) / 0
i01 i1 i00
1
j1
1

0 / P10 / P10 P100 / P 00 / 0
1
01 1 00
1
j0
0

0 / Nu(0 ) / Nu() / Nu(00 ) / 0
De manera inductiva, aplicamos el mismo proceso para la sucesion exacta

corta:
jn1 n1
0 / Nu(0n1 ) / Nu(n1 ) / Nu(00n1 ) / 0,
se obtiene el diagrama conmutativo:

jn n
0 / Nu(0n ) / Nu(n ) / Nu(00 ) / 0
n
i0n in i00
n
jn
n

0 / P0 / P0 Pn00 / Pn00 / 0
n n
0n n 00
n
jn1
n1

0 / Nu(0n1 ) / Nu(n1 ) / Nu(00n1 ) / 0
Definimos
n0 = i0n1 0n ,
n = in1 n ,
n00 = i00n1 00n ,
para todo n > 1 y
10 = i0 01 ,
1 = i 1 ,
100 = i00 001 .
26
Obteniendo as el siguiente diagrama:
.. .. ..
. . .

0 / P0 / P 0 P 00 / P 00 /0
n n n n
0
n 00
n
n

/ P0 / P0 00 / P 00 /0
0 n1 n1 Pn1 n1
0
n1 00
n1
n1

/ P0 / P0 00 / P 00 /0
0 n2 n2 Pn2 n2

.. .. ..
. . .

0 / P0 / P 0 P 00 / P 00 /0
1 1 1 1
10 1 100

0 / P0 / P 0 P 00 / P 00 /0
0 0 0 0
0 00

0 / A0 /A /A /0
on) Sean dos complejos C, C 0

Teorema 1.3.16 (Teorema de comparaci
y f : A A0
2 1
C : ... / C2 / C1 / C0
/ A /0
f
20 10
/ / / 0 / /0
C0 : . . . C20 C10 C00 A0
donde en el primer complejo cada Cn es proyectivo y el segundo complejo es

exacto. Entonces existe una aplicacion de complejos f : CA CA0 0 tal que
completando el diagrama esta conmuta. Ademas f es unica salvo homotopas.
Demostraci
on:
1. Existencia de f :
Demostraremos por induccion sobre n.
27
Si n = 0 tenemos el siguiente diagrama
C0
/ A / 0
~
~
f0 ~
~ f
~ f
~
~~
0 / /
C00 A0 0
Como 0 es sobreyectivo y C0 es proyectivo, existe una aplicacion

f 0 : C0 C00 tal que 0 f 0 = f .
Para el paso inductivo consideremos el diagrama
n+1 n
Cn+1 / Cn / Cn1
fn f n1

0
Cn+1 / Cn0 / 0
Cn1
0
n+1 0
n
0
Si mostramos que Im(f n n+1 ) Im n+1 tendremos el siguiente
diagrama:
Cn+1
w
w
w
f n+1 w
w f n n+1
w
w
{w
0
Cn+1 / 0
Im n+1 / 0
0
n+1
0
y por la proyectividad de Cn+1 se tiene que existe f n+1 : Cn+1 Cn+1
0
tal que n+1 f n+1 = f n n+1 .
0
2. Veamos Im(f n n+1 ) Im n+1 :
0
Como el segundo complejo es exacto, se tiene que Im n+1 = Nu n0 .
Entonces es suficiente probar que n0 f n n+1 = 0.
Por hipotesis inductiva tenemos que n0 f n = fn1
0
n , luego:
n0 f n n+1 = (fn1
0
n )n+1
0
= fn1 (n n+1 )
= 0
3. La unicidad de f salvo homotopas:

Sea h : CA CA0 una segundo morfismo de complejos que satisface
28
0 h0 = f .
Construyamos la homotopa s por induccion.
Definamos s1 : C1 C0 donde s1 = 0 con C1 = 0.
Supongamos que hemos hallado s1 , s0 , s1 , .sn de grado +1 tales que
j0 sj + sj1 j1 = hj fj para j = 0, , n.
0
Afirmamos que Im(hn+1 f n+1 sn n+1 ) Im n+2 , obteniendose el
siguiente diagrama:
Cn+1
x
x
x
sn+1 x
x hn+1 f n+1 sn n1
x
x
x
{x
0
Cn+2 / 0
Im n+2 / 0
0
n+2
0
Por ser Cn+1 proyectivo, existe una aplicacion sn+1 : Cn+1 Cn+2 que
0
satisface n+2 sn+1 = hn+1 f n+1 sn n+1 .
0
Ahora demostraremos la inclusion Im(hn+1 f n+1 sn n+1 ) Im n+2 :
0 0
Por ser el segundo complejo exacto Im n+2 = Nu n+1 , es suficiente
0
probar que n+1 (hn+1 f n+1 sn n+1 ) = 0, luego:
0 0 0 0
n+1 (hn+1 f n+1 sn n+1 ) = n+1 hn+1 n+1 f n+1 n+1 sn n+1
0 0
= n+1 (hn+1 f n+1 ) n+1 sn n+1
0
Por hipotesis inductiva sabemos n+1 sn = hn f n sn1 n
reemplazando en lo anterior:
0
n+1 (hn+1 f n+1 ) (hn f n sn1 n )n+1
0
= n+1 (hn+1 f n+1 ) (hn f n )n+1 sn1 n n+1
| {z }
0
0
= n+1 (hn+1 f n+1 ) (hn f n )n+1
0 0
= n+1 hn+1 hn n+1 + n+1 f n+1 f n n+1
| {z } | {z }
0 0
= 0
on 1.3.17 Si : CA CA0 es un morfismo de complejos tal que

Definici
f = 0 0
diremos que es un morfismo de complejos sobre f .
29
1.4. Funtores Derivados
Dado un funtor aditivo T describiremos el funtor derivado Ln T para cada
modulo A, donde C es una de todas las resoluciones proyectivas de A y CA
su correspondiente complejo reducido .
Definici
on 1.4.1 Para cada modulo A
Nu T n
(Ln T )A := Hn (T CA ) = .
Im T n+1
Para completar la definicion de Ln T , describiremos su accion sobre
f : A B, con C una resolucion proyectiva de A y C 0 una resolucion
proyectiva de B.
2 1
C: ... / C2 / C1 / C0
/ A /0
f2 f1 f0 f
20 10
... / / / 0 / /0
C0 : C20 C10 C00 B
Por el teorema de comparacion, existe un morfismo de complejos

f : CA CB0 sobre f . Definimos (Ln T )(f ) : (Ln T )A (Ln T )B por
(Ln T )(f ) = Hn (T f ) = (T f )
Teorema 1.4.2 Dado un funtor T aditivo, entonces Ln T es un funtor

aditivo para todo n.
Demostraci on:
Veamos que (Ln T )(f ) esta bien definida para f : A B.
Supongamos que existe otro morfismo de complejos f 0 : CA CB0 sobre f .
Por el teorema de comparacion se tiene que f y f 0 son homotopicos, de ello
existe una homotopia s tal que
0
f 0 n f n = n+1 sn + sn1 n .
Aplicando el funtor aditivo T se tiene

0
T (f 0 n f n ) = T (n+1 sn + sn1 n )
0
T f 0 n T f n = T n+1 T sn + T sn1 T n
obteniendose que T s es una homotopa entre T f y T f 0 , luego del lema (1.3.4)
tenemos que
(T f ) = (T f 0 ) .
30
Para probar que Ln T es un funtor, probaremos solo una de las condiciones;
las demas se dejan para el lector.
f g
Sean A / B / C morfismos de complejos; por ser T y Hn funtores, se
tiene que:
(Ln T )(g f ) = Hn (T g f ) = Hn (T g f )
= Hn (T g T f ) = Hn (T f ) Hn (T g)
= (Ln T )(g) (Ln T )(f ).
Para probar que (Ln T ) es aditivo, consideremos f, g : A B morfismos de

modulos. Se verifica que f + g es un morfismo de complejos sobre f + g, es
decir f + g = f + g. Por ser Hn un funtor aditivo se tiene que:
(Ln T )(f + g) = Hn (T f + g) = Hn (T (f + g))

= Hn (T f + T g) = Hn (T f ) + Hn (T g)
= (Ln T )(f ) + (Ln T )(g).
Vemos hasta ahora que Ln T depende de la resolucion proyectiva elegida.

Consideremos otra resolucion proyectiva de A
d02 d01 d00

PbA : / Pb2 / Pb1 / Pb0 / A / 0
obteniendo el funtor L
cn T denotado as provisionalmente. Mostraremos que
Ln T y Ln T son esencialmente los mismos.
c
Teorema 1.4.3 Para todo funtor aditivo T , los funtores derivados Ln T

y Lcn T son naturalmente equivalentes. Es decir, son independientes de la
resolucion proyectiva de A elegida.
Demostraci
on: Consideremos el siguiente diagrama
d2 d1 d0
P : / P2 / P1 / P0 / A / 0
i 1A
d02 d01 d00
/ Pb2 / Pb1 / Pb0 / A / 0
Pb :
donde la fila superior es la resolucion proyectiva de A usada para definir Ln T

y la fila inferior es usada para definir L bn T . Por el teorema de comparacion
existe un morfismo de complejos i : PA PbA sobre 1A (salvo homotopas).
31
Aplicando el funtor T se obtiene la una aplicacion T i : T PA T PbA sobre
1T A , esta induce una aplicacion (para cada n)
A = (T i) : (Ln T )A (L
bn T )A.
Ahora consideremos el siguiente diagrama
d02 d01 d00
/P / Pb1 / Pb0 /A / 0
Pb : b 2
j 1A
d2 d1 d0
P : /P / P1 / P0 /A / 0
2
por el teorema de comparacion obtenemos una aplicacion j : PbA PA

sobre 1A . Aplicando el funtor T se obtiene la aplicacion T j : T PbA T PA
sobre 1T A , esta induce una aplicacion (para cada n)
bn T )A (Ln T )A.
bA = (T j) : (L
Como las composiciones ji : PA PA y 1PA : PA PA son morfismos
de complejos sobre 1A , por el teorema de comparacion se tiene que ji y 1PA
son homotopicas, entonces 1 = (1PbA ) = (ji) = j i . De manera analoga
obtenemos i j = (1PA ) = 1; es decir que i es un isomorfismo.
Ademas se tiene:
1 = (T 1) = (T ij) = (T iT j) = (T i) (T j) = A bA
1 = (T 1) = (T ji) = (T jT i) = (T j) (T i) = bA A
de ello se tiene A = (T i) es un isomorfismo.
Veamos que el isomorfismo A constituye una transformacion natural. Sea
f : A B un morfismo de modulos; veamos que el siguiente diagrama
conmuta:
A
(Ln T )A / (L
bn T )A
(Ln T )f (L
b n T )f

B
(Ln T )B / (L
bn T )B
Consideremos el siguiente diagrama:
P : / P1 / P0 /A / 0
i 1A

/ Pb1 / Pb0 /A / 0
Pb :
f f

Q
b: / Q
b1 / Q
b0 / B / 0
32
Donde P y Pb resoluciones proyectivas de A y Q b una resolucion proyectiva de
B. Aplicando el teorema de comparacion se tiene los morfismos de complejos
i : PA PbA sobre 1A , f : PbA Q
bB sobre f .
Ahora consideremos el siguiente diagrama:
P : / P1 / P0 /A / 0
fb f

Q: / Q1 / Q0 / B / 0
j 1B

Q
b: / Q
b1 / Q
b0 / B / 0
Por el teorema de comparacion se obtiene el morfismo de complejos

fb : PA QB sobre f , como consecuencia del teorema de comparacion se
tiene que f y fb son homotopicas. Ademas los morfismos f i sobre f 1A = f y
j fb sobre 1B f = f son homotopicos. Luego se tiene:
(Ln T )(f 1A ) = (Ln T )(f ) = (Ln T )(1B f )
Como
(Ln T )(f 1A ) = Hn (T f i) = Hn (T f T i) = Hn (T f )Hn (T i) = Ln T (f )A
(Ln T )(1B f ) = Hn (T j fb) = Hn (T jT fb) = Hn (T j)Hn (T fb) = B Ln T (f )
entonces Ln T (f )A = B Ln T (f ).
on 1.4.4 Para el funtor G = B definimos T orn (, B) := Ln G.

Definici
En particular
Nu(n 1)
T orn (A, B) =
Im(n+1 1)
donde
2 1 0
... / P2 / P1 / P0 / A / 0
es una resolucion proyectiva de A.
Por (1.4.3) la definicion de T orn (A, B) es independiente de la resolucion

proyectiva de A elegida.
33

on 1.4.5 Para el funtor F = B definimos T orn (B, ) := Ln F .
Definici
En particular
Nu(1 n )
T orn (B, A) =
Im(1 n+1 )
donde
2 1 0
... / P2 / P1 / P0 / A / 0
es una resolucion proyectiva de A.

Por (1.4.3) la definicion de T orn (A, B) es independiente de la resolucion
proyectiva de A elegida.
Observaci on 1.4.6 Para cada -bimodulo A la aplicacion

A : (Ln G)A (Ln F )A definida por a b 7 b a es un isomorfismo,

es decir, T orn (A, B)
= T orn (B, A).
Veamos que A es inyectiva:
Sea a b (Ln G)A = T orn (A, B) tal que A (a b) = b a = 0 0,
entonces ba Im(1n+1 ), por lo que existe xy A Pn+1 tal que
b a = (1 n+1 )(x y) = 1x n+1 y = x n+1 y A Pn , por ser
Pn A = A Pn se tiene que a b = n+1 y 1x = (n+1 1)(y x).
Por lo que a b Im(n+1 1), entonces a b = 0 0.
Veamos que A es sobreyectiva:

Sea x y Nu(1 n ) entonces (1 n )(x y) = 1x n y = 0 0, por
ser A Pn = Pn A se tiene n yx = (n 1)(yx) = 00 entonces
y x Nu(n 1). Luego y x (Ln G)A tal que A (y x) = x y.
Teorema 1.4.7 Sea 0 / A0 /A / A00 / 0 una sucesi

on
exacta corta de -modulos y M un -modulo derecha entonces para cada
n se tiene:
T orn (M, A)
= T orn (M, A0 ) T orn (M, A00 ).
Demostraci
on: Para la sucesion exacta corta:
0 / A0 / A / A /0
34
por (1.3.15) existe el diagrama conmutativo
.. .. ..
. . .

0 / Pn0 / P0 Pn00 / Pn00 / 0
n

0 / 0
Pn1 / P0 00
Pn1 / P 00 / 0
n1 n1

.. .. ..
. . .

/ P10 / P0 00 / P100 /
0 1 P1 0

/ P00 / P0 00 / P000 /
0 0 P0 0

0 / A0 / A / A00 / 0
donde las filas son sucesiones exactas cortas y las columnas son resoluciones
proyectivas de A0 , A y A00 respectivamente.
Denotaremos por PA0 0 , PA , PA0000 las resoluciones proyectivas reducidas de
A0 , A y A00 respectivamente. Se obtiene la sucesion exacta corta de cadenas
0 / P0 0 i / PA / PA0000 / 0 (1.3)
A
escindible, ya que la inclusion de cadenas i0 : PA0000 PA satisface i0 = 1PA0000 .

Aplicamos el funtor T = M a la sucesion exacta corta (4.8) se obtiene
la siguiente sucesion:
0 / TP0 0 Ti / T PA
T / T P 0000 / 0.
A A
que es tambien escindible, pues T T i0 = T ( i0 ) = T (1PA0000 ) = 1T PA0000

entonces por el teorema (1.2.7) se tiene que
T PA
= T PA0 0 T PA0000 .
Por (1.3.2) se tiene:
Hn (T PA )
= Hn (T PA0 0 T PA0000 )
= Hn (T PA0 0 ) Hn (T PA0000 )
Es decir:
Ln T (A)
= Ln T (A0 ) Ln T (A00 )
35
Equivalentemente
T orn (M, A)
= T orn (M, A0 ) T orn (M, A00 )
Corolario 1.4.8 Sean A0 , A00 M y M M , entonces
T orn (M, A0 A00 )

= T orn (M, A0 ) T orn (M, A00 ).
Demostraci
on: Aplicamos (1.4.7) a la sucesion exacta corta:
0 / A0 / A0 A00 / A0 / 0.
1.5. Extensi
on para Algebras sin unidad
Existe una manera estandar de extender un funtor T definido sobre
la categora de algebras con unidad con valores en grupos abelianos a la
categora de algebras (no necesariamente con unidad), siempre y cuando T
conmute con el producto.
Sea A una k-algebra sin unidad, podemos formar una k-algebra con unidad
A+ = k A, que es un k-modulo y con una estructura de multiplicacion dada
por
(, u)(, v) = (, v + u + uv)
donde la unidad es (1, 0), se acostumbra a escribir 1 + u en vez de (, u).
Por definicion la extension de T a k-algebras sin unidad esta dada por
ucleo(T (k) T (A+ )).

T (A) := Con
Supongamos que T conmuta con el producto de algebras con unidad A y

A0 ; es decir la aplicacion T (A A0 ) T (A) T (A0 ) inducida por las
dos proyecciones es un isomorfismo. Para un algebra unitaria A tenemos el
isomorfismo de algebras con unidad
: A+ / kA
/
1+u (, 1A + u)
36
por lo tanto A+ = k A. Sean las inclusiones canonicas ik : k k A,
iA : A k A, por ser T (k) T (A) isomorfo a T (k A), se tiene que el
siguiente diagrama conmuta
T (k) LVVVV
LL VVVVVV
LL VVVVT (ik )
LL VVVV
LL VVVV
iT (k) LL VVVV
L& VV+

T (k) T (A)
= / T (k A)
rr 8
hh hhhh3
iT (A) rrr hhhh
rrr
hhhhhhh
r hh h
rhrhrhhhhhh
T (iA )
T (A)
obteniendose el siguiente diagrama
T (k)
= / T (k)
iT (k) T (ik )

T (k) T (A) = / T (k A)
de donde se obtiene
ucleo(T (k) T (A+ ))

Con ucleo(T (k) T (k) T (A))
= Con = T (A)
Por lo tanto la nueva definicion de T como Con

ucleo coincide con la definicion
original de T para algebras con unidad.
37
Captulo 2
Homologa de Hochschild
En lo que resta del captulo, k es un anillo conmutativo con unidad y A

es una k-algebra asociativa con unidad. Salvo mencion contraria, el producto
tensorial es denotado por , y se efect ua sobre el anillo k.
2.1. Bim
odulo
Definicion 2.1.1 Un bimodulo M sobre A es un A-modulo a derecha y a
izquierda que cumple:
(am)a0 = a(ma0 ), a, a0 A m M .
(a)m = (am) = a(m) K, a A, m M
Se denota Aop a la k-algebra para la cual el k-modulo subyacente es A y la

multiplicacion en Aop verifica
a.b = ba
Se tiene una estructura de k-algebra asociativa sobre A Aop .
Proposici
on 2.1.2 1. Todo A-bimodulo M puede ser provisto de una
estructura de A Aop -modulo a derecha (respectivamente a izquierda).
2. Todo AAop -modulo a derecha (respectivamente a izquierda) puede ser

provisto de una estructura de bimodulo sobre A.
Demostraci
on:
1. Definiendo sobre los tensores elementales la siguiente aplicacion
m(a a0 ) = a0 ma
38
se prueba facilmente que el A-bimodulo M posee una estructura de
A Aop -modulo a derecha. De la misma manera se demuestra que
M posee una estructura de A Aop -modulo a izquierda mediante la
siguiente aplicacion
(a a0 )m = ama0
2. Sea M un A Aop -modulo a derecha, definiremos la estructura de

bimodulo sobre M a traves de las siguientes operaciones
ma = m(a 1)
am = m(1 a)
Observaci on 2.1.3 Para M = A el producto nos provee una estructura de

A-bimodulo, de all obtenemos una estructura de A Aop -modulo a derecha
y a izquierda sobre A.
2.2. Complejo de Hochschild

Sea M un A-bimodulo, para n 0 se considera el k-modulo
Cn (A, M ) = M An
(donde = k y An = A A . . . A, n veces) y la aplicacion k-lineal
bn : Cn (A, M ) Cn1 (A, M ), si n 1
dada por:
bn (m a1 a2 . . . an ) = ma1 a2 . . . an +
n1
X
(1)i m a1 . . . ai ai+1 . . . an +
i=1
(1)n an m a1 . . . an1
donde m M y ai A, i = 1, . . . , n.
Lema 2.2.1 bn bn+1 = 0, n.
39
Demostracion: Definamos para cada 0 i n y 0 j n 1 los
operadores
dn djn1
M An
i
/ M An1 / M An2
dados por

ma1 a2 . . . an , i=0
n
di (ma1 . . .an ) = m a1 a2 . . . ai ai+1 . . . an , 1 i < n
an m a2 . . . an1 , i=n

con esta notacion tenemos

n
X
bn = (1)i dni : Cn (A, M ) Cn1 (A, M )
i=0
de ello tenemos:
n1
X n
X
bn1 bn = ( (1)j djn1 ) ( (1)i dni )
j=0 i=0
n X
X n1
= (1)i+j dn1
j dni
i=0 j=0
Afirmaci n1
on 2.2.1.1 Para j < i se tiene djn1 dni = di1 dnj .
Demostraremos la afirmacion sobre los tensores elementales, siendo estos de

la forma a0 a1 . . . an donde a0 M y ai A para 1 i n.
Consideremos los siguientes casos:
I: 0 j < i e i < n
j <i1
dn1
j dni (a0 a1 . . . an ) = dn1
j (dni (a0 a1 . . . an ))
= dn1
j (a0 . . . ai ai+1 . . . an )
= a0 . . . aj aj+1 . . . ai ai+1 . . . an
dn1 n n1 n
i1 dj (a0 a1 . . . an ) = di1 (dj (a0 a1 . . . an ))
= dn1
i1 (a0 . . . aj aj+1 . . . an )
= a0 . . . aj aj+1 . . . ai ai+1 . . . an
40
j =i1
dn1
j dni (a0 a1 . . . an ) = dn1 n
i1 (di (a0 a1 . . . an ))
= dn1
i1 (a0 . . . ai ai+1 . . . an )
= a0 . . . ai1 (ai ai+1 ) . . . an
dn1 n n1 n
i1 dj (a0 a1 . . . an ) = di1 (di1 (a0 a1 . . . an ))
= dn1
i1 (a0 . . . ai1 ai . . . an )
= a0 . . . (ai1 ai )ai+1 . . . an
II: 0 j < i y i = n
j <n1
dn1
j dnn (a0 a1 . . . an ) = dn1
j (dnn (a0 a1 . . . an ))
= dn1
j (an a0 a1 . . . an1 )
= an a0 a1 . . . aj aj+1 . . . an1
dn1 n n1 n
n1 dj (a0 a1 . . . an ) = dn1 (dj (a0 a1 . . . an ))
= dn1
n1 (a0 . . . aj aj+1 . . . an )
= an a0 . . . aj aj+1 . . . an1
j =n1
dn1
j dnn (a0 . . . an ) = dn1
n1 n
(dn (a0 . . . an1 an ))
n1
= dn1 (an a0 a1 . . . an1 )
= an1 (an a0 ) a1 . . . an2
dn1 n n1 n
n1 dj (a0 . . . an ) = dn1 (dn1 (a0 . . . an1 an ))
= dn1
n1 (a0 a1 . . . an2 an1 an )
= (an1 an )a0 a1 . . . an2
41
De ello tenemos:
n X
X X
bn1 bn = [ (1)i+j dn1
j dn
i + (1)i+j dn1
j dni ]
i=0 j<i ji
Xn X X n X
= [ (1)i+j dn1
j dni ] + [ (1)i+j djn1 dni ]
i=0 j<i i=0 ji
n1 n j
n1 X
X X X
= [ (1)i+j dn1
j dni ] + [ (1)i+j dn1
j dni ]
j=0 i=j+1 j=0 i=0
n1 Xn j
n1 X
X X
i+j n1
= [ n
(1) di1 dj ] + [ (1)i+j dn1
j dni ].
j=0 i=j+1 j=0 i=0
Haciendo un cambio de variable en la primera parte de la suma tenemos

n1 X
n1 j
n1 X
X X
k+j+1 n1
bn1 bn = [ (1) n
dk dj ] + [ (1)i+j dn1
j dni ]
j=0 k=j j=0 i=0
n1 X
n1 n1 j
X X X
= [ (1)k+j dn1
k dnj ] + [ (1)i+j dn1
j dni ].
j=0 k=j j=0 i=0
Los terminos de la primera parte se cancelan con los terminos de la segunda

parte, con ello demostramos el lema.
Definici
on 2.2.2 El complejo (C (A, M ), b) es llamado Complejo de
Hochschild de A con coeficientes en M . La aplicacion b es llamada el borde
de Hochschild.
En el caso M = A el complejo de Hochschild C (A) = (C (A, A), b) es

llamado complejo de Hochschild de A.
Definici
on 2.2.3 La Homologa del complejo (C (A, M ), b) es llamada la
Homologa de Hochschild de A con coeficientes en M y se denota por
M
H (A, M ) = Hn (A, M )
n0
donde
Hn (A, M ) = Hn (C (A, M ), b)
Observaci
on 2.2.4 Si M = A, escribiremos HH (A) = H (A, A) =
(HHn (A)) y la llamamos Homologa de Hochschild de A.
42
Si A es conmutativo, cada Hn (A, M ) es un A-modulo.
Lema 2.2.5 Sean g : A A0 un morfismo de k-algebras asociativas y

f : M M 0 un morfismo de A0 -bimodulos. Estos inducen el siguiente
diagrama conmutativo:
Cn (A, M ) / Cn (A0 , M 0 )
bn bn

Cn1 (A, M ) / Cn1 (A0 , M 0 )
Por lo tanto tenemos una aplicacion de k-modulos graduados
h : Hn (A, M ) / Hn (A0 , M 0 ) .
/
m a1 . . . an f (m) g(a1 ) . . . g(an )
Demostraci on: Por medio de g se puede dar a M y M 0 una estructura

de A- bimodulos mediante las aplicaciones:
a m = g(a)m m a = mg(a)
a m0 = g(a)m0 m0 a = m0 g(a)
Ademas:
f (a m) = f (g(a)m) = g(a)f (m)
f (m a) = f (mg(a)) = f (m)g(a)
Luego el morfismo de f : M M 0 de A-bimodulos y g : A A0 induce el
morfismo de complejos h : (C(A, M ), b) (C(A0 , M 0 ), b) mediante
hn : Cn (A, M ) / Cn (A0 , M 0 ) .
m a1 . . . an / f (m) g(a1 ) . . . g(an )
Veamos que el siguiente diagrama conmuta:

hn / Cn (A0 , M 0 )
Cn (A, M )
bn bn

Cn1 (A, M ) / Cn1 (A0 , M 0 )
hn1
43
bn hn (m a1 . . . an ) = bn [hn (m a1 . . . an )]

= bn f (m) g(a1 ) . . . g(an )
n
X
i
= (1) di f (m) g(a1 ) . . . g(an )
i=0
= f (m)g(a1 ) . . . g(an ) +
n1
X
i
(1) f (m) g(a1 ) . . . g(ai )g(ai+1 ) . . . g(an ) +
i=1
(1)n g(an )f (m) g(a1 ) . . . g(an1 )
hn1 bn (m a1 . . . an ) = hn1 [bn (m a1 . . . an )]

hX n i
= hn1 (1)i di (m a1 . . . an )
i=0
n
X
= (1)i hn1 di (m a1 . . . an )
i=0
= f (m a1 ) g(a2 ) . . . g(an ) +
n1
X
i
(1) f (m) g(a1 ) . . . g(ai ai+1 ) . . . g(an ) +
i=1
(1)n f (an m) g(a1 ) . . . g(an1 )
= f (m)g(a1 ) g(a2 ) . . . g(an ) +
n1
X
(1)i f (m) g(a1 ) . . . g(ai )g(ai+1 ) . . . g(an ) +
i=1
(1)n g(an )f (m) g(a1 ) . . . g(an1 )
Esto induce una aplicacion de k-modulos graduados
h : Hn (A, M ) / Hn (A0 , M 0 ) .
/
m a1 . . . an f (m) g(a1 ) . . . g(an )
on 2.2.6 Para cada n, Hn (A, ) es un funtor covariante.

Proposici
Demostraci on: Consideremos f : M M 0 un morfismo de A-bimodulos

y g = Id : A A en el lema (2.2.5). Estos inducen un morfismo de complejos
44
f : (C(A, M ), b) (C(A, M 0 ), b) y la aplicacion de k-modulos graduados
f : Hn (A, M ) / Hn (A, M 0 ) .
/
m a1 . . . an f (m) a1 . . . an
f g
Sean M / M0 / M 00 morfismos de A-bimodulos, se tiene que
(gf ) (m a1 . . . an ) = gf (m) a1 . . . an
= g (f (m) a1 . . . an )
= g f (m a1 . . . an ).
Proposici
on 2.2.7 Para cada n, Hn (, M ) es un funtor covariante.
Demostraci on: Consideremos f = Id : M M y el morfismo de

k-algebras g : A A0 , en el lema (2.2.5). Se tiene una aplicacion de
k-modulos graduados
g : Hn (A, M ) / Hn (A0 , M ) .
/ m g(a
m a1 . . . an 1) . . . g(an )
f g
Sean A0 / A0 / A00 morfismos de k-algebras y M un A00 -bimodulo, se
verifica que
(gf ) (m a1 . . . an ) = m gf (a1 ) . . . gf (an )

= g (m f (a1 ) . . . f (an ))
= g f (m a1 . . . an ).
Corolario 2.2.8 HH es un funtor covariante de la categora de

k-algebras asociativas con unidad a la categora de k-modulos graduados.
Demostraci on: Para este caso consideremos A = M , A0 = M 0 y el

morfismo de k-algebras h : A A0 , por el lema (2.2.5) se tiene el morfismo
de k-modulos graduados
h : HHn (A) / HHn (A0 )
/ h(a
a0 a1 . . . an 0) h(a1 ) . . . h(an )
45
f g
Sean A / A0 / A00 morfismos de k-algebras, se tiene que
(gf ) (a0 a1 . . . an ) = gf (a0 ) gf (a1 ) . . . gf (an )

= g (f (a0 ) f (a1 ) . . . f (an ))
= g f (a0 a1 . . . an ).
Ejemplo 2.2.9 (C alculo de H0 (A, M )) Por definicion C0 (A, M ) = M ,

C1 (A, M ) = M A y b(m a) = ma am, de ello tenemos que:
M
H0 (A, M ) =
{ma am/a A, m M }
Sea el k-modulo [A, A] = {aa0 a0 a/a, a0 A}, los conmutadores de A.

Tenemos que:
A
HH0 (A) = .
[A, A]
Ejemplo 2.2.10 Si A es conmutativo, entonces HH0 (A) = A.

Cuando A = k y por ser k n
= k se tiene que
n1
bn (a0 a1 an )
X
= [1 + (1)i + (1)n ]a0 a1 an
i=1
de ello se tiene (
1, n es par
bn =
0, n es impar
obteniendo el complejo de Hochschild para M = k
/ k
1 / k
0 / k
1 / / k
1 / k
0 / k.
Entonces
HH0 (k) = k,
Nu bn
HHn (k) = = 0, n > 0.
Im bn+1
46
2.3. Resoluci
on Barra
Para cada n 0 denotemos Cn0 (A) = A(n+2) ; la cual posee una
estructura de A-bimodulo con las siguientes operaciones:
(a0 . . . an+1 ) = a0 . . . an+1
(a0 . . . an+1 )0 = a0 . . . an+1 0
Ademas Cn0 (A) posee una estructura de A Aop -modulo con la siguiente
operacion:
(a a0 )(a0 . . . an+1 ) = aa0 . . . an+1 a0 .
0
Definimos la aplicacion de A Aop -modulos b0n : Cn0 (A) Cn1 (A) como:
n
X
b0n (a0 . . . an+1 ) = (1)i a0 . . . ai ai+1 . . . an+1
i=0
utilizando las notaciones definidas en la demostracion del lema (2.2.1)

tenemos para M = A
dn+1
A An+1
i
/ A An
obteniendose n
X
b0n = (1)i dn+1
i : Cn0 (A) Cn1
0
(A).
i=0
Luego:
n1
X n
X
b0n1 b0n = ( (1)j dnj ) ( (1)i dn+1
i )
j=0 i=0
n X
X n1
= (1)i+j dnj dn+1
i
i=0 j=0
procediendo de manera analoga a la demostracion del lema (2.2.1) se tiene

que b0n1 b0n = 0. Definimos : C00 = A A A por (a a0 ) = aa0 si
a, a0 A.
Ademas para b0 : C10 (A) C00 (A) tenemos:
b0 (a0 a1 a3 ) = [b0 (a0 a1 a3 )]
= (a0 a1 a3 a0 a2 a3 )
= (a0 a1 a3 ) (a0 a2 a3 )
= (a0 a1 )a3 a0 (a2 a3 )
= 0
47
As,
b02 b01
C0 (A) : ... / C10 (A) / C00 (A) / A / 0
es un complejo sobre A.
on 2.3.1 (C0 (A), b0 ) es una resolucion del A Aop -modulo A.
Proposici
Demostraci
on: Vemos que el siguiente complejo es una resolucion de A
b02 b01
C0 (A) : ... / C10 (A) / C00 (A) / A / 0
para ello verificaremos que la homologa del complejo es nula.
Construimos una homotopa contractante s de la siguiente forma:
s1 : A / C00 (A)
a / 1a
y
sn : Cn0 (A) / C0
n+1 (A)
a0 . . . an+1 / 1 a0 . . . an+1
que verifican:
s1 (a) = [s1 (a)] = (1 a) = 1a = IdA (a)
[sn1 b0n + b0n+1 sn ](a0 . . . an+1 )
= sn1 [b0n (a0 . . . an+1 )] + b0n+1 [sn (a0 . . . an+1 )]

X n
= sn1 [ (1)i a0 . . .ai ai+1 . . .an+1 )]+b0n+1 (1a0 . . .an+1 )
i=0
n
X
= (1)i sn1 (a0 . . .ai ai+1 . . .an+1 )+b0n+1 (1a0 . . .an+1 )
i=0
n
X
= (1)i 1 a0 . . . ai ai+1 . . . an+1 + b0n+1 (1 a0 . . . an+1 )
i=0
n
X
= (1)i 1 a0 . . . ai ai+1 . . . an+1 + a0 . . . an+1 +
i=0
n
X
(1)i+1 (1 a0 . . . ai ai+1 . . . an+1 )
i=0
n
X
= (1)i 1 a0 . . . ai ai+1 . . . an+1 + a0 . . . an+1
i=0
48
n
X
(1)i (1 a0 . . . ai ai+1 . . . an+1 )
i=0
= a0 . . . an+1 = IdCn0 (A) (a0 . . . an+1 ), n N
Luego tenemos que Id = 0 , entonces Id (Hn (C )) = Hn (C ) =

0 (Hn (C ))) = 0, n.
on 2.3.2 (C0 (A), b0 ) se llama la Resolucion Barra o Resolucion de

Definici
Hochschild de A como A Aop -modulo.
Lema 2.3.3 Para todo A-bimodulo M los complejos

0 0
(M AAop C (A), IdM AAop b ) y (C (A, M ), b) son isomorfos.
Demostraci
on: Definimos
: M AAop C0 (A) / C (A, M )

m AAop (a0 . . . an+1 ) / an+1 ma0 a1 . . . an
: C (A, M ) / M AAop C0 (A)

m a1 . . . an / m AAop (1 a1 . . . an 1)
Probaremos
1. = Id, = Id.
2. [Id AAop b0 ] = b.
El A-bimodulo M posee una estructura de A Aop -modulo a derecha con la

siguiente operacion:
m(a a0 ) = a0 ma
Para cada n y sobre los tensores elementales tenemos que se verifican:
[m AAop (a0 . . . an+1 )] = ([m AAop (a0 . . . an+1 )])

= [an+1 ma0 a1 . . . an ]
= an+1 ma0 AAop (1 a1 . . . an 1)
= [m(a0 an+1 )] AAop (1 a1 . . . an 1)
= m AAop [(a0 an+1 )(1 a1 . . . an 1)]
= m AAop (a0 1 a1 . . . an an+1 1)
= m AAop (a0 a1 . . . an an+1 )
49
[m a1 . . . an ] = ([m a1 . . . an ])
= [m AAop (1 a1 . . . an 1)])]
= 1m1 a1 . . . an
= m a1 . . . an
[Id AAop b0n ](m a1 . . . an ) = [Id AAop b0n [(m a1 . . . an )]]

= [Id AAop b0n (m 1 a1 . . . an 1)]
= [Id(m) AAop b0n (1 a1 . . . an 1)]
Ponemos a0 = an+1 = 1.
[Id AAop b0n ](m a1 . . . an ) = [Id(m) AAop b0n (a0 a1 . . . an an+1 )]

n
X
= [m AAop ( (1)i a0 . . . ai ai+1 . . . an+1 )]
i=0
n
X
= [ (1)i m AAop (a0 . . . ai ai+1 . . . an+1 )]
i=0
esto es equivalente a:
n1
X
= [m AAop (a0 a1 . . . an+1 ) + (1)i m AAop (a0 . . . ai ai+1 . . . an+1 )
i=1
+m AAop ((1)n a0 a1 . . . an an+1 )]
n1
X
= [m AAop (a0 a1 . . . an+1 )] + [ (1)i m AAop (a0 . . . ai ai+1 . . . an+1 )]
i=1
+[m AAop ((1)n a0 a1 . . . an an+1 )]
n1
X
= [m AAop (a0 a1 . . . an+1 )] + (1)i [m AAop (a0 . . . ai ai+1 . . . an+1 )]
i=1
+[m AAop ((1)n a0 a1 . . . an an+1 )]
n1
X
= an+1 ma0 a1 . . . an + (1)i an+1 ma0 . . . ai ai+1 . . . an
i=1
+an an+1 m(1)n a0 a1 . . . an1
50
reemplazando a0 = an+1 = 1 tenemos
n1
X
= 1m1a1 . . . an + (1)i 1m1 . . . ai ai+1 . . . an
i=1
+(1)n an 1m a1 . . . an1
n1
X
= ma1 . . . an + (1)i m a1 . . . ai ai+1 . . . an
i=1
+(1)n an m a1 . . . an1
= bn (m a1 . . . an ).
Teorema 2.3.4 Si el algebra A es proyectiva sobre k, entonces para todo

A-bimodulo M y para todo n 0 se tiene los isomorfismos
op
Hn (A, M ) = T ornAA (M, A)
Demostraci on:
Como A es k-proyectiva entonces An es k-proyectivo. Demostraremos que
Cn0 (A) = A An A es A Aop -proyectivo. Para esto consideramos el
siguiente A Aop -homomorfismo
g : An Cn0 (A)
x 7 1 x 1
y una sucesion exacta de A Aop -modulos
C
/ B / 0
y ademas un A Aop -homomorfismo f : Cn0 (A) B tal que se obtiene el

siguiente diagrama:
g
An / Cn0 (A)

C
/ B / 0
Como C, B son A Aop -modulos, tambien son k-modulos mediante la

siguiente aplicacion:
.x = ( 10 )x
51
Luego f g : An B es un k-homomorfismo, ya que verifica:
f g(x) = f (1x1) = f (x1) = f [(10 )(1x1)] = (10 )f (1x1) = .f g(x)
Por ser An k-proyectivo existe un k-homomorfismo h : An C tal que

h = f g.
An
|
|
h | f g
|
|
}|
C
/ B / 0
op
Definamos el A A -homomorfismo
H: Cn0 (A) C
a x b 7 ah(x)b
H[(a0 b0 )(a x b)] = H(a0 a x bb0 ) = (a0 a)h(x)(bb0 ) = a0 (ah(x)b)b0

= (a0 b0 )(ah(x)b) = (a0 b0 )H(a x b).
H hace conmutar el siguiente diagrama
g
An / Cn0 (A)

f
h H

{
C
/ B / 0
H(a x b) = (ah(x)b) = a(h(x)b) = a(h(x))b = ah(x)b = af g(h)b

= f (ag(x)b) = f (a(1 x b)a) = f (a x b)
Entonces Cn0 (A) es A Aop -proyectivo. Luego (C0 (A), b0 ) es una resolucion
A Aop -proyectiva de A.
Para el bimodulo M por (1.1.12) definimos el funtor aditivo T = M AAop :
op KerT b0n Ker(1 b0n )

T ornAA (M, A) = 0
= 0
= Hn (M AAop C0 (A), 1b0 ).
ImT bn+1 Im(1 bn+1 )
Por el lema (2.3.3) M AAop C0 (A) es isomorfo a C (A, M ). Luego
Hn (M AAop C (A), 1 b0 ) = Hn (C (A, M ), b) = Hn (A, M ).
52
2.4. Complejo de Hochschild Normalizado
Consideremos Cn (A, M ) = M An y Dn Cn (A, M ) donde Dn es
generado por
{m a1 . . . an /m M, ai A tal que i {1, . . . , n} con ai = 1}
Veamos que b(Dn ) Dn1

Sea (m a1 a2 . . . ai1 1 ai+1 . . . an ) Dn tal que 1 i n
1. Caso: i = 1
bn (m 1 a2 . . . an ) = m 1 a2 . . . an +
(1)1 m 1 a2 . . . an +
n1
X
(1)i m 1 a2 . . . ai ai+1 . . . an +
i=2
(1)n an m 1 a2 . . . an1
n1
X
= (1)i m 1 a2 . . . ai ai+1 . . . an +
|i=2 {z }
Dn1
(1)n an m 1 a2 . . . an1
| {z }
Dn1
2. Caso: 1 < i < n

bn (m a1 . . . ai1 1 ai+1 . . . an ) =
= m a1 a2 . . . ai1 1 ai+1 . . . an +
i2
X
(1)j m a1 a2 . . . aj aj+1 . . . ai1 1 ai+1 . . . an +
j=1
(1)i1 m a1 . . . ai1 1 ai+1 . . . an +

(1)i m a1 . . . ai1 1 ai+1 . . . an +
n1
X
(1)i m a1 a2 . . . aj aj+1 . . . ai1 1 ai+1 . . . an +
j=i+1
(1)n an m a1 . . . ai1 1 ai+1 . . . an1
53
= m a1 a2 . . . ai1 1 ai+1 . . . an +
| {z }
Dn1
i2
X
(1)j m a1 a2 . . . aj aj+1 . . . ai1 1 ai+1 . . . an +
j=1
| {z }
Dn1
n1
X
(1)i m a1 a2 . . . aj aj+1 . . . ai1 1 ai+1 . . . an +
j=i+1
| {z }
Dn1
(1)n an m a1 . . . ai1 1 ai+1 . . . an1

| {z }
Dn1
3. Caso: i = n
bn (m a1 . . . an1 1) = ma1 a2 . . . an1 1 +
n2
X
(1)i m a1 . . . ai ai+1 . . . an1 1 +
i=1
(1)n1 m a1 . . . an2 an1 1 +
(1)n 1 m a1 . . . an1
= ma1 a2 . . . an1 1 +
| {z }
Dn1
n2
X
(1)i m a1 . . . ai ai+1 . . . an1 1
|i=1 {z }
Dn1
M
El complejo D = Dn , b es un subcomplejo de (C (A, M ), b).
n0
A
Observaci
on 2.4.1 Denotando A = se tiene que:
k
Cn (A, M ) M An n
Cn (A, M ) = = 'M A .
Dn Dn
Definici
on 2.4.2 (C (A, M ), b) es llamado el Complejo de Hoshcshild
Normalizado.
Proposici on 2.4.3 Para todo n, Hn (D , b) = 0 y la aplicacion

Cn (A, M ) Cn (A, M ) es un casi-isomorfismo de complejos.
54
Demostraci
on: La prueba puede verse en [2, prop.1.1.15].
Teorema 2.4.4 Sean A0 y A dos k-algebras asociativas con unidad y

k-proyectivas, entonces
HH(A0 A00 )
= HH(A0 ) HH(A00 ).
Demostraci on: Denotamos por B = A0 A00 y consideremos el anillo

= B B . Como A0 y A00 son B-bimodulos con las operaciones definidas
op
de la siguiente manera para (a0 , a00 ) B, c0 A0 y c00 A00 :
(a0 , a00 ) c0 = a0 c0 y c0 (a0 , a00 ) = c0 a0
(a0 , a00 ) c00 = a00 c00 y c (a0 , a00 ) = c00 a00 ,

tenemos que A, A0 son -modulos. De (1.4.8) se tiene que:
T orn (A0 A00 , A0 A00 )

= T orn (A0 A00 , A0 ) T orn (A0 A00 , A00 ).
Por ser A0 y A00 k-proyectivos se tiene que A0 A00 es k-proyectivo. Por el

teorema (2.3.4) se tiene que para cada n
Hn (A0 A00 , A0 A00 )

= T orn (A0 A00 , A0 A00 ).
Por lo tanto
HHn (A0 A00 ) = T orn (A0 A00 , A0 A00 )

= T orn (A0 A00 , A0 )T orn (A0 A00 , A00 ).
on 2.4.4.1 T orn (A0 A00 , A0 )

0 0 op
Afirmaci = T ornA A (A0 , A0 ).
Por (1.3.14) para A0 y A00 existen resoluciones proyectivas como

A0 A0 op -modulos y A00 A00 op -modulos respectivamente. Estos poseen una
estructura de -modulos mediante la siguientes aplicaciones:
/ A0 A0op
(a0 , a00 ) (b a00 )

a0 , b / a0 a0
b
/ A00 A00op
(a0 , a00 ) (b a00 )

a0 , b / a00 a00
b
55
Observacion 2.4.5 Si Pn es proyectivo como A0 A0 op -modulo, es proyectivo
como -modulo, donde = B B op con B = A0 A00 .
0 0 op 0 0 op
M como AopA -modulo, existe un A A -modulo
Como Pn es proyectivo
M tal que Pn M
= (A0 A0 )i .
iI
Mediante la siguiente aplicacion los A0 A0 op -modulos poseen una estructura
de -modulos
/ A0 A0op
(a0 , a00 ) (b a00 )

a0 , b / a0 a0
b
Como
= (A0 A00 )(A0 A00 )
op op op op op op
= (A0 A0 )(A0 A00 )(A00 A0 )(A00 A00 )
Por ser el -modulo A0 A0 op sumando directo de se tiene que A0 A0 op
es proyectivoM
como -modulo.
op
Por lo tanto (A0 A0 )i es proyectivo como -modulo, luego se tiene que
iI
Pn0 es proyectivo como -modulo.
Por la observacion anterior como los Pn0 proyectivos como
A0 A0 op -modulos, tambien son proyectivos como -modulos. De la misma
manera, por ser los Pn00 proyectivos como A00 A00 op -modulos, tambien son
proyectivos como -modulos.
Se tiene el siguiente diagrama conmutativo, cuyas filas son resoluciones
proyectivas de -modulos
CA 0 : / P0 / / P0 / P 0 _ _ _ _ _ _/ A0
n 1 0

CA0 A00 : / P 0 P 00 / / P 0 P 00 / P 0 P 00 _ _ _/ A0 A00
n n 1 1 0 0

CA00 : / P 00 / / P 00 / P 00 _ _ _ _ _/ A00
n 1 0
Consideremos los funtores T := A0 A0 op A0 y L := A0 . Aplicando los

funtores T y L a las resoluciones reducidas CA0 y CA0 A00 respectivamente; se
tiene los complejos (T CA0 , 0 A0 A0 op 1A0 ) y (LCA0 A00 , ( 0 , 00 ) 1A0 ).
Se tiene que Pn0 Pn00 A0 = Pn0 {0} A0 , pues se verifica:
(p0 , p00 ) a0 = (p0 , p00 ) a0 1
= (p0 , p00 ) [(a0 , 0) (1, 0)] 1
= [(a0 , 0) (1, 0)] (p0 , p00 ) 1
= (a0 p0 , 0) 1 = (p0 , 0) a0 .
56
De ello se tiene que (LCA0 A00 , ( 0 , 00 ) 1A0 ) = (LCA0 A00 , ( 0 , 0) 1A0 ).
Definamos la aplicacion:
: (T CA0 , 0 A0 A0 op 1A0 ) / (LCA0 A00 , ( 0 , 0) 1A0 )
donde
n : Pn0 A0 A0 op A0 / Pn0 Pn00 A0
p0n A0 A0 op a0 / (p0n , 0) a0 .
Veamos que el diagrama conmuta
n
Pn0 A0 A0 op A0 / Pn0 Pn00 A0
0 A0 A0 op 1A0 ( 0 ,0) 1A0
n1

0
Pn1 A0 A0 op A0 / 0
Pn1 00
Pn1 A0
[ ( 0 , 0) 1A0 n ](p0n A0 A0 op a0 ) = [( 0 , 0) 1A0 ] (p0n , 0) a0 = ( 0 p0n , 0) a0 .

[n1 0 A0 A0 op 1A0 ](p0n A0 A0 op a0 ) = n1 ( 0 p0n A0 A0 op a0 ) = ( 0 p0n , 0) a0 .

Definamos la aplicacion
: (LCA0 A00 , ( 0 , 0) 1A0 ) / (T CA0 , 0 A0 A0 op 1A0 )
donde
n : Pn0 Pn00 A0 / Pn0 A0 A0 op A0
(p0n , p00n ) a0 / p0
n A0 A0 op a0
Se verifica facilmente que es la inversa de . Por lo tanto se tiene que los
complejos (T CA0 , 0 A0 A0 op 1A0 ) y (LCA0 A00 , ( 0 , 00 ) 1A0 ) son isomorfos.
Luego se tiene Hn (T CA0 ) = Hn (LCA0 A00 ), por lo tanto
0 op
T orn (A0 A00 , A0 )
0
= T ornA A (A0 , A0 ).
De manera analoga se prueba que

00 op
T orn (A0 A00 , A00 )
00
= T ornA A (A00 , A00 ).
Por lo tanto se concluye que:

0 op 00 op
HHn (A0 A00 )
0 00
= T ornA A (A0 , A0 ) T ornA A (A00 , A00 )

= HHn (A0 ) HHn (A00 ).
57
Observaci on 2.4.6 (Homologa de Hochschild para algebras sin unidad)
Como HHn es un funtor de algebras con unidad en la categora de
k-modulos, podemos extender la definicion a algebras sin unidad por medio
de
HHn (A) := Conucleo(HHn (k) HHn (A+ ))
Como HHn conmuta con el producto por (2.4.4), hemos demostrado que esta
definicion coincide con la usual cuando A es unitario y proyectivo.
En general, HHn conmuta con el producto para algebras con unidad [2,
1.4.1].
58
Captulo 3
Homologa Cclica
3.1. Bicomplejos:
Definicion 3.1.1 Un bicomplejo (tambien llamado complejo doble) es
una coleccion de modulos Cp,q indexados por enteros p y q, con una
diferencialhorizontal
dh : Cp,q Cp1,q
y una diferencial vertical
dv : Cp,q Cp,q1
tal que cada cuadrado anticonmuta (dv dh = dh dv ).
Cp1,q o Cp,q
dh
dv dv

Cp1,q1 o Cp,q1
dh
Se satisfacen las siguientes identidades
dv dv = dh dh = dv dh + dh dv = 0
Note que un complejo de complejos es un complejo en la categora de

complejos, donde los cuadrados conmutan en lugar de anticonmutar.
59
Sea el bicomplejo C tal que Cp,q = 0 si p < 0 o q < 0
dv dv dv

C0,2 o C1,2 o C2,2 o
dh dh
dv dv dv

C0,1 o C1,1 o C2,1 o
dh dh
dv dv dv

C0,0 o C1,0 o C2,0 o
dh dh
M
entonces el k-modulo (T otC )n := Cp,q , esta bien definido (por ser una
p+q=n
suma finita), definimos d = dh + dv
M M M M
/ Cp,q dh +dv / Cp,q dh +dv / Cp,q dh +dv / Cp,q .
T ot(C ) : . . .
p+q=3 p+q=2 p+q=1 p+q=0
Se satisface:
d d = (dh + dv ) (dh + dv )
h
= d
| {z d}h +dh dv + dv dh + dv
d}v
| {z
0 0
= dh dv + dv dh = 0
de ello tenemos que (T otC , d) es un complejo, llamado Complejo Total

del bicomplejo C y denotado por T ot(C ) o simplemente T ot(C).
Los grupos de homologa Hn (T ot(C)) son llamados los grupos de
homologa del bicomplejo C.
3.2. Complejo mixto

UnM
complejo mixto (M , b, B) es dado por un k-modulo graduado
M = Mn , un diferencial b de k-modulos de grado 1 y un diferencial B
n0
de grado +1 verificando:
b2 = B 2 = bB + Bb = 0.
60
Un complejo mixto determina un bicomplejo B(M ) en el primer cuadrante
colocando Bpq = Mqp si 0 p q, Bpq = 0 en cualquier otro caso.
b b b b

B03 o B
B13 o B
B23 o B
B33
b b b

B02 o B
B12 o B
B22
b b

B01 o B
B11
b

B00
A este bicomplejo,
M se le asocia el complejo total (T otB(M ), b + B) con
(T otB(M ))n = Bpq = Mn Mn2 Mn4
p+q=n
on 3.2.1 La homologa del complejo total del bicomplejo B(M ) es

Definici
llamada la homologa cclica del complejo mixto (M, b, B), es decir:
HC (M, b, B) := H (T otB(M ), b + B).
3.2.1. Secuencia SBI para Complejos mixtos

Teorema 3.2.2 Para todo bicomplejo mixto (M , b, B) existe una secuencia
exacta larga
/ I/ S / B / /
Hn (M , b) HCn (M, b, B) HCn2 (M, b, B) Hn1 (M , b)
Demostraci on: Sea el bicomplejo B(M ) donde B {1} (M ) es el bicomplejo

que consta de la primera columna de esta. El complejo B[1, 1] es el complejo
B con la nueva graduacion (B[1, 1])pq = Bp1,q1 . Obtenemos la siguiente
sucesion exacta de bicomplejos
0 / B {1} (M ) / B(M ) / B[1, 1] / 0
como se puede apreciar en el siguiente grafico:
61
o
M3 M3 o B
M2 o B
M1 o B
M0 0 M2 o B
M1 o B
M0
b b b b b b
o
M2 / M2 o B
M1 o B
M0 / 0 M1 o B
M0
b b b b

M1 M1 o B
M0 0 o M0
b b

M0 M0 0
Se tiene la siguiente secuencia exacta corta de complejos:
0 / T ot(B {1} (M ))
I / T ot(B(M ))
S / T ot(B[1, 1]) / 0 (3.1)
donde I es la inclusion con I(mn ) = mn B0,n = Mn y S

es llamado operador peri odico de B con S(mn , mn2 , mn6 , ) =
(mn2 , mn4 , mn6 , ).
Notemos que (T ot(B[1, 1](M )))n = (T ot(B(M )))n2 . Para la sucesion exacta
corta (3.1) se tiene por (1.3.9) la siguiente secuencia larga en homologa:
/ Hn (T ot(B {1} (M ))) I / Hn (T ot(B(M ))) S

/ Hn2 (T ot(B(M ))) B
/ Hn1 (T ot(B {1} (M ))) /
equivalentemente
/ I/ S / B / /
Hn (M , b) HCn (M, b, B) HCn2 (M, b, B) Hn1 (M , b) .
Observaci on 3.2.3 Notemos que B (z) = [Bmn2 ] con

z = [(mn2 , mn4 , mn6 , )] HCn2 (M, b, B):
Tenemos que B : HCn2 (M, b, B) Hn1 (M , b) es dada por (1.3.9) de la
siguiente forma:
(B )(z) = I 1 [b + B]T ot(B(M )) y, para alg

un y con Sy = z.
Sea
z = [(mn2 , mn4 , mn6 , , )] HCn2 (M, b, B) = Hn (T ot(B(M )))[1, 1]).
Tomamos y = (0, mn2 , mn4 , mn6 , ) donde Sy = z. Ademas
[b + B]T ot(B(M )[1,1]) z = 0
62
es decir:
b B

mn2

b B mn4
b B mn6

=

b B

= (bmn2 + Bmn4 , bmn4 + Bmn6 , ) = (0, 0, 0, ).

Como [b + B]T ot(B (M )) y es dado por:
b B 0

b B mn2
b B mn4

=

b B mn6

b B

= (Bmn2 , bmn2 + Bmn4 , bmn4 + Bmn6 , )

por lo anterior
[b + B]T ot(B (M )) y = (Bmn2 , 0, 0, ),
por lo que (B )(z) = I 1 [b + B]T ot(B(M )) y = [Bmn2 ].

Esto justifica llamar B al morfismo conector B de (1.3.9).
3.3. Homologa Cclica de una k-

algebra
asociativa A
3.3.1. Primera definici
on de Homologa Cclica
La accion del grupo cclico Z/(n + 1)Z sobre el modulo An+1 es dado
por su generador t = tn
tn (a0 . . . an ) = (1)n an a0 . . . an1 (3.2)
sobre los tensores elementales de An+1 ; este es llamado operador cclico.

Note que (1)n es el signo de la permutacion cclica de los n + 1 elementos.
Sea N = 1 + t + + tn llamado operador norma sobre An+1 .
Lema 3.3.1 Los operadores t, N, b y b0 satisfacen:
(1 t)b0 = b(1 t), b0 N = N b.
Demostraci on: Veamos que se cumple di tn = tn1 di1 para 0 < i n

y d0 tn = (1)n dn . Sobre los tensores elementales se tiene :
63
i=0:
d0 tn (a0 an ) = d0 ((1)n an a0 , an1 )

= (1)n d0 (an a0 , an1 )
= (1)n an a0 a1 an1
= (1)n dn (a0 an )
0 < i < n:
di tn (a0 an ) = di ((1)n an a0 , an1 )

= (1)n di (an a0 , an1 )
= (1)n an a0 ai1 ai an1
= (1)(1)n1 an a0 ai1 ai an1
= (1)tn1 (a0 ai1 ai an1 )
= tn1 di1 (a0 an )
i=n:
dn tn (a0 an ) = dn ((1)n an a0 , an1 )

= (1)n dn (an a0 , an1 )
= (1)n an1 an a0 an2
= (1)(1)n1 an1 an a0 an2
= (1)tn1 (a0 an2 an1 an )
= tn1 (a0 an2 an1 an )
= tn1 dn1 (a0 an )
De estas igualdades se deduce el siguiente calculo:
di tn = tn1 di1
((1)i di )tn = tn1 (1)i1 di1

n
! n
!
X X
(1)i di tn = tn1 (1)i1 di1
i=1 i=1
n
! n1
!
X X
(1)i di tn = tn1 (1)j dj
i=1 j=0
0
(bn b0 )tn = tn1 bn1
64
De la ultima ecuacion se tiene:
bn tn = b0 tn + tn1 b0n1
= (1)n dn + tn1 b0n1
= bn b0n1 + tn1 b0n1
y se concluye que bn (tn 1) = b0n1 (tn1 1).
Ademas se tiene para 1 j n.
tj (a0 an ) = (1)jn anj+1 an a0 anj
Las relaciones anteriores implican para i j :
di tjn (a0 an ) = (1)jn di (anj+1 an a0 anj )
= (1)jn anj+1 an a0 aij aij+1 anj
= (1)j (1)j(n1) anj+1 an a0 aij aij+1 anj
= (1)j tjn1 (a0 aij aij+1 an )
= (1)j tjn1 dij (a0 an )
y para i < j:
di tjn (a0 an ) = (1)jn di (anj+1 an a0 anj )
= (1)jn anj+1 anj+1+i1 anj+1+i an a0 anj
= (1)jn anj+1 an+ij an+1+ij an a0 anj
tj1 j1
n1 dn+1+ij (a0 an ) = tn1 (a0 an+1+ij an+1+ij+1 an )
= (1)(j1)(n1) a(n1)(j1)+1 an+ij an+ij+2 an a0 a(n1)(j1)

= (1)jnjn+1 anj+1 an+ij an+ij+2 an a0 anj
de lo anterior se tiene que di tjn = (1)nj+1 tj1

n1 dn+1+ij .
De todos los resultados anteriores podemos escribir:

n1
! n !
X X
b0 N = (1)i di tjn
i=0 j=1
X X
= (1)i di tj + (1)i di tj
0i<jn 0jin1
X X
= (1)i ((1)nj+1 tj1 dij+n+1 ) + (1)i ((1)j tj dij )
0i<jn 0jin1
X X
n+ij+1 j1
= (1) t dij+n+1 + (1)ij tj dij
0i<jn 0jin1
65
Haciendo la sumatoria sobre j y un cambio de variable en la primera
sumatoria igual a q = i j + n + 1 donde 0 i < j y en la segunda
sumatoria el cambio de variable de q = i j donde j i n 1 se tiene:
n n nj1
!
X X X
b0 N = (1)q tj1 dq + (1)q tj dq
j=0 q=nj+1 q=0
n n n+j1
!
X X X
= (1)q tj dq + (1)q tj dq
j=0 q=nj q=0
n n+1 n+j1
!
X X X
= tj (1)q dq + (1)q dq
j=0 q=nj q=0
n n+1
!
X X
= tj (1)q dq
j=0 q=0
Xn
= ( tj )b
j=0
= Nb
Como consecuencia inmediata del lema anterior se tiene que:
N b + (b0 )N = 0 y b(1 t) + (1 t)(b0 ) = 0
y de tn+1 = 1 se tiene:
(1 t)N = (1 tn )(1 + tn + + tnn )

= 1 + tn + + tnn tn t2n tnn tn+1
n
= 1 tn+1
n
= 0
N (1 t) = (1 + tn + + tnn )(1 tn )
= 1 + tn + + tnn tn t2n tnn tn+1
n
n+1
= 1 tn
= 0
66
Se obtiene el siguiente bicomplejo denotado por CC(A), y llamado el
bicomplejo cclico:
b b0 b b0

A3 o A3 o A3 o A3 o
1t N 1t N
b b0 b b0

A 2 o 1t A 2 o N
A 2 o 1t A 2 o N
b b0 b b0

Ao Ao Ao Ao
1t N 1t N
con CCpq (A) = Cq (A) = Aq+1 .

Definici on 3.3.2 Los grupos de homologa cclica HCn (A), n 0 de la
k-algebra asociativa A (no necesariamente con unidad) son los grupos de
homologa del complejo total T otCC(A):
HCn (A) := Hn (T otCC(A)).
Note que no asumimos que A es unitario en esta definicion. Denotaremos

HC(A \ k) si es necesario mencionar a k. Como es usual
M
HC (A) := HCn (A).
n0
Un morfismo de k-algebras (que no necesariamente preserva unidad)

f : A A0 induce un morfismo de bicomplejos CC(A) CC(A0 ) y ademas
una aplicacion funtorial HCn (A) HCn (A0 ), es decir, HCn es un funtor de
las categoras de las k-algebras asociativas a la categora de k-modulos.
Si k K A es una sucesion de morfismos, esta define una aplicacion
natural de k-modulos HCn (A \ k) HCn (A \ K)
3.3.2. Complejo de Connes

Definici on 3.3.3 Sea G un grupo y k[G] el algebra asociada al grupo sobre
el anillo conmutativo k. Un G-modulo a izquierda sobre k es por definicion
un k[G]- modulo a izquierda. Cuando G = Z/nZ, se define la homologa de
G con coeficientes en M como la homologa del complejo
/M 1t / M
N /M 1t / M
67
y se denota por H (Z/nZ, M ). Aqu t denota la accion del generador de G y
N = 1 + t + t2 + + tn1 es el operador norma definido en (3.2).
Definicion 3.3.4 Sea G un grupo y V un G-modulo a izquierda. El espacio
de invariantes es definida por
V G := {v V /g v = v, g G}
y el espacio de coinvariantes es definida por
V
VG := .
h{g v v/v V, g G}i
El conucleo del endomorfismo 1t : An+1 An+1 es denotado por Alain
Connes como:
An+1
Cn (A) := .
1t
Por definicion el Nu(1 t) y el Conucleo(1 t) se llaman el espacio invariante
n+1 G
(A ) , respectivamente el espacio coinvariante (An+1 )G de la accion de
G = Z/(n + 1)Z.
La aplicacion b : Cn (A) Cn1
(A) con x 7 bx, esta bien definida ya
que: x = y x y = (1 t)z, z An+1 entonces bx by = b(1 t)z =
(1 t)bz bx = by. Ademas bb(x) = bb(x) = 0;
Definici
on 3.3.5 (Complejo de Connes) El complejo
C (A) : b / C (A) b / C b / b / C0 (A)

n n1 (A)
es llamado complejo de Connes, donde el n-esimo grupo de homologa es

denotado por Hn (A) := Hn (C (A)).
La proyeccion natural p : T otCC(A) C (A) es la aplicacion cociente
An+1
An+1 7 sobre la primera columna de CC(A) y 0 en las otras, es
1t
decir:
b b0 b b0
A3 o
A 3 o 1t
A 3 o N
A 3 o 1t
A o
3 N 0o 0o 0o
1t
b b0 b b0 b

A2 o
A2 o A2 o A2 o o 0o 0o 0o
1t N 1t
2 N
A
1t
b b0 b b0 b

A o
Ao Ao Ao Ao 0o 0o 0o
1t N 1t N
1t
68
Teorema 3.3.6 Para toda algebra A sobre un anillo k que contiene a Q, la
proyeccion natural
p : HC (A) H (A)
es un isomorfismo.
Demostraci
on: Consideremos la fila n-esima del bicomplejo CC(A)
An+1 o An+1 o An+1 o An+1 o

1t N 1t N

Cuando Q k podemos definir h por medio de:
hm : Cn (A) Cn (A)
donde
1
n + 1 Id si m es par,

hm :=
1
Xn
n + 1

iti si m es impar.
i=1
Si s impar:
(1 t)h + hN = (1 tn )hm + hm+1 N

" X n
# n
!
1 1 X
= (1 tn ) iti + Id tin
n + 1 i=1 n n+1 i=0
" n n
#
1 X X
= ti (1 tn )( itin )
n + 1 i=0 n i=1
" n
#
1 X
= 1+ (tin itin + iti+1
n )
n+1 i=1
= tn+1
n = Id
69
Si m es par:
N h + h(1 t) = N hm + hm+1 (1 t)
n
! " X n
#
X 1 1
= tin Id + itin (1 tn )
i=0
n + 1 n + 1
"X n n
# i=1
1 X
= tin itin (1 tn )
n+1 i=0 i=1
" n
#
1 X
= 1+ (tin itin + iti+1n )
n+1 i=1
" n
#
1 X
= 1+ (tin itin + iti+1 i+1
n + tn tn )
i+1
n+1 i=1
" n n
#
1 X X
= 1+ (tin ti+1
n ) (itin (i + 1)ti+1n )
n+1 i=1 i=1
1
1 + tn tn+1 n+1

= n tn + (n + 1)t n
n+1
n+1
= tn = Id
Obtenemos que h es una homotopa entre Id y 0. Esto implica que esta fila
es un complejo cuya homologa es nula salvo en
An+1
H0 = = Cn (A).
Im(1 t)
Consideremos el bicomplejo K
.. .. .. ..
. . . .

0o Im(1 t) o An o An o An o
1t N 1t

b b0 b b0

.. .. .. ..
. . . .

0o Im(1 t) o A2 o A2 o A2 o
1t N 1t

b b0 b b0

0o Im(1 t) o Ao Ao Ao
1t N 1t

70
se tiene la siguiente secuencia exacta de complejos
0 / T ot(K) / T ot(CC(A)) / C / 0 (3.3)
Veamos que H(T ot(K)) = 0:

Consideremos el complejo exacto
0o Im(1 t) o Ao Ao Ao
1t N 1t
F0 :
y el bicomplejo K1
.. .. .. ..
. . . .

1t N 1t

b b0 b b0

.. .. .. ..
. . . .

1t N 1t

b b0 b b0

1t N 1t

0 0 0 0
Obtenemos la siguiente sucesion exacta de complejos
0 / F0 / T ot(K)) / T ot(K1 ) /0 (3.4)
Como Hn (F0 ) = 0, n y por la secuencia larga en homologa de (3.4)
/ H1 (F ) / / / H0 (F ) / H0 (K) / /
| {z } H1 (K) H1 (K1 ) | {z } H0 (K1 ) 0
0 0
se tiene que Hn (K)

= Hn (K1 ), n.
Ahora consideremos el complejo exacto
1t N 1t
F1 :
71
y el bicomplejo K2
.. .. .. ..
. . . .

1t N 1t

b b0 b b0

.. .. .. ..
. . . .

0o Im(1 t) o o N o 1t A4 o
1t
A 4
A 4
b b0 b b0

1t N 1t

0 0 0 0
Obtenemos la siguiente sucesion exacta de complejos
0 / F1 / T ot(K1 )) / T ot(K2 ) / 0 (3.5)
Como Hn (F1 ) = 0, n y por la secuencia larga en homologa de (3.5)
/H (F )
| 1{z 1} / H1 (K1 ) / H1 (K2 ) / H0 (F1 )
| {z } / H0 (K1 ) / H0 (K2 ) / 0
0 0
se tiene que Hn (K1 )

= Hn (K2 ), n.
De manera inductiva podemos definir los bicomplejos K3 , K4 . tal que se
tiene Hn (K)
= Hn (Kr ) = 0, n < r.
Aplicando la secuencia larga en homologa de (3.3) se tiene que
Hn (T ot(CC(A)) = Hn (C ). Por lo tanto se concluye que la homologa del
bicomplejo CC(A) es canonicamente isomorfa al complejo de Connes C .
Lema 3.3.7 (Complejo contractible de Killing) Sea
" #

d=

/ An A0n / An1 A0n1 /
un complejo de k-modulos tal que el complejo (A0 , ) es contractible, con
homotopa contractante h : A0n A0n+1 , entonces la inclusion de complejos
(Id, h) : (A , h) , (A A0 , d)
es un casi-isomorfismo.
72
Demostraci on:
Como = 0 y de dd = 0 se tiene
2
+ + 0 0
dd= = =
+ + 0 0
del resultado anterior se tiene + = 0 y = 0; ademas por ser h una

homotopa contractante para se cumple que h + h = Id.
(h + h) = Id
h + h() =
h h =
Veamos que (A , h) es un complejo:
(h)(h) = 2 hhh h = 2 +(h h) = 0

|{z} |{z} | {z }
0
Veamos que la inclusion (Id, h) : An An A0n induce una aplicacion

de complejos (A , h) (A A0 , d).
h h h
A : / An / An1 /
(Id,h) (Id,h) (Id,h)

A A0 : d / An A0n d / An1 A0n1 d /
Tenemos las igualdades

h
Id
d (Id, h) = = .
h
h

Id h
(Id, h) ( h) = [ h] = .
h h + hh
De ellas deducimos que h = h y h()h = h0h = 0. Se obtiene
que d (Id, h) = (Id, h) ( h).
Como el con ucleo de (Id, h) es isomorfo al complejo (A0 , ) y por la
secuencia larga en homologa, se tiene que la inclusion (Id, h) es un casi-
isomorfismo.
73
3.3.3. Segunda definici
on de Homologa Cclica El
bicomplejo B(A)
Si A es unitario, construiremos de dos maneras diferentes el bicomplejo
B(A) a partir del bicomplejo CC(A) usando el lema (3.3.7).
I Forma: Consideremos la secuencia de k-modulos

" # " #
n n n1 n1
dn = dn1 =
n n n1 n1
An A0n / An1 A0 / An2 A0
n1 n2
donde
Para n = 2m:
An = A2m+1 A2m1 A2m2 A2 A A0n = A2m

b 0 0
0 b 1t 1t

b0 N
0

2m = 2m =

1t 0

b 0 (2m1)1
0 0 b0 N (2m1)(2m)
b0

2m = 0 N 0 0 1(2m)
2m = 11
Para n = 2m 1:
An = A2m A2m2 A2m3 A2 A A0n = A2m1

b 0 0

1t
0 b 1 t
0
b0 N

2m1 = 2m1 =

b 1t

0

b N 0
0
0 0 b 1t (2m2)(2m1)
(2m2)1
b0

2m1 = 0 N 0 0 1(2m1)
2m1 = 11
Probemos que dn1 dn = 0, n.

n1 n1 n n n1 n + n1 n n1 n + n1 n
=
n1 n1 n n n1 n + n1 n n1 n + n1 n
74
Para n = 2m:
2m1 2m =

bb 0 0

0 bb b(1 t) (1 t)b0 (1 t)N
b0 b0 N b b0 N N (1 t)

b0 b0 N b b0 N N (1 t) 0
0 0 b(1 t) (1 t)b0 (1 t)N (2m2)(2m)
0 (1 t)N 0 0

0
2m1 2m =

0 0 (2m2)(2m)
b(1 t) (1 t)b0

0
2m1 2m + 2m1 2m =

0 (2m1)1
0

2m1 2m + 2m1 2m = 0 0 Nb Nb N (1 t) 0 0 1(2m)
= b0 b0 11

2m1 2m + 2m1 2m
Como CC(A) es un bicomplejo, se tiene que d2m1 d2m = 0, de manera
analoga tambien se verifica d2m d2m+1 = 0.
Concluimos que (An A0n , d) es un complejo y el complejo (A0 , b0 ) es

contractil, con homotopa contractante h : A0n A0n+1 donde h = s es el
operador extra degeneraciondefinido por:
s : An An+1 , s(a1 a2 an ) = 1 a1 a2 an
Aplicando el lema (3.3.7) tenemos que la inclusion

0
(Id, h) : (A , h) , (A A , d) es un casi-isomorfismo, donde:

b (1 t)sN 0
0
b 1t

0
b N

n n hn n =
b 1t

0
b N

(n1)n
75
Poniendo B = (1 t)sN tenemos el bicomplejo CC(A)1
b

A4 gOO
OOO
OOOB
b OOO b0
OOO b b
O
A3 o A3 o A3 o
1t N 1t
A3 gOO
OOO
OOOB
b OOO b0
OOO b b
O
A 2
A 2 o 1t A 2 o N
A 2 o 1t
gOOO
OOO
OOB
OOO
b OOO b b0 b
OOO
Ao Ao Ao
1t N 1t
A
que satisface Hn (T ot(CC(A)1 )) = Hn (A , h). Por el lema

(3.3.7) Hn (A , h) = Hn (A A0 , d) = Hn (T ot(CC(A))). Ahora
aplicaremos una vez mas el lema de Killing (3.3.7) considerando la secuencia
de k-modulos

bn bn
bn1 bn1
dbn = dbn1 =

bn bn
bn1 bn1
b0 /A b0
bn1 A /A b0
A
A n2
bn A n1
b n2
n
donde
Para n = 2m:
bn = A2m+1 A2m1 A2m3 A2 A
A b0n = A2m2
A

b B 0
0 b 0 0
b 1t 1t
b0

N 0
= b2m =

b2m

1t 0

b 0 (2m2)1
0 0 b0 N (2m2)(2m1)
b0

b2m = 0 0 N 0 0 1(2m1)
b2m = 11
Para n = 2m 1:
76
bn = A2m A2m2 A2m4 A2 A
A b0 n = A2m3
A

b B 0
0 b 0 0

b 1t

1t

b0 N

b2m1 = b2m1
=

b 1t

b0 N 0 0 (2m3)1
0 0 b 1 t (2m3)(2m2)
0 1(2m2) b2m1 = b0 11

b2m1 = 0 0 N 0
Se satisface dn dn1 = 0, n; obtenemos as que (A b Ab0 , d)

b
es un complejo y (A b0 , b0 ) un complejo contractible con homotopa
contractante h = s. Aplicando el lema (3.3.7) tenemos que la aplicacion
(Id, hb
) : (A b b
b , b ) , (A b0 , d)
b A b es un casi-isomorfismo, donde

b B 0
0 b B

b 1t
0

b N
bn bn hn
bn =

b 1t

0
b N

(n2)(n1)
Luego tenemos el bicomplejo CC(A)2
b b

A5 o
B
A4 gOOO
OOO B
OOO b0
b b OOO b b
O
A4 o A3 o A3 o A3 o
B 1t N 1t
A3 gOOO
OOO B
OOO b0
b b OOO b b
O
A3 o A2 o A2 o A2 o
B 1t N 1t
A2 gOOO
OOO B
OOO b0
b b OOO b b
OO
A2 o Ao Ao Ao
B 1t N 1t
A
b

A
77
y se satisface Hn (T ot(CC(A)2 )) = Hn (A b hb
b , b ) por el lema (3.3.7)
Hn (A b hb
b , b A
b ) = Hn (A b = Hn (T ot(CC(A)1 )). De manera sucesiva
b0 , d)
aplicamos el lema (3.3.7) para las columnas pares de CC(A). Se obtendra
A3aC A3aC A3
CC CC
CC CC
CC CC
CC CC
CC CC
B CCC B CCC
b b b
CC CC
CC CC
C C
A2aC A2aC A2
CC CC
CC CC
CC CC
CC CC
CCC CC
B CCC
b b b
B CC
CC CC
CC CC
C C
A A A
con
Bb + bB = 0
Obtenemos el bicomplejo B(A), donde (B(A))p,q = Cqp (A) = Aqp+1 , si
q p, p, q 0 y 0 en cualquier otro caso.

A3 o B A2 o B
A
b b

A2 o B
A
b

A
Donde (B(A))p,q = (CC(A))2p,qp . La aplicacion inyectiva de complejos
T ot(B(A)) , T ot(CC(A)) lleva a un x (B(A))p,q = Cqp (A) tal que
p + q = n en el elemento (x, sN x) Cqp (A) Cqp+1 (A) (T otCC(A))p+q ,
ademas se tiene que Hn (T otCC(A)) = Hn (B(A)).
II Forma:Consideremos la secuencia de k-modulos

n n n1 n1
dn = dn1 =
n n n1 n1
An A0n / An1 A0n1 / An2 A0n2
donde
78
Para n = 2m:
An = A2m+1 A2m1 A3 A A0n = A2m A2m2 A4 A2
b 0 0 1t

0 0
0 b 0 1t
2m = 2m =

1t 0
0 b 0 m(m+1)
0 0 1t mm
b0 0

0 N 0 0 0
0 0 N 0 b0
2m = 2m =

N 0 b 0 0
0 0 0 N m(m+1)
0 0 b0 mm
Para n = 2m + 1
An = A2m+2 A2m A4 A2 A0n = A2m+1 A2m1 A3 A

b 0 0 1t 0 0

0 b

0
1t

2m+1 = 2m+1 =

0 1t

0
0 0 b (m+1)(m+1) 0 0 1t (m+1)(m+1)
b0 0

0 N 0 0 0

0 0 N

b0

2m+1 = 2m+1 =

N b0 0 0

0
0 0 N m(m+1)
0 b0 0 m(m+1)
Donde que dn1 dn = 0, n.

n1 n1 n n n1 n + n1 n n1 n + n1 n
dn1 dn = =
n1 n1 n n n1 n + n1 n n1 n + n1 n
79
Para n = 2m + 1:

bb

2m 2m+1 =

bb 0 m(m+1)

0 (1 t)N

2m 2m+1 =

(1 t)N m(m+1)
0

b(1 t) (1 t)b

2m 2m+1 +2m 2m+1 =

b(1 t) (1 t)b0 0 m(m+1)
0

0 Nb b N

2m 2m+1 + 2m 2m+1 =

0 N b b0 N m(m+1)

0 N (1 t)

2m 2m+1 =

0 N (1 t) m(m+1)
b0 b0

2m 2m+1 =

b0 b0 0 mm
Como CC(A) es un bicomplejo se tiene que d2m d2m+1 = 0, de manera
analoga tambien se verifica d2m1 d2m = 0.
Se obtiene as que (An A0n , d) es un complejo. El complejo (A0 , ) es
contractil, pues es suma directa de complejos contractibles con homotopa
contractante h : A0n A0n+1

s

s

h=

80
donde s es el operador extra degeneracion. Aplicando el lema (3.3.7)
tenemos que la inclusion (Id, h) : (A , h) , (A A0 , d) es un
casi isomorfismo, donde:

b B

b B

h =

b B
Tenemos que el bicomplejo B(A)

A3 o A2 o
B B
A
b b

A2 o
B
A
b

A
satisface Hn (T ot(B(A))) = Hn (A , h) = Hn (A A0 , d) =
Hn (T ot(CC(A))) por el lema (3.3.7). De los dos metodos antes expuestos
se concluye el siguiente teorema.
Teorema 3.3.8 ((b, B) Definici
on de Homologa Cclica) Para toda
k-algebra A asociativa con unidad la aplicacion inclusion
T ot(B(A)) T ot(CC(A)) es un casi-isomorfismo.
Observacion 3.3.9 Como B esta definido por B = (1 t)sN tenemos que
B : An+1 An+2 es dado por
n
X
B(a0 a1 an ) = [(1)ni 1 ai ai+1 an a0 a1 ai1
i=0
.
(1)ni ai 1 ai+1 an a0 ai1 ]
3.3.4.
Secuencia SBI para Algebras
Teorema 3.3.10 (Secuencia exacta peri odica de Connes) Para toda
A algebra asociativa (no necesariamente con unidad) existe una secuencia
exacta larga
/ I / S / B / /
HHn (A) HCn (A) HCn2 (A) HHn1 (A)
81
Demostraci on: La prueba del teorema es dada para el caso A con unidad.
Como el bicomplejo B(A) es el complejo mixto (C (A), b, B), por el teorema
(3.3.8) la homologa cclica de A es dada por HC (A) = HC (C (A), b, B).
Para el complejo mixto (C (A), b, B) aplicamos (3.2.2), obteniendose la
sucesion exacta larga
/ I / S / B / /
HHn (A) HCn (A) HCn2 (A) HHn1 (A)
llamada sucesion o secuencia exacta larga de Connes.

En el caso de A sin unidad requeriremos de otros resultados que no son
considerados en la tesis.
3.4. El bicomplejo B(A)

El (b, B) bicomplejo B(A) puede ser simplificado mas reemplazando los
complejos de Hochschild por sus normalizados.
Sea A = A/k y consideremos el nuevo bicomplejo B(A):

2 o B AAo
B
A
AA
b b

AAo
B
A
b

A
n n+1
donde B = sN : A A AA esta dado por la formula
n
X
B(a0 a1 an ) = (1)ni 1 ai an a0 a1 ai1
i=0
Corolario 3.4.1 Para toda k-algebra A la aplicacion sobreyectiva de

bicomplejos
B(A) B(A)
es un casi-isomorfismo.
82
Demostraci on: Denotemos por HH (A) = HH(C (A), b) y HC (A) =
H (T ot(B(A))).
Del siguiente diagrama conmutativo de complejos
0 / T ot(C (A), b)
I / T ot(B(A))
S / T ot(B(A)[1, 1]) / 0

0 / T ot(C (A), b)
I / T ot(B(A))
S / T ot(B(A)[1, 1]) / 0
se obtiene por el teorema (1.3.10) el siguiente diagrama conmutativo
/ HHn (A) / HCn (A) / HCn2 (A) / HHn1 (A) /

=
=

/ HH n (A) / HC / / HH /
n (A) HC n2 (A) n1 (A)
donde los isomorfismos HHn (A) HH n (A) siguen de la proposision (2.4.3).

Consideremos la siguiente seccion del diagrama
/ HC1 (A) / HH0 (A) / HC0 (A) / HC2 (A) /

=

/ HC / / / /
1 (A) HH 0 (A) HC 0 (A) HC 2 (A)
Por ser HC1 (A) = HC2 (A) = 0 y HC 1 (A) = HC 2 (A) = 0 se tiene

que HH0 (A) = HC0 (A) y HH 0 (A) = HC 0 (A). Ademas sabemos que

HH0 (A) = HH 0 (A) entonces HC0 (A) = HC 0 (A).
Analicemos el siguiente fragmento de las secuencias
/ HC0 (A) / HH1 (A) / HC1 (A) / HC1 (A) / HH0 (A) /

=
= =
=

/ HC 0 (A) / HH 1 (A) / HC 1 (A) / HC 1 (A) / HH 0 (A) /
Usando el resultado anterior y el lema de los cinco (1.2.5) se tiene

HC1 (A)
= HC 1 (A). Luego para el siguiente fragmento
/ HC1 (A) / HH2 (A) / HC2 (A) / HC0 (A) / HH1 (A) /

=
=
=
=

/ HC 1 (A) / HH 2 (A) / HC 2 (A) / HC 0 (A) / HH 1 (A) /
83
se tiene HC2 (A)
= HC 2 (A). Inductivamente se tiene para el diagrama
/ HCn1 (A) / HHn (A) / HCn (A) / HCn2 (A) / HHn1 (A) /

=
=
=
=

/ HC / / / HC / HH /
n1 (A) HH n (A) HC n (A) n2 (A) n1 (A)
que HCn (A)

= HC n (A).
Observacion 3.4.2 Para toda k-algebra A estan definidos los morfismos de

complejos

T ot(B(A)) o T ot(B(A)) / T ot(CC(A)) / C (A) .
Los dos primeros son casi isomorfismos. El u

ltimo es un casi-isomorfismo si
Q K.
84
Captulo 4
Aplicaci
on:
4.1. C
alculo de la Homologa Cclica de
A=T(V)
Sean k un anillo conmutativo con unidad y V un k-modulo proyectivo de
caracterstica 0.
Denotemos por A = T (V ) = n0 V n , con V 0 = k al algebra tensorial
L
del k-modulo V , donde la multiplicacion sobre A es inducida por
(v1 vp ) (vp+1 vp+q ) = v1 vp vp+1 vp+q .
Demostraremos que la siguiente sucesion es una resolucion proyectiva de A

como A Aop -modulo:
/AV b0 /
/ /
0 A AA A 0 (4.1)
(considerando A V A como un submodulo de C10 (A) = A3 ), donde
b0 : A V A AA
a0 v a1 7 a0 v a1 a0 va1
y
: A A A
.
a a0 7 aa0
Definamos las aplicaciones:
s01 : A A A
a 7 a 1
85
s00 : A A A V A como s00 |Ak = 0 y
p1
X
s00 (a 0
a)= [(av1 vi1 ) vi vi+1 vp ] (av1 vp1 ) vp 1,
i=1
las cuales verifican:
s01 = IdA :
s01 (a) = (a 1) = a1 = a
b0 s00 + s01 = IdAA :
(b0 s00 +s01 )(aa0 ) = b0 s00 (aa0 )+s01 (aa0 ) = b0 s00 (aa0 )+s01 (aa0 )
Si a0 = b
kk
(b0 s00 + s01 )(a b

k) = b0 s00 (a b
k) +s0 (ab k1=ab
k) = ab k.
| {z } 1
0
Si a0 = v1 vp
b0 [s00 (a a0 )]
" p1
#
X
= b0 [(av1 vi1 ) vi vi+1 vp ] (av1 vp1 ) vp 1
i=1
p1 p1
X X
= [(av1 vi ) (vi+1 vp )] + [(av1 vi1 ) (vi vp )]
i=1 i=1
(av1 vp ) 1 + (av1 vp1 ) vp = a (v1 v2 vp ) (av1 vp ) 1.
Entonces
(b0 s00 + s01 )(a a0 ) = a (v1 vp ) (av1 vp ) 1 + aa0 1 = a a0 .

| {z }
aa0
s00 b0 = IdAV A :
s00 b0 (a v a0 ) = s00 (av a0 ) s00 (a va0 )

Si a0 = b
kk
s00 b0 (avb
k) = s00 (av b
k) s0 (avb
k) = s00 (avb
k) = avb
k1 = avb
k.
| {z } 0
0
86
Si a0 = v1 vp
p1
X
s00 b0 (a 0
v a ) = av v1 (v2 vp ) (avv1 vi1 ) vi
i=2
(vi+1 vp ) (avv1 vp1 ) vp 1 + a v a0 + av v1 (v2 vp ) +
p1
X
(avv1 vi1 )vi (vi+1 vp )+(avv1 vp1 )vp 1 = av a0 .
i=2
Con ello se prueba que s0 es una homotopa contractante, obteniendo que

(4.1) es una resolucion de A. Como V es k-proyectivo, A V A es un
A Aop - modulo proyectivo ( con la operacion (a a0 )(a1 v a2 ) =
(aa1 ) v (a0 a2 )). Se tiene que (4.1) es una resolucion proyectiva de A.
La resolucion reducida es
/AV b0 /AA /
0 A 0 (4.2)
Por el teorema (2.3.4) la Homologa de Hochschild esta dada por la homologa

del complejo:
/ A AAop Idb0 / /0
0 (A V A) A AAop (A A)

=
=

AV
b / A
donde
: A AAop (A V A) / AV
a AAop (a v a0 )
b / [b
a(a a0 )] v = (a0b
aa) v
tiene inversa
0 : AV / A AAop (A V A)
av / a AAop (1 v 1).

La inversa de
: A AAop (A A) / A
a AAop (a a0 )
b /b
a(a a0 ) = a0 b
aa
87
esta dada por
0 : A / A AAop (A A)
/ a0
a0 AAop (1 1)
y ademas
b: AV / A
av / av va.
Veamos que b = (Id b0 ), evaluando sobre los tensores elementales:
a AAop (a v a0 )] = b[(a0b
b [b aa) v] = a0b
aav va0b
aa
a AAop (a v a0 )] =
(1 b)[b (b a AAop [b0 (a v a0 )])
= [ba AAop (av a0 a va0 )]
= [ba AAop (av a0 ) b a AAop (a va0 )]
= a(av a0 ) b
b a(a va0 )
0 0
= ab aav va b aa.
Por lo tanto podemos calcular HH a partir del complejo
0 / AV
b / A / 0 (4.3)
En particular
op
HHn (T (V )) = T ornAA (A) = 0, n2
op
HH1 (T (V )) = T or1AA (A) = Nu(b)
op A
HH0 (T (V )) = T or0AA (A) = = Con
ucleo(b).
Im b
Analicemos el morfismo b en detalle.
Denotemos con la permutacion cclica sobre V n ,
(v1 vn ) = vn v1 vn1 .
Escribamos
A = k V V 2 V 3 V n
y
A V = (k V ) (V V ) (V 2 V ) (V 3 V ) (V n V ) .
88
Entonces tenemos
AV
b /A
|| ||
k

/0
kV kv
b V

V V v1 v / v1 v v v1 V 2

V 2 V (v1 v2 ) v / v1 v2 v v v1 v2 V 3

.. ..
. .

V n V (v1 v2 vn ) v / v1 v2 vn v v v1 vn V n+1

.. ..
. .
de lo cual se obtiene que b : A V A es dado en cada nivel por

b = Id : V n V V n+1 . Como el espacio invariante de
es dado por (V n ) = Nu(Id ) y el espacio coinvariante como
(V n ) = Con
ucleo(Id ). Entonces
M
HH1 (T (V )) = Nu(Id ) = T (V ) = V m
m1
y
A M
V m .

HH0 (T (V )) = ucleo(Id ) = (T (V )) = k
= Con
Im b m1
Ya calculamos HH(T (V )), ahora calculemos HC(T (V )). Para esto tenemos
por el teorema (3.3.10) que existe una sucesion exacta larga:
/ B / HHn (A) I / S / B / /
HCn1 (A) HCn (A) HCn2 (A) HHn1 (A)
89
De ello se tiene:
HC2 (A) / HC0 (A) / HH1 (A) / HC1 (A) /0 / HH0 (A) / HC0 (A) /0
O
HH2 (A)
O
HC1 (A) o HC3 (A) o HH3 (A) o HC2 (A) o HC4 (A) o HH4 (A) o
Del complejo anterior se observa que:

/ 0 / HH0 (A) / HC0 (A) /0
por lo cual
HH0 (A)
= HC0 (A). (4.4)
Por (4.3) tenemos que HHn (A) = 0, n 2 y se obtiene:
HC2 (A) / HC0 (A) / HH1 (A) / HC1 (A) /0 / HH0 (A) / HC0 (A) /0
O
HH2 (A)
| {z }
0
O
HH3 (A) o HH4 (A) o

HC1 (A) o HC3 (A) o | {z } HC2 (A) o HC4 (A) o | {z }
0 0
(4.5)
Por lo tanto:
HC1 (A)
= HC3 (A)
= HC5 (A)
=
= HC2n+1 (A), n 1. (4.6)
HC2 (A)
= HC4 (A)
= HC6 (A)
=
= HC2n (A), n 1. (4.7)
De (4.5) se tiene la siguiente sucesion exacta:
/ S / B / I / /
0 HC2 (A) HC0 (A) HH1 (A) HC1 (A) 0
Por ser I es sobreyectiva y S inyectiva:
HH1 (A) HH1 (A)

HC1 (A)
= =
Nu I Im B
HC2 (A)
= Im S = Nu B
90
Para tener una descripcion concreta de HC1 (A) y HC2 (A) es necesario
entender en detalle el morfismo B : HH0 (A) HH1 (A), en particular su
Nucleo y Conucleo. En lo que resta del capitulo vamos a ver como expresarlos
en funcion de los grupos de homologa de G = Z/jZ con coeficientes en V j ,
j 1. Para esto tenemos el siguiente resultado.
j1
2X i
Afirmaci
on 4.1.0.1 (B )j = .
j i=0
Demostraci on: Por la observacion (3.2.3) se tiene que

ucleo(b) (T (V )) = Nu(b)
B : (T (V )) = Con
B
w
/ Idb0 / A AAop /0
0 A AAop (A V A) (A A)

=
=

AV
b / A
Se tiene B : A A A, tomemos v1 vj un elemento de V j (denotando

v1 vj a v1 vj V j ) e identificando el tensor exterior como el
interior, donde
B(v1 vj ) = 1 v1 vj .
Notemos que por lo anterior las dos filas son homotopicamente equivalentes
/ A AO A
b / A O A
b / A / 0
?
0 / AV j
b /A / 0
B
Por lo tanto es suficiente probar que

j1
2X i
B(v1 vj ) = (v1 vj ) + b(z 0 v1 vj )
j i=0
para concluir el lema.

Para b : A A A A A se tiene:
b(1 vj1 vj v1 vj2 1 vj1 vj v1 vj2 )
91
= b(1 vj1 vj v1 vj2 ) b(1 vj1 vj v1 vj2 )
= vj1 vj v1 vj2 1 vj1 vj v1 vj2 + vj v1 vj2 vj1
vj1 vj v1 vj2 + 1 vj1 vj v1 vj2 v1 vj2 vj1 vj
= vj v1 vj2 vj1 v1 vj2 vj1 vj = vj v1 vj1 v1 vj
= (v1 vj ) v1 vj
Luego se tiene:
(v1 vj ) = v1 . . . vj + b(1 vj1 vj v1 vj2 1 vj1 vj v1 vj2 )
| {z }
y1 (v1 vj )
2 (v1 vj ) = (vj v1 vj1 )

= vj v1 vj1 + b(y1 (vj v1 vj1 ))
= (v1 vj ) + b(y1 ((v1 vj )))
= v1 vj + b(v1 vj ) + b(y1 ((v1 vj )))
= v1 vj + b(v1 vj + y1 ((v1 vj ))).
| {z }
y2 (v1 vj )
Procediendo inductivamente obtenemos:
i (v1 vj ) = v1 vj + b(yi (v1 vj )), 1 i j 1.
Como j = Id para i = j 1,
1 (v1 vj ) = v1 vj + b(yj1 (v1 vj )). (4.8)
Entonces
b(1 v1 v2 vj ) = v1 v2 vj 1 v1 vj +v2 vj v1 ,
| {z }
B(v1 vj )
luego B(v1 vj ) = v1 v2 vj + v2 vj v1 b(1 v1 v2 vj ),

| {z }
xv1 vj
equivalentemente
B(v1 vj ) = v1 vj + 1 (v1 vj ) b(xv1 vj ). (4.9)
Obtenemos
j1 j1
X X
i (v1 vj ) =

v1 vj + b(yi (v1 vj ))
i=0 i=0
j1
!
X
= jv1 vj + b yi (v1 vj )
i=0
j1
!
1 X
= j (v1 vj + v1 vj ) + b yi (v1 vj ) ,
2 i=0
92
reemplazando las ecuaciones (4.8) y (4.9), se tiene
j1 j1
!
X
i j 1
X
(v1 vj ) = (v1 vj + (v1 vj ) b(yj1 (v1 vj ))) + b yi (v1 vj )
i=0
2 i=0
j1
!
j X
= B(v1 vj ) + b(xv1 vj ) b(yj1 (v1 vj )) + b yi (v1 vj )
2 i=0
j
= B(v1 vj ) + b z(v1 vj )
2
Entonces :
j1
2X i
B(v1 vj ) = (v1 vj ) + b(z 0 v1 vj )
j i=0
lo cual concluye la prueba.
Identificando con se tiene:
HH1 (A) T (V ) M (V j )
HC1 (A) = = =
Im B Im B j1
Im(1 + + 2 + + j1 )
HC2 (A)
M M
= k Nu(B )j = k { (V j ) /(1++ 2 + + j1 )() = 0}
j1 j1
(4.10)
Afirmaci
on 4.1.0.2
HC2n (A)
M
=k H2n (Z/jZ, V j )
j1
HC2n1 (A)
M
= H2n1 (Z/jZ, V j )
j1
Demostracion: En la definicion (3.3.3), para cada j 1 consideremos

j
M = V , el cual es un Z/jZ-modulo a izquierda sobre k con la aplicacion
ti (v1 vj ) = ti (v1 vj ) = vji1 vj v1 vji , 1ij1
donde G = Z/jZ, N = 1 + t + t2 + + tj1 . Poniendo t = , se obtiene el

complejo:
C: / V j
N / V j
1 / V j
N / V j
1 / V j
(4.11)
93
donde
V j
H0 (G, M ) = = (V j )
Im(1 )
Nu(1 ) (V j )
H2n1 (G, M ) = H1 (G, M ) = = , n1
Im N Im(1 + + 2 + + j1 )
y
Nu(N )
H2n (G, M ) = H2 (G, M ) = , n 1.
Im(1 )
De (4.11) y la proposicion (1.3.7) se tiene la siguiente sucesion exacta:
/H j / (V j )
N / V j /
0 2 (G, V ) 0
por lo cual
H2 (G, M )
= Nu N = Nu(B )j = { (V j ) /(1++ 2 + + j1 )() = 0}.
De (4.10) se concluye:
M
HC2n (A) = k H2n (Z/jZ, V j ), n1
j1
M
HC2n1 (A) = H2n1 (Z/jZ, V j ), n 1.
j1
94
Captulo 5
Conclusiones:
1. La herramienta mas utilizada que permite determinar la homologa

cclica de las algebras tensoriales es la secuencia SBI, como se vio en el
captulo 4 .
2. La homologa de Hochschild es una obstruccion para que la homologa

cclica sea periodica.
3. Una de las posibles extensiones de este trabajo es el estudio en

K-Teora, ya que esta ntimamente relacionada con la homologa cclica.
4. La homologa cclica tiene aplicaciones en geometra no conmutativa,

algebras de Hopf, teora modular, grupos cuanticos y fsica.
95
Bibliografa
[1] Micheline Vigue, Homologie de Hochschild, Homologie Cyclique,

Universidad de Buenos Aires, 1995.
[2] Jean-Louis Loday, Cyclic Homology,

Springer, 1998.
[3] Joseph J. Rotman An Introduction to Homological Algebra,

Academic Press, 1979.
[4] Jose Augusto Molina Garay Tesis de Maestra : Teorema de Escision de

Wodzicki para Pro-Algebras,
Universidad Nacional de Ingeniera, Agosto 2004.

[5] Emilio Lluis-Puebla Algebra Homologica, Cohomologa de Grupos y K-
teora Algebraica Clasica,
Sociedad Matematica Mexicana, 2005.
96

Homologia de Hochschild y Homologia Ciclica PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Homologia de Hochschild y Homologia Ciclica PDF

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD NACIONAL DE INGENIERIA

Tesis para Optar

Prof. CHRISTIAN HOLGER VALQUI HAASE

UNI, Julio del 2010.

donde es llamado homomorfismo conectivo.

1.1. Categoras y Funtores

2. Un conjunto C(A, B) para cada par de objetos A, B de C; cuyos

C(A, B) C(B, C) / C(A, C)

tal que los objetos A, B, C de C, que satisfacen los siguientes axiomas:

a) Los conjuntos C(A1 , B1 ), C(A2 , B2 ) son disjuntos a menos que

c) Para cada objeto A, existe un u nico morfismo identidad

Definicion 1.1.8 Sea C una categora y sean A, B dos objetos de C. El

Los morfismos p y q se llaman proyecciones. Se acostumbra escribir P =

Proposicion 1.1.9 Seam P y P 0 dos productos para A y B objetos de C,

Demostraci on: Sean los productos de A y B, P y P 0 en C y los morfismos,

nico morfismo h : P 0 P tal que p0 = ph

Como P 0 es un producto, existe un u nico morfismo h0 : P P 0 tal que

Ademas, p = p 1P y q = q 1P . Luego por unicidad de la propiedad

C(A, B) C(B, C) C(A, C)

Definicion 1.1.11 Sea un anillo con unidad. Un -modulo (a

Si A, B son -modulos (a izquierda) graduados, un morfismo

por medio de F (B) = A B en los objetos. Para el morfismo de - modulos

Similarmente, para B M fijo, existe un funtor aditivo G : M Ab con

F (1B )(a b) = (1A 1B )(a b) = 1A (a) 1B (b) = a b

Considerando g = g 0 = 1A se tiene que

F (f f 0 ) = 1A (f f 0 ) = (1A 1A ) (f f 0 ) = (1A f )(1A f 0 ) = F (f )F (f 0 ).

Finalmente, si f, f 0 : B B 0 son morfismos de -modulos a izquierda,

De manera analoga se demuestra que G es un funtor aditivo.

exacta en B, si Nu(g) = Im(f ).

es exacta corta, con la inyeccion dada por i : m 7 (m, 0) y la proyeccion

conmutativo, tal que f1 , f2 , f4 y f5 son isomorfismos entonces f3 es un

h2 f2 (m2 ) = f3 g2 (m2 ) = f3 (m3 ) = 0

f2 g1 (m1 ) = h1 f1 (m1 ) = h1 (m01 ) = f2 (m2 )

por la inyectividad de f2 se tiene g1 (m1 ) = m2 . Entonces:

m3 = g2 (m2 ) = g2 (g1 (m2 )) = g2 g1 (m2 ) = 0(m2 ) = 0.

h3 f3 (m3 ) = f4 g3 (m3 ) = f4 (m4 ) = h3 (m03 )

es escindible (o se escinde), si existe un homomorfismo g 0 : M 00 M tal que

(x, y)  / f (x) + g 0 (y)

Veamos la conmutatividad del diagrama:

g (x, y) = g(f (x) + g 0 (y)) = g f (x) + g g 0 (y) = 1M 00 (y) = y

i(x) = (x, 0) = f (x) + g 0 (0) = f (x) = f 1M 0 (x)

Definici on 1.2.8 Se dice que un -modulo P es proyectivo, si para cualquier

de -modulos y cualquier -homomorfismo P M 00 existe un

Definici on 1.2.9 Sean S un conjunto y un anillo unitario. Un -modulo

Teorema 1.2.10 Todo modulo libre es proyectivo.

tal que para cada s S:

Demostraci on: Sea X M tal que hXi = M (por ejemplo podemos

Como L es un modulo libre por (1.2.10) se tiene que L es proyectivo.

es semiexacta (exacta) en Ci para cada i Z.

tal que n n+1 = 0 para todo n Z.

El morfismo (con todos sus componentes n ) es llamado operador

Observaci on 1.2.16 Sea el complejo C = (C, ), la condicion = 0

y F un funtor covariante aditivo, entonces

y como F es un funtor aditivo se tiene

F (n )F (n+1 ) = F (n n+1 ) = F (0) = 0, n

entonces se tiene que F (C) es un complejo.

El morfismo de complejos f : (C, ) (C 0 , 0 ) induce el morfismo

usualmente denotado por f .

por lo cual fn z Kern es un n-ciclo.

(gf ) (z) = gf (z) = g (f z) = g f (z).

Sea (C, ) Comp y el morfismo identidad 1C : (C, ) / (C, ) ,

Veamos que Hn es aditivo:

Hn (f + g)(x) = (f + g)(x) = f (x) + g(x)

(x, y) / f (x) + g 0 (y)

(x, y) / 0 (x) + (y).