The homological quadratic form of a biextension algebra (Q1289280): Difference between revisions

Let \(A\) be a finite dimensional basic algebra over an algebraically closed field \(k\). Assume that \(A\) has finite global dimension. The Grothendieck group of \(A\) shall be identified with \(\mathbb{Z}^n\) for suitable \(n\) and \(\chi_A,q_A\colon\mathbb{Z}^n\to\mathbb{Z}\) denote the homological Euler form and the Tits form of \(A\), respectively. If \(q\colon\mathbb{Z}^n\to\mathbb{Z}\) is a non-negative quadratic form then \(v\in\mathbb{Z}^n\) is called a sincere positive isotropic vector of \(q\) provided it has all the coordinates positive and \(q_A(v)=0\). The algebra \(B\) is strongly simply connected according to the definition of \textit{A. Skowroński} [Proc. ICRA VI, CMS Conf. Proc. 14, 431-447 (1993; Zbl 0806.16012)] if the first Hochschild cohomology group of every convex subcategory vanishes. Given two sequences \(R_1,\dots,R_t\) and \(R_1',\dots,R_s'\) of indecomposable \(B\)-modules let us construct the matrix algebra \[ [R]B[R']=\begin{pmatrix} k^t&0&0\\ R&B&0\\ DR'\otimes_BR&DR'&k^s\end{pmatrix} \] where \(R\) (resp. \(R'\)) is the direct sum of all \(R_i\)'s (resp. \(R_i'\)'s) and \(D(-)\) is the usual duality. The module \(R\) (resp. \(D(R')\)) is equipped with the obvious right \(k^t\)-module structure (resp. left \(k^s\)-module structure). A truncated biextension of \(B\) is the quotient of \([R]B[R']\) by the ideal associated with the space \(\bigoplus_{(i,j)\in L}DR_j'\otimes_BR_i\) for some set \(L\subset\{1,\dots,t\}\times\{1,\dots,s\}\). See \textit{P. Dräxler} and \textit{A. Skowroński} [Compos. Math. 117, No. 2, 205-221 (1999)]. Assume now that \(B\) is connected and has at least 6 nonisomorphic simple modules. The main result asserts that if \(B\) is strongly simply connected and \(A\) is a truncated biextension of \(B\), the homological form \(\chi_A\) is non-negative with corank equal to \(1+s+t\) and the corank of \(\chi_B\) equals 1 then the algebra \(A\) is of tame representation type (see \textit{J. A. de la Peña} [J. Pure Appl. Algebra 107, No. 1, 89-105 (1996; Zbl 0851.16014)] for the definition of corank). The following are consequences of this result: if \(A\) is a tree algebra (that is, the Gabriel quiver of \(A\) is a tree), \(q_A\) is non-negative and has a positive sincere isotropic vector then \(A\) is tame. This result was first proved by \textit{P. Dräxler} and \textit{J. A. de la Peña} [Tree algebras with non-negative Tits form, preprint, México (1996)]. Moreover, if \(A\) is a strongly simply connected algebra which is a truncated biextension of its convex connected subcategory \(B\), the form \(\chi_A\) is non-negative and the corank of \(\chi_B\) is 1, then \(A\) is tame.