Derived-tame blowing-up of tree algebras. (Q2488321)

Suppose that \(Q\) is a quiver whose underlying graph is a tree. Let \(k\) be an algebraically closed field and let \(A\) be the quotient of the path algebra \(kQ\) of \(Q\) modulo an admissible ideal \(I\). \(A\) is called a tree algebra. Given a vertex \(d\) of \(Q\) the blowing-up \(A\{d\}\) of \(A\) at \(d\) is the algebra \(kQ\{d\}/I\{d\}\), where \(Q\{d\}\) is obtained from \(Q\) by replacing the vertex \(d\) by a pair \(\{d^+,d^-\}\) and every arrow \(\alpha\colon x\to d\) ending at \(d\) by a pair of arrows \(\alpha^+\colon x\to d^+\), \(\alpha^-\colon x\to d^-\), the same with arrows starting at \(d\). In order to define the ideal \(I\{d\}\) observe that there is a natural quiver morphism \(Q\{d\}\to Q\) extending to the algebra morphism \(\pi\colon kQ\{d\}\to kQ\). Let \(I\{d\}\) be generated by \(\pi^{-1}(I)\) and all elements \(\beta^+\alpha^+-\beta^-\alpha^-\), where \(\alpha\colon x\to d\) and \(\beta\colon d\to y\) are arrows in \(Q\). Given a set \(D=\{d_0,\dots,d_c\}\) of vertices of \(Q\) the blowing-up \(A\{D\}\) of \(A\) at \(D\) is defined as iterated blowing-up \(A\{d_0\}\{d_1\}\cdots\{d_c\}\). Given two integers \(m\geq 0\), \(c\geq -1\) the semichain algebra \(S(c,m)\) can be defined as blowing-up the path algebra of the quiver \(a_m\to a_{m-1}\to\cdots\to a_1\to d_0\to\cdots\to d_c\) at \(D=\{d_0,\dots,d_c\}\). The algebra \(S(-1,m)\) is hereditary. The main result of the paper is the equivalence of the following conditions (a), (b), (c): (a) \(A\{D\}\) is derived-tame (that is, the repetitive algebra \(\widehat{A\{D\}}\) is tame, see \textit{J. A. de la Peña} [in: Contemp. Math. 229, 117-127 (1998; Zbl 0932.16005)]). (b) The Euler form \(\chi_{A\{D\}}\) is nonnegative. (c) \(A\{D\}\) is derived-equivalent to a semichain algebra \(S(c,m)\).