A Estructura Exacta 1

A Estructura Exacta

En esta sección, estudiaremos una estructura exacta sobre la categorı́a C(A ), la

cual resultará ser una categorı́a de Frobenius al ser acompañada de la estructura
exacta.
Sea F : A → B un funtor. Un subfuntor de F es un funtor G : A → B
tal que G(A) ,→ F (A) para cada objeto A en A y si f : A → A0 es un morfismo
en A , entonces
 / F (A)
G(A)
G(f ) F (f )
 
 / F (A0 )
G(A0 )
es un diagrama conmutativo.
Definición A.1. Sea A una categorı́a abeliana. Una estructura exacta E para
C(A ) es un subfuntor de Ext que es cerrado bajo productos fibrados y sumas
fibradas.
Ahora, consideremos el subconjunto Ext C(A ) (B • , A• ) de ExtC(A ) (B • , A• )
que consiste de todas las sucesiones exactas

0 −→ A• −→ E • −→ B • −→ 0

que son localmente triviales, es decir, para cada n ∈ Z se tiene que la sucesión

0 −→ An −→ E n −→ B n −→ 0

se divide.
Lema A.1. Sea A una categorı́a abeliana. Una sucesión exacta
f g
E : 0 −→ A −→ E −→ B −→ 0

se divide si y sólo si f es una sección.

Demostración. Supongamos que E se divide, entonces existe s : B → E tal que
gs = idB , entonces

(id0A )
0 /A / A ⊕ B(0,idB ) /B /0

 (f,s)

0 /A /Eo
g
/B /0
f s

es un diagrama conmutativo. Por el Lema
del 5, sabemos que (f, s) es un

isomorfismo, entonces existe un morfismo hh12 : E → A ⊕ B tal que
     
h1 f h1 s h1 idA 0
= (f, s) = idA⊕B =
h2 f h2 s h2 0 idB
2

de donde obtenemos el morfismo h1 : E → A que satisface h1 f = idA .

Recı́procamente, supongamos que f es una sección, entonces existe un mor-
fismo r : E → A tal que rf = idA . Ası́, vemos que el siguiente diagrama es
conmutativo
0 /Ao
f
/E g
/B /0
r 
 r
 (g)
0 /A / A⊕B /B /0
(id0A ) (0,idB )

Por el Lema del 5, sabemos que gr es un isomorfismo por lo que existe un

morfismo (h1 , h2 ) : A ⊕ B → E tal que

     
rh1 rh2 r idA 0
= (h1 , h2 ) = idA⊕B =
gh1 gh2 g 0 idB
de donde obtenemos el morfismo h2 : B → E que satisface gh2 = idB .
Veamos que Ext C(A ) (B • , A• ) es una estructura exacta para C(A ): sean
f• g•
0 −→ A• −→ E • −→ B • −→ 0

una sucesión exacta localmente trivial y h• = hhn i : A• → C • un morfismo de

complejos, entonces tenemos el siguiente diagrama conmutativo con renglones
exactos
• •

0 / A• f / E • g / B • /0

h• p•
 
0 / C• /Q / B• /0
q• η•

Sea n ∈ Z, entonces g n es una retracción por lo que existe un morfismo sn :

B n → E n tal que g n sn = idB n y si consideramos el morfismo pn rn : B n → Qn
vemos que η n (pn rn ) = g n rn = idB n por lo que η n es una retracción.
Ahora, supongamos que h• = hhn i : C • → B • es un morfismo de complejos
y consideremos el siguiente diagrama

κ• q•
0 / A• / Q• / C• /0

p• h•
 
0 / A• / E• / B• /0
f• g•

fn gn
Sea n ∈ Z, entonces la sucesión 0 −→ An −→ E n −→ B n −→ 0 es trivial
y por el Lema A.1, sabemos que existe un morfismo rn : E n → An tal que
rn f n = idAn ; si consideramos el morfismo rn pn : Qn → An podemos ver que

(rn pn )κn = rn f n = idAn

A Estructura Exacta 3

por lo que κn es una sección. Nuevamente, aplicamos el Lema A.1 para concluir
κn qn
que la sucesión 0 −→ An −→ Qn −→ C n −→ 0 es trivial.
Ahora, veamos que Ext es un subfuntor de Ext: sean f • = hf n i : A• → C •
y g = hg n i : C • → D• dos morfismos de complejos y tomemos una extensión
•

E : 0 −→ A• −→ E • −→ B • −→ 0, entonces el siguiente diagama conmuta

0 / A• / E• / B• /0

f•
 
0 / C• / P• / B• /0

g•
 
0 / D• / Q• / B• /0

por lo que
0 / A• / E• / B• /0

g• f •
 
0 / D• / Q• / B• /0
también es conmutativo. Ası́, tenemos que el siguiente diagrama es conmutativo

Ext C(A ) (B • , A• )  / ExtC(A ) (B • , A• )

ExtC(A ) (idB • ,f • )
  
Ext C(A ) (B • , C • )  / ExtC(A ) (B • , C • ) ExtC(A ) (idB • ,g • f • )

ExtC(A ) (idB • ,g • )
&    x
Ext C(A ) (B • , D• )  / ExtC(A ) (B • , D• )

Por otro lado, si suponemos que f • = hf n i : C • → B • y g • = hg n i : D• → C •

son dos morfismos de complejos, entonces
0 / A• / Q• / D• /0

g•
 
0 / A• / P• / C• /0

f•
 
0 / A• / E• / B• /0

es un diagrama conmutativo y ası́, vemos que

0 / A• / Q• / D• /0

g• f •
 
0 / A• / E• / B• /0
4

también es un diagrama conmutativo. Por tanto, tenemos el siguiente diagrama

conmutativo

Ext C(A ) (B • , A• )  / ExtC(A ) (B • , A• )

ExtC(A ) (f • ,idB • )
  
Ext C(A ) (C • , A• )  / ExtC(A ) (C • , A• ) ExtC(A ) (g • f • ,idA• )

ExtC(A ) (g • ,idB • )
&    x
Ext C(A ) (D• , A• )  / ExtC(A ) (D• , A• )

de donde concluimos que Ext es un subbifuntor de Ext. En adelante, consider-

aremos a la categorı́a C(A ) con la estructura exacta Ext y la denotaremos por
E.
Definición A.2. Decimos que P • es E-proyectivo si Ext C(A ) (P • , A• ) = 0 para
todo complejo A• en A .
Proposición A.2. Un complejo P • en A es E-proyectivo si y sólo si el funtor
HomA (P • , ·) es exacto en E.
Demostración. Supongamos que P • es E-proyectivo y sea
f• g•
0 −→ A• −→ E • −→ B • −→ 0
una E-sucesión exacta. Sabemos que HomC(A ) es un funtor exacto izquierdo
por lo que
0 −→ HomC(A ) (P • , A• ) −→ HomC(A ) (P • , E • ) −→ HomC(A ) (P • , B • )
es exacta; sea h• = hhn i : P • → B • un morfismo de complejos, entonces tenemos
el siguiente diagrama conmutativo con renglones exactos
q•
0 / A• / Q• / P• /0

p• h•
 
0 / A• / E• / B• /0
f• g•

y sabemos que la sucesión exacta

q•
E : 0 −→ A• −→ Q• −→ P • −→ 0
es localmente trivial por lo que E ∈ Ext C(A ) (P • , A• ) = 0. Ası́, vemos que
existe un morfismo de complejos s• = hsn i : P • → Q• tal que q • s• = idP • ;
luego, consideramos el morfismo p• s• = hp• sn i : P • → E • y notamos que
HomC(A ) (idP • , g • ) (p• s• ) = g • (p• s• ) = h• q • s•
= h• idP • = h•
A Estructura Exacta 5

de donde concluimos que HomC(A ) (P • , E • ) → HomC(A ) (P • , B • ) es un epi-

morfismo de grupos abelianos.
Ahora, supongamos que HomC(A ) (P • , ·) es E-exacto y consideremos una
E-extensión de A• por P • , digamos
f• g•
E : 0 −→ A• −→ E • −→ P • −→ 0,

entonces

0 −→ HomC(A ) (P • , A• ) −→ HomC(A ) (P • , E • ) −→ HomC(A ) (P • , P • ) −→ 0

es una sucesión exacta de grupos abelianos por lo que el homomorfismo de grupos

abelianos HomC(A ) (P • , E • ) → HomC(A ) (P • , P • ) es una función suprayectiva.
Como idP • ∈ HomC(A ) (P • , P • ), entonces existe γ • ∈ HomC(A ) (P • , E • ) tal
que
g • γ • = HomC(A ) (idP • , g • ) (γ • ) = idP •
de donde observamos que E = 0.
Teorema A.3. Si A• es un complejo en A , entonces J(A• ) es un complejo
E-proyectivo.
f• g•
Demostración. Sea E : 0 −→ B • −→ E • −→ C • −→ 0 una E-sucesión exacta.
Por la E-exactitud izquierda de HomC(A ) tenemos que

0 −→ HomC(A ) (J(hAn i), B • ) −→ HomC(A ) (J(hAn i), E • )

−→ HomC(A ) (J(hAn i), C • )

es una sucesión exacta de grupos abelianos; como J es adjunto izquierdo de
[−1], entonces

0 −→ Homgr(A ) (hAn i , B • [−1]) −→ Homgr(A ) (hAn i , E • [−1])

−→ Homgr(A ) (hAn i , C • [−1])

es una sucesión exacta de grupos abelianos. Ahora, consideremos un morfismo
hhn i : hAn i → C • [−1] en gr(A ) y sea n ∈ Z, entonces tenemos el siguiente
diagrama conmutativo

An
n−1 n
s h
hn
z g n−1 
0 / B n−1 / E n−1 o_ _ _/ C n−1 /0
f n−1 n−1
s

donde el morfismo sn−1 : C n−1 → E n−1 lo obtenemos aplicando la hipótesis de

que E es localmente trivial por lo que tenemos g n−1 sn−1 = idC n−1 . Ası́, es claro
que
Homgr(A ) idhAn i , hg n i [−1] ( sn−1 hn ) = hhn i



6

de donde concluimos que

Homgr(A ) (hAn i , E • [−1]) → Homgr(A ) (hAn i , C • [−1])

es un epimorfismo de grupos abelianos. Por tanto, la sucesión

0 −→ Homgr(A ) (hAn i , B • [−1]) −→ Homgr(A ) (hAn i , E • [−1])

−→ Homgr(A ) (hAn i , C • [−1]) −→ 0

es exacta ası́ como la E-sucesión

0 −→ HomC(A ) (J(hAn i), B • ) −→ HomC(A ) (J(hAn i), E • )

−→ HomC(A ) (J(hAn i), C • ) −→ 0

con lo que acabamos la prueba.
Veamos ahora que J también es adjunto derecho de [−1].
Teorema A.4. Sean hAn i un objeto en gr(A ) y B • un complejo en A , en-
tonces HomC(A ) (B • , J(hAn i)) ' Homgr(A ) (B • , hAn i).
n

Demostración. Supongamos que ghn+1 : B • → J(A• ) es un morfismo de com-
plejos, entonces para cada n ∈ Z tenemos el siguiente diagrama conmutativo
dn
Bn
B
/ B n+1
hn n+1
(gn+1 ) (hgn+2 )
 
An ⊕ An+1 / An+1 ⊕ An+2
dn
J(A)

de donde obtenemos la siguiente relación

 n+1 n   n+1     n   n+1 
h dB h n 0 idAn+1 h g
= d = =
g n+2 dnB g n+2 B 0 0 g n+1 0
De este modo, podemos ver que la sucesión de morfismos hg n : n ∈ Zi está de-
terminada por la sucesión hhn : n ∈ Zi y las diferenciales del complejo B • . Sea

τ : HomC(A ) (B • , J(hAn i)) → Homgr(A ) (B • , hAn i)

n

la asignación ghn+1 7→ hhn : n ∈ Zi y supongamos que f • = hf n i : C • → B • ,
entonces
 n 
n

h n

n
Homgr(A ) hf i , idhA i τ
n = Hom gr(A ) hf i , idhA n i (hh i)
g n+1
= hhn f n i
 n n 
h f
= τ
g n+1 f n
= τ HomC(A ) f • , idJ(A• )


A Estructura Exacta 7

de donde concluimos que τ es una transformación natural. Ahora, definimos

τ 0 : Homgr(A ) (B • , A• ) → HomC(A ) (B • , J(A• ))

D
E
hn
por hhn : n ∈ Zi 7→ hn dn−1 y consideremos el diagrama conmutativo
B

dn−1
C n−1
C
/ Cn

f n−1 fn
 
B n−1 / Bn
dn−1
B

entonces podemos ver que

hn
 
HomC(A ) f • , idJ(A) τ 0 (hhn i) HomC(A ) f • , idJ(A)



=
h dn−1
n
B
hn f n
 
=
hn dn−1
B f
n−1

hn f n
 
=
hn f n dn−1
C
= τ 0 (hhn f n i)
τ 0 Homgr(A ) hf n i , idhAn i (hhn i)


=

por lo que τ 0 es una transformación natural.n Es
claro que τ 0 = τ −1 ya que los
morfismos B • → J(A• ) son de la forma hnhdn−1 .
B

Corolario A.5. Si A es un complejo en A , entonces J(A• ) es E-inyectivo en

•

C(A ).
f• g•
Demostración. Supongamos que 0 −→ B • −→ E • −→ C • −→ 0 es una E-
sucesión exacta, entonces

0 −→ HomC(A ) (C • , J(A• )) −→ HomC(A ) (E • , J(A• ))

−→ HomC(A ) (B • , J(A• ))
es una sucesión excta de grupos abelianos por lo que

0 −→ Homgr(A ) (C • , A• ) −→ Homgr(A ) (E • , A• )

−→ Homgr(A ) (B • , A• )
también es exacta. Sean hhn i : hB n i → hAn i y n ∈ Z; como la sucesión

fn gn
0 −→ B n −→ E n −→ C n −→ 0
8

es trivial, entonces existe un morfismo rn : E n → B n tal que rn f n = idB n y si

tomamos hn rn : E n → An podemos ver que

Homgr(A ) hf n i , idhAn i (hhn rn i) = hhn rn f n i

= hhn i

de donde concluimos que

Homgr(A ) (E • , A• ) −→ Homgr(A ) (B • , A• )

es un epimorfismo de grupos abelianos. Ası́, vemos que

0 −→ Homgr(A ) (C • , A• ) −→ Homgr(A ) (E • , A• )

−→ Homgr(A ) (B • , A• ) −→ 0
es exacta por lo que

0 −→ HomC(A ) (C • , J(A• )) −→ HomC(A ) (E • , J(A• ))

−→ HomC(A ) (B • , J(A• )) −→ 0
es exacta. Por tanto, J(A• ) es un objeto E-inyectivo.

Lema A.6. Para cada complejo A• la sucesión

0 −→ A• [−1] −→ J(A• [−1]) −→ A• −→ 0

es E-exacta.

Demostración.
D Consideremos
E las siguientes dos sucesiones de morfismos en A :
idAn−1

•
y η = hη n i = (dn−1
•
n


κ = hκ i = −dn−1 A , idAn ) . Es claro que
A

−dn−1
      
0 idAn idAn−1 idAn
= A
= (−dn−1
A )
0 0 −dn−1
A 0 −dnA
y  
0 idAn
dnA (dn−1
A , idAn ) = (0, dnA ) = (dnA , idAn+1 )
0 0
para cada n ∈ Z de donde concluimos que el siguiente es un diagrama conmu-
tativo
κn / ηn
An−1 An−1 ⊕ An / An

−dn−1 dn
J(A[−1]) dn
A
A
  
An / An ⊕ An+1 / An+1
n+1 n+1
κ η
A Estructura Exacta 9

• n • n
Ahora,
D Econsideremos las sucesiónes s = hs i = h(idAn−1 , 0)i y r = hr i =
0


idAn ; podemos ver que
 
n n idAn−1
s κ = (idAn−1 , 0) = idAn−1 ,
−dn−1
 A 
0
η n rn = (dn−1
A , idAn ) = idAn
idAn
de donde concluimos que κ• es localmente un monomorfismo y η • es localmente
un epimorfismo; como ya sabemos, esto implica que κ• es un monomorfismo de
complejos y η • es un epimorfismo de complejos. Además, es claro que
 
idAn−1
η n κn = (dn−1 , id An ) = dn−1 − dn−1
A
−dn−1
A
A A

para cada n ∈ Z. Para ver que κ• es el núcleo de η • basta ver que cada morfismo
h• con η • h• = 0 se factoriza a través de κ• ya que, de existir, la factorización
será única. Supongamos que
 n−1 
g
ϕ• = : D• → J(A• [−1])
hn
es un morfismo de complejos tal que η • ϕ• = 0, entonces
dn
Dn
D
/ Dn+1
n−1 gn
(g hn ) (hn+1 )
 
An−1 ⊕ An /A
n ⊕ An+1

0 idAn 
0 0

es un diagrama conmutativo y
 n−1   n−1 
g n−1 g
0 = ηn = (dA , idA n ) = dn−1
A g
n−1
+ hn
hn hn
n−1 n−1
para cada n ∈ Z por lo que hn = −dA g ; de la conmutatividad del diagrama
anterior obtenemos las relaciones
hn = g n dnD y 0 = hn+1 dnD
de donde se deduce la relación
(−dn−1
A )g
n−1
= g n dnD
por lo que
dn
Dn
D
/ Dn+1

g n−1 gn
 
An−1 / An
dn−1
A
10

es un diagrama conmutativo para cada n ∈ Z, es decir, la sucesión de morfismos

g • [−1] = g n−1 : D• → A• [−1] es un morfismo de complejos. Ahora, podemos

ver que

g n−1
     n−1 
n n−1 idAn−1 n−1 g
κ g = n−1 g = n−1 n−1 = = ϕn
−dA −dA g hn

para cada n ∈ Z por lo que ϕ• se factoriza a través de κ• .

Proposición A.7. La categorı́a (C(A ), E) tiene suficientes inyectivos.
Demostración. Es claro que si A• es un complejo en A , entonces podemos
escribir A• = A• [1][−1]; sea B • = A• [1], entonces tenemos la siguiente sucesión

0 −→ B • [−1] −→ J(B • [−1]) −→ B • −→ 0

de donde obtenemos la sucesión exacta

0 −→ A• −→ J(A• ) −→ A• [1] −→ 0.

Por el Corolario A.5 sabemos que J(A• ) es un complejo E-inyectivo y como

A• → J(A• ) es un monomorfismo, entonces la categorı́a (C(A ), E) tiene sufi-
cientes inyectivos.
Decimos que una categorı́a es de Frobenius si la familia de objetos proyec-
tivos es igual que la familia de objetos inyectivos.
Corolario A.8. La categorı́a (C(A ), E) es una categorı́a de Frobenius.
Demostración. Sea P • un complejo E-proyectivo y consideremos la siguiente
E-sucesión exacta

E : 0 −→ P • [−1] −→ J(P • [−1]) −→ P • −→ 0;

como E es una extensión de P • [−1] por P • , el cual es E-proyectivo, entonces

E es trivial por lo que P • es un sumando directo de J(P • [−1]), el cual es un
complejo E-inyectivo. Ası́, concluimos que P • también debe ser un complejo
E-inyectivo.
Ahora, supongamos que I • es un complejo en A que es E-inyectivo, entonces
tenemos la siguiente sucesión exacta

F : 0 −→ I • −→ J(I • ) −→ I • [1] −→ 0;

como F es una E-extensión de el complejo E-inyectivo I • por I • [−1], entonces

F es trivial de donde obtenemos que I • es un sumando directo de J(I • ), el cual
es E-proyectivo. Por tanto, I • debe ser un complejo E-proyectivo de A .
Ahora, sean A• y B • dos complejos en A ; ya sabemos que existe una E-
sucesión exacta de la forma

E : 0 −→ A• [−1] −→ J(A• [−1]) −→ A• −→ 0.

A Estructura Exacta 11

Estableceremos la siguiente sucesión exacta de grupos abelianos:

0 −→ HomC(A ) (A• , B • ) −→ HomC(A ) (J(A• [−1]), B • )

χ •
−→ HomC(A ) (A• [−1], B • ) −→
B
Ext C(A ) (A• , B • ) −→ 0
donde
χB • : HomC(A ) (A• [−1], B • ) −→ Ext C(A ) (A• , B • )
lo definimos por χB • (f • ) = Ef • mediante el siguiente diagrama conmutativo
con renglones exactos

E: 0 / A• [−1] / J(A• [−1]) / A• /0

f•
 
Ef • : 0 / B• / E• / A• /0

Sabemos que χB • : HomC(A ) (A• [−1], B • ) −→ Ext (A• , B • ) es un homo-

morfismo de grupos abelianos; como E es una E-sucesión exacta y E es una
estructura exacta para C(A ), vemos que Ef • también es una E-sucesión exacta
por lo que Ef • ∈ Ext C(A ) (A• , B • ). Ahora, consideremos una E-extensión de
B • por A• , digamos

F : 0 −→ B • −→ E • −→ A• −→ 0,

entonces tenemos el siguiente diagrama con renglones E-exactos

0 / A• [−1] / J(A• [−1]) / A• /0

0 / B• / E• / A• /0

Como J(A• [−1]) es E-proyectivo y E • → A• es un epimorfismo localmente

trivial, entonces existe un morfismo J(A• [−1]) → E • que hace conmutar el
siguiente diagrama

0 / A• [−1] / J(A• [−1]) / A• /0




0 / B• / E• / A• /0

Como B • → E • es el núcleo de E • → A• , entonces existe un único morfismo

h• : A• [−1] → B • tal que

0 / A• [−1] / J(A• [−1]) / A• /0

h•
 
0 / B• / E• / A• /0
12

es un diagrama conmutativo, de donde concluimos que F = χB • (h• ). Por tanto,

podemos restringir el codominio del homomorfismo de grupos χB • sobre la es-
tructura Ext C(A ) (A• , B • ). De este modo, hemos llegado al siguiente resultado.
Teorema A.9. Sean A• y B • dos complejos en A , entonces

Ext C(A ) (A• , B • ) ' HomK (A• [−1], B • ),

donde HomK (A• [−1], B • ) son los morfismos A• [−1] → B • que se factorizan a
través de un E-proyectivo.
Demostración. Por lo anterior, sabemos que

Ext C(A ) (A• , B • ) ' HomC(A ) (A

•
[−1],B • )/HomC(A ) (J(A• [−1]),B • )

ası́, basta ver que si un morfismo f • : A• [−1] → B • se factoriza a través de un

E-proyectivo, entonces también se factoriza a través de J(A• [−1]) ya que éste
último es E-proyectivo. En efecto, supongamos que f • se factoriza a través de
un E-proyectivo, digamos

f•
A• [−1] / B•
GG
GG | |=
GG ||
q•
GG
G# ||| p•
|
P•
entonces tenemos el siguiente diagrama
•
0 / A• [−1] σ / J(A• [−1])
MMM •
MMqM
f• MMM
 MM&
B• o • P•
p

y como J(A• [−1]) es E-inyectivo, entonces existe un morfismo γ • : J(A• [−1]) →

P • tal que γ • σ • = q • ; luego, podemos ver que

f • = p• q • = (p• γ • )σ •

por lo que f • se factoriza a través de J(A• [−1]).

Definición A.3. Decimos que un morfismo
de complejos f • = hf n i : A• → B •
: hA i → B • [−1] en gr(A )
n−1
 n
es nulhomotópico si existe un morfismo h
tal que
f n = dn−1
B h
n−1
+ hn dnA .
Dos morfismos f • = hf n i : A• → B • y g • = hg n i : A• → B • son homotópicos
si f • − g • es nulhomotópico.
Teorema A.10. Un morfismo de complejos f • = hf n i : A• → B • se factoriza
a través de un objeto E-inyectivo-proyectivo si y sólo si es nulhomotópico.
A Estructura Exacta 13

Demostración. Supongamos que f • se factoriza a través de un complejo P • que

es E-inyectivo-proyectivo , entonces tenemos el siguiente diagrama conmutativo
ϕ•
A• J / P•
JJ
JJ
JJ φ•
f • JJJ
% 
0 / B • [−1] / J(B • [−1]) / B• /0
κ•
B
•
ηB

Como P • es E-proyectivo y la sucesión

0 −→ B • [−1] −→ J(B • [−1]) −→ B • −→ 0

es E-exacta, entonces existe un morfismo de complejos γ • : P • → J(B • [−1]) tal

• •
que ηB γ = φ• de donde podemos concluir que

f • = ηB
•
(γ • ϕ• ).
D n−1
E
Supongamos que γ • ϕ• = hgn : n ∈ Z , entonces para cada n ∈ Z tenemos
el siguiente diagrama conmutativo
dn
An
A
/ An+1
n−1 hn
(h gn ) (gn+1 )
 
B n−1 ⊕ Bn /Bn ⊕ B n+1

0 idB n 
0 0

por lo que g n = hn dnA ; también, para cada n ∈ Z tenemos el siguiente diagrama

conmutativo
fn
An KK / n
KKK s9B
s
KKK
s sss
sn−1
KK s
hn−1
(hn dnA ) % ss (dB ,idBn )
B n−1 ⊕ B n
de donde concluimos que
hn−1
 
n
f = (dn−1
B , idB n ) = dn−1
B h
n−1
+ hn dnA .
hn dnA
Si tomamos h• [−1] : A• → B • [−1] en gr(A ), podemos ver que f • es nulho-
motópico.
Ahora,
supongamos que f • es nulhomotópico, entonces existe un morfismo
•
: A → B • [−1] en gr(A ) tal que f n = dn−1
•
n−1
 n−1
h [−1] = h B h + hn dnA .
Consideremos la sucesión
 n−1 
h
: A• → J(B • [−1]),
hn dnA
14

entonces para cada n ∈ Z tenemos el siguiente diagrama conmutativo

dn
An
A
/ An+1
n−1 n
(hhn dnA ) (hn+1h dn+1 )
  A

B n−1 ⊕ Bn /B
n ⊕ B n+1

0 idB n 
0 0
D
E
hn−1
por lo que ϕ• = hn dn es un morfismo de complejos; además, es claro que
A

f•
A• / B•

ϕ•

J(B • [−1]) / B•
•
ηB

es un diagrama conmutativo. Como J(B • [−1]) es un complejos E-inyectivo-

proyectivo , terminamos la prueba.

Definición A.4. Consideremos la familia de objetos Ob C(A ) y para dos ob-

jetos A• y B • en C(A ) definimos HomC(A ) (A• , B • ) como el grupo abeliano
cociente de HomC(A ) (A• , B • ) y el ideal generado por los morfismos que se fac-
torizan a través de un complejo E-proyectivo. A la categorı́a que resulta de esto
se le llama la categorı́a estable de complejos en A y la denotamos por C(A ).

Definición A.5. Consideremos la familia de complejos en A y para dos comple-

jos A• y B • definimos HomK(A ) (A• , B • ) como el cociente de HomC(A ) (A• , B • )
entre el ideal generado por los morfismos nulhomotópicos. A esta categorı́a se
le llama la categorı́a homotópica en A y la denotamos por K(A ).
Corolario A.11. C(A ) = K(A ).