Derived equivalences via HRS-tilting
type: Item
instance of: scholarly article
title: Derived equivalences via HRS-tilting
zbMATH Open document ID: 1457.18018
author: Yanyan Li
published in: Advances in Mathematics
publication date: 2019-09-11T00:00:00Z
full work available at URL: https://arxiv.org/abs/1804.05629
review text: Let \((\mathcal{T}, \mathcal{F})\) be a torsion pair in an abelian category \(\mathcal{A}\) and let \(\mathcal{B}\subseteq \mathbf{D}^b(\mathcal{A})\) be the corresponding Happel-Reiten-Smalø tilt [\textit{D. Happel} et al., Tilting in abelian categories and quasitilted algebras. Providence, RI: American Mathematical Society (AMS) (1996; Zbl 0849.16011)]. In this article, the authors give necessary and sufficient conditions for a realisation functor \(G: \mathbf{D}^b(\mathcal{B}) \to \mathbf{D}^b(\mathcal{A})\) (that is, a triangle functor that restricts to the inclusion on \(\mathcal{B}\) [\textit{A. Beilinson}, Lect. Notes Math. 1289, 27--41 (1987; Zbl 0652.14008)], [A. Beilinson et al., {Faisceaux pervers}, Astérisque 100, (1982; Zbl 0536.14011)]) to be an equivalence. Namely, they show that \(G\) is an equivalence if and only if \(\mathcal{A}\) is in the essential image of \(G\) if and only if the canonical maps \(Yext^2_\mathcal{B}(X, Y) \to \mathbf{D}^b(X, \Sigma^2Y)\) are isomorphisms for all \(X, Y \in \mathcal{B}\) if and only if every object \(A \in \mathcal{A}\) fits into an exact sequence \[ 0 \to F^0 \to F^1 \to A \to T^0 \to T^1 \to 0 \] with \(F^i \in \mathcal{F}, T^i \in \mathcal{T}\) and such that the corresponding class in the Yoneda extension group \(Yext^3_\mathcal{A}(T^1, F^0)\) vanishes (see Theorem 3.4). The final condition is interesting since it does not depend on \(\mathcal{B}\) or \(G\) and is therefore intrinsic. The authors demonstrate their result by providing an example of a torsion pair in an abelian category which is neither splitting nor (co)tiling nor given by a two-term tiling complex that satisfies this final condition (see Example 4.5). The authors also show that the second condition in the above holds, somewhat surprisingly, in more general settings (see Theorem 2.9): Let \(\mathcal{A}\) be the heart of a bounded t-structure in a triangulated category \(\mathcal{D}\) and let \(F: \mathbf{D}^b(\mathcal{A}) \to \mathcal{D}\) be a…
reviewed by: Aran Tattar
Mathematics Subject Classification ID: 18G80
Mathematics Subject Classification ID: 18E40
Mathematics Subject Classification ID: 18E10
zbMATH DE Number: 7103869
zbMATH Keywords: derived equivalence
zbMATH Keywords: torsion pair
zbMATH Keywords: realization functor
zbMATH Keywords: HRS-tilting
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2965056405
arXiv ID: 1804.05629
cites work: -tilting theory
cites work: Silting modules
cites work: Coxeter Functors Without Diagrams
cites work: Q3797301
cites work: Q3320507
cites work: Q4463616
cites work: Stability conditions on \(K3\) surfaces
cites work: A silting theorem
cites work: Silted algebras
cites work: Does full imply faithful?
cites work: A short proof of HRS-tilting
cites work: Hereditary triangulated categories
cites work: Trivial extensions of Abelian categories. Homological algebra of trivial extensions of Abelian categories with applications to ring theory
cites work: Q4783713
cites work: Q3994341
cites work: Tilting in abelian categories and quasitilted algebras
cites work: On \(t\)-structures and torsion theories induced by compact objects
cites work: Trivial Extensions of Tilted Algebras
cites work: Derived and abelian equivalence of K3 surfaces
cites work: Cohomology of sheaves
cites work: Silting reduction and Calabi–Yau reduction of triangulated categories
cites work: Intermediate co-\(t\)-structures, two-term silting objects, \(\tau\)-tilting modules, and torsion classes
cites work: Derived categories and universal problems
cites work: Q3764313
cites work: Derived equivalences of triangular matrix rings arising from extensions of tilting modules
cites work: Gluing Silting Objects
cites work: Homology
cites work: Some new axioms for triangulated categories
cites work: Explicit HRS-tilting
cites work: Homological theory of recollements of abelian categories
cites work: Recollements of module categories
cites work: Realisation functors in tilting theory
cites work: Stability conditions and quantum dilogarithm identities for Dynkin quivers
cites work: Contractible stability spaces and faithful braid group actions
cites work: Morita Theory for Derived Categories
cites work: Derived Equivalences As Derived Functors
cites work: Derived equivalences for hereditary Artin algebras
cites work: Q4049223
cites work: Q3029147
cites work: Stability conditions, torsion theories and tilting
Wikidata QID: Q127404799
DOI: 10.1016/J.AIM.2019.106749
Recommended article: Q2708646
Recommended article: Derived equivalence as iterated tilting
Recommended article: Derived equivalences induced by nonclassical tilting objects
Recommended article: Derived equivalence induced by infinitely generated 𝑛-tilting modules
Recommended article: Derived equivalences of triangular matrix rings arising from extensions of tilting modules
Recommended article: Derived equivalences and Cohen-Macaulay Auslander algebras
Recommended article: Derived equivalences for hereditary Artin algebras
Recommended article: Derived equivalences and Gorenstein algebras
Recommended article: Dominant dimensions, derived equivalences and tilting modules
Recommended article: Derived equivalences and equivariant Jordan decomposition
description: scientific article