Support \(\tau_n\)-tilting pairs (Q2099285)

The theory of higher homological algebra emerged from the higher Auslander-Reiten theory by \textit{O. Iyama} [Adv. Math. 210, No. 1, 22--50 (2007; Zbl 1115.16005); Adv. Math. 210, No. 1, 51--82 (2007; Zbl 1115.16006)]. After that, \textit{C. Geiss} et al. [J. Reine Angew. Math. 675, 101--120 (2013; Zbl 1271.18013)] introduced \((n +2)\)-angulated categories, and \textit{G. Jasso} [Math. Z. 283, No. 3--4, 703--759 (2016; Zbl 1356.18005)] introduced \(n\)-abelian categories. The \(n\)-versions of triangulated or abelian categories appear as an attempt to get a better understanding of cluster tilting subcategories: some \(n\)-cluster tilting subcategories in triangulated categories are \((n + 2)\)-angulated categories and \(n\)-cluster tilting subcategores in abelian categories are \(n\)-abelian categories. Moreover, cluster tilting objects (or subcategories) provided a way to construct abelian quotient categories from triangulated categories. Recently, \textit{T. Adachi} et al. [Compos. Math. 150, No. 3, 415--452 (2014; Zbl 1330.16004)] introduced the \(\tau\) -tilting theory for finite dimensional algebras. It is a generalization of classical tilting theory. They showed that for a \(2\)-Calabi-Yau triangulated category \(\mathcal{C}\) with a cluster tilting object \(T\), there is a bijection between the basic cluster tilting objects in \(\mathcal{C}\) and the basic support \(\tau\)-tilting over \(\mathrm{End}(T)\text{-mod}\). \textit{W. Yang} and \textit{B. Zhu} [Trans. Am. Math. Soc. 371, No. 1, 387--412 (2019; Zbl 1456.16011)] generalized this bijection to any triangulated category. The notion of relative cluster tilting objects was introduced, and they established a one-to-one correspondence between the basic relative cluster tilting objects in a triangulated category and the basic support \(\tau\)-tilting pairs in \(\mathrm{End}(T)\text{-mod}\), where \(T\) is a cluster tilting object. In the paper under review, the authors introduce support \(\tau_n\)-tilting pairs which are the higher version of Adachi-Iyama-Reiten's support \(\tau\)-tilting pairs, and which are regarded as a generalization of maximal \(\tau_n\)-rigid pairs in the sense of Jacobsen-Jørgensen. Assume that \(\mathcal{C}\) is an \((n + 2)\)-angulated category with an \(n\)-suspension functor \(\Sigma^n\) and \(T\) is an Opperman-Thomas cluster tilting object. First, they prove that relative \(n\)-rigid objects in \(\mathcal{C}\) are in bijection with \(\tau_n\)-rigid pairs in the \(n\)-abelian category, and relative maximal \(n\)-rigid objects in \(\mathcal{C}\) are in bijection with support \(\tau_n\)-tilting pairs. Finally, they show that relative \(n\)-self-perpendicular objects are in bijection with maximal \(\tau_n\)-rigid pairs. These results generalize work for \(\mathcal{C}\) being \(2n\)-Calabi-Yau by Jacobsen-Jørgensen and work for \(n = 1\) by Yang-Zhu.