A construction of algebras with arbitrary finite global dimensions (Q4212554)

Let \(k\) be a field. Given two \(k\)-algebras \(C\) and \(B\) with a common subalgebra \(S\), if there are decompositions (as vector spaces) \(C=S\oplus M\) with \(M\) an ideal in \(C\) and \(B=S\oplus N\) with \(N\) an ideal in \(B\), then a new algebra \({\mathcal A}(C,B)\) was defined by the reviewer [in Manuscr. Math. 88, No. 1, 25-31 (1995; Zbl 0851.16003)], namely, as vector space \({\mathcal A}(C,B)=S\oplus M\oplus N\oplus M\otimes_SN\). The multiplication is defined by \[ \begin{multlined}(s+m+n+m_1\otimes n_1)(s'+m'+n'+m_1'\otimes n_1')=\\ =ss'+(sm'+ms'+mm')+(sn'+ns'+nn')+\\ +(sm'\otimes n_1'+m\otimes n'+mm_1'\otimes n_1'+m_1\otimes n_1s'+m_1\otimes n_1n')\end{multlined} \] for \(s,s'\in S\), \(m,m',m_1,m_1'\in M\), \(n,n',n_1,n_1'\in N\). One may call \({\mathcal A}(C,B)\) the trivially twisted extension of \(C\) and \(B\). In case \(S\) is commutative and \(B\) is the opposite algebra of \(C\), this algebra is called the dual extension of \(C\). If an algebra \(C\) is given by a quiver with relations, then there is a canonical decomposition, namely, \(S\) can be taken to be the maximal semisimple subalgebra given by the vertex set and \(M\) the radical of \(C\). The main result of the paper is an investigation of the global dimension of the algebra \({\mathcal A}(C,B)\). More precisely, the author proves the following Theorem: Let \(C\) be an algebra given by a quiver with relations. Define \(A_0=S\), \(A_1=C\), and for each \(n>1\), put \(A_n={\mathcal A}(A_{n-1},C)\) for \(n\) odd and \(A_n={\mathcal A}(A_{n-1},C^{op})\) if \(n\) is even, where \(C^{op}\) stands for the opposite algebra of \(C\), and all decompositions are canonical. Then the global dimension of \(A_n\) is \(n\) times that of \(C\). This result extends the reviewer's result for dual extension algebras [loc. cit.] and can be applied to construct a family of algebras with a fixed number of simple modules and unbounded global dimensions.