Applications of Hochschild cohomology to perpendicular categories
type: Item
instance of: scholarly article
zbMATH Open document ID: 0982.16011
publication date: 2002-01-13T00:00:00Z
Mathematics Subject Classification ID: 16G20
Mathematics Subject Classification ID: 16E40
Mathematics Subject Classification ID: 16G70
zbMATH DE Number: 1590679
zbMATH Keywords: Hochschild cohomology
zbMATH Keywords: coherent sheaves
zbMATH Keywords: finite dimensional hereditary algebras
zbMATH Keywords: wild quivers
zbMATH Keywords: Auslander-Reiten quivers
zbMATH Keywords: Auslander-Reiten sequences
author: Dieter Happel
MaRDI profile type: Publication
title: Applications of Hochschild cohomology to perpendicular categories
published in: Advanced Studies in Contemporary Mathematics (Pusan)
review text: Let \(k\) be an algebraically closed field. It is well known that any basic connected finite dimensional hereditary \(k\)-algebra is of the form \(kQ\) with \(Q\) a finite connected quiver without oriented cycles. We denote by \(\text{mod }kQ\) the category of finite dimensional right \(kQ\)-modules. If \(p=(p_1,\dots,p_t)\) with \(p_i>0\) and \(\lambda=(1=\lambda_3,\dots,\lambda_t)\) with \(\lambda_i\in k\setminus\{0\}\) we denote by \(\text{coh }\mathbb{X}(p,\lambda)\) the category of coherent sheaves defined by these data [\textit{W. Geigle, H. Lenzing}, Lect. Notes Math. 1273, 265-297 (1987; Zbl 0651.14006)]. For a sequence \(p\) as above we set \(\delta_p=t-2-\sum_{i=1}^t 1/p_i\).NEWLINENEWLINENEWLINEIf \(\mathcal H\) is \(\text{mod }kQ\) (with \(Q\) a wild quiver) or \(\text{coh }\mathbb{X}(p,\lambda)\) (with \(\delta_p>0\)), it is known that the majority of connected components in the Auslander-Reiten quiver of \(\mathcal H\) are of type \(\mathbb{Z}\mathbb{A}_\infty\). For an object \(X\) lying in such a component, we define the quasi-length of \(X\) to be the length of a sectional path from \(X\) to \(Y\) where \(Y\) has an indecomposable middle term in the Auslander-Reiten sequence ending at \(Y\), and denote it by \(\text{ql}(X)\). Let \(n=\text{rk }K_0(\mathcal H)\).NEWLINENEWLINENEWLINEThe author then proves the following results. Theorem: (a) If \(E\in\mathbb{Z}\mathbb{A}_\infty\) is indecomposable exceptional then \(\text{ql}(E)\leq n-2\). (b) Assume \(\mathcal H\) is either \(\text{mod }kQ\) where \(Q\) is a wild tree or \(\text{coh }\mathbb{X}(p,\lambda)\) , where \(\delta_p>0\) and \(t=3\). If \(E\in\mathbb{Z}\mathbb{A}_\infty\) is indecomposable exceptional, then \(\text{ql}(E)\leq n-5\). (c) If \({\mathcal H}=\text{coh }\mathbb{X}(p,\lambda)\) , with \(\delta_p>0\) and \(t\geq 4\), and if \(E\) is an exceptional object of \(\mathcal V\), where \(\mathcal V\) is the full subcategory of \(\text{coh }\mathbb{X}(p,\lambda)\) where each indecomposable…
reviewed by: Francois Huard
description: scientific article