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.

Prueba. Notemos que Ω 1 A tiene una estructura de A módulo, pues Ω1 A0 y<br />

Ω 1 ∧V tienen estructura de A0 y ∧V módulos respectivamente, donde Ω 1 A0<br />

tiene grado uno. Ahora definamos la siguiente aplicación d : A −→ Ω 1 A como<br />

d(a ⊗ v) = da ⊗ v + a ⊗ dv.Veamos que d sea una derivación. En efecto, de<br />

las igualdades<br />

d(a ⊗ v · b ⊗ w) = dDR(ab) ⊗ vw + ab ⊗ dDR(vw) =<br />

d(a)b ⊗ vw + ad(b) ⊗ vw + ab ⊗ d(v)w + (−1) |v| ab ⊗ vd(w) =<br />

d(a)⊗v·b⊗w+a⊗d(v)·b⊗w+(−1) |v| a⊗v·d(b)⊗w+(−1) |v| a⊗v·b⊗d(w) =<br />

d(a ⊗ v) · b ⊗ w + (−1) |v| a ⊗ v · d(b ⊗ w);<br />

tenemos que d es una derivación según se define en [Vi]. A continuación<br />

veremos que d cumple la propiedad universal. En el diagrama<br />

A0<br />

<br />

D<br />

A<br />

<br />

id⊗1 <br />

<br />

<br />

<br />

<br />

<br />

<br />

<br />

<br />

d <br />

<br />

<br />

d <br />

<br />

Ω1 <br />

<br />

<br />

<br />

<br />

∃!f<br />

<br />

1<br />

A0 Ω<br />

id⊗1 A<br />

claramente A0 ↩→ A y Ω1 A0 ↩→ Ω1A (pues k es un cuerpo). Es decir D induce<br />

una derivación d1 = D ◦ (id ⊗ 1) sobre A0 y por la propiedad universal<br />

existe una única aplicación f1 : Ω1 −→ M. El mismo análisis para ∧V nos<br />

A0<br />

proporciona f2 : Ω1 ∧V −→ M. Definamos f : Ω1A −→ M como f(adb ⊗ v) =<br />

f1(bda)v, f(a ⊗ dv) = af2(v), y como f(d(a) ⊗ v + a ⊗ d(v)) = f1d(a)v +<br />

af2d(v) = D(a ⊗ 1)v + aD(1 ⊗ v) = D(a ⊗ v), el diagrama<br />

A <br />

<br />

d <br />

D <br />

Ω1 <br />

<br />

<br />

<br />

<br />

∃!f<br />

A<br />

conmuta. La unicidad se sigue del hecho que f restricto a cada uno de los<br />

sumandos es único por la propiedad universal de ΩA0 y Ω 1 ∧V respectivamente.<br />

M<br />

Lema 1.94. En ∧V ⊗ ∧V ⊗ ∧V existe un diferencial<br />

M<br />

δ : ∧V ⊗ ∧ p V ⊗ ∧V −→ ∧V ⊗ ∧ p−1 V ⊗ ∧V,<br />

37

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

Saved successfully!

Ooh no, something went wrong!