Tilting and cotilting for quivers of type \(\widetilde A_n\). (Q1878443): Difference between revisions

The authors complete the classification of all cotilting modules over a tame hereditary algebra started in [\textit{A. B. Buan, H. Krause}, Pac. J. Math. 211, No. 1, 41-59 (2003; Zbl 1070.16014)] by classifying the cotilting objects of a certain Abelian category \(\mathcal C\) called a tube of rank \(n>0\). The latter is equivalent to classifying the locally finite cotilting modules over the algebra \(k[\![\Delta]\!]\), a completion of the path algebra \(k[\Delta]\) of the quiver \(\Delta\) with respect to the ideal generated by the arrows, where \(k\) is an arbitrary field and \(\Delta\) is a cycle on \(n\) vertices with linear orientation. Since \(k[\![\Delta]\!]\) is a Noetherian algebra over a complete local commutative ring, the authors show that the usual duality \(D\) induces a bijection between the equivalence classes of locally finite cotilting \(k[\![\Delta]\!]\)-modules and of finitely presented tilting \(k[\![\Delta]\!]\)-modules, so it suffices to classify the finitely presented tilting \(k[\![\Delta]\!]\)-modules which the authors do in the following statement. Theorem. The map sending a \(k[\![\Delta]\!]\)-module \(X\) to the sequence \((a_1,\dots,a_n)\) where \(a_i\) denotes the number of composition factors of \(X/\text{rad\,}X\) isomorphic to the simple module with support \(i\in\Delta\), induces a bijection between the isomorphism classes of finitely presented basic tilting \(k[\![\Delta]\!]\)-modules and the sequences \((a_1,\dots,a_n)\) of nonnegative integers satisfying \(\sum_ia_i=n\). The combinatorics of the classification is described in terms of Stasheff's associahedra.