Cluster tilting vs. weak cluster tilting in Dynkin type A infinity (Q2260254)

A full subcategory \(\mathsf{T}\) (resp. object) of a triangulated category is called \textit{weakly \(d\)-cluster tilting} for a positive integer \(d\) if it satisfies the following conditions where \(\Sigma\) is the suspension functor: \[ \begin{aligned} t \in\mathsf{T} & \; \Leftrightarrow \; \text{Hom}( \mathsf{T} , \Sigma t ) = \cdots = \text{Hom}( \mathsf{T} , \Sigma^d t ) = 0, \\ t \in \mathsf{T} & \; \Leftrightarrow \; \text{Hom}( t , \Sigma \mathsf{T} ) = \cdots = \text{Hom}( t , \Sigma^d \mathsf{T} ) = 0. \end{aligned} \] If \(\mathsf{T}\) is also left- and right-approximating in the ambient category, then it is called \textit{\(d\)-cluster tilting}. One motivation of \(d\)-cluster-tilting subcategory came from the categorification of the mutation combinatorics of cluster algebras by means of 2-Calabi-Yau triangulated categories, where mutations of clusters in a cluster algebra are categorified by mutations of 2-cluster-tilting objects in a certain 2-Calabi-Yau triangulated category. Let \(\mathsf{T}\) be a 2-cluster-tilting object in an idempotent-complete 2-Calabi-Yau triangulated category \(\mathcal{C}\). Given an indecomposable summand \(t \in \mathsf{T}\), there exists a unique indecomposable object \(t^* \not \cong t\) in \(\mathcal{C}\) such that the object \({\mathsf{T}}^*\) obtained from \(\mathsf{T}\) by replacing \(t\) by \(t^*\) is a 2-cluster-tilting object in \(\mathcal{C}\). But such homogeneous behavior does not necessarily extend to the setting of d-cluster-tilting subcategories for higher values of \(d\) In the paper under review, the authors considered the algebraic triangulated category \(\mathcal{C}\) generated by a \(( d+1 )\)-spherical object as a higher cluster category of Dynkin type \(A_{\infty}\). The \(d\)-cluster tilting subcategories of \(\mathcal{C}\) have very simple mutation behaviour: each indecomposable object has exactly \(d\) mutations. For each \(0 \leq \ell \leq d-1\), we show a weakly \(d\)-cluster tilting subcategory \(\mathsf{T}_{\ell}\) which has an indecomposable object with precisely \(\ell\) mutations.