Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Observación. De las definiciones anteriores tenemos las secuencias exactas<br />
cortas<br />
0<br />
0<br />
<br />
CN∗(A)<br />
<br />
CN∗+2(A)<br />
<br />
CP∗(A)<br />
<br />
CN∗(A)<br />
<br />
CC∗−2(A)<br />
<br />
(C(A), b)<br />
las cuales proporcionan una secuencia exacta larga que relacionas sus homologías.<br />
1.3. Método de Cálculo<br />
Desarrollamos la teoría de la homología de Hochschild y cíclica para álgebras<br />
diferenciales graduadas. Este estudio nos lleva a conocer la homología<br />
cíclica y Hochschild para álgebras de la forma R/I, donde R es un anillo<br />
r.l.e.t.f. e I es un ideal de tipo interseción completa. Presentamos la definición<br />
de un álgebra diferencial graduada, y calculamos el primer módulo de diferenciales<br />
de Kähler graduado para álgebras de la forma ∧V, y R ⊗ ∧V donde<br />
V es un espacio vectorial graduado. Finalmente desarrollamos las herramientas<br />
necesarias para poder demostrar una versión graduada del Teorema de<br />
Hochschild Kostant Rosenberg, presentamos un bosquejo de la demostración<br />
de la descomposición de Hodge de la homología de Hochschild y cíclica. Esta<br />
decomposición se realiza de la siguiente manera : El complejo cíclico de R/I<br />
se reemplaza por el complejo cíclico de R ⊗ ∧(V ), que es el complejo cíclico<br />
de (T (R ⊗ ∧(V )), ∂, b, B). Este es quasiisomorfo a un complejo de la forma<br />
(ξ, δ, 0, β). El complejo cíclico y de Hochschild de este se descomponen en<br />
ciertos complejos ξ j<br />
j+k y ξj que son quasiisomorfos a Lj y Dj. De aquí se<br />
sigue que estos complejos calculan la homología cíclica y de hochschild del<br />
álgebra R/I.<br />
Observación. Recordemos que una k−álgebra diferencial graduada (A.D.G)<br />
se define como un álgebra graduada con un morfismo ∂ : An → An−1 que<br />
cumple la regla de Leibniz<br />
∂(ab) = ∂(a)b + (−1) |a| a∂(b)<br />
y es un diferencial, es decir ∂ ◦ ∂ = 0. Entre los ejemplos que nos interesa se<br />
encuentra el siguiente<br />
22<br />
<br />
0,<br />
<br />
0,