Algebras whose Euler form is non-negative. (English) Zbl 0942.16019
Let \(K\) be an algebraically closed field. By an algebra we mean a basic finite dimensional \(K\)-algebra. Two algebras \(A\) and \(B\) are said to be derived equivalent if there is a triangulated category equivalence of the derived categories \(D^b(\text{mod }A)\) and \(D^b(\text{mod }B)\), where \(\text{mod }A\) and \(\text{mod }B\) are the categories of finite dimensional right \(A\)-modules and \(B\)-modules, respectively. Given a \(K\)-algebra \(A\) we denote by \(K_0(A)\) the Grothendieck group of \(\text{mod }A\). It is well-known that attaching to the isomorphism class \([X]\) of \(X\) in \(\text{mod }A\) the dimension vector \(x=\underline\dim X\) of \(X\) defines a group isomorphism \(K_0(A)\cong\mathbb{Z}^n\), where \(n\) is the number of isoclasses of simple \(A\)-modules. If \(A\) is of finite global dimension one defines the Euler quadratic form \(\chi_A\colon\mathbb{Z}^n\to\mathbb{Z}\) by the formula \(\chi(x)=\sum_{j=0}^\infty(-1)^j\dim_K\text{Ext}_A^j(X,X)\), where \(x=\underline\dim X\). It is known that if \(\chi_A\) is non-negative that under a group isomorphism of \(\mathbb{Z}^n\) the quadratic form \(\chi_A\) corresponds to a quadratic form \(q_\Delta\colon\mathbb{Z}^n\to\mathbb{Z}\) associated with a Dynkin graph \(\Delta\), which is uniquely determined by \(\chi_A\).
The main result of the paper is the following theorem. Let \(A\) be a finite dimensional \(K\)-algebra which is a tree algebra or a strongly simply connected poset algebra. Then \(A\) is derived equivalent to a tubular algebra or to an incidence \(K\)-algebra of the poset \(P(n)\) described in the paper. Moreover, if the number of isoclasses of simple \(A\)-modules is greater or equal to \(6\), then \(A\) is derived equivalent to a tubular algebra if and only if the Dynkin graph \(\text{Dyn}(\chi_A)\) associated with \(\chi_A\) is of type \(\mathbb{E}_p\) with \(p=6,7,8\), and \(A\) is derived equivalent to the incidence \(K\)-algebra \(KP(n)\) of the poset \(P(n)\) if and only if the Dynkin graph \(\text{Dyn}(\chi_A)\) is of type \(\mathbb{D}_{n-2}\).
The main result of the paper is the following theorem. Let \(A\) be a finite dimensional \(K\)-algebra which is a tree algebra or a strongly simply connected poset algebra. Then \(A\) is derived equivalent to a tubular algebra or to an incidence \(K\)-algebra of the poset \(P(n)\) described in the paper. Moreover, if the number of isoclasses of simple \(A\)-modules is greater or equal to \(6\), then \(A\) is derived equivalent to a tubular algebra if and only if the Dynkin graph \(\text{Dyn}(\chi_A)\) associated with \(\chi_A\) is of type \(\mathbb{E}_p\) with \(p=6,7,8\), and \(A\) is derived equivalent to the incidence \(K\)-algebra \(KP(n)\) of the poset \(P(n)\) if and only if the Dynkin graph \(\text{Dyn}(\chi_A)\) is of type \(\mathbb{D}_{n-2}\).
Reviewer: D.Simson (Toruń)
MSC:
16G30 | Representations of orders, lattices, algebras over commutative rings |
15A63 | Quadratic and bilinear forms, inner products |
16D90 | Module categories in associative algebras |
18E30 | Derived categories, triangulated categories (MSC2010) |
16E20 | Grothendieck groups, \(K\)-theory, etc. |
16G20 | Representations of quivers and partially ordered sets |
16G60 | Representation type (finite, tame, wild, etc.) of associative algebras |