Endomorphism algebras of exceptional sequences over path algebras of type $\widetilde{\sym A}_{n}$ (Q4399205)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 1179933
Language Label Description Also known as
default for all languages
No label defined
    English
    Endomorphism algebras of exceptional sequences over path algebras of type $\widetilde{\sym A}_{n}$
    scientific article; zbMATH DE number 1179933

      Statements

      Endomorphism algebras of exceptional sequences over path algebras of type $\widetilde{\sym A}_{n}$ (English)
      0 references
      0 references
      0 references
      25 January 1999
      0 references
      exceptional sequences
      0 references
      tilted algebras
      0 references
      hereditary algebras of type \(\widetilde A_n\)
      0 references
      gentle algebras
      0 references
      Auslander-Reiten quivers
      0 references
      quivers
      0 references
      path algebras
      0 references
      endomorphism algebras
      0 references
      representation finite algebras
      0 references
      Let \(Q\) be a quiver of type \(\widetilde A_n\) which is not an oriented cycle and let \(A\) be the path algebra \(kQ\) of \(Q\) with the coefficients in a commutative field \(k\). The article is devoted to investigate the endomorphism algebras of modules of the form \(\bigoplus_{i=1}^rE_i\), where \((E_1,\ldots,E_r)\) is an exceptional sequence of \(A\)-modules. Recall that such a sequence is called exceptional if all modules \(E_i\) are indecomposable and \(\text{Hom}_A(E_j,E_i)=0\) (resp. \(\text{Ext}_A^1(E_j,E_i)=0\)) if \(i<j\) (resp. \(i\leq j\)). The sequence is complete if the number of its terms equals the rank of the Grothendieck group of \(A\). Given an exceptional sequence \({\mathcal E}=(E_1,\ldots,E_r)\) by \(\text{End }{\mathcal E}\) we denote \(\text{End}_A(\bigoplus_{i=1}^rE_i)\). The main result of the paper asserts that if \(\mathcal E\) is a complete exceptional sequence of \(A\)-modules then \(\text{End }{\mathcal E}\) is either a direct product of one tilted algebra of type \(\widetilde A_m\), \(m\leq n\), and tilted algebras of type \(A_l\), \(l\leq n-m\), or a direct product of tilted algebras of type \(A_l\), \(l\leq n+1\). In particular \(\text{End }{\mathcal E}\) is tame (assume for the moment that \(k\) is algebraically closed). The latter statement is an ``infinite-type analogy'' of the result asserting that if \(Q\) is a quiver of type \(A_n\) then \(\text{End }{\mathcal E}\) is a representation-finite algebra for any complete exceptional sequence \(\mathcal E\) of \(kQ\)-modules [see \textit{H. Yao}, Algebra Colloq. 3, No. 1, 25-32 (1996; Zbl 0846.16009) and \textit{H. Meltzer}, CMS Conf. Proc. 24, 409-414 (1998)]. Thanks to tilting theory one can assume that \(Q\) has a unique source and a unique sink. The proof of the main result is based on a detailed description of the \(k\)-representations of \(Q\) and of the Auslander-Reiten quiver of \(\text{mod }kQ\), especially its part consisting of postprojective and preinjective components and the exceptional tubes. On the other hand the characterization of iterated tilted and tilted algebras of type \(\widetilde A_n\) given by \textit{I. Assem} and \textit{A. Skowroński} [Math. Z. 195, 269-290 (1987; Zbl 0601.16022)], \textit{F. Huard} [Commun. Algebra 26, No. 1, 63-72 (1998; Zbl 0898.16010)] and \textit{O. Roldán} [Ph.D. thesis, Carleton Univ. (1983)] is an essential element of the proof.
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references