11.08.2013 Views

PhD Thesis

PhD Thesis

PhD Thesis

SHOW MORE
SHOW LESS

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,

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!