A sufficient criterion for homotopy cartesianess
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.
This page was built for publication: A sufficient criterion for homotopy cartesianess
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q543497)
