A sufficient criterion for homotopy cartesianess (Q543497): Difference between revisions

In an abelian category a commutative square is called cartesian if the vertical morphisms induce an isomorphism between the kernels of the horizontal morphisms and an isomorphism between the cokernels of the horizontal morphisms. For triangulated categories we may consider commutative squares and complete to a triangle. A square is called homotopy cartesian if the three-term sequence given by the left corner to the sum of the upper right and lower left corner to the lower right corner fits into a triangle. The fact that the square is commutative induce a non unique morphism \(\alpha\) between the cones of the horizontal morphisms. The question is now if the nature of \(\alpha\) can imply that the square is homotopy cartesian. The main result of the paper shows that if \(\alpha\) is an isomorphism and some finiteness condition on endomorphism rings of certain objects in the square holds, then the square is homotopy cartesian. The authors give an example where \(\alpha\) is an isomorphism, the finiteness condition does not hold, and the square is not homotopy cartesian.