Singular equivalences of Morita type with level, Gorenstein algebras, and universal deformation rings (Q6105013)

The paper under review deals with versal and universal deformation rings of representations of a finite dimensional algebra \(\Lambda\) over a field \(k\) of any characteristic. Let \(V\) be a left \(\Lambda\)-module and \(\Omega_{\Lambda}V\) its first syzygy (i.e. the kernel of the projective cover). Then, it is proved that if \(V\) is \textit{indecomposable non-projective Gorenstein projective} such that \(\underline{\mathrm{End}}_{\Lambda}(V)=k\), then the universal deformation rings \(R(\Lambda,V)\) and \(R(\Lambda,\Omega_{\Lambda}V)\) exist and are isomorphic (as complete, local, commutative, Noetherian \(k\)-algebras). Moreover, the stable endomorphism ring of \(\Omega_{\Lambda}V\) is isomorphic to \(k\). The \(\ell\)-th syzygy \(\Omega_{\Lambda}^{\ell}V\) of \(V\) is defined to be the \(\ell\)-th kernel of the minimal projective resolution of \(V\). The author recalls the concept of \emph{singular equivalences of Morita type of level \(\ell\geq 0\)}. Namely, if \(\Lambda,\Gamma\) are two finite dimensional \(k\)-algebras, and \((X,Y)\) a pair of a \(\Gamma-\Lambda\) (resp. \(\Lambda-\Gamma\)) module, then \((X,Y)\) induces a singular equivalence of Morita type of level \(\ell\) between \(\Lambda\) and \(\Gamma\) if four conditions are satisfied: \begin{itemize} \item[1.] \(X\) is projective as a left \(\Gamma\)-module and as a right \(\Lambda\)-module; \item[2.] \(Y\) is projective as a left \(\Lambda\)-module and as a right \(\Gamma\)-module; \item[3.] \(X\otimes_{\Lambda}Y\cong \Omega^{\ell}_{\Gamma^{\mathrm{e}}}\Gamma\) in \(\Gamma^{\mathrm{e}}-\underline{\mathrm{mod}}\); \item[4.] \(Y\otimes_{\Gamma}X\cong \Omega^{\ell}_{\Lambda^{\mathrm{e}}}\Lambda\) in \(\Lambda^{\mathrm{e}}-\underline{\mathrm{mod}}\). \end{itemize} The author proves that if \((X,Y)\) are as in this definition, \(\Lambda,\Gamma\) are finite dimensional Gorenstein \(k\)-algebra (finite injective dimension as left or right module over itself), \(V\) a \(\Lambda\)-module with scalar stable endomorphism ring, which is non-projective Gorenstein projective, then \(X\otimes_{\Lambda}V\) is a non-projective Gorenstein projective \(\Gamma\)-module with scalar stable endomorphism ring and with the same universal deformation ring as \(V\). In rough terms, some kinds of weak equivalences between some algebras induce isomorphisms of deformation rings.