Abstract tilting theory for quivers and related categories

DOI10.2140/AKT.2018.3.71MaRDI QIDQ2404192zbMATH OpenOpenAlexWikidataFDO

Publication date 18 September 2017

Published in Annals of \(K\)-Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1512.06267

reflection functor reflection morphism stable derivator strong stable equivalence

Derived categories and associative algebras (16E35) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Topological categories, foundations of homotopy theory (55U40)

Abstract: We generalize the construction of reflection functors from classical representation theory of quivers to arbitrary small categories with freely attached sinks or sources. These reflection morphisms are shown to induce equivalences between the corresponding representation theories with values in arbitrary stable homotopy theories, including representations over fields, rings or schemes as well as differential-graded and spectral representations. Specializing to representations over a field and to specific shapes, this recovers derived equivalences of Happel for finite, acyclic quivers. However, even over a field our main result leads to new derived equivalences for example for not necessarily finite or acyclic quivers. The results obtained here rely on a careful analysis of the compatibility of gluing constructions for small categories with homotopy Kan extensions and homotopical epimorphisms, as well as on a study of the combinatorics of amalgamations of categories.

Review text

The paper under review is part of the authors' program to study representation theory from the point of view of stable homotopy theory. See [the authors, [J. Reine Angew. Math. 743, 29--90 (2018; Zbl 1403.18018)]; Adv. Math. 293, 856--941 (2016; Zbl 1345.55005)], and especially [the authors, J. Pure Appl. Algebra 220, No. 6, 2324--2363 (2016; Zbl 1337.55024)]. A \textit{reflection} of a quiver \(Q\) is a quiver \(Q'\) obtained by turning a source into a sink or vice versa. Using the reflection functors of \textit{I. N. Bernstein} et al. [Russ. Math. Surv. 28, No. 2, 17--32 (1973; Zbl 0279.08001)], Happel showed that for finite quivers without oriented cycles, a reflection between \(Q\) and \(Q'\) induces a triangulated equivalence \(D(kQ) \cong D(kQ')\) between derived categories, where \(kQ\) denotes the path algebra of \(Q\) over a field \(k\) [\textit{D. Happel}, Comment. Math. Helv. 62, 339--389 (1987; Zbl 0626.16008)]. The main result (Theorem~9.11) is as follows. Let \(C\) be a small category, with a finite family of chosen objects. Let \(C^-\) (resp. \(C^+\)) denote the category obtained by adjoining a source (resp. sink) to \(C\) along the chosen objects, so that \(C^+\) is a reflection of \(C^-\). Then \(C^-\) and \(C^+\) are \textit{strongly stably equivalent}. This means that for any stable derivator \(\mathcal{D}\), there is an equivalence of derivators \(\mathcal{D}^{C^-} \simeq \mathcal{D}^{C^+}\) of diagrams in \(\mathcal{D}\), which is suitably natural. Section~10 extracts some consequences of the main result for representation theory. Taking the derivator \(\mathcal{D}_k\) of a field \(k\) (i.e., the underlying derivator of the stable homotopy theory \(\mathrm{Ch}(k)\) of chain complexes of \(k\)-vector spaces) recovers Happel's result, in fact upgrades it to an equivalence of derivators \(\mathcal{D}_k^Q \simeq \mathcal{D}_k^{Q'}\). Another consequence is the authors' previous result on tilting theory for trees: two finite oriented trees \(T\) and \(T'\) that differ by a reorientation of the edges are strongly stably equivalent.

Recommendations

Cites work

Cited in

(11)

This page was built for publication: Abstract tilting theory for quivers and related categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2404192)