Skip to main content
improved TeX for MathJax; added 12 characters in body; deleted 17 characters in body; added 17 characters in body
Source Link
Daniel Moskovich
  • 22.1k
  • 15
  • 139
  • 216

One possible motivation for considering the triangles in 1. is that they induce long exact sequences 
$$ \cdots \rightarrow Hom_K(Z,C_f[-1]) \rightarrow Hom_K(Z,X) \rightarrow Hom_K(Z,Y) \rightarrow Hom_K(Z,C_f) \rightarrow \cdots $$$\cdots \rightarrow Hom_K(Z,C_f[-1]) \rightarrow Hom_K(Z,X) \rightarrow Hom_K(Z,Y)\rightarrow Hom_K(Z,C_f) \rightarrow \cdots$
and 
$$ \cdots \rightarrow Hom_K(C_f,Z) \rightarrow Hom_K(Y,Z) \rightarrow Hom_K(X,Z) \rightarrow Hom_K(C_f[-1],Z) \rightarrow \cdots $$$\cdots \rightarrow Hom_K(C_f,Z) \rightarrow Hom_K(Y,Z)\rightarrow Hom_K(X,Z) \rightarrow Hom_K(C_f[-1],Z) \rightarrow \cdots$
for any $Z$.

I think that the triangulated structure of $K(\mathcal{A})$ reflects (in some sense "up to homotopy") the abelian structure of $C(\mathcal{A})$. Indeed $K(\mathcal{A})$ is the stable category (see the book of D. Happel "Triangulated categories in the representation theory of finite dimensional algebras") associated with the abelian category $C(\mathcal{A})$.

One possible motivation for considering the triangles in 1. is that they induce long exact sequences $$ \cdots \rightarrow Hom_K(Z,C_f[-1]) \rightarrow Hom_K(Z,X) \rightarrow Hom_K(Z,Y) \rightarrow Hom_K(Z,C_f) \rightarrow \cdots $$ and $$ \cdots \rightarrow Hom_K(C_f,Z) \rightarrow Hom_K(Y,Z) \rightarrow Hom_K(X,Z) \rightarrow Hom_K(C_f[-1],Z) \rightarrow \cdots $$ for any $Z$.

I think that the triangulated structure of $K(\mathcal{A})$ reflects (in some sense "up to homotopy") the abelian structure of $C(\mathcal{A})$. Indeed $K(\mathcal{A})$ is the stable category (see the book of D. Happel "Triangulated categories in the representation theory of finite dimensional algebras") associated with the abelian category $C(\mathcal{A})$.

One possible motivation for considering the triangles in 1. is that they induce long exact sequences 
$\cdots \rightarrow Hom_K(Z,C_f[-1]) \rightarrow Hom_K(Z,X) \rightarrow Hom_K(Z,Y)\rightarrow Hom_K(Z,C_f) \rightarrow \cdots$
and 
$\cdots \rightarrow Hom_K(C_f,Z) \rightarrow Hom_K(Y,Z)\rightarrow Hom_K(X,Z) \rightarrow Hom_K(C_f[-1],Z) \rightarrow \cdots$
for any $Z$.

I think that the triangulated structure of $K(\mathcal{A})$ reflects (in some sense "up to homotopy") the abelian structure of $C(\mathcal{A})$. Indeed $K(\mathcal{A})$ is the stable category (see the book of D. Happel "Triangulated categories in the representation theory of finite dimensional algebras") associated with the abelian category $C(\mathcal{A})$.

Source Link
Yann Palu
  • 191
  • 1
  • 4

One possible motivation for considering the triangles in 1. is that they induce long exact sequences $$ \cdots \rightarrow Hom_K(Z,C_f[-1]) \rightarrow Hom_K(Z,X) \rightarrow Hom_K(Z,Y) \rightarrow Hom_K(Z,C_f) \rightarrow \cdots $$ and $$ \cdots \rightarrow Hom_K(C_f,Z) \rightarrow Hom_K(Y,Z) \rightarrow Hom_K(X,Z) \rightarrow Hom_K(C_f[-1],Z) \rightarrow \cdots $$ for any $Z$.

I think that the triangulated structure of $K(\mathcal{A})$ reflects (in some sense "up to homotopy") the abelian structure of $C(\mathcal{A})$. Indeed $K(\mathcal{A})$ is the stable category (see the book of D. Happel "Triangulated categories in the representation theory of finite dimensional algebras") associated with the abelian category $C(\mathcal{A})$.