On \(m\)-cluster tilted algebras and trivial extensions (Q2438389): Difference between revisions

Let \(H\) be a finite dimensional hereditary algebra. The \(m\)-cluster category \({\mathcal{C}}_m\) associated with \(H\) defined in [\textit{H. Thomas}, J. Algebra 318, No. 1, 37--46 (2007; Zbl 1155.16016)] as the orbit category \(D^b(H)/\tau^{-1}[m]\) of the bounded derived category of finitely generated \(H\)-modules, where \(\tau\) is the Auslander-Reiten translation and \([m]\) is the \(m\)-th power of the shift functor. This category is the generalization of the cluster category \(D^b(H)/\tau^{-1}[1]\) defined in [\textit{A. B. Buan} et al., Adv. Math. 204, No. 2, 572--618 (2006; Zbl 1127.16011)]. An \(m\)-cluster tilting object \(\tilde{T}\) in \(\mathcal{C}_m\) is an object such that \(\text{Ext}^i_{{\mathcal{C}_m}}(\tilde{T},\tilde{T}) = 0\) for \(1\leq i \leq m\) and the number of isomorphism classes of indecomposable summands of \(\tilde{T}\) is equal to the number of isomorphism classes of simple \(H\)-modules. The endomorphism algebra \(\text{End}_{\mathcal{C}_m} (\tilde{T})\) is called the \(m\)-cluster tilted algebra. \textit{I. Assem} et al. [Bull. Lond. Math. Soc. 40, No. 1, 151--162 (2008; Zbl 1182.16009)] proved that cluster tilted algebras are trivial extensions. In the present paper, this result is extended to the case of any \(m\geq 1\). The authors study a relation between iterated tilted algebras of global dimension at most \(m+1\) and \(m\)-cluster tilted algebras. For an algebra \(B\) with global dimension at most \(m+1\), the \(m\)-relation extension of \(B\) is the algebra \(\mathcal{R}_m (B) = B \ltimes \text{Ext}^{m+1}_ B({D}B, B)\). Let \(S_m=\bigcup_{i=0}^{m-1} \text{Ind} H[i] \cup H[m]\) be the standard fundamental domain of \(\mathcal{C}_m\) and \(\tilde{X}\) be the class in the orbit category of an object \(X\) in \(D^b(H)\). Let \(B\) be an iterated tilted algebra of global dimension at most \(m+1\), and let \(T\) be a tilting complex such that \(B=\text{End}_{D^b(H)}(T)\). Denote \(\mathcal{C}_m(B)=\text{End}_{\mathcal{C}_m} (\tilde{T})\). The main results of the paper are the following: { Theorem 1.} Let \(T\) be a tilting complex in \(D^b(H)\) which belongs to \(S_m\). Then \({\text{End}}_{{\mathcal{C}}_m}(\tilde{T})\) is an \(m\)-cluster tilted algebra. Moreover if the global dimension of \(B = {\text{End}}_{D^b(H)}(T)\) is at most \(m+1\), then \({\text{End}}_{{\mathcal{C}}_m}(\tilde{T})\) is isomorphic to \(\mathcal{R}_m(B)\). Theorem 2. Let \(H=kQ\) a hereditary algebra. If \(T\) is a tilting complex in \(D^b(H)\) such that \(B = {\text{End}}_{D^b(H)}(T)\) has global dimension at most \(m+1\) then: a) \(\tilde{T}\) is an \(m\)-cluster tilting object in the \(m\)-cluster category \(\mathcal{C}_m\) and \(\mathcal{C}_m(B)\) is an \(m\)-cluster tilted algebra. b) There exists a sequence of algebra homomorphisms \[ B \rightarrow \mathcal{C}_m(B) \overset{\pi}{\rightarrow} \mathcal{R}_m(B) \rightarrow B \] whose composition is the identity map and such that the kernel of \(\pi\) is contained in \(\text{rad}^2 {\mathcal{C}}_m (B)\). Moreover \(\mathcal{C}_m (B)\) and \(\mathcal{R}_m(B)\) have the same quiver. c) There exists an iterated tilted algebra \(B' = \text{End}_{D^b(H)} (\rho^h (T))\) of type \(Q\), \(\mathrm{gl dim}B' \leq m+1\) and \[ \mathcal{C}_m(B) \simeq \mathcal{R}_m(B')\simeq \mathcal{C}_m(B') \]