\(n\)-quasi-abelian categories vs \(n\)-tilting torsion pairs (Q2660734)

It is well-established, see [\textit{W. Rump}, Commun. Algebra 29, No. 8, 3293--3325 (2002; Zbl 1115.18004)] and [\textit{A. Bondal} and \textit{M. van den Bergh}, Mosc. Math. J. 3, No. 1, 1--36 (2003; Zbl 1135.18302)], that the notions of quasi-abelian categories and tilting torsion pairs are equivalent in the sense that an additive category \(\mathcal{E}\) is quasi-abelian if and only if it is the torsion class of a tilting torsion pair \((\mathcal{T},\mathcal{F})\) in some abelian category \(\mathcal{A}\). In this article, the author takes the perspective of higher category theory and generalizes the above by showing that the following are equivalent for an additive category \(\mathcal{E}\): \begin{itemize} \item[1)] \(\mathcal{A}\) is \(n\)-quasi-abelian, \item[2)] \(\mathcal{E}\) is an \(n\)-tilting torsion class, \item[3)] \(\mathcal{E}\) is an \(n\)-cotilting torsion-free class, \item[4)] \(\mathcal{E}\) is the intersection of the hearts of an \(n\)-tilting pair of t-structures on \(D(\mathcal{E})\). \end{itemize} Here, the case \(n=1\) recovers the classical results and \(2\)-quasi-abelian categories are pre-abelian categories endowed with a Quillen exact structure. The general definitions for arbitrary \(n\geqslant1\) are technical and given in the paper. The author shows that with every \(n\)-quasi-abelian category admits a \textit{derived category} \(D(\mathcal{E})\) endowed with an \(n\)-tilting pair of t-structures such that their hearts are equivalent and describes the hearts as quotients of categories of coherent functors. Applications of the results to Bridgeland's theory of perverse coherent sheaves are given.