Reduction techniques of singular equivalences (Q2082637)

The concept of singular equivalence of Morita type with level was introduced by \textit{Z. Wang} in [J. Algebra 439, 245--269 (2015; Zbl 1343.16011)] to generalise the concept of stable equivalence of Morita type. Singular equivalence of Morita type with level preserves Hochschild homology, Fg condition, the finiteness of the finitistic dimension, among other homological properties. In the paper under review, the author proves that injective generation, projective generation, an algebra being syzygy-finite or being Igusa-Todorov are properties invariant under singular equivalences of Morita type with level. The main result is a sufficient condition on when a derived tensor product with a certain complex of bimodules induces a singular equivalence of Morita type with level. More precisely, for two finite-dimensional algebras \(A\) and \(B\), whose semi-simple quotients are separable, any singular equivalence induced from a functor \(X\otimes_B^L - \colon D(\operatorname{Mod}A)\rightarrow D(\operatorname{Mod}B)\), for a complex \(X\) of finitely generated \((A, B)\)-bimodules which is perfect over \(A\) and \(B\) so that \(\operatorname{RHom}_A(X, A)\) is perfect over \(B\), induces that \(A\) and \(B\) are singular equivalent of Morita type with level. This result builds on the work [\textit{G. Dalezios}, Bull. Lond. Math. Soc. 53, No. 4, 1093--1106 (2021; Zbl 1483.16012)] in which Dalezios established the result for Gorenstein algebras. As an application, the author gives reduction techniques to check whether a given algebra is syzygy-finite, Igusa-Todorov and if projectives or injectives generate. These are in the form of special types of vertex removals and by truncating algebras by homological ideals with finite projective dimension as bimodules.