Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Homologia de Hochschild y Homologia Ciclica PDF
Homologia de Hochschild y Homologia Ciclica PDF
FACULTAD DE CIENCIAS
ESCUELA PROFESIONAL DE MATEMATICA
HOMOLOGIA DE
HOCHSCHILD Y
HOMOLOGIA CICLICA
por
LA ROSA
LAURA BETZABE
OBANDO
g
/ Hn+1 (C) / Hn (A) f / Hn (B)
g
/ Hn (c) / Hn1 (A) f /
v
G es el funtor G = B.
Finalmente damos un manera de extender el funtor T definido sobre la categora
de algebras con unidad con valores en grupos abelianos a la categora de algebras
(no necesariamente con unidad). Para esto, sea A un k-algebra sin unidad, podemos
formar un k-algebra con A+ = k A. La definicion de extension de T a k-algebras
sin unidad es dada por T (A) := Conucleo(T (k) T (A+ )).
En el capitulo 2 definimos un A-bimodulo M , para luego definir el complejo
de Hochschild de A con coeficientes en M denotado por (C (A, M ), b), donde
Cn (A, M ) = M An y b es llamado el borde de Hochschild, y la homologa
del complejo es llamada homologa de Hochschild de A con coeficientes en M .
Si A = M , se escribe HH (A) = H (A, A), llamada homologa de Hochschild de
A. Se tiene para cada n Z que Hn (A, ), Hn (, M ) son funtores covariantes;
ademas HH es un funtor covariante de las categora de k-algebras asociativas a la
categora de k-modulos graduados. Luego definimos la resolucion barra (C0 (A), b0 ).
Para la k-algebra proyectiva A y para todo A-bimodulo M y todo n 0 se
op
tiene Hn (A, M ) = T ornAA (M, A). Tambien definimos el complejo de Hochschild
normalizado (C (A, M ), b).
En el captulo 3 damos la definicion de bicomplejos, complejos totales de un
bicomplejo y los grupos de homologa de un bicomplejo. Ademas se define el complejo
mixto B(A) y la homologa cclica del complejo mixto, que es la homologa del
complejo total del bicomplejo B(A); y la secuencia SBI para complejos mixtos.
Damos dos definiciones de Homologa cclica de un k-algebra asociativa A, la primera
a partir del bicomplejo CC(A) y el segundo a partir del bicomplejo B(A). Luego
demostramos que coinciden con la homologa cclica definida a partir del complejo
reducido B(A).
En el captulo 4, hacemos el calculo de la homologa cclica de T (V ), el algebra
tensorial del k-modulo V , aplicando todos los resultados y propiedades vistas en los
captulos anteriores. En el u
ltimo captulo mencionamos algunas conclusiones.
vi
Indice general
1. Preliminares 1
1.1. Categoras y Funtores . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3. Homologa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.4. Funtores Derivados . . . . . . . . . . . . . . . . . . . . . . . . 30
1.5. Extension para Algebras sin unidad . . . . . . . . . . . . . . . 36
2. Homologa de Hochschild 38
2.1. Bimodulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
2.2. Complejo de Hochschild . . . . . . . . . . . . . . . . . . . . . 39
2.3. Resolucion Barra . . . . . . . . . . . . . . . . . . . . . . . . . 47
2.4. Complejo de Hochschild Normalizado . . . . . . . . . . . . . . 53
3. Homologa Cclica 59
3.1. Bicomplejos: . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
3.2. Complejo mixto . . . . . . . . . . . . . . . . . . . . . . . . . . 60
3.2.1. Secuencia SBI para Complejos mixtos . . . . . . . . . . 61
3.3. Homologa Cclica de una k-algebra asociativa A . . . . . . . 63
3.3.1. Primera definicion de Homologa Cclica . . . . . . . . 63
3.3.2. Complejo de Connes . . . . . . . . . . . . . . . . . . . 67
3.3.3. Segunda definicion de Homologa Cclica El
bicomplejo B(A) . . . . . . . . . . . . . . . . . . . . . 74
3.3.4. Secuencia SBI para Algebras . . . . . . . . . . . . . . 81
3.4. El bicomplejo B(A) . . . . . . . . . . . . . . . . . . . . . . . . 82
4. Aplicaci on: 85
4.1. Calculo de la Homologa Cclica de A=T(V) . . . . . . . . . . 85
5. Conclusiones: 95
vii
Captulo 1
Preliminares
(f, g) / gf
h (g f ) = (h g) f
Definici
on 1.1.2 Sean C y D dos categoras.
Un Funtor Covariante F : C D es una aplicacion que satisface:
1
i) Sea A un objeto de C entonces F A es un objeto en D.
ii) Si f C(A, B) entonces F f C(F A, F B).
iii) Si f C(A, B), g C(B, C) entonces F (g f ) = F g F f .
iv) Para todo objeto A en C se tiene F 1A = 1F A .
Un Funtor Contravariante es la aplicacion que satisface:
i) Sea A un objeto de C entonces F A es un objeto en D.
ii) Si f C(A, B) entonces F f C(F B, F A).
iii) Si f C(A, B), g C(B, C) entonces F (g f ) = F f F g.
iv) Para todo objeto A en C se tiene F 1A = 1F A .
Definici on 1.1.3 Una categora C es pre-aditiva si cada
HomC (A, B) = {f C(A, B)/f es un homomorfismo} es un grupo abeliano
(adicion) y se satisface la ley distributiva cuando esta esta definida.
Al elemento neutro de HomC (A, B) lo llamaremos morfismo nulo entre A y
B y lo denotaremos por 0.
Definicion 1.1.4 Si C y D son categoras pre-aditivas, entonces decimos
que el funtor (contravariante o covariante) F : C D es aditivo si
F (f + g) = F f + F g
para f , g HomC (A, B), A y B.
Proposici on 1.1.5 Si el funtor (contravariante y covariante) F : C D es
aditivo entonces F (0) = 0, donde 0 C(A, B) es el morfismo nulo.
Demostraci on: Sea f C(A, B) y 0 C(A, B) el morfismo nulo.
Entonces f +0 = f y como F es un funtor aditivo se tiene F (f ) = F (f +0) =
F (f ) + F (0). Luego tenemos F (0) = 0.
Definicion 1.1.6 Sean los funtores T, L : C D. Una transformacion
natural : T L es una familia de morfismos {A }AC , tal que para todo
f : A A0 en C, el siguiente diagrama es conmutativo.
Tf
TA / T A0
A A0
Lf
LA / LA0
2
Definicion 1.1.7 Decimos que los funtores T, L : C D son naturalmente
equivalentes, si existe una transformacion natural : T L tal que para
cada A C, A : T A LA es un isomorfismo.
X @
~~~ @@@ g
~~ !h @@@
f
~~~ @@
~~
A o P /B
p q
es decir, f = p h y g = q h.
P @
~~~ @@@
p ~~ @q
~~ h0 @@@
~~ @@
~~~ @
Ao p0
P0 q0
/B
3
p = p (h0 h) y q = q (h0 h) tal como se puede ver el siguiente grafico
P DD
zzz DD
zz DD
p zz DD q
zz 1P 0 DD
zz h h DD
zz DD
z DD
}z
z !
A o P /B
p q
Definicion 1.1.10 Una categora aditiva C es una categora con objeto cero
el cual para cualquier par de objetos poseen un producto y el conjunto de
morfismos C(A, B) es un grupo abeliano tal que la composicion
es bilineal.
F : M / Ab
F f = 1A f.
4
Demostraci
on: Sea a b un tensor elemental de A B
es la identidad en A B.
Para probar que F preserva composicion, cabe recordar que:
Observacion 1.1.13 Sean f : A A0 un -morfismo de modulos a derecha
y g : B B 0 un morfismo de - modulos a izquierda. Entonces existe un
nico homomorfismo A B A0 B 0 con a b 7 f (a) g(b).
u
f f0
Observaci
on 1.1.14 Sean A / A0 / A00 morfismos de -modulos a
g g0
derecha y B / B0 / B 00 morfismos de -modulos a izquierda. Entonces
(g 0 f 0 ) (g f ) = (g 0 g) (f 0 f ).
= 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.
1.2. Complejos
Definicion 1.2.1 Sean un anillo con unidad, los -modulos A, B, C y
los morfismos f : A B, g : B C. Se dira que la secuencia
f g
A / B /C
es
semiexacta en B, si g f = 0.
5
Definici
on 1.2.2 La secuencia
0 / A /B /C / 0
es exacta corta, si es exacta en A, B y C.
on 1.2.3 Sean los homomorfismos de modulos f : M 0 M y
Proposici
g : M M 00
f es inyectiva si y solo si
f
0 / M0 / M
es exacta en M 0 .
g es sobreyectiva si y solo si
g
M / M 00 / 0
es exacta en M 00 .
Demostraci
on:
() Se tiene que la aplicacion 0 : 0 M 0 es definida como
0(0) = 0 M 0 , entonces Im 0 = 0 y por ser f inyectiva Nu f = 0.
De ello se tiene que la secuencia es exacta en M 0 .
() Por ser la secuencia exacta en M 0 se tiene que 0 = Im 0 = Nu f ,
luego f es inyectiva.
()La aplicacion 0 : M 00 0 se define como 0(m00 ) = 0, m00 M 00 .
Se tiene Nu 0 = M 00 , por ser g sobreyectiva Im g = M 00 . De ello se
tiene que la sucesion es exacta en M 00 .
() Si la sucesion es exacta en M 00 se tiene Im g = Nu 0 = M 00 ; con
lo que g es sobreyectiva.
Ejemplo 1.2.4 Sean los -modulos M y N , la sucesion
0 / M
i / M N
/ N /0
6
Lema 1.2.5 (Lema de los cinco) Sea A un anillo. Consideremos el
diagrama de sucesiones exactas de A-homomorfismos
g1 g2 g3 g4
0 / M1 / M2 / M3 / M4 / M5 / 0
f1 f2 f3 f4 f5
h1
h2
h3
h4
0 / M10 / M20 / M30 / M40 / M50 / 0
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
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:
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:
7
se obtiene que f3 (m3 ) m03 Nu(h3 ) = Im(h2 ), entonces existe un
m02 M20 tal que h2 (m02 ) = f3 (m3 ) m03 .
Por ser f2 sobreyectiva, existe un m2 M2 tal que f2 (m2 ) = m02 .
Consideremos m3 g2 (m2 ) M3 obteniendo
f3 (m3 g2 (m2 )) = f3 (m3 ) f3 g2 (m2 ) = f3 (m3 ) h2 f2 (m2 )
= f3 (m3 ) h2 (m02 ) = f3 (m3 ) (f3 (m3 ) m03 )
= m3 .
Definici
on 1.2.6 Diremos que una sucesion exacta corta de -modulos
f g
0 / M0 /M / M 00 /0
Proposici
on 1.2.7 Si la sucesion exacta corta de -modulos
f g
0 / M0 /M / M 00 /0 (1.1)
es escindible entonces M
= M 0 M 00 .
Demostraci
on: Notemos que la sucesion
0 / M0
i / M 0 M 00
/ M 00 / 0
con la inyeccion dada por i : m0 7 (m0 , 0) y la proyeccion : (m0 , m00 ) 7 m00 ,
es escindible. En efecto, por (1.2.4) es exacta corta y para la inyeccion
i0 : M 00 M 0 M 00 dada por i0 : m00 7 (0, m00 ) se tiene que i0 = 1M 00 ; por
lo tanto la sucesion es escindible.
Por ser la sucesion (1.1) escindible existe un homomorfismo g 0 : M 00 M
tal que g g 0 = 1M 00 . Definamos el -homomorfismo
: M 0 M 00 / M
0 / M0
i / M 0 M 00
/ M 00 / 0
1M 0 1M 00
f g
0 / M0 /M / M 00 / 0
8
Para (x, y) M 0 M 00 se tiene:
1M 00 (x, y) = 1M 00 (y) = y
entonces 1M 00 = g .
Sea x M 0 , entonces
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.
{
P
{
{
{
}{
M / M 00 / 0
sea conmutativo.
9
Demostracion: Sean (i, L) un modulo libre sobre S, f : L M 00 un
homomorfismo arbitrario. Consideremos el diagrama
S
i / L
f
g
M / M 00 / 0
Sea s S, entonces f i(s) M 00 . Como g es un epimorfismo, existe ms M
tal que
g(ms ) = f i(s)
(por el axioma de eleccion) elegimos una solo elemento ms de la preimagen
de s, para luego definir la aplicacion:
k:S / M
s / ms
S
i /L
~
~
~
k ~
~ h
~~
M
conmuta, es decir h i = k.
Para s S
g h i(s) = g (h i)(s) = g k(s) = g(ms ) = f i(s)
lo que implica que g h i = f i. Luego tenemos
S /L i
}
}}
gh }}}
}
}}
gk
} }}
~}u f
00
M
Por ser (i, L) modulo libre tenemos g h i = g k = f i, por la unicidad
de homomorfismos se tiene g h = f .
10
Lema 1.2.11 Para todo -modulo M existe una sucesion exacta corta
0 /N / L / M / 0
donde L es proyectivo.
Definici
on 1.2.12 Una sucesion de homomorfismos de modulos
fi+2 fi+1 fi fi1 fi2
/ Ci+2 / Ci+1 / Ci / Ci1 / Ci2 /
es semiexacta (exacta) si
fi+1 fi
Ci+1 / Ci / Ci1
Definici
on 1.2.13 Un complejo (C, ) sobre denotado simplemente por
C, es un objeto en MZ con un endomorfismo
: C C de grado 1 con = 0. Es decir, consiste de
una familia {Cn }nZ de -modulos y una familia de homomorfismos de
-modulos {n : Cn Cn1 }nZ
n+1 n n1
C : ... / Cn+1 / Cn / Cn1 / ...
11
Observaci on 1.2.14 La sucesion de morfismos de modulos (C, ) es un
complejo, si la sucesion
n+1 n n1
C : ... / Cn+1 / Cn / Cn1 / ...
es semiexacta.
fn fn1
Cn0 / 0
Cn1
en
es conmutativo.
Proposici
on 1.2.17 Si C es un complejo
n+1 n n1
C : ... / Cn+1 / Cn / Cn1 / ...
tambien es un complejo.
Demostraci
on: Como C es un complejo se cumple
n n+1 = 0, n
12
1.3. Homologa
Podemos asociar al complejo (C, ) el modulo graduado
M
H (C) = {Hn (C)}nZ = Hn (C)
nZ
donde
Nu n
Hn (C) =
Im n+1
es llamado n-esimo grupo de homologa de C. Los elementos de Cn son
llamados n-cadenas, los elementos de Nu n son llamados n-ciclos y los
elementos de Im n+1 son llamados n-bordes. Denotemos por Zn = Zn (C)
a Nu n y Bn = Bn (C) a Im n+1 . Luego podemos escribir:
Zn (C)
Hn (C) =
Bn (C)
Hn (f ) : Hn (C) Hn (C 0 )
x 7 f (x)
n0 fn z = fn+1 n z = fn+1 0 = 0,
Demostraci
on:
Veamos que Hn es un funtor:
Todo objeto (C, ) Comp es llevado por Hn a la un objeto en
f
Hn (C) M y todo morfismo de complejos (C, ) / (C 0 , 0 ) es
llevado por Hn a un morfismo f = Hn (f ) : Hn (C) Hn (C 0 ).
13
f g
Sean (C, ) / (C 0 , 0 ) / (C 00 , 00 ) morfismos de complejos y z
Hn (C), entonces
Hn (C C 0 )
= Hn (C) Hn (C 0 ).
14
Veamos que Im bn = Im n Im n0 para cada n Z:
/
(a, a0 ) (a, a0 )
Veamos que esta bien definida:
Sea (a, a0 ) = (b, b0 ) entonces
(a b, a0 b0 ) = (a b, a0 b0 ) = (0, 0)
Luego se tiene a b Im n+1 y a0 b0 Im n+1 0
. Esto implica
0 0 0
que (a b, a b ) Im n+1 Im n+1 , entonces (a b, a0 b0 ) =
(a, a0 ) (b, b0 ) = (0, 0). Por lo que (a, a0 ) = (b, b0 ), lo que equivale a
(a, a0 ) = (b, b0 ).
es inyectiva:
Sea (a, a0 ) Nu (a, a0 ) = (a, a0 ) = (0, 0). Luego se tiene que
(a, a0 ) Im n+1 Im n+1
0
, entonces a Im n+1 y a0 Im n+1
0
. Por
0
lo tanto (a, a ) = (0, 0).
es sobreyectiva:
Nu n Nu n0
0
Sea (a, a ) 0
(a, a0 ) Nu n Nu n0 lo que
Im n+1 Im n+1
Nu n Nu n0
implica a Nu n y a0 Nu n0 entonces (a, a0 ) 0
.
Im n+1 Im n+1
Luego (a, a0 ) = (a, a0 ).
Con ello probamos que es un isomorfismo.
Definicion 1.3.3 Dos morfismos de complejos f, g : C C 0 son
homotopicos si existe un morfismo de grupos graduados h : C C 0 de
grado 1, llamado homotopa tal que:
f g = h + h
e
15
o equivalentemente
fn gn = hn1 n + en+1 hn nZ
Demostraci
on: Sea x Zn (C), h una homotopa entre f y g entonces:
(f g )(x) = fn gn (x)
= en+1 (hn (x))
= 0
16
Definici
on 1.3.6 Un complejo C
n+1 n n1
C : ... / Cn+1 / Cn / Cn1 / ...
es exacto, si Im n+1 = Nu n , n Z.
Proposici
on 1.3.7 Sea
n+1 n n1
C: / Cn+1 / Cn / Cn1 /
Demostraci
on:
Zn (C) Cn
Para cada n se tiene Hn (C) = = Con
ucleo(n+1 ).
Bn (C) Bn (C)
Definimos
Cn /
(n ) : Im(n )
Bn (C)
[x] / n (x)
Definici
on 1.3.8 Una sucesion corta de morfismos de complejos
f g
0 / A /B / C / 0
es exacta.
17
Teorema 1.3.9 (Sucesi
on exacta larga) Si
f g
0 / A /B / C / 0
Para cada n Z,
Demostraci
on:
1. Veamos la existencia de ( )n : Hn (C) Hn1 (A):
Para cada n Z consideremos el diagrama conmutativo con filas
exactas
fn gn
0 /A / Bn /C / 0
n n
0
n 00
n
n
0 / An1 / Bn1 / Cn1 / 0
fn1 gn1
18
1
que fn1 n bn esta bien definido. Supongamos que para cn existe otro
bbn Bn , obteniendose de manera analoga al proceso anterior un u
nico
an1 An1 tal que fn1b
b an1 = nbbn .
De ello se tiene
an1 ) = n fn an = fn1 n0 an .
fn1 (an1 b
an1 = n0 an Im n0 .
Por la inyectividad de fn1 , se tiene an1 b
As esta bien definido el homomorfismo
Zn (C) An1 / Im n0 .
00
Veamos que esta aplicacion lleva Im n+1 en 0:
00 00
Sea cn Im n+1 Cn , entonces existe cn+1 Cn+1 tal que n+1 cn+1 =
cn . Por ser gn sobreyectiva, existe bn+1 Bn+1 tal que gn+1 bn+1 = cn+1 ;
luego
00
cn = n+1 gn+1 bn+1 = gn n+1 bn+1 .
Como gn (n+1 bn+1 ) = cn entonces
1
(cn ) = fn1 n n+1 bn+1 = 0.
| {z }
0
1
Sea z Hn (C), veamos que fn1 n x, donde gn (x) = z, es un n-ciclo:
0 1 0
n1 (fn1 n x) = n1 0 f 1 x = 0.
| {z n} n
0
f g
/ Hn (A) / Hn (B) / Hn (C) / Hn1 (A) / ...
Im f Nu g :
g f = (gf ) = 0 = 0.
19
Nu g Im f :
00
Sea z Nu g g (z) = gn z = 0 entonces gn z Im n+1 ,
00
luego existe cn+1 Cn+1 tal que gn (z) = n+1 cn+1 . Por ser
gn+1 sobreyectivo existe bn+1 Bn+1 tal que cn+1 = gn+1 bn+1 .
00
Luego se tiene que gn z = n+1 gn+1 bn+1 = gn n+1 bn+1 , entonces
z n+1 bn+1 Nu gn = Im fn , existiendo un u nico an An tal
que z n+1 bn+1 = fn an , donde n fn an = n z n n+1 bn+1 .
| {z }
0
Por ser z un ciclo se tiene
fn1 n0 an = n fn an = 0
Como fn1 es inyectivo, n0 an = 0, entonces an Nu n0 = Zn (A)
y ademas
f (an ) = fn an = z n+1 bn+1 = z.
Im g Nu :
Sea z Hn (B), denotemos w = gn (z). Luego
1
g (z) = (gn z) = (w) = fn1 n z,
y por ser z un n-ciclo se tiene g (z) = 0.
Nu Im g :
1
Sea z Nu , entonces (z) = fn1 n x = 0, donde gn x = z.
1
Luego fn1 n x Im n entonces existe an An tal que n0 an =
0
1
fn1 n x. Entonces n fn an = fn1 n0 an = n x n (x fn an ) = 0,
obteniendo que x fn an Nu n . Ademas
g (x fn an ) = gn (x fn an ) = gn x gn fn an = gn x = z.
Im Nu f :
Sea w Im Hn1 (A) luego existe z Hn (C) tal que
1
w = (z) = fn1 n x, con gn x = z entonces
1
f (w) = fn1 w = fn1 fn1 n x.
Como f (w) Hn1 (B) se tiene
f (w) = n x = 0.
Nu f Im :
Sea z Nu f entonces f (z) = fn1 z = 0. Luego fn1 z Im n ,
entonces existe bn Bn tal que fn1 z = n bn luego
n00 gn bn = gn1 n bn = gn1 fn1 z = 0.
20
Denotemos por w = gn bn Nu n00 luego se tiene
1
(w) = fn1 n bn = z.
f (z) = f (i1 1
n1 n x) = fn1 in1 n x, con pn (x) = z
pn+1
Bn+1 / Cn+1
00
n+1
n+1
in pn
An /B /C hn+1
n n
0 n
n
in1
hn
An1 / Bn1 gn 0
Bn+1 / C0
n+1
00
bn+1 bn+1
fn1 gn1 qn
A0n / B0 / C0
n n
0
00
bn n bn
q
b
jn1
A0n1 / Bn1 0 n1
/ 0
Cn1
21
Del diagrama se tiene :
luego tenemos
f (z) = fn1 i1 1
n1 n x = jn1 gn1 n x
1 b 1 b
= jn1 n gn x = jn1 n y, donde y = gn (x)
Como qn y = qn gn x = hn pn x = hn z se tiene
Definici
on 1.3.11 Sea C el complejo de la forma
C : ... / C1 / C0 / M / 0.
CM : . . . / C1 / C0 / 0
Definici
on 1.3.12 Un complejo de la forma
Definici
on 1.3.13 Una resolucion proyectiva de A es un complejo exacto
22
Demostraci on: De (1.2.11) se tiene que para M existe una sucesion
exacta corta
i0 0
0 / N0 / L0 / M / 0
con L1 proyectivo. Por induccion, para Nn1 se tiene por (1.2.11) que existe
una sucesion exacta corta
in n
0 / Nn / L1 / Nn1 / 0
n n1 2 1 0
/ Ln / Ln1 / /L /L /L /M (1.2)
2 1 0
23
se puede obtener el siguiente diagrama conmutativo
.. .. ..
. . .
/ Pn0 / P0 00 / Pn00 /
0 n Pn 0
0 / 0
Pn1 / P0 00
Pn1 / P 00 / 0
n1 n1
.. .. ..
. . .
/ P10 / P0 00 / P100 /
0 1 P1 0
/ P00 / P0 00 / P000 /
0 0 P0 0
0 / A0 / A / A / 0
donde las filas son sucesiones exactas cortas y las columnas son resoluciones
proyectivas de A0 , A y A00 respectivamente.
Demostraci on: Por el lema (1.2.11) para los modulos A0 y A00 existen
las sucesiones exactas cortas
i0 0
0 / N0 / P00 / A0 / 0
0
y
i00 00
0 / N000 / P000 / A00 /0
es exacta corta.
Por ser P000 proyectivo existe un homomorfismo : P000 A tal que = 00 .
Se obtiene el siguiente diagrama:
0 / P00 F / P 0 P 00 / P 00 / 0
0 0 0
FF ww
FF ww
FF0 ww
0 FF ww 00
FF w
FF www
FF w
# {ww
0 / A0 /A / A00 / 0
24
Definimos:
: P00 P000 /A
0 00
0 / A0 / A / A00 / 0
Por ser 0 y 00 epimorfismos se tiene que es un epimorfismo. Ademas el
diagrama conmuta, ya que se satisfacen:
25
Para la siguiente sucesion exacta corta repetimos el proceso anterior:
j0 0
0 / Nu(0 ) / Nu() / Nu(00 ) / 0,
01 1 00
1
j0
0
0 / Nu(0 ) / Nu() / Nu(00 ) / 0
i0n in i00
n
jn
n
0 / P0 / P0 Pn00 / Pn00 / 0
n n
0n n 00
n
jn1
n1
0 / Nu(0n1 ) / Nu(n1 ) / Nu(00n1 ) / 0
Definimos
n0 = i0n1 0n ,
n = in1 n ,
n00 = i00n1 00n ,
para todo n > 1 y
10 = i0 01 ,
1 = i 1 ,
100 = i00 001 .
26
Obteniendo as el siguiente diagrama:
.. .. ..
. . .
0 / P0 / P 0 P 00 / P 00 /0
n n n n
0
n 00
n
n
/ P0 / P0 00 / P 00 /0
0 n1 n1 Pn1 n1
0
n1 00
n1
n1
/ P0 / P0 00 / P 00 /0
0 n2 n2 Pn2 n2
.. .. ..
. . .
0 / P0 / P 0 P 00 / P 00 /0
1 1 1 1
10 1 100
0 / P0 / P 0 P 00 / P 00 /0
0 0 0 0
0 00
0 / A0 /A /A /0
f
20 10
/ / / 0 / /0
C0 : . . . C20 C10 C00 A0
Demostraci
on:
1. Existencia de f :
Demostraremos por induccion sobre n.
27
Si n = 0 tenemos el siguiente diagrama
C0
/ A / 0
~
~
f0 ~
~ f
~ f
~
~~
0 / /
C00 A0 0
fn f n1
0
Cn+1 / Cn0 / 0
Cn1
0
n+1 0
n
0
Si mostramos que Im(f n n+1 ) Im n+1 tendremos el siguiente
diagrama:
Cn+1
w
w
w
f n+1 w
w f n n+1
w
w
{w
0
Cn+1 / 0
Im n+1 / 0
0
n+1
0
y por la proyectividad de Cn+1 se tiene que existe f n+1 : Cn+1 Cn+1
0
tal que n+1 f n+1 = f n n+1 .
0
2. Veamos Im(f n n+1 ) Im n+1 :
0
Como el segundo complejo es exacto, se tiene que Im n+1 = Nu n0 .
Entonces es suficiente probar que n0 f n n+1 = 0.
Por hipotesis inductiva tenemos que n0 f n = fn1
0
n , luego:
n0 f n n+1 = (fn1
0
n )n+1
0
= fn1 (n n+1 )
= 0
28
0 h0 = f .
Construyamos la homotopa s por induccion.
Definamos s1 : C1 C0 donde s1 = 0 con C1 = 0.
Supongamos que hemos hallado s1 , s0 , s1 , .sn de grado +1 tales que
j0 sj + sj1 j1 = hj fj para j = 0, , n.
0
Afirmamos que Im(hn+1 f n+1 sn n+1 ) Im n+2 , obteniendose el
siguiente diagrama:
Cn+1
x
x
x
sn+1 x
x hn+1 f n+1 sn n1
x
x
x
{x
0
Cn+2 / 0
Im n+2 / 0
0
n+2
0
Por ser Cn+1 proyectivo, existe una aplicacion sn+1 : Cn+1 Cn+2 que
0
satisface n+2 sn+1 = hn+1 f n+1 sn n+1 .
0
Ahora demostraremos la inclusion Im(hn+1 f n+1 sn n+1 ) Im n+2 :
0 0
Por ser el segundo complejo exacto Im n+2 = Nu n+1 , es suficiente
0
probar que n+1 (hn+1 f n+1 sn n+1 ) = 0, luego:
0 0 0 0
n+1 (hn+1 f n+1 sn n+1 ) = n+1 hn+1 n+1 f n+1 n+1 sn n+1
0 0
= n+1 (hn+1 f n+1 ) n+1 sn n+1
0
Por hipotesis inductiva sabemos n+1 sn = hn f n sn1 n
reemplazando en lo anterior:
0
n+1 (hn+1 f n+1 ) (hn f n sn1 n )n+1
0
= n+1 (hn+1 f n+1 ) (hn f n )n+1 sn1 n n+1
| {z }
0
0
= n+1 (hn+1 f n+1 ) (hn f n )n+1
0 0
= n+1 hn+1 hn n+1 + n+1 f n+1 f n n+1
| {z } | {z }
0 0
= 0
f = 0 0
29
1.4. Funtores Derivados
Dado un funtor aditivo T describiremos el funtor derivado Ln T para cada
modulo A, donde C es una de todas las resoluciones proyectivas de A y CA
su correspondiente complejo reducido .
Definici
on 1.4.1 Para cada modulo A
Nu T n
(Ln T )A := Hn (T CA ) = .
Im T n+1
Para completar la definicion de Ln T , describiremos su accion sobre
f : A B, con C una resolucion proyectiva de A y C 0 una resolucion
proyectiva de B.
2 1
C: ... / C2 / C1 / C0
/ A /0
f2 f1 f0 f
20 10
... / / / 0 / /0
C0 : C20 C10 C00 B
(Ln T )(f ) = Hn (T f ) = (T f )
Demostraci on:
Veamos que (Ln T )(f ) esta bien definida para f : A B.
Supongamos que existe otro morfismo de complejos f 0 : CA CB0 sobre f .
Por el teorema de comparacion se tiene que f y f 0 son homotopicos, de ello
existe una homotopia s tal que
0
f 0 n f n = n+1 sn + sn1 n .
30
Para probar que Ln T es un funtor, probaremos solo una de las condiciones;
las demas se dejan para el lector.
f g
Sean A / B / C morfismos de complejos; por ser T y Hn funtores, se
tiene que:
(Ln T )(g f ) = Hn (T g f ) = Hn (T g f )
= Hn (T g T f ) = Hn (T f ) Hn (T g)
= (Ln T )(g) (Ln T )(f ).
obteniendo el funtor L
cn T denotado as provisionalmente. Mostraremos que
Ln T y Ln T son esencialmente los mismos.
c
Demostraci
on: Consideremos el siguiente diagrama
d2 d1 d0
P : / P2 / P1 / P0 / A / 0
i 1A
d02 d01 d00
/ Pb2 / Pb1 / Pb0 / A / 0
Pb :
31
Aplicando el funtor T se obtiene la una aplicacion T i : T PA T PbA sobre
1T A , esta induce una aplicacion (para cada n)
A = (T i) : (Ln T )A (L
bn T )A.
Ahora consideremos el siguiente diagrama
d02 d01 d00
/P / Pb1 / Pb0 /A / 0
Pb : b 2
j 1A
d2 d1 d0
P : /P / P1 / P0 /A / 0
2
(Ln T )f (L
b n T )f
B
(Ln T )B / (L
bn T )B
Consideremos el siguiente diagrama:
P : / P1 / P0 /A / 0
i 1A
/ Pb1 / Pb0 /A / 0
Pb :
f f
Q
b: / Q
b1 / Q
b0 / B / 0
32
Donde P y Pb resoluciones proyectivas de A y Q b una resolucion proyectiva de
B. Aplicando el teorema de comparacion se tiene los morfismos de complejos
i : PA PbA sobre 1A , f : PbA Q
bB sobre f .
Ahora consideremos el siguiente diagrama:
P : / P1 / P0 /A / 0
fb f
Q: / Q1 / Q0 / B / 0
j 1B
Q
b: / Q
b1 / Q
b0 / B / 0
Como
entonces Ln T (f )A = B Ln T (f ).
33
on 1.4.5 Para el funtor F = B definimos T orn (B, ) := Ln F .
Definici
En particular
Nu(1 n )
T orn (B, A) =
Im(1 n+1 )
donde
2 1 0
... / P2 / P1 / P0 / A / 0
Demostraci
on: Para la sucesion exacta corta:
0 / A0 / A / A /0
34
por (1.3.15) existe el diagrama conmutativo
.. .. ..
. . .
0 / Pn0 / P0 Pn00 / Pn00 / 0
n
0 / 0
Pn1 / P0 00
Pn1 / P 00 / 0
n1 n1
.. .. ..
. . .
/ P10 / P0 00 / P100 /
0 1 P1 0
/ P00 / P0 00 / P000 /
0 0 P0 0
0 / A0 / A / A00 / 0
donde las filas son sucesiones exactas cortas y las columnas son resoluciones
proyectivas de A0 , A y A00 respectivamente.
Denotaremos por PA0 0 , PA , PA0000 las resoluciones proyectivas reducidas de
A0 , A y A00 respectivamente. Se obtiene la sucesion exacta corta de cadenas
0 / P0 0 i / PA / PA0000 / 0 (1.3)
A
0 / TP0 0 Ti / T PA
T / T P 0000 / 0.
A A
T PA
= T PA0 0 T PA0000 .
Hn (T PA )
= Hn (T PA0 0 T PA0000 )
= Hn (T PA0 0 ) Hn (T PA0000 )
Es decir:
Ln T (A)
= Ln T (A0 ) Ln T (A00 )
35
Equivalentemente
T orn (M, A)
= T orn (M, A0 ) T orn (M, A00 )
Demostraci
on: Aplicamos (1.4.7) a la sucesion exacta corta:
0 / A0 / A0 A00 / A0 / 0.
1.5. Extensi
on para Algebras sin unidad
Existe una manera estandar de extender un funtor T definido sobre
la categora de algebras con unidad con valores en grupos abelianos a la
categora de algebras (no necesariamente con unidad), siempre y cuando T
conmute con el producto.
Sea A una k-algebra sin unidad, podemos formar una k-algebra con unidad
A+ = k A, que es un k-modulo y con una estructura de multiplicacion dada
por
(, u)(, v) = (, v + u + uv)
donde la unidad es (1, 0), se acostumbra a escribir 1 + u en vez de (, u).
Por definicion la extension de T a k-algebras sin unidad esta dada por
: A+ / kA
/
1+u (, 1A + u)
36
por lo tanto A+ = k A. Sean las inclusiones canonicas ik : k k A,
iA : A k A, por ser T (k) T (A) isomorfo a T (k A), se tiene que el
siguiente diagrama conmuta
T (k) LVVVV
LL VVVVVV
LL VVVVT (ik )
LL VVVV
LL VVVV
iT (k) LL VVVV
L& VV+
T (k) T (A)
= / T (k A)
rr 8
hh hhhh3
iT (A) rrr hhhh
rrr
hhhhhhh
r hh h
rhrhrhhhhhh
T (iA )
T (A)
T (k)
= / T (k)
iT (k) T (ik )
T (k) T (A) = / T (k A)
de donde se obtiene
37
Captulo 2
Homologa de Hochschild
2.1. Bim
odulo
Definicion 2.1.1 Un bimodulo M sobre A es un A-modulo a derecha y a
izquierda que cumple:
(am)a0 = a(ma0 ), a, a0 A m M .
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).
Demostraci
on:
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
ma = m(a 1)
am = m(1 a)
Cn (A, M ) = M An
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.
39
Demostracion: Definamos para cada 0 i n y 0 j n 1 los
operadores
dn djn1
M An
i
/ M An1 / M An2
dados por
ma1 a2 . . . an , i=0
n
di (ma1 . . .an ) = m a1 a2 . . . ai ai+1 . . . an , 1 i < n
an m a2 . . . an1 , i=n
de ello tenemos:
n1
X n
X
bn1 bn = ( (1)j djn1 ) ( (1)i dni )
j=0 i=0
n X
X n1
= (1)i+j dn1
j dni
i=0 j=0
Afirmaci n1
on 2.2.1.1 Para j < i se tiene djn1 dni = di1 dnj .
I: 0 j < i e i < n
j <i1
dn1
j dni (a0 a1 . . . an ) = dn1
j (dni (a0 a1 . . . an ))
= dn1
j (a0 . . . ai ai+1 . . . an )
= a0 . . . aj aj+1 . . . ai ai+1 . . . an
dn1 n n1 n
i1 dj (a0 a1 . . . an ) = di1 (dj (a0 a1 . . . an ))
= dn1
i1 (a0 . . . aj aj+1 . . . an )
= a0 . . . aj aj+1 . . . ai ai+1 . . . an
40
j =i1
dn1
j dni (a0 a1 . . . an ) = dn1 n
i1 (di (a0 a1 . . . an ))
= dn1
i1 (a0 . . . ai ai+1 . . . an )
= a0 . . . ai1 (ai ai+1 ) . . . an
dn1 n n1 n
i1 dj (a0 a1 . . . an ) = di1 (di1 (a0 a1 . . . an ))
= dn1
i1 (a0 . . . ai1 ai . . . an )
= a0 . . . (ai1 ai )ai+1 . . . an
II: 0 j < i y i = n
j <n1
dn1
j dnn (a0 a1 . . . an ) = dn1
j (dnn (a0 a1 . . . an ))
= dn1
j (an a0 a1 . . . an1 )
= an a0 a1 . . . aj aj+1 . . . an1
dn1 n n1 n
n1 dj (a0 a1 . . . an ) = dn1 (dj (a0 a1 . . . an ))
= dn1
n1 (a0 . . . aj aj+1 . . . an )
= an a0 . . . aj aj+1 . . . an1
j =n1
dn1
j dnn (a0 . . . an ) = dn1
n1 n
(dn (a0 . . . an1 an ))
n1
= dn1 (an a0 a1 . . . an1 )
= an1 (an a0 ) a1 . . . an2
dn1 n n1 n
n1 dj (a0 . . . an ) = dn1 (dn1 (a0 . . . an1 an ))
= dn1
n1 (a0 a1 . . . an2 an1 an )
= (an1 an )a0 a1 . . . an2
41
De ello tenemos:
n X
X X
bn1 bn = [ (1)i+j dn1
j dn
i + (1)i+j dn1
j dni ]
i=0 j<i ji
Xn X X n X
= [ (1)i+j dn1
j dni ] + [ (1)i+j djn1 dni ]
i=0 j<i i=0 ji
n1 n j
n1 X
X X X
= [ (1)i+j dn1
j dni ] + [ (1)i+j dn1
j dni ]
j=0 i=j+1 j=0 i=0
n1 Xn j
n1 X
X X
i+j n1
= [ n
(1) di1 dj ] + [ (1)i+j dn1
j dni ].
j=0 i=j+1 j=0 i=0
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.
Definici
on 2.2.3 La Homologa del complejo (C (A, M ), b) es llamada la
Homologa de Hochschild de A con coeficientes en M y se denota por
M
H (A, M ) = Hn (A, M )
n0
donde
Hn (A, M ) = Hn (C (A, M ), b)
Observaci
on 2.2.4 Si M = A, escribiremos HH (A) = H (A, A) =
(HHn (A)) y la llamamos Homologa de Hochschild de A.
42
Si A es conmutativo, cada Hn (A, M ) es un A-modulo.
Cn (A, M ) / Cn (A0 , M 0 )
bn bn
Cn1 (A, M ) / Cn1 (A0 , M 0 )
h : Hn (A, M ) / Hn (A0 , M 0 ) .
/
m a1 . . . an f (m) g(a1 ) . . . g(an )
a m = g(a)m m a = mg(a)
a m0 = g(a)m0 m0 a = m0 g(a)
Ademas:
f (a m) = f (g(a)m) = g(a)f (m)
f (m a) = f (mg(a)) = f (m)g(a)
Luego el morfismo de f : M M 0 de A-bimodulos y g : A A0 induce el
morfismo de complejos h : (C(A, M ), b) (C(A0 , M 0 ), b) mediante
hn : Cn (A, M ) / Cn (A0 , M 0 ) .
bn bn
Cn1 (A, M ) / Cn1 (A0 , M 0 )
hn1
43
bn hn (m a1 . . . an ) = bn [hn (m a1 . . . an )]
= bn f (m) g(a1 ) . . . g(an )
n
X
i
= (1) di f (m) g(a1 ) . . . g(an )
i=0
= f (m)g(a1 ) . . . g(an ) +
n1
X
i
(1) f (m) g(a1 ) . . . g(ai )g(ai+1 ) . . . g(an ) +
i=1
(1)n g(an )f (m) g(a1 ) . . . g(an1 )
h : Hn (A, M ) / Hn (A0 , M 0 ) .
/
m a1 . . . an f (m) g(a1 ) . . . g(an )
44
f : (C(A, M ), b) (C(A, M 0 ), b) y la aplicacion de k-modulos graduados
f : Hn (A, M ) / Hn (A, M 0 ) .
/
m a1 . . . an f (m) a1 . . . an
f g
Sean M / M0 / M 00 morfismos de A-bimodulos, se tiene que
(gf ) (m a1 . . . an ) = gf (m) a1 . . . an
= g (f (m) a1 . . . an )
= g f (m a1 . . . an ).
Proposici
on 2.2.7 Para cada n, Hn (, M ) es un funtor covariante.
g : Hn (A, M ) / Hn (A0 , M ) .
/ m g(a
m a1 . . . an 1) . . . g(an )
f g
Sean A0 / A0 / A00 morfismos de k-algebras y M un A00 -bimodulo, se
verifica que
/ h(a
a0 a1 . . . an 0) h(a1 ) . . . h(an )
45
f g
Sean A / A0 / A00 morfismos de k-algebras, se tiene que
M
H0 (A, M ) =
{ma am/a A, m M }
de ello se tiene (
1, n es par
bn =
0, n es impar
obteniendo el complejo de Hochschild para M = k
/ k
1 / k
0 / k
1 / / k
1 / k
0 / k.
Entonces
HH0 (k) = k,
Nu bn
HHn (k) = = 0, n > 0.
Im bn+1
46
2.3. Resoluci
on Barra
Para cada n 0 denotemos Cn0 (A) = A(n+2) ; la cual posee una
estructura de A-bimodulo con las siguientes operaciones:
(a0 . . . an+1 ) = a0 . . . an+1
(a0 . . . an+1 )0 = a0 . . . an+1 0
Ademas Cn0 (A) posee una estructura de A Aop -modulo con la siguiente
operacion:
(a a0 )(a0 . . . an+1 ) = aa0 . . . an+1 a0 .
0
Definimos la aplicacion de A Aop -modulos b0n : Cn0 (A) Cn1 (A) como:
n
X
b0n (a0 . . . an+1 ) = (1)i a0 . . . ai ai+1 . . . an+1
i=0
47
As,
b02 b01
C0 (A) : ... / C10 (A) / C00 (A) / A / 0
es un complejo sobre A.
on 2.3.1 (C0 (A), b0 ) es una resolucion del A Aop -modulo A.
Proposici
Demostraci
on: Vemos que el siguiente complejo es una resolucion de A
b02 b01
C0 (A) : ... / C10 (A) / C00 (A) / A / 0
para ello verificaremos que la homologa del complejo es nula.
Construimos una homotopa contractante s de la siguiente forma:
s1 : A / C00 (A)
a / 1a
y
sn : Cn0 (A) / C0
n+1 (A)
a0 . . . an+1 / 1 a0 . . . an+1
que verifican:
48
n
X
(1)i (1 a0 . . . ai ai+1 . . . an+1 )
i=0
= a0 . . . an+1 = IdCn0 (A) (a0 . . . an+1 ), n N
Demostraci
on: Definimos
Probaremos
1. = Id, = Id.
2. [Id AAop b0 ] = b.
49
[m a1 . . . an ] = ([m a1 . . . an ])
= [m AAop (1 a1 . . . an 1)])]
= 1m1 a1 . . . an
= m a1 . . . an
Ponemos a0 = an+1 = 1.
esto es equivalente a:
n1
X
= [m AAop (a0 a1 . . . an+1 ) + (1)i m AAop (a0 . . . ai ai+1 . . . an+1 )
i=1
+m AAop ((1)n a0 a1 . . . an an+1 )]
n1
X
= [m AAop (a0 a1 . . . an+1 )] + [ (1)i m AAop (a0 . . . ai ai+1 . . . an+1 )]
i=1
+[m AAop ((1)n a0 a1 . . . an an+1 )]
n1
X
= [m AAop (a0 a1 . . . an+1 )] + (1)i [m AAop (a0 . . . ai ai+1 . . . an+1 )]
i=1
+[m AAop ((1)n a0 a1 . . . an an+1 )]
n1
X
= an+1 ma0 a1 . . . an + (1)i an+1 ma0 . . . ai ai+1 . . . an
i=1
+an an+1 m(1)n a0 a1 . . . an1
50
reemplazando a0 = an+1 = 1 tenemos
n1
X
= 1m1a1 . . . an + (1)i 1m1 . . . ai ai+1 . . . an
i=1
+(1)n an 1m a1 . . . an1
n1
X
= ma1 . . . an + (1)i m a1 . . . ai ai+1 . . . an
i=1
+(1)n an m a1 . . . an1
= bn (m a1 . . . an ).
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
C
/ B / 0
C
/ B / 0
51
Luego f g : An B es un k-homomorfismo, ya que verifica:
H: Cn0 (A) C
a x b 7 ah(x)b
52
2.4. Complejo de Hochschild Normalizado
Consideremos Cn (A, M ) = M An y Dn Cn (A, M ) donde Dn es
generado por
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
= 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
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
3. Caso: i = n
bn (m a1 . . . an1 1) = ma1 a2 . . . an1 1 +
n2
X
(1)i m a1 . . . ai ai+1 . . . an1 1 +
i=1
(1)n1 m a1 . . . an2 an1 1 +
(1)n 1 m a1 . . . an1
= ma1 a2 . . . an1 1 +
| {z }
Dn1
n2
X
(1)i m a1 . . . ai ai+1 . . . an1 1
|i=1 {z }
Dn1
M
El complejo D = Dn , b es un subcomplejo de (C (A, M ), b).
n0
A
Observaci
on 2.4.1 Denotando A = se tiene que:
k
Cn (A, M ) M An n
Cn (A, M ) = = 'M A .
Dn Dn
Definici
on 2.4.2 (C (A, M ), b) es llamado el Complejo de Hoshcshild
Normalizado.
54
Demostraci
on: La prueba puede verse en [2, prop.1.1.15].
HH(A0 A00 )
= HH(A0 ) HH(A00 ).
Por lo tanto
/ A0 A0op
/ A00 A00op
55
Observacion 2.4.5 Si Pn es proyectivo como A0 A0 op -modulo, es proyectivo
como -modulo, donde = B B op con B = A0 A00 .
0 0 op 0 0 op
M como AopA -modulo, existe un A A -modulo
Como Pn es proyectivo
M tal que Pn M
= (A0 A0 )i .
iI
Mediante la siguiente aplicacion los A0 A0 op -modulos poseen una estructura
de -modulos
/ A0 A0op
56
De ello se tiene que (LCA0 A00 , ( 0 , 00 ) 1A0 ) = (LCA0 A00 , ( 0 , 0) 1A0 ).
Definamos la aplicacion:
donde
n : Pn0 A0 A0 op A0 / Pn0 Pn00 A0
p0n A0 A0 op a0 / (p0n , 0) a0 .
Veamos que el diagrama conmuta
n
Pn0 A0 A0 op A0 / Pn0 Pn00 A0
0 A0 A0 op 1A0 ( 0 ,0) 1A0
n1
0
Pn1 A0 A0 op A0 / 0
Pn1 00
Pn1 A0
Definamos la aplicacion
donde
n : Pn0 Pn00 A0 / Pn0 A0 A0 op A0
(p0n , p00n ) a0 / p0
n A0 A0 op a0
Se verifica facilmente que es la inversa de . Por lo tanto se tiene que los
complejos (T CA0 , 0 A0 A0 op 1A0 ) y (LCA0 A00 , ( 0 , 00 ) 1A0 ) son isomorfos.
Luego se tiene Hn (T CA0 ) = Hn (LCA0 A00 ), por lo tanto
0 op
T orn (A0 A00 , A0 )
0
= T ornA A (A0 , A0 ).
57
Observaci on 2.4.6 (Homologa de Hochschild para algebras sin unidad)
Como HHn es un funtor de algebras con unidad en la categora de
k-modulos, podemos extender la definicion a algebras sin unidad por medio
de
HHn (A) := Conucleo(HHn (k) HHn (A+ ))
Como HHn conmuta con el producto por (2.4.4), hemos demostrado que esta
definicion coincide con la usual cuando A es unitario y proyectivo.
En general, HHn conmuta con el producto para algebras con unidad [2,
1.4.1].
58
Captulo 3
Homologa Cclica
3.1. Bicomplejos:
Definicion 3.1.1 Un bicomplejo (tambien llamado complejo doble) es
una coleccion de modulos Cp,q indexados por enteros p y q, con una
diferencialhorizontal
dh : Cp,q Cp1,q
y una diferencial vertical
dv : Cp,q Cp,q1
Cp1,q o Cp,q
dh
dv dv
Cp1,q1 o Cp,q1
dh
dv dv = dh dh = dv dh + dh dv = 0
59
Sea el bicomplejo C tal que Cp,q = 0 si p < 0 o q < 0
dv dv dv
C0,2 o C1,2 o C2,2 o
dh dh
dv dv dv
C0,1 o C1,1 o C2,1 o
dh dh
dv dv dv
C0,0 o C1,0 o C2,0 o
dh dh
M
entonces el k-modulo (T otC )n := Cp,q , esta bien definido (por ser una
p+q=n
suma finita), definimos d = dh + dv
M M M M
/ Cp,q dh +dv / Cp,q dh +dv / Cp,q dh +dv / Cp,q .
T ot(C ) : . . .
p+q=3 p+q=2 p+q=1 p+q=0
Se satisface:
d d = (dh + dv ) (dh + dv )
h
= d
| {z d}h +dh dv + dv dh + dv
d}v
| {z
0 0
= dh dv + dv dh = 0
b2 = B 2 = bB + Bb = 0.
60
Un complejo mixto determina un bicomplejo B(M ) en el primer cuadrante
colocando Bpq = Mqp si 0 p q, Bpq = 0 en cualquier otro caso.
b b b b
B03 o B
B13 o B
B23 o B
B33
b b b
B02 o B
B12 o B
B22
b b
B01 o B
B11
b
B00
A este bicomplejo,
M se le asocia el complejo total (T otB(M ), b + B) con
(T otB(M ))n = Bpq = Mn Mn2 Mn4
p+q=n
/ I/ S / B / /
Hn (M , b) HCn (M, b, B) HCn2 (M, b, B) Hn1 (M , b)
61
o
M3 M3 o B
M2 o B
M1 o B
M0 0 M2 o B
M1 o B
M0
b b b b b b
o
M2 / M2 o B
M1 o B
M0 / 0 M1 o B
M0
b b b b
M1 M1 o B
M0 0 o M0
b b
M0 M0 0
0 / T ot(B {1} (M ))
I / T ot(B(M ))
S / T ot(B[1, 1]) / 0 (3.1)
equivalentemente
/ I/ S / B / /
Hn (M , b) HCn (M, b, B) HCn2 (M, b, B) Hn1 (M , b) .
62
es decir:
b B
mn2
b B mn4
b B mn6
=
b B
63
i=0:
0 < i < n:
i=n:
di tn = tn1 di1
((1)i di )tn = tn1 (1)i1 di1
n
! n
!
X X
(1)i di tn = tn1 (1)i1 di1
i=1 i=1
n
! n1
!
X X
(1)i di tn = tn1 (1)j dj
i=1 j=0
0
(bn b0 )tn = tn1 bn1
64
De la ultima ecuacion se tiene:
bn tn = b0 tn + tn1 b0n1
= (1)n dn + tn1 b0n1
= bn b0n1 + tn1 b0n1
y se concluye que bn (tn 1) = b0n1 (tn1 1).
Ademas se tiene para 1 j n.
tj (a0 an ) = (1)jn anj+1 an a0 anj
Las relaciones anteriores implican para i j :
di tjn (a0 an ) = (1)jn di (anj+1 an a0 anj )
= (1)jn anj+1 an a0 aij aij+1 anj
= (1)j (1)j(n1) anj+1 an a0 aij aij+1 anj
= (1)j tjn1 (a0 aij aij+1 an )
= (1)j tjn1 dij (a0 an )
y para i < j:
di tjn (a0 an ) = (1)jn di (anj+1 an a0 anj )
= (1)jn anj+1 anj+1+i1 anj+1+i an a0 anj
= (1)jn anj+1 an+ij an+1+ij an a0 anj
tj1 j1
n1 dn+1+ij (a0 an ) = tn1 (a0 an+1+ij an+1+ij+1 an )
65
Haciendo la sumatoria sobre j y un cambio de variable en la primera
sumatoria igual a q = i j + n + 1 donde 0 i < j y en la segunda
sumatoria el cambio de variable de q = i j donde j i n 1 se tiene:
n n nj1
!
X X X
b0 N = (1)q tj1 dq + (1)q tj dq
j=0 q=nj+1 q=0
n n n+j1
!
X X X
= (1)q tj dq + (1)q tj dq
j=0 q=nj q=0
n n+1 n+j1
!
X X X
= tj (1)q dq + (1)q dq
j=0 q=nj q=0
n n+1
!
X X
= tj (1)q dq
j=0 q=0
Xn
= ( tj )b
j=0
= Nb
y de tn+1 = 1 se tiene:
N (1 t) = (1 + tn + + tnn )(1 tn )
= 1 + tn + + tnn tn t2n tnn tn+1
n
n+1
= 1 tn
= 0
66
Se obtiene el siguiente bicomplejo denotado por CC(A), y llamado el
bicomplejo cclico:
b b0 b b0
A3 o A3 o A3 o A3 o
1t N 1t N
b b0 b b0
A 2 o 1t A 2 o N
A 2 o 1t A 2 o N
b b0 b b0
Ao Ao Ao Ao
1t N 1t N
/M 1t / M
N /M 1t / M
67
y se denota por H (Z/nZ, M ). Aqu t denota la accion del generador de G y
N = 1 + t + t2 + + tn1 es el operador norma definido en (3.2).
Definicion 3.3.4 Sea G un grupo y V un G-modulo a izquierda. El espacio
de invariantes es definida por
V G := {v V /g v = v, g G}
y el espacio de coinvariantes es definida por
V
VG := .
h{g v v/v V, g G}i
El conucleo del endomorfismo 1t : An+1 An+1 es denotado por Alain
Connes como:
An+1
Cn (A) := .
1t
Por definicion el Nu(1 t) y el Conucleo(1 t) se llaman el espacio invariante
n+1 G
(A ) , respectivamente el espacio coinvariante (An+1 )G de la accion de
G = Z/(n + 1)Z.
La aplicacion b : Cn (A) Cn1
(A) con x 7 bx, esta bien definida ya
que: x = y x y = (1 t)z, z An+1 entonces bx by = b(1 t)z =
(1 t)bz bx = by. Ademas bb(x) = bb(x) = 0;
Definici
on 3.3.5 (Complejo de Connes) El complejo
b b0 b b0
A3 o
A 3 o 1t
A 3 o N
A 3 o 1t
A o
3 N 0o 0o 0o
1t
b b0 b b0 b
A2 o
A2 o A2 o A2 o o 0o 0o 0o
1t N 1t
2 N
A
1t
b b0 b b0 b
A o
Ao Ao Ao Ao 0o 0o 0o
1t N 1t N
1t
68
Teorema 3.3.6 Para toda algebra A sobre un anillo k que contiene a Q, la
proyeccion natural
p : HC (A) H (A)
es un isomorfismo.
Demostraci
on: Consideremos la fila n-esima del bicomplejo CC(A)
hm : Cn (A) Cn (A)
donde
1
n + 1 Id si m es par,
hm :=
1
Xn
n + 1
iti si m es impar.
i=1
Si s impar:
69
Si m es par:
N h + h(1 t) = N hm + hm+1 (1 t)
n
! " X n
#
X 1 1
= tin Id + itin (1 tn )
i=0
n + 1 n + 1
"X n n
# i=1
1 X
= tin itin (1 tn )
n+1 i=0 i=1
" n
#
1 X
= 1+ (tin itin + iti+1n )
n+1 i=1
" n
#
1 X
= 1+ (tin itin + iti+1 i+1
n + tn tn )
i+1
n+1 i=1
" n n
#
1 X X
= 1+ (tin ti+1
n ) (itin (i + 1)ti+1n )
n+1 i=1 i=1
1
1 + tn tn+1 n+1
= n tn + (n + 1)t n
n+1
n+1
= tn = Id
Obtenemos que h es una homotopa entre Id y 0. Esto implica que esta fila
es un complejo cuya homologa es nula salvo en
An+1
H0 = = Cn (A).
Im(1 t)
Consideremos el bicomplejo K
.. .. .. ..
. . . .
0o Im(1 t) o An o An o An o
1t N 1t
b b0 b b0
.. .. .. ..
. . . .
0o Im(1 t) o A2 o A2 o A2 o
1t N 1t
b b0 b b0
0o Im(1 t) o Ao Ao Ao
1t N 1t
70
se tiene la siguiente secuencia exacta de complejos
0o Im(1 t) o Ao Ao Ao
1t N 1t
F0 :
y el bicomplejo K1
.. .. .. ..
. . . .
0o Im(1 t) o An o An o An o
1t N 1t
b b0 b b0
.. .. .. ..
. . . .
0o Im(1 t) o A3 o A3 o A3 o
1t N 1t
b b0 b b0
0o Im(1 t) o A2 o A2 o A2 o
1t N 1t
0 0 0 0
/ H1 (F ) / / / H0 (F ) / H0 (K) / /
| {z } H1 (K) H1 (K1 ) | {z } H0 (K1 ) 0
0 0
0o Im(1 t) o A2 o A2 o A2 o
1t N 1t
F1 :
71
y el bicomplejo K2
.. .. .. ..
. . . .
0o Im(1 t) o An o An o An o
1t N 1t
b b0 b b0
.. .. .. ..
. . . .
0o Im(1 t) o o N o 1t A4 o
1t
A 4
A 4
b b0 b b0
0o Im(1 t) o A3 o A3 o A3 o
1t N 1t
0 0 0 0
Obtenemos la siguiente sucesion exacta de complejos
0 / F1 / T ot(K1 )) / T ot(K2 ) / 0 (3.5)
Como Hn (F1 ) = 0, n y por la secuencia larga en homologa de (3.5)
/H (F )
| 1{z 1} / H1 (K1 ) / H1 (K2 ) / H0 (F1 )
| {z } / H0 (K1 ) / H0 (K2 ) / 0
0 0
72
Demostraci on:
Como = 0 y de dd = 0 se tiene
2
+ + 0 0
dd= = =
+ + 0 0
(h + h) = Id
h + h() =
h h =
h h h
A : / An / An1 /
(Id,h) (Id,h) (Id,h)
A A0 : d / An A0n d / An1 A0n1 d /
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).
donde
Para n = 2m:
b 0 0
0 b 1t 1t
b0 N
0
2m = 2m =
1t 0
b 0 (2m1)1
0 0 b0 N (2m1)(2m)
b0
2m = 0 N 0 0 1(2m)
2m = 11
Para n = 2m 1:
b 0 0
1t
0 b 1 t
0
b0 N
2m1 = 2m1 =
b 1t
0
b N 0
0
0 0 b 1t (2m2)(2m1)
(2m2)1
b0
2m1 = 0 N 0 0 1(2m1)
2m1 = 11
74
Para n = 2m:
2m1 2m =
bb 0 0
0 bb b(1 t) (1 t)b0 (1 t)N
b0 b0 N b b0 N N (1 t)
b0 b0 N b b0 N N (1 t) 0
0 0 b(1 t) (1 t)b0 (1 t)N (2m2)(2m)
0 (1 t)N 0 0
0
2m1 2m =
0 0 (2m2)(2m)
b(1 t) (1 t)b0
0
2m1 2m + 2m1 2m =
0 (2m1)1
0
2m1 2m + 2m1 2m = 0 0 Nb Nb N (1 t) 0 0 1(2m)
= b0 b0 11
2m1 2m + 2m1 2m
Como CC(A) es un bicomplejo, se tiene que d2m1 d2m = 0, de manera
analoga tambien se verifica d2m d2m+1 = 0.
s : An An+1 , s(a1 a2 an ) = 1 a1 a2 an
75
Poniendo B = (1 t)sN tenemos el bicomplejo CC(A)1
b
A4 gOO
OOO
OOOB
b OOO b0
OOO b b
O
A3 o A3 o A3 o
1t N 1t
A3 gOO
OOO
OOOB
b OOO b0
OOO b b
O
A 2
A 2 o 1t A 2 o N
A 2 o 1t
gOOO
OOO
OOB
OOO
b OOO b b0 b
OOO
Ao Ao Ao
1t N 1t
A
donde
Para n = 2m:
bn = A2m+1 A2m1 A2m3 A2 A
A b0n = A2m2
A
b B 0
0 b 0 0
b 1t 1t
b0
N 0
= b2m =
b2m
1t 0
b 0 (2m2)1
0 0 b0 N (2m2)(2m1)
b0
b2m = 0 0 N 0 0 1(2m1)
b2m = 11
Para n = 2m 1:
76
bn = A2m A2m2 A2m4 A2 A
A b0 n = A2m3
A
b B 0
0 b 0 0
b 1t
1t
b0 N
b2m1 = b2m1
=
b 1t
b0 N 0 0 (2m3)1
0 0 b 1 t (2m3)(2m2)
0 1(2m2) b2m1 = b0 11
b2m1 = 0 0 N 0
b b
A5 o
B
A4 gOOO
OOO B
OOO b0
b b OOO b b
O
A4 o A3 o A3 o A3 o
B 1t N 1t
A3 gOOO
OOO B
OOO b0
b b OOO b b
O
A3 o A2 o A2 o A2 o
B 1t N 1t
A2 gOOO
OOO B
OOO b0
b b OOO b b
OO
A2 o Ao Ao Ao
B 1t N 1t
A
b
A
77
y se satisface Hn (T ot(CC(A)2 )) = Hn (A b hb
b , b ) por el lema (3.3.7)
Hn (A b hb
b , b A
b ) = Hn (A b = Hn (T ot(CC(A)1 )). De manera sucesiva
b0 , d)
aplicamos el lema (3.3.7) para las columnas pares de CC(A). Se obtendra
A3aC A3aC A3
CC CC
CC CC
CC CC
CC CC
CC CC
B CCC B CCC
b b b
CC CC
CC CC
C C
A2aC A2aC A2
CC CC
CC CC
CC CC
CC CC
CCC CC
B CCC
b b b
B CC
CC CC
CC CC
C C
A A A
con
Bb + bB = 0
Obtenemos el bicomplejo B(A), donde (B(A))p,q = Cqp (A) = Aqp+1 , si
q p, p, q 0 y 0 en cualquier otro caso.
A3 o B A2 o B
A
b b
A2 o B
A
b
A
Donde (B(A))p,q = (CC(A))2p,qp . La aplicacion inyectiva de complejos
T ot(B(A)) , T ot(CC(A)) lleva a un x (B(A))p,q = Cqp (A) tal que
p + q = n en el elemento (x, sN x) Cqp (A) Cqp+1 (A) (T otCC(A))p+q ,
ademas se tiene que Hn (T otCC(A)) = Hn (B(A)).
donde
78
Para n = 2m:
b 0 0 1t
0 0
0 b 0 1t
2m = 2m =
1t 0
0 b 0 m(m+1)
0 0 1t mm
b0 0
0 N 0 0 0
0 0 N 0 b0
2m = 2m =
N 0 b 0 0
0 0 0 N m(m+1)
0 0 b0 mm
Para n = 2m + 1
b 0 0 1t 0 0
0 b
0
1t
2m+1 = 2m+1 =
0 1t
0
0 0 b (m+1)(m+1) 0 0 1t (m+1)(m+1)
b0 0
0 N 0 0 0
0 0 N
b0
2m+1 = 2m+1 =
N b0 0 0
0
0 0 N m(m+1)
0 b0 0 m(m+1)
79
Para n = 2m + 1:
bb
2m 2m+1 =
bb 0 m(m+1)
0 (1 t)N
2m 2m+1 =
(1 t)N m(m+1)
0
b(1 t) (1 t)b
2m 2m+1 +2m 2m+1 =
b(1 t) (1 t)b0 0 m(m+1)
0
0 Nb b N
2m 2m+1 + 2m 2m+1 =
0 N b b0 N m(m+1)
0 N (1 t)
2m 2m+1 =
0 N (1 t) m(m+1)
b0 b0
2m 2m+1 =
b0 b0 0 mm
Como CC(A) es un bicomplejo se tiene que d2m d2m+1 = 0, de manera
analoga tambien se verifica d2m1 d2m = 0.
Se obtiene as que (An A0n , d) es un complejo. El complejo (A0 , ) es
contractil, pues es suma directa de complejos contractibles con homotopa
contractante h : A0n A0n+1
s
s
h=
80
donde s es el operador extra degeneracion. Aplicando el lema (3.3.7)
tenemos que la inclusion (Id, h) : (A , h) , (A A0 , d) es un
casi isomorfismo, donde:
b B
b B
h =
b B
Tenemos que el bicomplejo B(A)
A3 o A2 o
B B
A
b b
A2 o
B
A
b
A
satisface Hn (T ot(B(A))) = Hn (A , h) = Hn (A A0 , d) =
Hn (T ot(CC(A))) por el lema (3.3.7). De los dos metodos antes expuestos
se concluye el siguiente teorema.
Teorema 3.3.8 ((b, B) Definici
on de Homologa Cclica) Para toda
k-algebra A asociativa con unidad la aplicacion inclusion
T ot(B(A)) T ot(CC(A)) es un casi-isomorfismo.
Observacion 3.3.9 Como B esta definido por B = (1 t)sN tenemos que
B : An+1 An+2 es dado por
n
X
B(a0 a1 an ) = [(1)ni 1 ai ai+1 an a0 a1 ai1
i=0
.
(1)ni ai 1 ai+1 an a0 ai1 ]
3.3.4.
Secuencia SBI para Algebras
Teorema 3.3.10 (Secuencia exacta peri odica de Connes) Para toda
A algebra asociativa (no necesariamente con unidad) existe una secuencia
exacta larga
/ I / S / B / /
HHn (A) HCn (A) HCn2 (A) HHn1 (A)
81
Demostraci on: La prueba del teorema es dada para el caso A con unidad.
Como el bicomplejo B(A) es el complejo mixto (C (A), b, B), por el teorema
(3.3.8) la homologa cclica de A es dada por HC (A) = HC (C (A), b, B).
Para el complejo mixto (C (A), b, B) aplicamos (3.2.2), obteniendose la
sucesion exacta larga
/ I / S / B / /
HHn (A) HCn (A) HCn2 (A) HHn1 (A)
2 o B AAo
B
A
AA
b b
AAo
B
A
b
A
n n+1
donde B = sN : A A AA esta dado por la formula
n
X
B(a0 a1 an ) = (1)ni 1 ai an a0 a1 ai1
i=0
82
Demostraci on: Denotemos por HH (A) = HH(C (A), b) y HC (A) =
H (T ot(B(A))).
Del siguiente diagrama conmutativo de complejos
0 / T ot(C (A), b)
I / T ot(B(A))
S / T ot(B(A)[1, 1]) / 0
0 / T ot(C (A), b)
I / T ot(B(A))
S / T ot(B(A)[1, 1]) / 0
/ HC0 (A) / HH1 (A) / HC1 (A) / HC1 (A) / HH0 (A) /
=
= =
=
/ HC 0 (A) / HH 1 (A) / HC 1 (A) / HC 1 (A) / HH 0 (A) /
/ HC1 (A) / HH2 (A) / HC2 (A) / HC0 (A) / HH1 (A) /
=
=
=
=
/ HC 1 (A) / HH 2 (A) / HC 2 (A) / HC 0 (A) / HH 1 (A) /
83
se tiene HC2 (A)
= HC 2 (A). Inductivamente se tiene para el diagrama
/ HCn1 (A) / HHn (A) / HCn (A) / HCn2 (A) / HHn1 (A) /
=
=
=
=
/ HC / / / HC / HH /
n1 (A) HH n (A) HC n (A) n2 (A) n1 (A)
84
Captulo 4
Aplicaci
on:
4.1. C
alculo de la Homologa Cclica de
A=T(V)
Sean k un anillo conmutativo con unidad y V un k-modulo proyectivo de
caracterstica 0.
Denotemos por A = T (V ) = n0 V n , con V 0 = k al algebra tensorial
L
del k-modulo V , donde la multiplicacion sobre A es inducida por
/AV b0 /
/ /
0 A AA A 0 (4.1)
b0 : A V A AA
a0 v a1 7 a0 v a1 a0 va1
y
: A A A
.
a a0 7 aa0
Definamos las aplicaciones:
s01 : A A A
a 7 a 1
85
s00 : A A A V A como s00 |Ak = 0 y
p1
X
s00 (a 0
a)= [(av1 vi1 ) vi vi+1 vp ] (av1 vp1 ) vp 1,
i=1
s01 = IdA :
s01 (a) = (a 1) = a1 = a
(b0 s00 +s01 )(aa0 ) = b0 s00 (aa0 )+s01 (aa0 ) = b0 s00 (aa0 )+s01 (aa0 )
Si a0 = b
kk
Si a0 = v1 vp
b0 [s00 (a a0 )]
" p1
#
X
= b0 [(av1 vi1 ) vi vi+1 vp ] (av1 vp1 ) vp 1
i=1
p1 p1
X X
= [(av1 vi ) (vi+1 vp )] + [(av1 vi1 ) (vi vp )]
i=1 i=1
(av1 vp ) 1 + (av1 vp1 ) vp = a (v1 v2 vp ) (av1 vp ) 1.
Entonces
s00 b0 = IdAV A :
s00 b0 (avb
k) = s00 (av b
k) s0 (avb
k) = s00 (avb
k) = avb
k1 = avb
k.
| {z } 0
0
86
Si a0 = v1 vp
p1
X
s00 b0 (a 0
v a ) = av v1 (v2 vp ) (avv1 vi1 ) vi
i=2
(vi+1 vp ) (avv1 vp1 ) vp 1 + a v a0 + av v1 (v2 vp ) +
p1
X
(avv1 vi1 )vi (vi+1 vp )+(avv1 vp1 )vp 1 = av a0 .
i=2
/AV b0 /AA /
0 A 0 (4.2)
/ A AAop Idb0 / /0
0 (A V A) A AAop (A A)
=
=
AV
b / A
donde
: A AAop (A V A) / AV
a AAop (a v a0 )
b / [b
a(a a0 )] v = (a0b
aa) v
tiene inversa
0 : AV / A AAop (A V A)
: A AAop (A A) / A
a AAop (a a0 )
b /b
a(a a0 ) = a0 b
aa
87
esta dada por
0 : A / A AAop (A A)
/ a0
a0 AAop (1 1)
y ademas
b: AV / A
av / av va.
Veamos que b = (Id b0 ), evaluando sobre los tensores elementales:
a AAop (a v a0 )] = b[(a0b
b [b aa) v] = a0b
aav va0b
aa
a AAop (a v a0 )] =
(1 b)[b (b a AAop [b0 (a v a0 )])
= [ba AAop (av a0 a va0 )]
= [ba AAop (av a0 ) b a AAop (a va0 )]
= a(av a0 ) b
b a(a va0 )
0 0
= ab aav va b aa.
Por lo tanto podemos calcular HH a partir del complejo
0 / AV
b / A / 0 (4.3)
En particular
op
HHn (T (V )) = T ornAA (A) = 0, n2
op
HH1 (T (V )) = T or1AA (A) = Nu(b)
op A
HH0 (T (V )) = T or0AA (A) = = Con
ucleo(b).
Im b
Analicemos el morfismo b en detalle.
Denotemos con la permutacion cclica sobre V n ,
(v1 vn ) = vn v1 vn1 .
Escribamos
A = k V V 2 V 3 V n
y
A V = (k V ) (V V ) (V 2 V ) (V 3 V ) (V n V ) .
88
Entonces tenemos
AV
b /A
|| ||
k
/0
kV kv
b V
V V v1 v / v1 v v v1 V 2
V 2 V (v1 v2 ) v / v1 v2 v v v1 v2 V 3
.. ..
. .
V n V (v1 v2 vn ) v / v1 v2 vn v v v1 vn V n+1
.. ..
. .
y
A M
V m .
HH0 (T (V )) = ucleo(Id ) = (T (V )) = k
= Con
Im b m1
Ya calculamos HH(T (V )), ahora calculemos HC(T (V )). Para esto tenemos
por el teorema (3.3.10) que existe una sucesion exacta larga:
/ B / HHn (A) I / S / B / /
HCn1 (A) HCn (A) HCn2 (A) HHn1 (A)
89
De ello se tiene:
HC2 (A) / HC0 (A) / HH1 (A) / HC1 (A) /0 / HH0 (A) / HC0 (A) /0
O
HH2 (A)
O
HC1 (A) o HC3 (A) o HH3 (A) o HC2 (A) o HC4 (A) o HH4 (A) o
por lo cual
HH0 (A)
= HC0 (A). (4.4)
Por (4.3) tenemos que HHn (A) = 0, n 2 y se obtiene:
HC2 (A) / HC0 (A) / HH1 (A) / HC1 (A) /0 / HH0 (A) / HC0 (A) /0
O
HH2 (A)
| {z }
0
O
/ S / B / I / /
0 HC2 (A) HC0 (A) HH1 (A) HC1 (A) 0
Por ser I es sobreyectiva y S inyectiva:
HC2 (A)
= Im S = Nu B
90
Para tener una descripcion concreta de HC1 (A) y HC2 (A) es necesario
entender en detalle el morfismo B : HH0 (A) HH1 (A), en particular su
Nucleo y Conucleo. En lo que resta del capitulo vamos a ver como expresarlos
en funcion de los grupos de homologa de G = Z/jZ con coeficientes en V j ,
j 1. Para esto tenemos el siguiente resultado.
j1
2X i
Afirmaci
on 4.1.0.1 (B )j = .
j i=0
w
/ Idb0 / A AAop /0
0 A AAop (A V A) (A A)
=
=
AV
b / A
/ A AO A
b / A O A
b / A / 0
?
0 / AV j
b /A / 0
B
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 )
92
reemplazando las ecuaciones (4.8) y (4.9), se tiene
j1 j1
!
X
i j 1
X
(v1 vj ) = (v1 vj + (v1 vj ) b(yj1 (v1 vj ))) + b yi (v1 vj )
i=0
2 i=0
j1
!
j X
= B(v1 vj ) + b(xv1 vj ) b(yj1 (v1 vj )) + b yi (v1 vj )
2 i=0
j
= B(v1 vj ) + b z(v1 vj )
2
Entonces :
j1
2X i
B(v1 vj ) = (v1 vj ) + b(z 0 v1 vj )
j i=0
lo cual concluye la prueba.
HH1 (A) T (V ) M (V j )
HC1 (A) = = =
Im B Im B j1
Im(1 + + 2 + + j1 )
HC2 (A)
M M
= k Nu(B )j = k { (V j ) /(1++ 2 + + j1 )() = 0}
j1 j1
(4.10)
Afirmaci
on 4.1.0.2
HC2n (A)
M
=k H2n (Z/jZ, V j )
j1
HC2n1 (A)
M
= H2n1 (Z/jZ, V j )
j1
C: / V j
N / V j
1 / V j
N / V j
1 / V j
(4.11)
93
donde
V j
H0 (G, M ) = = (V j )
Im(1 )
Nu(1 ) (V j )
H2n1 (G, M ) = H1 (G, M ) = = , n1
Im N Im(1 + + 2 + + j1 )
y
Nu(N )
H2n (G, M ) = H2 (G, M ) = , n 1.
Im(1 )
De (4.11) y la proposicion (1.3.7) se tiene la siguiente sucesion exacta:
/H j / (V j )
N / V j /
0 2 (G, V ) 0
por lo cual
H2 (G, M )
= Nu N = Nu(B )j = { (V j ) /(1++ 2 + + j1 )() = 0}.
De (4.10) se concluye:
M
HC2n (A) = k H2n (Z/jZ, V j ), n1
j1
M
HC2n1 (A) = H2n1 (Z/jZ, V j ), n 1.
j1
94
Captulo 5
Conclusiones:
95
Bibliografa
96