Strong symmetry defined by twisting modules, applied to quasi-hereditary algebras with triangular decomposition and vanishing radical cube (Q1290522)

All the algebras treated in this paper are quasi-hereditary algebras. Let \((A,\leq)\) be a quasi-hereditary algebra and \(S\) a semisimple subalgebra. A directed subalgebra \((B,\leq)\) of \(A\) is called an exact Borel subalgebra if (i) \(B/\text{rad}(B)\simeq S\subset B\). (ii) \(A\otimes_B-\) is exact and produces standard modules from simple \(B\)-modules. A subalgebra \(C\) of \((A,\leq)\) is a \(\Delta\)-subalgebra if and only if \(C^{op}\) is an exact Borel subalgebra of \((A^{op},\leq)\). A known theorem of König states that \((A,\leq)\) has both an exact Borel subalgebra \(B\) and a \(\Delta\)-subalgebra \(C\) which intersect in \(S\) if and only if the multiplication in \(A\) induces a \(C\)-\(B\) isomorphism \(C\otimes_S B\simeq A\). If in addition \(C\simeq B^{op}\) by an isomorphism fixing \(S\) elementwise, then the isomorphism above is called a triangular decomposition. In the paper the authors introduce a class of modules called twisting modules. For each simple module \(S_i\) there is a particular important twisting module called universal twisting module at \(i\). Using a triangular decomposition the so called twisting relations are obtained. The result stating that twisting relations are quadratic if and only if all the twisting modules \(TM(\alpha,\beta)\) have Loewy length at most three, tie these notions. Assume that \(A\) is given by a quiver and relations. For any given triangular decomposition \(A\simeq B\otimes_S C\) some relationship between the composition factors of the universal twisting modules with the quiver and relations is described. A set of matrices with entries in the field \(k\), called twisting matrix, is also defined. An algebra is said to have strong symmetry if and only if all the twisting matrices are invertible. They show that an algebra with vanishing radical cube has strong symmetry if and only if each universal twisting module is both induced and coinduced. Using the theory developed in the paper the authors study a family of algebras, called Temperley-Lieb algebras, \(A_n(\delta)\), they classify the blocks of these algebras, by means of quivers and relations. They also prove the following result. For each \(n\) and any \(\delta\neq 0\), the algebra \(A_n(\delta)\) has the following property: (a) It has vanishing radical cube. (b) Each standard and costandard module has length at most two. (c) It has a triangular decomposition. For the algebras studied the indecomposable factors of the characteristic tilting module are described as induced modules from injective indecomposable \(B\)-modules. They study, in some particular cases, the Ringel dual of algebras with triangular decompositions. Using the notion of \(M\)-twisted double, it is shown that the quadratic dual of the twisted double of a radical square zero algebra is the twisted double of a hereditary algebra.