Tilting theory for trees via stable homotopy theory (Q908330): Difference between revisions

This paper is a sequel of a previous work [``Tilting theory via stable homotopy theory'', J. Reine Angew. Math. (2015), to appear. Available at \url{arXiv:1401.6451}, 2014] as part of a formal study of stability. Roughly speaking, a quiver \(Q\) is an oriented graph. If \(k\) is a field then the quiver-algebra or path-algebra \(kQ\) is defined as a vector space having all the paths as basis and multiplication given by concatenation of paths. Tilting theory for quivers thus amounts to searching for conditions on quivers \(Q,Q'\) which imply that there are inverse exact equivalences of derived categories \(D(kQ)\rightleftarrows D(kQ').\) A derivator is some kind of a minimal extension of a classical derived category or homotopy category to a framework with a powerful calculus of homotopy (co)limits and also homotopy Kan extensions. A derivator is stable if it admits a zero object and if homotopy pushouts and homotopy pullbacks coincide. Stable derivators provide an enhancement of triangulated categories. Given a derivator \(\mathcal{D}\) and a small category \(B\), the shifting construction, \(\mathcal{D}^B\), provides a derivator which is stable as soon as \(\mathcal{D}\) is. In particular, for the stable derivator of a field \(k\), \(\mathcal{D}_k\), the shifted derivator \(\mathcal{D}_k^Q\) is equivalent to the stable derivator \(\mathcal{D}_{kQ}\) associated to the path algebra \(kQ\). The main aim of this paper is to show that if \(Q\) is an oriented tree and \(Q'\) is obtained from \(Q\) by an arbitrary reorientation, then for every stable derivator \(\mathcal{D}\) there is a pseudo-natural equivalence of derivators \(\mathcal{D}^Q\simeq \mathcal{D}^{Q'}\). The authors show that variants of the classical reflection functors from quiver representation theory exist in any abstract stable homotopy theory. In order to construct such reflection functors for arbitrary stable derivators they introduce homotopical epimorphisms of small categories and one-point extensions of small categories. The authors obtain then a category which contains both the original quiver and the reflected one. The main theorem shows finally that the two quivers are strongly stably equivalent, generalizing a result of \textit{D. Happel} [Comment. Math. Helv. 62, 339--389 (1987; Zbl 0626.16008)].