The Ext-algebra for infinitesimal deformations (Q6544503)

Let \(A\) be an associative algebra over a field \(k\). Taking a Hochschild 2-cocyle \(f\) of \(A\), one obtains an associative algebra \(A_f:=A[t]/(t^2)\) with the multiplication \(\mu\) given by \N\[\N\mu(a_0+a_1t,b_0+b_1t)=a_0b_0+(a_0b_1+a_1b_0+f(a_0,b_0))t.\N\]\NThe algebra \(A_f\) is called an \textit{infinitesimal deformation} of \(A\). Some properties of the representation category of \(A_f\) was considered in the paper [\textit{M. J. Redondo} et al., Algebr. Represent. Theory 25, No. 4, 1037--1059 (2022; Zbl 1503.16038)], where the authors proved that an \(A_f\)-module \(M\) was equivalent to a tuple \((M_0,M_1,T_M,f_M)\), in which \(M_0,M_1\) are \(A\)-modules, \(T_M:M_0\to M_1\) is a morphism of \(A\)-modules, and \(f_M:A\otimes M_0\to M_1\) is a linear map, besides, the following conditions are satisfied: \N\[\Naf_M(b\otimes m_0)-f_M(ab\otimes m_0)+f_M(a\otimes bm_0)-f(a\otimes b)T_M(m_0)=0.\N\] \NTaking this point of view, the authors of the paper under review construct the minimal projective resolution of an \(A_f\)-module \((0,M,0,0)\) from the minimal projective resolution of the \(A\)-module \(M\) satisfying certain conditions marked as \((*A)\) and \((*B)\), respectively in the paper. Then the extension groups Ext\(_{A_f}^*(M,N)\) are compared with the extension groups Ext\(_{A}^*(M,N)\). As the main result, the multiplications of the Yoneda Ext-algebra Ext\(^*_{A_f}(S,S)\) are computed when the minimal projective resolution of the \(A\)-module \(S\) satisfies the condition \((*A)\) or \((*B)\), where \(S\) is the direct sum of all the nonisomorphic simple \(A\)-modules.