Welcome to MathOverflow

Question

1

Set the framework to be a triangulated category with all set indexed coproducts. In "Relative Homological Algebra and Purity in Triangulated Categories", J. of Algebra 227, (2000), pp. 268- 361, (available at the author home page: http://www.math.uoi.gr/~abeligia/) Apostolos Beligiannis said that the homotopy colimit of a diagram of towers whose terms are triangles is also a triangle, provided that the triangulated category has a model; he gives also a reference, namely the Hovey's book: M. Hovey, "Model Categories", Mathematical Surveys and Monographs 63, AMS, Providence, RI, 1999. My problem is that the reference is not precise, and I do not know too much about model categories. Thus my questions are the following: Why is it true that in a triagulated categories with a model, the homotopy colimit of a tower of triangles is a triangle? Where can I find this result in Hovey's book? Finally what about the dual, namely under what extent is it true that the the homotopy limit of a tower of triangles is a triangle?

flag	asked Oct 22 at 19:48 George C. Modoi 267●1●7

2

First of all, let me remark that, strictly speaking, the statement is ambiguous since there is no homotopy (co)limit functor in triangulated category. The problem is that there's no way to get canonical induced morphisms. You should perhapes make your question precise. Anyway, I understand what you mean, and I bet you won't find such statements explicitly. They can be proved with model categories techniques, but nobody has cared to do it explicitly since once you know the language the proof is trivial. – Fernando Muro Oct 22 at 21:15

1

There's however a precise theorem which might be enough for you. It asserts in a precise way what you mean and only requires the triangulated category to be the base of a triangulated derivator. It's in one of the appendices of the following paper by Keller-Nicolás arxiv.org/abs/1009.5904 – Fernando Muro Oct 22 at 21:19

Thanks for comments and especially for the reference! – George C. Modoi Oct 23 at 15:12

The homotopy colimit of a tower of triangles

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Your Answer

Browse other questions tagged triangulated-categories homotopy-theory at.algebraic-topology or ask your own question.

Welcome to MathOverflow

How to write math

The homotopy colimit of a tower of triangles

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.