Geometric and homological characterizations of polynomial growth strongly simply connected algebras (Q5961438)

Let \(k\) be an algebraically closed field and \(A=kQ/I\) a basic connected finite dimensional \(k\)-algebra, where \(Q=(Q_0,Q_1)\) is the ordinary quiver of \(A\) with sets \(Q_0\) of vertices and \(Q_1\) of arrows, and admisible ideal \(I\) of the path algebra \(kQ\). \(A\) is called strongly simply connected (see \textit{A. Skowroński} [CMS Math. Conf. Proc. 14, 431-447 (1993; Zbl 0806.16012)]) if \(Q\) has no oriented cycles and for any full convex subcategory \(C\) of \(A\), the first Hochschild cohomology \(H^1(C,C)=0\). \(A\) is of polynomial growth (see \textit{A. Skowroński} [in Banach Cent. Publ. 26, Part I, 535-568 (1990; Zbl 0729.16005)]) if there is a positive integer \(m\) such that for each dimension \(d\), the indecomposable \(A\)-modules occur in a finite number of discrete and at most \(d^m\) one-parameter families. In this paper the authors obtain geometric and homological characterizations of polynomial growth strongly simply connected algebras. For this, they use homological properties of coil enlargements of tame concealed algebras (see \textit{I. Assem, A. Skowroński} and \textit{B. Tomé} [Tsukuba J. Math. 19, No. 2, 453-479 (1995; Zbl 0860.16014)] for this concept), and also facts about the scheme \(\underline{\underline{\text{mod}}}_A(z)\) of \(A\)-modules with dimension vector \(z\in\mathbb{N}^{Q_0}\). Recall that the set \(\text{mod}_A(z)\) of rational points in \(\underline{\underline{\text{mod}}}_A(z)\) is the corresponding variety of modules, and the isomorphism classes of elements of \(\text{mod}_A(z)\) are the orbits under the action of the corresponding algebraic group \(G(z)\). Let finally \(q_A\) and \(\chi_A\) be the Tits and the Euler forms, respectively. The main results of the paper can be stated as follows. For a strongly simply connected algebra \(A\), the following statements are equivalent: (i) \(A\) is of polynomial growth; (ii) for every indecomposable module \(X\) in \(\text{mod}_A(z)\), \(0\leq\dim G(z)-\dim_X\text{mod}_A(z)=\chi_A(\mathbf{dim} X)\); (iii) \(q_A\) is weakly non-negative and \(\text{Ext}_A^2(X,X)=0\) for any indecomposable \(A\)-module \(X\); (iv) for any \(r\geq 2\) and any indecomposable \(A\)-module \(X\) \(\dim_k\text{Ext}^1(X,X)\leq\dim_k\text{End}_A(X)\) and \(\text{Ext}^r_A(X,X)=0\).