Tilting theory via stable homotopy theory (Q1789360)

One of the main aims of tilting theory is to describe equivalences between the derived categories associated to some module categories. The classical approach consists in finding some good objects in the derived categories (called tilting complexes) and to study some derived functors induced by these complexes. Important contributions in this research area were obtained by \textit{D. Happel} [Comment. Math. Helv. 62, 339--389 (1987; Zbl 0626.16008)], \textit{J. Rickard} [J. Lond. Math. Soc., II. Ser. 39, No. 3, 436--456 (1989; Zbl 0642.16034)] and \textit{B. Keller} [Ann. Sci. Éc. Norm. Supér. (4) 27, No. 1, 63--102 (1994; Zbl 0799.18007)]. In the present paper, the authors propose the study of derived equivalences using as a main tool the formal calculus realized in the context of stable derivators. It is proved, especially in the case of path-algebras associated to quivers, that many results from tilting theory are consequences of the above mentioned formal calculus. Moreover, it is proved that ``quite some classical examples of derived equivalent quivers/categories are in fact pairs of strongly stably equivalent quivers/categories''. Here, two quivers are strongly stable equivalent if there are pseudo-natural equivalences of stable derivators induced by these quivers. The main properties of strongly stable equivalences are presented in Section 5. Then the authors study the abstract tilting theory for Dynkin quivers of type \(\mathbf{A}\) (Section 6), and for trees with a unique branching point (Section 7). The techniques described in these sections and in Section 8 are used to develop an abstract representation theory of the square, the trivalent source, and the trivalent sink. For instance, it is proved that the source of valence three, the sink of valence three, and the commutative square, i.e. to develop an abstract are strongly stably equivalent (Theorem 9.1), and generalizations of certain classically functors (Serre functors and Auslander-Reiten translations) to the context of an arbitrary stable derivator are introduced (Subsection 9.2). As a final application, the authors present some points of view on May's axioms for monoidal, triangulated categories (Section 10). The paper is well written, and many illuminating examples, explanations and correspondences to the corresponding classical theories are presented.