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
/

una sucesion de morfismos de complejos 0

para cada n Z la sucesion 0

/ An

fn

Bn

gn

Cn

/
/0

0 tal que

es exacta corta.

Para toda sucesion exacta corta de complejos existe una sucesion exacta larga en
homologa

Hn+1 (C)

/ Hn (A) f /

Hn (B)

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. Categoras y Funtores . . . . . . .
1.2. Complejos . . . . . . . . . . . . . .
1.3. Homologa . . . . . . . . . . . . . .
1.4. Funtores Derivados . . . . . . . . .

1.5. Extension para Algebras

sin unidad

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

1
1
5
13
30
36

2. Homologa de Hochschild
2.1. Bimodulo . . . . . . . . . . . . . . .
2.2. Complejo de Hochschild . . . . . . .
2.3. Resolucion Barra . . . . . . . . . . .
2.4. Complejo de Hochschild Normalizado

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

38
38
39
47
53

. .
. .
. .
. .
. .
. .
El
. .
. .
. .

.
.
.
.
.
.

59
59
60
61
63
63
67

3. Homologa Cclica
3.1. Bicomplejos: . . . . . . . . . . . . . . . . . . . . . . .
3.2. Complejo mixto . . . . . . . . . . . . . . . . . . . . .
3.2.1. Secuencia SBI para Complejos mixtos . . . . .
3.3. Homologa Cclica de una k-algebra asociativa A . .
3.3.1. Primera definicion de Homologa Cclica . . .
3.3.2. Complejo de Connes . . . . . . . . . . . . . .
3.3.3. Segunda definicion de Homologa Cclica
bicomplejo B(A) . . . . . . . . . . . . . . . .

3.3.4. Secuencia SBI para Algebras

. . . . . . . . .
3.4. El bicomplejo B(A) . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.

.
.
.
.
.
.

. .
. .
. .

. 74
. 81
. 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)
(f, g) 

C(A, C)
/

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.
Definici
on 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. 
Definici
on 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.
TA

Tf

/ T A0
A0

LA

Lf

LA0

Definici
on 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.
Definici
on 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 morfismo u
nico h : X P
tales que el siguiente diagrama conmuta:
X @
~~  @@@ g
~
 !h @@@
~~
@@
~~

~
~~
/B
o
A
P
f

es decir, f = p h y g = q h.
Los morfismos p y q se llaman proyecciones. Se acostumbra escribir P =
A B.
Proposici
on 1.1.9 Seam P y P 0 dos productos para A y B objetos de C,
entonces existe un u
nico isomorfismo h : P P 0 .
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 @
@@
~~
@@ q0
~~ 
@@
~
~

h
@@
~~
@@
~

~~

~
/B
Ao
P
p0

Por ser P un producto, existe un u

nico morfismo h : P 0 P tal que p0 = ph
y q 0 = q h. Ahora consideremos el siguiente diagrama
P @
~~  @@@
~
@q
p ~~
 h0 @@@
~~
@@
~
~

@
~~~
/B
Ao
P0
p0

q0

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
DD
zz
z
DD
zz
DD q
p zz
DD
z
0
1P
h h
z
DD
z
z
DD
zz
DD
z

!
z
}z
/B
o
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 . 
Definici
on 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.
Definici
on 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.
Proposici
on 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

Sea a b un tensor elemental de A B

Demostraci
on:

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:
Observaci
on 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
u
nico homomorfismo A B A0 B 0 con a b 7 f (a) g(b).
Observaci
on 1.1.14 Sean A
derecha y B

B0

g0

/ B 00

A0

f0

A00 morfismos de -modulos a

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

Definici
on 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
A

es
semiexacta en B, si g f = 0.
exacta en B, si Nu(g) = Im(f ).
5

/C

Definici
on 1.2.2 La secuencia
/

/B

/C

es exacta corta, si es exacta en A, B y C.

Proposici
on 1.2.3 Sean los homomorfismos de modulos f : M 0 M y
g : M M 00
f es inyectiva si y solo si
f

/ M0

es exacta en M 0 .
g es sobreyectiva si y solo si
g

M 00

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 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
0

M1

g1

M2

f1

M10

g2

M3

f2
h1

M20

g3

M4

f3
h2

M30

g4

M40

f5

f4
h3

M5

h4

M50

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 ) (f3 (m3 ) m03 )
= f3 (m3 ) h2 (m02 )
= m3 .

Definici
on 1.2.6 Diremos que una sucesion exacta corta de -modulos
/

M0

/M

/0

M 00

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
/

M0

/M

/0

M 00

(1.1)

es escindible entonces M
= M 0 M 00 .
Demostraci
on:

Notemos que la sucesion

/

M0

M 0 M 00

M 00

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

(x, y) 
/

f (x) + g 0 (y)

Veamos la conmutatividad del diagrama:

0
0

M0


1M 0

M0

M 0 M 00


/M

0
/

M 00
/

1M 00

M 00

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
/0
/ M 00
M
de -modulos y cualquier -homomorfismo P
-homomorfismo P M tal que el diagrama

}{

{
/

M 00 existe un

P


M 00

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

/L

@@

@@
@@

g @
@@ 


S @@

sea conmutativo.
Teorema 1.2.10 Todo modulo libre es proyectivo.
9

Demostraci
on: Sean (i, L) un modulo libre sobre S, f : L M 00 un
homomorfismo arbitrario. Consideremos el diagrama
/

L
f

M 00

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:
/

M
/ ms

k:S
s
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

 ~~

~
~ h

/L
~

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
/L
}
}}
gh }}}
}
gk
}}
}}
}
f
 ~}u
00

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
/N

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:
M
=

L
.
Nu

L
donde N = Nu .
Es decir, existe un modulo libre L tal que M
=
N
Obtenemos la siguiente sucesion exacta corta:
/N

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

Ci+2

fi+2

/ Ci+1

fi+1

Ci

fi

Ci1

fi1

Ci2

fi2

es semiexacta (exacta) si
Ci+1

fi+1

Ci

fi

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
C : ...

Cn+1

n+1

/ Cn

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

11

Cn1

n1

...

Observaci
on 1.2.14 La sucesion de morfismos de modulos (C, ) es un
complejo, si la sucesion
/

C : ...

Cn+1

n+1

/ Cn

Cn1

n1

...

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

Cn

Cn1
fn1

fn

Cn0

en

0
Cn1

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
/

C : ...

Cn+1

n+1

/ Cn

Cn1

n1

...

y F un funtor covariante aditivo, entonces

F (C) : . . .

F Cn+1

F n+1

F n

F Cn

F Cn1

F n1

tambien es un complejo.
Demostraci
on:

Como C es un complejo se cumple

n n+1 = 0,

y como F es un funtor aditivo se tiene

F (n )F (n+1 ) = F (n n+1 ) = F (0) = 0,
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
Hn (C) =

Nu n
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:
Hn (C) =

Zn (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

/ (C 0 , 0 ) es
Hn (C) M y todo morfismo de complejos (C, )
llevado por Hn a un morfismo f = Hn (f ) : Hn (C) Hn (C 0 ).

13

/ (C 0 , 0 )
Sean (C, )
Hn (C), entonces

/ (C 00 , 00 )

morfismos de complejos y z

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

/ (C, ) ,
Sea (C, ) Comp y el morfismo identidad 1C : (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)

Proposici
on 1.3.2 Sean los complejos (C, ) y (C 0 , 0 ). Entonces
Hn (C C 0 )
= Hn (C) Hn (C 0 ).
Demostraci
on:
Dados los complejos (C, ) y (C 0 , 0 ), consideremos la
b donde (C C 0 )n = Cn C 0 con operador diferencial
sucesion (C C 0 , )
n
bn = (n , n0 ) para cada n Z. Esta sucesion es un complejo. En efecto, se
verifica que
0
0
bn bn+1 = (n , n0 ) (n+1 , n+1
) = (n n+1 , n0 n+1
) = (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

0
Im n+1 Im n+1
(a, a0 )

Nu n Nu n0
0
Im n+1 Im n+1


/

(a, a0 )

Veamos que esta bien definida:

Sea (a, a0 ) = (b, b0 ) entonces
(a b, a0 b0 ) = (a b, a0 b0 ) = (0, 0)
0
. Esto implica
Luego se tiene a b Im n+1 y a0 b0 Im n+1
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
0
0
. Por
, entonces a Im n+1 y a0 Im n+1
(a, a0 ) Im n+1 Im n+1
0
lo tanto (a, a ) = (0, 0).
es sobreyectiva:
Nu n Nu n0
0
Sea (a, a )
(a, a0 ) Nu n Nu n0 lo que
0
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. 
Definici
on 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:
e
f g = h + h
15

o equivalentemente
fn gn = hn1 n + en+1 hn

nZ

como se puede apreciar en el siguiente diagrama:

n+1

Cn+1

gn+1

fn+1

 

|hn
||
|
||
||
|
|
~

0
Cn+1

fn

en+1

Lema 1.3.4 Si
f, g : C
f = g : Hn (C) Hn (C 0 ).
Demostraci
on:

/ Cn
|
|
||
||
|
|
||

gn

/ Cn1
|
|
|
||
|
||
||

Cn0

C0

en

son

gn1

fn1

n1
||
|
||
||
|
  |~ |

 

0
Cn1

homotopicas,

entonces

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).
Definici
on 1.3.5 Una aplicacion de complejos C
casi-isomorfismo si Hn (C)
= Hn (C 0 ), n.
16

C 0 es un

Definici
on 1.3.6 Un complejo C
/

C : ...

n+1

Cn+1

/ Cn

Cn1

n1

...

es exacto, si Im n+1 = Nu n , n Z.
Proposici
on 1.3.7 Sea
/

C:

Cn+1

n+1

Cn

Cn1

n1

La siguiente sucesion es exacta

/

Hn (C)

Con
ucleo(n+1 )

Demostraci
on:

(n )

Im(n )

0.

Cn
Zn (C)

= Con
ucleo(n+1 ).
Bn (C)
Bn (C)

Para cada n se tiene Hn (C) =

Definimos
(n ) :

Cn
Bn (C)
/

[x] 

Im(n )
/ 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
/

/B

se dira exacta si para cada n Z la sucesion

0

An

fn

Bn

es exacta.
17

gn

Cn

Teorema 1.3.9 (Sucesi

on exacta larga) Si
/

/B

es una sucesion exacta corta de complejos, entonces existe una sucesion

exacta de modulos
...

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)
u
u
u
uu
u
u
uu g
uz u

II
II
II
II
III

H (C)
Para cada n Z,
( )n :

Hn (C)


Hn1 (A)
1
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
/A

fn

0
n

Bn

gn

/C

fn1

00
n

An1

Bn1

gn1

Cn1

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 u
nico 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
b
an1 An1 tal que fn1b
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
fn1 (an1 b
an1 ) = n fn an = fn1 n0 an .
Por la inyectividad de fn1 , se tiene an1 b
an1 = n0 an Im n0 .
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:

Hn (A)

Hn (B)

Hn (C)

Im f Nu g :
g f = (gf ) = 0 = 0.

19

/ Hn1 (A)

...

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
gn+1 bn+1 = gn n+1 bn+1 , entonces
Luego se tiene que gn z = n+1
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
0
Luego fn1 n x Im n entonces existe an An tal que n0 an =
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
conmutativo de complejos con filas exactas:
/A

0
/

A0

0
/

/B

el

diagrama

B0

C0

Entonces f , g y h definen un morfismo de cadenas entre las secuencias largas

en homologa:
i

Hn (A)

Hn (B)

Hn (C)

Hn (A0 )

Hn1 (A)

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
1
f (z) = f (i1
n1 n x) = fn1 in1 n x, con pn (x) = z

pn+1

Bn+1

in

An



n


in1

An1

0
bn

 

A0n1



n


Bn1

pn

 

/ B0
n


n
  q
n1
0

Bn1

hn

qn

 

21


/ C0
n+1


00
bn+1

00
bn

hn+1



/C

/ Cn+1


n+1


0
Bn+1

gn

gn1

A0n

jn1

00

n+1


bn+1

fn1

/B
n





 

0
Cn1

/ C0
n


Del diagrama se tiene :

1
gn1 in1 = jn1 fn1 fn1 i1
n1 = jn1 gn1
gn1 n = bn gn
qn gn = hn pn

luego tenemos
1
f (z) = fn1 i1
n1 n x = jn1 gn1 n x
1 b
1 b
n gn x
= jn1
n y, donde y = gn (x)
= jn1

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

0.

El complejo obtenido al suprimir M

/

CM : . . .

C1

C0

es llamado el complejo reducido de C.

Definici
on 1.3.12 Un complejo de la forma
/

C : ...

Cn

Cn1

...

C1

C0

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

donde el complejo reducido PA es proyectivo.

Lema 1.3.14 Para todo modulo M existe una resolucion proyectiva.

22

/0

Demostraci
on:
exacta corta

De (1.2.11) se tiene que para M existe una sucesion

/

i0

N0

L0

con L0 proyectivo. Aplicando para N0 el lema (1.2.11), existe la sucesion

exacta corta
/

i1

N1

L1

N0

con L1 proyectivo. Por induccion, para Nn1 se tiene por (1.2.11) que existe
una sucesion exacta corta
/

in

Nn

L1

Nn1

con Ln proyectivo. As, sucesivamente tenemos:

/ Nn in /

L1

Nn1

/ N1 i1 / L1 1 /

N0

i0

L0

Considerando n = in1 n , n 1, obtenemos la sucesion de modulos

Ln

Ln1

n1

/L

/L

1
1

/L

0
0

/M

(1.2)

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

23

A00

/0

se puede obtener el siguiente diagrama conmutativo

..
.


0
/

..
.


/ P0

00
Pn1

n1

/ P0

P00

00
0 P0

A0

0
/

0
/

P100
/

P000

00
1 P1

..
.

/ P0

n1

..
.

P10

Pn00


/ P 00

/ P0

0
Pn1

00
n Pn

Pn0

..
.
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
0

/ N0

i0

N000

i00

P00

/ A0

00

y
/

P000

/0

A00

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
0

P00

j0

P00 P000

/ P 00

es exacta corta.
Por ser P000 proyectivo existe un homomorfismo : P000 A tal que = 00 .
Se obtiene el siguiente diagrama:
0

/ P 0 P 00
/ P 00
0
0
0
FF
w
w
FF
w
w
FF0
ww
FF
00
0
ww
FF
w
FF
ww
w
FF
w


# {ww

/ A0
/A
/ A00

P00 F

24

Definimos:

/A

P00 P000

(x, y) 
/

0 (x) + (y).

En el siguiente diagrama:
/

P00

j0

P00 P000

/ P 00

00

A0

A00

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

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
0

Nu(0 )

j0

Nu()

Nu(00 )

0.

Se tiene el siguiente diagrama conmutativo:

0

/ Nu(0 )

j0

/ Nu()

i0

P00


j0

/ A0

A
25

0
/

i00

P000

Nu(00 )

P00 P000

00

A00

Para la siguiente sucesion exacta corta repetimos el proceso anterior:

/

Nu(0 )

j0

Nu()

Nu(00 )

0,

se obtiene el diagrama conmutativo:

/

Nu(01 )


j1

0
/

0
/


/ P 00

Nu(001 )
i00
1

P10 P100

j0

i1

Nu(1 )

01

/ Nu(0 )

i01

P10


j1

Nu()

00
1

Nu(00 )

De manera inductiva, aplicamos el mismo proceso para la sucesion exacta

corta:
0

Nu(0n1 )

jn1

Nu(n1 )

n1

Nu(00n1 )

0,

se obtiene el diagrama conmutativo:

/

Nu(0n )


jn

Nu(0n1 )

/ P0

0n
jn1

Nu(n )

i0n

/ P0

jn

/ Nu(00 )

Pn00


/ Nu(n1 )

n1

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

0
/

i00
n

in

Pn00


00
n

Nu(00n1 )

Obteniendo as el siguiente diagrama:

..
.

..
.

..
.


/ P0
n


/ P 0 P 00
n
n


/ P 00
n

0
n

0
n1

/ P0
n2

n1

..
.


/ P0
1


/ P 0 P 00
1
1


/ P 00
1

/ P0
0
0

/ P 0 P 00
0
0


/ A0

/0

100

/0

/ P 00
n2

..
.

10

/0

00
n1

..
.

/ P 00
n1

00
/ P0
n2 Pn2

00
/ P0
n1 Pn1

/ P0
n1

00
n

/0

/ P 00
0

/A

/0

00

/A

/0


Teorema 1.3.16 (Teorema de comparaci
on) Sean dos complejos C, C 0
y f : A A0
C : ...

C2

C1

C0

/0

C0 : . . .

C20

20

C10

10

C00

A0

/0

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 u
nica salvo homotopas.
Demostraci
on:
1. Existencia de f :
Demostraremos por induccion sobre n.

27

Si n = 0 tenemos el siguiente diagrama

f0

C00

~~

C0

 
/

A0

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

Cn+1

Cn

Cn1
f n1

fn
0
Cn+1

0
n+1

Cn0

0
n

0
Cn1

0
Si mostramos que Im(f n n+1 ) Im n+1
tendremos el siguiente
diagrama:
Cn+1
f n+1

0
Cn+1

{w

0
n+1

f n n+1

0
Im 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.
0
Por hipotesis inductiva tenemos que n0 f n = fn1
n , luego:
0
n0 f n n+1 = (fn1
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

sn+1

0
Cn+2

{x

0
n+2

hn+1 f n+1 sn n1

0
Im 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
hn+1 n+1
f n+1 n+1
sn n+1
n+1
(hn+1 f n+1 sn n+1 ) = n+1
0
0
= n+1 (hn+1 f n+1 ) n+1 sn n+1
0
sn
Por hipotesis inductiva sabemos n+1
reemplazando en lo anterior:

hn f n sn1 n

0
n+1
(hn+1 f n+1 ) (hn f n sn1 n )n+1
0
(hn+1 f n+1 ) (hn f n )n+1 sn1 n n+1
= n+1
| {z }
0

0
= n+1
(hn+1 f n+1 ) (hn f n )n+1
0
0
f n+1 f n n+1
= n+1 hn+1 hn n+1 + n+1
{z
} |
{z
}
|
0

= 0

Definici
on 1.3.17 Si : CA CA0 es un morfismo de complejos tal que
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
(Ln T )A := Hn (T CA ) =

Nu T n
.
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.
C:

...

C2

C1

f2

C0 :

...

C20

C0

f1
20

C10

f0
10

C00

/0

f
0

/0

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
sn + sn1 n .
f 0 n f n = n+1

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.
Sean A
tiene que:

C morfismos de complejos; por ser T y Hn funtores, se

(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
PbA :

d02

Pb2

d01

Pb1

d00

Pb0

cn T denotado as provisionalmente. Mostraremos que

obteniendo el funtor L
c
Ln T y Ln T son esencialmente los mismos.
Teorema 1.4.3 Para todo funtor aditivo T , los funtores derivados Ln T
cn T son naturalmente equivalentes. Es decir, son independientes de la
y L
resolucion proyectiva de A elegida.
Demostraci
on:

Consideremos el siguiente diagrama

/

P :

P2

d2

P1

d1

P0

d0

A
1A

Pb :

Pb2

d02

Pb1

d01

Pb0

d00

donde la fila superior es la resolucion proyectiva de A usada para definir Ln T

bn T . Por el teorema de comparacion
y la fila inferior es usada para definir L
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)
bn T )A.
A = (T i) : (Ln T )A (L
Ahora consideremos el siguiente diagrama
d02

/P
b

Pb :

Pb1

d01

Pb0

d00

/A

1A

/P

P :

d2
2

P1

d1

P0


/A

d0

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
/ (L
bn T )A
(Ln T )A
(Ln T )f

b n T )f
(L

(Ln T )B


/

bn T )B
(L

Consideremos el siguiente diagrama:

P :
i

Pb :
f

P1
/

Pb1

/A

P0

1A

/A

Pb0

0
/

b:
Q

b1
Q
32

b0
Q

b una resolucion proyectiva de

Donde P y Pb resoluciones proyectivas de A y Q
B. Aplicando el teorema de comparacion se tiene los morfismos de complejos
bB sobre f .
i : PA PbA sobre 1A , f : PbA Q
Ahora consideremos el siguiente diagrama:
P :
fb

Q:

P1
/

Q1

/A

P0
/

Q0

0
/

B
1B

b:
Q

b1
Q

b0
Q

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
y
(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 ). 
Definici
on 1.4.4 Para el funtor G = B definimos T orn (, B) := Ln G.
En particular
Nu(n 1)
T orn (A, B) =
Im(n+1 1)
donde
...

P2

P1

P0

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

Definici
on 1.4.5 Para el funtor F = B definimos T orn (B, ) := Ln F .
En particular
Nu(1 n )

T orn (B, A) =
Im(1 n+1 )
donde
/

...

P2

P1

P0

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.
/ A0
/A
/ A00
/ 0 una sucesi
Teorema 1.4.7 Sea 0
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:
0

Para la sucesion exacta corta:

/

A0

34

/0

por (1.3.15) existe el diagrama conmutativo

..
.


0
/

..
.


/ P0

Pn0


/ P0

/ P0

P00

00
0 P0

A0

0
/

0
/




P100
/

P000

00
1 P1

..
.

/ P0

P10

n1

..
.

Pn00


/ P 00

00
Pn1

n1

..
.
0

Pn00

0
Pn1

..
.

A00

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

/ PA

PA0000

(1.3)

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
A

Ti

T PA

/ T P 0000
A

/ 0.

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 ) Hn (T PA0000 )
= Hn (T PA0 0 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:

/ 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
T (A) := Con
ucleo(T (k) T (A+ )).
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+
1+u

36

kA

(, 1A + u)

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

T (A)

LL VVVVVV
LL
VVVVT (ik )
LL
VVVV
LL
VVVV
iT (k) LL
VVVV
L&
VV+

=
/ T (k
T (k)

T
(A)
8
hhh3
r
h
h
r
h
iT (A) rrr
hhhh
r
hhhh
r
h
h
r
h
h
r
T (iA )
hh
rhrhrhhhhhh

A)

obteniendose el siguiente diagrama

T (k)

T (k)

iT (k)

T (ik )

T (k) T (A)

T (k A)

de donde se obtiene
Con
ucleo(T (k) T (A+ ))
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

Definici
on 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

Definamos para cada 0 i n y 0 j n 1 los

Demostraci
on:
operadores

M An

dn
i

M An1

djn1

M An2

dados por

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

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:
bn1 bn = (

n1
X

(1)j djn1 ) (

j=0

n
X
(1)i dni )
i=0

n X
n1
X

(1)i+j dn1
dni
j

i=0 j=0
n1
dnj .
Afirmaci
on 2.2.1.1 Para j < i se tiene djn1 dni = di1

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
dni (a0 a1 . . . an ) = dn1
(dni (a0 a1 . . . an ))
j
j
= dn1
(a0 . . . ai ai+1 . . . an )
j
= a0 . . . aj aj+1 . . . ai ai+1 . . . an
n1 n
n
dn1
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
n
dn1
dni (a0 a1 . . . an ) = dn1
j
i1 (di (a0 a1 . . . an ))

= dn1
i1 (a0 . . . ai ai+1 . . . an )
= a0 . . . ai1 (ai ai+1 ) . . . an
n1 n
n
dn1
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
dnn (a0 a1 . . . an ) = dn1
(dnn (a0 a1 . . . an ))
j
j
= dn1
(an a0 a1 . . . an1 )
j
= an a0 a1 . . . aj aj+1 . . . an1
n
n1 n
dn1
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
n1 n
dn1
dnn (a0 . . . an ) = dn1
(dn (a0 . . . an1 an ))
j
n1
= dn1
(an a0 a1 . . . an1 )
= an1 (an a0 ) a1 . . . an2

n
n1 n
dn1
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:
bn1 bn =
=

n X
X
X
n
[ (1)i+j dn1

d
+
(1)i+j dn1
dni ]
i
j
j
i=0 j<i
n X
X

(1)i+j dn1
dni ] +
j

i=0 j<i

n1
X

ji
n
X

X
(1)i+j djn1 dni ]

i=0 ji

n
X

[
(1)i+j dn1
j
j=0 i=j+1

dni ]

j
n1 X
X
+
[ (1)i+j dn1
dni ]
j
j=0 i=0

j
n1 X
n
n1 X
X
X
i+j n1
n
=
[
(1) di1 dj ] +
[ (1)i+j dn1
dni ].
j
j=0 i=j+1

j=0 i=0

Haciendo un cambio de variable en la primera parte de la suma tenemos

bn1 bn

j
n1 X
n1
n1 X
X
X
k+j+1 n1
n
dk dj ] +
=
[ (1)
[ (1)i+j dn1
dni ]
j
j=0 k=j

j=0 i=0

n1 X
n1
X

(1)k+j dn1
k

dnj ]

j=0 k=j

n1
X

j
X
[ (1)i+j dn1
dni ].
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)
Si M = A, escribiremos HH (A) = H (A, A) =
Observaci
on 2.2.4
(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 (A0 , M 0 )

Hn (A, M )
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 (A0 , M 0 )

Cn (A, M )
m a1 . . . an 
/

f (m) g(a1 ) . . . g(an )

Veamos que el siguiente diagrama conmuta:

Cn (A, M )

hn

/ Cn (A0 , M 0 )

bn

bn

Cn1 (A, M )

hn1

43

Cn1 (A0 , M 0 )

bn hn (m a1 . . . an ) = bn [hn (m a1 . . . an )]


= bn f (m) g(a1 ) . . . g(an )
n
X


(1) di f (m) g(a1 ) . . . g(an )
i

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 )]
n
hX
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 (A0 , M 0 )

Hn (A, M )
m a1 . . . an


/

f (m) g(a1 ) . . . g(an )


Proposici
on 2.2.6 Para cada n, Hn (A, ) es un funtor covariante.
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

/

Hn (A, M )

f :

m a1 . . . an
Sean M

M0

/ M 00


/

Hn (A, M 0 )

f (m) a1 . . . an

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 )
m a1 . . . an

f
/ A0
Sean A0
verifica que

/ A00

Hn (A0 , M )

/ m g(a

1)

. . . g(an )

morfismos de k-algebras y M un A00 -bimodulo, se

(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 (A0 )

HHn (A)
a0 a1 . . . an

/ h(a

45

0)

h(a1 ) . . . h(an )

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:
H0 (A, M ) =

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
bn (a0 a1 an )
= [1 +

n1
X

(1)i + (1)n ]a0 a1 an

i=1

de ello se tiene

(
1,
bn =
0,

n es par
n es impar

obteniendo el complejo de Hochschild para M = k

Entonces
HH0 (k) = k,
Nu bn
= 0,
HHn (k) =
Im bn+1

46

n > 0.

k.

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
(A) como:
Definimos la aplicacion de A Aop -modulos b0n : Cn0 (A) Cn1

b0n (a0

. . . an+1 ) =

n
X

(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
A An+1
obteniendose
b0n

n
X

dn+1
i

A An

0
(1)i dn+1
: Cn0 (A) Cn1
(A).
i

i=0

Luego:
b0n1

b0n

= (

n1
X

(1)j dnj )

j=0

n
X
( (1)i dn+1
)
i
i=0

n X
n1
X

(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,
...

C0 (A) :

b02

C10 (A)

b01

C00 (A)

es un complejo sobre A.
Proposici
on 2.3.1 (C0 (A), b0 ) es una resolucion del A Aop -modulo A.
Demostraci
on:

Vemos que el siguiente complejo es una resolucion de A

...

C0 (A) :

b02

C10 (A)

b01

C00 (A)

para ello verificaremos que la homologa del complejo es nula.

Construimos una homotopa contractante s de la siguiente forma:
s1 :

A
a

C00 (A)
/

1a

y
/ C0

Cn0 (A)

sn :

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 )]
n
X
= sn1 [ (1)i a0 . . .ai ai+1 . . .an+1 )]+b0n+1 (1a0 . . .an+1 )
=

n
X

i=0

(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
i=0

n
X

(1)i 1 a0 . . . ai ai+1 . . . an+1 + a0 . . . an+1 +

n
X

(1)i+1 (1 a0 . . . ai ai+1 . . . an+1 )

i=0

(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. 
Definici
on 2.3.2 (C0 (A), b0 ) se llama la Resolucion Barra o Resolucion de
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)

m AAop (a0 . . . an+1 ) 

:

/ an+1 ma0
/

C (A, M )
m a1 . . . an 

C (A, M )

a1 . . . an

M AAop C0 (A)

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:
= [m AAop (a0 a1 . . . an+1 ) +

n1
X

(1)i m AAop (a0 . . . ai ai+1 . . . an+1 )

i=1

+m AAop ((1)n a0 a1 . . . an an+1 )]

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

n1
X

(1)i m AAop (a0 . . . ai ai+1 . . . an+1 )]

i=1

+[m AAop ((1)n a0 a1 . . . an an+1 )]

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

n1
X

(1)i [m AAop (a0 . . . ai ai+1 . . . an+1 )]

i=1

+[m AAop ((1)n a0 a1 . . . an an+1 )]

= an+1 ma0 a1 . . . an +

n1
X

(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

=

1m1a1 . . . an

n1
X

(1)i 1m1 . . . ai ai+1 . . . an

i=1

+(1)n an 1m a1 . . . an1
n1
X
+
(1)i m a1 . . . ai ai+1 . . . an

ma1 . . . 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

y ademas un A Aop -homomorfismo f : Cn0 (A) B tal que se obtiene el

siguiente diagrama:
An

Cn0 (A)
f

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

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
An


Cn0 (A)






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
T ornAA (M, A)

Ker(1 b0n )
KerT b0n
=
=
= Hn (M AAop C0 (A), 1b0 ).
0
0
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

El complejo D =

M
n0


Dn , b es un subcomplejo de (C (A, M ), b).

Observaci
on 2.4.1 Denotando A =
Cn (A, M ) =

{z

Dn1

A
se tiene que:
k

Cn (A, M )
M An
n
=
'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
op
= B B . Como A0 y A00 son B-bimodulos con las operaciones definidas
de la siguiente manera para (a0 , a00 ) B, c0 A0 y c00 A00 :
(a0 , a00 ) c0 = a0 c0
(a0 , a00 ) c00 = a00 c00

y c0 (a0 , a00 ) = c0 a0
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 ).
Afirmaci
on 2.4.4.1 T orn (A0 A00 , A0 )
= T ornA A (A0 , A0 ).
0

0 op

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

(a0 , a00 ) (b
a0 , b
a00 ) 

/ a0
/

(a0 , a00 ) (b
a0 , b
a00 ) 

55

A0op
b
a0

A00 A00op
/ a00

b
a00

Observaci
on 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
Como Pn es proyectivo
M como AopA -modulo, existe un A A -modulo
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
a0 , b
a00 ) 

/ a0

b
a0

Como
= (A0 A00 )(A0 A00 )
= (A0 A0 )(A0 A00 )(A00 A0 )(A00 A00 )
op

op

op

op

op

op

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 :
CA0 A00 :
CA00 :

/ P0
n


/ P 0 P 00
n
n


/ P 00
n

/ P0
1


/ P 0 P 00
1
1


/ P 00
1

/ P 0 _ _ _ _ _ _/ A0
0


/ P 0 P 00 _ _ _/ A0 A00
0
0


/ P 00 _ _ _ _ _/ A00
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:
:

/ (LCA0 A00 , ( 0 , 0) 1A0 )

(T CA0 , 0 A0 A0 op 1A0 )

donde
/

Pn0 A0 A0 op A0

n :

p0n A0 A0 op a0 

Pn0 Pn00 A0
/

(p0n , 0) a0 .

Veamos que el diagrama conmuta

n

Pn0 A0 A0 op A0

Pn0 Pn00 A0

0 A0 A0 op 1A0

0
Pn1
A0 A0 op A0

n1

( 0 ,0) 1A0

0
00
Pn1
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 )

donde
n :

Pn0 Pn00 A0
(p0n , p00n ) a0 

(T CA0 , 0 A0 A0 op 1A0 )
/

Pn0 A0 A0 op A0
/ p0

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
0 op
T orn (A0 A00 , A0 )
= T ornA A (A0 , A0 ).

De manera analoga se prueba que

00
00 op
T orn (A0 A00 , A00 )
= T ornA A (A00 , A00 ).

Por lo tanto se concluye que:

0
0 op
00
00 op
HHn (A0 A00 )
= 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) := Con
ucleo(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:

Definici
on 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

dh

Cp,q
dv

dv

Cp1,q1 o

dh

Cp,q1

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

C0,2 o

dh

dv

C1,2 o

dv

C0,1 o

dh

dv

dv

C1,1 o

C2,1 o

dh

C2,2 o


dh

dv

dv

C0,0 o

dv

dh

C1,0 o

entonces el k-modulo (T otC )n :=

dh

C2,0 o

Cp,q , esta bien definido (por ser una

p+q=n

suma finita), definimos d = dh + dv

T ot(C ) : . . .

Cp,q

dh +dv

p+q=3

Cp,q

dh +dv

p+q=2

Cp,q

p+q=1

dh +dv

Cp,q .

p+q=0

Se satisface:
d d = (dh + dv ) (dh + dv )
h
v
= d
d}h +dh dv + dv dh + d
d}v
| {z
| {z
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.

B03 o

B13 o

B23 o

B02 o

B12 o

B33

B22

B01 o

B11

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

Definici
on 3.2.1 La homologa del complejo total del bicomplejo B(M ) es
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

Hn (M , b)

I/

HCn (M, b, B)

S /

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 )

como se puede apreciar en el siguiente grafico:

61

B[1, 1]

M3

M3

M1

M1



M2

M0

M2

M2

M1

M1

M0

 o

M2

 o

M1


0 o

M0

M0

M1

M0

M0

M0

M0

Se tiene la siguiente secuencia exacta corta de complejos:

/

T ot(B {1} (M ))

T ot(B(M ))

T ot(B[1, 1])

(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 )))

/ Hn2 (T ot(B(M )))

/ Hn1 (T ot(B {1} (M )))

equivalentemente

Hn (M , b)

I/

HCn (M, b, B)

S /

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
mn4

mn6
=

B
b

B
b

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

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

B
b

0
mn2

mn4
=

mn6

B
b

B
b

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.
3.3.1.

Homologa Cclica de una k-

algebra
asociativa A
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
n
X

(1)i di

tn = tn1

i=1

(bn b0 )tn =

i=1
n1
X

j=0
0
tn1 bn1

64

!
(1)j dj

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 )

(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

y para i < j:
di tjn (a0 an )

j1
tj1
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:
! n !
n1
X
X
b0 N =
(1)i di
tjn
i=0

j=1

0i<jn

(1)i di tj +

(1)i di tj

0jin1

0i<jn

(1)i ((1)nj+1 tj1 dij+n+1 ) +

(1)i ((1)j tj dij )

0jin1
n+ij+1 j1

(1)

dij+n+1 +

0i<jn

(1)ij tj dij

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:

b0 N =

n
X

j=0

q=nj+1

n
X

n
X

j=0

q=nj

n
X

(1)q tj1 dq +

q=nj
n+1
X

= (

(1)q tj dq

q=0

n
X

j=0
n
X

(1)q tj dq

q=0

(1)q tj dq +

j=0

tj

n+j1

n+1
X

tj

nj1

n
X

n+j1

(1)q dq +

(1)q dq

q=0

!
(1)q dq

q=0

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:

b0

A3 o

1t

A3 o

o 1t

Ao

1t

1t

o 1t

Ao

o N

b0

Ao

A3 o
b0

b0

A3 o

b0

b0

1t

Ao

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
67

/M

1t

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).
Definici
on 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
.
h{g v v/v V, g G}i

VG :=

El con
ucleo 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 Con
ucleo(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) :

/ C (A)

/ C

n1 (A)

C0 (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
sobre la primera columna de CC(A) y 0 en las otras, es
An+1 7
1t
decir:

b0
1t

b0

A2 o
b


Ao

1t

A2 o


Ao

A2 o
b

b0
1t


A3 o
1t

o
3 N

b0

b0
1t


Ao

1t

o
2 N

b0
1t


0o


0o


0o


0o


0o


0o


0o


0o


0o


Ao


A2 o
1t
b


A o
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:
An+1 o

Consideremos la fila n-esima del bicomplejo CC(A)

1t

An+1 o

An+1 o

1t

An+1 o

Cuando Q k podemos definir h por medio de:

hm : Cn (A) Cn (A)
donde



1

n + 1 Id

X
n
hm :=
1

iti

n + 1
i=1

si m es par,
si m es impar.

Si s impar:
(1 t)h + hN = (1 tn )hm + hm+1 N
" 
# 
!
X

n
n
X
1
1
iti +
Id
tin
= (1 tn )
n + 1 i=1 n
n+1
i=0
" n
#
n
X
X
1
=
ti (1 tn )(
itin )
n + 1 i=0 n
i=1
"
#
n
X
1
1+
(tin itin + iti+1
=
n )
n+1
i=1
= tn+1
= Id
n

69

Si m es par:
N h + h(1 t) = N hm + hm+1 (1 t)
" 
!
#

X
n
n
X
1
1
=
tin
Id +
itin (1 tn )
n
+
1
n
+
1
i=0
# i=1

 "X
n
n
X
1
=
tin
itin (1 tn )
n+1
i=0
i=1
"
#
n
X
1
=
1+
(tin itin + iti+1
n )
n+1
i=1
#
"
n
X
1
i+1
i+1
=
(tin itin + iti+1
1+
n + tn tn )
n+1
i=1
"
#
n
n
X
X
1
=
1+
(tin ti+1
(itin (i + 1)ti+1
n )
n )
n+1
i=1
i=1

1 
n+1
1 + tn tn+1

t
+
(n
+
1)t
=
n
n
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
H0 =

An+1
= Cn (A).
Im(1 t)

Consideremos el bicomplejo K
..
.
0o

..
.

Im(1 t) o

1t

0o

1t

Im(1 t) o

1t

1t

b0

Ao

70

An o


..
.

A2 o


b0

..
.

A2 o


..
.

An o


..
.

Im(1 t) o


b0

..
.
0o

An o

..
.

1t

Ao

1t

A2 o


b0

Ao

se tiene la siguiente secuencia exacta de complejos

/ T ot(K)

T ot(CC(A))

(3.3)

Veamos que H(T ot(K)) = 0:

Consideremos el complejo exacto
0o

F0 :

Im(1 t) o

Ao

1t

Ao

1t

Ao

y el bicomplejo K1
..
.

..
.

0o

Im(1 t) o

An o

1t

..
.


A2 o

1t

1t

An o


..
.

1t

A3 o

A2 o

1t

b0

A2 o

b0

A3 o

b0

Im(1 t) o

0o

..
.

A3 o

1t

..
.

An o


..
.

Im(1 t) o

0o

b0

..
.

Obtenemos la siguiente sucesion exacta de complejos

/

H1 (F )
| {z }

T ot(K))

/0

T ot(K1 )

(3.4)

n y por la secuencia larga en homologa de (3.4)

Como Hn (F0 ) = 0,

F0

H1 (K)

H1 (K1 )

H0 (F )
| {z }

/ H0 (K)

se tiene que Hn (K)

= Hn (K1 ), n.
Ahora consideremos el complejo exacto

F1 :

0o

Im(1 t) o

1t

A2 o
71

A2 o

1t

A2 o

H0 (K1 )

y el bicomplejo K2
..
.

..
.

0o

Im(1 t) o

An o

1t

..
.
1t

0o

A3 o

Im(1 t) o

1t

o 1t

A4 o

A3 o

..
.

1t

b0

A3 o

b0

b0

An o

o N

1t

..
.

Im(1 t) o


..
.

0o

..
.

An o

b0

..
.

Obtenemos la siguiente sucesion exacta de complejos

/

(F )
/H
| 1{z 1}

T ot(K1 ))

T ot(K2 )

(3.5)

n y por la secuencia larga en homologa de (3.5)

Como Hn (F1 ) = 0,

F1

/ H1 (K1 )
/

H1 (K2 )

H0 (F1 )
| {z }
/

H0 (K1 )

H0 (K2 )

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}

Veamos que la inclusion (Id, h) : An An A0n induce una aplicacion

de complejos (A , h) (A A0 , d).
A :

An

An1

(Id,h)

(Id,h)

A A0 :

/ An

(Id,h)

A0n



An1 A0n1 d

Tenemos las igualdades




h
d (Id, h) =
=
.
h




Id
h
(Id, h) ( h) =
[ h] =
.
h
h + hh

Id
h

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 casiisomorfismo. 

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
dn =
n

An A0n

n
n

"

n1
dn1 =
n1

/ An1 A0
n1

n1
n1
/ An2 A0

n2

donde
Para n = 2m:
An = A2m+1 A2m1 A2m2 A2 A

2m

b
0

1t
b0 N

0
b

2m =

A0n = A2m

b
0

1t 0
b0 N

(2m1)1

(2m1)(2m)

0 N 0 0

2m

1t
0

1(2m)

2m =

b0


11

Para n = 2m 1:
An = A2m A2m2 A2m3 A2 A

2m1

b 0

0
b
1

b0 N

=

b 1t

2m1 =

b
0

0 N 0 0

N
b

A0n = A2m1

0
1t


1(2m1)

2m1

(2m2)(2m1)

2m1 =

b0


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

1t
0

(2m2)1

Para n = 2m:
2m1 2m =
bb 0
0

bb

b(1 t) (1 t)b0
b0 b0

(1 t)N
N b b0 N

N (1 t)

b0 b0

0 (1 t)N
0

2m1 2m

2m1 2m + 2m1 2m

2m1 2m + 2m1 2m =

0 0

N b b0 N
0

0 0 Nb Nb

2m1 2m + 2m1 2m

0
(1 t)N

(2m2)(2m)

b(1 t) (1 t)b0
0

0
0

N (1 t)
b(1 t) (1 t)b0

(2m1)1

N (1 t) 0 0


= b0 b0 11


1(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

b
1t

b
N

b 1t
n n hn n =

b
N

(n1)n
75

(2m2)(2m)

Poniendo B = (1 t)sN tenemos el bicomplejo CC(A)1

A4 gOO


OOO
OOOB
OOO
OOO b
O 

OOO
OOOB
OOO
OOO b
O 

A
gOOO
OOO
OOB
OOO
OOO b
OOO 

A3 o

A3 gOO
b
2

A
b

b0

A3 o

1t

A3 o

b0

o 1t

b0

Ao

o 1t

Ao

1t

1t

Ao

1t

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

dbn =

bn A
b0
A
n

bn

bn

bn
bn

dbn1 =

/A
bn1 A
b0

bn1

bn1

bn1
bn1
/A
b

n2

n1

b0
A
n2

donde
Para n = 2m:
bn = A2m+1 A2m1 A2m3 A2 A
A

b B
0 b

b2m

b2m =

0
b

b0n = A2m2
A

1t
b0

b
0

1t 0
b0 N

0 0 N 0 0

Para n = 2m 1:

76

b2m

(2m2)(2m1)


1(2m1)

b2m =

b0


11

0
1t
0

(2m2)1

bn = A2m A2m2 A2m4 A2 A

A

b B
0 b

0


b2m1 =

b2m1

0
b

1t
b0 N

b0 n = A2m3
A

b2m1

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



0 1(2m2) b2m1 = b0 11

b
b A
b0 , d)
Se satisface dn dn1 = 0, n; obtenemos as que (A
b0 , b0 ) un complejo contractible con homotopa
es un complejo y (A
contractante h = s. Aplicando el lema (3.3.7) tenemos que la aplicacion
b ) , (A
b es un casi-isomorfismo, donde
b ,
b A
b0 , d)
(Id, hb
) : (A
b b

b B 0

0 b B

b 1t

b
N

bn bn hn
bn =

b 1t

b
N

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

A5 o
b

A4 o
b

A3 o
b

A2 o
b

A4 gOOO


OOO B
OOO
OOO b
O

OOO B
OOO
OOO b
O

A3 gOOO


A2 gOOO


b0

A3 o
A2 o

OOO B
OOO
OOO b
OO 

Ao

A
77

1t

A3 o
b0

1t

1t

1t

1t

1t

A2 o
b0

A3 o

Ao

A2 o
b

Ao

0
1t

(2m3)1

b ) por el lema (3.3.7)

b ,
y se satisface Hn (T ot(CC(A)2 )) = Hn (A
b hb
b ) = Hn (A
b = Hn (T ot(CC(A)1 )). De manera sucesiva
b ,
b A
b0 , d)
Hn (A
b hb
aplicamos el lema (3.3.7) para las columnas pares de CC(A). Se obtendra
A3aC

A3aC

CC
CC
CC
CC
CC
b
B CCC
CC
CC
C

A3

CC
CC
CC
CC
CC
b
B CCC
CC
CC
C

A2aC

A2aC

A2

CC
CC
CC
CC
CC
CC
CC
CC
C
CC
CC
b
b
b
B
B CCC
CC
CC
CC
CC
CC
C 
C 


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

A2 o

A2 o

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

dn =

An A0n

n
n

n
n

dn1 =

/ An1 A0n1

donde
78

n1
n1

n1
n1

/ An2 A0n2

Para n = 2m:
An = A2m+1 A2m1 A3 A

b 0 0
0 b

0 b 0

2m =

2m =

0 N
0 0

0
N

N
0 0

A0n = A2m A2m2 A4 A2

2m =

1t
0
0
1t

m(m+1)

0
N

2m =

m(m+1)

b0 0
0 b0

1t
0

0
1t

0
b
0
0 b0

mm

mm

Para n = 2m + 1
An = A2m+2 A2m A4 A2

2m+1

2m+1

A0n = A2m+1 A2m1 A3 A

1t
0
b 0 0

1t
0 b

0

2m+1 =

0
0

0 0 b (m+1)(m+1)
0 N
0 0

0
N

N
0

0
N

m(m+1)

2m+1

b0 0

b0

1t
0

0
1t

(m+1)(m+1)

b0 0 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

2m 2m+1

m(m+1)

0 (1 t)N

(1 t)N

b(1 t) (1 t)b

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

b(1 t) (1 t)b0 0

0 Nb b N

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

N b b0 N

2m 2m+1

m(m+1)

0 N (1 t)

N (1 t)

2m 2m+1

b0 b0

m(m+1)

b0 b0 0

m(m+1)

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

h=

80

m(m+1)

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

A2 o

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.
Observaci
on 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 ) =

i=0

3.3.4.

[(1)ni 1 ai ai+1 an a0 a1 ai1

(1)ni ai

1 ai+1 an a0 ai1 ]

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

HHn (A)

HCn (A)

S /

HCn2 (A)

81

B /

HHn1 (A)

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

HHn (A)

S /

HCn (A)

HCn2 (A)

B /

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):

AA

o B

AAo

AAo

A
donde B = sN : A A

n+1

AA

B(a0 a1 an ) =

n
X

esta dado por la formula

(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)


T ot(C (A), b)

T ot(B(A))

T ot(B(A))

T ot(B(A)[1, 1])

T ot(B(A)[1, 1])


/

se obtiene por el teorema (1.3.10) el siguiente diagrama conmutativo

/ HHn (A)

HCn (A)

/ HCn2 (A)

/ HC

HH n (A)

n (A)

/ HH

HC n2 (A)

HHn1 (A)


n1 (A)

donde los isomorfismos HHn (A) HH n (A) siguen de la proposision (2.4.3).

Consideremos la siguiente seccion del diagrama
/

/ HC

/ HH0 (A)

HC1 (A)


/

1 (A)


/

HH 0 (A)

HC0 (A)

/

HC 0 (A)

HC2 (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
/

/ HH1 (A)

HC0 (A)


/

HC 0 (A)

/ HC1 (A)


/

HH 1 (A)


/

HC 1 (A)

HC1 (A)

HC 1 (A)

HH0 (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
/

/ HH2 (A)

HC1 (A)


HC 1 (A)

HH 2 (A)

/ HC2 (A)

HC 2 (A)

83

/ HH1 (A)

HC0 (A)


HC 0 (A)

HH 1 (A)

se tiene HC2 (A)

= HC 2 (A). Inductivamente se tiene para el diagrama

/ HHn (A)

HCn1 (A)

/ HC

n1 (A)

HH n (A)

HCn (A)


HC n (A)

HCn2 (A)

/ HC

n2 (A)

/ HH

n1 (A)

que HCn (A)

= HC n (A). 
Observaci
on 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

HHn1 (A)
/

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.
L
Denotemos por A = T (V ) = n0 V n , con V 0 = k al algebra tensorial
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:
0

/AV

b0

AA

(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

s00 (a

a)=

p1
X

[(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 )
kk
Si a0 = b
(b0 s00 + s01 )(a b
k) = b0 s00 (a b
k) +s0 (ab
k) = ab
k1=ab
k.
| {z } 1
0

Si a0 = v1 vp
b0 [s00 (a a0 )]
"
= b0

p1
X

#
[(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
k) = s00 (av b
k) s0 (avb
s00 b0 (avb
k) = s00 (avb
k) = avb
k1 = avb
k.
| {z } 0
0

86

Si a0 = v1 vp
s00 b0 (a

p1
X
v a ) = av v1 (v2 vp )
(avv1 vi1 ) vi
0

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
/

(4.2)

Por el teorema (2.3.4) la Homologa de Hochschild esta dada por la homologa

del complejo:
/ A AAop

Idb0

(A V A)

A AAop (A A)

AV

donde
:

A AAop (A V A)
b
a AAop (a v a0 ) 

tiene inversa
0 :

AV
av

/ [b
a(a a0 )] v

/ A AAop
/

AV
= (a0b
aa) v

(A V A)

a AAop (1 v 1).

La inversa de
:

A AAop (A A)
b
a AAop (a a0 ) 

87

/b
a(a a0 )

= a0 b
aa

/0

esta dada por

0 :

A
a0

A AAop (A A)
/ a0

AAop (1 1)

y ademas
/

AV

b:

av
/

av va.

Veamos que b = (Id b0 ), evaluando sobre los tensores elementales:

b [b
a AAop (a v a0 )] = b[(a0b
aa) v] = a0b
aav va0b
aa
(1 b)[b
a AAop (a v a0 )] =
=
=
=
=

(b
a AAop [b0 (a v a0 )])
[b
a AAop (av a0 a va0 )]
[b
a AAop (av a0 ) b
a AAop (a va0 )]
b
a(av a0 ) b
a(a va0 )
0
0
ab
aav va b
aa.

Por lo tanto podemos calcular HH a partir del complejo

0

AV

(4.3)

En particular
op
HHn (T (V )) = T ornAA (A) =

0,

n2

op

HH1 (T (V )) = T or1AA (A) = Nu(b)

op

HH0 (T (V )) = T or0AA (A) =

A
Im b

= Con
ucleo(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
/A

AV
||

||
k


b
kv

/0

v1 v 

/ v1 v v v1

V 2

(v1 v2 ) v 

/ v1 v2 v v v1 v2

V 3

..
.

kV

V V

V 2 V

..
.

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
HH0 (T (V )) =

M


A
= Con
ucleo(Id ) = (T (V )) = k
V m .
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:

HCn1 (A)

/ HHn (A) I /

HCn (A)

89

S /

HCn2 (A)

B /

HHn1 (A)

De ello se tiene:
/ HC0 (A)

HC2 (A)
O

/ HH1 (A)

/ HC1 (A)

/0

/ HH0 (A)

/ HC0 (A)

HH3 (A) o

HC2 (A) o

HC4 (A) o

HH4 (A) o

/0

HH2 (A)
O

HC1 (A) o

HC3 (A) o

Del complejo anterior se observa que:

/

por lo cual

HH0 (A)

/0

HC0 (A)

HH0 (A)
= HC0 (A).

(4.4)

Por (4.3) tenemos que HHn (A) = 0, n 2 y se obtiene:

/ HC0 (A)

HC2 (A)
O

/ HH1 (A)

/ HC1 (A)

/0

/ HH0 (A)

/ HC0 (A)

HH3 (A) o
| {z }

HC2 (A) o

HC4 (A) o

HH4 (A) o
| {z }

HH2 (A)
| {z
}
0

HC3 (A) o

HC1 (A) o

(4.5)

Por lo tanto:
HC1 (A)
= HC3 (A)
= HC5 (A)
=
= HC2n+1 (A),
HC2 (A)
= HC4 (A)
= HC6 (A)
=
= HC2n (A),

n 1.

(4.6)

n 1.

(4.7)

De (4.5) se tiene la siguiente sucesion exacta:

0

HC2 (A)

HC0 (A)

HH1 (A)

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

HC1 (A)

/0

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
N
ucleo y Con
ucleo. 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)
B : (T (V )) = Con
ucleo(b) (T (V )) = Nu(b)

se

tiene

que

A AAop (A V A)

Idb0

/ A AAop

/0

(A A)

AV

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

A O A

?

AV j

/A

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
X
i=0

i (v1 vj ) =

j1
X

v1 vj + b(yi (v1 vj ))

i=0

= jv1 vj + b

j1
X

!
yi (v1 vj )

i=0

!
j1
X
1
= j (v1 vj + v1 vj ) + b
yi (v1 vj ) ,
2
i=0
92

reemplazando las ecuaciones (4.8) y (4.9), se tiene

j1
X
i=0

!
j1
X
j
1
(v1 vj ) =
(v1 vj + (v1 vj ) b(yj1 (v1 vj ))) + b
yi (v1 vj )
2
i=0
!
j1
X


j
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
i

Entonces :

j1

2X i
(v1 vj ) + b(z 0 v1 vj )
B(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
Im(1 + + 2 + + j1 )
j1
M
M
HC2 (A)
Nu(B )j = k
{ (V j ) /(1++ 2 + + j1 )() = 0}
= k
j1

j1

(4.10)
Afirmaci
on 4.1.0.2
HC2n (A)
=k

H2n (Z/jZ, V j )

j1

HC2n1 (A)
=

H2n1 (Z/jZ, V j )

j1

Demostraci
on:
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

V j

93

V j

V j

V j
(4.11)

donde
H0 (G, M ) =
H2n1 (G, M ) = H1 (G, M ) =

V j
= (V j )
Im(1 )

Nu(1 )
(V j )
=
,
Im N
Im(1 + + 2 + + j1 )

n1

y
H2n (G, M ) = H2 (G, M ) =

Nu(N )
,
Im(1 )

n 1.

De (4.11) y la proposicion (1.3.7) se tiene la siguiente sucesion exacta:

0

/H

2 (G, V

(V j )

V j

por lo cual
H2 (G, M )
= Nu N = Nu(B )j = { (V j ) /(1++ 2 + + j1 )() = 0}.
De (4.10) se concluye:
HC2n (A) = k

H2n (Z/jZ, V j ),

n1

H2n1 (Z/jZ, V j ),

n 1.

j1

HC2n1 (A) =

M
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 Kteora Algebraica Clasica,
Sociedad Matematica Mexicana, 2005.

96